Existence and non-existence of rational elliptic curves with prescribed torsion subgroups over quadratic fields

1. 연구 문제 (Problem Statement)

본 논문은 유리수체 $\mathbb{Q}$ 위에서 정의된 타원 곡선(Rational Elliptic Curves)이 특정 이차체(Quadratic Fields) $K$ 위에서 가질 수 있는 **비틀림 부분군(Torsion Subgroup)**의 구조를 분류하고, 특정 구조의 존재 여부를 결정하는 문제를 다룹니다.

특히, 마주르의 정리(Mazur's Theorem)에 의해 $\mathbb{Q}$ 위에서의 비틀림 구조는 이미 완벽히 분류되어 있으나, 이차체 $K$ 위에서는 어떤 구조가 나타날 수 있는지, 그리고 특히 $\mathbb{Q}$ 위에서 정의된 곡선이 $K$ 위에서 확장되었을 때 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ 또는 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$와 같은 특수한 비틀림 구조를 가질 수 있는지를 탐구합니다.

2. 연구 방법론 (Methodology)

저자는 다음과 같은 고등 수학적 도구들을 결합하여 문제를 해결합니다.

• 모듈러 곡선(Modular Curves)의 이차점(Quadratic Points) 연구: 비틀림 구조의 존재 여부를 판단하기 위해 모듈러 곡선 $X_1(2, 10)$ 및 $X_1(2, 12)$의 이차점 존재 문제를 연구합니다. 이 곡선들은 생성수(genus)가 1인 타원 곡선이므로, 이들의 **이차 트위스트(Quadratic Twists)**의 계수(Rank)를 계산하는 방식으로 접근합니다.
• 2-하강법 (2-descent Method): 타원 곡선의 계수를 계산하기 위해 2-하강법을 사용하여 $E(\mathbb{Q})/2E(\mathbb{Q})$의 구조를 분석합니다. 이를 통해 특정 이차체 위에서 계수가 0인 경우(비틀림 구조 존재 불가)와 계수가 1 이상인 경우(비틀림 구조를 가진 곡선이 무수히 존재)를 구분합니다.
• 패리티 추측 (Parity Conjecture) 활용: 특정 조건 하에서 계수가 홀수임을 보이기 위해 패리티 추측(또는 Tate-Shafarevich 군의 2-primary part의 유한성 가정)을 조건부로 사용합니다. 이는 계수가 1임을 보임으로써 비틀림 구조를 가진 곡선이 무수히 존재함을 증명하는 핵심 도구가 됩니다.
• 갈루아 표현 및 갈루아 이론 (Galois Theory): 킴머 확장(Kummer extensions) 및 $\mathbb{Z}_p$-확장(Zp-extensions)과 같은 무한 아벨 확장(Infinite Abelian Extensions)에서 비틀림 구조를 분류하기 위해 갈루아 군의 구조와 모듈러 곡선의 성질을 이용합니다.

3. 주요 결과 (Key Results)

A. 특정 비틀림 구조의 부존재 증명 (Non-existence)

특정 합동 조건(congruence condition)을 만족하는 소수 $p$에 대해, $\mathbb{Q}(\sqrt{-p})$ 위에서 특정 비틀림을 갖는 $\mathbb{Q}$-정의 타원 곡선이 존재할 수 없음을 보였습니다.

• Theorem 1.2: $p \equiv 3, 7 \pmod{20}$인 소수 $p$에 대해, $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$인 $E/\mathbb{Q}$는 존재하지 않습니다.
• Theorem 1.3: $p \equiv 11 \pmod{24}$인 소수 $p$에 대해, $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$인 $E/\mathbb{Q}$는 존재하지 않습니다.
• Corollary 1.4: 이를 확장하여 $p \equiv 83, 107 \pmod{120}$인 경우, $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2N\mathbb{Z}$ ($N=5, 6$) 구조가 불가능함을 보였습니다.

B. 특정 비틀림 구조의 무한한 존재성 (Existence)

패리티 추측을 가정할 때, 특정 조건의 소수 $p$에 대해 해당 비틀림 구조를 갖는 $\mathbb{Q}$-정의 타원 곡선이 무수히 많음을 증명했습니다.

• Conjecture 1.5 & 1.6의 조건부 증명: $p \equiv 11, 19 \pmod{20}$인 경우 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$가, $p \equiv -1 \pmod{24}$인 경우 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$가 무수히 많이 존재함을 보였습니다.

C. 무한 아벨 확장으로의 확장 (Classification over Infinite Extensions)

• Theorem 5.1 & 5.2: 킴머 확장(Kummer extensions) 및 사이클로토믹 필드(Cyclotomic fields)의 합성에 대해 비틀림 구조의 가능한 목록을 정교하게 분류(Refining)했습니다.
• Theorem 5.5: 허수 이차체(Imaginary quadratic field)의 모든 $\mathbb{Z}_p$-확장의 합성체($K_{\mathbb{Z}_p}$) 위에서 타원 곡선의 비틀림 구조는 이미 기저체 $K$에서 정의된 것과 동일함을 증명했습니다 ($E(K_{\mathbb{Z}_p})_{\text{tors}} = E(K)_{\text{tors}}$).

4. 연구의 의의 (Significance)

1. 분류 문제의 정교화: 기존 연구(Avci 2026a 등)를 확장하여, 단순히 존재 여부를 넘어 어떤 이차체에서 어떤 비틀림이 나타나는지에 대한 정밀한 분류 지도를 제공합니다.
2. 이차체에서 무한 확장으로의 연결: 이차체에서의 국소적인 결과를 $\mathbb{Z}_p$-확장이나 사이클로토믹 확장과 같은 거대한 아벨 확장 체계로 일반화함으로써, 타원 곡선의 산술적 성질이 무한 확장체에서 어떻게 안정화(stabilize)되는지를 보여주었습니다.
3. 수론적 가설의 검증: 패리티 추측과 같은 핵심적인 수론적 가설을 사용하여 구체적인 존재성을 입증함으로써, 현대 타원 곡론의 주요 난제들과 연구 결과들 사이의 긴밀한 연결성을 확인시켜 주었습니다.