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.
Dieses Papier untersucht superconforme Indizes (superconformal indices) vierdimensionaler SU(N)-Eichtheorien mit N=1,2,4 Supersymmetrie. Die konventionelle Indexdarstellung beinhaltet mehrdimensionale Konturintegrationen über das BPS-Spektrum freier Eichtheorien. Um geschlossene Ausdrücke zu erhalten, ist die natürliche Strategie die Residuenrechnung; jedoch wird die direkte Implementierung durch die Existenz nicht-isolierter wesentlicher Singularitäten innerhalb der Kontur behindert. Die Autoren lösen diese Schwierigkeit durch die verbleibende Weyl-Symmetrie der Eichfixierungsintegrale und evaluieren Residuensummen für superconforme Indizes von SU(2)-Eichtheorien mittels fundamentaler und elliptischer hypergeometrischer Reihen. Für den N=4 Macdonald-Index wird demonstriert, wie bekannte Transformationsformeln fundamentaler hypergeometrischer Reihen die Residuensummen vereinfachen. Die vereinfachte Form offenbart das BPS-Spektrum des Macdonald-Sektors bei starker Kopplung und deutet darauf hin, dass in diesem Sektor keine "nicht-gravitativen" Operatoren existieren.
Superconforme Indizes sind eine der wenigen exakt berechenbaren physikalischen Größen in superconformen Feldtheorien (SCFTs). Sie werden als Spur des Spektrums einer SCFT auf S3 definiert und sind so konzipiert, dass sie nur Beiträge von kurzen Darstellungen der superconformen Algebra erhalten, weshalb sie geschützt sind: Sie sind invariant unter kontinuierlichen Deformationen, die die Superladung bewahren. Diese Eigenschaft macht sie zu einem mächtigen Werkzeug zur Überprüfung von Stark-Schwach-Dualitäten.
Die Standarddarstellung des Index ist jedoch ein mehrdimensionales Konturintegral:
IN=∫dμSU(N)trHg=0ext(⋯)
wobei das Integral auf Eicheichzustände projiziert und der Integrand alle Matrixfreiheitsgrade der freien Theorie (g=0) enthält.
AdS/CFT-Korrespondenz: Für die N=4 SYM-Theorie stimmt der Index in der schwachen Kopplung und großen N-Grenze exakt mit dem Supergravitations-Index überein, aber es gibt ein Schwarzloch-Entropie-Rätsel — der Index scheint die O(N2)-Entropie großer 1/16 BPS Kerr-Newman-Schwarzlöcher, die CFT-Zuständen entsprechen, nicht zu erfassen.
Suche nach nicht-gravitativen Operatoren: Neuere Fortschritte zeigen, dass der Index auf mehrblattriger Überdeckung der chemischen Potenziale tatsächlich O(eN2)-Wachstum aufweist und die Bekenstein-Hawking-Entropie supersymmetrischer AdS5-Schwarzlöcher exakt reproduziert. Dies motiviert die Suche nach entsprechenden BPS-Operatoren.
Bedarf nach geschlossenen Ausdrücken: Gegenwärtige Konstruktionen nicht-gravitativer Operatoren erfolgen hauptsächlich fallweise. Idealerweise benötigt man geschlossene Formeln für die Differenz zwischen vollständigem Index und gravitativem Index, um die Strukturmerkmale des nicht-gravitativen Spektrums offenzulegen.
Technische Schwierigkeiten bei direkter Residuenrechnung:
Nach Umwandlung des SU(N)-Integrals in ein Eigenwertintegral hat der Integrand eine Ansammlung von Polen am Ursprung ui=0, die eine nicht-isolierte wesentliche Singularität bildet
Bei Verwendung des Standardmaßes divergiert die Residuensumme unter Ausschluss des Ursprungs
Es kann nicht argumentiert werden, dass der Ursprungsbeitrag verschwindet
Beschränkungen anderer Methoden:
Higgs-Zweig-Lokalisierung: Nur anwendbar auf Theorien, deren Eichgruppe vollständig Higgs-isiert werden kann (benötigt ausreichend fundamentale Materie und nicht-verschwindenden FI-Parameter)
Bethe-Ansatz-Methode: Erfordert Lösung transzendenter Gleichungen zur Klassifizierung von Polen; kontinuierliche Polenfamilien für N>2; erfordert spezifische Beziehungen zwischen chemischen Potenzialen
Riesengravitation-Expansion: Große Auslöschungen bei festem N, hochgradig redundant
Technischer Durchbruch: Vorschlag der Verwendung eines "reduzierten Maßes" (reduced measure) für die Eichzustandsprojektion; durch weitere Eichfixierung der verbleibenden SN Weyl-Symmetrie wird das Konvergenzproblem der Residuensummen gelöst
Geschlossene Formeln:
Vereinfachte geschlossene Form für den N=4SU(2) Macdonald-Index, die das Spektrum bei starker Kopplung offenbart
Evaluierung von Macdonald- und vollständigen superconformen Indizes für allgemeine SU(2)-Eichtheorien (N=1,2,4)
Physikalische Einsichten:
Starke Evidenz für die Abwesenheit nicht-gravitativer Operatoren im Macdonald-Sektor der N=4SU(2)-Theorie
Offenlegung analytischer Eigenschaften des Index über chemischen Potenzialen; Entdeckung neuer vereinfachter Spezialisierungen (t=q1/2, t=1)
Ableitung neuer Transformations- und Summationsformeln für fundamentale und elliptische hypergeometrische Reihen
Bereitstellung konvergenter Residuensummen für das Spiridonov-Elliptische-Beta-Integral
Verallgemeinerung auf höhere Ränge: Demonstration der Verallgemeinerung der Methode auf höherrangige Eichgruppen; Evaluierung des N=4SU(3) Macdonald-Index
Problem der Standardmethode:
Für SU(N)-Eichtheorien liefert das Standard-Haar-Maß:
I=N!1∏i=1N−1∮∣ui∣=12πiuiduiΔ(u)Δ(u−1)f(u)
wobei Δ(u)=∏i<j(uj−ui) die Vandermonde-Determinante ist.
Reduziertes Maß:
Unter Ausnutzung der Invarianz des Maßes und des Integranden unter Permutationen der ui kann man ersetzen durch:
I=∏i=1N−1∮∣ui∣=12πiuidui∏i<j(1−uij)f(u)
wobei uij=uiuj−1. Dies entspricht der weiteren Eichfixierung der verbleibenden SN Weyl-Symmetrie.
Für den Macdonald-Index ist die Schlüsselbeobachtung die Variation des Unterdrückungsfaktors. Betrachtet man das sN−1-Integral (unter Verwendung von Variablen si mit ui=si⋯sN):
Vollständiges Maß: Unterdrückungsfaktor
z=∏i=1N−1tsi,N−2−2tsi,N−2−2=1
führt zu divergenter Residuensumme (ähnlich der Elliptizität des Schur-Index).
Reduziertes Maß: Unterdrückungsfaktor
z=∏i=1N−1tsi,N−2−2qtsi,N−2−2=qN−1
sichert die Konvergenz der Residuensumme (∣q∣<1) und der Ursprungsbeitrag verschwindet.
Für den Macdonald-Index hat das Integral die Form:
I=∮2πisds(t1/2vs±,t1/2v−1s±;q)∞(s,qs−1,ts±;q)∞
Unter Verwendung des reduzierten Maßes liegen die Pole bei s=t1/2v±qk (k≥0). Die Residuensumme ergibt:
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)
Unter Verwendung der Drei-Term-Transformationsformel fundamentaler hypergeometrischer Reihen kann man vereinfachen zu:
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]
Für den vollständigen superconformen Index enthält der Integrand elliptische Gamma-Funktionen. Für N=4SU(2) als Beispiel:
I2(yi;p,q)=2(p;p)∞(q;q)∞∮2πisds(1−s−1)Γ(s±;p,q)∏i=13Γ(yis±;p,q)
Die Residuensumme hat die Form:
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)
wobei 4W3(k) die k-te Teilsumme wohlkonfigurierter elliptischer hypergeometrischer Reihen ist. Schlüsselmerkmale:
doppelt unendliche Summe, aber Nenner nicht separierbar
kann nicht direkt als Produkt zweier vollständiger elliptischer hypergeometrischer Reihen ausgedrückt werden
konvergiert bei symmetrischer Skalierung ∣p∣=∣q∣=∣yi∣<1
Die TQFT-Ausdrucksform:
I2TQFT(v;q,t)=(tv2,tv−2,t;q)∞(t2;q)∞∑λ=0∞Pλ(t1/2,t−1/2;q,t)Pλ(v,v−1;q,t)
Die Autoren beweisen die Äquivalenz durch die Identität:
∑λ=0∞(q;q)λ/(t2;q)λCλ(t1/2,t−1/2;t∣q)tλ/2=(q;q)λ(t2;q)λt−λ/2
wobei Cλ die q-Ultraspherischen Polynome sind. Die Residuensumme realisiert die Resummation der Laurent-Reihe in der Geschmacks-Chemie v, was die analytische Abhängigkeit offenbart.
Die Konvergenz wird durch Verhältnistest verifiziert. Die verallgemeinerte S-Dualität (υ1↔υ3) impliziert nicht-triviale Transformationsformeln für bilineare Kombinationen elliptischer hypergeometrischer Summanden.
Für das konforme Fenster 3≤Nf≤6 ist der vollständige Index:
IE(yi;p,q)=∑i=12NfΓ(ai±)Γ(ai2)∏j=iΓ(ajai±)∑k,l1−aipkql(−ai)2Nf+4V2Nf+3(k)2Nf+4V2Nf+3(l)
Bei symmetrischer Skalierung ∣yi∣=TNf−2, ∣p∣=∣q∣=TNf konvergiert für Nf≤7.
Unter Verwendung des reduzierten Maßes wird das doppelte Integral evaluiert zu:
I3(y1,2;q)=∑b=12∑k,l=0∞[Q3(sb)R3(k,l)(sb)+(y1↔y2)]−21∑k=0∞[⋯]
wobei R3(k,l) doppelte fundamentale hypergeometrische Reihen Φ3:3;43:2;3 und Φ3:3;53:2;4 enthält.
t=1-Spezialisierung ergibt eine Produktformel:
I3(v;q,1)=(v±3;q)∞(v±;q)∞
Die Vermutung für allgemeines SU(N) lautet:
IN(v;q,1)=(v±N;q)∞(v±;q)∞
Technische Erfolge: Das reduzierte Maßverfahren löst das langjährige technische Hindernis bei der Residuenevaluierung superconformer Indizes und ist auf allgemeine N=1,2,4-Eichtheorien anwendbar
Physikalische Einsichten:
Starke Evidenz für die Abwesenheit nicht-gravitativer Operatoren im Macdonald-Sektor von N=4SU(2)
Geschlossene Formen offenbaren das BPS-Spektrum bei starker Kopplung, realisieren "minimale" Darstellungen
Analytische Eigenschaften erlauben Fortsetzung der chemischen Potenziale, entdecken neue physikalische Vereinfachungen
Mathematische Beiträge:
Erste konvergente Residuensummen elliptischer hypergeometrischer Integrale
Neue Transformations- und Summationsformeln für fundamentale/elliptische hypergeometrische Reihen
129,136,142 Spiridonov et al.: Elliptische hypergeometrische Theorie
Physikalische Anwendungen:
22-24 Cabo-Bizet et al., Benini-Milan (2019-2020): Schwarzloch-Entropie
28-32 Chang-Lin, Choi et al. (2023-2024): Nicht-gravitative Operatoren
105 Beem et al. (2015): VOA-Korrespondenz
Gesamtbewertung: Dies ist ein ausgezeichnetes Papier mit bedeutenden technischen Durchbrüchen, tiefgreifenden physikalischen Einsichten und erheblichen mathematischen Beiträgen. Das reduzierte Maßverfahren ist elegant und kraftvoll und löst ein langjähriges technisches Problem. Obwohl Verallgemeinerungen auf höhere Ränge und vollständige Vereinfachungen noch Herausforderungen darstellen, hat das Papier bereits neue Richtungen für das Feld eröffnet. Es wird weiterhin anhaltende Auswirkungen auf superconforme Feldtheorien, die AdS/CFT-Korrespondenz und die Theorie spezieller Funktionen haben.