[논문 리뷰] On Eisenstein ideals and the cuspidal group of $J_0(N)$

Hwajong Yoo|arXiv (Cornell University)|2015. 02. 05.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 제곱 자유수 $N > 6$ 인 수준 $N$ 의 히케 대수 $\mathbb{T}(N)$ 의 모든 아이zeń슈타인 최대 아이디얼이 야르만다르의 야르만다르 $J_0(N)$ 의 귀족 부분군 $\mathcal{C}_N$ 에 비자명하게 작용한다는 리베트의 추측을 증명한다. 특정 귀족 분할자 $C_{M,N}$ 의 차수를 통해 아이젠슈타인 아이디얼의 차수를 계산함으로써, 모든 아이젠슈타인 최대 아이디얼 $\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}$.

연구 동기 및 목표

• 히케 대수 $\mathbb{T}(N)$ 의 모든 아이젠슈타인 최대 아이디얼 $\mathfrak{m}$ 이 $J_0(N)$ 의 귀족 부분군 $\mathcal{C}_N$ 에 비자명하게 작용한다는 리베트의 추측을 증명하는 것.
• 특정 $U_p - 1$, $U_q - q$, 그리고 고전적 아이젠슈타인 아이디얼 $\mathcal{I}_0(N)$ 에 의해 생성되는 아이디얼 $I_{M,N}$ 의 구조를 통해 $\mathbb{T}(N)$ 의 모든 아이젠슈타인 최대 아이디얼을 분류하는 것.
• 귀족 분할자 $C_{M,N} = \sum_{d\mid M} (-1)^{\omega(d)} P_d$ 의 정확한 차수를 $\varphi(N)$, $\psi(N/M)$, 그리고 보정 인자 $h \in \{1,2\}$ 를 통해 표현하는 것.
• 아이젠슈타인 아이디얼 $I_{M,N}$ 의 차수와 귀족 분할자 $C_{M,N}$ 의 차수 사이의 정확한 연결 고리를 설정하여, 2의 거듭제곱을 제외하고는 동일함을 보이는 것.
• 특히 $\ell = 2$ 인 경우를 포함한 $\ell$-진 아이젠슈타인 최대 아이디얼의 모든 경우를 분석함으로써 주정리의 증명을 완성하는 것. 이는 수준 낮추기 및 모듈라 형식에 대한 $\ell$-진 기법을 사용한다.

제안 방법

• 모든 $\mathbb{T}(N)$ 의 아이젠슈타인 최대 아이디얼 $\mathfrak{m}$ 을, $N$ 의 적절한 진약수 $M$ 에 대해 $M \neq 1$ 이고 $I_{M,N} = (U_p - 1, U_q - q, \mathcal{I}_0(N))$ 를 포함하는 것으로 분류한다.
• 귀족 분할자 $C_{M,N} = \sum_{d\mid M} (-1)^{\omega(d)} P_d$ 를 정의하며, 여기서 $P_d$ 는 $\mathbb{P}^1(\mathbb{Q})$ 에서 $1/d$ 와 대응하는 쿠스프를 의미한다.
• 분할자 $C_{M,N}$ 의 차수를 $\mathrm{num}\left( \frac{\varphi(N)\psi(N/M)}{24} \times h \right)$ 로 계산하며, 여기서 $h = 2$ 이다. 이는 $N = M \equiv 1 \pmod{8}$ 이거나 $N = 2M$, $M \equiv 1 \pmod{8}$ 일 때 성립한다.
• 아이젠슈타인 아이디얼 $I_{M,N}$ 의 차수와 귀족 분할자 $C_{M,N}$ 의 차수 사이의 관계를 설정하여, $N/M$ 이 홀수일 경우 정확히 동일하고, 짝수일 경우 2의 거듭제곱을 제외하고 동일함을 보인다.
• 모듈라 형식에 대한 $\ell$-진 기법과 수준 낮추기 기법을 사용하여, $\ell$ 가 홀수이고 $\ell \nmid \varphi(N)$ 일 때, $\mathfrak{m} = (\ell, I_{1,N})$ 가 최대가 될 수 없음을 배제한다.
• $\ell = 2$ 의 경우를 사례별로 분석하며, 특히 $N$ 이 소수이거나 $N = 2M$ 인 경우에 대해 알려진 $\mathrm{mod}\,2$ 모듈라 형식의 결과와 $J_0(N)$ 의 구조를 활용한다.

실험 결과

연구 질문

• RQ1 모든 아이젠슈타인 최대 아이디얼 $\mathfrak{m}$ 이 $\mathbb{T}(N)$ 에서 $J_0(N)$ 의 귀족 부분군 $\mathcal{C}_N$ 에 비자명하게 작용하는가?
• RQ2 귀족 분할자 $C_{M,N}$ 의 정확한 차수는 $N$ 과 $M$ 의 산술 함수에 대해 어떻게 표현되는가?
• RQ3 특히 2-진 토크션의 존재 하에서, 아이젠슈타인 아이디얼 $I_{M,N}$ 의 차수와 귀족 분할자 $C_{M,N}$ 의 차수 사이의 관계는 어떠한가?
• RQ4 모듈라 형식에 대한 $\ell$-진 기법을 사용하여, $\ell$ 가 홀수이고 $\ell \nmid \varphi(N)$ 일 때, $\mathfrak{m} = (\ell, I_{1,N})$ 의 최대성을 배제할 수 있는가?
• RQ5 특히 $N = M$ 이나 $N = 2M$ 인 경우에 대해, $\ell = 2$ 일 때 $\mathcal{C}_N[\mathfrak{m}] \neq 0$ 가 되도록 보장하는 조건은 무엇인가?

주요 결과

• 주정리에 의해 리베트의 추측이 확인된다: $\mathbb{T}(N)$ 의 모든 아이젠슈타인 최대 아이디얼 $\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)$ 이며, 여기서 $h = 2$ 이다. 이는 $N = M \equiv 1 \pmod{8}$ 이거나 $N = 2M$, $M \equiv 1 \pmod{8}$ 일 때 성립하고, 그 외의 경우 $h = 1$ 이다.
• $N/M$ 이 홀수일 경우, 아이젠슈타인 아이디얼 $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})$ 가 최대가 되는 것을 배제한다.