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

以下是 Filip Najman 所著论文《在七次域上无限次出现的椭圆曲线挠群》的详细技术总结。

1. 问题陈述

本文解决了椭圆曲线算术中的一个基本问题：确定定义在特定次数的数域上的椭圆曲线可能的挠子群集合。

• 背景：根据 Mordell-Weil 定理，定义在数域 $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}$ 上）非同构椭圆曲线的群组成。
• 缺口：虽然 $\Phi_\infty(d)$ 对于 $d \le 6$ 的情况已知（由 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)$ 仅当 $\mathbb{Q}(\zeta_n) \subset K$ 时才包含 $(n, n)$，且 $[\mathbb{Q}(\zeta_n):\mathbb{Q}] = \phi(n)$，因此对于 7 次域，$m$ 必须为 1 或 2。因此，搜索范围仅限于循环群 $(1, n)$ 和形式为 $(2, 2n)$ 的群。
2. 双有理度（Gonality）与密度次数：
   • 本文利用了双有理度（$\text{gon}_K X$）的概念，即从定义在 $K$ 上的曲线 $X$ 到 $\mathbb{P}^1$ 的映射的最小次数。
   • 命题 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}$ 上的双有理度。

• 下界：作者利用不等式 $\text{gon}_{\mathbb{Q}} X \ge \text{gon}_{\mathbb{F}_p} X$，其中 $p$ 为具有良好约化的素数。
• 技术：
  • Abramovich 界限：用于通过同余子群的指数计算，为大 $n$（$n \ge 16$）确立高双有理度。
  • Derickx-Terao [DT26] 算法：利用计算有限域上曲线类群和双有理度的新技术，计算特定情况（$11 \le n \le 15$）的精确或下界双有理度。
  • Castelnuovo-Severi 不等式：专门应用于 $n=15$ 的情况，通过分析 $X_1(2, 30)$ 与 $X_1(30)$ 之间映射的几何性质，避免繁重的计算。

3. 主要贡献与结果

主要结果是定理 1.1，它完全刻画了 $\Phi_\infty(7)$：
$$\Phi_\infty(7) = \{(1, n) : 1 \le n \le 30, n \notin \{25, 29\}\} \cup \{(2, 2n) : 1 \le n \le 10\}$$

证明被分解为三个引理，分别解决 $n$ 的不同范围：

1. 循环群 $(1, n)$：

   • 依据定理 2.2（来自 Derickx-Van Hoeij），作者指出循环群 $(1, n)$ 属于 $\Phi_\infty(7)$ 当且仅当 $1 \le n \le 30$ 且 $n \neq 25, 29$。这一部分的结果此前已确立。

2. $n \ge 16$ 的积群 $(2, 2n)$：

   • 引理 3.1 证明，对于 $n \ge 16$，模曲线 $X_1(2, 2n)$ 在 $\mathbb{Q}$ 上的双有理度严格大于 7。
   • 这是通过结合 Abramovich 关于双有理度的下界与同余子群 $\Gamma_1(2, 2n)$ 的指数来实现的。由于 $\text{gon}_{\mathbb{Q}} X > 7$，这些群不可能在 7 次数域上无限次出现。

3. $n \le 10$ 的积群 $(2, 2n)$：

   • 引理 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)$。
   • 作者计算了 $X_1(2, 2n)$ 在小有限域（$\mathbb{F}_3, \mathbb{F}_7$）上的双有理度。
   • 结果：
     • $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$（通过 Castelnuovo-Severi 不等式验证）。
   • 由于对于这些 $n$，雅可比簇 $J_1(2, 2n)(\mathbb{Q})$ 的秩为 0（定理 2.3），条件 $\text{gon}_{\mathbb{Q}} X > 7$ 成立，从而将这些群排除在 $\Phi_\infty(7)$ 之外。

4. 意义

• 完整性：本文填补了数域上椭圆曲线挠群分类中的一个主要缺口。它提供了 $\Phi_\infty(7)$ 的第一个完整描述。
• 方法论进步：本文展示了将经典代数几何（双有理度界限、Castelnuovo-Severi）与现代计算数论（Derickx-Terao 有限域双有理度算法）相结合的力量。
• 未来工作的基础：虽然 $\Phi(7)$（所有可能的挠群集合，包括那些有限次出现的）仍然未知，但确定 $\Phi_\infty(7)$ 是解决完整集合的前提。此处使用的方法，特别是对特定模曲线双有理度的计算验证，为分析更高次数域树立了先例。
• 猜想的验证：结果证实，挠群的“无限”行为在直到 7 次时稳定在可预测的模式中，具体的排除项（如循环群的 $n=25, 29$ 和积群的 $n \ge 11$）是由底层模曲线的几何复杂性（双有理度）驱动的。

总之，Najman 成功确定，在七次域上，无限次出现的挠群仅为阶数至多 30 的循环群（排除 25 和 29）以及形式为 $(2, 2n)$ 且 $n \le 10$ 的积群。