Virtual K-theoretic invariants of the nested Hilbert scheme on $\mathbb{C}^2$

Sintesi Tecnica: Invarianti K-teorici Virtuali dello Schema di Hilbert Nidificato su $\mathbb{C}^2$

Definizione del Problema
Il saggio affronta il calcolo degli invarianti k-teorici virtuali per lo schema di Hilbert nidificato di punti sul piano affine, denotato con $NHilb_{(d_0, \dots, d_N)}(\mathbb{A}^2)$. Questo spazio di moduli parametrizza catene di sottoschemi di dimensione zero $Z_0 \supset Z_1 \supset \dots \supset Z_N$ con incrementi di lunghezza specificati. Sebbene la classe fondamentale virtuale e il fascio strutturale per questi spazi siano stati precedentemente definiti da Gholampour, Sheshmani e Yau [GSY20] tramite loci di degenerazione, e da Bonelli, Fasola e Tanzini [BFT24] tramite rappresentazioni di quivers, la derivazione di una formula chiusa per la serie generatrice dei loro caratteri di Euler virtuali equivarianti rimaneva un obiettivo da raggiungere utilizzando tecniche non commutative. La sfida specifica risiede nel gestire la struttura nidificata e i relativiamente teorie di ostacolo per calcolare le immagini dirette (pushforwards) dei fasci strutturali virtuali sotto morfismi di dimenticanza (forgetful morphisms).

Metodologia
L'autore impiega una strategia centrata sull'embedding dello schema di Hilbert nidificato commutativo in un analogo "non commutativo", utilizzando il framework degli schemi di Hilbert non commutativi introdotti da Nori [Nor78] ed estesi da Behrend, Bryan e Szendrői [BBS13] e Okounkov [Oko17].

1. Costruzione dello Schema di Hilbert Nidificato Non Commutativo:
   Il saggio costruisce uno spazio di moduli liscio $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$ come uno stack di quoziente di un sottogruppo parabolico che agisce su uno spazio di operatori che preservano un flag con un vettore ciclico. Questo spazio parametri rappresentazioni non commutative dell'algebra libera $\mathbb{C}\langle x_1, \dots, x_n \rangle$ su una catena di spazi vettoriali.

2. Locus di Commutatività e Teoria di Ostacolo:
   Lo schema di Hilbert nidificato di punti $NHilb_{\mathbf{d}}(\mathbb{A}^n)$ è identificato come il locus di commutatività all'interno di $ncNHilb_{\mathbf{d}}(\mathbb{A}^n)$, dove gli operatori commutano. Nel caso specifico di $\mathbb{A}^2$ ($n=2$), l'autore dimostra che la condizione di commutatività $[A_1, A_2] = 0$ può essere ridotta. Sfruttando la ciclicità del vettore $v$, si mostra che la scomparsa del commutatore sul bundle quoziente $Hom(V_\bullet, V_\bullet / \langle v \rangle)$ è sufficiente.
   Questa riduzione permette allo schema di Hilbert nidificato di essere realizzato come il locus di zeri di una sezione di un particolare bundle vettoriale. Questa descrizione geometrica equipaggia lo schema con una teoria di ostacolo perfetta. L'autore dimostra che la classe in K-teoria del bundle tangente virtuale derivato da questa costruzione è equivalente alle teorie di ostacolo definite in [GSY20], [GT17] e [BFT24].

3. Fattorizzazione dei Fasci Strutturali Virtuali:
   Il saggio analizza il morfismo di dimenticanza $p: NHilb_{(d_0, \dots, d_r)}(\mathbb{A}^2) \to NHilb_{(d_0, \dots, d_{r-1})}(\mathbb{A}^2)$, che dimentica il sottoschema più grande nella nidificazione. Questa mappa viene estesa al contesto non commutativo. Costruendo una suriezione tra i bundle di ostacolo del dominio e del target, l'autore stabilisce una fattorizzazione del fascio strutturale virtuale in K-teoria:
   $$\mathcal{O}^{vir}_{\mathbf{d}} = p^*(F) \cdot \mathcal{O}^{vir}_{\hat{\mathbf{d}}}$$
   dove $F$ è una classe tautologica esplicita.

4. Localizzazione e Serie Generatrice:
   Utilizzando la formula di localizzazione di Atiyah-Bott, l'immagine diretta $p_* F$ viene calcolata. Si dimostra che il contributo dei punti fissi (corrispondenti a diagrammi di Young nidificati) dipende solo dall'incremento $d_r$ ed è indipendente dalla forma specifica del diagramma sottostante. Questa indipendenza permette la derivazione di una relazione ricorsiva per la serie generatrice.

Contributi Chiave e Risultati

• Equivalenza delle Teorie di Ostacolo: Il saggio prova rigorosamente che la teoria di ostacolo perfetta indotta dall'embedding non commutativo (specificamente la riduzione del bundle di commutatività nel caso $\mathbb{A}^2$) produce gli stessi invarianti virtuali delle teorie stabilite di Gholampour-Sheshmani-Yau [GSY20].
• Formula Chiusa per la Serie Generatrice: Il risultato primario è una formula chiusa per la serie generatrice multivariata del carattere di Euler ologomorfo equivariante dello schema di Hilbert nidificato. Ponendo $Z^{GSY}$ come questa serie, il saggio prova:
  $$Z^{GSY}(q_0, \dots, q_r; t_1, t_2) = PE \left( \frac{q_0 + (q_1 + \dots + q_r)(1 - t_1 t_2)}{(1 - t_1)(1 - t_2)} \right)$$
  dove $PE$ denota l'esponenziale pletestico.
• Twist per Classe Costante: L'immagine diretta del fascio strutturale virtuale sotto il morfismo di dimenticanza è mostrata essere un twist del fascio strutturale virtuale di livello inferiore per una classe costante $\alpha_{d_r}$, che corrisponde al carattere di Euler equivariante delle potenze esterne del fascio dualizzante sullo schema di Hilbert standard di punti.

Significatività e Rivendicazioni
Il saggio sostiene di estendere l'applicazione di successo degli schemi di Hilbert non commutativi allo studio degli schemi di Hilbert nidificati su superfici. Realizzando lo schema nidificato come un locus di zeri in un contesto non commutativo, l'autore fornisce un framework geometrico unificato che semplifica il calcolo degli invarianti virtuali.

La significatività risiede nella derivazione della formula chiusa per la serie generatrice, che generalizza i risultati noti per lo schema di Hilbert non nidificato (dove $r=0$) e per i programmi di Quot su $\mathbb{A}^3$ e $\mathbb{A}^4$ trovati in [BBS13], [Oko17], [FMR21] e [KR25]. Il lavoro conferma che gli invarianti virtuali dello schema di Hilbert nidificato su $\mathbb{C}^2$ sono governati da una semplice struttura di prodotto nella funzione generatrice, determinata dai caratteri di Euler virtuali dei singoli passaggi nella nidificazione. L'autore non rivendica la risoluzione di problemi per dimensioni superiori ($n \ge 3$) o altre superfici all'interno di questo testo, notando che il comportamento della dimensione virtuale per $n \ge 3$ differisce significativamente dal caso $n=2$ qui trattato.