In this talk, we will discuss the proof of the unbounded denominators conjecture on Fourier coefficients of SL_2(Z)-modular forms, and the proof of irrationality of 2-adic zeta value at 5. Both proofs use an arithmetic holonomicity theorem, which can be viewed as a refinement of André’s algebraicity criterion. If time permits, we will give a proof of the arithmetic holonomicity theorem via the slope method a la Bost.

This is joint work with Frank Calegari and Vesselin Dimitrov.