Counterexamples to the Jacobian conjecture in dimensions greater than two

Technische Samenvatting: Tegenvoorbeelden voor de Jacobiaanvermoeden in Dimensies Groter Dan Twee

Probleemstelling
Het Jacobiaanvermoeden, geformuleerd door Keller in 1939, stelt dat elke polynoomafbeelding $F: \mathbb{C}^n \to \mathbb{C}^n$ met een constante niet-nul Jacobiaan-determinant (een Keller-afbeelding) een polynoomautomorfisme moet zijn (dat wil zeggen, een polynoom inverse bezit). Hoewel het vermoeden openstaat voor $n=2$, behandelt dit artikel de status van het vermoeden voor dimensies $n > 2$. Het werk bouwt voort op de weerlegging van het vermoeden in dimensie drie, aangekondigd door Alpoge (19 juli 2026), die een specifiek tegenvoorbeeld leverde, en de daaropvolgende constructie van een oneindige familie tegenvoorbeelden door Gallagher. Het centrale probleem dat hier wordt behandeld, is het generaliseren van het mechanisme achter deze tegenvoorbeelden naar alle dimensies $n > 2$ en het construeren van expliciete voorbeelden met willekeurig grote geometrische graden.

Methodologie
Het artikel maakt gebruik van een geometrische constructie gebaseerd op het "tangent sweep"-mechanisme (raaklijn-veegmechanisme), oorspronkelijk geïsoleerd door Speyer. De methodologie verloopt in drie hoofdfasen:

1. Tangent Sweeping (Raaklijn-vegen): De auteur construeert een polynoomafbeelding door een tangentiële richtingveld over een geparametriseerde hyperoppervlak te vegen. Voor een geparametriseerd hyperoppervlak $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ en een polynoom raaklijnveld $\Delta$, wordt een "padded sweep" afbeelding $F_0$ gedefinieerd. Het Jacobiaan-determinant van deze veeg blijkt een polynoom te zijn in een vermenigvuldigingsvariabele $\gamma$, specif kind van de vorm $\det J(F_0) = \sum L_k \gamma^{k+1}$.
2. Takselectie en Normalisatie: De constructie berust op het selecteren van specifieke "takken" (branches) waar het Jacobiaan-determinant vereenvoudigt tot een monoomterm $c \gamma^{k+1}$. Dit vereist het voldoen aan tangentie-criteria ($\det(\Delta, J(X)) \equiv 0$) en normalisatievoorwaarden waarbij specifieke coëfficiënten $L_k$ verdwijnen of constant worden. Het artikel analyseert verschillende typen richtingvelden (kromme-achtige, tautologische en gemengde) om te bepalen welke takken beschikbaar zijn in diverse dimensies.
3. Monomiaal Twist: Om de veeg (die een niet-constante Jacobiaan heeft) om te zetten in een Keller-afbeelding (constante Jacobiaan), past de auteur een "monomial twist" toe. Dit houdt in dat de veeg wordt samengesteld met monomiaal-afbeeldingen en een affine fase om de $\gamma$-factor in de Jacobiaan te elimineren. Dit proces introduceert "zijvoorwaarden" (deelbaarheidsrestricties) op de coëfficiënten van de polynomen die het hyperoppervlak definiëren. Cruciaal is dat deze twist de ramificatie-locus (waar de afbeelding niet injectief is) naar oneindig duwt, wat resulteert in een afbeelding die overal onvertakt (étale) maar niet proper is.

Kernbijdragen en Resultaten

• Algemeen Kader: Het artikel vestigt een algemene constructie die geldig is voor elke dimensie $n > 2$. Het toont aan dat door het vegen van tangentiële richtingvelden op geparametriseerde hyperoppervlakken en het toepassen van de monomiaal twist, men in elke dimensie $n \ge 3$ Keller-tegenvoorbeelden kan genereren.
• Willekeurige Geometrische Graad: De constructie produceert tegenvoorbeelden van willekeurig grote geometrische graad (het aantal punten in een generieke vezel). Voor $n=3$ herstelt dit de familie van Gallagher. Voor $n \ge 4$ staat de kromme-achtige richtingveld toe dat de geometrische graad willekeurig wordt vergroot door data van hoge graad te kiezen.
• Vijf Expliciete Tegenvoorbeelden: De auteur werkt vijf nieuwe expliciete polynoomafbeeldingen uit:
  • Dimensie 3: Een afbeelding $G$ met componentgraden 4, 11 en 12 (geometrische graad 4), gebaseerd op een rationale quartische kromme met twee cuspen en een knoop.
  • Dimensie 4:
    • $F_4$: Een afbeelding met componentgraden 4, 11, 12 en 21 (geometrische graad 5) afgeleid van een niet-cilindrisch gerold oppervlak.
    • $F_5$: Een afbeelding met componentgraden 3, 12, 14 en 16 (geometrische graad 10) afgeleid van de "M-branch" van een gemengd richtingveld.
  • Dimensie 5:
    • $F_6$: Een afbeelding met componentgraden 7, 38, 40, 42 en 44 (geometrische graad 6) afgeleid van de "bottom branch" van een gemengd richtingveld $\Delta = (1, w_1, w_1^2, w_2)^T$.
    • $F_7$: Een afbeelding met componentgraden 7, 86, 89, 92 en 95 (geometrische graad 12) afgeleid van het "curve-type" richtingveld, gebruikmakend van transversale Keller-type data.
• Analyse van Vezelstructuur: Het artikel biedt gedetailleerde beschrijvingen van de vezelstructuren voor deze afbeeldingen. Het bewijst dat de grootte van de generieke vezel gelijk is aan de geometrische graad, terwijl specifieke vezels degenereren naar kleinere groottes (of leeg worden) over specifieke loci (bijv. de Jelonek-hyperoppervlak). Bijvoorbeeld, de afbeelding $G$ bereikt elke vezelgrootte in $\{4, 3, 2, 1, 0\}$.
• Rigiditeitsfenomeen: In dimensie 5 onthult de analyse van de "middle branch" voor het gemengde richtingveld een rigiditeitsfenomeen. De leidende vergelijking voor deze tak degradeert naar een lineaire transportvergelijking op een karakteristiek-invariantie-locus, wat suggereert dat echt vijfdimensionale data deze tak niet kunnen realiseren; oplossingen lijken suspensies te zijn van vierdimensionale vegen.

Betekenis en Claims
Het artikel claimt een zelfstandige uiteenzetting te bieden van het tangent-sweep mechanisme, waarbij het wordt gegeneraliseerd van vlakke krommen naar richtingvelden op hyperoppervlakken. De primaire betekenis ligt in:

1. Voltooiing van de Weerlegging: Het bevestigt dat het Jacobiaanvermoeden onjuist is voor alle dimensies $n > 2$, door een verenigd mechanisme voor tegenvoorbeelden in al die dimensies te bieden.
2. Expliciteit: In tegenstelling tot eerdere abstracte existentiebewijzen, biedt dit werk vijf volledig expliciete polynoomafbeeldingen met geverifieerde Jacobiaan-determinanten en vezelstructuren.
3. Geometisch Inzicht: Het verheldert de geometrische aard van de tegenvoorbeelden: het zijn étale afdekkingen $\mathbb{C}^n \to \mathbb{C}^n$ die slechts falen in injectiviteit omdat verschillende pre-afbeeldingen naar oneindig ontsnappen in plaats van samen te botsen bij eindige punten.
4. Propagatie: De constructie maakt propagatie van tegenvoorbeelden langs de sequentie $n \mapsto n+3$ mogelijk, wat suggereert dat tegenvoorbeelden in lagere dimensies als data kunnen dienen voor het construeren van tegenvoorbeelden in hogere dimensies.

De auteur merkt op dat alle polynoomidentiteiten en vezelaantallen zijn geverifieerd met exacte rationale rekenkunde en Gröbner-basen waar mogelijk. Er wordt erkend dat de volledige stratificatie van de vezels voor de hogere dimensie-afbeeldingen ($F_4$ tot en met $F_7$) een onderwerp voor toekomstig werk blijft, hoewel de generieke vezelaantallen rigoureus zijn vastgesteld.