Jacobian猜想反例的深度解读
声名赫赫的雅可比猜想在复数域上可具体表述如下：
猜想1（雅可比猜想） 设是个复变量多项式映射，其雅可比行列式为非零常数，则可逆（且逆映射也是多项式映射）。
雅可比行列式非零的条件，等价于在局部可逆。（雅可比行列式非零推出局部可逆，可由反函数定理得到；反之则可由魏尔斯特拉斯预备定理推导，此处略去证明。）此外，根据代数基本定理，只要雅可比多项式非零，它就一定是常数。因此，“雅可比行列式为非零常数”这一前提，可替换为“在局部可逆”。如此一来，雅可比猜想可被理解为：局部可逆性可推导出全局可逆性。借助勒夫谢茨原理，复数域可轻松替换为其他特征为0的域，但本文更倾向于以直观的复数域为研究场景。
近期有研究借助Fable AI证明，该猜想在三维（及更高维）空间不成立：
定理2（猜想的反例） 存在一个多项式映射，其雅可比行列式为非零常数，但映射本身不可逆。
目前，该猜想在二维空间仍未解决，在一维空间则很容易证明。
上述反例可完全显性表述：我们可先设定雅可比行列式为……
此后，已有研究从更几何的角度对该反例进行了阐释。作为自我“消化”的练习，我尝试在尽量少用代数几何术语的前提下重写这一阐释，尽可能减少“神奇巧合”的成分，不过仍有几处会出现值得注意的现象。
采用局部单射的表述方式，并将定义域推广至等价的仿射簇会更为便利。具体而言，我们将证明：
定理3（反例的重构形式） 存在一个仿射簇，它可通过多项式变量替换与同构；同时存在一个多项式映射，该映射在局部是单射，但在全局不是单射。
显然，结合上述同构映射，再利用前文提到的“局部单射蕴含雅可比行列式为非零常数”这一结论，即可由定理3推导出定理2。我们的目标是找到满足以下三个独立性质的与：
- (a) 在局部是单射；
- (b) 在全局不是单射；
- (c) 可通过多项式变量替换与同构。
事实上，与可通过低次多项式的乘法运算构造而来。具体而言，考虑以下三个简单的仿射空间：
- 二元复变量的一次齐次多项式构成的空间；
- 二元复变量的二次齐次多项式构成的空间；
- 二元复变量的三次齐次多项式构成的空间。
向量空间的对称幂
映射本质上是从到的映射，显然是多项式映射；其坐标形式可明确表示为：
[该映射]
- 若对某个非零复数进行缩放变换，则乘积会被缩放为：；
- 若对某个可逆线性变换进行变量替换，则乘积会被变换为：。
五维的定义域显然比四维的值域更大，因此映射显然不可能是单射。这一点从缩放对称性即可看出，比如取特定的缩放变换
[针对]
通过(3)将定义域的维数降至四维后，映射(3)……由此可见，即便商掉缩放对称性(3)，乘法映射……
利用缩放对称性进行规范化处理会很方便。设是一次多项式，是二次多项式，则它们的结式可定义为行列式：
[若将因式分解为]
(3)会将……
现在我们得到一个受限乘法映射（为方便表述，仍记作），它从四维簇[映射到四维空间]
对之前的(4)应用缩放变换(3)，分别对三对变量进行处理，即可得到规范化形式(7)。如此一来，我们保留了性质(b)。此外，该映射仍具有……
同时，我们也满足了性质(a)！假设我们要证明在点对的邻域内是局部单射，其中。由于结式非零，的根（在黎曼球面或射影线上存在）与的两个根互不相同（不过的两个根可能相等）。借助群作用（可对根进行莫比乌斯变换），我们不妨假设是无穷远点（等价于），因此可设，其中为复数；，其中为复数，且结式条件(7)简化为（因此也均非零）。此时显然，若对和进行微小扰动（比如将每个系数修改），则的根会扰动到一个很大的值（），而的根则保持有界。因此，只需知道乘积，就能确定三次多项式的三个根中，哪一个是扰动后的根，哪两个是扰动后的根；结合(6)和(7)，我们还能重构的首项系数，从而完全确定和。这就证明了局部单射性质(a)。（实际上该映射是平展的，但本文无需用到平展映射的相关理论。）
遗憾的是，条件(c)的四维版本不成立：二次超曲面(8)与仿射空间不同构。不过我们可以通过取三维切片来解决这一问题。设是中的某个三维仿射平面（为避免技术问题，我们让它不经过原点），然后将限制为从集合……的映射。根据(8)，限制到后这一性质仍然成立(9)（除非……）。实际上，(9)等价于仿射空间……
我们来具体分析。中不经过原点的仿射超平面，可由的对偶空间中不经过原点的元素来参数化，这些元素可视为二元变量的非零三阶齐次微分算子。事实上，每个这样的算子都对应一个不经过原点的仿射超平面，反之，每个不经过原点的仿射超平面也都能唯一表示为这种形式。正如中的三次多项式可分解为三个一次多项式，对偶空间中的微分算子也可分解为三个线性微分算子，例如：
- 三个根互不相同的算子，即，其中是独立的一阶算子；
- 两个根相同、一个根不同的算子，即，其中是独立的一阶算子；
- 三个根均相同的算子，即，其中是某个一阶算子。
研究发现，(9)的“仿射奇迹”恰好出现在第二种情况，即有两个相同的根时。我暂时无法给出完全令人满意的几何解释，但可通过以下坐标计算来验证这一点。
借助群作用进行规范化，令，此时就是中满足的三次多项式构成的仿射超平面。结合(2)和(5)，簇(9)的坐标形式可明确表示为：
[初看起来，这似乎是一个由三次方程和二次方程定义的普通簇，完全不像是仿射空间！但请注意，若]
我们几乎证明了性质(c)：簇(9)与(10)双有理等价，而(10)等价于……
因此，我们只需补上纤维部分即可。事实上，由(10)可知，处的纤维就是……(10)具有……的结构，(10)同时覆盖了……
处理这类问题的标准方法是利用代数几何与交换代数的现代工具，分析各种切空间，但基于我的知识背景，我更倾向于采用分析学的语言，尤其是大O记号（替代代数几何中的理想概念），手动研究极限情况。在簇(10)上，我们用表示的任意多项式倍数（系数为的多项式表达式）。例如，方程意味着……
[而方程]
结合(15)，我们能得到更精确的渐近估计。将代入(15)，经过一些代数运算可得……
(11)给出了的渐近表达式……(12)，不过此时只能得到一个平凡的界：……
将(16)中的误差项展开为，再进行一些代数运算，我们就能得到一组多项式变量替换……(10)可由三个坐标的多项式组合表示……
将上述计算展开后，还可得到多项式逆映射：……(1)
AI声明：本文中，我借助AI聊天机器人讨论了该问题的多个方面，并验证了文中的若干计算。