The real Jacobian conjecture for maps with one component having degree 6

Sintesi Tecnica: La Vera Congettura di Jacobian per Mappe con una Componente di Grado 6

Enunciato del Problema
Il lavoro affronta la Congettura di Jacobian Reale nel piano, che postula che una mappa polinomiale $F = (p, q): \mathbb{R}^2 \to \mathbb{R}^2$ con determinante jacobiano non nullo ovunque ($J_F \neq 0$) sia un diffeomorfismo globale (e quindi iniettiva). Sebbene la congettura sia nota per essere falsa in generale a causa dei controesempi di Pinchuk (dove $\deg p = 10$ e $\deg q = 25$), la soglia esatta per la validità rimane una questione aperta. Nello specifico, i ricercatori cercano il più piccolo intero $k$ tale che la congettura valga se $\deg p < k$. Prima di questo lavoro, era stabilito che $6 \le k \le 9$. Il lavoro mira a dimostrare che $k \ge 7$, risolvendo così il caso in cui una funzione coordinata ha grado 6.

Metodologia
Gli autori adottano una strategia ibrida che combina geometria algebrica e sistemi dinamici per analizzare le sottomersioni polinomiali $p: \mathbb{R}^2 \to \mathbb{R}$ di grado 6. La logica fondamentale si basa sull'equivalenza secondo cui una mappa $F=(p,q)$ che soddisfa la condizione jacobiana è iniettiva se e solo se le fibre di $p$ sono connesse (ovvero, $p$ è una fibrazione localmente banale). La strategia consiste nell'assumere l'esistenza di una sottomissione di grado 6 con fibre disconnesse (un insieme di biforcazione $B(p) \neq \emptyset$) e dimostrare che tale $p$ non può possedere un "compagno jacobiano" $q$.

Il quadro tecnico utilizza tre strumenti principali:

1. Analisi del Poligono di Newton: Gli autori analizzano il poligono di Newton $NP(p)$ del polinomio $p$. Definendo una funzione $N_S(c)$ che conta il numero di rami all'infinito della curva $p(x,y)=c$ associata a un lato esterno $S$ del poligono. Studiando il "tipo" di queste funzioni (funzioni costruibili che descrivono il numero di componenti connesse delle fibre attraverso diversi valori di $c$), derivano vincoli sulla topologia delle fibre.
2. Integrali di Eulero e Teorema di Sekalski: Il lavoro utilizza l'integrale di Eulero della funzione $N(c)$ (il numero totale di componenti della fibra). Un risultato chiave (Corollario 2.8) afferma che per una sottomissione polinomiale, l'integrale di Eulero di $N$ deve essere uguale a $-1$. Questo fornisce un vincolo topologico globale utilizzato per escludere determinate configurazioni di componenti della fibra.
3. Compattificazione di Poincaré e Settori Iperbolici: Gli autori analizzano la dinamica globale del campo vettoriale hamiltoniano $\nabla p^\perp = (-p_y, p_x)$. Utilizzano la compattificazione di Poincaré per studiare il comportamento delle orbite all'infinito. Nello specifico, applicano il Teorema 3.1 (dalla letteratura precedente [4]), il quale afferma che se una sottomissione polinomiale ammette una specifica catena di settori iperbolici all'infinito connessi da orbite inseparabili, non può avere un compagno jacobiano.

Contributi e Risultati Chiave
Il risultato centrale è il Teorema 5.1, che afferma: Sia $p: \mathbb{R}^2 \to \mathbb{R}$ una sottomissione polinomiale di grado 6. Se l'insieme di biforcazione $B(p)$ è non vuoto, allora $p$ non ha compagni jacobiani.

La dimostrazione procede attraverso un'analisi esaustiva dei casi dei possibili poligoni di Newton per una sottomissione polinomiale di grado 6. Gli autori categorizzano la parte omogenea di grado più alto $p_+$ in base alla fattorizzazione delle sue componenti lineari e al grado del fattore rimanente $h$. L'analisi copre tutte le possibili configurazioni del poligono di Newton, inclusi:

• Casi in cui $p$ è non degenere su lati specifici (implicando conteggi costanti delle fibre e quindi nessuna biforcazione).
• Casi in cui $p$ è degenere, richiedendo uno studio dettagliato del "tipo" delle funzioni di conteggio dei rami $N_S(c)$.
• Riduzioni geometriche specifiche mediante cambiamenti affini di variabili per semplificare il poligono di Newton.

In ogni caso in cui si assume una fibra disconnessa (biforcazione), gli autori dimostrano una contraddizione. Questa contraddizione nasce o da:

• La violazione della condizione dell'integrale di Eulero ($\int N d\chi = -1$).
• La dimostrazione che l'immagine di $p$ sarebbe un semintervallo chiuso (impossibile per una sottomissione).
• La costruzione di una configurazione di settori iperbolici all'infinito che soddisfa le condizioni del Teorema 3.1, dimostrando così la non esistenza di un compagno jacobiano.

Significato
Il lavoro conclude con il Corollario 5.2: Sia $F = (p, q): \mathbb{R}^2 \to \mathbb{R}^2$ una mappa polinomiale che soddisfa la condizione jacobiana. Se $\deg p < 7$, allora $F$ è un diffeomorfismo globale.

Questo risultato stabilisce che la Congettura di Jacobian Reale è vera nel piano, purché almeno una funzione coordinata abbia un grado strettamente inferiore a 7. Di conseguenza, il lavoro restringe la ricerca di un controesempio all'intervallo $7 \le \deg p \le 9$. Gli autori affermano esplicitamente che rimane da decidere se il valore critico $k$ sia 7, 8 o 9. Il lavoro non pretende di risolvere la congettura nella sua generalità, ma restringe significativamente i limiti sul grado richiesto per potenziali controesempi, escludendo efficacemente il grado 6.