We study superconformal indices of four-dimensional $SU(N)$ gauge theories with $\mathcal{N}=1,2,4$ supersymmetry. The usual representation of the index involves a multi-dimensional contour integral over the BPS spectrum of the free gauge theory. To find a closed form expression for the index, it is natural to attempt a residue evaluation. However, the presence of a non-isolated essential singularity inside the contour prevents a straightforward implementation. We show how this difficulty can be resolved by gauge-fixing the residual Weyl symmetry of the integral. This allows us to evaluate the residue sums for superconformal indices of $SU(2)$ gauge theories in terms of basic and elliptic hypergeometric series. For the $\mathcal{N}=4$ Macdonald index, we show how known transformation formulas for basic hypergeometric series can be used to simplify the residue sum. The simplified form manifests the strongly coupled BPS spectrum of the Macdonald sector of the theory, and suggests the absence of ``non-graviton'' operators in this sector. We also evaluate the residue sums for the Macdonald and full superconformal indices of a general class of $SU(2)$ gauge theories. In the process, we find various applications to the theory of basic and elliptic hypergeometric integrals, including a convergent residue sum for Spiridonov's elliptic beta integral. Finally, we discuss the generalization of our method to higher rank gauge groups and evaluate the $\mathcal{N}=4$ $SU(3)$ Macdonald index in closed form.
Questo lavoro studia gli indici superconformali delle teorie di gauge SU(N) quadridimensionali, coprendo supersimmetrie N=1,2,4. La rappresentazione tradizionale dell'indice coinvolge integrali multidimensionali sullo spettro BPS della teoria di gauge libera. Per ottenere espressioni in forma chiusa, è naturale tentare calcoli di residui, ma la presenza di singolarità essenziali non isolate nel percorso di integrazione ostacola l'implementazione diretta. Gli autori risolvono questa difficoltà sfruttando la simmetria di Weyl residua della simmetria di gauge fissata, valutando così le somme di residui dell'indice superconformale della teoria di gauge SU(2) usando serie ipergeometriche basiche ed ellittiche. Per l'indice Macdonald N=4, mostrano come semplificare le somme di residui usando formule di trasformazione note per le serie ipergeometriche basiche, rivelando lo spettro BPS fortemente accoppiato del settore Macdonald della teoria e suggerendo l'assenza di operatori "non-gravitonici".
Gli indici superconformali sono tra le poche quantità fisiche calcolabili esattamente nelle teorie di campo superconformali (SCFT). Sono definiti come tracce sullo spettro SCFT su S3, progettati per ricevere contributi solo dalle rappresentazioni corte dell'algebra superconformale, quindi protetti: invarianti sotto deformazioni continue che preservano le cariche super. Questa proprietà li rende potenti strumenti per testare la dualità forte-debole.
Tuttavia, la rappresentazione standard dell'indice è un integrale multidimensionale:
IN=∫dμSU(N)trHg=0ext(⋯)
dove l'integrale proietta sui singoletti di gauge e la funzione integranda contiene tutti i gradi di libertà matriciali della teoria libera (g=0).
Corrispondenza AdS/CFT: Per la teoria SYM N=4, l'indice coincide esattamente con l'indice supergravitazionale nel limite di grande N debolmente accoppiato, ma esiste un enigma dell'entropia del buco nero - l'indice sembra non catturare gli stati CFT corrispondenti ai buchi neri di Kerr-Newman BPS di tipo 1/16 con entropia O(N2).
Ricerca di operatori non-gravitonici: Progressi recenti mostrano che l'indice esibisce effettivamente una crescita O(eN2) su rivestimenti multivalore dei potenziali chimici e riproduce esattamente l'entropia di Bekenstein-Hawking dei buchi neri AdS5 supersimmetrici. Ciò stimola la ricerca degli operatori BPS corrispondenti.
Necessità di espressioni in forma chiusa: Attualmente la costruzione di operatori non-gravitonici procede caso per caso. Idealmente, si richiede una formula in forma chiusa per l'indice completo meno l'indice gravitonico per rivelare le caratteristiche strutturali dello spettro non-gravitonico.
Difficoltà tecniche nel calcolo diretto dei residui:
Dopo aver trasformato l'integrale SU(N) in un integrale sugli autovalori, l'integranda ha poli all'origine ui=0, formando singolarità essenziali non isolate
Usando la misura di Haar standard, le somme di residui escludendo l'origine divergono
Impossibile dimostrare che il contributo dell'origine sia nullo
Limitazioni di altri metodi:
Localizzazione del ramo di Higgs: Applicabile solo a teorie con gruppo di gauge completamente Higgsabile (richiede materia fondamentale sufficiente e parametri FI non nulli)
Metodo Bethe Ansatz: Richiede la soluzione di equazioni trascendenti per classificare i poli, esiste una famiglia continua di poli per N>2; richiede relazioni specifiche tra i potenziali chimici
Espansione in gravitoni giganti: Esistono molte cancellazioni a N fisso, altamente ridondante
Svolta tecnica: Propongono l'uso di una "misura ridotta" per proiettare sui singoletti di gauge, risolvendo il problema di convergenza delle somme di residui attraverso un'ulteriore fissazione della simmetria di Weyl residua SN
Formule in forma chiusa:
Ottengono una forma chiusa semplificata per l'indice Macdonald N=4 SU(2), rivelando lo spettro fortemente accoppiato
Valutano gli indici Macdonald e superconformali completi per la teoria di gauge SU(2) generale (N=1,2,4)
Intuizioni fisiche:
Forniscono forti evidenze dell'assenza di operatori non-gravitonici nel settore Macdonald della teoria SU(2) N=4
Rivelano proprietà analitiche dell'indice sui potenziali chimici, scoprendo nuove semplificazioni fisiche (t=q1/2, t=1)
Applicazioni matematiche:
Valutano per la prima volta integrali ipergeometrici ellittici tramite residui, ottenendo somme doppie convergenti
Derivano nuove formule di trasformazione e sommazione per serie ipergeometriche basiche ed ellittiche
Forniscono somme di residui convergenti per l'integrale beta ellittico di Spiridonov
Estensione a rango superiore: Mostrano l'estensione del metodo a gruppi di gauge di rango superiore, valutando l'indice Macdonald N=4 SU(3)
Problema del metodo standard:
Per la teoria di gauge SU(N), la misura di Haar standard dà:
I=N!1∏i=1N−1∮∣ui∣=12πiuiduiΔ(u)Δ(u−1)f(u)
dove Δ(u)=∏i<j(uj−ui) è il determinante di Vandermonde.
Misura ridotta:
Sfruttando l'invarianza della misura e dell'integranda sotto permutazioni di ui, si può sostituire con:
I=∏i=1N−1∮∣ui∣=12πiuidui∏i<j(1−uij)f(u)
dove uij=uiuj−1. Ciò corrisponde a fissare ulteriormente la simmetria di Weyl residua SN.
Per l'indice Macdonald, l'osservazione chiave è il cambiamento del fattore di soppressione. Considerando l'integrale sN−1 (usando variabili si tali che ui=si⋯sN):
Misura completa: Fattore di soppressione
z=∏i=1N−1tsi,N−2−2tsi,N−2−2=1
portando a somme di residui divergenti (simile alla ciclicità dell'indice di Schur).
Misura ridotta: Fattore di soppressione
z=∏i=1N−1tsi,N−2−2qtsi,N−2−2=qN−1
assicurando convergenza (∣q∣<1), e contributo nullo dall'origine.
Per l'indice Macdonald, la forma integrale è:
I=∮2πisds(t1/2vs±,t1/2v−1s±;q)∞(s,qs−1,ts±;q)∞
Usando la misura ridotta, i poli si trovano in s=t1/2v±qk (k≥0). Le somme di residui danno:
I2(v;q,t)=(tv2,v−2;q)∞(t3/2v,qt−1/2v−1;q)∞3ϕ2[tv2qv2tt3/2vqt−1/2v;q,q]+(v↔v−1)
Usando formule di trasformazione a tre termini per serie ipergeometriche basiche, si semplifica a:
I2(v;q,t)=(tv2,tv−2,t;q)∞(t3/2v,t3/2v−1,q;q)∞3ϕ2[t2/qt3/2vt1/2v−1t3/2v−1t1/2v;q,q]
Per l'indice superconformale completo, l'integranda contiene funzioni Gamma ellittiche. Per N=4 SU(2):
I2(yi;p,q)=2(p;p)∞(q;q)∞∮2πisds(1−s−1)Γ(s±;p,q)∏i=13Γ(yis±;p,q)
La forma della somma di residui è:
I2=∑i=13...θp(yi)θq(yi)Γ(yi)Γ(yi2)∏j=iΓ(yjyi−1)∑k,l=0∞1−yipkql4W3(k)(ai;p;q;p)4W3(l)(bi;q;p;q)
dove 4W3(k) è la k-esima sommazione parziale della serie ipergeometrica ellittica ben accoppiata. Caratteristiche chiave:
Doppia somma infinita, ma denominatore non fattorizzabile
Non direttamente esprimibile come prodotto di due serie ipergeometriche ellittiche complete
Gli autori dimostrano che l'equivalenza si riduce all'identità:
∑λ=0∞(q;q)λ/(t2;q)λCλ(t1/2,t−1/2;t∣q)tλ/2=(q;q)λ(t2;q)λt−λ/2
dove Cλ sono polinomi q-supersferici. Le somme di residui realizzano la risommazione della serie di Laurent nei potenziali chimici di sapore v, rivelando dipendenze analitiche.
Somme di residui (∣p∣=∣q∣=∣t∣=T2, T<1):
ISQCD=Γ(pq/t)∑α=116Γ(ai−2)∏j=1Γ(ajai±)∑k,l=0∞1−ai2p2kq2l(−ai2)20V19(k)20V19(l)
La convergenza è verificata tramite test di rapporto. La S-dualità generalizzata (υ1↔υ3) implica formule di trasformazione non banali per combinazioni bilineari di sommazioni ipergeometriche ellittiche.
Per la finestra conforme 3≤Nf≤6, indice completo:
IE(yi;p,q)=∑i=12NfΓ(ai±)Γ(ai2)∏j=iΓ(ajai±)∑k,l1−aipkql(−ai)2Nf+4V2Nf+3(k)2Nf+4V2Nf+3(l)
Convergente per Nf≤7 quando ∣yi∣=TNf−2, ∣p∣=∣q∣=TNf.
Caso speciale Nf=3 (dualità di Seiberg):
∑iresidui=∏1≤i<j≤6Γ(yiyj)
Questa è la prima formula di sommazione non finita per combinazioni bilineari di sommazioni ipergeometriche ellittiche!
Risultati tecnici: La misura ridotta risolve un ostacolo tecnico di lunga data nella valutazione dei residui degli indici superconformali, applicabile a teorie di gauge N=1,2,4 generali
Intuizioni fisiche:
Forte evidenza dell'assenza di operatori non-gravitonici nel settore Macdonald N=4 SU(2)
La forma chiusa rivela lo spettro BPS fortemente accoppiato, realizzando una rappresentazione "minimizzata"
Le proprietà analitiche permettono estensioni dei potenziali chimici, scoprendo nuove semplificazioni fisiche
Contributi matematici:
Prime somme di residui convergenti per integrali ipergeometrici ellittici
Nuove formule di trasformazione e sommazione per serie ipergeometriche basiche ed ellittiche
1,2 Romelsberger; Kinney et al. (2006-2007): Definizione dell'indice
38 Gadde et al. (2013): Metodo TQFT, polinomi di Macdonald
Lavori precedenti sui metodi di residui:
35 Razamat (2012): Proprietà modulari dell'indice di Schur
36 Peelaers (2014): Localizzazione del ramo di Higgs
37 Spiridonov (2024): Residui di integrali ipergeometrici ellittici (problemi di convergenza)
Strumenti matematici:
89 Gasper-Rahman: Serie ipergeometriche basiche
12 Spiridonov (2001): Integrale beta ellittico
129,136,142 Spiridonov et al.: Teoria ipergeometrica ellittica
Applicazioni fisiche:
22-24 Cabo-Bizet et al., Benini-Milan (2019-2020): Entropia dei buchi neri
28-32 Chang-Lin, Choi et al. (2023-2024): Operatori non-gravitonici
105 Beem et al. (2015): Corrispondenza VOA
Valutazione complessiva: Questo è un eccellente articolo con significative innovazioni tecniche, profonde intuizioni fisiche e importanti contributi matematici. Il metodo della misura ridotta è semplice ma potente, risolvendo un problema tecnico di lunga data. Sebbene l'estensione a rango superiore e la semplificazione completa presentino ancora sfide, ha aperto nuove direzioni nel campo. L'articolo continuerà ad avere un impatto duraturo sulla teoria dei campi superconformali, la corrispondenza AdS/CFT e la teoria delle funzioni speciali.