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

Sintesi Tecnica: Un Controesempio alla Iniettività Globale di una Mappatura Jacobiana in $\mathbb{C}^5$

Enunciato del Problema
Questo articolo affronta la Congettura di Jacobian, la quale postula che ogni mappatura polinomiale $F: \mathbb{C}^n \to \mathbb{C}^n$ con un determinante jacobiano costante e non nullo sia globalmente invertibile. Sebbene i teoremi di riduzione di Bass, Connell, Wright e Drużkowski abbiano ristretto l'ambito della congettura alle mappature cubico-lineari (Drużkowski), questo studio investiga una specifica struttura polinomiale in $\mathbb{C}^5$ per testare i limiti della iniettività globale sotto condizioni di jacobiano unipotente.

Metodologia
L'autore costruisce una specifica mappatura polinomiale $G: \mathbb{C}^5 \to \mathbb{C}^5$ definita da $G(x) = x - \nabla F(x)$, dove $F$ è un polinomio omogeneo di grado 6. Il polinomio $F$ è composto da quattro "blocchi armonici tridiagonali" che coinvolgono componenti reali e immaginarie derivate dalla parte reale di $(u+iv)^6$.

La metodologia procede in tre fasi:

1. Analisi del Jacobiano: L'autore dimostra che la matrice Hessiana $H_F(x)$ del polinomio definitorio è strettamente tridiagonale. Analizzando la struttura algebrica dei coefficienti, si dimostra che le tracce di tutte le potenze di $H_F(x)$ scompaiono identicamente ($\text{Tr}(H_F^k) = 0$ per $k=1,\dots,5$). Ciò prova che $H_F(x)$ è nilpotente ovunque, garantendo che il determinante jacobiano della mappatura $G$ sia globalmente costante e uguale a 1 ($\det(I - H_F) \equiv 1$).
2. Test di Iniettività: Sfruttando il fatto che $F$ è composto da monomi di grado pari, il gradiente $\nabla F$ è una funzione dispari. L'autore riduce il problema di trovare punti distinti $a \neq b$ tali che $G(a) = G(b)$ alla ricerca di radici non triviali dell'equazione $\nabla F(a) = a$ (ovvero $G(a) = \vec{0}$).
3. Classificazione Analitica: Il documento esegue una derivazione completa dell'insieme degli zeri $G(x) = \vec{0}$. Isolando le variabili e applicando ansatz di proporzionalità ($x_i = k x_j$) a specifici sottosistemi, l'autore risolve le equazioni algebriche risultanti per identificare distinte famiglie di soluzioni.

Contributi Chiave e Risultati
Il contributo primario del documento è la costruzione di un controesempio alla iniettività globale di una mappatura polinomiale unipotente in $\mathbb{C}^5$.

• Controesempio Esplicito: L'autore costruisce due vettori sparsi distinti, $a = (c, 0, 0, 0, 0)$ e $b = (-c, 0, 0, 0, 0)$, dove $c = 6^{-1/4}$. È rigorosamente dimostrato che $G(a) = G(b) = \vec{0}$, dimostrando così che la mappatura non è globalmente iniettiva nonostante abbia un determinante jacobiano pari a 1 ovunque.
• Classificazione degli Insiemi di Zeri: Il documento fornisce una classificazione dettagliata delle radici analitiche del campo del gradiente, identificando un totale di 37 soluzioni precise organizzate in sei distinte serie geometriche:
  1. Serie 1: Quattro soluzioni isolate dove solo la prima coordinata è non nulla ($x_1^4 = 1/6$).
  2. Serie 2: Quattro soluzioni dove solo l'ultima coordinata è non nulla ($x_5^4 = i/6$).
  3. Serie 3: Quattro soluzioni dove solo la coordinata centrale è non nulla ($x_3^4 = 1/6$).
  4. Serie 4: Sedici soluzioni formate da combinazioni lineari indipendenti delle prime e terze coordinate.
  5. Serie 5: Una famiglia di soluzioni sul bordo destro che coinvolge le variabili accoppiate $x_4$ e $x_5$, determinata da un'equazione quadratica nel coefficiente di scala $k_R$.
  6. Serie 6: Una famiglia simmetrica di soluzioni sul bordo sinistro che coinvolge le variabili accoppiate $x_1$ e $x_2$, determinata da un'equazione quadratica nel coefficiente di scala $k_L$.

Significato
Il documento sostiene che questi risultati evidenzino la natura complessa delle condizioni di stabilità e iniettività all'interno del quadro della Congettura di Jacobian. Esibendo una mappatura unipotente in $\mathbb{C}^5$ che fallisce l'iniettività globale, il lavoro sottolinea la difficoltà della congettura e la ricchezza dello spazio di soluzione algebrica anche quando il determinante jacobiano è trivialmente costante. I risultati sono presentati come una verifica della non-iniettività per questa specifica classe di mappature, offrendo precise famiglie analitiche di radici complesse che sfidano l'assunto che determinanti jacobiani costanti implichino l'invertibilità globale in dimensioni superiori.