雅可比猜想反例的解读

# 对雅可比猜想反例的消化 来源：https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/ 臭名昭著的**雅可比猜想**（https://en.wikipedia.org/wiki/Jacobian_conjecture）可以在复数域上具体表述如下。 > **猜想 1（雅可比猜想）** 设 {F:{\bf C}^n \rightarrow {\bf C}^n} 是一个 {n} 个复变量的多项式映射，其雅可比行列式 {\mathrm{det} DF} 是非零常数。则 {F} 可逆（且逆映射为多项式）。 条件“雅可比行列式 {\mathrm{det} DF} 非零”等价于 {F} 是局部可逆的。（从非零雅可比行列式推出局部可逆性可由反函数定理得到；反之，可由魏尔斯特拉斯预备定理（https://en.wikipedia.org/wiki/Weierstrass_preparation_theorem）推出，此处略去。）此外，由代数基本定理，一旦雅可比多项式 {\mathrm{det} DF} 非零，它必为常数。因此假设“雅可比行列式 {\mathrm{det} DF} 是非零常数”可替换为“{F} 是局部可逆的”。所以雅可比猜想可以看作一个断言：局部可逆性蕴含全局可逆性。复数域可以很容易地通过莱夫谢茨原理（https://en.wikipedia.org/wiki/Algebraic_geometry_and_analytic_geometry#The_Lefschetz_principle）替换为其他特征零的域，但我更倾向于在复数域的具体设定下工作。 最近，有结果（https://www.newscientist.com/article/2580374-ais-solution-to-87-year-old-riddle-takes-mathematicians-by-surprise/）（使用 Fable AI）显示该猜想在三维（从而在更高维）不成立： > **定理 2（猜想的反例）** 存在一个多项式映射 {F : {\bf C}^3 \rightarrow {\bf C}^3}，其雅可比行列式为非零常数，但不可逆。 该猜想在二维仍开放，在一维则容易证明。 这个反例可以完全显式地写出： \displaystyle F(z_1,z_2,z_3) = \Big((1+z_1 z_2)^3 z_3 + z_2^2 (1+z_1z_2) (4+3z_1z_2), \ \ \ \ \ (1) \displaystyle z_2 + 3 z_1 (1+z_1z_2)^2 z_3 + 3 z_1 z_2^2 (4+3z_1z_2), \displaystyle 2 z_1 - 3 z_1^2 z_2 - z_1^3 z_3\Big) 通过简单计算可以验证： \displaystyle \mathrm{det} DF = -2 且 \displaystyle F(0,0,-1/4) = F(1,-3/2, 13/2) = F(-1,3/2,13/2) \displaystyle = (-1/4,0,0). 尽管验证非常迅速，但以这种方式呈现的构造看起来像是一个巨大的奇迹。多项式 {F} 是七次的，所以*先验地*，雅可比行列式 {\mathrm{det} DF} 应该是一个最多 {3 \times 6 = 18} 次的三变量多项式，因此该多项式的所有非常数项系数为零的事实看起来涉及{\binom{18+3}{3}-1 = 1299}个系数的巨大抵消，这远大于一般七次三变量多项式的自由度{\binom{7+3}{3} = 120}。因此，通过暴力搜索找到这样的多项式看起来极不可能。 这个例子后来被用更几何的术语（https://x.com/davikrehalt/status/2079175065695035442）进行了回顾性解释。作为一次我自己的“消化”练习，我试图在较少使用代数几何的情况下写出这个解释，使得所需的“奇迹”数量最小化，尽管仍有几处地方出现了值得注意的现象。 使用局部单射的表述很方便，并将定义域 {{\bf C}^3} 推广为一个等价的仿射簇。具体地，我们将证明： > **定理 3（反例的重新表述）** 存在一个仿射簇 {X \subset {\bf C}^5}，它通过多项式变量替换同构于 {{\bf C}^3}，以及一个多项式映射 {F : X \rightarrow {\bf C}^3} 是局部单射的，但不是全局单射的。 显然，从定理3（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#jac2）到定理2（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#jac1）只需与同构 {X \cong {\bf C}^3} 复合，并利用之前提到的局部单射蕴含非零常数雅可比行列式的事实。我们的目标是找到数据 {X}、{F : X \rightarrow {\bf C}^3}，使其满足三个独立性质： 将问题分解为这三个部分的优势在于，我们可以分别向每一个目标逐步构建。 事实证明，{F} 和 {X} 可以基于低次多项式的乘法运算来构造。考虑以下三个简单的仿射空间： （这里 {\mathrm{Sym}^k(V)} 表示向量空间 {V} 的第 {k} 个对称幂（https://en.wikipedia.org/wiki/Symmetric_power））。显然这些空间分别同构于 {{\bf C}^2, {\bf C}^3, {\bf C}^4}。此外，我们有一个乘法映射 {F : \mathrm{Sym}^1({\bf C}^2) \times \mathrm{Sym}^2({\bf C}^2) \rightarrow \mathrm{Sym}^3({\bf C}^2)}，它将一对一次多项式 {L} 和二次多项式 {Q} 映射为三次多项式 \displaystyle F(L,Q) := LQ. （目前，该映射 {F} 的定义域和值域维数都大于目标三维；我们将在论证过程中逐步削减维数至三维。） 映射 {F} 本质上是从 {{\bf C}^5} 到 {{\bf C}^4} 的映射，显然是多项式映射；在坐标下显式给出为 \displaystyle F( (a,b), (c,d,e) ) = (ac, ad + bc, ae + bd, be). \ \ \ \ \ (2) 映射 {F} 还具有两个基本的（且交换的）对称性： 因此，这个映射具有大量的等变性，基本上关于一个五维群 {{\bf C}^\times \times {\bf C}^\times \times \mathrm{SL}_2({\bf C})} 的作用。 五维定义域 {\mathrm{Sym}^1({\bf C}^2) \times \mathrm{Sym}^2({\bf C}^2)} 当然大于四维值域 {\mathrm{Sym}^3({\bf C}^2)}，所以映射 {F} 显然不可能是单射。这已经可以从缩放对称性看出：具体缩放 \displaystyle (L, Q) \mapsto (\lambda L, \lambda^{-1} Q) \ \ \ \ \ (3) 对于 {\lambda \in {\bf C}^\times} 改变了一次、二次多项式 {L,Q}，但不改变其乘积 {C = LQ}。但即使商掉对称性(3)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#specific）将定义域维数削减到四，映射 {F} 仍然不是满射，原因如下：一个一般选取的三次多项式 {C} 会分解为三个独立一次多项式的乘积 {C = L_1 L_2 L_3}。那么存在三个对 \displaystyle (L_1, L_2 L_3), (L_2, L_1 L_3), (L_3, L_1 L_2) \ \ \ \ \ (4) 它们都通过乘法映射 {F} 映射到同一个三次多项式 \displaystyle F(L_1, L_2 L_3) = F(L_2, L_1 L_3) = F(L_3, L_1 L_2) = C 但彼此之间并不通过缩放对称性(3)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#specific）相关联。因此，我们看到即使商掉缩放对称性(3)，乘法映射 {F} 通常是三对一而非单射的。这样我们已经实现了类似于目标 (b) 的东西！ 利用缩放对称性 {(L, Q) \mapsto (\lambda L, \lambda^{-1} Q)} 来获得一个有用的规范化是方便的。如果 {L(z,w)=az+bw} 是一次多项式，{Q(z,w)} 是二次多项式，则结式（https://en.wikipedia.org/wiki/Resultant）{\mathrm{Res}(L,Q)} 可由行列式定义 \displaystyle \mathrm{Res}(L,Q) = \begin{vmatrix} a & b & 0 \\ 0 & a & b \\ c & d & e \end{vmatrix} = a^2 e - abd + c b^2. \ \ \ \ \ (5) 如果分解 \displaystyle L(z,w) = a (z - \alpha w), \quad Q(z,w) = c (z - \beta_1 w)(z - \beta_2 w) 那么结式也可描述为 \displaystyle \mathrm{Res}(L,Q) = a^2 c (\alpha - \beta_1) (\alpha - \beta_2). 因此，结式度量了一次多项式 {L} 和二次多项式 {Q} 是否共享公共根。关于结式的一个基本事实是它是 {SL_2} 不变的：对于任意 {T \in SL_2({\bf C})}，有 \displaystyle \mathrm{Res}(L \circ T, Q \circ T) = \mathrm{Res}(L,Q). 验证方法之一是先对平移 {(z,w) \mapsto (z, w + h z)}（它将根 {\alpha,\beta_1,\beta_2} 平移 {h} 而保持 {a,c} 不变）和对合 {(z,w) \mapsto (w,z)}（它将 {\alpha,\beta_1,\beta_2} 分别映到 {1/\alpha, 1/\beta_1, 1/\beta_2}，同时将 {a,c} 分别映到 {-a\alpha} 和 {c\beta_1 \beta_2}）进行检验，然后注意到这些变换生成整个 {SL_2({\bf C})}。结式与缩放也配合得很好： \displaystyle \mathrm{Res}(\lambda_1 L, \lambda_2 Q) = \lambda_1^2 \lambda_2 \mathrm{Res}(L,Q). 特别地，缩放对称性(3)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#specific）将 {\mathrm{Res}(L,Q)} 乘以 {\lambda}： \displaystyle \mathrm{Res}(\lambda L, \lambda^{-1} Q) = \lambda \mathrm{Res}(L,Q). \ \ \ \ \ (6) 因此，我们可以（在一般位置）通过施加条件 \displaystyle \mathrm{Res}(L,Q) = 1. \ \ \ \ \ (7) 来规范化掉这个缩放对称性。现在我们有一个从四维簇 \displaystyle \{ (L,Q) \in \mathrm{Sym}^1({\bf C}^2) \times \mathrm{Sym}^2({\bf C}^2) : \mathrm{Res}(L,Q) = 1\} \ \ \ \ \ (8) 到四维空间 {\mathrm{Sym}^3({\bf C}^2)} 的限制乘法映射（为方便仍记作 {F}）。这个映射 {F} 仍然不是全局单射，因为我们可以取前面(4)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#l123）中的三个对，并分别对每个对应用缩放(3)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#specific）以获得规范化(7)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#res1）。所以我们保持了性质 (b)。此外，这个映射仍然具有 {SL_2} 等变性（以及一个剩余的缩放对称性，尽管我们不再过多利用该对称性）。 但现在我们也得到了性质 (a)！假设我们要证明 {F} 在满足 {\mathrm{Res}(L,Q) = 1} 的对 {(L,Q)} 的邻域内是局部单射的。由于结式非零，{L} 的根 {\alpha}（存在于黎曼球面，或者如果你喜欢射影直线）与 {Q} 的两个根 {\beta_1, \beta_2} 不同（尽管后两个根可能相等）。应用 {SL_2} 作用（它对根进行莫比乌斯变换），我们可以不失一般性地假设 {\alpha} 是无穷远点（即等价于 {a=0}），因此 {L(z,w) = b w} 对某复数 {b}，而 {Q(z,w) = c (z - \beta_1 w)(z - \beta_2 w)} 对某复数 {c, \beta_1, \beta_2}，结式条件(7)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#res1）简化为 {cb^2 = 1}（因此特别地 {c,b} 也非零）。那么显然，如果对 {L} 和 {Q} 进行微小扰动（比如说，每个系数的改变量为 {O(\varepsilon)}），则 {L} 的根 {\alpha=\infty} 会扰动到很大（{\gg 1/\varepsilon}），而 {Q} 的根 {\beta_1,\beta_2} 保持有界。因此，仅从乘积 {F(L,Q)} 的知识，我们就可以重构这个三次多项式的三个根中哪个是 {L} 的扰动根，哪两个是 {Q} 的扰动根；由此并结合(6)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#scal）、(7)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#res1），我们还可以重构 {Q} 的首项系数 {c}，这完全决定了 {L} 和 {Q}。这就建立了局部单射性质 (a)。（实际上它是étale态射（https://en.wikipedia.org/wiki/Formally_%C3%A9tale_morphism），但我们这里不需要étale映射的机制。） 不幸的是，（四维版本的）条件 (c) 不成立：二次超曲面(8)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#quad）不同构于仿射空间 {{\bf C}^4}。但我们可以尝试通过取一个三维切片来绕过这个问题。设 {V} 是 {\mathrm{Sym}^3({\bf C}^2)} 中的某个三维仿射平面（为技术原因我们将取它避开原点），则我们可以将 {F} 限制为从集合 \displaystyle \{ (L,Q) \in \mathrm{Sym}^1({\bf C}^2) \times \mathrm{Sym}^2({\bf C}^2) : \mathrm{Res}(L,Q) = 1; \ \ \ \ \ (9) \displaystyle F(L,Q) \in V\} 到 {V} 的映射。后者显然（通过线性坐标变换）可等同于 {{\bf C}^3}。由于 {F} 已经是局部可逆的，它在限制下仍然局部可逆；并且因为一般的三次多项式 {C} 在 (8)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#quad）中在 {F} 下有三个原像，这在限制到 (9)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#quad-v）后仍然成立（除非 {V} 以某种方式退化到没有一般元素，但这不可能）。所以我们保留了性质 (a) 和 (b)。奇迹在于，通过精心选择 {V}，我们还可以得到 (c) 并获得雅可比猜想的所需反例：尽管表面上看，簇 (9)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#quad-v）实际上通过多项式变量替换等价于仿射空间 {{\bf C}^3}！ 让我们看看如何做到。{\mathrm{Sym}^3({\bf C}^2)} 中避开原点的仿射超平面由 {\mathrm{Sym}^3({\bf C}^2)} 的对偶空间中避开原点的元素参数化，可以将其视为两个变量中的非零三阶齐次微分算子 {D = j \partial_z^3 + k \partial_z^2 \partial_w + l \partial_z \partial_w^2 + m \partial_w^3}。事实上，每个这样的算子 {D} 生成避开原点的仿射超平面 {\{ C \in \mathrm{Sym}^3({\bf C}^2) : D(C) = 1\}}，反之由对偶性，每个避开原点的仿射超平面唯一地以此形式出现。正如 {\mathrm{Sym}^3({\bf C}^2)} 中的三次多项式可以分解为三个一次多项式，对偶空间 {\mathrm{Sym}^3({\bf C}^2)^*} 中的微分算子也可以分解为三个线性微分算子，例如在 {j} 非零的情况下 \displaystyle D = j (\partial_z - \gamma_1 \partial_w) (\partial_z - \gamma_2 \partial_w) (\partial_z - \gamma_3 \partial_w) {SL_2} 作用通过莫比乌斯变换在黎曼球面上移动根 {\gamma_1,\gamma_2,\gamma_3}。由于这些变换是 {3} 重传递的，这些根的实际选择并不那么重要（缩放对称性同样使得首项系数 {j} 的选择不重要）；唯一需要跟踪的是根是否重复。在对称性下，实际上只有三种不同的微分算子 {D}（从而仿射超平面 {V}）等价类需要考虑： 事实证明，对于 (9)（https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/#quad-v），仿射奇迹恰好发生在第二类中。