🔢 mathematics

A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

本文通过证明每个本原欧拉砖均源于标准参数化，并展示在已验证的秩为零条件下相关椭圆曲线仅具有退化有理点，从而为 1,072 个显式主元组纤维上的完美长方体猜想提供了无条件证明。

原作者： René Peschmann

发布于 2026-05-01

📖 1 分钟阅读🧠 深度阅读

原作者： René Peschmann

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

以下是该论文的通俗化解释，使用了类比进行说明。

全景图：“完美盒子”的搜寻

想象你是一位木匠，试图用木头建造一个完美的长方体盒子。你为这个盒子制定了三条规则：

所有三个边长必须是整数（例如 3、4 或 5 英寸）。
如果你测量任意一个六个平面上的对角线，该测量值也必须是整数。
如果你测量从盒子一个角到对角（穿过内部空空间）的对角线，该测量值也必须是整数。

这就是完美长方体问题。数学家们自 1740 年以来一直在寻找这样的盒子。到目前为止，没有人找到过，但他们也无法证明这样的盒子不存在。这就像寻找独角兽：每个人都搜索过森林，但没有人能证明独角兽是不可能的。

作者的策略：“总蓝图”

作者 René Peschmann 并没有试图逐个构建所有可能的盒子。相反，他意识到每一个可能的盒子都遵循一个特定的“总蓝图”。

将这个问题想象成一座巨大的图书馆。作者意识到图书馆被组织成1,072 个特定的书架（称为“纤维”），而不是去检查每一本书（每一个可能的盒子）。每个书架包含一个由简单数字集合生成的特定盒子家族。

该论文证明，在这 1,072 个特定书架中的每一个上，构建完美盒子在数学上都是不可能的。

证明如何运作：“交通灯”系统

为了证明在特定书架上不存在完美盒子，作者使用了一个巧妙的数学技巧，涉及“交通灯”和“死胡同”。

地图（曲线）： 作者将构建盒子的问题转化为一张地图（一条数学曲线）。每一个可能的盒子都对应地图上的一个点。
平凡点： 作者知道这张地图上有 8 个点代表“破损”的盒子（其中一边的长度为零）。这些是“平凡”解。我们知道它们存在，但它们不是真正的盒子。
目标： 目标是证明地图上没有其他点。如果不存在其他点，那么该书架上就不存在完美盒子。

“挠度 - 交点”类比

作者使用了一种称为**挠度 - 交点（Torsion-Intersection）**的方法。想象地图是一条高速公路，而“点”是汽车。

作者观察一条连接到主高速公路的更小、更简单的道路（一个“椭圆商”）。
他检查这条小路上的交通是否已经停止（在数学上，即“秩”为零）。如果交通停止了，汽车就困在一个小停车场里（“挠度”群）。
他数了数停车场里的汽车。他发现这个停车场只够容纳那 8 个“破损”的盒子。
结论： 既然小道路只通向那 8 个破损盒子，而主高速公路与其相连，那么主高速公路必须也只有那 8 个破损盒子。那里不可能存在“完美”盒子。

“魔法证书”：证明交通已停止

证明中最困难的部分是表明小路上的交通确实停止了（秩 = 0）。有时，标准的计算机工具会感到困惑，并说：“交通可能停止了，也可能移动得很慢。”

作者开发了一个**两步“魔法证书”**来解决这个问题：

第一次检查： 一个标准的计算机工具（PARI）尝试数汽车。如果它说"0 辆车”，那就太好了。
第二次检查（Kolyvagin 证书）： 如果第一个工具不确定，作者会使用一种更高级、更严格的方法，涉及“模符号”。这就像用超级精密的诊断工具检查汽车的引擎。如果工具显示引擎已关闭（"L 值”非零），那么汽车肯定没有移动。这一步是“无条件”的，意味着它不依赖任何未证明的猜测或假设。

结果：森林的 52.5%

作者在计算机上对所有涉及数字相对较小（最大到 100）的书架运行了整个流程。

共有2,040个书架需要检查。
作者成功证明了其中1,072个书架不包含完美盒子。
这涵盖了该特定范围内约**52.5%**的书架。

这意味着什么（以及不意味着什么）

它做到了什么： 它证明了对于包含 1,072 个盒子家族的庞大特定列表，完美长方体是不可能的。这是一个巨大的进步，证明了“独角兽”不存在于森林的这些特定部分。
它没有做到什么： 它并没有证明完美长方体在任何地方都不存在。仍有 968 个书架（以及 100 范围之外无限多的书架）作者尚未能证明。其中一些剩余的书架之所以“困难”，是因为小路上的交通似乎仍在移动，使得“被困汽车”的类比失效。

总结

René Peschmann 构建了一个复杂的数学过滤器。他将检查每一个可能盒子的不可能任务分解为 1,072 个可管理的组。通过结合计算“破损”盒子和高级引擎诊断，他证明了在 1,072 个特定组中，完美盒子在数学上是不可能的。即使整个森林尚未被清理，这也是搜寻过程中的重大胜利。

以下是 René Peschmann 所著论文《在 1072 个显式主元组纤维上通过挠率 - 交点法证明完美长方体不存在》的详细技术摘要。

1. 问题陈述

本文 addressed 了完美长方体猜想（猜想 B），这是初等数论中一个长期未解的难题。

定义：欧拉砖是指具有整数边长 $(X, Y, Z)$ 和整数面对角线的长方体。完美长方体是指除了上述条件外，还具有整数体对角线（即 $\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$ ）的欧拉砖。
猜想：在 $\mathbb{N}^3$ 中不存在完美长方体。
当前状态：虽然计算搜索已排除了边长高达 $5 \cdot 10^{11}$ 的完美长方体，但尚无一般性证明。之前的代数几何方法仅限于特定的子族，或依赖于未证明的假设（例如广义黎曼猜想）。

2. 方法论

作者结合了结构数论、代数几何和严格的计算验证。该方法分为三个主要阶段：

A. 结构归约为主元组

本文建立了一个结构分类定理（定理 2.4），证明了每一个本原欧拉砖都源于一个唯一的“主元组” $(a, b, m, n) \in \mathbb{N}^4$ ，该元组满足特定的互质性和奇偶性条件。

砖的边长源自标准的毕达哥拉斯参数化： $U_1 = a^2-b^2, V_1=2ab$ 以及 $U_2=m^2-n^2, V_2=2mn$ 。
完美长方体的条件简化为检查特定的多项式 $f_1$ （代表体对角线的平方）是否为完全平方数。
这将无限的搜索空间归约为分析由参数 $(m, n)$ 定义的特定纤维。

B. 亏格 -3 曲线分解

对于固定的主元组纤维 $(m, n)$ ，完美长方体的条件被编码在一条亏格 -3 超椭圆曲线 $H_{m,n}$ 中。

该曲线定义为 $v^2 = P(t^2)Q(t^2)$ ，其中 $t = a/b$ 。
该曲线的雅可比簇 $\text{Jac}(H_{m,n})$ 分解（在等度覆盖意义下）为三个椭圆曲线的乘积： $E_{PQ}$ 、 $E_{uV}$ 和 $E_3$ 。
本文重点关注椭圆商 $E_{uV}$ 和 $E_3$ 。

C. 挠率 - 交点论证

核心证明机制依赖于挠率 - 交点引理（引理 4.2）。

前提：如果椭圆商 $E_q$ 的秩为 0（即其有理点有限且仅由挠点组成），则亏格 -3 曲线 $H_{m,n}$ 上有理点的数量受限于 $E_q$ 挠子群的大小。
逻辑：
1. 验证 $\text{rk}(E_q(\mathbb{Q})) = 0$ 。
2. 计算 $|E_q(\mathbb{Q})_{\text{tors}}|$ 。
3. 将 $H_{m,n}$ 上的有理点映射到 $E_q$ 。由于映射次数为 2，故 $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$ 。
4. 关键步骤：曲线 $H_{m,n}$ 总是拥有 8 个已知的“平凡”有理点，对应于退化的砖（其中一条或多条边为零）。
5. 如果从挠率交点导出的上界恰好等于 8，那么在该纤维上不存在非平凡（完美长方体）点。

D. 无条件秩认证

为了确保证明是无条件的（不依赖广义黎曼猜想等未证明猜想），作者使用两种互补技术来验证秩为零的假设：

2-下降法：利用 PARI/GP 的 ellrank 获取严格界限 $[r_{low}, r_{up}]$ 。如果 $r_{low} = r_{up} = 0$ ，则秩被证明为零。
模符号（科利瓦金定理）：对于 2-下降法模棱两可的情况（例如 $[0, 2]$ $[0, 2]$ ），作者使用 Sage 的模符号精确计算 $L(E, 1)/\Omega_E$ $L (E, 1) / Ω_{E}$ 。
- 根据模性定理和科利瓦金定理，如果 $L(E, 1) \neq 0$ ，则秩为 0。
- 对于半稳定曲线（所有遇到的因子均为半稳定），Manin 常数为 1，确保了模符号计算的精确性和无条件性。

3. 主要贡献

结构分类（定理 2.4）：证明了主元组参数化的逆方向，表明每一个本原欧拉砖都对应一个主元组。这是先前文献中缺失的一环。
挠率 - 交点论证：将改进的交点界限应用于椭圆商 $E_{uV}$ 和 $E_3$ 。与之前专注于 $E_A$ 的工作不同，本文利用 $E_{uV}$ 和 $E_3$ 的特定几何性质，迫使点数恰好为 8。
改进的提升计数：当朴素挠率界限过松时（例如挠率大小为 8 导致界限为 12），作者对四次模型上的 8 个挠点进行了显式枚举。通过检查哪些点能“提升”为亏格 -3 曲线上的有理点，他们将界限重新细化回 8。
无条件认证流程：一个稳健的计算工作流，结合 PARI/GP 和 SageMath，避免依赖广义黎曼猜想 (GRH) 或 Birch 和 Swinnerton-Dyer 猜想，转而依赖科利瓦金定理和 Edixhoven 关于 Manin 常数的界限。

4. 结果

范围：研究涵盖了所有互质对 $(m, n)$ ，满足 $\max(m, n) \le 100$ 且 $m-n$ 为奇数。共有 2,040 个这样的对。
成功率：该方法无条件地证明了在1,072 个纤维上不存在完美长方体（约占搜索空间的 52.5%）。
已证明纤维的细分：
- 827 个纤维通过 $E_3$ 证明：359 个通过精确的 2-下降法，468 个通过模符号认证。
- 245 个纤维通过 $E_{uV}$ 证明：所有情况都需要改进的提升计数论证（情况 c），因为挠率大小为 8。
结果：对于这 1,072 个纤维，相关亏格 -3 曲线上的有理点集恰好是 8 个退化点集。因此，对于任何由这些 $(m, n)$ 对导出的主元组，都不存在完美长方体。

5. 意义与局限性

意义：
- 这是第一个在大量显式纤维集合上无条件证明完美长方体不存在的证明，不依赖未证明的猜想。
- 它展示了将显式下降法与模符号计算相结合以解决曲线族中秩为零案例的强大能力。
- 它为未来的 exhaustive 搜索提供了一个具体的框架（主元组）。
局限性与未来工作：
- 覆盖范围：结果仅覆盖了 $m,n \le 100$ 范围内约 52% 的纤维。剩余的 968 个纤维要么具有超出当前计算预算的模糊秩（导子 $> 10^{12}$ ），要么具有总雅可比秩 $\ge 3$ ，使得标准 Chabauty 方法不适用。
- 困难纤维：所有三个椭圆因子秩均 $\ge 1$ 的纤维（例如 $(5,2)$ ）仍然未解。
- 扩展：作者建议二次 Chabauty（p-adic 方法）和Mordell-Weil 筛法是解决剩余“困难”纤维并将界限扩展到更高 $m, n$ 的必要下一步。

总之，Peschmann 提供了一个严谨的、计算机辅助的证明，消除了参数空间显著子集中完美长方体存在的可能性，为该经典问题中的无条件结果确立了新的基准。