Semiprojectivity of the moduli of principal $G$-bundles with $λ$-connections

Titolo

Semiproiettività degli spazi dei moduli dei fibrati principali G con connessioni λ

1. Il Problema e il Contesto

L'articolo si concentra sullo studio degli spazi dei moduli associati a fibrati principali su una superficie di Riemann compatta e connessa $X$ di genere $g \geq 2$. In particolare, gli autori analizzano:

• $\mathcal{M}^d_{\text{Higgs}}(G)$: Lo spazio dei moduli dei fibrati di Higgs $G$-semistabili di tipo topologico fisso $d \in \pi_1(G)$.
• $\mathcal{M}^d_{\text{conn}}(G)$: Lo spazio dei moduli delle connessioni olomorfe $G$-semistabili.
• $\mathcal{M}^d_{\text{Hod}}(G)$: Lo spazio dei moduli "di Hodge" principale, che parametrizza le triple $(E_G, \lambda, \nabla)$, dove $\nabla$ è una connessione $\lambda$-semistabile.

Questi spazi, in generale, non sono varietà lisce (presentano singolarità), ma ammettono una struttura di varietà quasi-proiettiva. Il problema centrale è determinare se questi spazi possiedono la proprietà di semiproiettività, una condizione geometrica forte che garantisce l'esistenza di limiti per azioni del gruppo moltiplicativo $\mathbb{C}^*$ e la compattezza del luogo dei punti fissi.

2. Metodologia

Gli autori utilizzano un approccio che combina la teoria degli spazi dei moduli, la teoria delle rappresentazioni dei gruppi algebrici e la dinamica delle azioni di gruppo. La metodologia si articola nei seguenti punti chiave:

• Azione di $\mathbb{C}^*$: Viene sfruttata l'azione naturale di $\mathbb{C}^*$ sugli spazi dei moduli. Per i fibrati di Higgs, l'azione è data da $t \cdot (E_G, \phi) = (E_G, t\phi)$. Per lo spazio di Hodge, l'azione è estesa a $t \cdot (E_G, \lambda, \nabla) = (E_G, t\lambda, t\nabla)$.
• Mappa di Hitchin: Viene utilizzata la mappa di Hitchin $h: \mathcal{M}^d_{\text{Higgs}}(G) \to \mathcal{H}$, dove $\mathcal{H}$ è lo spazio vettoriale delle forme differenziali invarianti. La mappa è dimostrata essere equivariante rispetto all'azione di $\mathbb{C}^*$.
• Criterio di Valutazione (Properness): La dimostrazione della semiproiettività si basa sul fatto che la mappa di Hitchin è propria. Gli autori mostrano che per ogni punto nello spazio dei moduli, il limite quando $t \to 0$ dell'orbita sotto l'azione di $\mathbb{C}^*$ esiste all'interno dello spazio stesso.
• Analisi dei Punti Fissi: Viene studiato il luogo dei punti fissi sotto l'azione di $\mathbb{C}^*$. Si dimostra che questo luogo è contenuto nella fibra sopra l'origine della mappa di Hitchin ($h^{-1}(0)$) e che è proprio (compatto) rispetto allo spazio totale.
• Estensione alle Connessioni $\lambda$: Si utilizza una famiglia piatta su $\mathbb{C}$ per dimostrare l'esistenza del limite per le triple di Hodge, collegando il caso $\lambda \neq 0$ (connessioni) al caso $\lambda = 0$ (fibrati di Higgs).

3. Contributi Chiave e Risultati Principali

A. Semiproiettività degli Spazi dei Moduli

Il risultato principale è la dimostrazione che gli spazi dei moduli considerati sono varietà semiproiettive.

• Teorema 2.4: Lo spazio dei moduli $\mathcal{M}^d_{\text{Higgs}}(G)$ dei fibrati di Higgs semistabili è una varietà semiproiettiva.
  • Dimostrazione: Si verifica che per ogni $(E_G, \phi)$, il limite $\lim_{t \to 0} (E_G, t\phi)$ esiste in $\mathcal{M}^d_{\text{Higgs}}(G)$ (usando la properità della mappa di Hitchin) e che il luogo dei punti fissi è proprio.
• Teorema 2.7: Lo spazio dei moduli principale di Hodge $\mathcal{M}^d_{\text{Hod}}(G)$ è una varietà semiproiettiva su $\mathbb{C}$.
  • Dimostrazione: Si dimostra che il limite $\lim_{t \to 0} (E_G, t\lambda, t\nabla)$ esiste nella fibra $\pi^{-1}(0)$ (che è isomorfa allo spazio dei fibrati di Higgs).

B. Decomposizione di Bia lynicki–Birula (Caso Liscio)

Assumendo che lo spazio dei moduli sia liscio (ad esempio, quando $G=GL_n(\mathbb{C})$ e $\gcd(n, d)=1$), gli autori applicano la teoria di Bia lynicki–Birula.

• Decomposizione Geometrica: Lo spazio dei moduli si decompone in una unione disgiunta di insiemi attrattivi $S_i$, ciascuno associato a una componente connessa $F_i$ del luogo dei punti fissi.
• Ogni $S_i$ è un fibrato vettoriale algebrico sulla componente fissata $F_i$.
• Questa decomposizione fornisce una stratificazione geometrica dello spazio, dove la geometria globale è controllata dalla geometria del luogo dei punti fissi e dalle dimensioni delle celle attrattive.

C. Conseguenze Cohomologiche e Motive

La semiproiettività permette di derivare risultati profondi sulla topologia e sulla teoria dei motivi degli spazi dei moduli:

• Cohomologia a Supporto Compatto (Teorema 3.1): La cohomologia a supporto compatto dello spazio dei moduli si decompone additivamente come somma diretta delle cohomologie delle componenti fisse, con uno spostamento di grado determinato dalla dimensione delle fibre dei fibrati attrattivi ($n_i$):
  $$H^k_c(\mathcal{M}^d_{\text{Higgs}}(G), \mathbb{C}) \cong \bigoplus_{i \in I} H^{k-2n_i}_c(F_i, \mathbb{C})$$
  Ciò implica che la topologia dello spazio è interamente determinata dalla geometria dei punti fissi e dalla combinatoria delle celle.
• Teoria dei Motivi (Teorema 3.2): Nell'anello di Grothendieck delle varietà ($K(\text{Var}_{\mathbb{C}})$), la classe dello spazio dei moduli può essere espressa come una somma finita di potenze del motivo di Lefschetz ($\mathbb{L} = [\mathbb{A}^1]$) moltiplicate per le classi delle componenti fisse:
  $$[\mathcal{M}^d_{\text{Higgs}}(G)] = \sum_{i \in I} \mathbb{L}^{n_i} [F_i]$$
  Questo risultato mostra che il "motivo" dello spazio dei moduli è completamente esprimibile in termini del suo luogo fisso.

4. Significato e Implicazioni

Il lavoro di Roy e Singh è significativo per diverse ragioni:

1. Generalizzazione: Estende i risultati noti sulla semiproiettività (spesso limitati a casi specifici o a gruppi lineari) a fibrati principali per gruppi riduttivi generici $G$ e per spazi che includono connessioni $\lambda$.
2. Struttura Geometrica: Dimostra che la semiproiettività non è solo una proprietà formale, ma una struttura geometrica fondamentale che governa la topologia e la teoria dei motivi di questi spazi complessi.
3. Strumento Computazionale: Le formule ottenute per la cohomologia e per la classe nell'anello di Grothendieck offrono strumenti potenti per calcolare invarianti topologici complessi riducendoli a problemi più semplici sulle componenti fisse (che spesso sono spazi dei moduli di fibrati su curve o varietà di Higgs ridotte).
4. Connessione con la Corrispondenza di Hodge Non Abeliiana: Il lavoro si inserisce nel quadro più ampio della corrispondenza di Hodge non abeliana, fornendo una comprensione strutturale più profonda dello spazio di Hodge che interpola tra fibrati di Higgs e connessioni.

In sintesi, il paper stabilisce che gli spazi dei moduli dei fibrati principali con strutture aggiuntive (Higgs, connessioni) possiedono una struttura semiproiettiva robusta, permettendo di "scomporre" la loro complessità topologica e motivica in termini di oggetti geometrici più semplici (i punti fissi).