🔢 mathematics

Thue equations that simultaneously fail the Hasse principle

本文通过改进 Akhtari 和 Bhargava 的构造，证明了对于任何正整数 $m$ ，具有固定大于 2 的次数的 Thue 方程中，存在正比例的部分，使得这些方程对于所有小于 $m$ 的正整数 $h$ 同时失效整数哈塞原理。

原作者： Paloma Bengoechea

发布于 2026-07-07

📖 1 分钟阅读🧠 深度阅读

原作者： Paloma Bengoechea

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

想象一下，你是一名侦探，正试图破解一个涉及一种特殊数学锁的谜团。这种锁由一个复杂的公式（称为 Thue 方程）定义，该公式接收两个数字 $x$ 和 $y$ ，并产生一个结果。

这个谜团分为两个部分：

局部线索： 如果你仅通过特定的“邻里”（数学系统称为 $p$ 进数）来观察这个问题，能否找到解？
全局真相： 你能否找到一对能在所有地方同时成立的整数 ( $x, y$ ) 来解决这个问题？

通常情况下，如果在每一个局部邻里都能找到解（局部），你就会预期在整个世界（全局）也能找到解。这种预期被称为 Hasse 原则。这就像是在说：“如果嫌疑人在每一个社区的监控录像中看起来都像是有罪的，那么他在整座城市中也一定是罪犯。”

重大发现
这篇由 Paloma Bengoechea 撰写的论文证明了，对于特定类型的数学锁，这种预期通常是错误的。

作者表明，存在一大类这样的锁，其中：

局部： 对于每一个目标数字（例如 1, 2, 3... 直到某个极限 $m$ ），你都能在每一个邻里中找到解。
全局： 对于这些目标数字中的任何一个，都不存在能解决该方程的整数对 ( $x, y$ )。

更令人印象深刻的是，作者构建了一个场景，使得这种失败是同时发生的。想象一组锁，对于一整批目标数字（比如 1 到 10），它们中的每一个都拥有局部线索，但都没有全局解。它们在同一时间都未能通过测试。

作者是如何做到的（类比法）

万能钥匙（基础形式）：
作者从一个“主”数学形式（一种特定类型的多项式）开始。她知道这个形式非常严格；它很少产生较小的整数结果。
洗牌机（构造过程）：
她使用了一种巧妙的数学“洗牌”技术。想象一下，将那个主形式放入一台机器中，根据一组素数列表（如 2, 3, 5, 7...）对其进行扭转和旋转。

这台机器创造了一系列新的形式（我们称之为“扭曲锁”）。
由于这台机器的工作原理，这些新的锁被保证在每一个邻里中都有解（它们通过了局部测试）。

陷阱（计数论证）：
这里的诀窍在于：作者证明了如果这些新的“扭曲锁”中真的存在全局解（一个真实的整数答案），那么它会迫使原始的“主形式”拥有过多的解。

可以这样想：如果一个人声称他找到了迷宫中的一条秘密出口，这可能是真的。但如果 1,000 个不同的人都声称自己找到了秘密出口，而数学告诉我们这个迷宫只容得下 50 个出口，那么大多数声称都是错误的。
作者利用一个著名的数学极限（Györy 定理）来说明：“主形式只能有极少量的解。”
由于她创造了数以千计的扭曲锁，并且它们都与主形式相关联，所以在数学上，这些锁中的大多数不可能拥有全局解，尽管它们看起来似乎应该有。

结果
论文证明了，如果我们观察所有可能具有一定规模的数学形式，其中有正比例（一个显著的、非零的百分比）是这些“诡计锁”。它们在每个局部邻里都表现完美，但在真实的整数世界中却是无法破解的。

为什么是“同时”？
之前的研究表明，你可以找到一个失效的方程。这篇论文完善了这种方法，证明你可以找到一组方程，使它们针对多个目标数字（1, 2, 3... 直到 $m$ ）同时失效。这就像是发现了一整排坏掉的自动售货机，它们可以接受硬币（局部解），但无论你尝试购买哪种零食，它们都永远不会吐出零食（全局解）。

总结
该论文构建了一个庞大的数学谜题家族，这些谜题是“局部完美”但“全局破碎”的。它证明了这不仅仅是一个罕见的偶然现象；它发生的频率足够高，以至于如果你从这个家族中随机抽取一个谜题，你很有可能会发现一个误导你的谜题——它让你误以为存在解，而实际上并不存在。

技术摘要：同时违反哈塞原理的 Thue 方程

问题陈述
本文探讨了形式为 $F(x, y) = h$ 的 Thue 方程的整系数哈塞原理，其中 $F$ 是一个次数 $n \geq 3$ 且具有整数系数的不可约二元形式， $h$ 是一个正整数。虽然 Thue 定理保证了对于 $|F(x, y)| \leq m$ ，其整数解是有限的，但整系数哈塞原理假设：如果一个方程在所有 $p$ 进整数 $\mathbb{Z}_p$ 中都有解（局部可解性），那么它在整数 $\mathbb{Z}$ 中也应该有解（全局可解性）。

此前由 Akhtari 和 Bhargava 完成的工作表明，正比例的 Thue 方程 $F(x, y) = m$ 违反了这一原理。本文所解决的具体问题是改进这一构造，以证明对于任何固定的正整数 $m$ ，存在正比例的二元形式 $F$ ，使得对于所有满足 $1 \leq h \leq m$ 的方程 $F(x, y) = h$ ，这些形式都将同时违反哈塞原理。

方法论
作者采用了一种基于二元形式高度（按系数绝对值的最大值排序）的构造计数算法。该策略依赖于三个主要组成部分：

解的上界： 构造过程利用了 Györy 的结果（定理 2.1），该结果提供了在判别式 $|D(F)|$ 相对于 $M$ 足够大时，Thue 不等式 $|F(x, y)| \leq M$ 的本原整数解数量的上界。具体而言，若 $|D(F)| \geq (3nM)^{6(n-1)}$ ，则本原解的数量至多为 $32n + 11$ 。
局部-全局构造：
- 局部可解性： 作者构造了在处处局部表示每一个整数 $h \leq m$ （即在所有 $\mathbb{Z}_p$ 上）的型。这通过确保这些形式在小素数 $p_i$ 模下具有单根（从而允许通过 Hensel 引理提升）以及满足在大素数模下的特定不可约条件（以确保相关射影曲线的光滑性并应用 Hasse-Weil 界）来实现。
- 全局不可解性： 构造过程从单个“种子”形式 $F$ 生成一个庞大的形式族 $\{G_j\}$ 。每个 $G_j$ 是通过涉及素数 $p_1, \dots, p_k$ （其中 $p_i < M$ ）的一系列线性变换导出的。 $G_j(x, y) = h$ 的一个解意味着一个关于 $F$ 的缩放方程存在解。
计数与密度：
- 作者定义了一个满足特定 Galois 条件和同余条件的“种子”形式集合 $\tilde{S}$ （例如 Galois 群为 $S_n$ ，在小素数模下具有单根）。
- 从每个 $F \in \tilde{S}$ 出发，作者构造了 $2^k$ 个不同的形式 $G_j$ （其中 $k$ 是小于 $M$ 的素数个数）。
- 作者证明了这些 $G_j$ 形式是两两互不等价且是极大形式。
- 通过将构造出的集合 $S$ （那些违反哈塞原理的形式）中的形式数量与给定高度下的总形式数量进行比较，作者推导出了此类形式比例的下界。

核心贡献与结果
主要结果是定理 1.1，它指出：

令 $m$ 为一个正整数。当按高度对固定次数 $n \geq 3$ 的整二元形式进行排序时，存在正比例的本原极大形式，它们在处处局部表示所有正整数 $h < m$ ，但在全局上并不表示。

支持该结果的关键技术步骤包括：

同时失效： 不同于以往关注单一 $h$ 的结果，此构造确保了对于整个范围 $1 \leq h \leq m$ 内的所有 $h$ ，同一组形式都表现出哈塞原理的失效。
显式比例： 本文提供了一个关于此类形式比例的显式下界。该比例取决于 $m$ 和次数 $n$ ，是通过构造出的形式数量与给定高度下的总形式数量的比值推导出来的。该界限涉及与素数 $k$ 以及判别式增长相关的项。
极大性： 构造出的形式被证明是极大的（不是其他形式的真子形式），这对于确保关于解数量的计数论证有效是必要的。
推广： 文中指出，该构造可推广到按判别式排序的三次形式，以及按不变量 $I$ 和 $J$ 排序的四次形式。

意义与主张
本文声称对文献 [2]（Akhtari 和 Bhargava）中的构造进行了改进，以实现对一系列整数的同步哈塞原理失效。其意义在于证明了整系数哈塞原理的失效并非针对特定 $h$ 的孤立现象，而是一种鲁棒的性质，在正比例的形式族中，这种性质跨越了一系列目标整数而普遍存在。

作者明确指出，这项工作是对先前构造的改进，而非声称解决了表征所有此类形式的一般问题，而是确立了具有这些特定同步失效性质的正比例形式的存在性。本文依赖于已建立的筛法（Ekedahl 筛法）以及来自丢番图几何的界限（Györy, Hasse-Weil）来验证构造集合的密度。

技术摘要：同时违反哈塞原理的 Thue 方程

类似论文