An organizing principle in the study of the Jacobian Conjecture

技术摘要：研究雅可比猜想的一个组织原则

问题陈述
本文探讨了雅可比猜想（Jacobian Conjecture, JC），该猜想认为，每一个满足常数雅可比行列式等于 1（即 $\det DF = 1$）的多项式映射 $F: \mathbb{C}^n \to \mathbb{C}^n$ 都是可逆的（即自同构）。虽然该猜想已在特定类别的映射中得到验证（例如二次映射），但通用的证明在历史上一直未能实现。作者在代数簇 $V^k_n$ 的不可约分量层面研究该猜想，其中 $V^k_n$ 定义为次数最多为 $k$ 且满足雅可比条件的多项式映射集合。核心问题在于：对于固定的不可约分量 $\Omega \subset V^k_n$，该猜想是普遍成立，还是在该分量内是泛性失效的？

方法论
本文通过综合运用代数几何、复分析和拓扑学，建立了关于不可约分量 $\Omega$ 内映射可逆性的二分法。

1. 代数表述： 作者定义了多项式映射空间 $P^k_n$ 和点集 $V^k_n$。在这一点集中，可逆映射的集合记为 $I^k_n = V^k_n \cap \text{Aut}(\mathbb{C}^n)$。证明策略依赖于证明 $I^k_n$ 是 $P^k_n$ 中的一个代数集（具体而言是 Zariski 闭集）。
2. 可构造性与切瓦莱定理（Chevalley's Theorem）： 为了证明 $I^k_n$ 是代数的，作者利用了系数空间与多项式映射之间的同构 $\Lambda^k_n$。通过分析非单射映射的条件 $\Lambda^k_n c(z) - \Lambda^k_n c(w) = 0$（其中 $z \neq w$），作者构造了一个集合 $T$。利用切瓦莱定理，该可构造集的投影被证明是可构造的。因此，单射映射的集合（即该投影的补集）也是可构造的。
3. 拓扑闭包（解析论证）： 证明单射映射集不仅是可构造的，而且是 Zariski 闭的，这是关键的一步。作者论证了可构造集的欧几里得闭包与 Zariski 闭包是重合的。因此，只需证明该集合在欧几里得拓扑下是闭的即可。
   • 考虑一个收敛于映射 $F$ 的单射映射序列 $F_j$。
   • 雅可比条件 $\det DF_j = 1$ 通过复反函数定理确保了 $F$ 是一个局部同胚。
   • 文中证明了一个拓扑引理（记作 $(\dagger)$）：如果一系列单射局部同胚局部一致地收敛于一个局部同胚，则极限映射也是单射的。这依赖于拓扑度理论（topological degree theory）来证明：如果极限映射是非单射的，那么逼近映射最终会违反单射性，从而产生矛盾。

主要贡献与结果
主要结果是定理 1.1，它为 $V^k_n$ 的任何不可约分量 $\Omega$ 确立了一个严格的二分法：

• 备选方案 A： $\Omega$ 中的每个映射 $F$ 都是可逆的（雅可比猜想对 $\Omega$ 成立）。
• 备选方案 B： 一般映射 $F \in \Omega$ 是不可逆的（雅可比猜想对 $\Omega$ 失效）。

本文证明了不存在“中间地带”，即不存在一个既包含可逆映射又包含不可逆映射，从而导致无法进行泛性分类的成分。具体而言，不可约分量内的可逆映射集要么是整个分量，要么是低维的真子簇。

此外，本文将这一二分法与基于 Ax-Grothendieck 定理（该定理指出单射多项式映射必为双射）的概率判据联系起来。作者指出，对于随机选择的 $(F, c) \in \Omega \times \mathbb{C}^n$，方程 $F(z) = c$ 有解且解是唯一的，当且仅当二分法中的第一个备选方案成立。

意义与主张
本文声称提供了一个“组织原则”，重新审视了试图证明雅可比猜想的历史。通过建立这一二分法，作者暗示以往通用证明的失败可能是由于存在其中泛性失效的成分。

其意义在于为寻找反例提供了一种计算方法。作者提出，如果将概率判据应用于所有 $V^k_n$ 的所有分量，人们可能会定位到一个第二个备选方案成立的成分。在这种情况下，反例将是“几乎不可能错过的”，因为它们构成了该分量的泛性行为。本文并未声称找到了反例或证明了猜想成立；相反，它提供了一个结构化框架，将寻找潜在失效点的搜索空间缩小到了特定的不可约分量。

该工作还引用了关于多项式映射 $G: \mathbb{R}^n \to \mathbb{R}^n$ 可逆性的实代数几何相关结果，利用半代数集和 Tarski-Seidenberg 定理来定义一个当且仅当映射可逆时才消失的“核”（kernel）集合。