Jacobi-Vermutung

Die Jacobi-Vermutung in der Mathematik besagt, dass eine Polynomfunktion von einem $N$-dimensionalen Raum in sich selbst, deren Jacobi-Determinante einen konstanten und von null verschiedenen Wert hat, eine polynomielle Umkehrfunktion besitzt. Die Vermutung wurde erstmals 1939 von Ott-Heinrich Keller aufgestellt und von Shreeram Abhyankar als ein Beispiel für eine schwierige Frage in der algebraischen Geometrie, die auch mit wenig Kenntnissen der Differentialrechnung verstanden werden kann, weiter verbreitet.

Die Jacobi-Vermutung ist Nummer 16 in Smales Liste von mathematischen Problemen für das nächste Jahrhundert. Sie ist für eine große Anzahl letztlich fehlerhafter Beweisversuche bekannt.

Im Jahr 2026 veröffentlichte Levent Alpöge, Mathematiker bei Anthropic, auf X ein Gegenbeispiel, das die Vermutung für $N>2$ widerlegt. Es entstand unter Verwendung des Large Language Models Fable 5 von Anthropic. Eine begutachtete Veröffentlichung liegt bislang nicht vor. Für zweidimensionale Vektorräume ($N=2$) bleibt die Vermutung weiterhin ungelöst.

Jacobi-Determinante

Für eine feste ganze Zahl $N>1$ betrachte Polynome $f_{1},\ldots ,f_{N}$ in den Variablen $X_{1},\ldots ,X_{N}$ mit Koeffizienten in einem Körper $k$. Dann definiert

$F(X_{1},\ldots ,X_{N})=(f_{1}(X_{1},\ldots ,X_{N}),\ldots ,f_{N}(X_{1},\ldots ,X_{N}))$

eine vektorwertige Funktion $F:k^{N}\rightarrow k^{N}$. Jede auf diese Weise entstehende Abbildung $F:k^{N}\rightarrow k^{N}$ wird als Polynomabbildung bezeichnet.

Die Jacobi-Determinante $J_{F}$ von $F$ wird als Determinante der Jacobi-Matrix definiert:

$J_{F}=\left|{\begin{matrix}{\frac {\partial f_{1}}{\partial X_{1}}}&\cdots &{\frac {\partial f_{1}}{\partial X_{N}}}\\\vdots &\ddots &\vdots \\{\frac {\partial f_{N}}{\partial X_{1}}}&\cdots &{\frac {\partial f_{N}}{\partial X_{N}}}\end{matrix}}\right|$,

dann ist $J_{F}$ selbst eine Polynomfunktion der $N$ Variablen $X_{1},\ldots ,X_{N}$.

Formulierung der Vermutung

Aus der mehrdimensionalen Kettenregel folgt, dass wenn $F$ eine polynomiale Umkehrfunktion $G:k^{N}\rightarrow k^{N}$ hat, dann $J_{F}$ eine polynomiale Umkehrung besitzt, also eine Konstante ungleich Null sein muss. Die Jacobi-Vermutung ist die folgende partielle Umkehrung:

Der Körper $k$ habe Charakteristik 0. Wenn $J_{F}$ eine Konstante ungleich Null ist, dann besitzt $F$ eine Umkehrfunktion $G:k^{N}\rightarrow k^{N}$, die ebenfalls Polynomabbildung ist.

Laut van den Essen wurde das Problem erstmals von Keller im Jahr 1939 für den Fall von zwei Variablen und ganzzahligen Koeffizienten formuliert.

Für den Fall $N=2$ wurde die Vermutung allerdings bereits 1884 von Ludwig Kraus formuliert.

Die Jacobi-Vermutung scheitert für Charakteristik $p>0$ selbst bei einer Variablen. Die Charakteristik eines Körpers muss, wenn sie nicht null ist, eine Primzahl $p$ sein. Das Polynom $x-x^{p}$ hat die Ableitung $1-px^{p-1}$, die wegen $px=0$ konstant 1 ist, aber es hat keine Umkehrfunktion. Allerdings schlug Kossivi Adjamagbo vor, die Jacobi-Vermutung auf Charakteristiken $p>0$ derart zu erweitern, dass man zusätzlich voraussetzt, dass $p$ nicht den Grad der Körpererweiterung $k(X)/k(F)$ teilt.

Die Existenz einer polynomiellen Umkehrfunktion ist offensichtlich, wenn $F$ nur aus linearen Funktionen besteht, denn dann wird die Umkehrfunktion auch von dieser Gestalt sein. Ein einfaches nichtlineares Beispiel ist

$u=x^{2}+y+x$

$v=x^{2}+y$,

sodass sich für die Jacobideterminante

$J_{F}=\left|{\begin{matrix}1+2x&1\\2x&1\end{matrix}}\right|=(1+2x)\cdot 1-1\cdot 2x=1$

ergibt. In diesem Fall existiert die gewünschte Umkehrfunktion, denn obige Gleichungen kann man leicht nach $x$ und $y$ auflösen:

$x=u-v$

$y=v-(u-v)^{2}.$

Aber wenn wir $F$ nur leicht abändern zu

$u=2x^{2}+y$

$v=x^{2}+y$

dann ist die Determinante

$J_{F}=\left|{\begin{matrix}4x&1\\2x&1\end{matrix}}\right|=4x\cdot 1-2x\cdot 1=2x,$

nicht konstant, das heißt die Voraussetzung aus der Jacobi-Vermutung trifft nicht zu. Die Funktion hat zwar immer noch eine Umkehrfunktion:

$x={\sqrt {u-v}}$

$y=2v-u,$

aber der Ausdruck ist offensichtlich keine Polynomabbildung.

Die Bedingung $J_{F}\neq 0$ ist mit dem Satz über die Umkehrfunktion in der mehrdimensionalen Analysis verbunden. In der Tat existiert für glatte Funktionen (und somit insbesondere für Polynome) an jedem Punkt, an dem $J_{F}$ ungleich null ist, eine glatte lokale Umkehrfunktion. Zum Beispiel hat die Abbildung $x\rightarrow x+x^{3}$ eine glatte (sogar globale) Umkehrfunktion, aber die Umkehrfunktion ist kein Polynom.

Ergebnisse

Stuart Sui-Sheng Wang bewies die Jacobi-Vermutung für Polynome vom Grad 2. Hyman Bass, Edwin Connell und David Wright zeigten, dass der allgemeine Fall aus dem Spezialfall folgt, bei dem die Polynome vom Grad 3 sind, oder noch genauer, vom kubisch homogenen Typ, was bedeutet, dass sie die Form $F=(X_{1}+H_{1},\ldots ,X_{n}+H_{n})$ haben, wobei jedes $H_{i}$ entweder null oder ein homogenes Polynom vom Grad 3 ist. Ludwik Drużkowski zeigte, dass man weiter annehmen kann, dass die Abbildung vom kubisch linearen Typ ist, was bedeutet, dass die von null verschiedenen $H_{i}$ Kuben homogener linearer Polynome sind. Diese Reduktionen führen zusätzliche Variablen ein und sind daher für festes $N$ nicht anwendbar.

Edwin Connell und Lou van den Dries zeigten, dass, wenn die Jacobi-Vermutung falsch ist, auch ein Gegenbeispiel mit ganzzahligen Koeffizienten und Jacobideterminante 1 existieren muss. Folglich ist die Jacobi-Vermutung entweder für alle Körper der Charakteristik 0 wahr oder für keinen. Für eine feste Dimension $N$ ist sie wahr, wenn sie für mindestens einen algebraisch abgeschlossenen Körper der Charakteristik 0 gilt.

Sei $k[X]$ der Polynomring $k[X_{1},\ldots ,X_{n}]$ und $k[F]$ die $k$-Unteralgebra, die von $f_{1},\ldots ,f_{n}$ erzeugt wird. Für ein gegebenes $F$ ist die Jacobi-Vermutung genau dann wahr, wenn $k[X]=k[F]$.

Keller (1939) bewies den birationalen Fall, das heißt, wenn die beiden Körper $k(X)$ und $k(F)$ gleich sind. Der Fall, in dem $k(X)$ eine Galoiserweiterung von $k(F)$ ist, wurde von Andrew Campbell für komplexe Abbildungen, im Allgemeinen von Michael Razar bewiesen und davon unabhängig auch von David Wright. Tzuong-Tsieng Moh überprüfte die Vermutung für Polynome vom Grad höchstens 100 in zwei Variablen.

Michiel de Bondt und Arno van den Essen und Ludwik Drużkowski zeigten unabhängig voneinander, dass es ausreicht, die Jacobi-Vermutung für komplexe Abbildungen vom kubisch homogenen Typ mit symmetrischer Jacobi-Matrix zu beweisen, und zeigten weiter, dass die Vermutung für Abbildungen vom kubisch linearen Typ mit symmetrischer Jacobimatrix über jedem Körper der Charakteristik 0 gilt.

Die starke reelle Jacobi-Vermutung besagt, dass eine reelle Polynomabbildung mit überall nichtverschwindender Jacobideterminante eine glatte globale Umkehrfunktion hat. Das ist äquivalent zur Frage, ob eine solche Abbildung topologisch eine eigentliche Abbildung ist, in welchem Fall sie eine Überlagerung einer einfach zusammenhängenden Mannigfaltigkeit und daher invertierbar ist. Sergey Pinchuk konstruierte zweidimensionale Gegenbeispiele vom Gesamtgrad 35 und höher.

Es ist bekannt, dass die Dixmier-Vermutung die Jacobi-Vermutung impliziert. Umgekehrt wurde von Yoshifumi Tsuchimoto und unabhängig davon von Alexei Belov-Kanel und Maxim Kontsevich gezeigt, dass die Jacobi-Vermutung für $2N$ Variablen die Dixmier-Vermutung in $N$ Dimensionen impliziert. Ein in sich geschlossener und rein algebraischer Beweis dieser letzten Implikation wurde auch von Kossivi Adjamagbo und Arno van den Essen gegeben, die in derselben Arbeit auch bewiesen, dass diese beiden Vermutungen äquivalent zur Poisson-Vermutung sind.

Gegenbeispiel

Im Juli 2026 gab Levent Alpöge eine Polynomabbildung $F\colon \mathbb {C} ^{3}\to \mathbb {C} ^{3}$ vom Grad 7 an, welche die Voraussetzung der Vermutung erfüllt, jedoch nicht injektiv ist und daher keine Umkehrfunktion besitzen kann. Sie ist durch

$F(x,y,z)={\begin{pmatrix}(1+xy)^{3}z+y^{2}(1+xy)(4+3xy)\\y+3x(1+xy)^{2}z+3xy^{2}(4+3xy)\\2x-3x^{2}y-x^{3}z\end{pmatrix}}$

gegeben und besitzt die konstante Jacobi-Determinante $J_{F}=-2$. Wegen

$F\!\left(0,0,-{\tfrac {1}{4}}\right)=F\!\left(1,-{\tfrac {3}{2}},{\tfrac {13}{2}}\right)=F\!\left(-1,{\tfrac {3}{2}},{\tfrac {13}{2}}\right)=\left(-{\tfrac {1}{4}},0,0\right)$

nimmt $F$ an drei verschiedenen Stellen denselben Wert an und ist folglich nicht injektiv. Beide Eigenschaften lassen sich durch Differentiation und Einsetzen unmittelbar nachrechnen.

Dieses Gegenbeispiel widerlegt die Vermutung für $N=3$ und damit auch für höhere Dimensionen, da sich weitere Dimensionen trivial hinzufügen lassen, ohne das Ergebnis zu beeinflussen. Für zweidimensionale Vektorräume ($N=2$) bleibt die Vermutung weiterhin ungelöst.