[论文解读] On Eisenstein ideals and the cuspidal group of $J_0(N)$

Hwajong Yoo|arXiv (Cornell University)|Feb 5, 2015

Algebraic Geometry and Number Theory参考文献 10被引用 4

一句话总结

本文证明了Ribet的猜想：对于任意平方自由且大于6的级别$N$，Hecke代数$\mathbb{T}(N)$的每个Eisenstein极大理想$\mathfrak{m}$在Jacobian$J_0(N)$的尖点子群$\mathcal{C}_N$上作用非平凡。通过计算特定尖点除子$C_{M,N}$的阶，作者证明了对所有Eisenstein极大理想$\mathfrak{m}$都有$\mathcal{C}_N[\mathfrak{m}] \neq 0$，从而在全般情况下确认了该猜想。

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 $\mathfrak{m}$ of the Hecke ring of level $N$, we show that $\mathcal{C}_N[\mathfrak{m}] eq 0$. To prove this, we calculate the index of an Eisenstein ideal $\mathcal{I}$ contained in $\mathfrak{m}$ by computing the order of a cuspidal divisor annihilated by $\mathcal{I}$.

研究动机与目标

• 证明Ribet的猜想，即Hecke代数$\mathbb{T}(N)$的每个Eisenstein极大理想$\mathfrak{m}$在$J_0(N)$的尖点子群$\mathcal{C}_N$上作用非平凡。
• 通过理想$I_{M,N}$的结构（由$U_p - 1$、$U_q - q$和经典Eisenstein理想$\mathcal{I}_0(N)$生成）对$\mathbb{T}(N)$的所有Eisenstein极大理想进行分类。
• 精确计算尖点除子$C_{M,N} = \sum_{d\mid M} (-1)^{\omega(d)} P_d$的阶，用$\varphi(N)$、$\psi(N/M)$和一个修正因子$h \in \{1,2\}$表示。
• 建立Eisenstein理想$I_{M,N}$的指标与$C_{M,N}$的阶之间的精确联系，证明两者在2的幂次内相等。
• 通过分析$\ell$-进Eisenstein极大理想的所有情形（特别是$\ell = 2$的情形），利用层级降低和模$\ell$模形式技术，完成主定理的证明。

提出的方法

• 将$\mathbb{T}(N)$的Eisenstein极大理想$\mathfrak{m}$分类为包含$I_{M,N} = (U_p - 1, U_q - q, \mathcal{I}_0(N))$的理想，其中$M$是$N$的真因子且$M \neq 1$。
• 定义尖点除子$C_{M,N} = \sum_{d\mid M} (-1)^{\omega(d)} P_d$，其中$P_d$是对应于$1/d \in \mathbb{P}^1(\mathbb{Q})$的尖点。
• 计算$C_{M,N}$的阶为$\mathrm{num}\left( \frac{\varphi(N)\psi(N/M)}{24} \times h \right)$，其中当$N = M \equiv 1 \pmod{8}$或$N = 2M$且$M \equiv 1 \pmod{8}$时$h = 2$，否则$h = 1$。
• 证明当$N/M$为奇数时，Eisenstein理想$I_{M,N}$的指标恰好等于$C_{M,N}$的阶；当$N/M$为偶数时，两者在2的幂次内相等。
• 利用模$\ell$模形式和层级降低技术，排除当$\ell$为奇数且$\ell \nmid \varphi(N)$时，理想$\mathfrak{m} = (\ell, I_{1,N})$为极大的可能性。
• 对$\ell = 2$的情形逐个分析，利用关于模2模形式的已知结果以及$J_0(N)$的结构，特别关注$N$为素数或$N = 2M$的情形。

实验结果

研究问题

• RQ1 是否每个Hecke代数$\mathbb{T}(N)$的Eisenstein极大理想$\mathfrak{m}$都在$J_0(N)$的尖点子群$\mathcal{C}_N$上作用非平凡？
• RQ2 尖点除子$C_{M,N}$的精确阶如何用$N$和$M$的算术函数表示？
• RQ3 Eisenstein理想$I_{M,N}$的指标与$C_{M,N}$的阶之间有何关系，特别是在存在2进扭子群的情况下？
• RQ4 能否利用模$\ell$模形式排除$\mathfrak{m} = (\ell, I_{1,N})$在$\ell$为奇数且$\ell \nmid \varphi(N)$时为极大的可能性？
• RQ5 在$\ell = 2$时，哪些条件能确保$\mathcal{C}_N[\mathfrak{m}] \neq 0$，特别是当$N = M$或$N = 2M$时？

主要发现

• 主定理确认了Ribet的猜想：对$\mathbb{T}(N)$的所有Eisenstein极大理想$\mathfrak{m}$，都有$\mathcal{C}_N[\mathfrak{m}] \neq 0$。
• 尖点除子$C_{M,N}$的阶为$\mathrm{num}\left( \frac{\varphi(N)\psi(N/M)}{24} \times h \right)$，其中当$N = M \equiv 1 \pmod{8}$或$N = 2M$且$M \equiv 1 \pmod{8}$时$h = 2$，否则$h = 1$。
• 当$N/M$为奇数时，Eisenstein理想$I_{M,N}$的指标恰好等于$C_{M,N}$的阶。
• 当$N/M$为偶数时，$I_{M,N}$的指标与$C_{M,N}$的阶在2的幂次内相等。
• $\ell = 2$的情形通过证明当$N = M$或$N = 2M$且$\omega(M) \geq 1$时，$C_{p,N}$的阶可被2整除而得以解决，从而得出$\mathcal{C}_N[\mathfrak{m}] \neq 0$。
• 证明利用模$\ell$模形式的层级降低技术，排除了当$\ell$为奇数且$\ell \nmid \varphi(N)$时，$\mathfrak{m} = (\ell, I_{1,N})$为极大的可能性。