Elliptic Genera, Anomaly Data, and c-Extremization

The elliptic genus is a supersymmetric torus trace that records protected states and their flavor charges. Its modular and elliptic transformation laws are fixed by two-dimensional ’t Hooft anomalies. In a unitary $(0,2)$ superconformal theory, the same anomaly matrix determines the exact right-moving R symmetry through c-extremization. Both tools are powerful only after gauge anomalies, spin structures, compactness, accidental symmetries, and continuum contributions have been controlled.

Required background. We use the two-dimensional superalgebra and R symmetries and ’t Hooft anomaly matching. Helpful background. Effective twisted superpotentials offer a complementary vacuum-counting calculation.

The protected torus trace

Choose Ramond boundary conditions along the spatial circle and define

$$Z(\tau,z_I)= \operatorname{Tr}_{\mathcal H_{RR}} \left[(-1)^F \mathfrak q^{L_0-c_L/24} \bar{\mathfrak q}^{\bar L_0-c_R/24} \exp\left(2\pi i\sum_Iz_IQ_I\right) \right],$$

where

$$\mathfrak q=e^{2\pi i\tau}, \qquad \bar{\mathfrak q}=e^{-2\pi i\bar\tau}.$$

We reserve $q=e^{-2\pi r+i\theta}$ elsewhere for a GLSM Kähler coordinate. The trace convention above treats the supersymmetry used in the index as right-moving. Then

$$\{\bar Q_+,\bar Q_+^\dagger\} \propto \bar L_0-\frac{c_R}{24}.$$

Differentiating the trace with respect to $\bar\tau$ inserts this anticommutator. States with positive right-moving excitation energy pair with opposite fermion parity, leaving only right-moving Ramond ground states. In a compact theory with discrete spectrum,

$$\partial_{\bar\tau}Z=0.$$

This is the same pairing argument as the Witten index, refined by left-moving energy and flavor charges. It was formulated for QFT elliptic genera in Witten 1987.

Spin structures and insertions

A torus has four spin structures. The trace written above is the RR sector with $(-1)^F$ inserted in Euclidean time. Spectral flow can relate it to NS-sector quantities only when the R-charge lattice and anomaly permit the required large transformation. Flavor holonomies $z_I$ are also periodic only up to anomaly phases.

Before quoting a genus, state:

• which chirality supplies the supercharge;
• the spatial and temporal spin structures;
• whether $F$ is total, left, or right fermion number;
• the R and flavor currents inserted;
• the charge lattice and periodicity of every $z_I$;
• the infrared prescription if the spectrum is not discrete.

Changing any of these can produce a different theta-function expression rather than a harmless notation change.

Anomaly matrix and Jacobi transformations

For conserved Abelian currents $J_I$, define our anomaly convention by

$$k^{IJ}=\operatorname{Tr}_{\text{Weyl fermions}} \gamma^3Q^IQ^J,$$

where $\gamma^3=+1$ on right-moving fermions and $-1$ on left-moving fermions. The gravitational anomaly is

$$k_{\mathrm{grav}}=\operatorname{Tr}\gamma^3=c_R-c_L.$$

These coefficients are RG invariant as long as the symmetries are preserved. Under a modular transformation, the genus transforms schematically as

$$Z\!\left(\frac{a\tau+b}{c\tau+d}, \frac{z_I}{c\tau+d}\right) =\epsilon(\gamma) \exp\left[ \frac{\pi ic}{c\tau+d}k^{IJ}z_Iz_J \right]Z(\tau,z_I),$$

where $\epsilon(\gamma)$ contains the gravitational and spin-structure multiplier. Under $z_I\mapsto z_I+\lambda_I\tau+\mu_I$, another anomaly-determined phase appears. Thus the flavor anomaly matrix is the Jacobi index matrix.

Calling $Z$ a weak Jacobi form requires more than modular-looking notation. The charges must define an integral lattice or a specified multiplier system; the spectrum must have a lower-bounded Fourier expansion; and nonholomorphic continuum terms must be absent or included in a modular completion.

A Landau–Ginzburg example

For one $(2,2)$ chiral field with quasi-homogeneous weight $\omega$ and an isolated LG fixed point, the elliptic genus contribution is

$$Z_{\mathrm{LG}}(\tau,z)= \frac{\theta_1(\tau,(1-\omega)z)} {\theta_1(\tau,\omega z)}.$$

For $W=X^{k+2}/(k+2)$, $\omega=1/(k+2)$. Using $\theta_1(\tau,z)\sim z\,\theta_1'(\tau,0)$ as $z\to0$,

$$Z_{\mathrm{LG}}(\tau,0) =\frac{1-\omega}{\omega}=k+1.$$

This equals the dimension of $\mathbb C[X]/(X^{k+1})$ and the number of vacua after a generic massive deformation. The equality is a sharp cross-check among the genus, chiral ring, and Witten index. Orbifolding requires a sum over commuting spatial and temporal twists, not merely projection of this untwisted answer; explicit LG orbifold formulas were developed in Kawai, Yamada, and Yang 1994.

Gauge theories and Jeffrey–Kirwan residues

On $T^2$, a gauge field can have flat holonomies $u$ valued in the complexified Cartan torus. Supersymmetric localization reduces a compact gauge-theory genus to a meromorphic integral

$$Z=\frac1{|W_G|} \sum_{\text{bundles}} \oint_{\mathrm{JK}(\eta)} \prod_{a=1}^{\operatorname{rk}G}\frac{du_a}{2\pi i} \;Z_{\mathrm{1-loop}}(u,z),$$

where $W_G$ is the Weyl group and the contour is a Jeffrey–Kirwan residue determined by a generic covector $\eta$. Chiral, Fermi, and vector multiplets contribute ratios of theta functions whose zeros and poles occur where charged modes become massless.

The prescription requires:

1. cancellation of local gauge anomalies, so the integrand descends to the holonomy torus;
2. a choice of global gauge group and bundle sectors;
3. consistent R charges and spin structure;
4. a treatment of nonprojective or degenerate pole arrangements;
5. control of boundary contributions from noncompact Coulomb directions.

When these conditions hold, the final answer is independent of the auxiliary $\eta$ even though individual residues are not. Benini, Eager, Hori, and Tachikawa derived the general rank prescription and tested it on Abelian and non-Abelian dualities Benini et al. 2015, §§2–4.

c-extremization

Consider a unitary $(0,2)$ theory flowing to an SCFT. Let $R_0$ be a reference R current and $F_I$ Abelian flavor currents. A trial R current is

$$R_{\mathrm{tr}}(t)=R_0+\sum_It_IF_I.$$

The trial right-moving central charge is

$$c_R^{\mathrm{tr}}(t)=3k^{RR}(t) =3\left(k^{R_0R_0}+2t_Ik^{R_0I}+t_It_Jk^{IJ}\right).$$

Stationarity gives

$$\frac{\partial c_R^{\mathrm{tr}}}{\partial t_I} =6k^{RI}(t)=0.$$

Thus the exact superconformal R current has zero mixed anomaly with every flavor current that can mix. After solving for $t_I^*$,

$$c_R=3k^{RR}(t^*), \qquad c_L=c_R-k_{\mathrm{grav}}.$$

This is an extremization, not necessarily a maximization: the anomaly matrix can have either sign along flavor directions. The theorem assumes a normalizable vacuum, a discrete unitary SCFT, and a complete set of Abelian currents that survive to the infrared. The original derivation and hypotheses are in Benini and Bobev 2013.

A one-flavor calculation

With one flavor current $F$ and $k^{FF}\ne0$,

$$t_*=-\frac{k^{R_0F}}{k^{FF}},$$

and

$$c_R=3\left[ k^{R_0R_0}-\frac{(k^{R_0F})^2}{k^{FF}} \right].$$

If $k^{FF}=0$ but $k^{R_0F}\ne0$, no stationary point exists within this trial family. That is a diagnostic: a symmetry or sector is missing, the assumed fixed point may not exist, or the current is not an ordinary flavor current eligible for mixing.

One anomaly data table, three uses

For a specified set of Weyl fermions, assemble the following semantic record before computing either a genus or c-extremum:

Fermion	Chirality sign $\gamma^3$	Gauge charge	Trial R charge	Flavor charges	Contribution
$\psi$	$+1$ or $-1$	$Q_g$	$R_\psi$	$Q_I$	$\gamma^3Q_AQ_B$ to $k^{AB}$

The same matrix must pass three independent checks:

• its gauge–gauge and gauge–global entries obey the anomaly-cancellation conditions required by the path integral;
• its global–global entries reproduce the elliptic genus’s Jacobi phases;
• its R/flavor block gives the c-extremization equations.

A mismatch among these computations is usually a charge-convention or omitted-fermion error, not new physics.

Accidental symmetries and continuum states

Accidental symmetry. A composite operator can hit a unitarity bound and become free, producing a new infrared current absent from the ultraviolet trial family. One must remove the decoupled contribution, add the accidental current, and extremize again. A stationary ultraviolet polynomial is not proof that all currents were included.

Spontaneously broken noncompact symmetry. Its current may fail to be a normalizable operator, invalidating the standard anomaly argument.

Continuum. In a noncompact theory, boson–fermion spectral densities can differ at threshold. Then $\partial_{\bar\tau}Z$ receives a boundary contribution, and the modular object is often a nonholomorphic completion rather than a holomorphic Jacobi form.

Wall crossing. A flavored index can jump when states enter from infinity even though local anomalies remain fixed. State the chamber and regulator.

Exercises

1. Derive the unrefined $A_k$ Witten index from the theta-function ratio.

Solution

Near zero, $\theta_1(\tau,az)=a z\theta_1'(\tau,0)+O(z^3)$. Therefore the ratio tends to $(1-\omega)/\omega$. With $\omega=1/(k+2)$, this is $k+1$.

2. A theory has $k^{R_0R_0}=2$, $k^{R_0F}=1$, $k^{FF}=-2$, and $k_{\mathrm{grav}}=1$. Find the extremum and central charges.

Solution

$t_*=-1/(-2)=1/2$. Hence $k^{RR}=2-(1)^2/(-2)=5/2$, so $c_R=15/2$ and $c_L=c_R-1=13/2$. The negative $k^{FF}$ makes this direction a local maximum, but extremality—not a universal maximum principle—is the invariant statement.

3. Why does cancellation of the gauge anomaly matter for large shifts of a holonomy $u$?

Solution

Theta functions are quasiperiodic. Under a large gauge shift of $u$, their phases multiply to an exponential governed by the gauge-anomaly coefficient. Only when the relevant gauge anomalies cancel does the one-loop integrand define a single-valued meromorphic form on the gauge-holonomy torus.

References

• Benini, F., and Bobev, N. “Exact Two-Dimensional Superconformal R-Symmetry and c-Extremization.” Physical Review Letters 110 (2013): 061601. doi:10.1103/PhysRevLett.110.061601; arXiv:1211.4030.
• Benini, F., Eager, R., Hori, K., and Tachikawa, Y. “Elliptic Genera of 2d $N=2$ Gauge Theories.” Communications in Mathematical Physics 333 (2015): 1241–1286. doi:10.1007/s00220-014-2210-y; arXiv:1308.4896.
• Kawai, T., Yamada, Y., and Yang, S.-K. “Elliptic Genera and $N=2$ Superconformal Field Theory.” Nuclear Physics B 414 (1994): 191–212. doi:10.1016/0550-3213(94)90428-6; arXiv:hep-th/9306096.
• Witten, E. “Elliptic Genera and Quantum Field Theory.” Communications in Mathematical Physics 109 (1987): 525–536. doi:10.1007/BF01208956.