Linear quadratic Chabauty

技术摘要：线性二次 Chabauty 法

问题陈述
本文研究了计算超椭圆曲线 $X: y^2 = f(x)$ 上的整点 $U(\mathbb{Z})$（或数域上的 $U(\mathcal{O}_K)$）的问题。具体而言，它针对的是次数为偶数 $2g+2$ 且 $f$ 的首项系数为完全平方数的曲线。作者在标准的 Chabauty 条件下进行研究，即 Jacobian 簇 $J$ 的 Mordell–Weil 秩 $r$ 等于亏格 $g$（或在数域上满足广义界限）。

现有的整点计算方法，例如由 Balakrishnan, Besser, 和 Müller 开发的二次 Chabauty 方法 [BBM16, BBM17]，依赖于构造一个非平凡的局部解析函数 $\rho$，其在整点上的取值落在有限且可计算的集合中。然而，这些现有方法在技术上非常复杂，需要利用 $p$-adic Arakelov 理论、具有共同支撑集的局部高度的扩展、双 Coleman 积分以及带有切向基点的积分等工具。此外，双 Coleman 积分的计算被认为是速度上的主要瓶颈。

方法论
作者引入了一种“线性二次 Chabauty”方法，通过利用具有平方首项系数的偶数次数曲线的特定几何性质，简化了函数 $\rho$ 的构造过程。

1. 几何设置： 由于 $f$ 的首项系数是一个平方数，因此存在一个由两个无穷远点 $\infty^-$ 和 $\infty^+$ 支撑的非平凡 $\mathbb{Q}$-有理 0 度除子。
2. 高度的线性化： 该方法利用全局 $p$-adic 高度配对 $h$ (Coleman–Gross)。作者观察到，Jacobian 上的线性泛函 $\lambda(a) = h(\infty^- - \infty^+, a)$ 可以表示为全纯微分 $\omega_i = x^i dx/y$ 的 Coleman 积分的线性组合。这是因为当 $r=g$ 时，线性映射空间 $J(\mathbb{Q}) \otimes \mathbb{Q}_p \to \mathbb{Q}_p$ 由这些积分生成。
3. $\rho$ 的构造： 不同于使用双积分，作者定义了函数 $\rho: U(\mathbb{Z}_p) \to \mathbb{Q}_p$ 为：
   $$\rho(P) = \sum_{i=0}^{g-1} \alpha_i \int_Q^P \omega_i - h_p(\infty^- - \infty^+, P - Q)$$
   其中 $Q$ 是一个已知的整点，$\alpha_i$ 是由高度的线性关系确定的系数，$h_p$ 是在 $p$ 处的局部高度。
4. 对整点的限制： 对于整点 $P$，全局高度关系意味着：
   $$\rho(P) = \sum_{q \neq p} h_q(\infty^- - \infty^+, P - Q)$$
   作者分析了对于 $q \neq p$ 的局部高度 $h_q$。他们证明了对于良素数（good primes），这些高度为零；而对于坏素数（bad primes），它们取值于由曲线正则模型上的相交理论导出的有限且可计算的集合 $T_q$ 中。因此，$\rho(P)$ 被限制在一个有限集 $T = \sum T_q$ 内。
5. 向数域的推广： 该方法被推广到次数为 $d$ 的数域 $K$。通过使用多个独立的连续 idèle 类特征 $\chi$，作者生成了 $d - r_K$ 个额外的方程（其中 $r_K$ 是单位群的秩）。结合来自限制标量（restriction of scalars）的 $r_K$ 个方程，这产生了一个包含 $d$ 个方程的系统，在条件 $\text{rk}(J/K) \leq dg - r_K$ 下足以确定整点。

核心贡献

• 简化： 该方法消除了对双 Coleman 积分、切向基点和 $p$-adic Arakelov 理论的需求。它仅依赖于单 Coleman 积分和标准的局部高度计算。
• 高效性： 通过避免使用双积分，该方法比之前的二次 Chabauty 实现要快得多。
• 新的适用性： 它为具有平方首项系数的偶数次数超椭圆曲线提供了一种实用的算法，而在这些情况下，之前的方法要么不适用，要么需要更复杂的工具。
• 数域扩展： 论文通过结合来自限制标量的线性关系和与 idèle 类特征相关的 $p$-adic 高度，实现了计算 $\mathcal{O}_K$-整点的推广。

结果与示例
作者提供了显式的实现和示例：

• 在 $\mathbb{Q}$ 上： 他们计算了亏格为 2 的曲线 $y^2 = x^6 + 2x^5 - 7x^4 - 18x^3 + 2x^2 + 20x + 9$ 上的整点。该方法成功分离出了整点，并证明了该集合是完备的。
• 在 $\mathbb{Q}(\sqrt{7})$ 上： 他们确定了定义在实二次域 $K = \mathbb{Q}(\sqrt{7})$ 上的亏格为 2 的曲线的 $\mathcal{O}_K$-整点。这个例子涉及一个秩为 3 的 Jacobian，并且需要将新的线性二次 Chabauty 方法与 Mordell–Weil 筛法相结合。作者指出，目前没有其他已知方法能处理这个特定的例子。

意义与主张
论文声称，这种方法比所有现有的二次 Chabauty 版本都“显著更简单且更快”。其主要意义在于降低了技术开销：通过将 $p$-adic 高度限制为通过无穷远点除子的线性函数，作者绕过了先前框架中最具计算成本和理论复杂性的部分。

作者对研究范围保持谦逊，承认了以下几点：

• 该方法要求 $f$ 的首项系数必须是平方数（或负平方数）。
• 对于非平方首项系数的情况，扩展该方法仍需使用本文旨在避免的更复杂的工具（如双积分、Arakelov 理论）。
• 在没有 Mordell–Weil 筛法辅助的情况下，所得的点集可能并不总是有限的，或者不一定等于整点集。
• 目前该方法局限于在数域情况下完全分裂的素数，尽管理论结果在更广泛的情况下仍然成立。

这项工作被呈现为针对一类特定但重要的曲线所做的实用性改进，为在 Chabauty–Coleman 方法背景下计算整点提供了一个更易于获取且更高效的工具。