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

Classification of torsion of elliptic curves over quartic fields

基本信息

  • 论文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 是四次域 KK 上的椭圆曲线。根据 Mordell-Weil 定理，E(K)E(K) 是有限生成群。本文确定了当 KK 遍历所有四次域、EE 遍历 KK 上所有椭圆曲线时，扭转群 E(K)torsE(K)_{tors} 的所有可能性。证明了不存在偶发扭转群，即所有扭转群要么不出现，要么对无穷多个非同构椭圆曲线 EE 出现。

研究背景与动机

  1. 核心问题: 确定椭圆曲线在给定次数数域上的所有可能扭转群结构。这是代数数论中的一个基本问题，涉及椭圆曲线的算术性质。
  2. 研究意义:
    • 完善了椭圆曲线扭转理论的分类工作
    • 继 Mazur 对有理数域、Kamienny 对二次域、以及最近对三次域的分类之后，四次域是下一个自然目标
    • 对理解高次数域上椭圆曲线的算术性质具有重要意义
  3. 现有工作局限性:
    • 之前的方法大量依赖形式浸入准则和计算密集的方法
    • 对于更高次数域，传统方法在技术上遇到困难
    • 当扭转阶数接近 Hasse 界限时，形式浸入方法失效
  4. 研究动机: 开发新的理论方法，减少对计算的依赖，为研究更高次数域上的扭转分类奠定基础。

核心贡献

  1. 完整分类: 确定了四次域上椭圆曲线的所有可能扭转群，证明了不存在偶发扭转群
  2. 方法创新:
    • 提出了秩 0 情况的无计算方法 (Proposition 5.1)
    • 开发了 Hecke 筛法，一种需要计算辅助的局部方法
    • 建立了正秩情况的全局方法，无需计算
  3. 技术突破: 避免使用形式浸入，使方法更适用于高次数域
  4. 理论结果: 证明了 d=4d=4 可能是 X1(n)X_1(n) 上不存在次数 dd 偶发点的最大次数

方法详解

任务定义

确定所有可能的有限阿贝尔群 TT，使得存在四次域 KK 和椭圆曲线 E/KE/K 满足 E(K)tors≅TE(K)_{tors} \cong T。

主要定理

定理 1.1: 当 KK 遍历所有四次数域，EE 遍历 KK 上所有椭圆曲线时，作为 E(K)torsE(K)_{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. 统一框架: 三种方法互补，覆盖所有需要排除的情况
  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. 无计算方法: 处理了 18 个群，包括 Z/121Z\mathbb{Z}/121\mathbb{Z} 等高阶情况
  2. Hecke 筛法: 成功处理了 Z/2Z×Z/24Z\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/24\mathbb{Z} 等复杂情况
  3. 计算效率: 相比先前工作，计算量大幅减少

验证结果

所有 40 个需要排除的扭转群都被成功排除，完成了四次域上椭圆曲线扭转群的完整分类。

相关工作

历史发展

  1. Mazur (1977): 有理数域上的分类
  2. Kamienny (1992): 二次域上的分类
  3. Derickx 等 (2021): 三次域上的分类
  4. 本工作: 四次域上的分类

技术比较

  • 传统方法: 大量使用形式浸入和计算
  • 本文方法: 理论性更强，计算需求更少
  • 适用性: 本文方法更适合推广到高次数域

结论与讨论

主要结论

  1. 完整确定了四次域上椭圆曲线的所有可能扭转群
  2. 证明了不存在偶发扭转群
  3. 开发了适用于高次数域的新方法

局限性

  1. 仍有少数情况需要特殊处理
  2. 部分方法仍需计算辅助
  3. 对更高次数域的推广仍需进一步研究

未来方向

  1. 五次域分类: 已展示可排除超过一半的候选群
  2. 一般性理论: 发展适用于任意次数域的统一理论
  3. 算法优化: 进一步减少计算需求

深度评价

优点

  1. 理论贡献重大: 完成了四次域上椭圆曲线扭转群的完整分类
  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

这篇论文在椭圆曲线算术理论方面做出了重要贡献，不仅完成了四次域上的完整分类，更重要的是开发了适用于更高次数域研究的新方法，为该领域的进一步发展奠定了坚实基础。