2025-11-19T22:07:14.875054

Classification of torsion of elliptic curves over quartic fields

Derickx, Najman
Let $E$ be an elliptic curve over a quartic field $K$. By the Mordell-Weil theorem, $E(K)$ is a finitely generated group. We determine all the possibilities for the torsion group $E(K)_{tor}$ where $K$ ranges over all quartic fields $K$ and $E$ ranges over all elliptic curves over $K$. We show that there are no sporadic torsion groups, or in other words, that all torsion groups either do not appear or they appear for infinitely many non-isomorphic elliptic curves $E$. Proving this requires showing that numerous modular curves $X_1(m,n)$ have no non-cuspidal degree $4$ points. We deal with almost all the curves using one of 3 methods: a method for the rank 0 cases requiring no computation; the Hecke sieve, a local method requiring computer-assisted computations; and the global method, an argument for the positive rank cases also requiring no computation. We deal with the handful of remaining cases using ad hoc methods.
academic

4次体上の楕円曲線の捩れの分類

基本情報

  • 論文ID: 2412.16016
  • タイトル: Classification of torsion of elliptic curves over quartic fields
  • 著者: Maarten Derickx, Filip Najman
  • 分類: math.NT（数論）、math.AG（代数幾何）
  • 発表日時: 2025年2月18日（arXiv v2）
  • 論文リンク: https://arxiv.org/abs/2412.16016

要約

EE を4次体 KK 上の楕円曲線とする。Mordell-Weil定理により、E(K)E(K) は有限生成群である。本論文は、KK がすべての4次体を遍歴し、EE が KK 上のすべての楕円曲線を遍歴するとき、捩れ群 E(K)torsE(K)_{\text{tors}} のすべての可能性を決定する。偶発的な捩れ群が存在しないこと、すなわちすべての捩れ群は出現しないか、無限個の非同型楕円曲線 EE に対して出現するかのいずれかであることを証明する。

研究背景と動機

  1. 中心的問題: 与えられた次数の数体上の楕円曲線のすべての可能な捩れ群構造を決定すること。これは代数的数論における基本的な問題であり、楕円曲線の算術的性質に関わる。
  2. 研究の意義:
    • 楕円曲線の捩れ理論の分類作業を完善する
    • 有理数体に対するMazur、2次体に対するKamienny、および最近の3次体の分類に続く、4次体が次の自然な目標である
    • 高次数体上の楕円曲線の算術的性質の理解に重要な意義を持つ
  3. 既存研究の限界:
    • 従来の方法は形式的埋め込み判定法と計算集約的な方法に大きく依存している
    • より高次数の体に対して、従来の方法は技術的に困難に直面する
    • 捩れの位数がHasse界に近づくとき、形式的埋め込み方法は失効する
  4. 研究動機: 新しい理論的方法を開発し、計算への依存を減らし、より高次数体上の捩れ分類研究の基礎を確立する。

核心的貢献

  1. 完全な分類: 4次体上の楕円曲線のすべての可能な捩れ群を決定し、偶発的な捩れ群が存在しないことを証明する
  2. 方法の革新:
    • ランク0の場合の計算不要な方法を提案（Proposition 5.1）
    • Hecke篩法を開発し、計算補助が必要な局所的方法とする
    • 正のランクの場合の大域的方法を確立し、計算を不要とする
  3. 技術的突破: 形式的埋め込みの使用を回避し、高次数体への適用に適した方法とする
  4. 理論的結果: d=4d=4 が X1(n)X_1(n) 上に次数 dd の偶発点が存在しない最大次数である可能性を証明する

方法の詳細

タスク定義

すべての可能な有限アーベル群 TT を決定する。ただし、4次体 KK と KK 上の楕円曲線 EE が存在して E(K)tors≅TE(K)_{\text{tors}} \cong T を満たすものとする。

主定理

定理1.1: KK がすべての4次数体を遍歴し、EE が KK 上のすべての楕円曲線を遍歴するとき、E(K)torsE(K)_{\text{tors}} として現れる群は正確に以下の通りである：

  • Z/nZ\mathbb{Z}/n\mathbb{Z}、n=1−18,20,21,22,24n = 1-18, 20, 21, 22, 24
  • Z/2Z×Z/2nZ\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2n\mathbb{Z}、n=1−9n = 1-9
  • Z/3Z×Z/3nZ\mathbb{Z}/3\mathbb{Z} \times \mathbb{Z}/3n\mathbb{Z}、n=1−3n = 1-3
  • Z/4Z×Z/4nZ\mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/4n\mathbb{Z}、n=1,2n = 1, 2
  • Z/5Z×Z/5Z\mathbb{Z}/5\mathbb{Z} \times \mathbb{Z}/5\mathbb{Z}
  • Z/6Z×Z/6Z\mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/6\mathbb{Z}

中心的方法

1. ランク0の場合の方法（Proposition 5.1）

rkJ1(m,n)(Q)=0\text{rk}J_1(m,n)(\mathbb{Q}) = 0 の場合：

  • gonality界を利用する
  • 約化理論を通じて可能性を排除する
  • 計算を回避し、純粋な理論的論証を行う

2. Hecke篩法（Proposition 5.4）

  • Hecke作用素の作用を利用してモジュラー曲線上の点を研究する
  • Eichler-Shimura関係式を通じて：Tq,Fq=Frobq+⟨q⟩Fq,∗VerqT_{q,\mathbb{F}_q} = \text{Frob}_q + \langle q \rangle_{\mathbb{F}_q,*}\text{Ver}_q
  • 非尖点に対して篩選を行い、不可能な約化を排除する

3. 大域的方法（Proposition 4.4）

正のランクの場合：

  • Abramovichのgonality下界を利用：gonCXΓ>325215[PSL2(Z):Γ]\text{gon}_\mathbb{C} X_\Gamma > \frac{325}{2^{15}}[\text{PSL}_2(\mathbb{Z}) : \Gamma]
  • P1\mathbb{P}^1 への次数が小さすぎる写像の構成により矛盾を導く
  • CM点の最小次数結果と組み合わせる

技術的革新点

  1. 形式的埋め込みの回避: 従来の方法の主要な限界が克服される
  2. Hecke作用素の新しい応用: Hecke作用素を点の篩選に利用し、モジュラー形式理論のみに限定しない
  3. 統一的枠組み: 3つの方法が相補的に機能し、排除が必要なすべての場合をカバーする
  4. 計算の最適化: 計算需要が大幅に削減される

実験設定

計算環境

  • ハードウェア: Intel Xeon W-2133 CPU @ 3.60GHz、12コア、64GB RAM
  • ソフトウェア: Magma V2.28-3、Ubuntu 18.04.6 LTS
  • 総計算時間: 約6.5 CPUアワー
  • メモリピーク: 約1.5GB RAM

データソース

  • LMFDB: モジュラー形式の解析的ランクデータ
  • 明示的方程式: Andrew Sutherlandが計算した X1(m,n)X_1(m,n) の明示的方程式
  • CM点データ: Clarkらによる CM点の最小次数データ

検証方法

  • すべての計算コードはGitHubでオープンソース化
  • 各計算主張に対応するコードマークが存在
  • 詳細な計算ログを提供

実験結果

主要結果

排除が必要な捩れ群を処理方法別に分類：

方法マーク捩れ群数量
aZ/40Z\mathbb{Z}/40\mathbb{Z}、Z/44Z\mathbb{Z}/44\mathbb{Z}、Z/48Z\mathbb{Z}/48\mathbb{Z}3
b先行研究で既に排除8
cProposition 5.1で処理9
d大域的方法で処理9
eHecke篩法で処理8
f特殊方法で処理3

具体的成果

  1. 計算不要な方法: Z/121Z\mathbb{Z}/121\mathbb{Z} などの高位数の場合を含む18個の群を処理
  2. Hecke篩法: Z/2Z×Z/24Z\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/24\mathbb{Z} などの複雑な場合を成功裏に処理
  3. 計算効率: 先行研究と比較して計算量が大幅に削減

検証結果

排除が必要な40個の捩れ群すべてが成功裏に排除され、4次体上の楕円曲線の捩れ群の完全な分類が完成した。

関連研究

歴史的発展

  1. Mazur（1977年）: 有理数体上の分類
  2. Kamienny（1992年）: 2次体上の分類
  3. Derickx他（2021年）: 3次体上の分類
  4. 本研究: 4次体上の分類

技術的比較

  • 従来の方法: 形式的埋め込みと計算を大量に使用
  • 本論文の方法: より理論的で、計算需要が少ない
  • 適用性: 本論文の方法は高次数体への推広に適している

結論と議論

主要な結論

  1. 4次体上の楕円曲線のすべての可能な捩れ群を完全に決定した
  2. 偶発的な捩れ群が存在しないことを証明した
  3. 高次数体研究に適用可能な新しい方法を開発した

限界

  1. 少数の場合は依然として特殊な処理が必要
  2. 一部の方法は依然として計算補助が必要
  3. より高次数体への推広にはさらなる研究が必要

今後の方向性

  1. 5次体の分類: 候補群の半分以上の排除が既に示されている
  2. 一般的理論: 任意の次数体に適用可能な統一理論の発展
  3. アルゴリズムの最適化: 計算需要のさらなる削減

深い評価

利点

  1. 理論的貢献が重大: 4次体上の楕円曲線の捩れ群の完全な分類を完成させた
  2. 方法の革新: 形式的埋め込みを回避し、高次数体に適用可能な方法を開発した
  3. 計算効率: 計算需要が大幅に削減された
  4. 厳密性: 完全な証明と検証可能な計算を提供した
  5. 開放性: すべてのコードとデータが公開で入手可能

不足

  1. 複雑性: 複数の方法の組み合わせが必要で、統一的な処理枠組みが欠ける
  2. 計算への依存: 削減されたが、依然として一定の計算検証が必要
  3. 推広性: より高次数体への推広は依然として課題に直面している

影響力

  1. 学術的価値: 楕円曲線の算術理論に重要な貢献をした
  2. 方法論的意義: 高次数体研究のための新しい技術的道筋を提供した
  3. 実用的価値: 暗号学と符号理論に理論的基礎を提供した

適用場面

  1. 楕円曲線暗号学におけるパラメータ選択
  2. 代数的数論における理論研究
  3. 計算数論におけるアルゴリズム設計

参考文献

  1. B. Mazur, "Modular curves and the Eisenstein ideal", Inst. Hautes Études Sci. Publ. Math., 1977
  2. S. Kamienny, "Torsion points on elliptic curves and q-coefficients of modular forms", Invent. Math., 1992
  3. M. Derickx et al., "Sporadic cubic torsion", Algebra Number Theory, 2021
  4. D. Abramovich, "A linear lower bound on the gonality of modular curves", Internat. Math. Res. Notices, 1996

本論文は楕円曲線の算術理論において重要な貢献をしており、4次体上の完全な分類を完成させただけでなく、より高次数体の研究に適用可能な新しい方法を開発することで、この分野のさらなる発展のための堅実な基礎を確立している。