Residue sums for superconformal indices

Basic Information

• Paper ID: 2511.10732
• Title: Residue sums for superconformal indices
• Authors: Sam van Leuven, Kayleigh Mathieson, Pratik Roy (Wits University)
• Classification: hep-th (High Energy Physics - Theory)
• Submission Date: November 13, 2024
• Paper Link: https://arxiv.org/abs/2511.10732

Abstract

This paper investigates superconformal indices of four-dimensional $SU(N)$ gauge theories with $\mathcal{N}=1,2,4$ supersymmetry. The conventional representation of indices involves multidimensional contour integrals over the BPS spectrum of free gauge theories. To obtain closed-form expressions, one naturally attempts residue calculations; however, the presence of non-isolated essential singularities within the contour prevents direct implementation. The authors resolve this difficulty through the residual Weyl symmetry of the gauge-fixed integral, thereby evaluating residue sums for superconformal indices of $SU(2)$ gauge theories using basic and elliptic hypergeometric series. For the $\mathcal{N}=4$ Macdonald index, they demonstrate how known transformation formulas of basic hypergeometric series simplify the residue sums. The simplified form reveals the strong-coupling BPS spectrum of the theory's Macdonald sector and suggests the absence of "non-graviton" operators in this sector.

Research Background and Motivation

Core Problem

Superconformal indices are among the few exactly computable quantities in superconformal field theories (SCFTs). They are defined as the trace of the SCFT spectrum on $S^3$, designed to receive contributions only from short representations of the superconformal algebra, making them protected: invariant under continuous deformations preserving supercharges. This property makes them a powerful tool for testing strong-weak dualities.

However, the standard representation of indices is a multidimensional contour integral: $I_N = \int d\mu_{SU(N)} \text{tr}_{\mathcal{H}^{\text{ext}}_{g=0}}(\cdots)$ where the integral projects onto gauge singlets, and the integrand contains all matrix degrees of freedom of the free theory ($g=0$).

Research Significance

1. AdS/CFT Correspondence: For $\mathcal{N}=4$ SYM theory, the index at weak coupling and large $N$ limit exactly matches the supergravity index, yet the black hole entropy puzzle persists—the index appears to miss the CFT states corresponding to large 1/16 BPS Kerr-Newman black holes with $O(N^2)$ entropy.
2. Search for Non-Graviton Operators: Recent progress shows that the index exhibits $O(e^{N^2})$ growth on multi-valued covers of chemical potential space and precisely reproduces the Bekenstein-Hawking entropy of supersymmetric AdS$_5$ black holes. This motivates the search for corresponding BPS operators.
3. Demand for Closed-Form Expressions: Current constructions of non-graviton operators are largely case-by-case. Ideally, one needs closed-form formulas for the complete index minus the graviton index to reveal the structural features of the non-graviton spectrum.

Limitations of Existing Methods

Technical difficulties in direct residue calculation:

• After converting the $SU(N)$ integral to an eigenvalue integral, the integrand has pole accumulations at the origin $u_i=0$, forming non-isolated essential singularities
• Using the standard Haar measure, residue sums excluding the origin diverge
• One cannot argue that the origin contribution vanishes

Restrictions of alternative methods:

1. Higgs branch localization: Only applicable to theories where the gauge group can be completely Higgsed (requires sufficient fundamental matter and nonzero FI parameter)
2. Bethe Ansatz method: Requires solving transcendental equations to classify poles; for $N>2$ there exist continuous families of poles; demands specific relationships between chemical potentials
3. Giant graviton expansion: Exhibits large cancellations at fixed $N$, highly redundant

Core Contributions

1. Technical Breakthrough: Proposes using a "reduced measure" for gauge singlet projection, solving the residue sum convergence problem by further gauge-fixing the residual $S_N$ Weyl symmetry
2. Closed-Form Formulas:
   • Obtains simplified closed forms for the $\mathcal{N}=4$ $SU(2)$ Macdonald index, revealing the strong-coupling spectrum
   • Evaluates Macdonald and complete superconformal indices for general $SU(2)$ gauge theories ($\mathcal{N}=1,2,4$)
3. Physical Insights:
   • Provides strong evidence for the absence of non-graviton operators in the Macdonald sector of $\mathcal{N}=4$ $SU(2)$ theory
   • Reveals analytic properties of the index in chemical potential space, discovering new simplifying specializations ($t=q^{1/2}$, $t=1$)
4. Mathematical Applications:
   • First residue evaluation of elliptic hypergeometric integrals, obtaining convergent double infinite sums
   • Derives new transformation and summation formulas for basic and elliptic hypergeometric series
   • Provides convergent residue sums for the Spiridonov elliptic beta integral
5. Higher-Rank Generalization: Demonstrates the method's extension to higher-rank gauge groups, evaluating the $\mathcal{N}=4$ $SU(3)$ Macdonald index

Detailed Methodology

Core Technical Innovation

1. Reduced Measure Method

Problems with standard approach: For $SU(N)$ gauge theories, the standard Haar measure gives: $I = \frac{1}{N!}\prod_{i=1}^{N-1}\oint_{|u_i|=1}\frac{du_i}{2\pi i u_i}\Delta(u)\Delta(u^{-1})f(u)$ where $\Delta(u)=\prod_{i<j}(u_j-u_i)$ is the Vandermonde determinant.

Reduced measure: Exploiting the invariance of the measure and integrand under permutations of $u_i$, one can replace it with: $I = \prod_{i=1}^{N-1}\oint_{|u_i|=1}\frac{du_i}{2\pi i u_i}\prod_{i<j}(1-u_{ij})f(u)$ where $u_{ij}=u_i u_j^{-1}$. This amounts to further gauge-fixing the residual $S_N$ Weyl symmetry.

2. Convergence Analysis

For the Macdonald index, the key observation concerns the variation of suppression factors. Consider the $s_{N-1}$ integral (using variables $s_i$ satisfying $u_i=s_i\cdots s_N$):

Complete measure: Suppression factor $z = \prod_{i=1}^{N-1}\frac{ts_{i,N-2}^{-2}}{ts_{i,N-2}^{-2}} = 1$ leads to divergent residue sums (similar to ellipticity of Schur indices).

Reduced measure: Suppression factor $z = \prod_{i=1}^{N-1}\frac{qts_{i,N-2}^{-2}}{ts_{i,N-2}^{-2}} = q^{N-1}$ ensures residue sum convergence ($|q|<1$), with vanishing origin contribution.

3. Basic Hypergeometric Integral Evaluation

For the Macdonald index, the integral takes the form: $I = \oint\frac{ds}{2\pi is}\frac{(s,qs^{-1},ts^{\pm};q)_\infty}{(t^{1/2}vs^{\pm},t^{1/2}v^{-1}s^{\pm};q)_\infty}$

Using the reduced measure, poles are located at $s=t^{1/2}v^{\pm}q^k$ ($k\geq 0$). The residue sum yields: $I_2(v;q,t) = \frac{(t^{3/2}v,qt^{-1/2}v^{-1};q)_\infty}{(tv^2,v^{-2};q)_\infty}{}_3\phi_2\left[\begin{matrix}tv^2 & t & qt^{-1/2}v\\qv^2 & t^{3/2}v\end{matrix};q,q\right] + (v\leftrightarrow v^{-1})$

4. Simplification Transformations

Using three-term transformation formulas for basic hypergeometric series, one can simplify to: $I_2(v;q,t) = \frac{(t^{3/2}v,t^{3/2}v^{-1},q;q)_\infty}{(tv^2,tv^{-2},t;q)_\infty}{}_3\phi_2\left[\begin{matrix}t^2/q & t^{1/2}v^{-1} & t^{1/2}v\\t^{3/2}v & t^{3/2}v^{-1}\end{matrix};q,q\right]$

This form:

• Contains no negative powers of $t$
• Has no apparent poles at $v=1$
• The series is well-poised and balanced

Elliptic Hypergeometric Integrals

For the complete superconformal index, the integrand contains elliptic Gamma functions. For $\mathcal{N}=4$ $SU(2)$ as an example: $I_2(y_i;p,q) = \frac{(p;p)_\infty(q;q)_\infty}{2}\oint\frac{ds}{2\pi is}\frac{\prod_{i=1}^3\Gamma(y_is^{\pm};p,q)}{(1-s^{-1})\Gamma(s^{\pm};p,q)}$

The residue sum takes the form: $I_2 = \sum_{i=1}^3\frac{\theta_p(y_i)\theta_q(y_i)\Gamma(y_i)\Gamma(y_i^2)\prod_{j\neq i}\Gamma(y_jy_i^{-1})}{\text{...}}\sum_{k,l=0}^\infty\frac{{}_4W_3^{(k)}(\vec{a}_i;p;q;p){}_4W_3^{(l)}(\vec{b}_i;q;p;q)}{1-y_ip^kq^l}$

where ${}_4W_3^{(k)}$ is the $k$-th term summand of the well-poised elliptic hypergeometric series. Key features:

• Double infinite sums, but with irreducible denominators
• Cannot be directly expressed as products of two complete elliptic hypergeometric series
• Convergent under symmetric scaling $|p|=|q|=|y_i|<1$

Experimental Results (Physical Applications)

$\mathcal{N}=4$ $SU(2)$ Macdonald Index

Hall-Littlewood Limit ($q\to 0$)

$I_2(v;t) = \frac{1+t-t^{3/2}(v+v^{-1})}{(1-tv^2)(1-tv^{-2})}$

Physical Interpretation:

• Denominator corresponds to bosonic generators $\mu_\pm$ of the free action (index $tv^{\pm 2}$)
• Numerator encodes remaining single-trace generators $\{\mu_0,\nu_{\pm 3},\omega_\pm\}$ and their relations
• Completely explained by $S^2$ multiplets (graviton operators), with no non-graviton operators

Special Specializations

$t=q^{1/2}$ Specialization: ${}_3\phi_2\to 1 \quad\Rightarrow\quad I_2(v;q,q^{1/2}) = \frac{(q^{3/4}v,q^{3/4}v^{-1},q;q)_\infty}{(q^{1/2}v^2,q^{1/2}v^{-2},q^{1/2};q)_\infty}$

This is a product formula! Physical interpretation:

• Only operators with $S^2$ multiplets $\{\partial^k_A\mu_A,\partial^{l_i}\omega_i\}/\{\partial^m(\mu_0^2-\mu_+\mu_-)\}$ contribute
• Indices of generators $\tilde{\mu},\tilde{\omega}_i$ cancel against fundamental relations

$t=1$ Specialization: $I_2(v;q,1) = \frac{(v^{\pm};q)_\infty}{(v^{\pm 2};q)_\infty}$

Requires analytic continuation to $|t|\geq 1$, but the closed form permits this operation.

Relation to TQFT Formula

The TQFT expression: $I_2^{\text{TQFT}}(v;q,t) = \frac{(t^2;q)_\infty}{(tv^2,tv^{-2},t;q)_\infty}\sum_{\lambda=0}^\infty\frac{P_\lambda(v,v^{-1};q,t)}{P_\lambda(t^{1/2},t^{-1/2};q,t)}$

The authors prove equivalence reduces to the identity: $\sum_{\lambda=0}^\infty\frac{C_\lambda(t^{1/2},t^{-1/2};t|q)}{(q;q)_\lambda/(t^2;q)_\lambda}t^{\lambda/2} = \frac{(t^2;q)_\lambda}{(q;q)_\lambda}t^{-\lambda/2}$

where $C_\lambda$ are $q$-ultraspherical polynomials. The residue sum implements resummation of the Laurent series in flavor chemical potential $v$, revealing analytic dependence.

$\mathcal{N}=2$ $SU(2)$ SQCD ($N_f=4$)

Macdonald Index

Using the reduced measure ($|q|<|t^{1/2}|<1$): $I_{\text{SQCD}}(y_a;q,t) = \sum_{a=1}^8\frac{(t,qy_a^{-2},ty_a^{\pm 2};q)_\infty}{\prod_{b\neq a}(y_by_a^{\pm};q)_\infty}{}_12\phi_{11}\left[\begin{matrix}\text{12 args}\\\text{11 args}\end{matrix};q,\frac{q^4}{t^2}\right]$

The series is well-poised. The Hall-Littlewood limit simplifies to: $I(y_a;t) = \frac{(1-t)(1-t^2)P_{20}(\upsilon_i;t)}{\prod_{a<b}(1-y_ay_b)}$

where $P_{20}$ is a degree-20 palindromic polynomial. Physical interpretation:

• Denominator: free generation of mesons $M^{[ab]}$
• Relations correspond to chiral rings of the Higgs branch

Complete Superconformal Index

Residue sum ($|p|=|q|=|t|=T^2$, $T<1$): $I_{\text{SQCD}} = \Gamma(pq/t)\sum_{\alpha=1}^{16}\frac{\prod_{j\neq 1}\Gamma(a_ja_i^{\pm})}{\Gamma(a_i^{-2})}\sum_{k,l=0}^\infty\frac{(-a_i^2){}_20V_{19}^{(k)}{}_20V_{19}^{(l)}}{1-a_i^2p^{2k}q^{2l}}$

Convergence is verified via ratio test. Generalized S-duality ($\upsilon_1\leftrightarrow\upsilon_3$) implies nontrivial transformation formulas for bilinear combinations of elliptic hypergeometric summands.

$\mathcal{N}=1$ $SU(2)$ SQCD

For the conformal window $3\leq N_f\leq 6$, the complete index: $I_E(y_i;p,q) = \sum_{i=1}^{2N_f}\frac{\Gamma(a_i^2)\prod_{j\neq i}\Gamma(a_ja_i^{\pm})}{\Gamma(a_i^{\pm})}\sum_{k,l}\frac{(-a_i){}_{2N_f+4}V_{2N_f+3}^{(k)}{}_{2N_f+4}V_{2N_f+3}^{(l)}}{1-a_ip^kq^l}$

Converges under symmetric scaling $|y_i|=T^{N_f-2}$, $|p|=|q|=T^{N_f}$ for $N_f\leq 7$.

$N_f=3$ Special Case (Seiberg Duality): $\sum_i\text{residues} = \prod_{1\leq i<j\leq 6}\Gamma(y_iy_j)$

This is the first non-terminating summation formula for bilinear combinations of elliptic hypergeometric summands!

$SU(3)$ Macdonald Index

Using the reduced measure, the double integral evaluation yields: $I_3(y_{1,2};q) = \sum_{b=1}^2\sum_{k,l=0}^\infty\left[Q_3(\mathfrak{s}_b)R_3^{(k,l)}(\mathfrak{s}_b) + (y_1\leftrightarrow y_2)\right] - \frac{1}{2}\sum_{k=0}^\infty[\cdots]$

where $R_3^{(k,l)}$ involves double basic hypergeometric series $\Phi_{3:3;4}^{3:2;3}$ and $\Phi_{3:3;5}^{3:2;4}$.

The $t=1$ specialization yields a product formula: $I_3(v;q,1) = \frac{(v^{\pm};q)_\infty}{(v^{\pm 3};q)_\infty}$

Conjecture for general $SU(N)$: $I_N(v;q,1) = \frac{(v^{\pm};q)_\infty}{(v^{\pm N};q)_\infty}$

Related Work

Index Calculation Methods

1. TQFT Method Gadde et al. 2012: Expresses via Macdonald polynomials, but as Laurent series in $v$
2. Fermi Gas Method Bourdier et al. 2015: Applicable to Schur indices
3. Bethe Ansatz Benini-Milan 2020: Requires solving transcendental equations, demands $p^m=q^n$
4. Higgs Branch Localization Peelaers 2014: Requires complete Higgsing + nonzero FI parameter
5. Giant Graviton Expansion Gaiotto-Lee 2024: Reveals $1/N$ expansion, but redundant at fixed $N$

Mathematical Connections

1. Basic Hypergeometric Series:
   • Transformation formulas in Gasper-Rahman monograph
   • Bailey summation, Saalschütz summation
2. Elliptic Hypergeometric Functions:
   • Spiridonov elliptic beta integral (Seiberg duality)
   • Frenkel-Turaev summation (only terminating series known)
   • First non-terminating summation obtained in this paper
3. VOA Correspondence Beem et al. 2015:
   • Macdonald sector $\leftrightarrow$ VOA character
   • Conjecture 3: Spectrum completely constituted by $S^2$ multiplets

Conclusions and Discussion

Main Conclusions

1. Technical Achievement: The reduced measure resolves the long-standing technical obstacle in residue evaluation of superconformal indices, applicable to general $\mathcal{N}=1,2,4$ gauge theories
2. Physical Insights:
   • Strong evidence for absence of non-graviton operators in the Macdonald sector of $\mathcal{N}=4$ $SU(2)$
   • Closed forms reveal strong-coupling BPS spectrum, achieving "minimal" representation
   • Analytic properties permit chemical potential continuation, discovering new physical simplifications
3. Mathematical Contributions:
   • First convergent residue sums for elliptic hypergeometric integrals
   • New transformation and summation formulas for basic/elliptic hypergeometric series
   • Nontrivial relations with TQFT formulas

Limitations

1. Higher-Rank Complexity:
   • $SU(3)$ already involves double basic hypergeometric series, lacking systematic simplification methods
   • Requires case-by-case pole classification for successive integrals; systematic methods for general $N$ remain to be developed
2. Convergence Domains:
   • Elliptic case requires pre-specified relative magnitudes of chemical potentials
   • Systematic analysis of asymmetric scalings incomplete
3. Simplification Conditions:
   • Only $\mathcal{N}=4$ $SU(2)$ Macdonald index achieves complete simplification
   • BMN Macdonald and complete indices lack suitable transformation formulas for simplification
4. Physical Interpretation:
   • Direct physical meaning of individual terms in residue sums unclear (compared to Higgs branch formulas)
   • Connections to holographic duality require further clarification

Future Directions

1. Higher-Rank Systematic Methods: Develop general algorithms for multi-integral residue evaluation
2. Simplification Exploration:
   • Seek transformation formulas for BMN/complete indices
   • May reveal complete index formulas for TQFT
3. Bilinear Series Theory:
   • Develop mathematical theory of bilinear combinations of elliptic hypergeometric summands
   • Transformation formulas implied by Seiberg/S-duality
4. Black Hole Microstates:
   • Simplified complete index formulas may reveal non-graviton structure
   • Connections to $O(N^2)$ entropy
5. Modular Properties:
   • Modular transformation properties of closed forms
   • Precise relations with modular factorizations

In-Depth Evaluation

Strengths

1. Breakthrough Technical Innovation:
   • Introduction of reduced measure elegantly resolves technical difficulties plaguing the field for years
   • Method exhibits strong universality, applicable to general supersymmetric gauge theories
2. Deep Mathematical-Physical Integration:
   • Transforms complex physical problems into special function theory problems
   • Conversely, physical dualities yield new mathematical identities
   • First residue evaluation of elliptic hypergeometric functions represents important mathematical progress
3. Rich Physical Insights:
   • Closed forms reveal strong-coupling spectrum structure, providing new evidence for non-graviton operator problem
   • Analytic continuation discovers new physical simplification points
   • Hall-Littlewood limit interpretation via chiral rings is clear
4. Systematic Completeness:
   • Progressive analysis from Schur to Macdonald to complete indices
   • Covers different supersymmetries $\mathcal{N}=1,2,4$
   • Includes both $SU(2)$ and $SU(3)$ cases
5. Solid Technical Details:
   • Rigorous convergence analysis (ratio test, origin contribution estimates)
   • Appendices provide detailed special function properties
   • Multiple independent verifications (comparison with known results)

Shortcomings

1. Incomplete Higher-Rank Generalization:
   • $SU(3)$ case only reaches double basic hypergeometric series, lacks further simplification
   • Lacks systematic treatment for general $SU(N)$
   • Algorithmization of multi-integral pole classification remains to be developed
2. Limited Simplification Formulas:
   • Only Macdonald index achieves satisfactory simplification
   • BMN and complete index residue sums remain complex
   • Lack general criteria for determining when simplifications exist
3. Incomplete Physical Interpretation:
   • Physical meaning of individual terms (corresponding to different pole towers) insufficiently clear
   • Relations with Higgs branch formulas (for applicable theories) need clarification
   • Precise connections between bilinear structure and modular factorization not fully established
4. Convergence Analysis Limitations:
   • Elliptic case requires symmetric/asymmetric scaling as input
   • All convergence domains not systematically classified
   • Convergence for certain theories ($N_f\geq 8$ SQCD) unresolved
5. Holographic Duality Connections:
   • Complementarity with Bethe Ansatz (dominating black hole saddle points) needs clearer exposition
   • Gravitational interpretation of simplified formulas unclear
   • Holographic understanding of non-graviton operator absence remains to be developed

Impact

Short-term Impact:

1. Provides new tools and evidence for non-graviton operator search
2. Stimulates mathematical research in elliptic hypergeometric function theory
3. Establishes new standard method for index calculations

Long-term Potential:

1. May lead to breakthrough in complete index TQFT formula
2. Deepens understanding of strong-coupling BPS spectrum
3. Advances microstate counting in AdS/CFT correspondence
4. Establishes new bridges between gauge theory and special function theory

Reproducibility:

• Method is clear, easily generalizable to other theories
• Mathematical tools are standard (Gasper-Rahman monograph)
• Multiple case verifications enhance credibility

Applicable Scenarios

1. Direct Applications:
   • Index calculations for any $SU(N)$ supersymmetric gauge theory
   • Particularly suited for theories that cannot be completely Higgsed (e.g., $\mathcal{N}=4$ SYM)
2. Theoretical Physics:
   • Strong-weak duality tests
   • BPS operator spectrum analysis
   • Black hole microstate research
3. Mathematical Physics:
   • Hypergeometric function identity discovery
   • Modular form and modularity research
   • Representation theory (VOA characters)
4. Restrictions:
   • High-rank cases exhibit high computational complexity
   • Simplifications depend on availability of special function transformation formulas
   • Physical interpretation not always direct in certain cases

References

Key Citations

Superconformal Index Foundations:

• 1,2 Romelsberger; Kinney et al. (2006-2007): Index definition
• 38 Gadde et al. (2013): TQFT method, Macdonald polynomials

Prior Residue Method Work:

• 35 Razamat (2012): Schur index modularity
• 36 Peelaers (2014): Higgs branch localization
• 37 Spiridonov (2024): Elliptic hypergeometric integral residues (convergence issues)

Mathematical Tools:

• 89 Gasper-Rahman: Basic hypergeometric series
• 12 Spiridonov (2001): Elliptic beta integral
• 129,136,142 Spiridonov et al.: Elliptic hypergeometric theory

Physical Applications:

• 22-24 Cabo-Bizet et al., Benini-Milan (2019-2020): Black hole entropy
• 28-32 Chang-Lin, Choi et al. (2023-2024): Non-graviton operators
• 105 Beem et al. (2015): VOA correspondence

Overall Assessment: This is an excellent paper with major technical breakthroughs, profound physical insights, and significant mathematical contributions. The reduced measure method elegantly resolves long-standing technical difficulties. While higher-rank generalizations and complete simplifications remain challenging, the paper opens new directions for the field. It will continue to exert lasting impact on superconformal field theory, AdS/CFT correspondence, and special function theory.