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

Technische Samenvatting: Infinitesimale Automorfismen en Obstructietheorie op de Moduli van L-gevaloriseerde G-Higgsbundels

Probleemstelling
Het artikel behandelt de meetkundige en deformatie-theoretische eigenschappen van $L$-gevaloriseerde principale $G$-Higgsbundels over een compacte Kähler-maand $X$, waarbij $G$ een reductieve lineaire algebraïsche groep is en $L$ een holomorfe vectorbundel op $X$. Hoewel de theorie van $\Omega^1_X$-gevaloriseerde Higgsbundels (standaard Higgsbundels) goed gevestigd is, met name wat betreft stabiliteit, infinitesimale automorfismen en moduli-ruimten, vereist de generalisatie naar willekeurige vectorbundels $L$ het uitbreiden van belangrijke structurele resultaten. Specifiek beogen de auteurs:

1. De ruimte van infinitesimale automorfismen te berekenen voor stabiele $L$-gevaloriseerde $G$-Higgsbundels.
2. De stabiliteit van de geassocieerde adjointbundel van een stabiele $G$-Higgsbundel vast te stellen.
3. De stack-theoretische aard van de moduli-ruimte van stabiele $L$-gevaloriseerde $G$-Higgsbundels te bepalen.
4. Een symmetrische perfecte obstructietheorie te construeren voor het geval waarin $X$ een glad projectief oppervlak is en $L = K_X$ (de canonieke bundel), waarmee de basis wordt gelegd voor het definiëren van Vafa-Witten-invarianten voor algemene reductieve groepen.

Methodologie
De auteurs maken gebruik van een combinatie van differentiaalmeetkundige technieken (Kobayashi-Hitchin-correspondentie) en algebraïsch-geometrische methoden (stabiliteitsvoorwaarden, Harder-Narasimhan-filtraties en obstructietheorie).

• Gegenereerde Kobayashi-Hitchin-correspondentie: De analyse steunt op de correspondentie tussen stabiliteit en het bestaan van Hermitische metrieken die voldoen aan de quiver-vortexvergelijking. Voor een $L$-gevaloriseerde $G$-Higgsbundel $(E_G, \phi)$ maken de auteurs gebruik van resultaten van Álvarez-Cónsul en García-Prada [2] met betrekking tot getwiste quiverbundels. Zij stellen vast dat een stabiele bundel een unieke toelaatbare Hermitische metriek $h$ toelaat die voldoet aan de vergelijking:
  $$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$$
  waarbij $E = \text{ad}(E_G)$ de adjointbundel is, $F^{1,1}_E$ de kromming van de Chern-verbinding is, en $\tau$ een constante is bepaald door de graad.

• Bochner-techniek voor Automorfismen: Om infinitesimale automorfismen te berekenen, passen de auteurs de Bochner-formule toe die wordt gebruikt in het $\Omega^1_X$-geval (Biswas [7]). Door een holomorfe sectie $s$ van de endomorfismbundel te beschouwen die commuteert met het Higgsveld ($[s, \phi]=0$), leiden zij een differentiaal-ongelijkheid af die de Laplaciaan $\Delta_d$ bevat. Met behulp van de Yang-Mills-Higgs-vergelijking en de Jacobi-identiteit tonen zij aan dat $|s|^2$ een subharmonische functie is. Op een compacte variëteit impliceert dit dat $s$ parallel is, wat leidt tot beperkingen op de automorfismengroep.

• Stabiliteit van Adjointbundels: De auteurs breiden de resultaten van Biswas [4] uit naar de $L$-gevaloriseerde setting. Zij bewijzen dat als $(E_G, \phi)$ stabiel is, de geassocieerde adjoint Higgsbundel $(\text{ad}(E_G), \phi)$ polystabiel is. Dit houdt in dat de Harder-Narasimhan-filtratie van de adjointbundel wordt geanalyseerd en gebruik wordt gemaakt van de Killing-vorm (voor semisimpele $G$) om destabiliserende deelobjecten van de adjointbundel terug te relateren aan parabolische reducties van de principale bundel.

• Constructie van Obstructietheorie: Voor de moduli-stack van stabiele bundels construeren de auteurs een deformatie-obstructietheorie. Zij maken gebruik van het universele complex over de moduli-ruimte en passen Serre-dualiteit toe. De symmetrie van de obstructietheorie volgt uit de zelf-dualiteit van het complex onder de voorwaarde $L=K_X$ en het verdwijnen van de groep van infinitesimale automorfismen voor semisimpele $G$.

Belangrijkste Bijdragen en Resultaten

1. Berekening van Infinitesimale Automorfismen:
   Het primaire resultaat (Stelling 3.4) stelt dat voor een stabiele $L$-gevaloriseerde principale $G$-Higgsbundel $(E_G, \phi)$ over een compacte Kähler-maand, de groep van infinitesimale automorfismen $A(E)$ isomorf is met het centrum van de Lie-algebra, $\mathfrak{z}(\mathfrak{g})$.

   • Betekenis: Dit breidt het bekende resultaat voor $\Omega^1_X$-gevaloriseerde bundels uit naar willekeurige $L$. Cruciaal is dat, als $G$ semisimpel is, $\mathfrak{z}(\mathfrak{g}) = 0$, wat impliceert dat de automorfismengroep discreet is.

2. Polystabiliteit van de Adjointbundel:
   Stelling 4.8 stelt vast dat als $(E_G, \phi)$ stabiel is, $(\text{ad}(E_G), \phi)$ polystabiel is. Dit berust op het feit dat elk destabiliserend deelobject van de adjointbundel een parabolische reductie van de principale bundel zou induceren, wat in strijd zou zijn met de stabiliteit van $(E_G, \phi)$.

3. Moduli-stack als Deligne-Mumford-stack:
   Proposition 5.4 bewijst dat voor een semisimpele groep $G$, de moduli-stack van stabiele $L$-gevaloriseerde $G$-Higgsbundels, aangeduid als $\text{Higgs}^s_L(X)$, een Deligne-Mumford (DM) stack is.

   • Redenering: Een stack is DM als zijn stabilisatoren eindig en gereduceerd zijn. Het verdwijnen van infinitesimale automorfismen ($\mathfrak{z}(\mathfrak{g})=0$) voor semisimpele $G$ zorgt ervoor dat de stabilisatorgroepen discreet zijn. De stabiliteitsvoorwaarde wordt aangetoond als een open voorwaarde (Propositie 5.1), wat de existentie van de stabiele locus als een open substack verzekert.

4. Symmetrische Perfecte Obstructietheorie:
   Stelling 5.5 construeert een symmetrische perfecte obstructietheorie voor de moduli-stack $\text{Higgs}^s_{K_X}(X)$ wanneer $X$ een glad projectief oppervlak is en $G$ semisimpel is.

   • Mechanisme: De obstructietheorie wordt gegeven door een morfisme $\phi_H: T_{\text{Higgs}} \to E_H$. De symmetrie vloeit voort uit de isomorfie $E_H \cong (E_H)^\vee[-1]$ in de afgeleide categorie, een gevolg van Serre-dualiteit en de specifieke keuze $L=K_X$. Het verdwijnen van $H^{-1}(E_H)$ (infinitesimale automorfismen) en $H^2(E_H)$ (dual van automorfismen) zorgt ervoor dat het complex perfect is en ondersteund in graden $[0, 1]$.

Betekenis en Beweringen
Het artikel beweert een fundamenteel kader te bieden voor de studie van Vafa-Witten-invarianten voor algemene reductieve groepen $G$.

• Fundament voor Invarianten: De auteurs stellen expliciet dat de constructie van een symmetrische perfecte obstructietheorie op de stabiele locus een voorwaarde is voor het definiëren van Vafa-Witten-invarianten via de equivariante virtuele fundamentele klasse.
• Generalisatie: Het werk generaliseert eerdere resultaten die beperkt waren tot $\Omega^1_X$-gevaloriseerde bundels en specifieke groepen (zoals symplectische of orthogonale groepen) naar willekeurige reductieve groepen en willekeurige twistbundels $L$.
• Toekomstig Werk: De auteurs merken op dat deze resultaten bedoeld zijn om te worden gegeneraliseerd naar Gieseker-stabiele $G$-Higgs-schoven. Zij verwachten dat voor een minimale tweede Chern-klasse de resulterende moduli-ruimte een compacte $\mathbb{C}^*$-vaste locus zal bezitten (via schaling van het Higgsveld), wat de definitie van Vafa-Witten-invarianten voor $G$ mogelijk maakt op een manier analoog aan de symplectische en orthogonale gevallen bestudeerd in [18].

Het artikel beweert niet specifieke invarianten te berekenen of experimentele data te verschaffen; in plaats daarvan legt het de noodzakelijke meetkundige en stack-theoretische infrastructuur vast (infinitesimale rigiditeit, DM-structuur en obstructietheorie) die vereist is om dergelijke invarianten in toekomstig werk te definiëren en te berekenen.