A Complete classification of the rank of a certain family of elliptic curves

技术摘要：一类特定椭圆曲线秩的完整分类

问题陈述
本文研究了由方程 $E_p: y^2 = x^3 - 6px$ 定义的椭圆曲线族，其中 $p$ 为奇素数。虽然椭圆曲线的秩是算术几何中的一个基本不变量，但针对特定族群明确确定其秩仍然是一个具有挑战性的问题。作者旨在根据素数参数 $p$ 模 24 的剩余类，对 $E_p(\mathbb{Q})$ 的秩进行完整的分类。研究还讨论了 $p=3$ 的特殊情况，即曲线 $E_3: y^2 = x^3 - 18x$。

方法论
主要采用的工具是 2-下降法 (2-descent)，这是一种用于处理具有 2 阶有理点的椭圆曲线的经典技术。作者利用以下框架：

1. 同源与下降同态： 对 $E_p$ 及其 2-同源曲线 $\bar{E}_p: y^2 = x^3 + 24px$ 进行分析。作者定义了下降同态 $\alpha: E_p(\mathbb{Q}) \to \mathbb{Q}^*/(\mathbb{Q}^*)^2$ 以及 $\bar{\alpha}: \bar{E}_p(\mathbb{Q}) \to \mathbb{Q}^*/(\mathbb{Q}^*)^2$。
2. 扭丛分析 (Torsor Analysis)： 通过分析整数上的相关齐次空间（扭丛）的可解性来确定这些同态的像。这些扭丛具有形式为 $N^2 = b_1 M^4 + b_2 e^4$ 的丢番方程，其中 $b_1 b_2$ 对应于曲线的系数。
3. 局部可解性： 作者通过在各种素数（具体为 3, 8, 16 和 24）下对这些扭丛进行模约减，并应用勒让德符号的性质，系统地测试了这些扭丛的可解性。这使得他们能够排除不可能的因子，并确定下降群的精确势 $|\alpha(E_p(\mathbb{Q}))|$ 和 $|\bar{\alpha}(\bar{E}_p(\mathbb{Q}))|$。
4. 秩的计算： 利用公式 $2^r = \frac{1}{4} |\alpha(E_p(\mathbb{Q}))| \cdot |\bar{\alpha}(\bar{E}_p(\mathbb{Q}))|$，其中 $r$ 为秩，作者推导出了秩的上界。
5. 奇偶猜想 (Parity Conjecture)： 为了在上限为 3 时区分奇秩（1 和 3）的情况，作者调用了奇偶猜想。他们首先使用由 Birch 和 Stephens 推导出的局部根数公式计算全局根数 $w(E_p/\mathbb{Q})$，发现对于所有奇素数 $p$，均有 $w(E_p/\mathbb{Q}) = -1$。在假设奇偶猜想成立（或 Tate-Shafarevich 群有限）的前提下，这意味着秩必须为奇数。

主要贡献与结果

• 针对 $p \neq 3$ 的分类：
  • 情况 $p \equiv 1 \pmod{24}$： 秩为 1 或 3。2-下降分析显示上界为 3。假设奇偶猜想成立，则秩为奇数，即 1 或 3。
  • 情况 $p \not\equiv 1 \pmod{24}$： 对于所有其他模 24 的奇素数同余类（$p \equiv 5, 7, 11, 13, 17, 19, 23$），秩恰好为 1。2-下降分析给出的上界为 1，而无穷阶点的存在性（由非平凡下降群暗示）确认了其秩至少为 1。
• 情况 $p = 3$： 作者证明了曲线 $E_3: y^2 = x^3 - 18x$ 的秩为 0。
• 无需奇偶猜想的条件性结果： 本文提供了在不依赖奇偶猜想的情况下，秩恰好为 1 的特定条件：
  • 若 $p \equiv 7 \pmod{24}$ 且 $(p-6)$ 是完全平方数，则秩为 1。
  • 若 $p \equiv 11, 17, 19 \pmod{24}$ 且 $(3p-2)$ 是完全平方数，则秩为 1。

意义
本文声称基于 $p$ 模 24 的剩余类，为 $E_p$ 族提供了完整的分类。结果表明，该族的秩分布呈现出一种受模算术约束控制的极简规律。具体而言，该族表现出一种二分性：除了 $p \equiv 1 \pmod{24}$ 这一可能使秩上升到 3 的同余类外，其秩几乎总是 1。这项工作通过处理特定的系数结构 $6p$ 并利用 2-下降法解决所有奇素数的情况，扩展了以往对 $y^2 = x^3 - Dx$ 类族的研究。研究结果通过 SAGE 进行了计算验证。