重み付き幾何から見るヤコビアン予想反例の構造 ― Graded Keller Maps and the Jacobian Conjecture（2026年8月20日最終更新）
7月20日にヤコビアン予想に関して反例が出されてSNSでは騒ぎになりました。今回紹介するのは7月23日にarXiv上で公開されたT. Shaska氏の論文です。テレンス・タオ氏も反例について解説記事やタオ氏がAIと議論したURLも公開されているので、それらすべてリンクを置いておきます。
※記事の執筆にはAIを用いているので正確性は保証できません。
以下はテレンス・タオ氏による解説記事とAI会話へのリンクです。
2026年7月25日：記事の最後に24日付けでarXivで公開された、ヤコビアン予想に関する論文について簡単に触れる内容を追加しました。
2026年8月20日：記事の最後に8月20日付けでarXivで公開された、ヤコビアン予想に関するJoão Vítor Pissolato氏の論文について追記しました。
1. はじめに：87年間未解決だった問題に現れた反例
まず背景説明。
ヤコビ予想（Jacobian Conjecture）は、1939年に提起された有名な未解決問題である。
簡単に言えば、
$$
F:\mathbb{C}^n\rightarrow\mathbb{C}^n
$$
という多項式写像について、ヤコビ行列式
$$
\det JF
$$
が0でない定数ならば、F は多項式逆写像を持つのか、という問題である。
局所的には逆関数が存在する条件なのに、なぜ大域的にも逆写像が存在するのか、という問いであり、代数幾何学における重要な問題だった。
そして2026年7月、Levent Alpöge氏らによって、3次元の場合に反例が発見された。
反例は
$$
F=(a,b,c):\mathbb{C}^3\rightarrow\mathbb{C}^3
$$
で、
$$
a = (1 + xy)^3 z + y^2 (1 + xy)(4 + 3xy),\\
b = y + 3x(1 + xy)^2 z + 3xy^2 (4 + 3xy),\\
c = 2x - 3x^2 y - x^3 z.
$$
という非常にコンパクトな形をしている。
この写像は
$$
\det JF=-2
$$
という条件を満たす一方で、一般的な点では3つの逆像を持つ。
つまりヤコビ予想の主張する「自己同型性」が成立しない。
2. しかし本当に重要なのは「反例の存在」ではなく「構造」である
反例の式だけを見ると、奇妙な現象に見える。
ヤコビ行列式が
$$
\det JF=-2
$$
という非零定数であるなら、逆関数定理によって局所的には必ず逆写像が存在する。
それにもかかわらず、
$$
F(0,0,-1/4) = F(1,-3/2,13/2) = F(-1,3/2,13/2)
$$
となり、3つの異なる点が同じ点へ写される。
一見すると「微分が壊れていないのに折り畳まれている」ような矛盾した現象に見える。
しかし重要なのは、ここで起きていることは局所的な特異点や分岐ではないという点である。
Terence Tao氏はこの反例について、局所可逆性と大域的可逆性の違いという観点から解析している。
Tao氏の説明では、ヤコビアン条件は「どの点の近くでも写像が座標変換として振る舞う」ことを保証する。しかし大域的には、逆像の一部が無限遠へ逃げることで、全単射性が破れる可能性がある。
つまり今回の反例は、
「局所的には完全に正常だが、大域的な空間の構造によって逆写像が存在しない」
という現象として理解できる。
さらにTao氏は、この写像を偶然の多項式としてではなく、低次数多項式の積写像から構成される幾何学的対象として捉え直している。
具体的には、
$$
\mathrm{Sym}^1(\mathbb C^2) \times \mathrm{Sym}^2(\mathbb C^2) \rightarrow \mathrm{Sym}^3(\mathbb C^2)
$$
という線形多項式と二次多項式の積を考える。
一般の3次多項式は3つの一次因子に分解できるため、
$$
(L_1,L_2L_3),\quad (L_2,L_1L_3),\quad (L_3,L_1L_2)
$$
という3通りの分解が同じ積を与える。
ここに「3対1」の構造の源を見ることができる。
つまり反例は、巨大な式を偶然発見したのではなく、もともと存在していた多項式の分解構造を、ヤコビアン条件を満たす形へ制御したものと理解できる。
そしてShaska氏の論文では、さらにこの構造を重み付き幾何という観点から解析し、なぜこのような反例が可能になったのかを明らかにしている。
3. 重みの符号が反例の可能性を決める
論文の中心的な結果の一つは、
重みがすべて正の場合、重み付きKeller mapは必ず自己同型になる
という定理である。
Keller mapとは、
$$
\det JF=\text{constant}\neq0
$$
を満たす多項式写像のこと。
正の重みの場合、これはweighted projective spaceの世界に対応する。
この場合、
軌道が原点へ収束する
商空間が良い性質を持つ
写像がproperになる
ため、結局は逆写像を持つことになる。
つまり、
「反例はweighted projective space的な世界からは出ない」
ということを示している。
4. 反例が存在できた理由：混合符号の重み
ではなぜAlpögeの反例では可能だったのか。
理由は、
$$
(1,-1,-2)
$$
という正負が混在した重みを持つからである。
これはHyperbolic caseと呼ばれる。
正の重みの場合とは違い、
ある方向では無限遠へ逃げる
商空間に収縮する部分が現れる
proper性が失われる
という現象が起きる。
特に重要なのは、
反例では「分岐」が起きているのではなく、逆像の一部が無限遠へ逃げることでヤコビ条件を回避している
という点。
これは非常に数学的に面白い部分だと思います。
5. 3次元が最小だった理由
論文ではさらに、
「なぜ2次元ではこのような反例が出なかったのか」
も説明している。
2次元の場合、
$$
\mathbb{C}^2\rightarrow\mathbb{C}^2
$$
では重み付き作用を考えても、最終的には
三角写像
線形写像
などに分類され、自己同型になってしまう。
つまり、
2次元では逃げる場所がない
3次元になると商空間が2次元になり、非proper性を利用できる
という違いがある。
この結果から、今回の反例は
「3次元で初めて可能になる最小ケース」
だと理解できる。
6. 3次元問題を2次元問題へ落とす
さらに論文の重要な成果として、
$$
\mathbb{G}_m
$$
作用による商を考える。
不変量
$$
u=xy,\qquad v=x^2z
$$
を使うことで、
3次元の写像を
$$
\bar F:\mathbb A^2\rightarrow\mathbb A^2
$$
へ落とす。
ここでKeller条件
$$
\det JF=\text{constant}
$$
は、
商空間では
$$
\operatorname{Jac}(P,Q)=\kappa\Lambda^2
$$
という条件になる。
つまり、
3次元のヤコビ予想反例は、2次元商空間における特殊な退化ヤコビ問題として理解できる
ということになる。
これは単なる解析ではなく、今後新しい反例を探すための「設計原理」になっている。
7. 有理数上ではさらに別の現象が起きる
複素数上では一般的に3つの逆像を持つ。
しかし、
$$
\mathbb Q
$$
上では事情が違う。
論文では、
$$
F(\mathbb Q^3)
$$
はthin set（薄い集合）になることを示す。
つまり、
複素数ではほとんど全ての点に逆像があるが、有理数ではほとんどの点が逆像を持たない
という現象が起こる。
さらに固定群
$$
\mu_2
$$
を持つ特殊な場所では、 -a が平方数かどうかというKummer条件が現れる。
ここで以前のweighted projective space研究との接続が出てくる。
8. 感想・まとめ
今回の反例発見は「AIが87年間未解決だった問題を破った」という点で大きく報道されました。
しかしShaska氏の論文が示しているのは、その先の問いです。
なぜその反例が可能だったのか。
答えは、
重み付き対称性
正負混在するgrading
非proper性
商空間への降下
という代数幾何学的構造にありました。
反例は偶然発見された複雑な式ではなく、実は
$$
(1,-1,-2)
$$
という重みの構造によって生み出されたものだった。
AIによる探索が「発見」を加速させ、人間の数学者がその背後の構造を解明する。
今回の出来事は、これからの数学研究が
「AIによる探索」と「人間による理論化」
の組み合わせへ向かう一つの象徴的な例なのかもしれません。
追記1：Zbigniew Jelonek による論文
関連する研究として、Zbigniew Jelonek による論文「ON MAPPINGS WITH JACOBIAN ONE」（2026年7月24日公開）では、ヤコビアン1を満たす多項式写像全体の空間を幾何学的に解析し、可逆な写像の集合がザリスキー閉集合になることを示している。さらに、もしヤコビアン予想の反例が存在するならば、それらは孤立した特殊な例として現れるのではなく、写像空間の中で大きな構造を持つ成分として現れることを示唆している。ヤコビアン予想を直接解決する結果ではないが、反例が存在する場合に、その「居場所」を制約する研究として興味深い。
Jelonek氏は、多項式写像の大域的な性質を研究する上で重要な概念である「proper（固有性）」や、固有性が失われる値の集合を記述するJelonek集合の研究でも知られている。Properとは直感的には、無限遠へ向かう点が有限の領域へ押し込まれないという性質であり、多項式写像が大域的に可逆となる条件を考える際に重要な概念である。
今回の論文も、多項式写像の局所的条件である「ヤコビアン1」と、大域的な可逆性との関係を、個々の写像ではなく写像全体が作る空間の幾何構造から解析する研究である。先に扱ったShaska氏の議論とは異なる視点ではあるが、どちらも局所的な条件から大域的な性質を理解しようとする、ヤコビアン予想研究の重要な方向性を示している。
追記2：Irit Huq-Kuruvilla による論文
ヤコビアン予想は通常、標数0の体（例えば複素数体）上で研究されてきたが、正標数の世界では微分作用素が情報を失うという特有の問題がある。そこで、非分離拡大による自明な障害を除いた「分離ヤコビアン予想」が考えられていた。
Irit Huq-Kuruvilla による論文「An Explicit Characteristic-2 Counterexample to the Separable Jacobian Conjecture」では、標数2の体上で、ヤコビアン行列式が恒等的に1でありながら可逆でない3変数多項式写像が明示的に構成された。さらに、この写像が誘導する関数体拡大の次数は3であり、標数2とは互いに素であるため分離条件も満たしている。
これは、正標数において単に非分離性を排除するだけではヤコビアン予想を保証できないことを示す結果であり、標数の違いによって生じる代数的現象を理解する上で重要な例となる。
7月27日の追記：ヤコビアン予想からヘッセ予想へ ― 関連問題の進展
2026年7月27日公開のプレプリント「A five-variable counterexample to the Hessian conjecture, and the low-dimensional status of the Jacobian and Hessian conjectures」では、ヤコビアン予想に関連する別の未解決問題であるヘッセ予想（Hessian conjecture）について、5変数の場合の反例が提示された。
ただし、この論文は現時点では査読前のプレプリントであり、著者自身も独立した検証を呼びかけている。そのため、数学的に完全に確定した結果として扱うには今後の検証を待つ必要がある。
原論文へのアクセスは以下のリンクから。
ヘッセ予想とは何か
ヘッセ予想は、ヤコビアン予想と深い関係を持つ多項式写像に関する問題である。
ヤコビアン予想が、多項式写像
$$
F:\mathbb{C}^n\rightarrow\mathbb{C}^n
$$
について、ヤコビアン行列式
$$
\det JF
$$
が0でない定数ならば逆写像も多項式になるかを問うものであるのに対し、ヘッセ予想ではスカラー関数
$$
\phi(x_1,\dots,x_n)
$$
のヘッセ行列
$$
Hess(\phi)
$$
に注目する。
もし
$$
\det Hess(\phi)=定数\neq0
$$
ならば、Legendre変換
$$
\phi^L
$$
も多項式になるのか、という問題である。
Legendre変換は解析力学や凸解析などでも現れる変換であり、勾配写像
$$
\nabla\phi
$$
の逆写像と密接に関係している。
5変数の反例
今回の論文では、
$$
\Psi(x_1,x_2,y_1,y_2,y_3)
$$
という5変数多項式を具体的に構成し、
$$
\det Hess(\Psi)=128
$$
という非零定数になることを示した。
しかし、その勾配写像
$$
\nabla\Psi
$$
は単射ではなく、異なる2点が同じ勾配を持つことを示した。
これはLegendre変換が多項式になるために必要な条件と矛盾するため、
$$
HC_5
$$
（5変数ヘッセ予想）は成立しないことになる。
反例構成の数学的技術
興味深い点は、今回の反例が単純な探索によって得られたものではないことである。
構成の流れは、
Alpöge氏によるヤコビアン予想3次元反例を利用する
それを「doubling」と呼ばれる構成によって6変数のヘッセ予想反例へ変換する
さらに「Schur descent」と呼ばれる1変数を消去する技術によって5変数へ縮約する
というものである。
特にSchur descentでは、ヘッセ行列のブロック構造とSchur補（Schur complement、ブロック行列の消去で現れる行列）の性質を利用し、変数を1つ減らしても
$$
\det Hess
$$
が定数になる性質を保存している。
つまり、既存のヤコビアン予想の反例を、新しいタイプのヘッセ予想の反例へ変換する数学的な橋渡しを構築した点が、この論文の重要な貢献である。
残された問題
論文が正しければ、ヤコビアン予想とヘッセ予想の状況は大きく整理される。
ヘッセ予想については、
$${HC_1：成立}$$
$${HC_2,HC_3：成立}$$
$${HC_5以上：反例あり}$$
$${HC_4：未解決}$$
となる。
またヤコビアン予想については、
$${JC_3以上：反例あり}$$
$${JC_2：依然として未解決}$$
となる。
特に論文では、
$$
HC_4\Rightarrow JC_2
$$
という関係も示されているため、残された問題は低次元の
2変数ヤコビアン予想
4変数ヘッセ予想
という2つに集約されるとしている。どういうことかというと、一般に
$$
HC_{2n}\Rightarrow JC_n
$$
という関係があり、これは2倍の変数を持つヘッセ予想が成立すれば、元の次元のヤコビアン予想も成立することを意味する。具体的には、2変数のヤコビアン写像から4変数のポテンシャル関数を構成し、そのヘッセ行列の性質を利用することで、Legendre変換から元の写像の多項式逆写像を得られる。このため、もし $${HC_4}$$ が証明されれば $${JC_2}$$ も解決することになる。
まとめ
今回の結果は、ヤコビアン予想そのものを直接解決したものではないが、ヤコビアン予想から派生する関連問題であるヘッセ予想について、長年残されていた範囲を大きく整理する可能性がある。
特に、既存の反例を利用して別の未解決問題へ展開する「問題間の橋渡し」という数学的手法は、単なる反例発見以上に興味深い。
ただし、現段階ではプレプリントであり、今後の検証によって評価が確定することになる。
8月20日追記：ヤコビアン予想の反例はどこに潜んでいるのか
ここまで紹介したヤコビアン予想に関連して、2026年8月にJoão Vítor Pissolato氏が発表した論文「On the Density of Polynomial Mappings Satisfying the Jacobian Conjecture」も興味深い結果を示しています。
この論文では、ヤコビアン予想そのものを解決するのではなく、ある次数の多項式写像全体を考えたとき、「generic（一般的）」な写像ではヤコビアン予想が成立することを示しています。鍵となるのが、写像の最高次部分がproper、つまり無限遠へ向かう点が有限の領域へ戻ってきてしまわない性質を持つことです。proper性があると、ヤコビアンが至るところ非零であるという局所的な可逆性の条件を、大域的な可逆性へつなげることができます。
したがって、もしヤコビアン予想の反例が存在するとすれば、それは一般的な多項式写像の中に広く存在するものではなく、最高次部分などに特殊な構造を持つ写像でなければならないことになります。実際、近年提案された3変数での反例についても、最高次部分がproperではないことが確認されています。ヤコビアン予想を解決するものではありませんが、反例を探す際に「どのような写像を調べるべきか」という探索範囲を狭める結果として興味深い研究です。
