The geometry of Hida families I: Λ-adic de Rham cohomology

Research output: Contribution to journalArticle

2 Scopus citations

Abstract

We construct the (Formula presented.)-adic de Rham analogue of Hida’s ordinary (Formula presented.)-adic étale cohomology and of Ohta’s (Formula presented.)-adic Hodge cohomology, and by exploiting the geometry of integral models of modular curves over the cyclotomic extension of (Formula presented.), we give a purely geometric proof of the expected finiteness, control, and (Formula presented.)-adic duality theorems. Following Ohta, we then prove that our (Formula presented.)-adic module of differentials is canonically isomorphic to the space of ordinary (Formula presented.)-adic cuspforms. In the sequel (Cais, Compos Math, to appear) to this paper, we construct the crystalline counterpart to Hida’s ordinary (Formula presented.)-adic étale cohomology, and employ integral p-adic Hodge theory to prove (Formula presented.)-adic comparison isomorphisms between all of these cohomologies. As applications of our work in this paper and (Cais, Compos Math, to appear), we will be able to provide a “cohomological” construction of the family of (Formula presented.)-modules attached to Hida’s ordinary (Formula presented.)-adic étale cohomology by Dee (J Algebra 235(2), 636–664, 2001), as well as a new and purely geometric proof of Hida’s finiteness and control theorems. We are also able to prove refinements of the main theorems in Mazur and Wiles (Compos Math 59(2):231–264, 1986) and Ohta (J Reine Angew Math 463:49–98, 1995).

Original languageEnglish (US)
Pages (from-to)1-64
Number of pages64
JournalMathematische Annalen
DOIs
StateAccepted/In press - Dec 26 2017

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'The geometry of Hida families I: Λ-adic de Rham cohomology'. Together they form a unique fingerprint.

  • Cite this