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

技術要約：$\mathbb{C}^5$におけるヤコビ写像の全単射性に対する反例

問題設定
本論文は、ヤコビアン行列式が非ゼロの定数であるような多項式写像 $F: \mathbb{C}^n \to \mathbb{C}^n$ は大域的に可逆であるという主張、すなわちヤコビアン予想（Jacobian Conjecture）を取り扱う。Bass、Connell、Wright、およびDrużkowskiによる簡約定理によって、この予想の範囲は立方線形（Drużkowski）写像へと絞り込まれているが、本研究では、一様（unipotent）なヤコビアン条件の下での大域的単射性の限界を検証するために、$\mathbb{C}^5$における特定の多項式構造を調査する。

手法
著者は、$F$ を6次の同次多項式として定義される多項式写像 $G(x) = x - \nabla F(x)$ を構成する。多項式 $F$ は、$(u+iv)^6$ の実部から導出された実部および虚部を含む、4つの「三対角調和ブロック」で構成されている。

手法は以下の3段階で進行する：

1. ヤコビアン解析： 著者は、定義される多項式 $F$ のヘッセ行列 $H_F(x)$ が厳密に三対角であることを示す。係数の代数的構造を分析することにより、$H_F(x)$ のすべてのべき乗のトレースが恒等的に消滅すること（$\text{Tr}(H_F^k) = 0$、ここで $k=1,\dots,5$）が示される。これにより、$H_F(x)$ は至る所でべき零となり、写像 $G$ のヤコビアン行列式が全域的に定数であり、1に等しいこと（$\det(I - H_F) \equiv 1$）が証明される。
2. 単射性のテスト： $F$ が偶数次の単項式から構成されているという事実を利用して、$\nabla F$ は奇関数となる。著者は、異なる点 $a \neq b$ に対して $G(a) = G(b)$ となる点を見つける問題を、方程式 $\nabla F(a) = a$（すなわち $G(a) = \vec{0}$）の非自明な根を見つける問題へと帰着させる。
3. 解析的分類： 本論文は、零集合 $G(x) = \vec{0}$ の包括的な導出を行う。変数を孤立させ、特定の部分系に対して比例関係の仮定（$x_i = k x_j$）を適用することで、代数方程式を解き、一連の解の族を特定する。

主な貢献と結果
本論文の主要な貢献は、$\mathbb{C}^5$における一様多項式写像の全単射性に反する反例を構築したことである。

• 明示的な反例： 著者は、2つの異なる疎なベクトル $a = (c, 0, 0, 0, 0)$ および $b = (-c, 0, 0, 0, 0)$ （ここで $c = 6^{-1/4}$）を構成する。$G(a) = G(b) = \vec{0}$ であることが厳密に証明されており、これにより、当該写像が至る所でヤコビアン行列式が1であるにもかかわらず、大域的に単射ではないことが示される。
• 零集合の分類： 本論文は、勾配場の解析的な根の詳細な分類を行い、計37個の正確な複素解を6つの異なる幾何級数として整理している：
  1. 級数1： 第1成分のみが非ゼロである4つの孤立した解（$x_1^4 = 1/6$）。
  2. 級数2： 最後の成分のみが非ゼロである4つの解（$x_5^4 = i/6$）。
  3. 級数3： 中央の成分のみが非ゼロである4つの解（$x_3^4 = 1/6$）。
  4. 級数4： 第1成分と第3成分の独立な線形結合によって形成される16個の解。
  5. 級数5： 変数 $x_4$ と $x_5$ が結合した右境界上の解の族（スケーリング係数 $k_R$ に関する二次方程式によって決定される）。
  6. 級数6： 変数 $x_1$ と $x_2$ が結合した左境界上の対称な解の族（スケーリング係数 $k_L$ に関する二次方程式によって決定される）。

意義
本論文は、これらの結果がヤコビアン予想の枠組みにおける安定性と単射性の条件の複雑さを浮き彫りにしていると主張している。一様多項式写像が $\mathbb{C}^5$ において大域的単射性に失敗することを提示することで、本研究は、ヤコビアン行列式が自明に定数である場合であっても、この予想の困難さと代数的解空間の豊かさを強調している。これらの知見は、高次元において定数ヤコビアン行列式が全単射性を意味するという仮定に挑戦する、特定のクラスの写像に対する非単射性の検証として提示されている。