🔢 mathematics

p-Adically convergent loci in varieties arising from periodic continued fractions

受 $p$ 进连分数替代定义的启发，本文研究了代表满足二次方程且其部分商属于 $\mathbb{Z}[1/p]$ 的周期连分数的代数簇的 $p$ 进收敛区域，并特别刻画了其零维和一维情形。

原作者： Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

发布于 2026-07-13

📖 1 分钟阅读🧠 深度阅读

原作者： Laura Capuano, Marzio Mula, Lea Terracini, Francesco Veneziano

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

想象一下，你拥有一台神奇的数字机器，它接收一个数字列表，然后吐出一个无限的分数。在正常的数学世界（“阿基米德”世界）中，我们确切知道这台机器是如何运作的：如果你喂给它一个不断重复自身的列表，它通常会趋于一个特定的数值，就像一个摆锤在摆动直到停止一样。这就是连分数的故事，一个由拉格朗日传承下来的古老传说。

但如果我们将普通的尺子换成一把奇怪的 p 进数（p-adic）尺子呢？在 p 进数的世界里，数字的行为方式完全不同。这里的“接近”规则被颠覆了：如果两个数的差能被 $p$ 的高次幂整除，它们才被视为“接近”。在这个奇异的宇宙中，同一个无限分数机器可能会永远疯狂旋转，永远无法稳定在一个确定的答案上。

这篇论文是一个侦探故事，旨在寻找这些 p 进数分数机器真正能够停止旋转并收敛到一个实数的特定“地址”（数学簇）。Laura Capuano 及其团队正在探索一个代数形状（簇）的景观，其中每个点都代表一个循环分数。他们的任务是？绘制出精确的地图，标明哪些点是“收敛”的，而哪些是混乱的死路。

收敛的金科玉律

团队发现了一个简单而严格的规则（定理 3.1），它就像这些分数的交通信号灯。对于一个在 p 进数世界中收敛的循环分数，必须满足两个条件：

总和必须足够大： 一组特定的重复数字的组合在 p 进数意义上必须是“大”的（这意味着它能被 $p$ 的高次幂整除）。
无零除情况： 对中间步骤进行一系列检查，以确保我们不会意外地除以零或撞上障碍。

如果这些条件不满足，这个分数就是注定失败的；它永远不会收敛。作者证明这不仅仅是一个猜测——这是一个坚实的数学事实。

绘制景观图：小维数情况

作者将目光聚焦在这一景观中最简单的形状上，即重复模式较短的情况（长度为 1、2 或 3）。他们扮演着制图师的角色，绘制出收敛可能存在的边界。

单步循环 (Type 0,1)： 在这种情况下，分数只是重复一个数字。论文证明，若要使其奏效，该数字必须是一个非常特定的有理值。如果定义该循环的多项式在 p 进数世界中没有根，那么这张地图就是空的。这里隐藏不了无理平方根；机器根本不会收敛到它们。
两步循环 (Type 0,2)： 当模式重复两个数字时，作者发现收敛仍然极其罕见。他们表明，如果确实发生了收敛，那么这两个数字的乘积必须是某种特定类型的平方数。同样，这里无法以无理平方根作为终点。
三步循环 (Type 0,3)： 这是情况变得精彩的地方。当模式包含三个数字时，景观变得开阔了，但依然是一片荒漠。作者证明，对于特定类型的数字（如纯根式 $\sqrt{d}$ ），收敛分数的数量是有限的。他们不只是说这很罕见；他们证明了解决方案的数量是有限的，就像是在为一个复杂的锁寻找寥寥数把特定的钥匙。

佩尔方程的联系

对于涉及平方根（如 $\sqrt{d}$ ）的三步循环，作者揭示了与佩尔方程 (Pell equations) 之间隐藏的联系。这些是研究了几个世纪的古老丢番图难题（形如 $x^2 - dy^2 = n$ 的方程）。

论文显示，寻找 $\sqrt{d}$ 的收敛 p 进数分数，等同于寻找特定佩尔方程的解。这是一个强大的工具，因为我们知道如何利用“基本单位”（主密钥）来生成佩尔方程的解族。然而，作者利用这一点证明了一个否定性结果：尽管佩尔方程有无穷多个解族，但只有有限数量的解能满足严格的 p 进数收敛规则。

他们甚至构建了具体的例子。例如，他们展示了如何使用特定的质数来构建 $\sqrt{10}$ 或 $\sqrt{5}$ 的收敛分数，但同时也谨慎地指出，这些只是成功的孤岛，而非广袤的大陆。

他们排除了什么

理解这篇论文明确表示“不适用”的情况至关重要。

没有万能算法： 作者明确表示，他们并不是在研究一个固定的算法（例如著名的 Browkin 或 Ruban 方法）来为任何数字生成分数。相反，他们研究的是任何重复序列。
简单循环中不存在无理平方根： 对于最简单的循环（长度为 1 和 2），论文证明了收敛到无理平方根是不可能的。如果你试图强迫一个简单的循环分数在 p 进数世界中等于 $\sqrt{2}$ 或 $\sqrt{3}$ ，这根本不会发生。
简单情况中不存在无限解： 虽然某些复杂情况可能存在无限族，但作者证明，对于“纯根式”情况（如三步循环中的 $\sqrt{d}$ ），解的数量是有限的。

结论：有限且精确

作者不仅是在暗示这些收敛点存在，他们还证明了所研究案例中解集的有限性。他们并非仅仅通过计算机模拟说：“看起来有那么几个。”他们使用了来自代数几何和数论的深层工具，证明了收敛点的集合是一个有限的特定坐标集合。

例如，在 $\sqrt{10}$ 配合三步循环的情况下，他们明确列出了几个起作用的具体分数，如 $[13, 9/53, -4]$ 。他们还表明，对于某些类型的数字（如能被 4 整除或模 4 余 -1 的质数），解集是空集——根本不存在收敛的分数。

大局观

这篇论文是对数学宇宙中一个微小且棘手角落的严谨测绘。它告诉我们，虽然 p 进数世界充满了重复模式，但那些真正能收敛到一个数字的模式是极其挑剔的。它们需要代数条件的完美对齐。作者已经划定了边界，证明了边界是有限的，并向我们展示了这些“安全区”究竟在哪里。他们并没有找到一种让所有数字都收敛的方法，但他们成功识别出了那些罕见的、特殊的、让 p 进数机器最终停止旋转并给出清晰答案的时刻。

技术摘要：源于周期连分数中 $p$ -进收敛簇的研究

问题陈述
本文研究了部分商位于 $S$ -整数环 $\mathbb{Z}[1/p]$ 中的周期连分数（PCFs）的 $p$ -进收敛性，其中 $p$ 为奇素数。经典的（阿基米德）连分数理论已非常成熟——通过拉格朗日定理将周期性与二次无理数联系起来——而 $p$ -进情形则呈现出截然不同的挑战。与经典情况不同，目前不存在生成 $p$ -进连分数的单一规范算法（例如，存在 Ruban、Browkin、Schneider 等算法，但它们并不唯一）。因此，作者并未将其研究局限于由特定算法生成的展开式。相反，他们采用了受 Brock、Elkies 和 Jordan (BEJ21) 启发的一种几何视角，后者定义了代表满足给定二次方程的正式周期连分数的代数簇。本文的核心问题是刻画这些簇的 $p$ -进收敛簇：即对应于在 $p$ -进绝对值而非阿基米德绝对值下收敛的连分数集合。

研究方法
作者综合运用了代数几何、算术理论以及线性递推序列和佩尔方程（Pell equations）理论。

几何框架： 他们利用了变体 $V(F)_{N,k}$ ，其中 $F(x) = Ax^2 + Bx + C$ 是一个二次多项式， $(N, k)$ 表示前置项（pre-period）和周期（period）的长度。这些变体中的点对应于表示 $[b_1, \dots, b_N, \overline{a_1, \dots, a_k}]$ 的元组 $(b_1, \dots, b_N, a_1, \dots, a_k)$ 。
收敛判据： 一个关键工具是 定理 3.1，它为纯周期连分数 $P = [a_1, \dots, a_k]$ 提供了 $p$ -进收敛的充分必要条件。该判据依赖于与周期相关的矩阵 $M(a_1, \dots, a_k)$ 的特征值。具体而言，收敛要求该矩阵的迹的 $p$ -进绝对值大于 1，且矩阵幂的特定项满足严格的 $p$ -进估值不等式。
分类讨论： 作者分析了小维度的变体（其中 $N+k \leq 3$ $N + k \leq 3$ ）。对于每种类型 $(N, k)$ $(N, k)$ ，他们：
- 刻画了 $V(F)_{N,k}$ 上的 $\mathbb{Z}[1/p]$ -有理点集。
- 应用定理 3.1 来筛选这些满足 $p$ -进收敛的点。
- 尽可能地根据 $F$ 的系数来显式表达收敛点。
丢番图联系： 对于“纯根式”（ $F(x) = x^2 - d$ ）且类型为 $(0, 3)$ 的情况，该变体的定义方程简化为广义佩尔方程。作者利用线性递推序列理论和单位群对佩尔方程解的作用，导出了有限性结果并构造了显式的收敛展开式族。

主要贡献与结果

通用收敛判据： 本文确立了定理 3.1，这是一个关于周期分数的尖锐收敛判据。研究表明，该结果与以往的充分条件（如 Browkin 的判据）不同，并强调收敛性取决于周期部分的矩阵性质，而非仅仅取决于前置项。
小维度的显式枚举：
- 类型 (0,1), (1,1), (0,2)： 作者提供了收敛簇的完整刻画。例如，对于类型 (0,1)，收敛发生的充要条件是唯一的有理点满足涉及 $F$ 系数的特定 $p$ -进不等式。
- 类型 (2,1), (0,3)： 作者证明了这些类型下 $p$ -进收敛簇的有限性。对于类型为 (0,3) 且 $F(x) = x^2 - d$ 的情况，对于任何固定的 $d$ ，收敛点集都是有限的。
- 类型 (1,2)： 研究表明其收敛簇是有限的，并且论文给出了与 $F$ 的可约性及特定 $p$ -进估值相关的非空条件。
构造显式族：
- 对于 $F(x) = x^2 - d$ 且 $d = a^2 + 1$ 的情况，作者通过识别特定线性递推序列（与切比雪夫多项式相关）中的素数幂，构造了类型为 (0,3) 的无穷多个 $p$ -进收敛 PCF 族。
- 他们构造了无穷多整数平方根的显式收敛展开式，包括形式如 $\sqrt{p^2+1}$ 和 $\sqrt{a^2+1}$ 的展开式。
- 在类型为 (1,3) 的情况下，他们为二次无理数提供了显式的收敛展开族，其中包括 $\sqrt{10}$ 和 $\sqrt{p^2+1}$ 等示例。
非存在性结果： 论文证明了对于某些类型（如 (0,1) 和 (0,2)），无理平方根不能作为收敛 PCF 的极限，这与 Browkin 连分数法的已知结果一致。同时，他们也确定了在某些条件下（例如 $d \leq 0$ 或特定的模约束），对于 $\sqrt{d}$ 不存在类型为 (0,3) 的收敛 PCF。

意义与主张
本文声称，通过不依赖于固定的生成算法，提供了对周期连分数进行 $p$ -进收敛性的首次系统性几何研究。通过将重点从算法生成转向变体 $V(F)_{N,k}$ 的几何属性，作者能够：

在统一的代数框架下处理各种 $p$ -进展开式。
在低维情形下，针对给定的二次无理数，推导出其收敛展开式数量的有效有限性结果。
构造整数平方根的显式、非平凡收敛展开族，证明了即使在不产生于标准“取整函数”算法的情况下，这类展开式在无穷多个整数和素数下也是存在的。

作者指出，虽然他们在小维度下的结果是显式的，但收敛点与多项式 $F$ 之间的关系在高维度下会变得不再直观。他们强调，这项工作将连分数理论与关于佩尔方程和线性递推序列的深层算术问题联系了起来，为这些形式级数的收敛性提供了新的视角。

收敛的金科玉律

绘制景观图：小维数情况

佩尔方程的联系

他们排除了什么

结论：有限且精确

大局观

类似论文