ヤコビアン予想の三次元反例が証明される
Fable AI を用いた研究により、三次元におけるヤコビアン予想の反例が示されたことが明らかになった。ヤコビアン行列式が非ゼロ定数であっても大域的に可逆でない多項式写像の構成により、この長年の予想が三次元以上で偽であることが証明された。
ヤコビアン予想は、複素変数における多項式写像において、ヤコビアン行列式が非ゼロ定数である場合、その写像は多項式逆写像を持つと述べる予想である。この予想は一次元では容易に成立し、二次元では未解決のままである一方、三次元では反例が存在することが明らかになった。
反例の構成原理
反例となる多項式写像は、ヤコビアン行列式が非ゼロ定数(値は 1)であるにもかかわらず、大域的には単射でない性質を持つ。局所的単射性は微分演算子の根の摂動解析により確立されるが、大域的には複数の逆像を持つ点が存在する。
この構成において、汎用的な三次多項式は乗法写像の下で三つの逆像を持つ傾向を示す。また、結果式(resultant)が線形および二次多項式が共通根を持つかどうかを測定する役割を果たし、PSL(2,C) 不変性を保持する。
次元別の予想の状態
ヤコビアン予想の真偽は次元によって異なる状況を示している。一次元では予想の妥当性が容易に確認される一方で、二次元では現在も予想が開かれた問題として残されている。三次元以上においては、Fable AI による計算を用いた反例構成により、予想が偽であることが示された。
二次多項式がアフィン平面(原点を避ける)に制限される場合、局所単射性と大域的非単射性の両方の特性が保持されることが確認されている。この場合、汎用的な立方体方程式と二次方程式に対してベズー定理が示唆する六つの可能な解のうち、五つが無限遠直線上に存在し、アフィン解は一つのみとなる。
筆者の見立て
- 反例となる多項式は、見た目上は大規模なキャンセレーション(相殺)が発生しているように見える奇跡のような構造を示唆している
- ブルートフォース探索によって偶然にそのような多項式を発見することは極めて困難と考えられている
- アフィン空間での奇跡的な現象は、微分作用素が二つの同一の根を持つ場合に正確に生じると解釈されている
この記事は元記事の事実のみに基づいて自動生成されました。
出典
What's new, "A digestion of the Jacobian conjecture counterexample", https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/