An organizing principle in the study of the Jacobian Conjecture

技術的要約：ヤコビ予想の研究における組織原理

問題提起
本論文は、すべての多項式写像 $F: \mathbb{C}^n \to \mathbb{C}^n$ が（ヤコビ行列式が定数 1、すなわち $\det DF = 1$ であるとき）可逆（自己同型）であると仮定するヤコビ予想（JC）を扱う。この予想は、特定のクラスの写像（例：二次写像）については検証されているが、一般的な証明は歴史的に失敗してきた。著者は、次数が最大 $k$ であり、かつヤコビ条件を満たす多項式写像の集合として定義される代数的軌跡 $V^k_n$ の既約成分のレベルにおいて、この予想を調査している。中心となる問いは、固定された既約成分 $\Omega \subset V^k_n$ 内において、予想が普遍的に成立するのか、あるいはその成分内で生成的（generic）に成立しないのかという点である。

手法
本論文は、既約成分 $\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$ 内の代数集合（具体的には、ザリスキー閉集合）であることを示すことに依拠している。
2. 構成可能性とチェヴァレーの定理: $I^k_n$ が代数的であることを証明するために、係数空間と多項式写像の間の同型 $\Lambda^k_n$ を利用する。非単射な写像の条件 $\Lambda^k_n c(z) - \Lambda^k_n c(w) = 0$ （ただし $z \neq w$）を分析することにより、集合 $T$ を構成する。チェヴァレーの定理を用いることで、この構成可能集合の射影が構成可能であることが示される。その結果、単射な写像の集合（射影の補集合）もまた構成可能となる。
3. 位相的閉包（解析的手法）: 単射な写像の集合が単に構成可能であるだけでなく、ザリスキー閉集合であることを証明することが重要なステップである。これには、ユークリッド閉包とザリスキー閉包が一致するという議論が含まれる。したがって、集合がユークリッド位相において閉集合であることを示せば十分である。
   • 写像 $F$ に収束する単射な写像の列 $F_j$ を考える。
   • ヤコビ条件 $\det DF_j = 1$ は、複素逆関数定理を通じて $F$ が局所同相写像であることを保証する。
   • ある位相的補題（$(\dagger)$ と表記）が証明される：もし一連の単射な局所同相写像が、局所同相写像へと局所一様に収束する場合、その極限写像もまた単射である。これは、もし極限写像が非単射であった場合、近似写像が最終的に単射性を失うことになり、矛盾が生じることを、トポロジー的次数の理論を用いて示すことに基づいている。

主要な貢献と結果
主要な結果は定理 1.1であり、これは $V^k_n$ の任意の既約成分 $\Omega$ に対して厳密な二分法を確立するものである：

• 代替案 A: すべての写像 $F \in \Omega$ は可逆である（ヤコビ予想は $\Omega$ において成立する）。
• 代替案 B: 一般的な写像 $F \in \Omega$ は非可逆である（ヤコビ予想は $\Omega$ において成立しない）。

本論文は、成分内に可逆な写像と非可逆な写像が混在し、生成的な分類を妨げるような「中間領域」は存在しないことを証明している。具体的には、既約成分内の可逆な写像の集合は、成分全体であるか、あるいはより低い次元の固有部分多様体であるかのいずれかである。

さらに、本論文は、アックス・グロタンディークの定理（単射な多項式写像は全単射であるという定理）に基づく確率的基準へとこの二分法を関連付けている。著者は、$(F, c) \in \Omega \times \mathbb{C}^n$ をランダムに選択した場合、$F(z) = c$ の解が存在し、かつ一意であることは、二分法の第一の代替案が成立する場合と同値であると示唆している。

意義と主張
本論文は、ヤコビ予想の証明の歴史を再構成する「組織原理」を提供すると主張している。この二分法を確立することで、著者は、これまでの一般的な証明の失敗は、予想が生成的に成立しない成分が存在することに起因している可能性があることを示唆している。

その意義は、反例を見つけるための計算論的なアプローチを提供することにある。著者は、もしすべての $V^k_n$ のすべての成分に対して確率的基準を適用すれば、第二の代替案が成立する成分 $\Omega$ を特定できる可能性があると考えている。そのような場合、反例は「見逃すことがほぼ不可能」なものとなる。なぜなら、それらはその成分の生成的挙動を構成しているからである。本論文は、反例を見つけた、あるいは予想が真であることを証明したと主張しているのではない。むしろ、潜在的な失敗の探索空間を特定の既約成分へと絞り込むための構造的枠組みを提供しているのである。

また、本論文は、多項式写像 $G: \mathbb{R}^n \to \mathbb{R}^n$ の可逆性に関する実代数幾何学の関連結果についても言及しており、半代数集合とタルスキ・セデンハイマーの定理を用いて、写像が可逆である場合にのみ消滅する「核（kernel）」の集合を利用している。