🔢 mathematics

Computing p-adic heights on hyperelliptic curves

本文提出了一种用于计算奇数阶和偶数阶超椭圆曲线局部 Coleman-Gross p-阶高度的显著更快且更简单的算法，为二次 Chabauty 方法以及 p-阶 Birch 和 Swinnerton-Dyer 猜想验证中的新应用提供了可能。

原作者： Stevan Gajović, J. Steffen Müller

发布于 2026-06-24

📖 1 分钟阅读🧠 深度阅读

原作者： Stevan Gajović, J. Steffen Müller

原始论文采用 CC BY 4.0 许可（http://creativecommons.org/licenses/by/4.0/）。 ✨ 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。阅读完整免责声明

想象一下，你正在试图解开一个涉及数字与形状（称为“曲线”）的宏大而古老的谜题。数学家们有一个特殊的工具来帮助他们计算这些谜题中隐藏的解：这被称为 p-adic 高度 (p-adic height)。你可以把这种“高度”想象成不仅仅是测量建筑有多高，而是一个非常特定且复杂的评分，它告诉你在一个奇特的、不可见的数字系统中，两个点之间到底有多“远”。

长期以来，一直有一个用于计算这个评分的规则手册（算法），但它有一个重大缺陷：它只适用于你的谜题碎片（曲线）形状像是一个只有一个顶峰的山丘（“奇数阶”模型）。如果你的曲线形状像是一个有两个顶峰的山谷（“偶数阶”模型），旧的规则手册就完全失效了。

重大突破
Stevan Gajović 和 J. Steffen Müller 编写了一本全新的、更快速且更简单的规则手册。他们的新方法可以计算包括单顶峰和双顶峰曲线在内的所有“高度”。

他们是如何做到的，这里使用了创意性的比喻：

1. 穿过“无穷”的捷径

旧的方法就像是在为了从一点到达另一点而必须穿过一片浓雾弥漫的森林。它需要采取许多微小且复杂的步骤，并在难以到达的局部邻域内进行繁重的计算。

新方法则像是发现了一条秘密隧道。作者们意识到，对于双顶峰曲线，存在一个特殊的“无穷远处的除子”（可以将其想象为连接两个顶峰的一座神奇桥梁）。他们证明了，与其走完整个森林路径，不如将问题简化为计算一种已经被充分理解的特定类型的积分（一种数学求和）。这就像是意识到你不需要测量旅途中的每一步；你只需要测量两个特定地标之间的距离，并使用已知公式即可得出其余部分。

2. 为什么速度很重要

论文强调了他们的新算法显著提高了速度。

旧的方法： 在一个测试案例中，计算单个评分大约需要 40 分钟。
新的方法： 同样的计算仅用了 47 秒。

想象一下你在解一个数独谜题。旧的方法就像是用手解，一个一个地检查每个数字。新方法则像是拥有一个超级快速的计算机，能够瞬间识别出模式并填满网格。

3. 你能用它做什么？

作者解释了这种“超高速”工具帮助数学家的三个主要途径：

寻找有理点（“二次查布蒂”法/Quadratic Chabauty Method）：
数学家经常想要找到这些曲线方程的所有“有理”解（由简单分数组成的解）。旧的方法很慢，有时还会卡住。新工具加速了寻找这些解的过程，使研究人员能够解决以前由于过于困难或耗时而无法解决的谜题。他们甚至在不到一分钟内解决了一个特定的谜题（与曲线 $X^+_0(107)$ 相关），而这个谜题以前需要 40 分钟。
寻找整数点：
这与寻找有理点类似，但是寻找整数解。作者开发了一种针对双顶峰曲线寻找“整数点”的新型、更简单的方法，而这在以前是非常困难的。
测试“BSD 猜想”：
数学界有一个著名的未解之谜，叫做 Birch 和 Swinnerton-Dyer (BSD) 猜想。它就像是一个宏大的理论，试图将曲线的形状与其拥有的解的数量联系起来。作者利用他们的新工具，为以前无法测试的曲线测试了这个理论。他们成功地在素数（11）下验证了该理论对于特定曲线（ $X^+_0(67)$ ）的适用性，而在旧工具中，由于曲线不符合“单顶峰”形状，测试会失败。

核心总结

这篇论文并不是关于建造桥梁或治愈疾病；它是关于为一种非常特定类型的数字谜题提供一个更好、更快的计算器。通过消除曲线必须是“单顶峰”的限制，他们为解决许多以前被复杂性和缓慢计算所阻挡的数学奥秘打开了大门。他们甚至免费公开了他们的代码，以便其他数学家可以使用这个新的、更快的引擎。

技术摘要：计算超椭圆曲线的 $p$ -阶高度

问题陈述
本文解决了计算定义在 $\mathbb{Q}$ 上的超椭圆曲线 $X: y^2 = f(x)$ 的雅可比簇 $J$ 上的局部 Coleman–Gross $p$ -阶高度配对 $h_p$ 的计算挑战。其中 $p$ 是良还原素。虽然全局 $p$ -阶高度是局部贡献之和，且对于 $v \neq p$ 的素数，局部高度可以通过算术曲面的交集理论来计算，但 $p$ 处的局部高度 $h_p$ 则需要 $p$ -进分析（Coleman 积分）。

此前，用于计算 $h_p$ 的唯一可用算法是 Balakrishnan 和 Besser [BB12]。该方法受限于必须拥有在 $\mathbb{Q}_p$ 上为奇数次模型的曲线。因此，它无法直接应用于具有偶数次模型的超椭圆曲线，从而限制了诸如求解整点问题的二次 Chabauty 法以及对这些曲线进行 $p$ -进 Birch 和 Swinnerton–Dyer (BSD) 猜想数值验证的应用范围。

方法论
作者提出了一种新的算法来计算 $h_p$ ，该算法既适用于奇数次模型也适用于偶数次模型，但特别针对偶数次情况进行了优化。其核心策略是将 $h_p(P-Q, R-S)$ 的计算归约为特定微分形式的 Coleman 积分的求值。

归约为偶数次： 算法假设给定一个由单项式 $f$ 定义的偶数次模型 $y^2 = f(x)$ 。这确保了存在两个不同的无穷远点 $\infty^+$ 和 $\infty^-$ ，以及一个支撑在无穷远处的非平凡零度除子 $D_\infty = \infty^- - \infty^+$ 。
除子分解： 利用高度配对的双线性，问题被归约为计算点对的 $h_p$ $h_{p}$ 。作者区分了两种情况：
- 情况 1：其中一个除子是 $D_\infty$ 。 对 $h_p(\infty^- - \infty^+, R-S)$ 的计算被归约为微分 $\omega_g = \frac{x^g dx}{y}$ 的 Coleman 积分。作者利用 Frobenius 作用在 Monsky–Washnitzer 上同调上的性质，来确定将与 $D_\infty$ 相关的微分投影到所选各向同性子空间 $W$ 上的必要系数。
- 情况 2：仿射点。 对于具有仿射点的 $h_p(P-Q, R-S)$ ，作者采用变量替换 $\tau: C \to C'$ ，将除子 $P - \iota(P)$ （其中 $\iota$ 是超椭圆对合）映射到变换后曲线 $C'$ 上的 $D_\infty$ 。这种变换有效地将仿射情况转化为“无穷远”情况（情况 1），从而可以复用高效的 $D_\infty$ 计算方法。
实现细节： 该算法依赖于预计算数据： $H^1_{dR}(C/\mathbb{Q}_p)$ 的基、Frobenius 作用矩阵、杯积矩阵以及各向同性补子空间 $W$ 的基。实际的高度计算涉及通过线性代数寻找系数，并使用 Balakrishnan 现有的偶数次曲线 Coleman 积分实现进行求值。

核心贡献

向偶数次的推广： 主要贡献在于提供了一个计算具有偶数次模型的超椭圆曲线 $p$ -阶高度的算法，而这在之前是标准 Balakrishnan–Besser 算法无法实现的场景。
高效性与简洁性： 所提方法比 [BB12] 方法显著更快且更简单。它避免了以往奇数次曲线方法中需要在 $\mathbb{Q}_p$ 高次扩张上进行高精度局部坐标计算的复杂性，而是利用了偶数次模型的结构和无穷远处的除子。
精度分析： 论文提供了严谨的精度分析，通过考虑 Frobenius 和杯积矩阵的行列式，确定了达到目标精度所需的计算精度。
SageMath 实现： 提供了一个完整的 SageMath 实现，利用了现有的 Monsky–Washnizer 上同调和 Coleman 积分库。

结果
作者通过计时对比展示了其算法的优越性：

对于 $p=7$ 时亏格为 2 的曲线，在 10 位精度下，新算法耗时 2 秒，而 [BB12] 需 7 秒。
对于更高精度（300 位）和更大素数（如 $p=503$ ）的情况，[BB12] 的实现无法在周内完成计算，而新算法可以成功运行（例如对于 $p=503$ ，耗时 4 分钟）。
该算法成功处理了更高亏格（示例中高达 17）和高精度的曲线，而这些在以前是无法处理的。

意义与应用
论文强调了该算法启发的三个具体应用：

有理点的二次 Chabauty 法： 该方法加速了在 Mordell–Weil 秩等于亏格的曲线上的有理点计算。它允许使用较小的素数（例如对于 $X_0^+(107)$ 使用 $p=7$ ），而由于之前的奇数次模型限制，这些素数此前是不可用的，这极大地缩短了计算时间（在特定示例中从 40 分钟缩短至 47 秒）。
整点的二次 Chabauty 法： 它为数域上偶数次超椭圆曲线的整点计算提供了一种更简单的新方法。这种方法避免了以往方法中 $p$ -进 Arakelov 理论和双重积分的技术复杂性，使其适用于此前难以处理的曲线。
$p$ -进 BSD 猜想的数值证据： 该算法使得对属于 $GL_2$ 型的模阿贝尔簇进行 $p$ -进 Birch 和 Swinnerton–Dyer 猜想的数值验证成为可能，即使其关联曲线在 $\mathbb{Q}_p$ 上缺乏奇数次模型。作者验证了 $X_0^+(67)$ 的雅可比簇在 $p=11$ 时的猜想，而在此情况下之前的算法无法应用。

作者在声明中保持了谦逊，指出虽然由于 Coleman 积分实现的限制，算法假设点定义在 $\mathbb{Q}_p$ 上，但其理论框架允许未来的潜在扩展。作者强调，其工作提供了必要的计算工具，以扩大显式丢番图几何和 $p$ -进猜想测试的范围。

1. 穿过“无穷”的捷径

2. 为什么速度很重要

3. 你能用它做什么？

核心总结

类似论文