The conformal limit for Nakajima quiver varieties

1. Probleemstelling en Context

Het artikel richt zich op de uitbreiding van het concept van de conforme limiet (conformal limit), oorspronkelijk geïntroduceerd door Gaiotto voor Higgs-bundels, naar een bredere klasse van hyperkähler-variëteiten: de Nakajima-kwivervariëteiten.

• Achtergrond: In de theorie van Higgs-bundels op een Riemann-oppervlak beschrijft de conformale limiet een biholomorfe afbeelding tussen twee specifieke holomorphe Lagrangiaanse deelvariëteiten: de moduumeruimte van Higgs-bundels ($M_H$) en de de Rham-moduumeruimte van complexe vlakke verbindingen ($M_{dR}$). Dit gebeurt via een een-parameter familie van verbindingen die afhangt van een parameter $R$, waarbij de limiet $R \to 0$ wordt genomen.
• Het probleem: Hoewel deze constructie voor Higgs-bundels goed begrepen is (o.a. bewezen door Collier, Li, en others), is het onduidelijk of en hoe een analoog proces werkt voor andere hyperkähler-variëteiten die een $\mathbb{C}^\times$-actie toelaten. Nakajima-kwivervariëteiten zijn de meest natuurlijke kandidaten omdat ze geometrisch vergelijkbaar zijn met moduumeruimten van Higgs-bundels, maar een algebraïsche structuur hebben die gebaseerd is op kwiver-representaties.
• Doel: De auteurs willen een conformale limiet construeren voor Nakajima-kwivervariëteiten, bewijzen dat deze limiet bestaat, en aantonen dat deze een biholomorfe afbeelding definieert tussen de relevante Lagrangiaanse deelvariëteiten. Daarnaast onderzoeken ze een analogie van de conjectuur van Simpson over de volledigheid van deze deelvariëteiten.

2. Methodologie

De auteurs volgen het paradigma dat eerder werd ontwikkeld voor Higgs-bundels (met name in werk van Collier en Williams), maar passen dit aan op de algebraïsche structuur van kwivervariëteiten. De methode omvat de volgende stappen:

1. Constructie van de Hodge-Nakajima moduumeruimte:
   Ze definiëren een ruimte $M^Q_{Hod}$ die de kwivervariëteit $M(\zeta_R, 0)$ (analoog aan Higgs-bundels) en de variëteit $M(0, -2i\zeta_R)$ (analoog aan de Rham-ruimte) verbindt. Dit wordt gedaan door de twistor-ruimte van de hyperkähler-variëteit te restricteren. Een punt in deze ruimte wordt geassocieerd met een parameter $\xi \in \mathbb{C}$.

2. Definitie van de Hodge-schijf en Bia lynicki-Birula (BB)-schijf:

   • Hodge-schijf ($S_p$): Voor een punt $p$ in de kwivervariëteit wordt een lokale coördinatenkaart gedefinieerd via een Kuranishi-afbeelding. In plaats van de lineaire vergelijkingen voor de raakruimte te gebruiken, gebruiken ze de volledige kwadratische complexe momentafbeelding ($\mu_C(p+q)=0$) gecombineerd met de voorwaarde dat de perturbatie orthogonaal is aan de gauge-orbit ($l^*_p(q)=0$).
   • BB-schijf ($S^+_{p_0}$): Voor een vast punt $p_0$ onder de $\mathbb{C}^\times$-actie wordt de Hodge-schijf beperkt tot de "positieve" componenten van de gradatie die door de actie wordt geïnduceerd. Dit vormt een eindig-dimensionale subvariëteit die diffeomorf is met de Lagrangiaanse deelvariëteit $W^0(p_0)$ in de Higgs-variëteit.

3. De Conformale Familie en Gauge-transformaties:
   De auteurs construeren een familie van punten $F_{R, \check{h}}(p)$ door de $\mathbb{C}^\times$-actie toe te passen met een parameter $R$ en de twistor-rotatie te combineren.

   • Een cruciaal technisch obstakel is dat de $\mathbb{C}^\times$-actie de reële momentafbeelding ($\mu_R$) niet behoudt.
   • Om de limiet te nemen, moeten ze een complexe gauge-transformatie $g_{A, \check{h}}$ vinden die de reële momentafbeelding corrigeert zodat $\mu_R(g \cdot p) = \zeta_R$.
   • Ze gebruiken de Inverse Functiestelling in een gecontroleerde omgeving om te bewijzen dat voor kleine $R$ een unieke gauge-transformatie bestaat die de perturbatie van de reële momentafbeelding oplost. Ze geven kwantitatieve schattingen voor de grootte van deze transformatie in termen van $R$.

4. Bewijs van de limiet:
   Ze tonen aan dat de familie $F_{R, \check{h}}$ convergeert naar een goed gedefinieerd punt in de variëteit $M(0, -2i\zeta_R)$ wanneer $R \to 0$.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert de volgende fundamentele resultaten:

• Bestaan van de Conformale Limiet (Stelling 1.3 & 5.2):
  De auteurs bewijzen dat de conformale limiet bestaat voor elke punt in de Nakajima-kwivervariëteit. Specifiek wordt aangetoond dat voor een punt $p$ dat tot de Lagrangiaanse deelvariëteit $W^0(p_0)$ behoort, de limiet een biholomorfe afbeelding is naar de corresponderende deelvariëteit $W^1(p_0)$ in de "de Rham"-variëteit.
  De expliciete formule voor de limiet is:
  $$CL_{\check{h}}(p_0 + A) = g_{A, \check{h}} \cdot (B^0_h + A_h - \check{h}(B^0_{\bar{h}})^\dagger, \dots)$$
  waarbij $g_{A, \check{h}}$ de unieke complexe gauge-transformatie is die de reële momentafbeelding satisficeert.

• Biholomorfisme tussen Lagrangiaanse deelvariëteiten:
  Het werk bevestigt dat de restricties van de Hodge-Nakajima moduumeruimte tot de niveaus $\xi=0$ en $\xi=1$ (resp. $M(\zeta_R, 0)$ en $M(0, -2i\zeta_R)$) holomorphe Lagrangiaanse deelvariëteiten zijn, en dat de conformale limiet een biholomorfisme tussen deze twee ruimten induceert.

• Analogie van de Conjectuur van Simpson (Stelling 1.7):
  De auteurs formuleren een analogie van de conjectuur van Simpson voor kwivervariëteiten: Zijn de Lagrangiaanse deelvariëteiten $W^1(p_0)$ complete deelvariëteiten?
  Ze bewijzen een gedeeltelijk resultaat: Als het punt $p_0 + A$ niet nilpotent is (d.w.z. als er een niet-triviale invariant bestaat via een gesloten lus in de kwiver), dan verlaat de lijn $CL_{\check{h}}(p_0 + A)$ elke compacte deelverzameling van de variëteit wanneer de parameter naar oneindig gaat. Dit impliceert dat $W^1(p_0)$ een complete deelvariëteit is voor elke zeer stabiele (very stable) vaste punt $p_0$.

4. Significatie en Impact

• Generalisatie van Higgs-bundel-theorie: Het artikel toont aan dat de diepe structurele eigenschappen van de niet-abeliaanse Hodge-correspondentie en de conformale limiet niet beperkt zijn tot Riemann-oppervlakken, maar een universeel kenmerk zijn van hyperkähler-variëteiten met een geschikte $\mathbb{C}^\times$-actie.
• Technische Innovatie: De methode om de inverse functiestelling toe te passen op de reële momentafbeelding in de context van kwivervariëteiten, met specifieke aandacht voor de schalingseigenschappen van de gauge-transformaties, biedt een nieuw technisch gereedschap voor de studie van moduumeruimten.
• Verband met Integrabele Systemen: De conformale limiet is essentieel voor het begrijpen van de asymptotische gedrag van Higgs-bundels en kwivervariëteiten, wat direct relevant is voor de studie van integrabele systemen, de Langlands-correspondentie en de geometrische Langlands-programma.
• Stap naar de Volledige Conjectuur: Hoewel de volledige conjectuur van Simpson (voor alle vaste punten) nog open staat, biedt dit artikel een solide bewijs voor het geval van zeer stabiele punten, wat een belangrijke stap is in het begrijpen van de globale topologie van deze moduumeruimten.

Samenvattend biedt dit artikel een rigoureuze algebraïsche en analytische constructie die de brug slaat tussen de theorie van Higgs-bundels en de algebraïsche meetkunde van kwivervariëteiten, met nieuwe inzichten in de structuur van hun Lagrangiaanse deelvariëteiten.