The conformal limit for Nakajima quiver varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria iperkählerica e della teoria dei moduli, cercando di generalizzare una costruzione nota nel contesto dei fibrati di Higgs alle varietà di quiver di Nakajima.

• Contesto Ispiratore: Il paper prende spunto dalla costruzione del "limite conforme" per i fibrati di Higgs, proposta da Gaiotto e successivamente dimostrata da D. D. et al. (in particolare nel lavoro [CW19] citato). In quel contesto, per un fibrato di Higgs stabile $(\bar{\partial}_E, \Phi)$, è possibile definire una famiglia di connessioni piatte complesse $\nabla_{R, \check{h}}$ parametrizzata da $R > 0$. Il limite quando $R \to 0$ esiste e definisce una mappa biolomorfa tra sottovarietà lagrangiane olomorfe nello spazio dei moduli dei fibrati di Higgs ($M_H$) e nello spazio dei moduli delle connessioni piatte ($M_{dR}$).
• L'Obiettivo: Gli autori si chiedono se un analogo di questa costruzione esista per le varietà di quiver di Nakajima, che sono una classe fondamentale di varietà iperkähleriche con proprietà geometriche simili agli spazi di moduli dei fibrati di Higgs. La domanda centrale è: esiste un limite conforme per le varietà di quiver e quali proprietà possiede?

2. Metodologia

La metodologia adottata segue il paradigma stabilito in [CW19] per i fibrati di Higgs, adattandolo alla struttura algebrica e geometrica delle varietà di quiver.

1. Costruzione dello Spazio di Hodge-Nakajima:
   Gli autori definiscono uno spazio di moduli generalizzato, lo spazio di Hodge-Nakajima ($M^{Q}_{Hod}$), che parametrizza le $\lambda$-connessioni per le rappresentazioni dei quiver. Questo spazio è costruito come unione di varietà di quiver con parametri di stabilità dipendenti da un parametro complesso $\xi \in \mathbb{C}$:
   $$M^{Q}_{Hod} := \bigcup_{\xi \in \mathbb{C}} M((1-|\xi|^2)\zeta_R, -2i\xi\zeta_R)$$
   Questo permette di interpolare tra la varietà di quiver classica (a $\xi=0$) e una varietà deformatà (a $\xi=1$).

2. Azioni $C^\star$ e Linee Twistor:
   Viene studiata l'azione naturale del gruppo $C^\star$ sulle varietà di quiver. Si definiscono le "linee twistor" (rotazioni iperkähleriche) che collegano i punti nello spazio dei moduli. L'azione $C^\star$ induce una stratificazione di Bia lynicki-Birula (BB), che suddivide lo spazio in insiemi di punti che convergono verso punti fissi specifici sotto il limite dell'azione.

3. Definizione delle Fette (Slice):

   • Fetta di Hodge ($S_p$): Viene definita come una sottovarietà dello spazio delle rappresentazioni che risolve l'equazione del momento complesso $\mu_C(p+q)=0$ (invece della linearizzazione) e soddisfa una condizione di gauge.
   • Fetta di Bia lynicki-Birula ($S^+_{p_0}$): Per un punto fisso $p_0$ sotto l'azione $C^\star$, si definisce una sottovarietà specifica $S^+_{p_0}$ contenente le direzioni di "flusso ascendente". Questa fetta è diffeomorfa alla varietà lagrangiana $W^0(p_0)$ nello spazio dei moduli a $\xi=0$.

4. Costruzione della Famiglia Limitante:
   Gli autori costruiscono esplicitamente una famiglia di punti $F_{R, \check{h}}$ agendo con l'azione $C^\star$ (moltiplicazione per $R$) e applicando trasformazioni di gauge complesse $g_{A, \check{h}}$ per correggere il momento reale $\mu_R$. Il cuore della dimostrazione risiede nel mostrare che, per $R \to 0$, questa famiglia converge a un punto ben definito nello spazio deformato.

5. Strumenti Tecnici:
   Viene utilizzato il Teorema della Funzione Inversa in modo quantitativo. Poiché le trasformazioni di gauge necessarie per soddisfare il momento reale dipendono da $R$, gli autori dimostrano (Lemma 4.6) che esiste una trasformazione di gauge $g_A$ che corregge l'errore del momento reale con un'asintotica controllata ($O(R^2)$), garantendo la convergenza del limite.

3. Contributi Chiave e Risultati Principali

• Teorema dell'Esistenza del Limite Conforme (Teorema 1.3 e 5.2):
  Gli autori dimostrano che il limite conforme esiste per le varietà di Nakajima. Per ogni punto $p$ in una specifica strato lagrangiano $W^0(p_0)$, il limite conforme $CL_{\check{h}}(p)$ è ben definito e dato da una formula esplicita che coinvolge la trasformazione di gauge $g_{A, \check{h}}$ e i dati iniziali.
  $$CL_{\check{h}}(p) = \lim_{R \to 0} F_{R, \check{h}}(g_A \cdot (p_0 + A))$$

• Mappa Biolomorfa tra Varietà Lagrangiane:
  Il risultato principale è che la mappa del limite conforme definisce un isomorfismo biolomorfo tra due sottovarietà lagrangiane olomorfe:

  • $W^0(p_0) \subset M(\zeta_R, 0)$ (analogo allo spazio dei fibrati di Higgs).
  • $W^1(p_0) \subset M(0, -2i\zeta_R)$ (analogo allo spazio delle connessioni piatte/de Rham).
    Questo generalizza il teorema di [CW19] dal caso dei fibrati di Higgs a quello delle varietà di quiver.

• Congettura di Simpson per le Varietà di Quiver:
  Gli autori formulano un analogo della congettura di Simpson per le varietà di quiver: le varietà lagrangiane $W^1(p_0)$ sono sottovarietà complete di $M(0, -2i\zeta_R)$.

  • Risultato Parziale (Teorema 1.7): Dimostrano che la congettura è vera per i punti fissi "molto stabili" (very stable). In particolare, mostrano che se un punto non è nilpotente, la sua immagine sotto il limite conforme esce da ogni sottoinsieme compatto dello spazio dei moduli quando il parametro tende all'infinito (o zero, a seconda della parametrizzazione), implicando la completezza.

• Nuova Formula di Trasformazione:
  A differenza del caso dei fibrati di Higgs, dove la metrica armonica è fissa, nel caso delle varietà di quiver la metrica (e quindi la trasformazione di gauge necessaria) dipende sia dal parametro $R$ che dal punto iniziale. Questo introduce una complessità tecnica maggiore, risolta attraverso stime asintotiche precise sulle matrici hermitiane coinvolte.

4. Significato e Implicazioni

• Generalizzazione Teorica: Il lavoro estende una delle costruzioni più eleganti della geometria non abeliana (il limite conforme) a una classe molto ampia di varietà iperkähleriche, confermando che le proprietà strutturali degli spazi di moduli dei fibrati di Higgs sono intrinseche alla geometria delle varietà di quiver.
• Strumento per la Congettura di Simpson: La mappa del limite conforme fornisce un sistema di coordinate esplicito sulle varietà lagrangiane $W^1(p_0)$. Questo è uno strumento fondamentale per studiare la topologia e la completezza di questi spazi, un problema aperto che è stato risolto per il rango 2 nei fibrati di Higgs ([DS24]) grazie a tecniche simili.
• Connessione con la Fisica Teorica: Le varietà di quiver appaiono naturalmente nella teoria delle stringhe e nella teoria di gauge supersimmetrica (ad esempio, come spazi di moduli di istantoni o monopoli). La costruzione del limite conforme offre nuovi strumenti per analizzare il comportamento di queste teorie in regimi di accoppiamento forte o debole, e per comprendere le dualità tra diverse descrizioni fisiche (analoghe alla corrispondenza di Hodge non abeliana).
• Metodologia Robusta: La tecnica sviluppata, che combina la teoria delle deformazioni, l'analisi asintotica delle equazioni di momento e la teoria delle azioni di gruppo, fornisce un modello per future generalizzazioni ad altri spazi di moduli iperkählerici.

In sintesi, il paper stabilisce un ponte solido tra la teoria dei fibrati di Higgs e la teoria delle varietà di quiver, dimostrando che la struttura del limite conforme è universale per questa classe di spazi e fornendo risultati concreti sulla completezza delle loro sottovarietà lagrangiane.