Existence and non-existence of rational elliptic curves with prescribed torsion subgroups over quadratic fields

这是一篇关于数论中椭圆曲线有理点挠（torsion）分类问题的学术论文。以下是对该论文的详细技术总结：

1. 研究问题 (The Problem)

论文的核心问题是研究定义在有理数域 $\mathbb{Q}$ 上的椭圆曲线 $E/\mathbb{Q}$，在特定二次域 $K$（特别是 $K = \mathbb{Q}(\sqrt{-p})$）或更广泛的代数扩张（如分圆域、$\mathbb{Z}_p$-扩张的复合域）上的挠子群结构。

具体而言，作者关注的是：

• 对于给定的素数 $p$，是否存在定义在 $\mathbb{Q}$ 上的椭圆曲线，使其在二次域 $K = \mathbb{Q}(\sqrt{-p})$ 上的挠子群呈现出特定的形式，如 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$ 或 $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$？
• 在哪些素数条件下，这些挠结构是不存在的？
• 在哪些条件下，存在无穷多个具有此类挠结构的椭圆曲线？
• 如何对更复杂的代数扩张（如 Kummer 扩张和 $\mathbb{Z}_p$-扩张）进行挠子群的分类？

2. 研究方法 (Methodology)

作者结合了算术几何的多种高级工具：

• 模曲线与二次点 (Modular Curves and Quadratic Points)： 利用模曲线 $X_1(2, 10)$ 和 $X_1(2, 12)$ 的几何性质。由于这两条模曲线都是亏格为 1 的椭圆曲线，作者通过研究它们的二次扭转 (Quadratic Twists) 的秩（Rank）来确定是否存在二次点。
• 2-下降法 (2-descent Method)： 这是论文的技术核心。通过对模曲线的二次扭转进行 2-下降计算，作者能够确定这些曲线在 $\mathbb{Q}$ 上的秩。如果秩为 0，则不存在满足条件的椭圆曲线；如果秩大于 0，则存在无穷多个。
• 奇偶猜想 (Parity Conjecture)： 在处理“存在无穷多个”这一结论时，作者利用了奇偶猜想（基于 Tate-Shafarevich 群的有限性假设）。通过计算 $L$-函数的根数（Root Number），在猜想条件下推导出代数秩为奇数，从而证明秩至少为 1。
• 伽罗瓦表示与分类理论 (Galois Representations)： 利用 Serre 关于 $\text{GL}_2(\mathbb{Z}/p\mathbb{Z})$ 最大子群的分类，以及关于 $n$-同源（$n$-isogeny）的已知结果，通过排除法限制了可能出现的挠结构。

3. 主要贡献与结果 (Key Contributions and Results)

A. 关于二次域的非存在性与存在性定理

• 非存在性 (Non-existence)：
  • 定理 1.2 & 1.3： 证明了若 $p \equiv 3, 7 \pmod{20}$，则不存在 $E/\mathbb{Q}$ 使得 $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/10\mathbb{Z}$。
  • 定理 1.3 & 1.4： 证明了若 $p \equiv 11 \pmod{24}$，则不存在 $E/\mathbb{Q}$ 使得 $E(\mathbb{Q}(\sqrt{-p}))_{\text{tors}} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/12\mathbb{Z}$。
  • 推论 1.4： 给出了一族素数，其分圆域 $\mathbb{Q}(\zeta_p)$ 上的挠结构完全被 Mazur 定理所涵盖。
• 存在性 (Existence - 条件性证明)：
  • 猜想 1.5 & 1.6 的证明： 在奇偶猜想成立的前提下，证明了对于某些素数族（如 $p \equiv 11, 19 \pmod{20}$），存在无穷多个满足特定挠结构的椭圆曲线。

B. 对更广阔代数扩张的分类

• Kummer 扩张 (Kummer Extensions)： 论文通过排除法，对 Kummer 扩张 $\mathbb{Q}(\mu_{p^\infty}, d^{1/p^\infty})$ 上的挠子群进行了精细化的分类（定理 5.1, 5.2）。
• $\mathbb{Z}_p$-扩张的复合域 (Composites of $\mathbb{Z}_p$-extensions)：
  • 定理 5.4 & 5.5： 证明了对于素数 $p > 5$，在 $\mathbb{Z}_p$-扩张的复合域 $K_{\mathbb{Z}_p}$ 上，奇数阶的挠点通常已经定义在基域 $K$ 上了。这意味着在这些无限扩张中，挠子群的结构往往保持不变。

4. 学术意义 (Significance)

1. 完善了挠分类理论： 填补了从 Mazur 定理（针对 $\mathbb{Q}$）到二次域及更高阶扩张之间分类工作的空白。
2. 提供了显式的判别准则： 通过模数（mod 20, mod 24 等）给出了素数 $p$ 的具体分类，这在计算数论中具有很强的实用价值。
3. 连接了局部与全局： 论文展示了如何通过研究模曲线的局部性质（如二次扭转的秩）来解决全局性的代数问题（挠子群的存在性）。
4. 方法论的推广： 作者提出的处理无限扩张（如 $\mathbb{Z}_p$-扩张）的方法，为研究数域上椭圆曲线的算术性质提供了新的范式。