Counterexamples to the Jacobian conjecture in dimensions greater than two

Sintesi Tecnica: Controesempi alla Congettura di Jacobian in Dimensioni Superiori a Due

Enunciato del Problema
La congettura di Jacobian, posta da Keller nel 1939, afferma che ogni mappa polinomiale $F: \mathbb{C}^n \to \mathbb{C}^n$ con determinante jacobiano costante e non nullo (una mappa di Keller) deve essere un automorfismo polinomiale (ovvero, possedere un inverso polinomiale). Sebbene la congettura rimanga aperta per $n=2$, questo articolo affronta lo stato della congettura per dimensioni $n > 2$. Il lavoro si basa sulla confutazione della congettura in dimensione tre annunciata da Alpoge (19 luglio 2026), che ha fornito un controesempio specifico, e sulla successiva costruzione di una famiglia infinita di controesempi da parte di Gallagher. Il problema centrale affrontato qui è quello di generalizzare il meccanismo alla base di questi controesempi a tutte le dimensioni $n > 2$ e di costruire esempi espliciti con gradi geometrici arbitrariamente grandi.

Metodologia
Il documento impiega una costruzione geometrica basata sul meccanismo di "tangent sweep" (scansione della tangente), isolato originariamente da Speyer. La metodologia procede in tre fasi principali:

1. Tangent Sweeping (Scansione della Tangente): L'autore costruisce una mappa polinomiale effettuando la scansione di un campo di direzioni tangenti su un ipersuperficie parametrizzata. Per un'ip superficie parametrizzata $X: \mathbb{C}^{n-2} \to \mathbb{C}^{n-1}$ e un campo tangente polinomiale $\Delta$, viene definita una mappa di "padded sweep" $F_0$. Si dimostra che il determinante jacobiano di questa scansione è un polinomio in una variabile moltiplicatrice $\gamma$, specificamente della forma $\det J(F_0) = \sum L_k \gamma^{k+1}$.
2. Selezione dei Rami e Normalizzazione: La costruzione si basa sulla selezione di specifici "rami" dove il determinante jacobiano si semplifica in un termine monomiale $c \gamma^{k+1}$. Ciò richiede il soddisfacimento di criteri di tangenza ($\det(\Delta, J(X)) \equiv 0$) e condizioni di normalizzazione in cui coefficienti specifici $L_k$ scompaiono o diventano costanti. Il documento analizza diversi tipi di campi di direzione (di tipo curva, tautologici e misti) per determinare quali rami siano disponibili in varie dimensioni.
3. Monomial Twist (Distorsione Monomiale): Per convertire la scansione (che ha un jacobiano non costante) in una mappa di Keller (jacobiano costante), l'autore applica un "monomial twist". Questo comporta la composizione della scansione con mappe monomiali e uno stadio affine per cancellare il fattore $\gamma$ nel jacobiano. Questo processo introduce "condizioni laterali" (vincoli di divisibilità) sui coefficienti dei polinomi che definiscono l'ip superficie. Fondamentalmente, questo twist spinge il locus di ramificazione (dove la mappa non è iniettiva) all'infinito, risultando in una mappa che è ovunque non ramificata (étale) ma non propriamente (non proper).

Contributi Chiave e Risultati

• Framework Generale: Il documento stabilisce una costruzione generale valida per ogni dimensione $n > 2$. Dimostra che, scansionando campi di direzioni tangenti su ip superficie parametrizzate e applicando il monomial twist, è possibile generare controesempi di Keller in qualsiasi dimensione $n \ge 3$.
• Grado Geometrico Arbitrario: La costruzione produce controesempi di grado geometrico arbitrariamente grande (il numero di punti in una fibra generica). Per $n=3$, questo recupera la famiglia di Gallagher. Per $n \ge 4$, il campo di direzione di tipo curva permette di aumentare arbitrariamente il grado geometrico scegliendo dati di alto grado.
• Cinque Controesempi Espliciti: L'autore elabora cinque nuove mappe polinomiali esplicite:
  • Dimensione 3: Una mappa $G$ con gradi dei componenti 4, 11 e 12 (grado geometrico 4), basata su una curva razionale quartica con due cuspidi e un nodo.
  • Dimensione 4:
    • $F_4$: Una mappa con gradi dei componenti 4, 11, 12 e 21 (grado geometrico 5) derivata da una superficie regata non cilindrica.
    • $F_5$: Una mappa con gradi dei componenti 3, 12, 14 e 16 (grado geometrico 10) derivata dal "ramo M" di un campo di direzione misto.
  • Dimensione 5:
    • $F_6$: Una mappa con gradi dei componenti 7, 38, 40, 42 e 44 (grado geometrico 6) derivata dal "ramo inferiore" di un campo di direzione misto $\Delta = (1, w_1, w_1^2, w_2)^T$.
    • $F_7$: Una mappa con gradi dei componenti 7, 86, 89, 92 e 95 (grado geometrico 12) derivata dal campo di direzione di tipo curva, utilizzando dati di tipo Keller trasversale.
• Analisi della Struttura delle Fibre: Il documento fornisce descrizioni dettagliate della struttura delle fibre per queste mappe. Dimostra che la dimensione della fibra generica è uguale al grado geometrico, mentre fibre specifiche degenerano in dimensioni minori (o diventano vuote) su loci specifici (ad esempio, l'ip superficie di Jelonek). Ad esempio, la mappa $G$ raggiunge ogni dimensione di fibra nell'insieme $\{4, 3, 2, 1, 0\}$.
• Fenomeno di Rigidità: In dimensione 5, l'analisi del "ramo centrale" per il campo di direzione misto rivela un fenomeno di rigidità. L'equazione governante per questo ramo degenera in un'equazione di trasporto lineare su un locus di invarianza caratteristica, suggerendo che dati genuinamente a cinque dimensioni non possono realizzare questo ramo; le soluzioni appaiono come sospensioni di scansioni in quattro dimensioni.

Significato e Rivendicazioni
Il documento sostiene di fornire un resoconto esaustivo del meccanismo di tangent-sweep, generalizzandolo da curve piane a campi di direzione su ip superfici. Il suo significato primario risiede nel:

1. Completare la Confutazione: Conferma che la congettura di Jacobian è falsa per tutte le dimensioni $n > 2$, fornendo un meccanismo unificato per i controesempi in tutte tali dimensioni.
2. Esplicitezza: A differenza delle precedenti prove di esistenza astratte, questo lavoro fornisce cinque mappe polinomiali completamente esplicite con determinanti jacobiani e strutture di fibre verificati.
3. Intuizione Geometrica: Chiarisce la natura geometrica dei controesempi: sono rivestimenti étale $\mathbb{C}^n \to \mathbb{C}^n$ che falliscono nell'essere iniettivi solo perché preimmagini distinte sfuggono all'infinito invece di collidere in punti finiti.
4. Propagazione: La costruzione permette la propagazione dei controesempi lungo la sequenza $n \mapsto n+3$, suggerendo che i controesempi in dimensioni inferiori possono servire come dati per costruire controesempi in dimensioni superiori.

L'autore nota che tutte le identità polinomiali e i conteggi delle fibre sono stati verificati utilizzando l'aritmetica razionale esatta e i basi di Gröbner dove possibile. Si riconosce che la completa stratificazione delle fibre per le mappe di dimensione superiore ($F_4$ attraverso $F_7$) rimane un oggetto per lavori futuri, sebbene i conteggi delle fibre generiche siano rigorosamente stabiliti.