ヤコビアン予想

ヤコビアン予想

ヤコビアン予想は、多変数の多項式に関連した非常に著名な数学の問題です。この予想は1939年にオット・ハインリヒ・ケラーによって初めて提起され、その後、この問題は代数幾何学の中心的なテーマとなりました。シュリーラム・アビヤンカールによって、多変数多項式に関する基礎的な知識があれば議論できると広められています。

定義と背景

ヤコビアンの定義に基づき、N 個の変数 X1, ..., XN を持つ多項式 f1, ..., fN を考えます。このとき、ベクトル値関数 F は次のように表現されます：

F(c1, ..., cN) = (f1(c1, ..., cN), ..., fN(c1, ..., cN))

ここで、F のヤコビアン（J_F）は N × N の行列として定義されます。この行列の行列式が J_F です。

予想の内容

ヤコビアン予想は、F が多項式逆関数 G を持つ場合、J_F の逆数も多項式であるという特性を示しています。具体的には、次のように述べられます：

• - もし J_F が非ゼロの定数であり、k が標数 0 の体であるならば、F は逆関数 G を持ち、G も多項式である。

この予想は特定の条件下で多変数微分積分学の逆関数定理と関連しています。例えば、ある滑らかな関数において J_F が 0 でない点で逆関数が存在することが保証されます。

歴史的な試み

この予想に関しては多くの試みや証明が行われたものの、どれも微妙な誤りにより失敗しました。特に、van den Essen（1997年）は、特定の条件下ではこの予想が偽である可能性を指摘しました。2026年7月には、レヴェント・アルポゲが3変数の場合における反例を提示し、予想が成立しないことが明らかにされました。

具体的な反例

アルポゲの研究により示された反例は、次のように定義される多項式写像 F です：

• - f(x, y, z) = (1 + xy)^3 z + y^2(1 + xy)(4 + 3xy)
• - g(x, y, z) = y + 3x(1 + xy)^2 z + 3xy^2(4 + 3xy)
• - h(x, y, z) = 2x - 3x^2y - x^3z

このとき、ヤコビ行列式 J_F は −2 という定数になります。しかし、この写像 F は逆関数を持たず、複数の異なる点が同じ点に写されるためです。具体的には、いくつかの異なる点が同一の像に写ることが示され、これによって予想の不成立が確認されました。

結論

ヤコビアン予想は、数学の様々な領域に影響を及ぼす根源的な問題であり、その真偽は未だ解決されていない問題の一つです。数多くの研究者が取り組み続けているこの問題は、代数幾何学、微分幾何学、さらには解析にまでその重要性を広げています。今後の研究によって新しい視点が得られることが期待されるでしょう。

もう一度検索