---
title: Supersymmetric Index
url: https://www.emergentmind.com/topics/supersymmetric-index
type: topic
---

# Supersymmetric Index

A **supersymmetric index** is a graded trace over a supersymmetric Hilbert space that cancels contributions from states paired by a supercharge and retains protected BPS data. In its simplest form, the Witten index is
\[
\mathcal I(\beta)=\operatorname{Tr}_{\mathcal H}\left[(-1)^F e^{-\beta H}\right].
\]
When \(H=\{Q,Q^\dagger\}\), positive-energy bosonic and fermionic states occur in supersymmetry multiplets and cancel, leaving a signed count of supersymmetric zero-energy states. Refined indices insert commuting \(R\)-symmetry, spin, flavor, electromagnetic, or discrete-symmetry operators. Depending on dimension and context, supersymmetric indices encode Ramond-sector charges, BPS soliton degeneracies, protected operators, quiver cohomology, black-hole helicity traces, defect-localized operators, or topological ground-state degeneracies.

## 1. Protected traces and BPS cohomology

The defining mechanism is cancellation in a graded trace. If a supercharge maps a bosonic state to a fermionic state without changing the other charges appearing in the trace, their contributions have opposite signs. In a gapped system with discrete spectrum,
\[
\frac{\partial \mathcal I}{\partial\beta}=0,
\]
because only states annihilated by the chosen supercharge contribute. Continuous supersymmetry-preserving deformations therefore leave the index invariant provided the spectrum remains controlled, the asymptotic behavior is unchanged, and no continuum contribution invalidates the argument.

The index is consequently not an ordinary degeneracy. Its coefficients can be negative, and distinct short multiplets can cancel or recombine into long multiplets. In four-dimensional \(\mathcal N=1\) theories, for example, the index counts \(Q\)-cohomology classes modulo recombination ambiguities; its coefficient at a suitable order can measure the number of marginal operators minus conserved currents [1608.02965]. In three-dimensional superconformal theories, the protected trace similarly detects short multiplets, monopole operators, flavor currents, and supersymmetry-current multiplets [1905.07183].

The protection assumptions are dimension- and geometry-dependent. In finite-volume quantum mechanics or a massive two-dimensional theory, a discrete gapped spectrum is sufficient for the standard cancellation argument. On \(\mathbb R^3\), four-dimensional multiparticle continua produce spectral asymmetry, and the index must include an infrared prescription. In gravitational systems, fermion zero modes associated with broken supersymmetries require helicity insertions rather than a naive \((-1)^F\) trace.

## 2. Refinements, twists, and geometrical realizations

Refinement inserts operators commuting with the chosen supercharge. At a two-dimensional conformal point with \(U(1)_R\) generator \(R\), one family of indices is
\[
I_k=\operatorname{Tr}\left[e^{2\pi i kR}(-1)^{(k-1)F}e^{-\beta H}\right].
\]
The fermion-parity factor compensates the half-unit \(R\)-charge of the supercharges. A nonzero-energy multiplet with \(R\)-charges
\[
(r,\ r+\tfrac12,\ r-\tfrac12,\ r)
\]
therefore cancels, leaving only supersymmetric vacua weighted by their \(R\)-charges. At \(k=0\), this reduces to the Witten index.

The corresponding path integral can be defined by an \(R\)-twisted time circle. For Landau–Ginzburg fields of \(R\)-charge \(q_i\),
\[
X_i(\beta)=e^{2\pi i kq_i}X_i(0),\qquad
\psi_i(\beta)=e^{2\pi i kq_i}\psi_i(0).
\]
After rewriting the fields in terms of periodic variables, the twist becomes explicit time dependence in the action, equivalently a background \(R\)-gauge field
\[
A^R_0=\frac{2\pi k}{\beta}.
\]
This construction remains meaningful after relevant deformations break the ordinary time-independent \(U(1)_R\) symmetry. The resulting time-dependent supersymmetry is represented by a Nicolai or Parisi–Sourlas map, and the index becomes the signed degree of a functional map. Its invariance follows from invariance of this degree under suitable compact deformations [1002.3638].

Related refinements appear throughout supersymmetric quantum field theory:

- The four-dimensional \(\mathcal N=2\) helicity-trace index is
  \[
  \Omega(\gamma,u)=-\frac12\operatorname{Tr}_{\mathcal H_1(\gamma,u)}
  \left[(-1)^{2J_3}(2J_3)^2\right],
  \]
  with charge-dependent fugacities and a quadratic-refinement sign. It counts short BPS multiplets while incorporating multiparticle continua [1406.2360].

- The refined quantum-mechanical index
  \[
  \Omega(y,\zeta)=\operatorname{Tr}_{\mathcal H}
  \left[(-1)^F e^{-\beta H}y^{R+2J_3}\right]
  \]
  is computed by Jeffrey–Kirwan residues and refines the Witten index by \(R+2J_3\) [1406.7853].

- The four-dimensional \(\mathcal N=1\) superconformal index is
  \[
  \mathcal I=\operatorname{Tr}_{\mathcal H(S^3)}
  \left[(-1)^F e^{-\beta\{Q,Q^\dagger\}}\prod_a u_a^{F_a}\right].
  \]
  It is simultaneously a protected operator count and the supersymmetric partition function on \(S^3\times S^1\), with flavor fugacities \(u_a\) and gauge projection implemented by a matrix integral [1608.02965].

- The elliptic genus is a two-dimensional Ramond–Ramond trace that localizes onto right-moving ground states. Its protected coefficients form a weak Jacobi form in the \((2,2)\) setting [1512.00010]. Heterotic compactifications with torsion instead require a “new supersymmetric index” involving \(\bar J_0(-1)^{F_R}\), because the ordinary elliptic genus vanishes from excess fermion zero modes [1509.05704].

- Three-dimensional spindle indices generalize superconformal and topologically twisted indices to \(\Sigma\times S^1\), with \(\Sigma=\mathbb{WCP}^1_{[n_+,n_-]}\). Twist and anti-twist correspond to distinct \(R\)-symmetry fluxes and yield a unified localization formula [2303.14199].

## 3. BPS solitons, wall crossing, and localization

In massive two-dimensional \(\mathcal N=2\) theories, the index interpolates between ultraviolet conformal data and infrared soliton data. In a sector \(\mathcal H_{ab}\) interpolating between vacua \(a\) and \(b\), the supersymmetry algebra has central charge \(Z_{ab}\), with
\[
E_{ab}\ge |Z_{ab}|.
\]
A BPS kink saturates this bound. For a Landau–Ginzburg superpotential,
\[
Z_{ab}=W(X_a)-W(X_b),\qquad m_{ab}=|Z_{ab}|.
\]
The signed soliton number \(N_{ab}\) is an index rather than an ordinary count and may be negative.

In the ultraviolet, the same invariant measures \(U(1)_R\)-charges of Ramond ground states:
\[
I_k=\sum_a e^{2\pi i kq_a}.
\]
Equivalently, if \(M\) is the phase-ordered soliton monodromy,
\[
I_k=\operatorname{Tr}M^k=\sum_a e^{2\pi i kq_a}.
\]
In the infrared, \(M\) is constructed as an ordered product of elementary soliton factors,
\[
M=T\left(\prod_{ab}S_{ab}\right),\qquad
S_{ab}=I+N_{ab}T_{ab}.
\]
The ordering is determined by the phases of the central charges. A rotating phase in Euclidean time converts phase ordering of BPS rays into ordinary time ordering.

Wall crossing occurs when central charges align. For aligned sectors,
\[
N_{ac}\longrightarrow N_{ac}\pm N_{ab}N_{bc},
\]
while the integral evolution operator remains invariant:
\[
S_{ab}S_{ac}S_{bc}=S_{bc}S'_{ac}S_{ab}.
\]
The physically invariant object is therefore the ordered group element rather than an individual multiplicity extracted from its logarithm. In collinear configurations, coefficients of
\[
\log(1-T)^{-1}=T+\frac12T^2+\frac13T^3+\cdots
\]
need not be integral even though the evolution matrix lies in \(SL(n,\mathbb Z)\).

For gauged supersymmetric quantum mechanics, localization reduces the refined index to a Jeffrey–Kirwan residue:
\[
\Omega(y,\zeta)=\frac1{|W|}
\sum_{u_*}
\operatorname{JK\!-\!Res}_{u=u_*}
\bigl(\mathbf Q(u_*),\zeta\bigr)Z_{\text{1-loop}}.
\]
The FI parameter \(\zeta\) selects the residue cone. Crossing a wall in FI-parameter space changes the contour and produces the corresponding BPS wall crossing. Under compactness and stability assumptions, the index computes the refined cohomology of the Higgs-branch moduli space. For quiver quantum mechanics it agrees, under the usual identifications, with the four-dimensional protected spin character.

The same residue technology computes indices of heterotic torsion compactifications. In Fu–Yau models, anomaly cancellation removes nonholomorphic gauge-holonomy dependence and gives a weak Jacobi form of weight zero and index \(r/2\). The resulting geometric formula is expressed through characteristic classes of the gauge bundle, the K3 tangent bundle, and the torus-bundle curvature [1509.05704].

## 4. Infrared geometry, dualities, and protected spectra

Supersymmetric indices are useful because they can be computed in ultraviolet descriptions while constraining infrared physics.

For four-dimensional \(\mathcal N=1\) theories, single-letter indices are assembled with a plethystic exponential and projected onto gauge singlets:
\[
I(p,q,V)=\int[dU]\,
\operatorname{PE}\!\left[\sum_k i_k(p,q,U,V)\right].
\]
The resulting elliptic hypergeometric integrals are invariant under Seiberg duality, \(S\)-duality, and Kutasov–Schwimmer dualities. Poles can encode Higgsing flows, while residues reduce the gauge group and produce the index of the infrared theory.

In three-dimensional \(S\)-fold theories, monopole sectors and topological fugacities appear explicitly in the localization sum. Low-order coefficients detect symmetry enhancement: a \(+x\) term can signal a flavor current, while a negative \(x^2\) term can signal an extra supersymmetry-current multiplet. Refined fugacities are essential because unrefined coefficients can hide enhancement through cancellations [1905.07183].

For boundaries and interfaces in four-dimensional \(\mathcal N=4\) theories, half-indices count boundary operators and quarter-indices count operators at codimension-two junctions. Their equality under S-duality tests Neumann, Dirichlet, Nahm-pole, NS5, and D5 configurations. Higgsing appears as taking residues in boundary fugacities; vortex sectors and boundary ’t Hooft operators arise in the residue expansion. Twisted limits can reduce these indices to vertex-operator-algebra characters, including affine and \(\mathcal W_N\) characters [1902.05175].

The index also probes emergent spacetime. For symmetric orbifolds, the elliptic genus is a protected lower bound on the spectrum at every point in moduli space. Generic seeds can produce Hagedorn growth in the protected index, obstructing a parametrically sparse large-radius \(\mathrm{AdS}_3\) spectrum. The K3 elliptic genus instead exhibits strong cancellations and \(\exp(\sqrt{\Delta})\) growth at low energy, compatible with a supergravity-like protected sector, although it does not by itself prove the existence of Einstein gravity [1512.00010].

A refined example is the resolved elliptic genus of the D1–D5 CFT on \(T^4\). Schur–Weyl duality decomposes the symmetric-orbifold Hilbert space into Young-diagram sectors. Resolving the modified elliptic genus by the number of rows \(\rho\) gives
\[
\mathcal E(p,q,y,u)=\sum_{\rho\ge1}u^{\rho-1}\mathcal E_\rho(p,q,y),
\]
with
\[
\mathcal E(p,q,y,u=1)=\mathcal E(p,q,y).
\]
The exactly marginal twist-two deformation preserves the row-number sectors, so the cancellation responsible for protection occurs separately in each sector. This refinement matches supergravity below the black-hole threshold and resolves protected black-hole microstate organization that is invisible in the ordinary modified elliptic genus [2509.19425].

## 5. Black-hole indices and gravitational path integrals

For black holes, the relevant quantity is generally a helicity-trace index rather than an absolute degeneracy. Broken supersymmetries generate fermion zero modes, causing a naive \((-1)^F\) trace to vanish. In four dimensions, if \(4k\) supersymmetries are broken, the helicity trace is
\[
B_{2k}=\frac1{(2k)!}\operatorname{Tr}
\left[(-1)^F(2h)^{2k}\right].
\]
In five dimensions, the analogous index is
\[
C_{2k}=(-1)^k(2k)!
\operatorname{Tr}\left[(-1)^{2J_R}(2J_R)^{2k}\right].
\]
The angular-momentum insertions absorb the fermion zero modes. The horizon contribution can equal an absolute horizon degeneracy, but exterior hair modes contribute the index weight, so black-hole entropy and microscopic degeneracy are not automatically the same object [1009.3226].

The gravitational implementation uses a complex angular potential. Setting
\[
\beta\Omega=\pm2\pi i
\]
implements
\[
e^{2\pi iJ}=(-1)^F
\]
while preserving smoothness of the Euclidean geometry. For asymptotically flat four-dimensional \(\mathcal N=2\) supergravity, the BPS Kerr–Newman saddle has a finite-temperature representative with
\[
M=Q,
\qquad
-I_{\mathrm{classical}}=-\beta Q+\pi Q^2.
\]
Non-BPS saddles vanish because physical fermion zero modes remain, whereas the BPS saddle’s corresponding modes are gauge modes. The resulting leading index is
\[
\operatorname{Index}(\beta,Q)\sim e^{\pi Q^2-\beta Q}.
\]
The same zero-mode mechanism eliminates connected wormholes and higher-genus near-horizon geometries, yielding factorization of the gravitational index [2107.09062].

Logarithmic corrections can be computed using the finite-temperature rotating geometry. Heat-kernel contributions depend on the Euler density, while special rotational zero modes contribute an additional \(\ln A\). For four-dimensional \(\mathcal N\ge2\) supergravity with \(n_H\) hypermultiplets and \(n_V\) vector multiplets,
\[
\Delta S_{\log}
=
\left[
1-\frac1{12}
\bigl(-11+11(\mathcal N-2)+n_V-n_H\bigr)
\right]\ln A.
\]
This agrees with the zero-temperature \(AdS_2\times S^2\) computation despite the different geometry and ensemble [2306.07322].

With higher-curvature interactions encoded by a prepotential \(F(X,\widehat A)\), the gravitational index becomes
\[
\log\mathcal I=S_{\mathrm{Wald}}+2\pi iJ.
\]
The higher-derivative Wald integrand reduces to a total derivative on the horizon, so the entropy localizes to the north and south poles. The result equals the entropy of the static extremal black hole with the same charges:
\[
\log\mathcal I=S_{\mathrm{extremal}}.
\]
This establishes equality at the classical higher-derivative saddle level, without including general quantum-loop corrections [2411.08260].

For elementary heterotic string states, the two-derivative rotating saddle has a finite-area surface but
\[
S_{\mathrm{BH}}+2\pi iJ=0.
\]
The horizon is singular on a codimension-two subspace, where string-scale curvature makes all tree-level \(\alpha'\) corrections relevant. The near-singularity geometry is universal, and the corrected index is predicted to scale as
\[
\log\mathcal I\propto
\sqrt{Q_R^2-Q_L^2},
\]
with a compactification- and dimension-independent coefficient not determined by the analysis [2401.13730].

A general classical result applies to four-dimensional asymptotically flat supergravity with \(\mathcal N\ge2\): the BPS saddle exponent is independent of the Euclidean temperature and of asymptotic scalar moduli within a chamber. The proof uses asymptotic Killing-spinor equations and the first law rather than the attractor mechanism, and applies saddle by saddle to higher-derivative and multicentered configurations [2610.02306].

## 6. Discrete sectors, factorization, and analytic structure

The index can detect global and topological data invisible to local observables. In pure \(\mathcal N=1\) super Yang–Mills on \(T^3\), the ultraviolet computation must sum over gauge-bundle sectors classified by generalized Stiefel–Whitney classes. For \(SU(N)\),
\[
Z_{SU(N)}=N,
\]
matching the \(N\) gaugino-condensate vacua. For \(SU(N)/\mathbb Z_N\),
\[
Z_{SU(N)/\mathbb Z_N}
=
\sum_{m\mid N}\left(\frac Nm\right)^3\varphi(m).
\]
The additional states arise from residual magnetic discrete gauge theories in confining vacua. For example,
\[
Z_{SO(3)}=2^3+1=9,
\]
where one vacuum contains a magnetic \(\mathbb Z_2\) gauge theory and the other has trivial residual gauge group [1412.2830].

Disorder averaging can also be compatible with index factorization. In an \(\mathcal N=4\) supersymmetric SYK-type quantum mechanics with \(N\) complex superfields and degree-\(p\) holomorphic interactions,
\[
\mathcal I=(p-1)^N.
\]
Although disorder averaging generates a coupled bilocal collective-field theory, supersymmetric cancellation leaves the protected zero-mode contribution. Two copies satisfy
\[
\mathcal I_{LR}=(p-1)^{2N},
\]
even when common disorder and direct supersymmetry-preserving couplings produce nontrivial inter-copy terms [2504.05379].

The analytic structure of an index contains additional information beyond its coefficients. If
\[
\mathcal I(q)=\sum_n d(n)q^{n/a},
\]
the plethystic logarithm defines arithmetic coefficients \(\delta(\nu)\). The nearest interior zero at modulus \(\rho<1\) controls their exponential growth:
\[
\limsup_{\nu\to\infty}|\delta(\nu)|^{1/\nu}=\rho^{-1}.
\]
Thus an interior zero is equivalent to exponential growth of the arithmetic coefficients. Such a zero obstructs a finite plethystic-logarithm description characteristic of free or s-confining infrared theories. In holographic indices, interior zeros can instead arise from finite-\(N\) giant-graviton corrections; for the \(\mathcal N=4\) \(U(N)\) Schur index, the zero approaches the unit circle as \(N\) increases [2607.28143].

The complex-angular-potential limit also changes the appropriate effective description of the black-hole/string transition. Near \(\beta\Omega=2\pi i\), the ordinary Atick–Witten thermal-scalar description fails. In heterotic theory, the relevant winding mode becomes a charged \(W\)-boson of an enhanced \(SU(2)_L\times U(1)_R\) theory, and the Hagedorn instability is an Ambjørn–Olesen magnetic condensation. In type II theory, parametrically many winding modes become light and are naturally described after T-duality as momentum modes in an emergent dimension. String-star and weakly curved black-hole saddles decouple at the exact index point, leaving unresolved the relation between smooth black-hole/string transitions and stringy BPS small black holes [2608.21511].

Across these applications, the supersymmetric index is best understood as a protected, graded invariant rather than a universal state count. It can equal a degeneracy in sectors where all protected contributions have the same sign, but in general it records boson-minus-fermion information, is sensitive to wall crossing and continuum effects, and depends on the chosen refinement, global form, boundary conditions, and supersymmetric background.

Source: https://www.emergentmind.com/topics/supersymmetric-index