Refined Vafa-Witten invariants for toric surfaces from supersymmetric localization in 5D gauge theory

Problematica
Il documento affronta il calcolo degli invarianti di Vafa–Witten (VW) raffinati per superfici toriche, concentrandosi specificamente sul caso di rango 2. Questi invarianti sono quantità topologiche associate allo spazio dei moduli di fasci torsione-liberi semi-stabili su una quattro-varietà $S$. Sebbene le teorie 4D $\mathcal{N}=2$ e $\mathcal{N}=4$ abbiano fornito i quadri teorici per questi invarianti, gli autori indagano la loro realizzazione all'interno della teoria di Yang–Mills supersimmetrica (SYM) 5D $\mathcal{N}=1^*$ compattificata su $S \times S^1_\beta$. La sfida centrale risiede nel fatto che la 5D SYM è fortemente accoppiata nel regime UV ed è difficile da definire direttamente; tuttavia, può essere costruita tramite la riduzione della SCFT (teoria di campo conforme superconforme) 6D $(0,2)$ o tramite la teoria M su singolarità Calabi–Yau toriche. Il problema specifico è calcolare la funzione di partizione della 5D $\mathcal{N}=1^*$ $U(N)$ SYM (dove la stella indica un ulteriore ipermultipletto aggiuntivo massivo dell'aggiunto) su una superficie Kähler torica $S$ e verificare se essa riproduce la $\chi_{y^2}$-genere dello spazio dei moduli dei fasci, che corrisponde agli invarianti VW raffinati. Una difficoltà particolare sorge per le classi di Chern prime ($c_1$) pari, dove esistono fasci strettamente semi-stabili, complicando la relazione tra i risultati di localizzazione e gli invarianti attesi.

Metodologia
Gli autori utilizzano tecniche di localizzazione supersimmetrica generalizzate dalla 4D alla 5D. La metodologia procede attraverso i seguenti passaggi:

1. Twist Topologico: La teoria subisce un parziale twist topologico lungo la superficie $S$ (specificamente il twist di Vafa–Witten), rendendo la teoria topologica lungo $S$ pur mantenendo la dipendenza dal raggio del cerchio $\beta$. Questo twist riduce la funzione di partizione all'indice di Witten della meccanica quantistica supersimmetrica sullo spazio dei moduli degli istantoni.
2. Localizzazione Torica: Assumendo che $S$ sia una superficie torica con numero di Eulero $\chi$, l'integrale di cammino si localizza su un integrale sul toro di Cartan del gruppo di gauge. L'integrando è costruito come un prodotto di funzioni di partizione di Nekrasov per la teoria 5D $\mathcal{N}=1^*$ su ciascuno dei $\chi$ patch affini $\mathbb{C}^2$ della superficie torica.
3. Struttura Analitica e Relazioni di Ricorsione: Gli autori analizzano i poli dell'integrando. Generalizzano le relazioni di ricorsione di Zamolodchikov ai blocchi conformi $q$-Virasoro su un toro con un foro, che corrispondono alla teoria di gauge 5D $\mathcal{N}=1^*$ $U(2)$. Ciò consente loro di caratterizzare la struttura analitica della funzione di partizione, identificando un insieme infinito di poli etichettati dai flussi torici $(p_\ell)$.
4. Prescrizione di Integrazione: L'integrale viene valutato sommando i residui in questi poli. Gli autori utilizzano una "dualità abstrua" per raggruppare i flussi in orbite di Weyl. Argomentano che solo i flussi che soddisfano specifiche disuguaglianze (corrispondenti alla semi-stabilità di pendenza) contribuiscono al risultato finale. Per $c_1$ dispari, i poli sono semplici; per $c_1$ pari, compaiono poli di ordine superiore, corrispondenti a fasci strettamente semi-stabili.
5. Confronto con Risultati Matematici: Le funzioni di partizione risultanti vengono confrontate con i noti risultati matematici per la $\chi_{y^2}$-genere degli spazi dei moduli di fasci su $\mathbb{P}^2$ e superfici di Hirzebruch $\mathbb{F}_n$, derivati tramite il conteggio su campi finiti e la localizzazione torica in geometria algebrica.

Contributi Chiave e Risultati

• Formula di Localizzazione per 5D $\mathcal{N}=1^*$: Il documento deriva la funzione di partizione esplicita per la 5D $\mathcal{N}=1^*$ $U(N)$ SYM su $S \times S^1_\beta$ come un integrale di contorno sulla sottospazio di Cartan, coinvolgendo prodotti di funzioni di Nekrasov su patch affini con parametri equivarianti dipendenti dalla patch.
• Caso di Rango 1 (Abeliano): Per $U(1)$, gli autori riproducono con successo la formula di Götsche per i polinomi di Poincaré degli schemi di Hilbert di punti su una qualsiasi superficie torica $S$. Ciò conferma che la funzione di partizione 5D calcola la serie generatrice degli invarianti VW raffinati nel limite abeliano.
• Caso di Ranno 2 ($U(2)$) su $\mathbb{P}^2$ e $\mathbb{F}_n$:
  • $c_1$ dispari: Per superfici con classe di Chern prima dispari, gli autori trovano che la somma sui poli contribuenti riproduce la $\chi_{y^2}$-genere dello spazio dei moduli di fasci coerenti stabili. Fondamentalmente, la dipendenza dai parametri equivarianti $(\epsilon_1, \epsilon_2)$ si cancella, fornendo risultati che corrispondono agli invarianti VW raffinati trovati in letteratura (ad esempio, i risultati di Yoshioka).
  • $c_1$ pari: Per le classi di Chern prime pari, la situazione è più complessa a causa della presenza di fasci strettamente semi-stabili. La funzione di partizione dipende dai parametri equivarianti anche dopo la somma sui poli. Gli autori trovano che, per corrispondere agli invarianti VW razionali nel limite non raffinato, devono aggiungere manualmente un termine costante specifico ($-1/(4\eta^{2\chi})$) e pesare i contributi strettamente semi-stabili con un fattore $1/2$.
• Corrispondenza Polo-Moduli: Gli autori stabiliscono una corrispondenza biunivoca tra i flussi contribuenti nell'integrale di localizzazione e i punti fissi del toro nello spazio dei moduli di fasci torsione-liberi semi-stabili (classificazione di Klyachko). I poli semplici corrispondono a punti fissi isolati, mentre i poli di ordine superiore corrispondono a loci fissi di dimensione positiva.

Significato e Rivendicazioni
Il documento sostiene di fornire una derivazione fisica degli invarianti di Vafa–Witten raffinati per superfici toriche utilizzando la localizzazione supersimmetrica 5D.

• Successo per $c_1$ dispari: Gli autori affermano che per $c_1$ dispari, il loro metodo "riproduce perfettamente la serie generatrice attesa degli invarianti di Vafa–Witten raffinati", poiché la dipendenza equivariante scompare, in modo coerente con la regolarità e la proiettività degli spazi dei moduli corrispondenti.
• Enigma per $c_1$ pari: Gli autori sono modesti riguardo al caso $c_1$ pari. Riconoscono che la relazione tra i loro risultati di localizzazione e gli invarianti VW raffinati (motivici) è "meno trasparente". Notano che la dipendenza dai parametri equivarianti non svanisce naturalmente senza prescrizioni ad hoc (come l'aggiunta del termine costante). Speculano che una corretta estensione equivariante del contributo degenerato potrebbe risolvere la questione, ma ammettono di non aver ancora trovato una prescrizione che riesca a rimuovere la dipendenza equivariante per tutti gli ordini.
• Direzioni Future: Il documento suggerisce che queste tecniche aprono la strada al calcolo di correlatori topologici per qualsiasi superficie torica liscia compatta, estendendosi a gruppi di gauge di rango superiore (usando i residui di Jeffrey–Kirwan), e potenzialmente derivando formule di blow-up per gli invarianti VW raffinati dalla teoria 5D. Tuttavia, non afferma di aver risolto definitivamente le questioni di modularità o di raffinamento per il caso $c_1$ pari.

In sintesi, il lavoro estende con successo la localizzazione 5D alla teoria $\mathcal{N}=1^*$ con un ipermultipletto aggiuntivo, validando la connessione con gli invarianti VW raffinati per classi di Chern dispari, evidenziando al contempo le sottigliezze irrisolte nel settore delle classi di Chern pari relative alla semi-stabilità e ai raffinamenti equivarianti.