Iwasawa theory and the eisenstein ideal

Research output: Contribution to journalArticlepeer-review

9 Scopus citations

Abstract

We verify, for each odd prime p < 1000, a conjecture of W. G. McCallum and R. T. Sharifi on the surjectivity of pairings on p-units constructed out of the cup product on the first Galois cohomology group of the maximal unramified outside p extension Q(μp) with μp-coefficients. In the course of the proof, we relate several Iwasawa-theoretic and Hida-theoretic objects. In particular, we construct a canonical isomorphism between an Eisenstein ideal modulo its square and the second graded piece in an augmentation filtration of a classical Iwasawa module over an abelian prop Kummer extension of the cyclotomic 2,p-extension of an abelian field. This Kummer extension arises from the Galois representation on an inverse limit of ordinary parts of first cohomology groups of modular curves which was considered by M. Ohta in order to give another proof of the Iwasawa main conjecture in the spirit ofthat of B. Mazur and A. Wiles. In turn, we relate the Iwasawa module over the Kummer extension to the quotient of the tensor product of the classical cyclotomic Iwasawa module and the Galois group of the Kummer extension by the image of a certain reciprocity map that is constructed out of an inverse limit of cup products up the cyclotomic tower. We give an application to the structure of the Selmer groups of Ohio's modular representation taken modulo the Eisenstein ideal.

Original languageEnglish (US)
Pages (from-to)63-101
Number of pages39
JournalDuke Mathematical Journal
Volume137
Issue number1
DOIs
StatePublished - Mar 15 2007

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Iwasawa theory and the eisenstein ideal'. Together they form a unique fingerprint.

Cite this