TY - JOUR

T1 - Iwasawa theory and the eisenstein ideal

AU - Sharifi, Romyar T.

PY - 2007/3/15

Y1 - 2007/3/15

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33947660811&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33947660811&partnerID=8YFLogxK

U2 - 10.1215/S0012-7094-07-13713-X

DO - 10.1215/S0012-7094-07-13713-X

M3 - Article

AN - SCOPUS:33947660811

SN - 0012-7094

VL - 137

SP - 63

EP - 101

JO - Duke Mathematical Journal

JF - Duke Mathematical Journal

IS - 1

ER -