The weak Markus--Yamabe conjecture fails in dimension 14

Sintesi Tecnica: La Congettura Debole di Markus–Yamabe Fallisce in Dimensione 14

Enunciato del Problema
Il documento affronta la Congettura Debole di Markus–Yamabe, la quale postula che ogni mappa $C^1$ $X: \mathbb{R}^n \to \mathbb{R}^n$ sia iniettiva se la sua matrice Jacobiana $JX(x)$ ha autovalori con parte reale strettamente negativa per ogni $x \in \mathbb{R}^n$ (una mappa di Hurwitz). Mentre la congettura classica (che afferma che la singolarità sia un attrattore globale) è nota per essere falsa per $n > 2$, la versione debole riguardante l'iniettività rimaneva aperta per le mappe polinomiali in dimensioni $n \ge 3$. Gli autori mirano a determinare se la congettura debole valga per le mappe di Hurwitz polinomiali, investigando specificamente la connessione tra questa congettura e la Congettura di Jacobian.

Metodologia
Gli autori impiegano due distinte costruzioni algebriche per trasformare mappe polinomiali non iniettive (mappe Keller) in campi vettoriali polinomiali con Jacobiani di Hurwitz che possiedono singolarità multiple.

1. Teorema di Realizzazione a Catena (Teorema 1.2):

   • Gli autori introducono un meccanismo di "realizzazione a catena" che converte una mappa Keller polinomiale $F = \text{Id} + H$ (dove $H$ non ha termini costanti o lineari) in un campo vettoriale $X_{F, \beta}$ su uno spazio a dimensione superiore $\mathbb{R}^N$.
   • La dimensione è calcolata come $N = \sum_{i=1}^n \max(d_i, 2) - n$, dove $d_i$ sono i gradi delle componenti di $F$.
   • La costruzione utilizza un lemma di similitudine graduata (Lemma 2.6), una generalizzazione degli argomenti di scalatura utilizzati per le mappe omogenee cubiche. Questo lemma dimostra che, se il determinante di $I - M(u)$ è costante, allora $M(u)$ è nilpotente.
   • Applicando questo a una mappa Keller con una fibra non banale (più punti che mappano lo stesso immagine), il campo vettoriale risultante $X$ ha uno spettro Jacobiano di $\{-1\}$ ovunque (rendendolo di Hurwitz) e un insieme singolare in biiezione polinomiale con la fibra di $F$.

2. Deomogeneizzazione a Rango Ridotto (Sezione 7):

   • Una seconda costruzione minimizza il grado del campo vettoriale risultante piuttosto che la dimensione.
   • Partendo da una stabilizzazione cubica di una mappa Keller, gli autori applicano una tecnica di riduzione del rango alla parte omogenea cubica. Decomponendo il termine cubico $C$ in $E\tilde{C}$ in base al rango delle componenti, costruiscono una mappa $K_E$ su uno spazio esteso.
   • Questo metodo produce un campo vettoriale di Hurwitz di grado tre, indipendente dalla costruzione a catena.

Contributi Chiave e Risultati

• Controesempio in Dimensione 14:
  Applicando il Teorema di Realizzazione a Catena al recente controesempio esplicito alla Congettura di Jacobian annunciato da Alpöge (una mappa Keller non iniettiva $F: \mathbb{R}^3 \to \mathbb{R}^3$ con coefficienti razionali e tre punti distinti nella stessa fibra), gli autori costruiscono un esplicito campo vettoriale polinomiale $X: \mathbb{R}^{14} \to \mathbb{R}^{14}$.

  • Proprietà: Il campo è di grado sette. La sua matrice Jacobiana ha uno spettro di $\{-1\}$ in ogni punto.
  • Singolarità: Il campo possiede tre singolarità razionali distinte ($S_1, S_2, S_3$).
  • Conclusione: Poiché una mappa di Hurwitz con singolarità multiple non può essere iniettiva, la Congettura Debole di Markus–Yamabe è falsa in dimensione 14. Estendendo trivialmente il campo vettoriale, la congettura si dimostra fallire per tutte le dimensioni $n \ge 14$.

• Controesempio in Dimensione 18 (Grado 3):
  Utilizzando la deomogeneizzazione a rango ridotto sulla stessa mappa sottostante, gli autori costruiscono un campo vettoriale di Hurwitz polinomiale su $\mathbb{R}^{18}$.

  • Proprietà: Questo campo è di grado tre e possiede anch'esso tre singolarità razionali distinte.

• Controesempio Discreto:
  Il documento nota che la mappa $G = \text{Id} + X$ (dove $X$ è il campo in dimensione 14) ha una Jacobiana nilpotente in ogni punto e tre punti fissi localmente asintoticamente stabili, smentendo l'analogo discreto del problema.

Significatività e Rivendicazioni
Il documento stabilisce che la Congettura Debole di Markus–Yamabe fallisce all'interno della classe delle mappe polinomiali per dimensioni $n \ge 14$. La significatività risiede nella costruzione esplicita di questi controesempi utilizzando il recente progresso sulla Congettura di Jacobian.

• Inversione della Logica: Storicamente, la connessione tra la Congettura di Jacobian e la Congettura di Markus–Yamabe Debole era vista come: "Se la Congettura Debole è vera, allora la Congettura di Jacobian è vera". Questo articolo dimostra il meccanismo inverso: "Poiché la Congettura di Jacobian è falsa (tramite il controesempio di Alpöge), la Congettura Debole deve essere anch'essa falsa in dimensioni sufficientemente elevate".
• Natura dell'Ostacolo: A differenza dei controesempi classici alla congettura forte di Markus–Yamabe (che coinvolgono orbite che sfuggono all'infinito), l'ostacolo qui è la coesistenza di equilibri multipli (pozzi iperbolici). I campi vettoriali sono localmente contrattivi ovunque ma falliscono nell'essere globalmente iniettivi a causa della presenza di molteplici bacini di attrazione.
• Dimensioni Aperte: Gli autori dichiarano esplicitamente che le loro costruzioni non risolvono lo stato della congettura per le dimensioni $3 \le n \le 13$. Il risultato in dimensione 14 dipende dalla specifica struttura di grado della mappa di Alpöge; minimizzare ulteriormente la dimensione richiederebbe la ricerca di una mappa Keller con gradi delle componenti inferiori o l'ottimizzazione della mappa tramite automorfismi polinomiali, il che rimane un problema aperto.

Il documento conclude che, mentre la collisione algebrica delle fibre nel contesto della Congettura di Jacobian si traduce direttamente in un sistema dinamico polinomiale con molteplici pozzi iperbolici, la soglia dimensionale specifica per il più basso controesempio possibile rimane indeterminata.