Counterexamples to the Jacobian conjecture in dimensions greater than two

Technisches Resümee: Gegenbeispiele zur Jacobian-Vermutung in Dimensionen größer als zwei

Problemstellung
Die Jacobian-Vermutung, die 1939 von Keller formuliert wurde, besagt, dass jede polynomielle Abbildung $F: \mathbb{C}^n \to \mathbb{C}^n$ mit einer konstanten, von Null verschiedenen Jacobi-Determinante (eine Keller-Abbildung) eine polynomielle Automorphismus sein muss (d. h. eine polynomielle Inverse besitzt). Während die Vermutung für $n=2$ offen bleibt, befasst sich diese Arbeit mit dem Status der Vermutung für Dimensionen $n > 2$. Die Arbeit baut auf der Widerlegung der Vermutung in Dimension drei auf, die von Alpoge (19. Juli 2026) angekündigt wurde, welche ein spezifisches Gegenbeispiel lieferte, sowie auf der darauffolgenden Konstruktion einer unendlichen Familie von Gegenbeispielen durch Gallagher. Das zentrale Problem dieser Arbeit ist die Verallgemeinerung des Mechanismus hinter diesen Gegenbeispielen für alle Dimensionen $n > 2$ und die Konstruktion expliziter Beispiele mit beliebig großen geometrischen Graden.

Methodik
Die Arbeit verwendet eine geometrische Konstruktion basierend auf dem „Tangent Sweep“-Mechanismus (Tangenten-Sweep), der ursprünglich von Speyer isoliert wurde. Die Methodik gliedert sich in drei Hauptphasen:

1. Tangent Sweeping (Tangenten-Sweep): Der Autor konstruiert eine polynomielle Abbildung, indem ein Tangenten-Richtungsfeld über eine parametrisierte Hypersurface gefegt wird. Für eine parametrisierte Hypersurface $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ und ein polynomielles Tangentenfeld $\Delta$ wird eine „padded sweep“-Abbildung $F_0$ definiert. Es wird gezeigt, dass die Jacobi-Determinante dieses Sweeps ein Polynom in einer Multiplikator-Variablen $\gamma$ ist, spezifisch der Form $\det J(F_0) = \sum L_k \gamma^{k+1}$.
2. Branch Selection and Normalization (Zweigselektion und Normalisierung): Die Konstruktion beruht auf der Auswahl spezifischer „Zweige“ (Branches), bei denen die Jacobi-Determinante zu einem Monomialterm $c \gamma^{k+1}$ vereinfacht. Dies erfordert die Erfüllung von Tangenzkriterien ($\det(\Delta, J(X)) \equiv 0$) und Normalisierungsbedingungen, bei denen spezifische Koeffizienten $L_k$ verschwinden oder zu Konstanten werden. Die Arbeit analysiert verschiedene Arten von Richtungsfeldern (kurvenartig, tautologisch und gemischt), um zu bestimmen, welche Zweige in verschiedenen Dimensionen verfügbar sind.
3. Monomial Twist (Monomial-Twist): Um den Sweep (der eine nicht-konstante Jacobi-Determinante besitzt) in eine Keller-Abbildung (mit konstanter Jacobi-Determinante) zu überführen, wendet der Autor einen „Monomial Twist“ an. Dies beinhaltet die Komposition des Sweeps mit Monomial-Abbildungen und einer affinen Stufe, um den $\gamma$-Faktor in der Jacobi-Determinante zu eliminieren. Dieser Prozess führt „Nebenbedingungen“ (Teilbarkeitsbeschränkungen) bezüglich der Koeffizienten der die Hypersurface definierenden Polynome ein. Entscheidend ist, dass dieser Twist den Ramifikationslocus (wo die Abbildung nicht injektiv ist) nach Unendlich verschiebt, was zu einer Abbildung führt, die überall unramifiziert (étale), aber nicht proper ist.

Wesentliche Beiträge und Ergebnisse

• Allgemeiner Rahmen: Die Arbeit etabliert eine allgemeine Konstruktion, die für jede Dimension $n > 2$ gültig ist. Sie zeigt, dass man durch das Fegen von Tangenten-Richtungsfeldern auf parametrisierten Hypersurfaces und die Anwendung des Monomial-Twists in jeder Dimension $n \ge 3$ Keller-Gegenbeispiele erzeugen kann.
• Beliebiger geometrischer Grad: Die Konstruktion erzeugt Gegenbeispiele mit beliebig großem geometrischen Grad (der Anzahl der Punkte in einer generischen Faser). Für $n=3$ rekonstruiert sie die Familie von Gallagher. Für $n \ge 4$ erlaubt das kurvenartige Richtungsfeld, den geometrischen Grad beliebig zu erhöhen, indem Daten von hohem Grad gewählt werden.
• Fünf explizite Gegenbeispiele: Der Autor arbeitet fünf neue, explizite polynomielle Abbildungen aus:
  • Dimension 3: Eine Abbildung $G$ mit Komponentengraden 4, 11 und 12 (geometrischer Grad 4), basierend auf einer rationalen Quartikkurve mit zwei Kuspiden und einer Singularität (Node).
  • Dimension 4:
    • $F_4$: Eine Abbildung mit Komponentengraden 4, 11, 12 und 21 (geometrischer Grad 5), abgeleitet von einer nicht-zylindrischen Regelfläche.
    • $F_5$: Eine Abbildung mit Komponentengraden 3, 12, 14 und 16 (geometrischer Grad 10), abgeleitet vom „M-Zweig“ eines gemischten Richtungsfeldes.
  • Dimension 5:
    • $F_6$: Eine Abbildung mit Komponentengraden 7, 38, 40, 42 und 44 (geometrischer Grad 6), abgeleitet vom „Bottom Branch“ eines gemischten Richtungsfeldes $\Delta = (1, w_1, w_1^2, w_2)^T$.
    • $F_7$: Eine Abbildung mit Komponentengraden 7, 86, 89, 92 und 95 (geometrischer Grad 12), abgeleitet vom „Kurven-Typ“ Richtungsfeld unter Verwendung transversaler Keller-Typ-Daten.
• Analyse der Fasernstruktur: Die Arbeit liefert detaillierte Beschreibungen der Fasernstrukturen für diese Abbildungen. Sie beweist, dass die Größe der generischen Faser dem geometrischen Grad entspricht, während spezifische Fasern über bestimmten Loci (z. B. der Jelonek-Hypersurface) zu kleineren Größen degenerieren (oder leer werden). Beispielsweise erreicht die Abbildung $G$ jede Fasergröße aus der Menge $\{4, 3, 2, 1, 0\}$.
• Rigiditätsphänomen: In Dimension 5 offenbart die Analyse des „Middle Branch“ für das gemischte Richtungsfeld ein Rigiditätsphänomen. Die steuernde Gleichung für diesen Zweig degeneriert in eine lineare Transportgleichung auf einem charakteristisch-invarianten Locus, was darauf hindeutet, dass echte fünfdimensionale Daten diesen Zweig nicht realisieren können; die Lösungen erscheinen als Suspensionen von vierdimensionalen Sweeps.

Bedeutung und Ansprüche
Die Arbeit beansprucht, eine in sich geschlossene Darstellung des Tangenten-Sweep-Mechanismus zu liefern, indem sie diesen von ebenen Kurven auf Richtungsfelder auf Hypersurfaces verallgemeinert. Ihre primäre Bedeutung liegt in:

1. Vollendung der Widerlegung: Sie bestätigt, dass die Jacobian-Vermutung für alle Dimensionen $n > 2$ falsch ist, indem sie einen vereinheitlichten Mechanismus für Gegenbeispiele in all diesen Dimensionen bereitstellt.
2. Explizitheit: Im Gegensatz zu früheren abstrakten Existenzbeweisen liefert diese Arbeit fünf vollkommen explizite polynomielle Abbildungen mit verifizierten Jacobi-Determinanten und Fasernstrukturen.
3. Geometische Einsicht: Sie klärt die geometrische Natur der Gegenbeispiele: Es handelt sich um étale Überdeckungen $\mathbb{C}^n \to \mathbb{C}^n$, die nur deshalb nicht injektiv sind, weil unterschiedliche Präbilder nach Unendlich entweichen, anstatt an endlichen Punkten zu kollidieren.
4. Propagation: Die Konstruktion ermöglicht die Propagation von Gegenbeispielen entlang der Sequenz $n \mapsto n+3$, was darauf hindeutet, dass Gegenbeispiele in niedrigeren Dimensionen als Daten für die Konstruktion von Gegenbeispielen in höheren Dimensionen dienen können.

Der Autor merkt an, dass alle polynomielle Identitäten und Fasernzahlen mittels exakter rationaler Arithmetik und, wo möglich, Gröbner-Basen verifiziert wurden. Er räumt ein, dass die vollständige Stratifizierung der Fasern für die höherdimensionalen Abbildungen ($F_4$ bis $F_7$) ein Thema für zukünftige Arbeiten bleibt, obwohl die Zählungen der generischen Fasern rigoros etabliert sind.