Counterexamples to the Jacobian conjecture in dimensions greater than two

技术摘要：大于二维情形下雅可比猜想的反例

问题陈述
由 Keller 在 1939 年提出的雅可比猜想（Jacobian conjecture）断言，任何具有常数非零雅可比行列式（即 Keller 映射）的多项式映射 $F: \mathbb{C}^n \to \mathbb{C}^n$ 必须是多项式自同构（即存在多项式逆映射）。虽然该猜想在 $n=2$ 时仍是一个开放问题，但本文讨论了该猜想在维度 $n > 2$ 时的状态。本研究建立在 Alp¨oge（2026 年 7 月 19 日）宣布的关于三维情形下该猜想被驳回的结论，以及随后 Gallagher 构建的无穷反例族的基础之上。核心问题在于如何将这些反例背后的机制推广到所有维度 $n > 2$，并构造具有任意大几何次数的显式反例。

方法论
本文采用了一种基于“切向扫掠”（tangent sweep）机制的几何构造，该机制最初由 Speyer 提出。其方法论分为三个主要阶段：

1. 切向扫掠（Tangent Sweeping）： 作者通过在参数化超曲面上扫掠一个切向方向场来构造多项式映射。对于参数化超曲面 $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ 和多项式切向场 $\Delta$，定义一个“填充扫掠”（padded sweep）映射 $F_0$。文中证明了该扫掠的雅可比行列式是一个关于乘子变量 $\gamma$ 的多项式，具体形式为 $\det J(F_0) = \sum L_k \gamma^{k+1}$。
2. 分支选择与归一化（Branch Selection and Normalization）： 该构造依赖于选择特定的“分支”，在这些分支中，雅可比行列式简化为单项式项 $c \gamma^{k+1}$。这需要满足切向准则（$\det(\Delta, J(X)) \equiv 0$）和归一化条件，即特定的系数 $L_k$ 消失或变为常数。本文分析了不同类型的方向场（曲线型、平凡型和混合型），以确定在不同维度下有哪些可用分支。
3. 单项式扭转（Monomial Twist）： 为了将具有非恒定雅可比行列式的扫掠映射转换为具有恒定雅可比行列式的 Keller 映射，作者应用了“单项式扭转”。这涉及将扫掠映射与单项式映射及仿射阶段进行复合，以抵消雅可比行列式中的 $\gamma$ 因子。这一过程引入了关于定义超曲面系数的“侧向条件”（整除约束）。至关重要的是，这种扭转将分歧轨迹（即映射不再单射的地方）推向无穷远，从而产生了一个处处无分歧（étale）但非紧致（not proper）的映射。

核心贡献与结果

• 通用框架： 本文建立了一个对每个维度 $n > 2$ 都有效的通用构造。它证明了通过在参数化超曲面上扫掠切向方向场并应用单项式扭转，可以在任何维度 $n \ge 3$ 下生成 Keller 反例。
• 任意几何次数： 该构造可以产生具有任意大几何次数（即泛型纤维中的点数）的反例。对于 $n=3$，它恢复了 Gallagher 的族；对于 $n \ge 4$，通过选择高次数的数据，利用曲线型方向场可以使几何次数任意增加。
• 五个显式反例： 作者推导出了五个新的显式多项式映射：
  • 维度 3： 一个基于具有两个尖点和一个节点的有理四次曲线的映射 $G$，其分量次数分别为 4, 11 和 12（几何次数为 4）。
  • 维度 4：
    • $F_4$：一个源自非柱面直纹面的映射，分量次数分别为 4, 11, 12 和 21（几何次数为 5）。
    • $F_5$：一个源自混合方向场“M-分支”的映射，分量次数分别为 3, 12, 14 和 16（几何次数为 10）。
  • 维度 5：
    • $F_6$：一个源自混合方向场 $\Delta = (1, w_1, w_1^2, w_2)^T$ 的“底部分支”的映射，分量次数分别为 7, 38, 40, 42 和 44（几何次数为 6）。
    • $F_7$：一个利用横截 Keller 型数据、源自“曲线型”方向场的映射，分量次数分别为 7, 86, 89, 92 和 95（几何次数为 12）。
• 纤维结构分析： 本文对这些映射的纤维结构进行了详细描述。它证明了泛型纤维的大小等于几何次数，而特定纤维会在特定轨迹（例如 Jelonek 超曲面）上退化为较小的规模（或变为空集）。例如，映射 $G$ 实现了集合 $\{4, 3, 2, 1, 0\}$ 中的每一个纤维规模。
• 刚性现象： 在维度 5 中，对混合方向场“中间分支”的分析揭示了一种刚性现象。该分支的控制方程在特征不变轨迹上退化为线性输运方程，这表明真正的五维数据无法实现该分支；解似乎是四维扫掠的悬吊（suspensions）。

意义与主张
本文声称提供了一个关于切向扫掠机制的自洽说明，将其从平面曲线推广到了超曲面上的方向场。其主要意义在于：

1. 完成驳回： 它确认了雅可比猜想在所有维度 $n > 2$ 下皆为假，并提供了一个统一的跨维度反例生成机制。
2. 显式性： 不同于以往抽象的存在性证明，这项工作提供了五个经过验证的雅可比行列式及纤维结构的完全显式多项式映射。
3. 几何洞察： 它阐明了反例的几何本质：它们是 étale 覆盖 $\mathbb{C}^n \to \mathbb{C}^n$，其失效单射性的原因仅仅是不同的原像逃逸到了无穷远，而非在有限点处发生碰撞。
4. 传播性： 该构造允许沿着序列 $n \mapsto n+3$ 传播反例，表明低维度的反例可以作为构建高维度反例的数据。

作者指出，所有的多项式恒等式和纤维计数均使用精确有理算术及在可行情况下使用 Gröbner 基进行了验证。他们承认，对于高维映射（$F_4$ 至 $F_7$）的完整纤维分层仍是未来的研究课题，尽管泛型纤维计数已得到严格确立。