The Eisenstein ideal with squarefree level

DOI10.1016/J.AIM.2020.107543zbMATH Open1473.11117arXiv1804.06400OpenAlexW2797831773MaRDI QIDQ2227263FDOQ2227263

Preston Wake, Carl Wang-Erickson

Publication date: 15 February 2021

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: We use pseudodeformation theory to study the analogue of Mazur's Eisenstein ideal with certain squarefree levels. Given a prime number $p>3$ and a squarefree number $N$ satisfying certain conditions, we study the Eisenstein part of the $p$-adic Hecke algebra for $Gamm{a}_0(N)$, and show that it is a local complete intersection and isomorphic to a pseudodeformation ring. We also show that in certain cases, the Eisenstein ideal is not principal and that the cuspidal quotient of the Hecke algebra is not Gorenstein. As a corollary, we prove that "multiplicity one" fails for the modular Jacobian in these cases. In a particular case, this proves a conjecture of Ribet.

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

Recommendations

• The index of an Eisenstein ideal and multiplicity one
• Publication:4720029
• The rank of Mazur's Eisenstein ideal
• On the arithmetic of J0 (N) new.
• Eisenstein deformation rings

zbMATH Keywords

Galois representationmodular formsEisenstein idealGorensteinpseudorepresentationresidually reducible

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Galois representations (11F80)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Modular curves and the Eisenstein ideal
• Residually reducible representations and modular forms
• Modular elliptic curves and Fermat's Last Theorem
• Hecke operators on \(\Gamma_0(m)\)
• The rank of Mazur's Eisenstein ideal
• Eisenstein ideals and the rational torsion subgroups of modular Jacobian varieties. II.
• MULTIPLICATIVE SUBGROUPS OF J 0(N) AND APPLICATIONS TO ELLIPTIC CURVES
• Arithmetic Moduli of Elliptic Curves. (AM-108)
• Title not available (Why is that?)
• Explicit large image theorems for modular forms
• A reciprocity map and the two-variable \(p\)-adic \(L\)-function
• The \(p\)-adic analytic space of pseudocharacters of a profinite group and pseudorepresentations over arbitrary rings
• Companion forms and the structure ofp-adic Hecke algebras
• On the semi-simplicity of the \(U_p\)-operator on modular forms
• Pseudodeformations
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the ramification of Hecke algebras at Eisenstein primes
• L'accouplement de Weil entre le sous-groupe de Shimura et le sous-groupe cuspidal de J0(p).
• Non-optimal levels of a reducible mod $\ell $ modular representation
• On the Failure of the Gorenstein Property for Hecke Algebras of Prime Weight
• Derived Hecke Algebra for Weight One Forms
• Pseudorepresentations of weight one are unramified
• Pseudo-modularity and Iwasawa theory
• Ordinary pseudorepresentations and modular forms
• On rational Eisenstein primes and the rational cuspidal groups of modular Jacobian varieties
• DEFORMATION CONDITIONS FOR PSEUDOREPRESENTATIONS
• Higher congruences between newforms and Eisenstein series of squarefree level
• On Lifting and Modularity of Reducible Residual Galois Representations Over Imaginary Quadratic Fields

Cited In (16)

• Modularity of residual Galois extensions and the Eisenstein ideal
• Square-free integers as ideal norms
• Galois extensions and a conjecture of Ogg
• The kernel of the Eisenstein ideal
• DEFORMATION CONDITIONS FOR PSEUDOREPRESENTATIONS
• On the failure of Gorensteinness at weight 1 Eisenstein points of the eigencurve
• The Eisenstein ideal for weight \(k\) and a Bloch-Kato conjecture for tame families
• A modular construction of unramified 𝑝-extensions of ℚ(ℕ^{1/𝕡})
• Mod-2 Hecke algebras of level 3 and 5
• The rank of Mazur's Eisenstein ideal
• 𝑅=𝑇 theorems for weight one modular forms
• Non-optimal levels of some reducible \(\bmod\, p\) modular representations
• The rational torsion subgroup of \(J_0(N)\)
• On the arithmetic of J0 (N) new.
• Relations among Ramanujan-type congruences. I
• THE EISENSTEIN IDEAL OF WEIGHT k AND RANKS OF HECKE ALGEBRAS

Uses Software

• SageMath
• CoCalc

This page was built for publication: The Eisenstein ideal with squarefree level

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