Non-reduced components of global nilpotent cones

1. Il Problema e il Contesto

Il lavoro si concentra sulla geometria dei coni nilpotenti globali associati a fibrati di Hitchin e sistemi di Beauville-Mukai.

• Contesto: Si considerano spazi di moduli $M$ di fasci stabili (o fasci di Higgs) su una superficie $S$ (K3, abeliana, del Pezzo o spazio totale di un fibrato lineare su una curva). Esiste una mappa di supporto $h: M \to |\beta|$, dove $|\beta|$ è lo schema di Hilbert delle curve con classe $\beta$.
• Oggetto di studio: Il cono nilpotente globale è definito come la fibra $h^{-1}(rC)$, dove $C$ è una curva liscia di genere $g \ge 2$ e $rC$ è il divisore effettivo multiplo (con $r \ge 2$).
• La questione aperta: La struttura ridotta/non ridotta delle componenti di questo cono. Mentre il caso $r=2$ era stato studiato in letteratura, la questione generale della non-riducibilità (ovvero, l'assenza di componenti ridotte) per $r > 2$ o in contesti più generali rimaneva aperta. L'obiettivo è dimostrare che, sotto opportune condizioni di coprimilità, il cono nilpotente globale è da nessuna parte ridotto (nowhere reduced), cioè non possiede alcuna componente ridotta.

2. Metodologia

Gli autori impiegano un approccio ibrido che combina diverse tecniche avanzate della geometria algebrica:

1. Azioni di Gruppi e Strutture Liouville:

   • Analizzano l'azione del gruppo di Picard relativo sulle fibre della fibrazione.
   • Sfruttano il fatto che, in certi casi (superfici K3, abeliane, fibrati di Hitchin), la fibrazione è Lagrangiana.
   • Utilizzano un risultato di de Cataldo, Rapagnetta e Saccà che stabilisce una dualità infinitesimale tra la derivata della mappa di fibrazione $dh$ e la derivata dell'azione del gruppo di Picard. Se un punto su una componente irregolare ha uno stabilizzatore di dimensione positiva, la componente non può essere ridotta.

2. Stratificazione GIT (Geometric Invariant Theory):

   • Per i fibrati di Hitchin (specialmente quando il grado del fibrato di twist è alto), utilizzano un'azione di $\mathbb{G}_m$ sullo spazio dei fasci di Higgs.
   • Il cono nilpotente corrisponde al luogo instabile di questa azione.
   • Applicano la teoria di Białynicki-Birula per ottenere una stratificazione del cono nilpotente in strati affini $S_m$ sopra i punti fissi $Z_m$.
   • Calcolano le dimensioni degli strati tramite i pesi dell'azione di $\mathbb{G}_m$ sul fibrato tangente, dimostrando che le componenti "genericamente regolari" (dove il supporto schematico coincide con il supporto di Fitting) hanno la dimensione massima solo se il fascio è generico.

3. Deformazione al Cono Normale:

   • Per estendere i risultati ai casi di superficie di Del Pezzo (dove la fibrazione non è Lagrangiana), utilizzano una deformazione della superficie $S$ verso lo spazio totale del fibrato normale $Tot(N_{C/S})$.
   • Questo permette di collegare la fibra su una superficie di Del Pezzo a una fibra su uno spazio totale di un fibrato lineare (caso di Hitchin), dove le proprietà di non-riducibilità sono già note o più facili da dimostrare.

4. Connessione con gli Schemi di Hilbert:

   • Riducono lo studio delle componenti genericamente regolari del cono nilpotente allo studio dello schema di Hilbert di punti su una curva multipla $rC$, utilizzando risultati recenti sulla molteplicità delle componenti degli schemi di Hilbert (lavoro di [19]).

3. Contributi Chiave e Risultati Principali

Il teorema principale (Teorema 0.1) stabilisce l'assenza di componenti ridotte sotto condizioni di coprimilità ($\gcd(r, \chi)=1$) in quattro scenari principali:

1. Superfici Calabi-Yau (K3 o Abeliane): Con classe $[C]$ primitiva.
2. Fibrati di Hitchin Twistati: Su $S = Tot(L)$ con $L = K_C$ o $\deg(L) > 2g-2$.
3. Superfici di Del Pezzo: Con condizioni di coprimilità tra il grado della curva e l'indice di Euler.
4. Condizione Tecnica: Per $r=2$, è richiesto che $2 \mid \deg_C N_{C/S}$ (automatico nei casi Calabi-Yau, non sempre nei casi Fano).

Risultati Specifici:

• Teorema 0.3 (Componenti Irregolari): In presenza di una struttura Lagrangiana, qualsiasi componente irregolare (dove il supporto schematico è una curva di molteplicità $r' < r$) è non ridotta. Questo è dimostrato mostrando che l'azione del gruppo di Picard ha uno stabilizzatore non banale su tali punti.
• Teorema 0.4 e 0.5 (Componenti Genericamente Regolari):
  • Per fibrati di Hitchin con $\deg L > 2g-2$, tutte le componenti sono genericamente regolari.
  • Dimostrano che anche le componenti genericamente regolari sono non ridotte se $r > 2$ o se $r=2$ e $2 \mid \deg N_{C/S}$. La prova si basa sul fatto che le molteplicità degli schemi di Hilbert su curve multiple non possono essere tutte uguali a 1 in queste condizioni.
• Teorema 0.6 (Estensione a Del Pezzo): Usando la deformazione al cono normale, dimostrano che anche per le superfici di Del Pezzo, tutte le componenti del cono nilpotente sono genericamente regolari e, di conseguenza, non ridotte.
• Teorema 0.7 (Primitività delle Fibre):
  • Applicando la non-riducibilità, dimostrano un risultato topologico significativo: per un sistema di Beauville-Mukai su una superficie K3, la classe di omologia integrale di una fibra generica è primitiva (indivisibile) se e solo se $r=1$.
  • Se $r > 1$, la fibra non è primitiva. Questo è collegato al fatto che la presenza di componenti non ridotte implica che il massimo comun divisore delle molteplicità delle componenti della fibra è $\ge 2$, rendendo la classe di omologia divisibile.

4. Significato e Implicazioni

• Geometria degli Spazi di Moduli: Il lavoro risolve una questione fondamentale sulla struttura locale degli spazi di moduli di fasci di Higgs e fasci stabili, mostrando che la singolarità del cono nilpotente è "più forte" di quanto previsto (assenza totale di parti lisce/ridotte).
• Connessione Topologica: Fornisce un criterio chiaro per la primitività delle classi di omologia nelle fibre di fibrazioni Lagrangiane. Questo ha implicazioni per l'esistenza di sezioni $C^\infty$ e per la topologia globale di questi spazi di moduli (es. varietà iper-Kähler compatte).
• Unificazione dei Metodi: Il paper unisce tecniche di teoria delle rappresentazioni (fibrati di Hitchin), geometria birazionale (deformazioni) e teoria dei gruppi algebrici (azioni di Picard) per trattare casi che prima richiedevano approcci distinti.
• Generalizzazione: Estende risultati noti per $r=2$ e per casi specifici a una classe molto più ampia di situazioni, inclusi i casi Fano (Del Pezzo) che erano precedentemente esclusi dalle analisi Lagrangiane dirette.

In sintesi, Bai e Fang dimostrano che la "non-riducibilità" è una proprietà universale dei coni nilpotenti globali in questi contesti geometrici, fornendo al contempo un ponte profondo tra la struttura algebrica delle fibre singolari e le proprietà topologiche globali delle varietà di moduli.