[논문 리뷰] Modular Parametrizations of Neumann-Setzer Elliptic Curves

William Stein, Mark E. Watkins|ArXiv.org|2004. 04. 19.

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

한 줄 요약

이 논문은 모듈라 도수의 소수 도수 $p = u^2 + 64$를 가진 Neumann–Setzer 타원곡선 $E_0$의 모듈라 도수가 $u \equiv 3 \pmod{8}$일 때에만 홀수임을, 모듈라 형식과 Hecke 대수의 기법을 사용하여 증명한다. 또한 $E_1$가 $X_1(p)$의 최적 몫임을 증명하고, Stevens의 최소 Faltings 높이에 대한 추측의 소수 도수 사례를 확인한다.

ABSTRACT

Suppose $p$ is a prime of the form $u^2+64$ for some integer $u$, which we take to be 3 mod 4. Then there are two Neumann--Setzer elliptic curves $E_0$ and $E_1$ of prime conductor $p$, and both have Mordell--Weil group $\Z/2\Z$. There is a surjective map $X_0(p)\xrightarrowπ E_0$ that does not factor through any other elliptic curve (i.e., $π$ is optimal), where $X_0(p)$ is the modular curve of level $p$. Our main result is that the degree of $π$ is odd if and only if $u \con 3\pmod{8}$. We also prove the prime-conductor case of a conjecture of Glenn Stevens, namely that that if $E$ is an elliptic curve of prime conductor $p$ then the optimal quotient of $X_1(p)$ in the isogeny class of $E$ is the curve with minimal Faltings height. Finally we discuss some conjectures and data about modular degrees and orders of Shafarevich--Tate groups of Neumann--Setzer curves.

연구 동기 및 목표

• Neumann–Setzer 타원곡선 $E_0$의 소수 도수 $p = u^2 + 64$에 대해 모듈라 도수의 기수를 결정하는 것.
• $E_1$가 $X_1(p)$의 최적 몫임을 증명하고, Glenn Stevens의 최소 Faltings 높이에 대한 추측을 뒷받침하는 것.
• Neumann–Setzer 곡선의 Shafarevich–Tate 군에서의 $p$-나누기 가능성 분포를 조사하는 것.
• 무한히 많은 기수 모듈라 도수를 가진 타원곡선의 존재에 대한 증거를 제공하는 것.

제안 방법

• Hecke 대수 이론과 모듈라 매개변수화를 사용하며, 특히 Eisenstein 이상수 $\mathfrak{m}$ 가 Mordell–Weil 군에 작용하는 방식을 분석한다.
• Mazur의 Eisenstein 이상수에 관한 결과를 응용하여 2- torsion의 구조와 모듈라 매개변수화 $\pi: X_0(p) \to E_0$의 핵을 분석한다.
• 모듈라 도수 $m$ 이 $m^2 = \#(B \cap E_0)$ 를 만족하고, 여기서 $B = \ker(J \to E_0)$ 이므로 유한부분군의 순서와 도수를 연결한다.
• 다른 타원곡선을 통과하지 않는 최적 매개변수화 $\pi$ 를 활용하여 모듈라 도수가 잘 정의되고 최소임을 보장한다.
• Cremona의 표와 Watkins(2002)의 계산 결과를 활용하여 모듈라 도수의 $p$-adic 값의 성격을 분석한다.
• Faltings 높이를 $E_1$와 $E_0$ 간에 비교하여 $E_1$가 그 이소지니 클래스에서 최소 높이를 가짐을 보여 Stevens의 추측의 소수 도수 사례를 확인한다.

실험 결과

연구 질문

• RQ1 Neumann–Setzer 곡선 $E_0$의 소수 도수 $p = u^2 + 64$일 때, 모듈라 도수가 언제 홀수인가?
• RQ2 $E_1$는 $X_1(p)$의 최적 몫인가? 그리고 그 이소지니 클래스에서 최소 Faltings 높이를 가지는가?
• RQ3 Neumann–Setzer 곡선의 Shafarevich–Tate 군에서 나누어지는 소수의 분포는 무엇이며, $u \mod 8$ 에 따라 어떻게 달라지는가?
• RQ4 무한히 많은 유리수 위에서 기수 모듈라 도수를 가진 타원곡선이 존재하는가?
• RQ5 $u \equiv 7 \pmod{8}$ 인 경우, Neumann–Setzer 곡선의 2-adic 값의 모듈라 도수의 행동은 어떻게 되는가?

주요 결과

• $E_0$의 모듈라 도수가 $u \equiv 3 \pmod{8}$일 때에만 홀수임을 보여, 도수의 기수에 대한 정확한 산술 조건을 설정한다.
• $E_1$는 $X_1(p)$의 최적 몫이며, 그 이소지니 클래스에서 최소 Faltings 높이를 가지며, Stevens의 추측의 소수 도수 사례를 확인한다.
• $N < 8000$ 인 $J_0(N)$의 최적 타원곡선 몫 29,755개 중에서 기수 모듈라 도수를 가진 것은 오직 89개 뿐이므로 희귀함을 나타낸다.
• 소수 도수 $N \leq 10^7$ 인 Neumann–Setzer 곡선이 아닌 곡선 52,878개 중 약 8%가 기수 모듈라 도수를 가지며, 이는 Neumann–Setzer 곡선이 더 기수 도수를 가질 가능성이 높음을 시사한다.
• 자료에 따르면 $u \equiv 7 \pmod{8}$ 이면 $u \equiv 7 \pmod{16}$ 일 때 모듈라 도수의 2-adic 값이 정확히 1임을 보여, 개선된 추측을 지지한다.
• 소수 $\ell$ 가 Neumann–Setzer 곡선의 Shafarevich–Tate 군을 나누는 빈도는 $u$ 가 3, 5, 8 모듈로에서의 합동 조건에 따라 달라지며, $\ell=3$ 이 $\Sha$ 를 나누는 경우는 약 36%이다.