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

Technische Samenvatting: Een Tegenvoorbeeld voor de Globale Injectiviteit van een Jacobiaan-afbeelding in $\mathbb{C}^5$

Probleemstelling
Dit artikel behandelt de Jacobiaan-conjectuur, die stelt dat elke polynoomafbeelding $F: \mathbb{C}^n \to \mathbb{C}^n$ met een constante niet-nul determinante Jacobiaan globaal invers is. Hoewel reductietheorema's door Bass, Connell, Wright en Drużkowski de reikwijdte van de conjectuur hebben beperkt tot kubisch-lineaire (Drużkowski) afbeeldingen, onderzoekt deze studie een specifieke polynoomstructuur in $\mathbb{C}^5$ om de grenzen van globale injectiviteit onder unipotente Jacobiaan-condities te testen.

Methodologie
De auteur construeert een specifieke polynoomafbeelding $G: \mathbb{C}^5 \to \mathbb{C}^5$ gedefinieerd door $G(x) = x - \nabla F(x)$, waarbij $F$ een homogene polynoom van graad 6 is. De polynoom $F$ is samengesteld uit vier "tridiagonale harmonische blokken" die betrokken zijn bij de reële en imaginaire componenten afgeleid van het reële deel van $(u+iv)^6$.

De methodologie verloopt in drie stadia:

1. Jacobiaan-analyse: De auteur demonstreert dat de Hessiaanse matrix $H_F(x)$ van de definiërende polynoom strikt tridiagonaal is. Door de algebraïsche structuur van de coëfficiënten te analyseren, wordt aangetoond dat de sporen van alle machten van $H_F(x)$ identiek nul zijn ($\text{Tr}(H_F^k) = 0$ voor $k=1,\dots,5$). Dit bewijst dat $H_F(x)$ overal nilpotent is, wat garandeert dat de Jacobiaan-determinante van de afbeelding $G$ globaal constant en gelijk aan 1 is ($\det(I - H_F) \equiv 1$).
2. Injectiviteitstest: Door gebruik te maken van het feit dat $F$ bestaat uit monomialen met een even graad, is de gradiënt $\nabla F$ een oneven functie. De auteur reduceert het probleem van het vinden van verschillende punten $a \neq b$ waarvoor $G(a) = G(b)$ geldt, tot het vinden van niet-triviale wortels van de vergelijking $\nabla F(a) = a$ (d.w.z. $G(a) = \vec{0}$).
3. Analytische Classificatie: Het artikel voert een uitgebreide afleiding uit van de nulverzameling $G(x) = \vec{0}$. Door variabelen te isoleren en proportionaliteits-ansatzes ($x_i = k x_j$) toe te passen op specifieke subsystemen, lost de auteur de resulterende algebraïsche vergelijkingen op om onderscheidende families van oplossingen te identificeren.

Belangrijkste Bijdragen en Resultaten
De primaire bijdrage van het artikel is de constructie van een tegenvoorbeeld voor de globale injectiviteit van een unipotente polynoomafbeelding in $\mathbb{C}^5$.

• Expliciet Tegenvoorbeeld: De auteur construeert twee verschillende ijle vectoren, $a = (c, 0, 0, 0, 0)$ en $b = (-c, 0, 0, 0, 0)$, waarbij $c = 6^{-1/4}$. Het wordt rigoureus bewezen dat $G(a) = G(b) = \vec{0}$, waarmee wordt aangetoond dat de afbeelding niet globaal injectief is, ondanks het feit dat de Jacobiaan-determinante overal gelijk is aan 1.
• Classificatie van Nulverzamelingen: Het artikel biedt een gedetailleerde classificatie van de analytische wortels van het gradiëntveld, waarbij in totaal 37 precieze complexe oplossingen worden geïdentificeerd, georganiseerd in zes verschillende geometrische reeksen:
  1. Reeks 1: Vier geïsoleerde oplossingen waarbij alleen de eerste coördinaat niet-nul is ($x_1^4 = 1/6$).
  2. Reeks 2: Vier oplossingen waarbij alleen de laatste coördinaat niet-nul is ($x_5^4 = i/6$).
  3. Reeks 3: Vier oplossingen waarbij alleen de centrale coördinaat niet-nul is ($x_3^4 = 1/6$).
  4. Reeks 4: Zestien oplossingen gevormd door onafhankelijke lineaire combinaties van de eerste en derde coördinaat.
  5. Reeks 5: Een familie van oplossingen op de rechtergrens waarbij gekoppelde variabelen $x_4$ en $x_5$ betrokken zijn, bepaald door een kwadratische vergelijking in de schalingscoëfficiënt $k_R$.
  6. Reeks 6: Een symmetrische familie van oplossingen op de linkergrens waarbij gekoppelde variabelen $x_1$ en $x_2$ betrokken zijn, bepaald door een kwadratische vergelijking in de schalingscoëfficiënt $k_L$.

Betekenis
Het artikel beweert dat deze resultaten de complexe aard van stabiliteits- en injectiviteitcondities binnen het kader van de Jacobiaan-conjectuur belichten. Door een unipotente afbeelding in $\mathbb{C}^5$ te tonen die niet globaal injectief is, onderstreept het werk de moeilijkheid van de conjectuur en de rijkdom van de algebraïsche oplossingsruimte, zelfs wanneer de Jacobiaan-determinante triviaal constant is. De bevindingen worden gepresenteerd als een verificatie van de niet-injectiviteit voor deze specifieke klasse van afbeeldingen, waarbij precieze analytische families van complexe wortels worden geboden die de aanname dat constante Jacobiaan-determinanten globale inversiteit impliceren in hogere dimensies uitdagen.