Elliptic curves with rank one and nontrivial 2-part of Tate Shafarevich groups over the $\mathbb{Z}_2$-extension of $\mathbb{Q}$

1. 연구 배경 및 문제 제기 (Problem Statement)

이 연구는 두 가지 주요 질문에서 출발합니다.

• 질문 1.1: $\mathbb{Q}$ 위에 정의된 타원곡선 $E$와 차수가 무한히 커지는 수체들의 열 $F_n$이 존재하여, 모든 $n$에 대해 $E(F_n)$의 순위가 $r_n=1$이고, 타트 - 샤라베브스키 군의 $p$-주부분 $X(E/F_n)(p)$가 비자명 (nontrivial) 인가?
  • 기존 연구 (Kurihara 등) 는 $r_n=0$이거나 $p$가 기이한 소수 (supersingular prime) 인 경우 등 일부 조건에서 긍정적 답을 주었으나, $r_n=1$이고 $p=2$인 경우, 타트 - 샤라베브스키 군의 유한성 가정을 하지 않고 이 문제를 해결하는 것은 미해결 과제였습니다.
• 질문 1.2: 타원곡선 $E/\mathbb{Q}$와 무한히 많은 제곱 자유 정수 $d$가 존재하여, 2 차 꼬임 (quadratic twist) $E(d)$가 순위 1 을 가지면서 $X(E(d)/\mathbb{Q})(2) \neq 0$인가?

본 논문의 목표:

1. Birch-Swinnerton-Dyer (BSD) 추측이나 타트 - 샤라베브스키 군의 유한성을 가정하지 않고, $r_n=1$이고 $p=2$인 경우 위 질문에 대한 긍정적 답을 제공하는 것.
2. 고정된 곡선이나 수체가 아닌, 차수가 무한히 커지는 수체들의 열 ($\mathbb{Q}_\infty$의 부분체) 과 그 위의 2 차 꼬임 곡선들의 무한한 족을 구성하여, 모든 경우에 대해 순위 1 과 무한한 2-타트 - 샤라베브스키 군을 증명하는 것.

2. 방법론 (Methodology)

저자들은 다음과 같은 세 가지 핵심 도구를 결합하여 증명을 수행했습니다.

1. Mazur-Tate 모듈 요소 (Mazur-Tate Modular Elements) 와 합동성:

   • 타원곡선과 관련된 Mazur-Tate 모듈 요소를 도입하고, 이를 2 차 꼬임 (quadratic twists) 에 적용했습니다.
   • Kurihara 의 방법론을 확장하여, 유한 차수 문자 (finite order characters) 에 대한 2-진수적 성질 (2-adic properties) 을 분석했습니다.
   • 특히, $E$와 $E(m)$ (여기서 $m=pq$) 사이의 모듈 요소 합동성 (congruence relations) 을 modulo 2 및 modulo 4 수준에서 정밀하게 분석하여, $E(m)$에 대한 2-진수적 성질을 유도했습니다. Appendix A 에서는 $n=3$인 특수한 경우를 처리하기 위해 Hecke 작용을 이용한 고차 합동식을 유도했습니다.

2. Heegner 점의 합동성 (Congruence Properties of Heegner Points):

   • Bertolini, Darmon, Prasanna 가 개발한 $p$-진 Waldspurger 공식과 Kriz-Li 의 결과를 활용했습니다.
   • 특정 조건을 만족하는 $E(-3q)$와 $Q(\sqrt{-2p})$에 연관된 Heegner 점이 비축소점 (non-torsion point) 임을 증명했습니다.
   • 이는 Gross-Zagier 정리와 Kolyvagin 정리를 통해 해석적 순위가 1 임을 보장하는 데 사용되었습니다.

3. Equivariant Coates-Wiles 정리:

   • 복소수 곱셈 (CM) 을 가진 타원곡선에 대한 Iwasawa 이론을 활용했습니다.
   • $E(m)/Q_n(\sqrt{-3})$에 대한 등가변형 (equivariant) Coates-Wiles 정리를 증명 (Appendix B) 하여, 대수적 순위가 1 임을 보였습니다.

3. 주요 결과 (Key Results)

주요 정리 (Theorem 1.3):
$p, q$가 다음 조건을 만족하는 서로 다른 소수라고 합시다:

1. $p \equiv q \equiv 7 \pmod{12}$
2. $a_p, a_q$가 홀수 (여기서 $a_n$은 타원곡선 $E: y^2+y=x^3+2$에 대응하는 새로운 형식 (newform) 의 푸리에 계수)
3. $\left(\frac{-2p}{q}\right) = 1$
4. $3 \nmid h(-q)h(-6pq)$ (여기서 $h(t)$는 이차체 $Q(\sqrt{t})$의 클래스 수)

이때 $m = pq$로 두면 다음이 성립합니다:

• (i) $E(m)$은 $\mathbb{Q}$ 위에서 순위 0 을 가지며, $L(E(m)/\mathbb{Q}, 1) \neq 0$입니다.
• (ii) 모든 $n \ge 1$에 대해, $E(m)$은 $\mathbb{Q}_n$ ( $\mathbb{Q}_\infty$의 $2^n$ 차 부분체) 위에서 해석적 및 대수적 순위가 정확히 1입니다.
• (iii) $\mathbb{Q}_\infty$ 위의 타트 - 샤라베브스키 군 $X(E(m)/\mathbb{Q}_\infty)(2)$는 무한한 위수 (infinite order) 와 무한한 2-랭크를 가집니다.

구체적인 곡선:
연구에서 사용된 기본 타원곡선은 $E: y^2 + y = x^3 + 2$ (지수 243, CM by $\mathbb{Q}(\sqrt{-3})$) 입니다. 이 곡선의 2 차 꼬임 $E(m)$이 위 조건을 만족하는 $m=pq$에 대해 원하는 성질을 가짐을 보였습니다.

4. 기술적 기여 및 의의 (Contributions and Significance)

1. BSD 추측 가정 없는 순위 1 구성:

   • 기존 연구들은 종종 BSD 추측이나 타트 - 샤라베브스키 군의 유한성을 가정해야 했습니다. 본 논문은 이러한 가정을 전혀 사용하지 않고, $p=2$이고 순위가 1 인 경우에도 타트 - 샤라베브스키 군이 무한하다는 것을 엄밀하게 증명했습니다. 이는 Iwasawa 이론과 모듈 요소의 정밀한 합동성 분석을 통한 혁신적인 접근입니다.

2. 무한한 족 (Infinite Family) 의 확장:

   • 단일 곡선이나 고정된 수체가 아닌, 차수가 무한히 커지는 수체들의 열 ($\mathbb{Q}_\infty$) 과 그 위의 2 차 꼬임 곡선들의 무한한 족을 다룹니다. 이는 "Rank 1 과 비자명한 Sha" 현상이 고립된 사례가 아니라 보편적으로 발생할 수 있음을 시사합니다.

3. Mazur-Tate 요소의 2-진수적 분석 기법 발전:

   • Kurihara 와 Pollack 의 방법론을 2-소수 (prime 2) 와 2 차 꼬임에 적용할 수 있도록 개량했습니다. 특히, $E$와 $E(m)$ 사이의 모듈 요소 합동성을 modulo 2 및 modulo 4 수준에서 분석하여 2-진수적 성질을 규명한 것은 수론적 기법으로서 중요한 기여입니다. Appendix A 에서는 $n=3$인 경우의 예외적 상황을 처리하기 위한 고차 합동식 유도 과정을 상세히 제시했습니다.

4. 구체적인 수치 데이터 제공:

   • Appendix C 에 조건을 만족하는 소수 쌍 $(p, q)$의 구체적인 예시 (31, 7 등) 와 관련 불변량들을 제시하여 이론적 결과가 실제 수치적으로 검증 가능함을 보여주었습니다.

결론

이 논문은 타원곡선의 Iwasawa 이론 분야에서 중요한 진전을 이루었습니다. 특히, 2-소수와 순위 1이라는 까다로운 조건 하에서 타트 - 샤라베브스키 군이 무한하다는 사실을 BSD 추측 없이 증명함으로써, 타원곡선의 산술적 성질에 대한 이해를 심화시켰습니다. 이 결과는 타원곡선의 꼬임 (twists) 이나 Iwasawa 이론을 연구하는 후속 연구자들에게 강력한 도구와 새로운 방향을 제시합니다.