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.
Este artículo estudia los índices superconformes (superconformal indices) de teorías de gauge SU(N) en cuatro dimensiones, abarcando supersimetría N=1,2,4. La representación tradicional del índice implica integrales de contorno multidimensionales sobre el espectro BPS de la teoría de gauge libre. Para obtener expresiones de forma cerrada, es natural intentar el cálculo de residuos, pero la existencia de singularidades esenciales no aisladas dentro del contorno impide la implementación directa. Los autores resuelven esta dificultad mediante la simetría de Weyl residual de la integral de fijación de gauge, evaluando así las sumas de residuos del índice superconforme de teorías de gauge SU(2) mediante series hipergeométricas básicas y elípticas. Para el índice de Macdonald N=4, se demuestra cómo utilizar fórmulas de transformación conocidas de series hipergeométricas básicas para simplificar las sumas de residuos. La forma simplificada revela el espectro BPS de acoplamiento fuerte del sector de Macdonald de la teoría e implica la ausencia de operadores "no gravitacionales" en este sector.
Los índices superconformes son una de las pocas cantidades físicas exactamente calculables en teorías de campos superconformes (SCFT). Se definen como la traza del espectro de una SCFT en S3, diseñados para recibir contribuciones únicamente de representaciones cortas del álgebra superconforme, siendo por lo tanto protegidos: invariantes bajo deformaciones continuas que preservan la carga superconforme. Esta propiedad los convierte en una herramienta poderosa para probar dualidades fuerte-débil.
Sin embargo, la representación estándar del índice es una integral de contorno multidimensional:
IN=∫dμSU(N)trHg=0ext(⋯)
donde la integral proyecta sobre singuletes de gauge, y el integrando contiene todos los grados de libertad matriciales de la teoría libre (g=0).
Correspondencia AdS/CFT: Para la teoría N=4 SYM, el índice en el límite débil acoplamiento-N grande coincide exactamente con el índice de supergravedad, pero existe el misterio de la entropía de agujeros negros: el índice parece no capturar los estados de CFT correspondientes a grandes agujeros negros de Kerr-Newman BPS 1/16 con entropía O(N2).
Búsqueda de Operadores No Gravitacionales: Avances recientes muestran que el índice en coberturas multivaluadas del potencial químico exhibe crecimiento O(eN2), reproduciendo exactamente la entropía de Bekenstein-Hawking de agujeros negros AdS5 supersimétricos. Esto ha motivado la búsqueda de operadores BPS correspondientes.
Necesidad de Expresiones de Forma Cerrada: Las construcciones actuales de operadores no gravitacionales son principalmente caso por caso. Idealmente se necesita una fórmula de forma cerrada para la diferencia entre el índice completo y el índice gravitacional, para revelar características estructurales del espectro no gravitacional.
Dificultades Técnicas del Cálculo Directo de Residuos:
Tras convertir la integral SU(N) a integral de valores propios, el integrando tiene una acumulación de polos en el origen ui=0, formando una singularidad esencial no aislada
Usando la medida de Haar estándar, la suma de residuos excluyendo el origen diverge
No se puede argumentar que la contribución del origen sea cero
Limitaciones de Otros Métodos:
Localización de Rama de Higgs: Solo aplicable a teorías cuyo grupo de gauge puede ser completamente Higgsificado (requiere materia fundamental suficiente y parámetro FI no nulo)
Método de Bethe Ansatz: Requiere resolver ecuaciones trascendentes para clasificar polos; para N>2 existen familias continuas de polos; requiere relaciones específicas entre potenciales químicos
Expansión de Gravitones Gigantes: Muchas cancelaciones a N fijo, altamente redundante
Avance Técnico: Propone usar una "medida reducida" (reduced measure) para la proyección de singlete de gauge, resolviendo el problema de convergencia de la suma de residuos mediante fijación de gauge adicional de la simetría de Weyl SN residual
Fórmulas de Forma Cerrada:
Obtiene forma cerrada simplificada del índice de Macdonald N=4SU(2), revelando el espectro de acoplamiento fuerte
Evalúa sumas de Macdonald e índices superconformes completos para teorías de gauge SU(2) generales (N=1,2,4)
Perspectivas Físicas:
Proporciona evidencia fuerte de ausencia de operadores no gravitacionales en el sector de Macdonald de la teoría N=4SU(2)
Revela propiedades analíticas del índice en potenciales químicos, descubriendo nuevas especializaciones simplificadas (t=q1/2, t=1)
Aplicaciones Matemáticas:
Primera evaluación de integrales hipergeométricas elípticas mediante residuos, obteniendo sumas dobles infinitas convergentes
Deriva nuevas fórmulas de transformación y suma para series hipergeométricas básicas y elípticas
Proporciona suma de residuos convergente para la integral beta elíptica de Spiridonov
Generalización a Rango Alto: Demuestra la generalización del método a grupos de gauge de rango alto, evaluando el índice de Macdonald N=4SU(3)
Problemas del Método Estándar:
Para teorías de gauge SU(N), la medida de Haar estándar da:
I=N!1∏i=1N−1∮∣ui∣=12πiuiduiΔ(u)Δ(u−1)f(u)
donde Δ(u)=∏i<j(uj−ui) es el determinante de Vandermonde.
Medida Reducida:
Utilizando la invariancia de la medida e integrando bajo permutaciones de ui, se puede reemplazar por:
I=∏i=1N−1∮∣ui∣=12πiuidui∏i<j(1−uij)f(u)
donde uij=uiuj−1. Esto equivale a fijar gauge adicional de la simetría de Weyl SN residual.
Para el índice de Macdonald, la observación clave es el cambio en factores de supresión. Considerando la integral sN−1 (usando variables si satisfaciendo ui=si⋯sN):
Medida Completa: Factor de supresión
z=∏i=1N−1tsi,N−2−2tsi,N−2−2=1
conduciendo a divergencia de la suma de residuos (similar a la elipticidad del índice de Schur).
Medida Reducida: Factor de supresión
z=∏i=1N−1tsi,N−2−2qtsi,N−2−2=qN−1
asegurando convergencia de la suma de residuos (∣q∣<1), con contribución nula del origen.
Para el índice de Macdonald, la forma integral es:
I=∮2πisds(t1/2vs±,t1/2v−1s±;q)∞(s,qs−1,ts±;q)∞
Usando la medida reducida, los polos se localizan en s=t1/2v±qk (k≥0). La suma de residuos da:
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)
Utilizando fórmulas de transformación de tres términos de series hipergeométricas básicas, se puede simplificar 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]
Para el índice superconforme completo, el integrando contiene funciones Gamma elípticas. Para N=4SU(2) como ejemplo:
I2(yi;p,q)=2(p;p)∞(q;q)∞∮2πisds(1−s−1)Γ(s±;p,q)∏i=13Γ(yis±;p,q)
La forma de suma de residuos es:
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)
donde 4W3(k) es la suma de subseries k-ésima de series hipergeométricas elípticas bien equilibradas. Características clave:
Suma doble infinita, pero con denominador no factorizable
No puede expresarse directamente como producto de dos series hipergeométricas elípticas completas
Convergente bajo escalado simétrico ∣p∣=∣q∣=∣yi∣<1
La expresión TQFT:
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)
Los autores prueban que la equivalencia se reduce a la identidad:
∑λ=0∞(q;q)λ/(t2;q)λCλ(t1/2,t−1/2;t∣q)tλ/2=(q;q)λ(t2;q)λt−λ/2
donde Cλ son polinomios q-hiperesféricos. La suma de residuos realiza la resuma de series de Laurent en el potencial químico de sabor v, revelando dependencia analítica.
Suma de residuos (∣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 convergencia se verifica mediante prueba de razón. La dualidad S generalizada (υ1↔υ3) implica fórmulas de transformación no triviales de combinaciones bilineales de sumandos hipergeométricos elípticos.
Para la ventana conforme 3≤Nf≤6, el índice completo:
IE(yi;p,q)=∑i=12NfΓ(ai±)Γ(ai2)∏j=iΓ(ajai±)∑k,l1−aipkql(−ai)2Nf+4V2Nf+3(k)2Nf+4V2Nf+3(l)
Bajo escalado simétrico ∣yi∣=TNf−2, ∣p∣=∣q∣=TNf, converge para Nf≤7.
Caso Especial Nf=3 (Dualidad de Seiberg):
∑iresiduos=∏1≤i<j≤6Γ(yiyj)
¡Esta es la primera fórmula de suma no terminante de combinaciones bilineales de sumandos hipergeométricos elípticos!
Logros Técnicos: La medida reducida resuelve el obstáculo técnico de larga data en la evaluación de residuos de índices superconformes, aplicable a teorías de gauge generales N=1,2,4
Perspectivas Físicas:
Evidencia fuerte de ausencia de operadores no gravitacionales en el sector de Macdonald N=4SU(2)
Forma cerrada revela espectro BPS de acoplamiento fuerte, realizando representación "minimizada"
1,2 Romelsberger; Kinney et al. (2006-2007): Definición de índice
38 Gadde et al. (2013): Método TQFT, polinomios de Macdonald
Trabajo Previo en Métodos de Residuos:
35 Razamat (2012): Propiedades de modularidad de índice de Schur
36 Peelaers (2014): Localización de rama de Higgs
37 Spiridonov (2024): Residuos de integral hipergeométrica elíptica (problema de convergencia)
Herramientas Matemáticas:
89 Gasper-Rahman: Series hipergeométricas básicas
12 Spiridonov (2001): Integral beta elíptica
129,136,142 Spiridonov et al.: Teoría hipergeométrica elíptica
Aplicaciones Físicas:
22-24 Cabo-Bizet et al., Benini-Milan (2019-2020): Entropía de agujeros negros
28-32 Chang-Lin, Choi et al. (2023-2024): Operadores no gravitacionales
105 Beem et al. (2015): Correspondencia VOA
Evaluación General: Este es un artículo excelente con avance técnico importante, perspectivas físicas profundas y contribuciones matemáticas significativas. El método de medida reducida es elegante y poderoso, resolviendo problema técnico de larga data. Aunque la generalización a rango alto y simplificaciones completas aún presentan desafíos, el artículo ha abierto nuevas direcciones para el campo. Continuará teniendo impacto duradero en teoría de campos superconformes, correspondencia AdS/CFT y teoría de funciones especiales.