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.
Cet article étudie les indices superconformes des théories de jauge SU(N) en quatre dimensions, couvrant les supersymétries N=1,2,4. La représentation traditionnelle de l'indice implique des intégrales de chemin multidimensionnelles sur le spectre BPS de la théorie de jauge libre. Pour obtenir des expressions en forme fermée, il est naturel d'essayer des calculs de résidus, mais la présence de singularités essentielles non isolées dans le chemin d'intégration empêche une réalisation directe. Les auteurs résolvent cette difficulté en utilisant la symétrie de Weyl résiduelle de l'intégrale de jauge fixée, évaluant ainsi les sommes de résidus de l'indice superconforme de la théorie de jauge SU(2) avec des séries hypergéométriques basiques et elliptiques. Pour l'indice Macdonald N=4, ils montrent comment utiliser les formules de transformation connues des séries hypergéométriques basiques pour simplifier les sommes de résidus, révélant le spectre BPS fortement couplé de la région Macdonald de la théorie et suggérant l'absence d'opérateurs "non-gravitoniques".
Les indices superconformes sont parmi les rares quantités physiques exactement calculables dans les théories des champs superconformes (SCFT). Ils sont définis comme la trace du spectre SCFT sur S3, conçus pour n'accepter que les contributions des représentations courtes de l'algèbre superconforme, et sont donc protégés : invariants sous déformations continues préservant les supercharges. Cette propriété en fait un outil puissant pour tester la dualité forte-faible.
Cependant, la représentation standard de l'indice est une intégrale de chemin multidimensionnelle :
IN=∫dμSU(N)trHg=0ext(⋯)
où l'intégrale projette sur les singulets de jauge, et la fonction intégrée contient tous les degrés de liberté matriciels de la théorie libre (g=0).
Correspondance AdS/CFT: Pour la théorie SYM N=4, l'indice correspond exactement à l'indice supergravité dans la limite des grands N faiblement couplés, mais il existe un paradoxe de l'entropie des trous noirs - l'indice ne semble pas capturer les états CFT correspondant aux trous noirs Kerr-Newman BPS 1/16 de grande entropie O(N2).
Recherche d'opérateurs non-gravitoniques: Des progrès récents montrent que l'indice présente effectivement une croissance O(eN2) sur les revêtements multivalués des potentiels chimiques, reproduisant exactement l'entropie de Bekenstein-Hawking des trous noirs AdS5 supersymétriques. Cela motive la recherche des opérateurs BPS correspondants.
Besoin d'expressions en forme fermée: La construction actuelle des opérateurs non-gravitoniques est principalement effectuée au cas par cas. Idéalement, on a besoin d'une formule en forme fermée pour l'indice complet moins l'indice gravitonique, pour révéler les caractéristiques structurelles du spectre non-gravitonique.
Difficultés techniques du calcul direct des résidus:
Après transformation de l'intégrale SU(N) en intégrale de valeurs propres, la fonction intégrée a des pôles d'ordre élevé à l'origine ui=0, formant des singularités essentielles non isolées
Avec la mesure de Haar standard, la somme des résidus excluant l'origine diverge
Impossible de prouver que la contribution de l'origine est nulle
Limitations d'autres méthodes:
Localisation de la branche de Higgs: Uniquement applicable aux théories où le groupe de jauge peut être complètement brisé par Higgs (nécessite suffisamment de matière fondamentale et paramètres FI non nuls)
Méthode Bethe Ansatz: Nécessite de résoudre des équations transcendantes pour classifier les pôles, existence de familles continues de pôles pour N>2; exige des relations spécifiques entre les potentiels chimiques
Développement en gravitons géants: Existence de nombreuses annulations à N fixe, hautement redondant
Percée technique: Proposition d'utiliser une "mesure réduite" pour effectuer la projection sur les singulets de jauge, résolvant le problème de convergence des sommes de résidus en fixant davantage la symétrie de Weyl résiduelle SN
Formules en forme fermée:
Obtention d'une forme fermée simplifiée pour l'indice Macdonald N=4 SU(2), révélant le spectre fortement couplé
Évaluation des indices Macdonald et superconformes complets pour les théories de jauge SU(2) générales (N=1,2,4)
Insights physiques:
Preuve forte de l'absence d'opérateurs non-gravitoniques dans la région Macdonald de la théorie SU(2) N=4
Révélation des propriétés analytiques de l'indice en fonction des potentiels chimiques, découverte de nouvelles simplifications physiques (t=q1/2, t=1)
Applications mathématiques:
Première évaluation par résidus d'intégrales hypergéométriques elliptiques, obtenant des sommes doubles convergentes
Dérivation de nouvelles formules de transformation et de sommation pour les séries hypergéométriques basiques et elliptiques
Fourniture de sommes de résidus convergentes pour l'intégrale beta elliptique de Spiridonov
Extension à des rangs élevés: Démonstration de l'extension de la méthode aux groupes de jauge de rang élevé, évaluation de l'indice Macdonald N=4 SU(3)
Problème de la méthode standard:
Pour la théorie de jauge SU(N), la mesure de Haar standard donne :
I=N!1∏i=1N−1∮∣ui∣=12πiuiduiΔ(u)Δ(u−1)f(u)
où Δ(u)=∏i<j(uj−ui) est le déterminant de Vandermonde.
Mesure réduite:
En utilisant l'invariance de la mesure et de la fonction intégrée sous permutation des ui, on peut remplacer par :
I=∏i=1N−1∮∣ui∣=12πiuidui∏i<j(1−uij)f(u)
où uij=uiuj−1. Ceci correspond à une fixation supplémentaire de la symétrie de Weyl résiduelle SN.
Pour l'indice Macdonald, l'observation clé est le changement de facteur de suppression. Considérons l'intégrale sN−1 (utilisant des variables si satisfaisant ui=si⋯sN):
Mesure complète: Facteur de suppression
z=∏i=1N−1tsi,N−2−2tsi,N−2−2=1
conduisant à une divergence des sommes de résidus (similaire à la circularité de l'indice de Schur).
Mesure réduite: Facteur de suppression
z=∏i=1N−1tsi,N−2−2qtsi,N−2−2=qN−1
assurant la convergence des sommes de résidus (∣q∣<1), et la contribution de l'origine est nulle.
Pour l'indice Macdonald, la forme intégrale est :
I=∮2πisds(t1/2vs±,t1/2v−1s±;q)∞(s,qs−1,ts±;q)∞
En utilisant la mesure réduite, les pôles sont situés en s=t1/2v±qk (k≥0). La somme des résidus donne :
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)
En utilisant les formules de transformation à trois termes des séries hypergéométriques basiques, on peut simplifier en :
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]
Pour l'indice superconforme complet, la fonction intégrée contient des fonctions gamma elliptiques. Pour N=4 SU(2) par exemple :
I2(yi;p,q)=2(p;p)∞(q;q)∞∮2πisds(1−s−1)Γ(s±;p,q)∏i=13Γ(yis±;p,q)
La forme de la somme des résidus est :
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)
où 4W3(k) est la k-ième sommation partielle de la série hypergéométrique elliptique bien équilibrée. Caractéristiques clés :
Somme double, mais dénominateur non factorisable
Ne peut pas être exprimée directement comme produit de deux séries hypergéométriques elliptiques complètes
Les auteurs prouvent que l'équivalence se réduit à l'identité :
∑λ=0∞(q;q)λ/(t2;q)λCλ(t1/2,t−1/2;t∣q)tλ/2=(q;q)λ(t2;q)λt−λ/2
où Cλ sont les polynômes q-supersphériques. La somme des résidus réalise une resommation de la série de Laurent en potentiel chimique v, révélant une dépendance analytique.
Somme des résidus (∣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 convergence est vérifiée par des tests de ratio. La S-dualité généralisée (υ1↔υ3) implique des formules de transformation non triviales pour les combinaisons bilinéaires des sommations hypergéométriques elliptiques.
Pour la fenêtre conforme 3≤Nf≤6, indice complet :
IE(yi;p,q)=∑i=12NfΓ(ai±)Γ(ai2)∏j=iΓ(ajai±)∑k,l1−aipkql(−ai)2Nf+4V2Nf+3(k)2Nf+4V2Nf+3(l)
Convergent pour ∣yi∣=TNf−2, ∣p∣=∣q∣=TNf quand Nf≤7.
Cas particulier Nf=3 (dualité de Seiberg) :
∑ireˊsidus=∏1≤i<j≤6Γ(yiyj)
C'est la première formule de sommation non triviale pour des combinaisons bilinéaires de sommations hypergéométriques elliptiques !
Résultats techniques: La mesure réduite résout l'obstacle technique de longue date pour l'évaluation des résidus des indices superconformes, applicable aux théories de jauge N=1,2,4 générales
Insights physiques:
Preuve forte de l'absence d'opérateurs non-gravitoniques dans la région Macdonald SU(2) N=4
Formes fermées révélant le spectre BPS fortement couplé, réalisant une représentation "minimisée"
Propriétés analytiques permettant l'extension des potentiels chimiques, découvrant de nouvelles simplifications physiques
Contributions mathématiques:
Premières sommes de résidus convergentes pour les intégrales hypergéométriques elliptiques
Nouvelles formules de transformation et de sommation pour les séries hypergéométriques basiques/elliptiques
129,136,142 Spiridonov et al.: Théorie hypergéométrique elliptique
Applications physiques:
22-24 Cabo-Bizet et al., Benini-Milan (2019-2020): Entropie des trous noirs
28-32 Chang-Lin, Choi et al. (2023-2024): Opérateurs non-gravitoniques
105 Beem et al. (2015): Correspondance VOA
Évaluation globale: Il s'agit d'un excellent article avec des percées techniques majeures, des insights physiques profonds et des contributions mathématiques significatives. La méthode de mesure réduite est simple mais puissante, résolvant un problème technique de longue date. Bien que l'extension à rang élevé et la simplification complète présentent encore des défis, l'article ouvre de nouvelles directions dans le domaine. Il continuera d'avoir un impact durable sur la théorie des champs superconformes, la correspondance AdS/CFT et la théorie des fonctions spéciales.