Instantons on the Blown-up Surface and the Affine Vertex Algebra

Sintesi Tecnica: Istontoni sulla Superficie Blown-Up e l'Algebra di Vertex Affina

Enunciato del Problema
Questo articolo affronta una questione di lunga data sollevata da Vafa e Witten riguardante la relazione tra la S-dualità nelle teorie di gauge supersimmetriche in quattro dimensioni e la teoria dei campi conformi in due dimensioni (2d CFT). Nello specifico, mira a spiegare la comparsa del modello Wess-Zumino-Witten (WZW) per $SU(r)$ al livello 1 nel contesto dello spazio dei moduli degli istatoni su una superficie algebrica "blown-up" (soffiata).

Il lavoro precedente di Yoshioka ha stabilito una "formula di blow-up" che mette in relazione i numeri Betti (e successivamente i numeri di Hodge virtuali) dello spazio dei moduli di fasci stabili su una superficie $S$ con quelli su sua blow-up $\hat{S}$ in un punto. Per il rango 2, questa formula coinvolge rapporti di funzioni generatrici che corrispondono ai caratteri del modello WZW $SU(2)$ di livello 1. Sebbene Nakajima avesse precedentemente costruito azioni di algebra di Lie affini sulla coomologia equivariante di fasci incorniciati su $\mathbb{P}^2$ (un caso specifico), il caso generale per superfici arbitrarie e spazi dei moduli non incorniciati rimaneva aperto. La sfida centrale consiste nel costruire un'azione dell'algebra di Lie affina $\widehat{\mathfrak{gl}}_r$ sulla coomologia dello spazio dei moduli di fasci stabili sulla blow-up $\hat{S}$ e identificare questo modulo come una rappresentazione fondamentale, fornendo così una realizzazione geometrica della previsione di Vafa-Witten.

Metodologia
Gli autori impiegano una strategia multi-fase che combina geometria algebrica derivata, teoria delle rappresentazioni delle alge di Clifford e la teoria dei fasci coerenti perversi. La dimostrazione procede attraverso quattro fasi principali:

1. Modello Clifford-Grassmanniano Finito:
   Gli autori stabiliscono innanzitutto un modello algebrico a dimensione finita. Considerano un complesso perfetto $E$ di ampiezza Tor $[0, 1]$ su uno schema $X$. Studiano gli spazi dei moduli dei quozienti, $\text{Gr}_X(E, d)$, e i loro duali spostati $\text{Gr}_X(E^\vee[1], d)$. Utilizzando le decomposizioni semi-ortogonali nelle categorie derivate (specificamente quelle stabilite dal primo autore in lavori precedenti), dimostrano un isomorfismo di rappresentazioni graduate:
   $$\bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E, d)) \cong \bigoplus_{d \in \mathbb{Z}} H^*(\text{Gr}_X(E^\vee[1], d)) \otimes F(r)$$
   dove $F(r)$ è la rappresentazione di spin dell'algebra di Clifford $\text{Cl}(r)$ a dimensione finita. Questo isomorfismo è costruito tramite l'"ortogonalizzazione" di corrispondenze geometriche (nuclei di Fourier-Mukai) che soddisfano relazioni semi-ortogonali, realizzando efficacementamente un analogo finito della corrispondenza Bosone-Fermione.

2. Fasci Coerenti Perversi e Wall-Crossing:
   Per applicare questo modello allo spazio dei moduli dei fasci sulla blow-up $\hat{S}$, gli autori utilizzano la teoria dei fasci coerenti perversi $m$-stabili introdotta da Nakajima e Yoshioka. Considerano gli spazi dei moduli $M_m(l, n)$ di tali fasci. Per $m=0$, questi spazi ammettono descrizioni esplicite come Grassmanniani del fascio universale ristretto al punto di blow-up, $U_o$. Nello specifico, $M_0(l, n)$ è isomorfo a $\text{Gr}_{M_H(n)}(U_o, -l)$ e al suo duale. Ciò consente l'applicazione del modello Clifford-Grassmanniano finito del Passo 1 ai moduli degli spazi $M_0(l, n)$.

3. Equivalenza di Morita e Alge di Clifford Infinite:
   Gli autori introducono un'algebra estesa $\mathcal{E}(r)$ generata dall'algebra di Clifford $\text{Cl}(r)$ e da operatori aggiuntivi $e, f$ che soddisfano specifiche relazioni. Considerano poi un'algebra di Clifford infinita $\mathcal{E}(r)$ generata da operatori $P_{a,i}, Q_{a,i}$ indicizzati da $a \in \mathbb{Z}$. Un risultato tecnico chiave è un'equivalenza di Morita tra la categoria delle rappresentazioni dell'algebra finitamente generata $\mathcal{E}(r)$ e una categoria di rappresentazioni "destra-ammissibili" dell'algebra infinita $\mathcal{E}(r)$. Questa equivalenza permette di trasferire la struttura di rappresentazione dal caso $m=0$ (che è isomorfo al modello Grassmanniano) al caso limite $m \to \infty$.

4. Proprietà di Limite e Corrispondenza Bosone-Fermione:
   Utilizzando l'auto-similarità degli spazi dei moduli sotto il tensore con $\mathcal{O}_{\hat{S}}(-C)$ e la proprietà di limite $M_m(l, n) \cong M_H^\infty(l, n)$ (lo spazio dei moduli dei fasci stabili sulla blow-up), gli autori propagano l'azione di $\mathcal{E}(r)$ sulla coomologia dello spazio stabile $M_H^\infty$. Infine, invocano la corrispondenza Bosone-Fermione (dovuta a I. Frenkel), che identifica lo spazio di Fock fermionico $F(r)$ con la rappresentazione fondamentale dell'algebra di Lie affina $\widehat{\mathfrak{gl}}_r$. Questo passaggio eleva l'azione di $\mathcal{E}(r)$ a un'azione di $\widehat{\mathfrak{gl}}_r$.

Contributi Principali e Risultati
Il saggio fornisce una costruzione geometrica completa dell'azione di $\widehat{\mathfrak{gl}}_r$ su varie teorie coomologiche dello spazio dei moduli di fasci stabili su una superficie blown-up.

• Teorema Principale (Teorema 1.1 / Teorema 8.1): Per una superficie proiettiva regolare $S$ e la sua blow-up $\hat{S}$ in un punto, sia $M_H^\infty(r, p^*c_1 + l[C], n')$ lo spazio dei moduli dei fasci stabili su $\hat{S}$ con classi di Chern specifiche. Gli autori dimostrano un isomorfismo di rappresentazioni di $\widehat{\mathfrak{gl}}_r$:
  $$\bigoplus_{n \in \mathbb{Z}} H^*(M_H^\infty(r, p^*c_1 + l[C], n - \tfrac{l(l+1)}{2})) \cong \left( \bigoplus_{n \in \mathbb{Z}} H^*(M_H(r, c_1, n)) \right) \otimes F(r)_{l, \bullet}$$
  Qui, $H^*$ rappresenta il gruppo di Grothendieck dei fasci coerenti, l'omologia di Hochschild, i gruppi di Chow o la coomologia di Hodge. $F(r)_{l, \bullet}$ è la rappresentazione fondamentale di $\widehat{\mathfrak{gl}}_r$ con carica centrale $l$.
• Azione Triviale sulla Base: Una caratteristica distintiva di questa costruzione è che l'azione di $\widehat{\mathfrak{gl}}_r$ agisce trivialmente sul fattore corrispondente allo spazio dei moduli originale $M_H(r, c_1, n)$, agendo in modo non banale solo sul fattore dello spazio di Fock. Ciò contrasta con le costruzioni precedenti dove l'algebra agiva sull'intero spazio.
• Generalizzazione: Il risultato è valido per ranghi $r$ arbitrari e per superfici proiettive arbitrarie (soggetto a condizioni di vanishing per certe teorie coomologiche), generalizzando i risultati precedenti limitati al rango 2 o a superfici specifiche come $\mathbb{P}^2$.
• Innovazione Tecnica: Il saggio introduce un "modello Clifford-Grassmanniano finito" e un uso innovativo dell'equivalenza di Morita per collegare alge di Clifford finite e infinite, risolvendo le difficoltà in cui le standard corrispondenze di Hecke non riescono a preservare la stabilità o le classi di Chern sulla blow-up.

Significato
Il saggio sostiene di rispondere alla specifica domanda posta da Vafa e Witten riguardo al legame tra la formula di blow-up di Yoshioka e il modello WZW di livello 1 di $SU(r)$. Costruendo l'azione dell'algebra di Lie affina e identificando il modulo come una rappresentazione fondamentale, gli autori forniscono un quadro matematico rigoroso che spiega l'emergere di strutture di 2d CFT nella geometria degli spazi dei moduli degli istatoni su superfici blown-up.

Il lavoro unifica diversi ambiti della matematica:

• Connette la geometria degli spazi dei moduli dei fasci (geometria algebrica) con le alge di Lie affini e le alge di vertex operator (teoria delle rappresentazioni).
• Offre un'interpretazione geometrica della corrispondenza Bosone-Fermione nel contesto delle categorie derivate e dei Grassmanniani di complessi perfetti.
• Risolve il "mistero irrisolto" della comparsa della 2d CFT nel contesto della formula di blow-up, confermando la previsione che le funzioni generatrici degli enti di Euler (e invarianti correlati) siano legate ai caratteri del modello WZW.

Gli autori osservano che, sebbene la funzione di partizione per superfici che soddisfano specifiche condizioni di vanishing (come le superfici K3 o del Pezzo) corrisponda alla funzione generatrice del numero di Euler, il caso generale che coinvolge i "rami dei monopoli" (dove la funzione di partizione differisce) rimane una questione aperta per lavori futuri. I risultati attuali sono strettamente confinati alla costruzione geometrica dell'azione dell'algebra sulla coomologia degli spazi dei moduli di fasci stabili.