有哪个数学猜想,表面看只是简单一句“局部可逆则全局可逆”,却让几代数学家束手无策?雅可比猜想正是这样的存在。而就在最近,这个猜想在三维被彻底推翻——一个显式的反例被找到了。著名数学家陶哲轩在博客中详细拆解了这个反例的几何原理,试图用最小的“奇迹”来理解这件事。

雅可比猜想可以很直白地描述:对于一个从复数域n维空间到自身的多项式映射,如果它的雅可比行列式是一个非零常数(也就是映射处处局部可逆),那么它是否一定有全局的多项式逆映射?在一维时,这完全成立;二维的情况至今仍是悬案;而三维以上,答案是否定的。定理2明确指出:存在一个多项式映射,雅可比为非零常数,但它并非一一对应。

陶哲轩重新表述了这个问题。他没有直接处理那个原始反例,而是把它转化为寻找一对“演员”:一个仿射簇V,和一个映射f。关键要求有三条:

(a)f在V上局部单射 —— 这意味着每一点的局部逆都存在,这正是雅可比非零的等价条件。
(b)f在V上不是全局单射 —— 存在两个不同的点被映射到同一个像,也就无法定义全局逆。
(c)V通过多项式的变量替换与复数三维空间同构 —— 这样一来,把V等同于通常的C³后,f就给出了原始猜想所需的那个反例。

这种拆分的好处是:三个性质可以逐一攻克。陶哲轩随后开始寻找具体的V和f,让它们能够同时满足这三个条件。他的构造并不依赖高深的代数几何,而是尽可能直观地拼凑出几何对象。文章中回避了许多“奇迹”,但依然存在几处让人拍案的地方。

截至目前,我们看到的还只是该“消化”过程的开端。至于那个具体的映射式子究竟长什么样,以及V是如何被构造成满足同构与局部单射的,陶哲轩在后续部分会给出详细步骤。但有一点已经明确:雅可比猜想的脆弱性从未像今天这样暴露无遗。