Torsion groups of elliptic curves that appear infinitely often over septic fields

フィルィプ・ナジュマンによる論文「セプティック体上で無限回現れる楕円曲線のねじれ群」の詳細な技術的要約を以下に示す。

1. 問題提起

本論文は、楕円曲線の算術における根本的な問題、すなわち特定の次数の数体上で定義された楕円曲線に対して可能なねじれ部分群の集合を決定するという問題に取り組んでいる。

• 文脈: モルデル・ヴェイユの定理により、数体 $K$ 上の楕円曲線 $E$ における有理点の群 $E(K)$ は有限生成である。ねじれ部分群 $E(K)_{\text{tors}}$ は有限であり、$\mathbb{Z}/m\mathbb{Z} \times \mathbb{Z}/n\mathbb{Z}$（$(m, n)$ と表記）に同型である。
• 定義:
  • $\Phi(d)$: 次数 $d$ の任意の数体上の楕円曲線に対して可能なすべてのねじれ群の集合。
  • $\Phi_\infty(d)$: $\Phi(d)$ の部分集合であり、次数 $d$ の体上で（$\mathbb{Q}$ 上で同型でない）無限個の楕円曲線のねじれ部分群として現れる群からなる。
• ギャップ: 次数 $d \le 6$ に対する $\Phi_\infty(d)$ は既知であった（Derickx、Sutherland、Jeon、Kim 他により決定されたが）、執筆時点では $\Phi_\infty(7)$（セプティック体）の集合は未決定であった。$d > 4$ に対する完全な集合 $\Phi(d)$ は未だ不明であるが、これらの曲線の算術的風景を理解する上で、「無限」部分集合 $\Phi_\infty(d)$ を決定することは決定的に重要なステップである。

2. 手法

著者は、$\Phi_\infty(7)$ を決定するために、理論的限界、モジュラー曲線の幾何学、計算代数的幾何学の組み合わせを用いる。

A. 理論的枠組み

1. 巡回群と積群:
   • セプティック体（次数 7）において、群構造 $(m, n)$ は制約を受ける。$E(K)$ が $(n, n)$ を含むためには $\mathbb{Q}(\zeta_n) \subset K$ が必要であり、$[\mathbb{Q}(\zeta_n):\mathbb{Q}] = \phi(n)$ であるため、次数 7 の場合 $m$ は 1 または 2 でなければならない。したがって、探索は巡回群 $(1, n)$ と $(2, 2n)$ の形の群に限定される。
2. ゴナリティと密度次数:
   • 本論文は、$K$ 上で定義された曲線 $X$ から $\mathbb{P}^1$ への射の最小次数であるゴナリティ（$\text{gon}_K X$）の概念を利用する。
   • 命題 2.1（Derickx-Sutherland より）は、最小密度次数 $\delta(X/K)$（$X$ が無限個の次数 $n$ の点を持つような最小の次数 $n$）とゴナリティの間の関係を確立する：$\delta(X/K) \le \text{gon}_K X \le 2\delta(X/K)$。
   • 重要なのは、ヤコビアン $J(X)(\mathbb{Q})$ のランクが 0 である場合、$\delta(X/\mathbb{Q}) = \text{gon}_{\mathbb{Q}} X$ となることである。
   • 結論: 群 $G \in \Phi_\infty(7)$ であることを証明するには、対応するモジュラー曲線 $X$ が無限個の次数 7 の点を持つことを示す必要がある。これは $\text{gon}_{\mathbb{Q}} X \le 7$（かつランク条件が満たされる）場合に保証される。逆に、$\text{gon}_{\mathbb{Q}} X > 7$ である場合、その群は無限回現れない。

B. 計算戦略

証明は、有限体上のモジュラー曲線 $X_1(2, 2n)$ のゴナリティを計算し、$\mathbb{Q}$ 上のゴナリティを制限することに大きく依存している。

• 下限: 著者は、良い還元を持つ素数 $p$ に対して $\text{gon}_{\mathbb{Q}} X \ge \text{gon}_{\mathbb{F}_p} X$ という不等式を用いる。
• 手法:
  • アブラモビッチの限界: 合同部分群の指数計算を通じて、大きな $n$（$n \ge 16$）に対して高いゴナリティを確立するために使用される。
  • Derickx-Terao [DT26] アルゴリズム: 有限体上の曲線の類群とゴナリティを計算するための新しい手法が利用され、特定のケース（$11 \le n \le 15$）に対して正確な値または下限のゴナリティが計算された。
  • カステルヌーヴォ・セヴェリの不等式: $n=15$ の場合に特に適用され、$X_1(2, 30)$ と $X_1(30)$ の間の写像の幾何学を解析することで、重計算を回避した。

3. 主要な貢献と結果

主要な結果は、$\Phi_\infty(7)$ を完全に特徴づける定理 1.1である：
$$\Phi_\infty(7) = \{(1, n) : 1 \le n \le 30, n \notin \{25, 29\}\} \cup \{(2, 2n) : 1 \le n \le 10\}$$

証明は、$n$ の異なる範囲に対処する 3 つの補題に分解される。

1. 巡回群 $(1, n)$:

   • 定理 2.2（Derickx-Van Hoeij より）に依存し、巡回群 $(1, n)$ が $\Phi_\infty(7)$ に属するのは $1 \le n \le 30$ かつ $n \neq 25, 29$ であるときかつそのときに限ると著者は引用する。この結果の部分は以前に確立されていた。

2. 積群 $(2, 2n)$（$n \ge 16$）:

   • 補題 3.1は、$n \ge 16$ に対して、モジュラー曲線 $X_1(2, 2n)$ の $\mathbb{Q}$ 上のゴナリティが厳密に 7 より大きいことを証明する。
   • これは、ゴナリティに関するアブラモビッチの下限と合同部分群 $\Gamma_1(2, 2n)$ の指数を組み合わせることで達成される。$\text{gon}_{\mathbb{Q}} X > 7$ であるため、これらの群は次数 7 の体上で無限回現れない。

3. 積群 $(2, 2n)$（$n \le 10$）:

   • 補題 3.2は、これらの群が実際に無限回現れることを確認する。
   • $n \le 6$ の場合、これは種数に関する考察（$g \le 1$）とヒルベルトの既約性定理から導かれる。
   • $7 \le n \le 10$ の場合、その結果は Maarten Derickx による未発表のコードに依存しており、これは次数 7 のモジュラー単位を明示的に構成し、無限個の次数 7 の点の存在を証明している。

4. 決定的なギャップ：$11 \le n \le 15$:

   • 補題 3.3は、本論文の新たな貢献である。これは $n \in \{11, 12, 13, 14, 15\}$ に対して $(2, 2n) \notin \Phi_\infty(7)$ であることを証明する。
   • 著者は、小さな有限体（$\mathbb{F}_3, \mathbb{F}_7$）上で $X_1(2, 2n)$ のゴナリティを計算する。
   • 結果:
     • $n=11, 12$: $\text{gon}_{\mathbb{F}_p} \ge 8$。
     • $n=13, 14$: $\text{gon}_{\mathbb{F}_p} = 12$。
     • $n=15$: $\text{gon}_{\mathbb{F}_7} \ge 8$（カステルヌーヴォ・セヴェリの不等式を通じて検証）。
   • これらの $n$ に対してヤコビアン $J_1(2, 2n)(\mathbb{Q})$ のランクが 0 である（定理 2.3）ため、条件 $\text{gon}_{\mathbb{Q}} X > 7$ が満たされ、これらの群は $\Phi_\infty(7)$ から除外される。

4. 意義

• 完全性: 本論文は、数体上の楕円曲線に対するねじれ群の分類における主要なギャップを埋める。$\Phi_\infty(7)$ の最初の完全な記述を提供する。
• 方法的進展: 本論文は、古典的代数的幾何学（ゴナリティの限界、カステルヌーヴォ・セヴェリ）と現代の計算数論（有限体上のゴナリティに対する Derickx-Terao アルゴリズム）を組み合わせる力を示している。
• 将来の研究への基盤: $\Phi(7)$（無限回現れるものを含むすべての可能なねじれ群の集合）は未だ不明であるが、$\Phi_\infty(7)$ を決定することは完全な集合に取り組むための前提条件である。ここで用いられた手法、特に特定のモジュラー曲線に対するゴナリティの計算的検証は、より高次の体を解析するための先例を確立している。
• 予想の検証: 結果は、ねじれ群の「無限」の挙動が、特定の除外（巡回群については $n=25, 29$、積群については $n \ge 11$）を伴い、次数 7 まで予測可能なパターンで安定することを確認している。これらの除外は、基礎となるモジュラー曲線の幾何学的複雑さ（ゴナリティ）によって引き起こされている。

要約すると、ナジュマンは、セプティック体上で無限回現れるねじれ群は、位数 30 までの巡回群（25 と 29 を除く）と、$n \le 10$ である $(2, 2n)$ の形の積群のみであることを成功裏に決定した。