Białynicki-Birula Decompositions of Nakajima Quiver Varieties, Quiver Chains and Star-Shaped Quivers

Sintesi Tecnica: Decomposizioni di Białynicki-Birula per le Varietà di Quiver di Nakajima, Catene di Quiver e Quiver a Forma Stellata

Enunciato del Problema
Il saggio affronta la struttura geometrica e topologica delle varietà di quiver di Nakajima, $M_\theta(Q, d)$, che sono varietà iperkähler semiproiettive centrali nella teoria delle rappresentazioni geometriche e nella fisica matematica. Nello specifico, il lavoro investiga la decomposizione di Białynicki-Birula (BB) associata alla naturale azione $\mathbb{C}^*$ su queste varietà. Tale azione scala le mappe lungo le frecce invertite del quiver raddoppiato, preservando al contempo le mappe lungo le frecce originali. L'obiettivo primario è caratterizzare il luogo dei punti fissi di questa azione, descrivere la geometria della risultante stratificazione BB (specificamente le dimensioni delle fibre attrattive) e calcolare la classe motivica della varietà in termini dei moduli degli spazi dei punti fissi.

Metodologia
L'autore impiega un approccio sistematico che combina riduzione iperkähler, Teoria Invariante Geometrica (GIT), teoria della deformazione e tecniche di integrazione motivica:

1. Identificazione dei Punti Fissi: Il saggio stabilisce che i punti fissi dell'azione $\mathbb{C}^*$ su $M_\theta(Q, d)$ corrispondono a catene di quiver. Una catena di quiver è definita come una rappresentazione di un quiver ausiliario $Q_\ell$ (costruito replicando i vertici e gli archi di $Q$ su $\ell$ "livelli") soddisfacente specifiche relazioni derivate dalla condizione della mappa momentanea complessa.
2. Equivalenza di Stabilità: Utilizzando tecniche adattate dal lavoro di King sui moduli di quiver e dal lavoro di Álvarez-Cónsul e García-Prada sui fasci di Higgs, l'autore dimostra che la stabilità di una catena di quiver rispetto a un parametro di stabilità specifico $\theta_\ell$ è equivalente alla stabilità della rappresentazione di Nakajima collassata associata rispetto a $\theta$. Ciò permette la costruzione dello spazio dei moduli delle catene di quiver come uno spazio modulo fine.
3. Stratificazione BB e Teoria della Deformazione: Il saggio utilizza la teoria della deformazione dello spazio dei moduli per analizzare lo spazio tangente nei punti fissi. Decomponendo il complesso di deformazione negli spazi pesati sotto l'azione $\mathbb{C}^*$, l'autore calcola le dimensioni delle fibre attrattive e repulsive (i flussi "ascendenti" e "discendenti"). Ciò comporta l'analisi della coomologia dei complessi di deformazione pesati per grado.
4. Calcolo Motivico: Per calcolare la classe motivica $[M_\theta(Q, d)]$ nell'anello di Grothendieck delle varietà, il saggio applica la formula della decomposizione BB, che esprime la classe dello spazio totale come una somma delle classi dei componenti dei punti fissi moltiplicate per le classi degli spazi affini (le fibre). Per il caso specifico dei quiver a forma stellata, l'autore impiega un analogo motivico della formula di Fei (basata sul lavoro di Reineke sulle filtrazioni di Harder-Narasimhan) per calcolare le classi degli spazi moduli delle catene di quiver. Ciò comporta la stratificazione dello spazio delle rappresentazioni con relazioni tramite profili di rango e l'utilizzo delle proprietà di varietà di flag e fasci vettoriali.

Contributi Chiave e Risultati

• Caratterizzazione dei Punti Fissi (Teorema 3.2, 3.15): Si dimostra che il luogo dei punti fissi $M_\theta(Q, d)^{\mathbb{C}^*}$ è isomorfo a una unione disgiunta di spazi moduli di catene di quiver $\theta_\ell$-stabili, $M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)$. Questo generalizza l'identificazione dei punti fissi nei moduli dei fasci di Higgs con le catene olografiche.
• Geometria della Stratificazione (Proposizione 4.6, 4.7): Il saggio fornisce una formula per la classe motivica della varietà di quiver di Nakajima:
  $$[M_\theta(Q, d)] = \sum_{d_\ell} [M_{\theta_\ell}(Q_\ell, d_\ell, R_\ell)] \cdot \mathbb{L}^{N_{d_\ell}}$$
  dove $\mathbb{L}$ è la classe della retta affina e $N_{d_\ell}$ è la dimensione della fibra attrattiva. Un risultato significativo è che, per il quiver a forma stellata, $N_{d_\ell}$ è indipendente dal componente specifico $d_\ell$ e uguale a $1 - \langle d, d \rangle_Q$, implicando che le fibre attrattive sono lagrangiane.
• Classificazione per i Quiver a Forma Stellata (Teorema 5.5): Per i quiver a forma stellata con vettori di dimensione di tipo $(1, \dots, 1)$, lo spazio modulo delle catene di quiver è esplicitamente classificato. Si dimostra essere isomorfo a un prodotto di spazi proiettivi $\mathbb{P}^{n_2-2} \times \dots \times \mathbb{P}^{n_\ell-2}$ (o vuoto se le dimensioni sono troppo piccole).
• Formula Motivica Esplicita (Teorema 5.10): Il saggio deriva una formula chiusa per la classe motivica della varietà completa di Nakajima per i quiver a forma stellata in un appropriato localizzamento dell'anello di Grothendieck. Questa formula è espressa come una somma su decomposizioni del vettore di dimensione, coinvolgendo termini relativi a gruppi lineari generali, Grassmanniane e profili di rango.

Significatività
Il saggio sostiene di fornire uno studio sistematico della decomposizione BB per le varietà di quiver di Nakajima, offrendo una nuova prospettiva distinta dai precedenti approcci motivici (come l'uso di algebre di Hall motiviche di Wyss e trasformate di Fourier aritmetiche). Analizzando esplicitamente i loci dei punti fissi tramite catene di quiver, il lavoro fornisce ulteriori informazioni geometriche sulla stratificazione dello spazio modulo. I risultati collegano la geometria delle varietà di Nakajima alla combinatoria delle catene di quiver e delle varietà di flag, offrendo un metodo concreto per calcolare gli invarianti motivici per i quiver a forma stellata, che sono legati ai fasci di Higgs parabolici e agli spazi moduli di iperpoligoni. La classificazione dei punti fissi e il calcolo esplicito delle classi motiviche servono come strumenti per comprendere i numeri di Betti e la struttura topologica di queste varietà.