A Counterexample to the Global Injectivity of a Jacobian Mapping in \mathbb{C}^5 and Its Analytical Roots

Technische Zusammenfassung: Ein Gegenbeispiel zur globalen Injektivität einer Jacobi-Abbildung in $\mathbb{C}^5$

Problemstellung
Diese Arbeit befasst sich mit der Jacobian-Vermutung (Jacobian Conjecture), die postuliert, dass jede polynomielle Abbildung $F: \mathbb{C}^n \to \mathbb{C}^n$ mit einer konstanten, von Null verschiedenen Jacobi-Determinante global invertierbar ist. Während Reduktionssätze durch Bass, Connell, Wright und Drużkowski den Fokus der Vermutung auf kubisch-lineare (Drużkowski-) Abbildungen eingegrenzt haben, untersucht diese Studie eine spezifische polynomielle Struktur in $\mathbb{C}^5$, um die Grenzen der globalen Injektivität unter unipotenten Jacobi-Bedingungen zu testen.

Methodik
Der Autor konstruiert eine spezifische polynomielle Abbildung $G: \mathbb{C}^5 \to \mathbb{C}^5$, definiert durch $G(x) = x - \nabla F(x)$, wobei $F$ ein homogenes Polynom des Grades 6 ist. Das Polynom $F$ setzt sich aus vier „tridiagonalen harmonischen Blöcken“ zusammen, die aus den Real- und Imaginärkomponenten abgeleitet sind, welche dem Realteil von $(u+iv)^6$ entsprechen.

Die Methodik vollzieht sich in drei Stufen:

1. Jacobi-Analyse: Der Autor zeigt auf, dass die Hesse-Matrix $H_F(x)$ der definierenden Polynomfunktion strikt tridiagonal ist. Durch die Analyse der algebraischen Struktur der Koeffizienten wird nachgewiesen, dass die Spuren aller Potenzen von $H_F(x)$ identisch Null sind ($\text{Tr}(H_F^k) = 0$ für $k=1,\dots,5$). Dies beweist, dass $H_F(x)$ überall nilpotent ist, was sicherstellt, dass die Jacobi-Determinante der Abbildung $G$ global konstant und gleich 1 ist ($\det(I - H_F) \equiv 1$).
2. Injektivitätstest: Unter Ausnutzung der Tatsache, dass $F$ aus Monomialen geraden Grades besteht, ist der Gradient $\nabla F$ eine ungerade Funktion. Der Autor reduziert das Problem, distinkte Punkte $a \neq b$ zu finden, für die $G(a) = G(b)$ gilt, auf das Finden nicht-trivialer Nullstellen der Gleichung $\nabla F(a) = a$ (d. h. $G(a) = \vec{0}$).
3. Analytische Klassifizierung: Die Arbeit führt eine umfassende Ableitung der Nullmenge $G(x) = \vec{0}$ durch. Durch Isolierung der Variablen und Anwendung von Proportionalitäts-Ansätzen ($x_i = k x_j$) auf spezifische Teilsysteme löst der Autor die resultierenden algebraischen Gleichungen, um distinkte Familien von Lösungen zu identifizieren.

Wesentliche Beiträge und Ergebnisse
Der primäre Beitrag der Arbeit ist die Konstruktion eines Gegenbeispiels für die globale Injektivität einer unipotenten polynomielle Abbildung in $\mathbb{C}^5$.

• Explizites Gegenbeispiel: Der Autor konstruiert zwei distinkte spärliche Vektoren, $a = (c, 0, 0, 0, 0)$ und $b = (-c, 0, 0, 0, 0)$, wobei $c = 6^{-1/4}$. Es wird rigoros bewiesen, dass $G(a) = G(b) = \vec{0}$ gilt, wodurch gezeigt wird, dass die Abbildung trotz einer überall gleich 1 konstanten Jacobi-Determinante nicht global injektiv ist.
• Klassifizierung der Nullmengen: Die Arbeit liefert eine detaillierte Klassifizierung der analytischen Nullstellen des Gradientenfeldes und identifiziert insgesamt 37 präzise komplexe Lösungen, die in sechs distinkte geometrische Reihen organisiert sind:
  1. Reihe 1: Vier isolierte Lösungen, bei denen nur die erste Koordinate ungleich Null ist ($x_1^4 = 1/6$).
  2. Reihe 2: Vier Lösungen, bei denen nur die letzte Koordinate ungleich Null ist ($x_5^4 = i/6$).
  3. Reihe 3: Vier Lösungen, bei denen nur die zentrale Koordinate ungleich Null ist ($x_3^4 = 1/6$).
  4. Reihe 4: Sechzehn Lösungen, die aus unabhängigen linearen Kombinationen der ersten und dritten Koordinate gebildet werden.
  5. Reihe 5: Eine Lösungslinie auf dem rechten Rand, die gekoppelte Variablen $x_4$ und $x_5$ umfasst, bestimmt durch eine quadratische Gleichung in dem Skalierungsfaktor $k_R$.
  6. Reihe 6: Eine symmetrische Lösungslinie auf dem linken Rand, die gekoppelte Variablen $x_1$ und $x_2$ umfasst, bestimmt durch eine quadratische Gleichung in dem Skalierungsfaktor $k_L$.

Bedeutung
Die Arbeit behauptet, dass diese Ergebnisse die komplexe Natur von Stabilitäts- und Injektivitätsbedingungen innerhalb des Rahmens der Jacobian-Vermutung verdeutlichen. Indem sie eine unipotente Abbildung in $\mathbb{C}^5$ aufzeigt, die nicht global injektiv ist, unterstreicht das Werk die Schwierigkeit der Vermutung und die Reichhaltigkeit des algebraischen Lösungsraums, selbst wenn die Jacobi-Determinante trivial konstant ist. Die Ergebnisse werden als Verifizierung der Nicht-Injektivität für diese spezifische Klasse von Abbildungen präsentiert und bieten präzise analytische Familien komplexer Nullstellen, welche die Annahme infrage stellen, dass konstante Jacobi-Determinanten in höheren Dimensionen globale Invertierbarkeit implizieren.