← #802

消化一下雅可比猜想的反例

查看原文 HN 讨论

文章摘要

陶哲轩（Terence Tao）在这篇博文里做的事，正如标题所示——”消化”一个刚刚出现的重大数学结果：雅可比猜想的反例。

什么是雅可比猜想。 这个猜想在复数域上表述为：如果一个多项式映射的雅可比行列式是一个非零常数，那么这个映射是可逆的（而且逆映射也是多项式）。用陶哲轩的话概括，它本质上断言的是”局部可逆性蕴含全局可逆性”。这里有一个关键的技术细节值得强调：假设”雅可比行列式处处非零”实际上做了大量工作——因为多项式映射的雅可比行列式本身也是多项式，而唯一处处不为零的多项式就是常数，所以”处处非零”自动等价于”是非零常数”。

反例是什么。 2026 年，研究者借助 Fable AI 系统发现该猜想在三维情形下是错误的。陶哲轩在文中给出了一个显式的多项式映射 F，从 C³ 映到 C³，其雅可比行列式恒等于常数 −2，但它并不是全局单射——有三个不同的输入点都被映射到同一个输出点 (−1/4, 0, 0)。

为什么需要”消化”。 陶哲轩强调的一点是：这个显式反例在没有解释的情况下看起来完全像是奇迹。他做了一个粗略估算——按贝祖定理的思路，需要满足的方程约有 1329 个，而可用的自由度只有 360 个。换句话说，方程数远远超过未知数，这样的解本”不该存在”。他这篇文章的目的就是揭示背后的几何结构，说明这个”奇迹”其实来自何处。

核心数学思路。 陶哲轩把问题用仿射簇和多项式乘法重新表述。整个构造依赖以下几个要素：

• C² 的对称幂：也就是一次、二次、三次齐次多项式所构成的空间；
• 乘法映射：把一个 1 次多项式和一个 2 次多项式相乘得到 3 次多项式；
• 结式归一化：强制要求 Res(L, Q) = 1，以此消去缩放对称性；
• 仿射切片：把四维空间中的对象限制到一个三维超平面上；
• 显式坐标变换：通过多项式变换揭示这个簇的仿射结构。

按陶哲轩的叙述，真正的”奇迹时刻”发生在对偶微分算子出现重根的时候——正是这一情形使得受限后的簇同构于 C³。他在文中给出的 Theorem 3 到 Theorem 2 的过渡，就依赖于复合上这个同构 X ≅ C³，再结合前面提到的”局部单射蕴含非零常数雅可比”这一事实。

方法论上的看点。 陶哲轩指出这个反例已经被”追溯性地用更几何的语言解释过”，而他这篇是首次面向较广读者的通俗阐述。他的整体论证展示了问题如何自然地借助多项式乘法、等变作用（equivariant actions），以及对某个坐标趋于零时纤维行为的仔细分析而分解开来。

HN 评论精华

• kingstnap：讨论区里公认最好的一条直观解释。他自称不是数学家，但懂足够的线性代数和向量微积分。他的理解是：雅可比行列式衡量的是函数在某一点是否在”压扁空间”。如果雅可比行列式处处是非零常数，就意味着函数在任何地方都不压扁——沿任意方向对 X 做微小改变，总会在 Y 上产生非零改变，不压扁意味着局部可逆。猜想断言的是这种”处处局部可逆”能推出全局可逆，结果证明并非如此。他用 1 维情形作类比：考虑 f(x) = x²，它恰好在 x = 0 处压扁，函数在那个坐标折叠回自身，这个折叠让它不可逆，同时它在 x = 0 附近也不局部可逆；如果一个 f(x) 处处有恒定导数，它就处处不压扁、处处可逆，也全局可逆。雅可比猜想说的是这个性质在高维仍然成立——即如果函数在空间中没有折叠，那它就全局可逆。反例表明你可以构造一个三变量函数，处处可证明可逆，但全局不是单射（他们明确给出了三个映到同一输出的点）。他的比喻很传神：”这就好像有人给你看一条抛物线，你不知怎么就回到了同一个 y 坐标，但中间并没有任何折回去的拐点。”

• impendia：从”巧合”的角度切入。他指出雅可比行列式是常数在一般情况下是一个巨大的巧合——通常它会是某个复杂而混乱的多项式。这个猜想断言的就是除了简单的特例外，这种巧合不可能发生。所以 Alpoge 和 Fable 找到的，是一个此前被认为”太过怪异以至于不可能存在”的函数。

• sfpotter：对一位提问者的技术性澄清。他反复强调这个猜想只关于多项式，而”雅可比行列式处处非零”这个假设承担了大部分工作。多项式映射的行列式是多项式（求偏导、加减乘运算都把多项式映到多项式），而唯一处处不为零的多项式就是常数——这就是那个假设的要害所在。他也提醒读者，这个结果并不意味着”我们不能再假定函数在某些点可微”之类的事，因为现实中有大量映射的雅可比行列式根本不是常数。

• jibal：给出了最冷静的意义评估。他说这个结果推翻的是维数 ≥ 3 时的雅可比”猜想”（即猜测），我们现在知道那是一个过度推广。这个猜想此前就被广泛怀疑为假，而假定它成立从来就没有正当理由，所以这件事本身并没有改变什么。真正的意义在于：一个 AI 能够找到一个相对简单的反例。他表示很想看到它的”思维链”。

• mswphd：补充了重要的历史脉络。他链接到 2004 年 Peter Woit 博客上的一篇文章，讲的是当年一个（后来被证明不正确的）二维情形正面证明尝试。他梳理了现状：猜想在 1 维是真的，Fable 的结果证明它在 ≥ 3 维是假的，而 2 维情形仍然是开放问题。他还引用了 2004 年那篇文章里的一句话——当时就提到”对于更多变量，许多人相信它甚至不成立”。所以这次的解决之所以是”惊喜”，在于这是一个悬置极久、有大量失败证明尝试的问题，但它被解决的方向并不令人意外。

• monster_truck：从更宏观角度看意义。他认为这个结果虽然推翻的东西不多，但它赋予了一种可信的可能性——我们可能对一系列相邻（但不等价）的多项式系统的”困难性边界”位置判断有误。而这些系统中的大多数（或者说全部？）同样经受了大量绝顶聪明的人差不多同样长时间的攻击。

• tptacek：一条很实在的阅读经验分享。他说这篇文章的引言部分很好懂，但一进入代数重述的部分他就跟不上了（自认数学不好）。不过陶哲轩把自己与 GPT-5 对话的提示词也公开了，那些反而更容易跟上。minimaxir 注意到一个细节：从时间戳看，陶哲轩是在那条推文发布几小时后就开始了这个对话线程。CamperBob2 用一句玩笑形容那份对话记录：”我喜欢他在 80% 的篇幅里像甘道夫在十五个平面上同时对战尤达那样单挑它，然后我们读到——’好了，我把 Pro 打开了。’”

• brookst：对陶哲轩文中那句”显然（clearly）我们可以通过复合上同构 X ≅ C³ 并利用前面提到的局部单射蕴含非零常数雅可比这一事实，从定理 3 得到定理 2”作出了很多读者的心声式回应：”我说，显然，对吧？”——然后是”你和我一样，兄弟。”

• imtringued：试图进一步解释可逆性的直觉。他指出”全局可逆”和”局部可逆”的区别并不是立刻直观的，毕竟在 1 维情形下两者显然一致。你可以在任意点得到雅可比矩阵的逆，但你无法用一个多项式（也就是一个函数）来描述这个逆——由于存在值重叠的可能，全局的逆不是一个函数，你需要更复杂的对象来描述它。

• ChrisArchitect：贴出了相关的前序 HN 讨论，包括《Claude Fable 产生了雅可比猜想的一个反例》和《人类数学家正在被”反例”超越》两个帖子，为整件事提供了完整的时间线上下文。