On Eisenstein ideals and the cuspidal group of J₀(N)

DOI10.1007/S11856-016-1333-6MaRDI QIDQ312274zbMATH OpenOpenAlexFDO

Authors Hwajong Yoo

Publication date 15 September 2016

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

arithmetic Frobeniuscuspidal divisorEisenstein idealsHecke ring

Mathematics Subject Classification ID

Congruences for modular and (p)-adic modular forms (11F33) Arithmetic aspects of modular and Shimura varieties (11G18) Jacobians, Prym varieties (14H40)

Abstract: Let $mathcal{C}_N$ be the cuspidal subgroup of the Jacobian $J_0(N)$ for a square-free integer $N>6$. For any Eisenstein maximal ideal $mathfrakm$ of the Hecke ring of level $N$, we show that $mathcal{C}_N[mathfrakm]eq0$. To prove this, we calculate the index of an Eisenstein ideal $mathcalI$ contained in $mathfrakm$ by computing the order of a cuspidal divisor annihilated by $mathcalI$.

Recommendations

• On rational Eisenstein primes and the rational cuspidal groups of modular Jacobian varieties
• Eisenstein ideals and the rational torsion subgroups of modular Jacobian varieties
• Eisenstein ideals and the rational torsion subgroups of modular Jacobian varieties. II.
• The rational torsion subgroup of \(J_0(N)\)
• The kernel of the Eisenstein ideal

Cites work

• Crystalline cohomology and \(GL(2,\mathbb{Q})\)
• Eisenstein cohomology and the construction of mixed motives
• Eisenstein ideals and the rational torsion subgroups of modular Jacobian varieties. II.
• scientific article; zbMATH DE number 3425708 (Why is no real title available?)
• scientific article; zbMATH DE number 3918468 (Why is no real title available?)
• scientific article; zbMATH DE number 3608125 (Why is no real title available?)
• scientific article; zbMATH DE number 3429084 (Why is no real title available?)
• scientific article; zbMATH DE number 3384173 (Why is no real title available?)
• Hyperelliptic modular curves
• Les Schémas de Modules de Courbes Elliptiques
• Modular curves and the Eisenstein ideal
• Modular elliptic curves and Fermat's Last Theorem
• On modular representations of \(\text{Gal}(\overline{\mathbb Q}/\mathbb Q)\) arising from modular forms
• On the \(\mathbb{Q}\)-rational cuspidal subgroup and the component group of \(J_0(p^r)\)
• On the rational cuspidal subgroup and the rational torsion points of J₀(pq)
• The cuspidal class number formula for the modular curves \(X_ 0(M)\) with \(M\) square-free
• The index of an Eisenstein ideal and multiplicity one
• The weight in Serre's conjectures on modular forms
• Two theorems on modular curves

Cited in

(11)

• Eisenstein integers and related \(C\)-groups
• The rational cuspidal divisor class group of \(X_0(N)\)
• Non-optimal levels of a reducible mod modular representation
• On the arithmetic of J0 (N) new.
• Rational torsion in elliptic curves and the cuspidal subgroup
• On rational Eisenstein primes and the rational cuspidal groups of modular Jacobian varieties
• Mod-2 dihedral Galois representations of prime conductor
• Rational torsion of generalised modular Jacobians of odd level
• The action of the Hecke operators on the component groups of modular Jacobian varieties
• Cuspidal subgroups associated with non-rational Eisenstein maximal ideals
• Reducibility and rational torsion in modular abelian varieties

This page was built for publication: On Eisenstein ideals and the cuspidal group of \(J_{0}(N)\)

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