# Jacobi-Vermutung

* Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen.
* Bitte hilf mit, die Mängel dieses Artikels zu beseitigen, und beteilige dich bitte an der Diskussion! (Artikel eintragen)
In der Mathematik ist die Jacobi-Vermutung ein ungelöstes Problem, das sich auf Polynome in mehreren Variablen bezieht. Sie besagt, dass, wenn eine Polynomfunktion in einem $n$-dimensionalen Raum zu sich selbst eine Jacobideterminante hat, die eine von null verschiedenen Wert hat, folgt dass diese Funktion eine polynomiale Umkehrfunktion besitzt. Die Vermutung wurde erstmals 1939 von Ott-Heinrich Keller aufgestellt und weiter verbreitet 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.
Die Jacobi-Vermutung ist bekannt für eine große Anzahl schlussendlicher falscher Beweise. Bis 2018 gab es keine plausiblen Behauptungen, die Vermutung bewiesen zu haben. Selbst der Fall mit zwei Variablen hat allen Bemühungen widerstanden. Es gibt derzeit keine bekannten überzeugenden Gründe, die Vermutung für wahr zu halten, und laut van den Essen gibt es einige Vermutungen, dass die Vermutung tatsächlich für eine große Anzahl von Variablen falsch ist. Tatsächlich gibt es auch keine überzeugenden Beweise, die diese Vermutung unterstützen. Die Jacobi-Vermutung ist Nummer 16 in Die Liste von Stephen Smale von mathematischen Problemen für das nächste Jahrhundert.

## Jacobideterminante

Sei $N>1$ eine feste ganze Zahl und betrachte Polynome $f_{1},\ldots ,f_{N}$ in den Variablen $X_{1},\ldots ,X_{N}$ mit Koeffizienten in einem Körper $k$. Dann definieren wir eine vektorwertige Funktion: $F:k^{N}\rightarrow k^{N}$ durch: $F(X_{1},\ldots ,X_{N})=(f_{1}(X_{1},\ldots ,X_{N}),\ldots ,f_{N}(X_{1},\ldots ,X_{N}))$
Jede auf diese Weise entstehende Abbildung $F:k^{N}\rightarrow k^{N}$ wird als Polynomabbildung bezeichnet.
Die Jacobideterminante von $F$, bezeichnet als $J_{F}$, wird als Determinante der $N\times N$ Jacobimatrix definiert, die aus den partiellen Ableitungen von $f_{i}$ nach $X_{j}$ besteht:
    $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 Reziproke besitzt, also ist eine Konstante ungleich Null. Die Jacobi-Vermutung ist die folgende partielle Umkehrung:
    Der Körper $k$ habe Charakteristik 0. Wenn $J_{F}$ eine Konstante ungleich Null ist, dann hat $F$ eine Umkehrfunktion $G:k^{N}\rightarrow k^{N}$, die regulär ist, was bedeutet, dass ihre Komponenten Polynome sind.
Laut van den Essen, wurde das Problem erstmals von Keller im Jahr 1939 für den begrenzten Fall von zwei Variablen und ganzzahligen Koeffizienten vermutet.
Die offensichtliche Analogie der Jacobi-Vermutung scheitert, wenn $k$ die Charakteristik $p>0$ hat, selbst für eine Variable. Die Charakteristik eines Körpers muss, wenn sie nicht null ist, eine Primzahl sein, also mindestens 2. Das Polynom $x-x^{p}$ hat die Ableitung $1-px^{p-1}$, die 1 ist (weil $px$ 0 ist), aber es hat keine Umkehrfunktion. Allerdings schlug Kossivi Adjamagbo vor, die Jacobi-Vermutung auf Charakteristiken $p>0$ zu erweitern, indem die Hypothese hinzugefügt wird, dass $p$ nicht den Grad der Körpererweiterung $k(X)/k(F)h$ teilt.
Die Existenz einer polynomiellen Umkehrfunktion ist offensichtlich, wenn $F$ einfach eine Menge von Funktionen ist, die linear in den Variablen sind, denn dann wird die Umkehrfunktion auch eine Menge von linearen Funktionen sein. Ein einfaches nichtlineares Beispiel ist gegeben durch
    $u=x^{2}+y+x$
    $v=x^{2}+y$,
sodass die Jacobideterminante geschrieben werden kann als:
    $J_{F}=\left|{\begin{matrix}1+2x&1\\2x&1\end{matrix}}\right|=(1+2x)(1)-(1)2x=1$
In diesem Fall existiert die Umkehrfunktion als die Polynome
    $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)(1)-2x(1)=2x,$
was nicht konstant ist, und daher die Jacobi-Vermutung nicht zutrifft. Die Funktion hat zwar immer noch eine Umkehrfunktion:
    $x={\sqrt {u-v}}$
    $y=2v-u,$
aber der Ausdruck für $x$ ist kein Polynom.
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) eine glatte lokale Umkehrfunktion zu $F$ an jedem Punkt, an dem $J_{F}$ ungleich null ist. Zum Beispiel hat die Abbildung $x\rightarrow x+x^{3}$ eine glatte 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. Es scheint, dass Drużkowskis Reduktion der derzeit vielversprechendste Weg ist. Diese Reduktionen führen zusätzliche Variablen ein und sind daher für festes $N$ nicht verfügbar.
Edwin Connell und Lou van den Dries bewiesen, dass, wenn die Jacobi-Vermutung falsch ist, es ein Gegenbeispiel mit ganzzahligen Koeffizienten und Jacobideterminante 1 gibt. 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 wahr, genau dann 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 Jacobi-Matrix ü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 dazu zu fragen, ob eine solche Abbildung topologisch eine eigentliche Abbildung ist, in welchem Fall sie eine Überlagerungsabbildung eines einfach zusammenhängenden Mannigfaltigkeit ist und daher invertierbar. 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 wird 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.