Iwasawa theory and the Eisenstein ideal

DOI10.1215/S0012-7094-07-13713-XzbMATH Open1131.11068arXivmath/0501236OpenAlexW2090346727MaRDI QIDQ877484FDOQ877484

Romyar T. Sharifi

Publication date: 23 April 2007

Published in: Duke Mathematical Journal (Search for Journal in Brave)

Abstract: In this paper, we relate three objects. The first is a particular value of a cup product in the cohomology of the Galois group of the maximal unramified outside p extension of a cyclotomic field containing the pth roots of unity. The second is an Iwasawa module over a nonabelian extension of the rationals, a subquotient of the maximal pro-p abelian unramified completely split at p extension of a certain pro-p Kummer extension of a cyclotomic field that contains all p-power roots of unity. The third is the quotient of an Eisenstein ideal in an ordinary Hecke algebra of Hida by the square of the Eisenstein ideal and the element given by the pth Hecke operator minus one. For the relationship between the latter two objects, we employ the work of Ohta, in which he considered a certain Galois action on an inverse limit of cohomology groups to reestablish the Main Conjecture (for p at least 5) in the spirit of the Mazur-Wiles proof. For the relationship between the former two objects, we construct an analogue to the global reciprocity map for extensions with restricted ramification. These relationships, and a computation in the Hecke algebra, allow us to prove an earlier conjecture of McCallum and the author on the surjectivity of a pairing formed from the cup product for p < 1000. We give one other application, determining the structure of Selmer groups of the modular representation considered by Ohta modulo the Eisenstein ideal.

Full work available at URL: https://arxiv.org/abs/math/0501236

Recommendations

• Iwasawa theory and Fitting ideals
• Eisenstein Hecke algebras and conjectures in Iwasawa theory
• Characteristic ideals and Iwasawa theory
• Iwasawa theory of the fine Selmer group
• Iwasawa theory and \(p\)-adic Hodge theory
• Iwasawa theory and \(p\)-adic heights
• Iwasawa theory of elliptic curves and Galois module structure
• scientific article; zbMATH DE number 705084
• Iwasawa theory of \(p\)-rational and \(p\)-birational fields
• scientific article; zbMATH DE number 1368944

zbMATH Keywords

Eisenstein idealcup product

Mathematics Subject Classification ID

Iwasawa theory (11R23)

Cites Work

• [[Publication:1087904|Galois representations into \(\text{GL}_2(\mathbb Z_pX)\) attached to ordinary cusp forms.]]
• Title not available (Why is that?)
• Modular forms, a computational approach. With an appendix by Paul E. Gunnells
• Iwasawa modules attached to congruences of cusp forms
• On higher p-adic regulators
• On the p-adic Eichler-Shimura isomorphism for Λ-adic cusp forms.
• Class fields of abelian extensions of \(\mathbb Q\)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Iwasawa invariant \(\mu_p\) vanishes for abelian number fields
• Ordinary \(p\)-adic étale cohomology groups attached to towers of elliptic modular curves. II
• The Iwasawa conjecture for totally real fields
• Title not available (Why is that?)
• A modular construction of unramified p-extensions of \(\mathbb{Q}(\mu_p)\)
• Congruence modules related to Eisenstein series
• Companion forms and the structure ofp-adic Hecke algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Massey products and ideal class groups
• Regulators and Iwasawa modules
• A cup product in the Galois cohomology of number fields
• Ordinary representations and modular forms
• On the failure of pseudo-nullity of Iwasawa modules
• Ideal class groups of cyclotomic fields and modular forms of level 1
• Determination of conductors from Galois module structure
• Modular konstruierte unverzweigte abelsche p-Erweiterungen von Q(ζp) und die Struktur ihrer Galoisgruppen
• Some Computations with Heeke Rings and Deformation Rings

Cited In (16)

• The geometry of Hida families II: -adic -modules and -adic Hodge theory
• Ordinary pseudorepresentations and modular forms
• The Steinberg symbol and special values of $L$-functions
• Some new maps and ideals in classical Iwasawa theory with applications
• On the failure of pseudo-nullity of Iwasawa modules
• Iwasawa theory of de Rham representations of a local field
• On Iwasawa theory of crystalline representations
• On multiple \(\mathbb Z_p\)-extensions of imaginary abelian quartic fields
• The geometry of Hida families I: \(\Lambda\)-adic de Rham cohomology
• A reciprocity map and the two-variable \(p\)-adic \(L\)-function
• Generalized Bockstein maps and Massey products
• A cup product in the Galois cohomology of number fields
• The Iwasawa theoretic Gross–Zagier theorem
• On conjectures of Sharifi
• Greenberg's generalized conjecture and pairings of \(p\)-units in the \(4p\)-cyclotomic field
• Title not available (Why is that?)

This page was built for publication: Iwasawa theory and the Eisenstein ideal

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877484)