2-descent for Bloch--Kato Selmer groups and rational points on hyperelliptic curves I

这是一份关于 Netan Dogra 论文《2-DESCENT FOR BLOCH–KATO SELMER GROUPS AND RATIONAL POINTS ON HYPERELLIPTIC CURVES I》（双曲椭圆曲线上的 Bloch-Kato Selmer 群与有理点：2-下降法）的详细技术总结。

1. 研究背景与问题 (Problem)

• 核心问题：确定超椭圆曲线 $X$ 上的有理点集 $X(\mathbb{Q})$。
• 现有方法的局限性：
  • Baker 方法：对于整点有效，但对有理点的有效计算仍是一个开放问题，且受限于高度界限。
  • Chabauty-Coleman 方法：适用于 Mordell-Weil 秩 $r$ 小于曲线亏格 $g$ 的情况（即 $r < g$）。当 $r \ge g$ 时，该方法失效。
  • 二次 Chabauty (Quadratic Chabauty)：虽然扩展了适用范围，但在某些情况下（如 $r$ 较大或特定代数结构下）仍不足以确定所有有理点。
• 具体案例：文章针对 Bugeaud, Mignotte, Siksek, Stoll 和 Tengely (BMSST) 提出的一个具体 genus 2 曲线 $X: y^2 - y = x^5 - x$。该曲线的 Jacobian 的 Mordell-Weil 秩为 3，且自同态代数仅为 $\mathbb{Z}$。由于 $r=3 > g=2$，传统的 Chabauty-Coleman 方法和标准的二次 Chabauty 方法均无法直接应用。
• 目标：开发一种新的计算方法，能够处理 Mordell-Weil 秩超出传统 Chabauty 范围的超椭圆曲线，通过计算 $X(\mathbb{Q}_2)_2$（基于 2-adic 的 Chabauty-Coleman-Kim 集合）的有限性来确定有理点。

2. 方法论 (Methodology)

本文引入并显式化了Bloch-Kato Selmer 群的 2-下降法（2-descent），结合了非阿贝尔 Galois 上同调和 Kim 的 Chabauty-Coleman-Kim 方法。

2.1 理论框架：Bloch-Kato Selmer 群

• 不同于传统的 2-Selmer 群（用于逼近 Mordell-Weil 群），本文关注与 Jacobian 的 2-adic 第二 étale 上同调的 Tate 扭曲相关的 Bloch-Kato Selmer 群 $H^1_f(\mathbb{Q}, \wedge^2 V_2 J)$。
• 根据 Bloch-Kato 猜想，该群的维数应由几何不变量（如复共轭作用和 Hodge 滤过）决定。
• 核心策略：通过计算 $H^1_f(\mathbb{Q}, \wedge^2 J[2])$ 的维数上界，结合局部条件，来限制全局 Selmer 群的维数，从而满足 Kim 方法中关于 $X(\mathbb{Q}_2)_n$ 有限性的条件。

2.2 关键工具：非阿贝尔 $(x-T)$ 映射

• 非阿贝尔 Kummer 映射：利用超椭圆曲线的 étale 基本群 $\pi_1^{et}$ 的商群（特别是 $\Gamma$，它是 $T_2(J)$ 和 $\wedge^2 T_2(J)$ 的中心扩张）来构造上同调类。
• 显式公式 (Theorem 2 & Proposition 2)：
  • 文章给出了 $H^1(K, \wedge^2 J[2])$ 的显式域论描述，将其同构于某个 étale 代数 $K_f^{(2)}$ 中单位模平方的核。
  • 对于非 Weierstrass 点 $b, z$，如果 $[z]-[b]$ 在 $4 \cdot \text{Jac}(X)(K)$ 中，则存在一个显式公式将非阿贝尔 Kummer 类 $\kappa_{\Gamma, b}(z)$ 提升为 $H^1(K, \wedge^2 J[2])$ 中的元素。
  • 公式涉及代数 $K_f^{(2)} = K[s, t]/(f(s), f(t))$ 中的元素，具体形式为 $2(1 + \frac{c_\alpha u_\alpha - c_\beta u_\beta}{\beta - \alpha})$，其中 $u_\alpha$ 是特定比值的平方根。

2.3 局部分析：2-adic 情形 (Local Aspects at 2)

• 晶格提升 (Crystalline Lifts)：为了确定 $H^1_f(\mathbb{Q}_2, \wedge^2 J[2])$ 的子空间，文章研究了从 $X(\mathbb{Z}_2)$ 点构造的混合扩张（mixed extensions）。
• 引理 24：提供了一个可计算的判据。如果 $X(\mathbb{Z}_2)$ 的点在对称平方空间中的像能够张成特定的子空间，那么由这些点构造的上同调类就是“晶格”的（crystalline），即属于 Bloch-Kato Selmer 群。这使得可以通过数值计算 $X(\mathbb{Z}_2)$ 的点来验证局部条件。

2.4 Chabauty-Coleman-Kim 方法的应用

• 利用 Kim 的理论，定义集合 $X(\mathbb{Q}_p)_n$。当 $n=2$ 时，如果 $\dim H^1_f(\mathbb{Q}, \wedge^2 V) < \dim H^1_f(\mathbb{Q}_p, \wedge^2 V) - \text{rk } J(\mathbb{Q})$，则 $X(\mathbb{Q}_p)_2$ 是有限的。
• 文章通过计算全局 Selmer 群的维数上界和局部维数，验证了该不等式成立，从而证明了 $X(\mathbb{Q}_2)_2$ 的有限性。

3. 主要贡献 (Key Contributions)

1. 显式 2-下降法：首次为超椭圆曲线的 Bloch-Kato Selmer 群（具体为 $\wedge^2 J[2]$）建立了显式的 2-下降理论。这扩展了经典的 Schaefer 2-下降法（针对 $J[2]$）到非阿贝尔情形。
2. 非阿贝尔 $(x-T)$ 映射公式：推导并证明了关于 $H^1(K, \wedge^2 J[2])$ 的显式公式（Theorem 2），将抽象的上同调类与曲线上的点坐标及 étale 代数中的单位联系起来。
3. 解决 BMSST 问题：成功应用上述方法解决了 Bugeaud 等人提出的关于曲线 $y^2 - y = x^5 - x$ 的有理点问题。该曲线此前因秩过高而无法用标准方法处理。
4. 混合扩张与晶格条件：在 2-adic 局部情形下，利用混合扩张（mixed extensions）和 Ceresa 循环的性质，建立了从几何点构造晶格上同调类的具体判据（Lemma 24），解决了 $p=2$ 时通常难以处理的局部条件问题。

4. 主要结果 (Results)

• 定理 1 (Theorem 1)：完全确定了曲线 $X: y^2 - y = x^5 - x$ 上的所有有理点 $X(\mathbb{Q})$。
  • 结果集合包含 17 个点（包括无穷远点），例如 $(0,0), (0,1), (1,0), (1,1), (2,6), (2,-5), (3,16), (3,-15), (30, \pm 4929/4930 \dots)$ 等。
• 有限性证明：证明了 $X(\mathbb{Q}_2)_2$ 是有限集。
  • 通过计算，$\dim H^1_f(\mathbb{Q}, \wedge^2 J[2]) \le 3$（实际上等于 3），而局部维数条件满足 Kim 的有限性判据。
• 计算验证：
  • 利用 Magma 软件计算了相关数域的单位群和类群。
  • 验证了 $X(\mathbb{Z}_2)$ 的点生成的子空间满足 Lemma 24 的条件，从而确认了局部 Selmer 群的结构。
  • 结合 Mordell-Weil 筛法（Mordell-Weil Sieve），排除了 $X(\mathbb{Q}_2)_2$ 中可能存在的“假有理点”（fake rational points），最终确认了 $X(\mathbb{Q})$ 的完整列表。

5. 意义与影响 (Significance)

• 突破秩的限制：本文展示了一种处理 Mordell-Weil 秩 $r \ge g$ 的超椭圆曲线有理点问题的新途径。通过利用 Bloch-Kato Selmer 群（涉及 $\wedge^2 V$），该方法绕过了传统 Chabauty 方法对 $r < g$ 的依赖。
• 计算数论的新工具：将非阿贝尔 Galois 上同调（Kim 方法）与经典的 2-下降法（Schaefer/Stoll 方法）显式结合，为计算高秩曲线上的有理点提供了可操作的算法框架。
• 解决长期开放问题：直接解决了 BMSST 论文中提出的关于 $y^2 - y = x^5 - x$ 有理点的具体问题，展示了该方法在实际计算中的有效性。
• 推广潜力：文章提到，后续工作（Berry [Ber25]）正在将这些结果推广到更高亏格和偶数次超椭圆曲线（无有理 Weierstrass 点）的情形，表明该理论具有广泛的适用性。

总结：Netan Dogra 的这篇论文通过引入显式的非阿贝尔 2-下降法，成功地将 Chabauty-Coleman-Kim 方法的应用范围扩展到了 Mordell-Weil 秩较高的超椭圆曲线，并成功计算出了特定高秩曲线的全部有理点，是算术几何和计算数论领域的一项重要进展。