On the nilpotent residue non-abelian Hodge correspondence for higher-dimensional quasiprojective varieties

Sintesi Tecnica: Sulla Corrispondenza di Hodge Non-Abeliana con Residuo Nilpotente per Varietà Quasi-Proiettive di Dimensione Superiore

Enunciato del Problema
Il saggio affronta la natura topologica della corrispondenza di Hodge non-abeliana per varietà quasi-proiettive di dimensione superiore. Nello specifico, considera una varietà complessa log-liscia proiettiva $(\bar{X}, D)$, dove $\bar{X}$ è una varietà proiettiva liscia e $D$ è un divisore semplice in incrocio normale. Gli autori si concentrano su due spazi moduli:

1. $M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)$: lo spazio moduli dei fasci di Higgs logaritmici polistabili di rango $r$ con residui nilpotenti e classi di Chern nulle ($c_i(E)=0$).
2. $M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)$: lo spazio moduli delle connessioni logaritmiche polistabili di rango $r$ con residui nilpotenti.
   Nel lavoro di [BBT24], è stata stabilita una biiezione continua $S^{\text{nilp}}_{(\bar{X}, D)}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r)(\mathbb{C}) \to M^{\text{nilp}}_{\text{DR}}(\bar{X}, D, r)(\mathbb{C})$. Sebbene tale mappa sia stata dimostrata essere un omeomorfismo nella topologia euclidea quando $\bar{X}$ è una curva, il caso di dimensione superiore rimaneva aperto riguardo alla continuità della mappa inversa. Il problema centrale è determinare se questa biiezione continua sia, in effetti, un omeomorfismo per varietà di dimensione superiore.

Metodologia
Il saggio impiega una strategia di riduzione utilizzando "curve di Lefschetz" per trasferire le proprietà topologiche dal caso delle curve al caso di dimensione superiore. La metodologia procede attraverso i seguenti passaggi:

1. Curve di Lefschetz: Gli autori utilizzano il concetto di una curva di Lefschetz $\iota: \bar{C} \hookrightarrow \bar{X}$, definita come una curva di intersezione completa liscia trasversa a $D$ tale che la mappa indotta sui gruppi fondamentali $\pi_1(\bar{C} \setminus D) \twoheadrightarrow \pi_1(\bar{X} \setminus D)$ sia suriettiva.
2. Mappe di Restrizione: Tale curva induce mappe di restrizione $i^*_{\text{Dol}}$ e $i^*_{\text{DR}}$ tra gli spazi moduli di $\bar{X}$ e $\bar{C}$. Poiché la corrispondenza è già nota per essere un omeomorfismo per le curve (da [BBT24]), la mappa $S^{\text{nilp}}_{(\bar{C}, D \cap \bar{C})}$ è un omeomorfismo.
3. Diagrammi Commutativi: Gli autori costruiscono un diagramma commutativo che coinvolge le mappe di Hitchin ($h$) per entrambe la varietà e la curva, e le mappe di restrizione tra le basi di Hitchin.
4. Compatezza e Iniettività: Per dimostrare il risultato principale, gli autori stabiliscono due proprietà critiche:
   • Compatezza di $i^*_{\text{Dol}}$: Dimostrano l'esistenza di una curva di Lefschetz tale che la mappa di restrizione sullo spazio moduli di Higgs sia compatta (proper). Ciò è ottenuto utilizzando il criterio di valutatività per la compatezza, facendo affidamento sulla compatezza della mappa di Hitchin $h_{(\bar{X}, D)}$ (citata da [Lan14]) e sull'iniettività della mappa di restrizione sulla base di Hitchin.
   • Iniettività della Restrizione della Base di Hitchin: Dimostrano l'esistenza di una curva di Lefschetz $\bar{C}$ tale che la mappa di restrizione $\text{res}$ dalle sezioni globali delle potenze simmetriche delle differenziali logaritmiche su $\bar{X}$ a quelle su $\bar{C}$ sia iniettiva. Ciò è dimostrato costruendo un insieme finito di punti e direzioni tangenti in cui le sezioni delle potenze simmetriche non si annullano, e poi invocando [ACV19] per trovare una curva che passi per questi punti con tangenti prescritte.

Contributi Chiave e Risultati

• Teorema 1: Il saggio dimostra l'esistenza di una curva di Lefschetz $\bar{C} \subset \bar{X}$ tale che la mappa di restrizione $i^*_{\text{Dol}}: M^{\text{nilp}}_{\text{Dol}}(\bar{X}, D, r) \to M^{\text{nilp}}_{\text{Dol}}(\bar{C}, D \cap \bar{C}, r)$ sia compatta.
• Corollario 2: Come diretta conseguenza del Teorema 1 e del noto caso delle curve, la mappa di confronto $S^{\text{nilp}}_{(\bar{X}, D)}$ è un omeomorfismo nella topologia euclidea per varietà log-lisce proiettive di dimensione superiore.
• Lemma Tecnico (Proposizione 3): Il saggio chiarisce che la mappa di Hitchin per i fasci di Higgs logaritmici con residui nilpotenti e classi di Chern nulle è compatta, notando che la condizione di classi di Chern nulle definisce un sottoscheme chiuso all'interno dello spazio moduli dei fasci privi di torsione.
• Lemma Tecnico (Proposizione 4): Il saggio stabilisce l'esistenza di una curva di Lefschetz che induce una restrizione iniettiva sulla base di Hitchin, un passaggio cruciale per garantire la compatezza della restrizione dello spazio moduli.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la questione topologica della corrispondenza di Hodge non-abeliana nel contesto di dimensione superiore per il caso specifico di residui nilpotenti. Dimostrando che la biiezione continua stabilita in [BBT24] è un omeomorfismo, gli autori confermano che gli spazi moduli dei fasci di Higgs logaritmici e delle connessioni logaritmiche sono topologicamente equivalenti nella topologia euclidea, estendendo i risultati noti per le curve a dimensioni arbitrarie.

Il lavoro si basa fortemente sull'interazione tra la geometria delle curve di Lefschetz e le proprietà algebriche della fibrazione di Hitchin. La significatività risiede nell'estensione rigorosa del risultato di omeomorfismo, utilizzando la compatezza della mappa di Hitchin e la specifica costruzione geometrica di curve che preservano i necessari dati coomologici e del gruppo fondamentale. Il saggio non propone nuove applicazioni o direzioni future, ma si concentra strettamente sull'instaurare l'equivalenza topologica di questi spazi moduli.