Paper detail

The Geometry of Hida Families and Λ-adic Hodge Theory

We construct Λ-adic de Rham and crystalline analogues of Hida's ordinary Λ-adic etale cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of \Q_p, we prove appropriate finiteness and control theorems in each case. We then employ integral p-adic Hodge theory to prove Λ-adic comparison isomorphisms between our cohomologies and Hida's etale cohomology. As applications of our work, we provide a "cohomological" construction of the family of (ϕ,Γ)-modules attached to Hida's ordinary Λ-adic etale cohomology by Dee, and we give a new and purely geometric proof of Hida's finitenes and control theorems. We are also able to prove refinements of theorems of Mazur-Wiles and of Ohta; in particular, we prove that there is a canonical isomorphism between the module of ordinary Λ-adic cuspforms and the part of the crystalline cohomology of the Igusa tower on which Frobenius acts invertibly.