The Geometry of Hida Families I: $Λ$-adic de Rham cohomology

Abstract

We construct the $Λ$-adic de Rham analogue of Hida's ordinary $Λ$-adic étale cohomology and of Ohta's $Λ$-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of $\mathbf{Q}_p$, we give a purely geometric proof of the expected finiteness, control, and $Λ$-adic duality theorems. Following Ohta, we then prove that our $Λ$-adic module of differentials is canonically isomorphic to the space of ordinary $Λ$-adic cuspforms. In the sequel to this paper, we construct the crystalline counterpart to Hida's ordinary $Λ$-adic étale cohomology, and employ integral $p$-adic Hodge theory to prove $Λ$-adic comparison isomorphisms between all of these cohomologies. As applications of our work in this paper and the sequel, we will be able to provide a "cohomological" construction of the family of $(φ,Γ)$-modules attached to Hida's ordinary $Λ$-adic étale cohomology by the work of Dee, as well as 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.