3次元におけるヤコビ予想の反例の解説

概要

ヤコビ予想は、ヤコビ行列式がどこでも零でない多項式写像は、多項式逆写像を持つ全域的な可逆写像であると主張します。2026年7月にテレンス・タオが、3次元（したがってそれ以上の次元でも）で予想が成り立たないことを示す反例を発表しました。この投稿では、次数7の明示的な多項式写像 F を示し、そのヤコビ行列式が定数 −2 であることを検証し、同じ像に写る3つの異なる点を示すことで、写像が単射でないことを証明します。

反例となる多項式

写像 F : C^3 → C^3 は次のように定義されます

F(z₁,z₂,z₃) =  ig(((1+z₁z₂)³ z₃ + z₂²(1+z₁z₂)(4+3z₁z₂)), z₂ + 3z₁(1+z₁z₂)² z₃ + 3z₁z₂²(4+3z₁z₂), 2z₁ − 3z₁²z₂ − z₁³z₃ ig).

これは3つの変数に対して総次数7の多項式です。

ヤコビ行列式と単射性の検証

直接計算により、F のヤコビ行列式は定数 −2 であることが分かります。

det DF = −2.

ヤコビ行列式が零でない定数であるため、写像はどこでも局所的に可逆（逆関数定理）です。しかし、F は全域的には単射ではありません。次の3点

(0,0,−1/4), (1,−3/2,13/2), (−1,3/2,13/2)

はすべて同じ像 (−1/4,0,0) に写ります。

F(0,0,−1/4) = F(1,−3/2,13/2) = F(−1,3/2,13/2) = (−1/4,0,0).

したがってヤコビ予想は3次元で失敗します。

対称冪を用いた幾何学的再定式化

構成を分かりやすくするために、タオは C² の対称冪を用いて問題を言い換えます。(\mathrm{Sym}^k(V)) はベクトル空間 V の k‑次対称冪を表します。次の乗算写像を考えます

F : Sym¹(C²) × Sym²(C²) → Sym³(C²), F(L,Q) = L·Q,

ここで L は一次多項式、 Q は二次多項式です。座標で書くと、(L(z,w)=az+bw)、(Q(z,w)=cz²+dz+ew) としたとき

F((a,b),(c,d,e)) = (ac, ad+bc, ae+bd, be).

この写像は多項式であり、(C^* × C^* × SL₂(C)) の作用（L と Q のスケーリング、C² 上の同時変数変換）に対してエキビエントです。

結果式正規化を用いた構成

結果式 (\mathrm{Res}(L,Q) = a²e − abd + cb²) は L と Q が根を共有するかどうかを測ります。これは SL₂‑不変で、スケーリング ((L,Q) ↦ (λL, λ^{-1}Q)) の下で因子 (λ) に変わります。正規化条件 (\mathrm{Res}(L,Q)=1) を課すことでスケーリング対称性が除かれ、4次元多様体

X = { (L,Q) : Res(L,Q)=1 } ⊂ Sym¹(C²)×Sym²(C²)

が得られます。X 上では写像 F は依然として多項式であり、SL₂‑エキビエント性を保ちます。

局所単射性の議論

(Res(L,Q)=1 ≠ 0) ならば L と Q は共通根を持ちません。SL₂ の作用を用いて L の唯一の根を無限遠に送ることができ、適切な変数変換の後に (a=0) となります。このゲージで方程式は (b=1+O(a)), (c=1−(3/2)a y+O(a²)) などとなり、(F(L,Q)) から ((L,Q)) が任意に小さな摂動まで一意に復元できることが示されます。したがって X 上で F は局所的に単射です。

3対1写像としての全域的非単射性

(Res(L,Q)=1) を固定した後でも、乗算写像 F は全域的に単射ではありません。一般的な三次多項式 (C ∈ Sym³(C²)) は 3 つの一次多項式の積 (C = L₁L₂L₃) と因数分解できます。次の 3 つの組

(L₁, L₂L₃), (L₂, L₁L₃), (L₃, L₁L₂)

はすべて同じ (C) に写りますが、スケーリング対称性 ((L,Q)↦(λL,λ^{-1}Q)) で結びつけられません。したがって F は X 上で一般に 3 対 1 であり、局所的に単射であるが全域的には単射でない多項式写像という反例の性質 (b) を満たします。

C³ と同型なアフィン多様体の取得

(Res(L,Q)=1) で定義される多様体 X はアフィン C⁴ と同型ではありません。X を適切なアフィン超平面 (V ⊂ Sym³(C²))（原点を避け、微分作用素 (D = ∂_z²∂_w) に対応）と交差させると、3 次元多様体

X_V = { (L,Q) : Res(L,Q)=1, F(L,Q)∈V }

が得られます。(V) を超平面 { C(z,w)=f z³ + g z² w + h z w² + i w³ : g=1 } と選ぶと、明示的な方程式は

X_V = { (a,b,c,d,e)∈C⁵ : a²e−abd+cb²=1, ad+bc=1 }.

(a≠0) のとき、2 つの方程式は (d) と (e) を (a,b,c) の有理関数として解くことができ、(X_V {a=0}) は { (a,b,c)∈C³ : a≠0 } と birational に同値です。(a=0) の繊維は方程式 (cb²=1) と (bc=1) になるので、唯一解 (b=c=1) が得られ、(d) と (e) は自由です。したがって X_V は多項式変数変換により実際にアフィン C³ と同型であることが示されます。

多項式変数変換と逆写像

次の仮定で座標 ((a,y,z)) を導入します

b = 1 + a y, c = 1 − (3/2) a y + a² z, d = (1−bc)/a = ½ y − a z + (3/2) a y² − a² y z, e = (1+abd−cb²)/a² = −2z + 4y² − 4a y z + 3a y³ − 2a² y² z,

これにより X_V の多項式パラメータ化が得られます。これらの座標での写像 F は

G(a,y,z) = ( a − (3/2)a²y + a³z, ½ y − 3a z + 6a y² − 6a² y z + (9/2)a² y³ − 3a³ y² z, −2z + 4y² − 6a y z + 7a y³ − 6a² y² z + 3a² y⁴ − 2a³ y³ z ).

そのヤコビ行列式は定数 −1 であり、定数ヤコビ性を確認します。逆写像も多項式です。

a = a, y = 2bd − ae, z = 2d² + ce + 6b d² + 3b c e − (9/2) e.

したがって元の反例 F は G を線形変数変換で得られ、例の全体像が完成します。

次元に関する考察と未解決問題

この構成は3次元で機能しますが、任意の多項式埋め込み (C³ → Cⁿ)（n>3）と合成すれば、すべての高次元でも反例が得られます。ヤコビ予想は C² → C² の場合は未解決であり、1次元では自明です。

コミュニティの反応（Hacker News）

読者はヤコビ行列式が定数になるという驚くべきキャンセルに注目しました。コメント者 vanderZwan は次のように述べています:

"Sounds like the most interesting part would be learning what approaches the LLM did use to see if that’s reusable elsewhere."

他のコメントは解説の分かりやすさを評価しています:

"The introduction to this piece was easy to follow, but as soon as he got into recapitulating it with algebra he lost me (because I’m bad at math)." – @tptacek

問題解決への広範な示唆については次のように語られました:

"Finding a different way of thinking about a problem often leads to a breakthrough… I suspect many old problems will fall because of it." – @jmward01

数学を追う難しさについては冗談交じりに:

"After reading a quarter of the article I started wondering, is this what non coders feel when vibe coding software?" – @aayushdutt

これらのコメントは、技術的な挑戦と同時に、反例が読者に与えた熱意と興奮を示しています。