Motives of Nullcones of Quiver Representations

1. Il Problema

Il lavoro si concentra sullo studio dei nullconi (nullcones) degli spazi di rappresentazione di quiver. Per un quiver finito $Q$ e un vettore di dimensione $d$, lo spazio delle rappresentazioni $R_d$ è un spazio vettoriale complesso su cui agisce un gruppo di ridimensionamento (base change) $G_d = \prod GL(V_i)$. Il nullcone $N_d \subset R_d$ è l'insieme delle rappresentazioni nilpotenti, ovvero quelle rappresentazioni il cui orbita sotto l'azione di $G_d$ contiene l'origine (o equivalentemente, quelle per cui tutti gli invarianti polinomiali si annullano).

L'obiettivo principale è calcolare il motivo di questi nullconi, ovvero la loro classe $[N_d]$ nell'anello di Grothendieck delle varietà complesse $K_0(\text{Var}_{\mathbb{C}})$. Questo calcolo è fondamentale per comprendere la struttura geometrica e combinatoria delle rappresentazioni nilpotenti e per ottenere formule per il numero di punti razionali su campi finiti (tramite la specializzazione $L=q$).

2. Metodologia

Gli autori adottano un approccio duale, combinando tecniche geometriche e combinatorie:

1. Stratificazione per Tipo di Socle (Approccio Esplicito):

   • Sfruttando il fatto che ogni rappresentazione nilpotente è un'estensione iterata delle rappresentazioni semplici unidimensionali $S_i$, gli autori stratificano il nullcone in base alla dimensione del suo socle (il sottospazio massimale di rappresentazioni semplici).
   • Utilizzano una costruzione geometrica che coinvolge prodotti di varietà di Grassmann e fibrati vettoriali per derivare relazioni ricorsive tra i motivi dei nullconi di diversi vettori di dimensione.

2. Stratificazione di Hesselink (Approccio "Wall-Crossing"):

   • Adattano la stratificazione di Hesselink, originariamente sviluppata per azioni di gruppi riduttivi, al contesto dei quiver.
   • Parametrizzano gli strati di Hesselink mediante coweight (co-pesi) dominanti e bilanciati.
   • Introducono il concetto di quiver di livello (level quiver) e quiver di livello razionale/integrale ($Q_{\mathbb{Q}}$ e $Q_{\mathbb{Z}}$).
   • Dimostrano che ogni strato di Hesselink è isomorfo a un fibrato associato a uno spazio di rappresentazioni semistabili su un quiver di livello appropriato.
   • Trasformano la somma sugli strati in un prodotto ordinato (ordered product) di serie generatrici, analogo alle formule di "wall-crossing" nella teoria dei moduli.

3. Contributi Chiave e Risultati

A. Formule Esplicite e Ricorsive (Sezioni 2 e 3)

Gli autori derivano tre formule distinte per il motivo $[N_d]$:

1. Formula Ricorsiva (Corollario 3.1): Una relazione ricorsiva che esprime $[N_d]$ in termini dei motivi $[N_e]$ per $e < d$. La formula coinvolge coefficienti binomiali gaussiani e potenze del moto di Lefschetz $L$.
   $$[N_d] = -\sum_{e \subsetneq d} (-1)^{\dim d - \dim e} L^{\sum \binom{d_i}{2} - \binom{e_i}{2} - \langle e, d-e \rangle} \binom{d}{e}_L [N_e]$$
2. Identità di Serie Generatrici (Corollario 3.2): Un'identità nel ring di serie formali twistate che lega la serie generatrice dei nullconi a quella degli spazi di rappresentazione.
3. Formula di Somma Esplicita (Corollario 3.3): Una formula chiusa che esprime $[N_d]$ come somma su tutte le decomposizioni ordinate del vettore di dimensione $d$ in parti non nulle.

Risultati Specifici:

• Quiver Simmetrici: Per quiver simmetrici (dove il numero di frecce $i \to j$ è uguale a $j \to i$), dimostrano una relazione profonda con gli invarianti di Donaldson-Thomas. Il motivo del nullcone è legato alla funzione esponenziale motivica degli invarianti di DT, con una sostituzione formale $L \leftrightarrow L^{-1}$.
• Termine Principale: Calcolano il termine di grado massimo del polinomio che rappresenta il motivo, dimostrando che la varietà $N_d$ è equidimensionale per quiver simmetrici.
• Esempi: Forniscono calcoli espliciti per quiver con un singolo vertice e $m$ lacci (matrici nilpotenti $d \times d$), recuperando il risultato classico di $q^{d(d-1)}$ punti su campi finiti.

B. Formula di Tipo "Wall-Crossing" (Sezioni 4 e 5)

Questo è il risultato più sofisticato del paper.

• Parametrizzazione degli Strati: Dimostrano che l'insieme degli indici per la stratificazione di Hesselink è in bijezione con le tuple di vettori di dimensione $(e_\mu)_\mu$ per il quiver di livello integrale $Q_{\mathbb{Z}}$, dove ogni $e_\mu$ è semistabile rispetto a una pendenza (slope) $\sigma(e_\mu) = \mu$.
• Teorema 5.7 (Formula del Prodotto): Riformulano la somma sugli strati come un prodotto ordinato (rispetto alla pendenza $\mu \in [0, 1] \cap \mathbb{Q}$) di serie generatrici di rappresentazioni semistabili su quiver di livello.
  $$\sum_d \frac{[N_d]}{[G_d]} t^d = \overrightarrow{\prod}_{\mu \in [0,1] \cap \mathbb{Q}} \left( 1 + \sum_{\sigma(e)=\mu} L^{-\dots} \frac{[R^{sst}_e(Q_{\mathbb{Z}})]}{[G_e]} u_e \right)$$
  Questa formula ricorda le identità di wall-crossing nella teoria dei moduli di stabilità, collegando la geometria del nullcone alla teoria delle rappresentazioni semistabili.

4. Significato e Implicazioni

1. Generalizzazione di Risultati Classici: Il lavoro generalizza il risultato classico sul numero di matrici nilpotenti su campi finiti a spazi di rappresentazione di quiver arbitrari, fornendo una struttura motivica sottostante.
2. Connessione tra Geometria e Teoria dei Quiver: Collega la stratificazione di Hesselink (uno strumento potente nell'analisi geometrica delle azioni di gruppo) con la teoria dei quiver e le rappresentazioni semistabili, offrendo una nuova prospettiva sulla struttura dei nullconi.
3. Strumento Computazionale: Le formule ricorsive e di prodotto forniscono strumenti pratici per calcolare i motivi (e quindi i numeri di punti su campi finiti) per quiver complessi, che sarebbero altrimenti intrattabili.
4. Limiti e Generalizzazioni: Gli autori notano che, sebbene le formule siano derivate in caratteristica zero, è ragionevole aspettarsi che valgano anche in caratteristica positiva per il conteggio dei punti. Tuttavia, le dimostrazioni attuali richiedono campi di caratteristica zero per l'uso di certi strumenti geometrici (come la stratificazione di Hesselink e la teoria dei motivi).

In sintesi, il paper fornisce una descrizione completa e quantitativa dei nullconi delle rappresentazioni di quiver, offrendo sia formule computazionali dirette che una profonda comprensione strutturale attraverso la lente della stratificazione di Hesselink e delle formule di wall-crossing.