Counterexamples to the Jacobian conjecture in dimensions greater than two

技術要約：次元2より大きい場合におけるヤコビアン予想の反例

問題設定
1939年にケラーによって提唱されたヤコビアン予想は、定数かつ非ゼロのヤコビ行列式を持つ多項式写像 $F: \mathbb{C}^n \to \mathbb{C}^n$（ケラー写像）は、必ず多項式自己同型（すなわち、多項式逆写像を持つもの）であるというものである。この予想は $n=2$ の場合は未解決のままであるが、本論文は $n > 2$ の次元における予想のステータスに対処するものである。本研究は、アルポージュ（Alpöge）によって発表された（2026年7月19日）次元3における予想の反駁に基づき、その具体的な反例を構築したギャラガー（Gallagher）によるその後の構成を基礎としている。中心となる問題は、これらの反例の背後にあるメカニズムをすべての次元 $n > 2$ へと一般化し、任意の幾何学的次数を持つ明示的な例を構築することである。

手法
本論文は、スペイヤー（Speyer）によって最初に分離された「接線掃引（tangent sweep）」メカニズムに基づく幾何学的構成を採用している。手法は主に以下の3つの段階で進行する：

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}$ に簡略化される特定の「枝（branches）」を選択することに依存している。これには、接当条件（$\det(\Delta, J(X)) \equiv 0$）および、特定の係数 $L_k$ が消失するか定数になる正規化条件を満たすことが必要である。論文では、利用可能な枝を様々な次元において特定するために、異なる種類の方向場（曲線型、トートロジカル型、混合型）を分析している。
3. 単項式ツイスト（Monomial Twist）： 掃引（非定数のヤコビ行列式を持つ）をケラー写像（定数のヤコビ行列式を持つ）へと変換するために、著者は「単項式ツイスト」を適用する。これは、ヤコビ行列式の $\gamma$ 因子のキャンセルを図るために、掃引を単項式写像とアフィン段階で合成するプロセスを含む。このプロセスにより、多項式を定義する係数に関する「側条件（割り切れるための制約）」が導入される。決定的なことに、このツイストは分岐集合（写像が単射性を失う場所）を無限遠へと押しやり、その結果、至る所で非分岐（エタール）であるが、固有ではない（not proper）写像が得られる。

主要な貢献と結果

• 一般的枠組み： 本論文は、すべての次元 $n > 2$ で有効な一般的な構成を確立している。パラメータ化された超曲面上で接線方向場を掃引し、単項式ツイストを適用することで、任意の次元 $n \ge 3$ においてケラー反例を生成できることを示している。
• 任意の幾何学的次数： この構成は、任意の幾何学的次数（一般的なファイバー内の点数）を持つ反例を生成する。$n=3$ の場合、これはギャラガーのファミリーを回収する。$n \ge 4$ の場合、曲線型の方向場を用いることで、高次のデータを選択することにより幾何学的次数を任意に増大させることが可能である。
• 5つの明示的な反例： 著者は5つの新しい明示的な多項式写像を導出している：
  • 次元 3： 2つの尖点（cusp）と1つの結節点（node）を持つ有理四次曲線に基づく、成分次数が 4, 11, 12（幾何学的次数 4）の写像 $G$。
  • 次元 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$：横断的ケラー型データを利用した「曲線型」方向場から導出された、成分次数が 7, 86, 89, 92, 95（幾何学的次数 12）の写像。
• ファイバー構造の分析： 論文は、これらの写像のファイバー構造の詳細な記述を提供している。一般的なファイバーのサイズが幾何学的次数に等しいこと、そして特定のファイバーが特定の軌道（例：イェロネック（Jelonek）超曲面）の上で、より小さいサイズに退化する（あるいは空になる）ことを証明している。例えば、写像 $G$ は $\{4, 3, 2, 1, 0\}$ のすべてのファイバーサイズを実現する。
• 剛性現象（Rigidity Phenomenon）： 次元5における混合方向場の「中間枝」の分析により、剛性現象が明らかになった。この枝を支配する方程式は、特性不変軌道上で線形輸送方程式へと退化しており、純粋な5次元のデータがこの枝を実現できないことを示唆している。つまり、解は4次元の掃引の懸垂（suspension）として現れる。

意義および主張
本論文は、接線掃引メカニズムを平面曲線から超曲面上の方向場へと一般化し、自己完結的な説明を提供することを目的としている。その主な意義は以下の通りである：

1. 反駁の完了： すべての次元 $n > 2$ においてヤコビアン予想が偽であることを確認し、これらすべての次元における反例のための統一的なメカニズムを提供した。
2. 明示性： 抽象的な存在証明とは異なり、本研究はヤコビ行列式とファイバー構造が検証された、完全に明示的な5つの多項式写像を提供している。
3. 幾何学的洞察： 反例の幾何学的性質を明確にしている。それらは、有限の点で衝突するのではなく、異なる前像が無限遠へ逃げていくことによって単射性を失う、エタール被覆 $\mathbb{C}^n \to \mathbb{C}^n$ である。
4. 伝播： この構成は、数列 $n \mapsto n+3$ に沿った反例の伝播を可能にしており、低次元の反例がより高次元の反例を構築するためのデータとして機能することを示唆している。

著者は、すべての多項式恒等式およびファイバー数は、可能な限り厳密な有理演算およびグレブナー基数を用いて検証されたと述べている。また、高次元写像（$F_4$ から $F_7$）の完全なファイバー層別化については今後の課題であるが、一般的なファイバー数は厳密に確立されている。