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

論文要約：二次体上の有理楕円曲線のねじれ部分群に関する研究

1. 研究の背景と問題設定 (Problem)

楕円曲線 $E$ の数体 $K$ 上の有理点の集合 $E(K)$ は、有限生成アーベル群を形成します（Mordell-Weilの定理）。この群は、有限群である「ねじれ部分群 $E(K)_{\text{tors}}$」と、自由アーベル群である「ランク」の直和に分解されます。
Mazurの定理により $K=\mathbb{Q}$ の場合のねじれ部分群は完全に分類されていますが、二次体 $K$ や円分体 $\mathbb{Q}(\zeta_p)$ 上での分類は現在も進行中の課題です。

本論文の主要な問いは、「有理数体上で定義された楕円曲線 $E/\mathbb{Q}$ が、特定の二次体 $K = \mathbb{Q}(\sqrt{-p})$ 上で、特定のねじれ構造（特に $Z/2Z \times Z/10Z$ や $Z/2Z \times Z/12Z$）を持つことはあるか？」 という点にあります。

2. 研究手法 (Methodology)

著者は、以下の高度な数論的手法を組み合わせています。

• モジュラー曲線と2次点 (Modular Curves and Quadratic Points):
  特定のねじれ構造を持つ楕円曲線が存在するかどうかを、対応するモジュラー曲線（$X_1(2, 10)$ や $X_1(2, 12)$ など）上の二次点（degree 2 points）の存在問題に帰着させます。これらの曲線は自身も楕円曲線（genus 1）であるため、そのランクを調べることで点の存在を判定します。
• 2次降下法 (2-descent Method):
  モジュラー曲線の二次ツイスト（quadratic twists）のランクを計算するために、2次降下法を用いて $E(\mathbb{Q})/2E(\mathbb{Q})$ の構造を解析します。これにより、特定の素数 $p$ に対してランクが 0 である（＝ねじれ構造が存在しない）ことを証明します。
• パリティ予想 (Parity Conjecture) の利用:
  「ランクのパリティ（偶奇）は、L関数の符号（root number）と一致する」というパリティ予想に基づき、条件付きでランクが 1 以上（＝ねじれ構造を持つ曲線が無限に存在する）であることを示します。
• ガロア表現と分類理論:
  円分体や $\mathbb{Z}_p$ 拡大におけるねじれ部分群を制限するために、ガロア理論、Weil pairing、および既知の $n$-isogeny の分類結果を利用しています。

3. 主な貢献と結果 (Key Contributions and Results)

A. 特定のねじれ構造の非存在証明 (Non-existence)

特定の剰余条件を満たす素数 $p$ に対して、望ましいねじれ構造を持つ有理楕円曲線が存在しないことを示しました。

• Theorem 1.2: $p \equiv 3, 7 \pmod{20}$ のとき、$E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong Z/2Z \times Z/10Z$ となる $E/\mathbb{Q}$ は存在しない。
• Theorem 1.3: $p \equiv 11 \pmod{24}$ のとき、$E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong Z/2Z \times Z/12Z$ となる $E/\mathbb{Q}$ は存在しない。
• Corollary 1.4: これらを組み合わせ、特定の条件下の素数において、円分体上のねじれ構造が Mazur の定理のリスト（15個）に完全に収まることを示しました。

B. 条件付き無限存在証明 (Conditional Existence)

パリティ予想（または Tate-Shafarevich 群の2次成分の有限性）を仮定することで、以下の構造を持つ有理楕円曲線が無限に存在することを証明しました。

• $p \equiv 11, 19 \pmod{20}$ のとき、$Z/2Z \times Z/10Z$ を持つ曲線が無限に存在する。
• $p \equiv -1 \pmod{24}$ のとき、$Z/2Z \times Z/12Z$ を持つ曲線が無限に存在する。

C. 無限次拡大における分類 (Classification over Infinite Extensions)

• Kummer 拡大と $\mathbb{Z}_p$ 拡大: 円分体の Kummer 拡大や、数体 $K$ のすべての $\mathbb{Z}_p$ 拡大の合成体 $K_{\mathbb{Z}_p}$ におけるねじれ部分群の分類を行いました。
• Theorem 5.5: 虚二次体 $K$ と $p > 5$ に対して、すべての $\mathbb{Z}_p$ 拡大の合成体上では、ねじれ部分群は基底体 $K$ 上のものです ($E(K_{\mathbb{Z}_p})_{\text{tors}} = E(K)_{\text{tors}}$)。

4. 研究の意義 (Significance)

本研究は、単なるねじれ部分群のリストアップに留まらず、「どの数体（二次体、円分体、あるいは無限次拡大）が、どのねじれ構造を許容するか」 という、数体と楕円曲線の幾何学的性質の深い関係を明らかにしています。

特に、モジュラー曲線のランク計算とパリティ予想を組み合わせることで、存在の「非存在」と「無限の存在」の両面から、ねじれ構造の境界線を明確に引いた点に高い学術的価値があります。これは、今後の数論幾何学における、より一般的な数体上のねじれ分類問題への重要な足がかりとなります。