[논문 리뷰] The index of an Eisenstein ideal and multiplicity one

Hwajong Yoo|arXiv (Cornell University)|2013. 11. 21.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 5

한 줄 요약

이 논문은 마츠르의 에이젠스타인 아이디얼에 관한 작업을 소수 수준에서 제곱-free 수준으로 일반화하며, 에이젠스타인 아이디얼의 인덱스를 계산하고, 특정 조건 하에서 모듈라 제약반의 $\frak{m}$- torsion의 차원이 2임을 증명한다—이는 $\pi_\ell(S_N) = 1$일 때 에이젠스타인 최대 아이디얼에 대한 다중성의 한정 정리의 수립을 의미한다. 이 결과들은 모듈라 형식 간의 동치관계와 토르션 부분군에 관한 고전적 결과들을 확장한다.

ABSTRACT

Mazur's fundamental work on Eisenstein ideals of prime level has a variety of arithmetic applications. In this article, we generalize some of his work to square-free level. More specifically, we attempt to compute the index of an Eisenstein ideal and the dimension of the m-torsion of the modular Jacobian variety, where m is an Eisenstein maximal ideal. In many cases, the dimension of the m-torsion is 2, in other words, a multiplicity one theorem holds.

연구 동기 및 목표

• 소수 수준에서부터 제곱-free 수준으로 마츠르의 에이젠스타인 아이디얼의 인덱스와 $J_0(N)$의 $\frak{m}$- torsion 차원에 관한 결과를 확장한다.
• 제곱-free $N$에 대해 헤크 대수 $\tau(N)$ 내의 에이젠스타인 아이디얼 $I_M$의 인덱스를 계산하여, $\frac{\varphi(N)\psi(N/M)}{24}$의 분자인 $m$에 대해 $\mathbb{Z}/m\mathbb{Z}$와 동형임을 보인다.
• 잔여 특성 $\ell \nmid 6N$인 에이젠스타인 최대 아이디얼 $\frak{m}$에 대해 $J_0(N)[\frak{m}]$의 차원을 조사하며, 특히 $\pi_\ell(S_N) = 1$ 조건 하에서 분석한다.
• 제곱-free 수준에서 에이젠스타인 최대 아이디얼에 대한 다중성의 한정 정리를 증명하여, $\pi_\ell(S_N) = 1$일 때 $\dim J_0(N)[\frak{m}] = 2$임을 보인다.
• 일반화된 옥의 추측—즉, $J_0(N)$의 유리수 토르션 부분군이 순차적 군임—을 에이젠스타인 아이디얼 분석을 통해 뒷받침한다.

제안 방법

• 소수 $p \mid M$, $q \mid N/M$, $r \nmid N$에 대해 $U_p - 1$, $U_q - q$, $T_r - r - 1$로 생성되는 에이젠스타인 아이디얼 $I_M$을 정의하여, 마츠르의 구성 방식을 일반화한다.
• $\varphi(N) = \prod (p_i - 1)$와 $\psi(N/M) = \prod (p_i + 1)$를 사용하여, $\mathbb{T}(N)/I_M$의 인덱스 $m$을 $\frac{\varphi(N)\psi(N/M)}{24}$의 분자로 정의한다.
• 특히 $N$을 나누는 소수에서의 분해를 중심으로, Galois 표현과 세르-타이트 이론을 통해 $J_0(N)$의 $\frak{m}$- torsion을 분석한다.
• $\pi_\ell(S_N)$를 $p \mid N$이면서 $p \equiv \pm 1 \pmod{\ell}$인 소수의 개수로 정의하고, 이 값을 $\dim J_0(N)[\frak{m}]$의 상한을 구하는 핵심 불변량으로 사용한다.
• 리비트의 모듈라성 및 새로운 형식 이론을 적용하여 $\frak{m}$이 새로운지 또는 오래된지 판별하고, 나카야마의 보조정리를 사용하여 $J_{{\rm new}}[\frak{m}]$의 차원을 상한으로 제한한다.
• 네로 모델의 토러스 $T$와 항등성분 $J^0$을 포함하는 정확수열 및 버슈베이크 사상(verschiebung morphism)을 사용하여, 소수 $q$에서의 $J[\frak{m}]$을 분석한다.

실험 결과

연구 질문

• RQ1 제곱-free $N$에 대해 헤크 대수 $\mathbb{T}(N)$ 내의 에이젠스타인 아이디얼 $I_M$의 인덱스는 무엇인가?
• RQ2 에이젠스타인 최대 아이디얼 $\frak{m}$에 대해 $\dim J_0(N)[\frak{m}] = 2$가 성립하는 조건은 무엇인가?
• RQ3 $\pi_\ell(S_N) = 1$ 조건이 $J_0(N)[\frak{m}]$의 다중성의 성질과 어떻게 관련되는가?
• RQ4 에이젠스타인 아이디얼 분석을 통해 일반화된 옥의 추측—즉, $J_0(N)$의 유리수 토르션 부분군이 순차적 군임—을 뒷받침할 수 있는가?
• RQ5 $\frak{m}$이 다수의 소수에서 분해될 경우, 특히 $q \equiv 1 \pmod{\ell}$일 때 $J_0(N)[\frak{m}]$의 차원은 무엇인가?

주요 결과

• 에이젠스타인 아이디얼 $I_M$이 $y \nmid 2N$에서 국소화된 $\mathbb{T}(N)$ 내에서의 인덱스는 $\mathbb{Z}/m\mathbb{Z}$와 동형이며, 여기서 $m$은 $\frac{\varphi(N)\psi(N/M)}{24}$의 분자이다.
• $\pi_\ell(S_N) = 1$일 때, $J_0(N)[\frak{m}]$의 차원은 정확히 2이며, 이는 제곱-free 수준에서 에이젠스타인 최대 아이디얼에 대한 다중성의 한정 정리의 확인을 의미한다.
• $q \equiv -1 \pmod{\ell}$ 이고 $q$가 $p$에 대해 $\ell$-거듭제곱이 아니면, $\frak{m}$은 $q$에서 분해되지 않으며 $\frak{m}$- torsion은 $q$-old이므로 $\dim J_0(N)[\frak{m}] = 2$이다.
• $q \equiv 1 \pmod{\ell}$일 경우, $J_0(N)[\frak{m}]$의 차원은 최소 4이며, 추가 조건이 만족되면 5에 도달한다. 이는 SAGE 계산과 리비트 이론에 의해 확인된다.
• $J_0(N)[\frak{m}]$의 차원은 $1 + \varpi_0(\frak{m}) + \varpi_\ell(S_\frak{m})$로 상한이 주어지며, 여기서 $\varpi_0(\frak{m})$는 $U_p \equiv 1 \pmod{\frak{m}}$이면서 $p \equiv 1 \pmod{\ell}$인 소수 $p \mid N$의 개수를 세는 것이다.
• $J_0(N)$의 유리수 토르션 부분군은 순차적 군에 포함되어 있으며, 이는 특히 $\pi_\ell(S_N) = 1$일 때 일반화된 옥의 추측을 지지한다.