A Counterexample to the Global Injectivity of a Jacobian Mapping in \mathbb{C}^5 and Its Analytical Roots

技术摘要：关于 $\mathbb{C}^5$ 中雅可比映射全局单射性的一个反例

问题陈述
本文探讨了雅可比猜想（Jacobian Conjecture），该猜想认为任何具有常数非零雅可比行列式的多项式映射 $F: \mathbb{C}^n \to \mathbb{C}^n$ 都是全局可逆的。虽然 Bass、Connell、Wright 和 Drużkowski 的还原定理已将研究范围缩小到三次线性（Drużkowski）映射，但本研究调查了 $\mathbb{C}^5$ 中一种特定的多项式结构，以测试在单幂雅可比条件下全局单射性的极限。

方法论
作者构造了一个特定的多项式映射 $G(x) = x - \nabla F(x)$，其中 $F$ 是一个 6 次齐次多项式。多项式 $F$ 由四个涉及由 $(u+iv)^6$ 的实部导出的实部与虚部分量的“三对角调和块”组成。

该方法论分为三个阶段进行：

1. 雅可比分析： 作者证明了定义多项式的黑塞矩阵（Hessian matrix）$H_F(x)$ 是严格三对角的。通过分析系数的代数结构，证明了 $H_F(x)$ 的所有幂次的迹恒等于零（即对于 $k=1,\dots,5$，$\text{Tr}(H_F^k) = 0$）。这证明了 $H_F(x)$ 在处处是幂零的，从而确保了映射 $G$ 的雅可比行列式全局恒定且等于 1（$\det(I - H_F) \equiv 1$）。
2. 单射性测试： 利用 $F$ 由偶次单项式组成的特性，$\nabla F$ 是一个奇函数。作者将寻找满足 $G(a) = G(b)$ 的不同点 $a \neq b$ 的问题，简化为寻找方程 $\nabla F(a) = a$（即 $G(a) = \vec{0}$）的非平凡根。
3. 解析分类： 本文对零集 $G(x) = \vec{0}$ 进行了全面的推导。通过隔离变量并对特定子系统应用比例假设（$x_i = k x_j$），作者解出了这些代数方程，从而识别出不同的解族。

主要贡献与结果
本文的主要贡献是构造了一个 $\mathbb{C}^5$ 中单幂多项式映射全局单射性的反例。

• 显式反例： 作者构造了两个不同的稀疏向量 $a = (c, 0, 0, 0, 0)$ 和 $b = (-c, 0, 0, 0, 0)$，其中 $c = 6^{-1/4}$。经过严格证明，$G(a) = G(b) = \vec{0}$，从而表明尽管该映射在处处具有雅可比行列式为 1 的特性，但它并非全局单射。
• 零集分类： 本文对梯度场的解析根进行了详细分类，共识别出 37 个精确的复数解，并将其组织为六个不同的几何级数：
  1. 级数 1： 四个孤立解，仅第一个坐标非零（$x_1^4 = 1/6$）。
  2. 级数 2： 四个解，仅最后一个坐标非零（$x_5^4 = i/6$）。
  3. 级数 3： 四个解，仅中间坐标非零（$x_3^4 = 1/6$）。
  4. 级数 4： 十六个解，由第一和第三坐标的独立线性组合构成。
  5. 级数 5： 一个涉及耦合变量 $x_4$ 和 $x_5$ 的右边界解族，由关于缩放系数 $k_R$ 的二次方程确定。
  6. 级数 6： 一个涉及耦合变量 $x_1$ 和 $x_2$ 的对称左边界解族，由关于缩放系数 $k_L$ 的二次方程确定。

意义
本文声称，这些结果突显了雅可比猜想框架内稳定性与单射性条件的复杂性质。通过展示一个在 $\mathbb{C}^5$ 中不具备全局单射性的单幂映射，这项工作强调了该猜想的难度，以及即使在雅可比行列式平凡恒定时，代数解空间也具有丰富的特性。研究结果被呈现为对这类映射非单射性的验证，提供了精确的复数根解析族，挑战了“常数雅可比行列式意味着高维空间全局可逆”的假设。