Infinitesimal automorphisms and obstruction theory on the moduli of $L$-valued $G$-Higgs bundles

Sintesi Tecnica: Automorfismi Infinitesimali e Teoria dell'Ostruzione sul Moduli dei Fasci di Higgs G-Valori in L

Enunciato del Problema
Il lavoro affronta le proprietà geometriche e di deformazione dei fasci principali G-Higgs a valori in L su una varietà Kähleriana compatta X, dove G è un gruppo algerico lineare riduttivo e L è un fibrato vettoriale olomorfo su X. Mentre la teoria dei fasci di Higgs a valori in $\Omega^1_X$ (fasci di Higgs standard) è ben consolidata, in particolare riguardo alla stabilità, agli automorfismi infinitesimali e agli spazi dei moduli, la generalizzazione a fibrati vettoriali arbitrari L richiede l'estensione di risultati strutturali chiave. Nello specifico, gli autori mirano a:

1. Calcolare lo spazio degli automorfismi infinitesimali per fasci G-Higgs a valori in L stabili.
2. Stabilire la stabilità del fibrato aggiunto associato a un fascio G-Higgs stabile.
3. Determinare la natura stack-teorica dello spazio dei moduli dei fasci G-Higgs a valori in L stabili.
4. Costruire una teoria dell'ostruzione perfetta simmetrica per il caso in cui X è una superficie proiettiva liscia e L = $K_X$ (il fibrato canonico), ponendo le basi per la definizione degli invarianti di Vafa-Witten per gruppi riduttivi generali.

Metodologia
Gli autori impiegano una combinazione di tecniche geometriche differenziali (corrispondenza di Kobayashi-Hitchin) e metodi geometrici algebrici (condizioni di stabilità, filtrazioni di Harder-Narasimhan e teoria dell'ostruzione).

• Corrispondenza Generalizzata di Kobayashi-Hitchin: L'analisi si basa sulla corrispondenza tra stabilità e l'esistenza di metriche hermitiane che soddisfano l'equazione dei vortici per quiver. Per un fascio G-Higgs a valori in L $(E_G, \phi)$, gli autori utilizzano i risultati di Álvarez-Cónsul e García-Prada [2] riguardanti i fibrati quiver twistati. Stabiliscono che un fibrato stabile ammette una metrica hermitiana ammissibile unica h che soddisfa l'equazione:
  $$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$$
  dove $E = \text{ad}(E_G)$ è il fibrato aggiunto, $F^{1,1}_E$ è la curvatura della connessione di Chern e $\tau$ è una costante determinata dal grado.

• Tecnica di Bochner per gli Automorfismi: Per calcolare gli automorfismi infinitesimali, gli autori adattano la formula di Bochner utilizzata nel caso $\Omega^1_X$ (Biswas [7]). Considerando una sezione olomorfa s del fibrato degli endomorfismi che commuta con il campo di Higgs ($[s, \phi]=0$), derivano una disuguaglianza differenziale che coinvolge il laplaciano $\Delta_d$. Utilizzando l'equazione di Yang-Mills-Higgs e l'identità di Jacobi, dimostrano che $|s|^2$ è una funzione subarmonica. Su una varietà compatta, ciò implica che s è parallela, portando a vincoli sul gruppo degli automorfismi.

• Stabilità dei Fibrati Aggiunti: Gli autori estendono i risultati di Biswas [4] al contesto a valori in L. Dimostrano che se $(E_G, \phi)$ è stabile, allora il fascio di Higgs aggiunto associato $(\text{ad}(E_G), \phi)$ è polistabile. Ciò comporta l'analisi della filtrazione di Harder-Narasimhan del fibrato aggiunto e l'utilizzo della forma di Killing (per G semisemplice) per ricondurre i sottoggetti destabilizzanti del fibrato aggiunto alle riduzioni paraboliche del fibrato principale.

• Costruzione della Teoria dell'Ostruzione: Per lo stack dei moduli dei fibrati stabili, gli autori costruiscono una teoria di deformazione-ostruzione. Utilizzano il complesso universale sullo spazio dei moduli e applicano la dualità di Serre. La simmetria della teoria dell'ostruzione deriva dall'autodualità del complesso sotto la condizione $L=K_X$ e dalla nullità del gruppo degli automorfismi infinitesimali per G semisemplice.

Contributi e Risultati Chiave

1. Calcolo degli Automorfismi Infinitesimali:
   Il risultato principale (Teorema 3.4) afferma che per un fascio principale G-Higgs a valori in L stabile $(E_G, \phi)$ su una varietà Kähleriana compatta, il gruppo degli automorfismi infinitesimali $A(E)$ è isomorfo al centro dell'algebra di Lie, $\mathfrak{z}(\mathfrak{g})$.

   • Significato: Ciò estende il risultato noto per i fibrati a valori in $\Omega^1_X$ a L arbitrari. Crucialmente, se G è semisemplice, $\mathfrak{z}(\mathfr{g}) = 0$, implicando che il gruppo degli automorfismi è discreto.

2. Polistabilità del Fibrato Aggiunto:
   Il Teorema 4.8 stabilisce che se $(E_G, \phi)$ è stabile, allora $(\text{ad}(E_G), \phi)$ è polistabile. Ciò si basa sul fatto che qualsiasi sottoggetto destabilizzante del fibrato aggiunto indurrebbe una riduzione parabolica del fibrato principale, contraddicendo la stabilità di $(E_G, \phi)$.

3. Stack dei Moduli come Stack di Deligne-Mumford:
   La Proposizione 5.4 dimostra che per un gruppo semisemplice G, lo stack dei moduli dei fasci G-Higgs a valori in L stabili, denotato $\text{Higgs}^s_L(X)$, è uno stack di Deligne-Mumford (DM).

   • Ragionamento: Uno stack è DM se i suoi stabilizzatori sono finiti e ridotti. La nullità degli automorfismi infinitesimali ($\mathfrak{z}(\mathfrak{g})=0$) per G semisemplice garantisce che i gruppi stabilizzatori siano discreti. La condizione di stabilità è mostrata essere una condizione aperta (Proposizione 5.1), garantendo l'esistenza del luogo stabile come sottostack aperto.

4. Teoria dell'Ostruzione Perfetta Simmetrica:
   Il Teorema 5.5 costruisce una teoria dell'ostruzione perfetta simmetrica per lo stack dei moduli $\text{Higgs}^s_{K_X}(X)$ quando X è una superficie proiettiva liscia e G è semisemplice.

   • Meccanismo: La teoria dell'ostruzione è data da un morfismo $\phi_H: T_{\text{Higgs}} \to E_H$. La simmetria deriva dall'isomorfismo $E_H \cong (E_H)^\vee[-1]$ nella categoria derivata, conseguenza della dualità di Serre e della scelta specifica $L=K_X$. La nullità di $H^{-1}(E_H)$ (automorfismi infinitesimali) e di $H^2(E_H)$ (duale degli automorfismi) garantisce che il complesso sia perfetto e supportato nei gradi $[0, 1]$.

Significato e Affermazioni
Il lavoro afferma di fornire un quadro fondamentale per lo studio degli invarianti di Vafa-Witten per gruppi riduttivi generali G.

• Fondamento per gli Invarianti: Gli autori affermano esplicitamente che la costruzione di una teoria dell'ostruzione perfetta simmetrica sul luogo stabile è un prerequisito per definire gli invarianti di Vafa-Witten tramite la classe fondamentale virtuale equivariante.
• Generalizzazione: Il lavoro generalizza risultati precedenti limitati a fibrati a valori in $\Omega^1_X$ e gruppi specifici (come gruppi simplettici o ortogonali) a gruppi riduttivi arbitrari e fibrati twistanti L arbitrari.
• Lavori Futuri: Gli autori notano che questi risultati sono destinati a essere generalizzati ai fasci G-Higgs Gieseker stabili. Prevedono che per una seconda classe di Chern minima, lo spazio dei moduli risultante possiederà un luogo fisso compatto sotto l'azione di $\mathbb{C}^*$ (tramite scalatura del campo di Higgs), permettendo la definizione degli invarianti di Vafa-Witten per G in un modo analogo ai casi simplettico e ortogonale studiati in [18].

Il lavoro non afferma di calcolare invarianti specifici o di fornire dati sperimentali; piuttosto, stabilisce l'infrastruttura geometrica e stack-teorica necessaria (rigidità infinitesimale, struttura DM e teoria dell'ostruzione) richiesta per definire e calcolare tali invarianti in lavori futuri.