Elliptic Genera of 2d $\mathcal{N}=(0,1)$ Gauge Theories

This paper derives a new exact residue formula for the elliptic genera of 2d $\mathcal{N}=(0,1)$ gauge theories that generalizes the Jeffery-Kirwan prescription for $\mathcal{N}=(0,2)$ theories and applies it to analyze the phase structure of the Gukov-Pei-Putrov model.

The Gist

Imagine you are a physicist trying to understand the hidden "DNA" of a tiny, vibrating universe. This universe is two-dimensional (like a flat sheet of paper) and follows the rules of Supersymmetry, a magical rulebook where particles have "super-partners" (like a particle having a ghost twin).

Most physicists love to study universes with lots of supersymmetry because they are easy to solve, like a puzzle with many clues. But this paper is about a much tougher challenge: a universe with the minimum possible amount of supersymmetry (just one "supercharge"). It's like trying to solve a mystery with only one clue. These theories are messy, chaotic, and hard to predict, but they are also closer to the real world (which has no supersymmetry at all).

Here is the story of what the authors did, explained simply:

1. The Goal: Finding the "Fingerprint"

The authors wanted to calculate something called the Elliptic Genus.

• The Analogy: Think of the Elliptic Genus as a fingerprint or a barcode for the theory.
• If you have two different-looking theories, but they share the same fingerprint, they are secretly the same thing (dual).
• If the fingerprint is zero, it means the universe has collapsed (supersymmetry is broken).
• For these "minimal" theories, nobody knew how to calculate this fingerprint accurately until now.

2. The Problem: The "Residue" Recipe

To calculate this fingerprint, physicists usually use a mathematical trick called Localization. Imagine you are trying to find the total weight of a mountain range. Instead of weighing every single rock, you realize that the weight is concentrated only at the very peaks. You just need to weigh the peaks.

In math, these "peaks" are called singularities or poles. To get the answer, you have to sum up the values at these peaks. This process is called taking a Residue.

• The Old Way: For easier theories (with more supersymmetry), there was a famous recipe called the Jeffrey-Kirwan (JK) Residue. It was like a standard cookbook: "If the pole is here, add this number."
• The New Problem: In these minimal theories, the "peaks" are messy. The old cookbook doesn't work. The authors realized that the "peaks" aren't just determined by the shape of the mountain (the gauge group); they are also determined by the superpotential (a specific type of interaction term, like a hidden force).

3. The Solution: A New "Residue" Compass

The authors invented a new recipe (a new residue prescription).

• The Metaphor: Imagine you are lost in a foggy forest (the mathematical space). The old compass (JK residue) pointed North based on the trees. But in this new forest, the trees are misleading.
• The authors created a new compass that points based on the "wind" (the specific interactions in the theory).
• They found that to get the right answer, you have to look at how the "wind" blows around the peaks. If the wind blows in a certain direction, you count the peak; if it blows the other way, you ignore it.
• This new method is flexible enough to handle the messy, minimal theories, but if you apply it to the easy theories, it magically turns back into the old, standard recipe.

4. The Test: The "Gukov-Pei-Putrov" (GPP) Model

To prove their new compass works, they tested it on a famous, complex model called the GPP Model.

• The Setup: This model is like a complex machine with many gears (gauge groups) and springs (matter fields). It has different "modes" or phases depending on how you tune the springs (changing constants $A, B, C$).
• The Discovery:
  • Phase 1 (Supersymmetry Broken): When they tuned the machine a certain way, their new formula gave a result of Zero. This confirmed that the universe in this phase has no stable ground state (the supersymmetry is broken).
  • Phase 2 (Stable): When they tuned it differently, the formula gave a non-zero, complex number. This matched perfectly with what other physicists had guessed using geometry.
  • The Twist: They found that two phases that looked completely different were actually related by a simple flip (like flipping a coin). One phase is the "mirror image" of the other.

5. Why Does This Matter?

• For Mathematicians: It connects physics to deep areas of math called Topological Modular Forms (TMF). It suggests that these messy quantum theories are actually organizing themselves into a grand mathematical structure.
• For Physicists: It gives us a tool to study theories that are "almost" like our real world. Since our real world has no supersymmetry, understanding these "minimal" supersymmetric theories is a stepping stone to understanding the universe without any magic rules at all.
• The Big Picture: They showed that even in the most chaotic, minimally-supersymmetric worlds, there is a hidden order. If you know the right "residue recipe," you can read the fingerprint of the universe and predict whether it will survive or collapse.

Summary in One Sentence

The authors invented a new mathematical "compass" to navigate the chaotic landscape of minimal supersymmetric theories, allowing them to calculate their hidden fingerprints and prove that these messy universes have a beautiful, predictable structure underneath.

Technical Summary

1. Problem Statement

The paper addresses the challenge of extracting quantitative, non-perturbative data from two-dimensional $\mathcal{N}=(0,1)$ supersymmetric gauge theories. While theories with higher supersymmetry (e.g., $\mathcal{N}=(2,2)$ or $\mathcal{N}=(0,2)$) are well-understood via tools like holomorphy and Jeffrey-Kirwan (JK) residues, $\mathcal{N}=(0,1)$ theories possess minimal supersymmetry (one supercharge).

• Challenges: Standard arguments like holomorphy do not apply. Theories are generally chiral, requiring careful anomaly cancellation. The lack of a known non-renormalization theorem for the superpotential complicates the analysis of dynamics.
• Goal: Derive an exact, closed-form formula for the elliptic genus of 2d $\mathcal{N}=(0,1)$ gauged linear sigma models (GLSMs) and apply it to analyze the phase structure of specific models, such as the Gukov-Pei-Putrov (GPP) model.

2. Methodology

The authors employ supersymmetric localization within the path-integral formalism to compute the elliptic genus.

A. Theoretical Setup

• Multiplets: The theory consists of vector, scalar, and Fermi multiplets. Unlike $\mathcal{N}=(0,2)$ theories where matter is in complex representations, $\mathcal{N}=(0,1)$ theories generally involve real representations of the gauge and flavor groups.
• Lagrangian: The action includes kinetic terms for all multiplets and a superpotential coupling (the $J$-term) between scalar and Fermi multiplets. The $J$-term is expanded as $J(\Phi) = J^{(0)} + J^{(1)}(\Phi) + J^{(2)}(\Phi, \Phi) + \dots$.
• Assumptions:
  1. Genericity: The quadratic part of the superpotential, $J^{(2)}$, is non-degenerate (full rank).
  2. Zero Mode Cancellation: The number of uncharged Fermi multiplets ($b$) equals the rank of the gauge group ($r$). This is crucial for the residue prescription.
  3. Simultaneous Diagonalizability: The actions of the quadratic $J$-terms on the scalar fields commute.
  4. Non-Degeneracy: Singularities in the integrand are specified by the intersection of exactly $r$ hyperplanes.

B. Localization Procedure

1. Path Integral: The elliptic genus is defined as a trace over the Ramond-Ramond sector, recast as a path integral with periodic boundary conditions on a torus.
2. Localization: In the weak coupling limit, the path integral localizes to the moduli space of flat gauge connections ($\mathcal{M}$) and zero modes of the auxiliary fields.
3. One-Loop Determinants: The authors compute the 1-loop determinants for vector, scalar, and Fermi multiplets.
   • The scalar determinant involves a crucial mass term generated by the quadratic $J$-term ($J^{(2)}$), which regularizes divergences arising from bosonic zero modes.
   • The Fermi determinant provides the necessary zero-mode saturation via Yukawa couplings.
4. Residue Prescription (The Core Innovation):
   • The integral over the moduli space reduces to a sum of residues at isolated singularities.
   • Unlike $\mathcal{N}=(0,2)$ theories where the JK residue depends solely on the gauge charges ($\rho_i$), the $\mathcal{N}=(0,1)$ residue depends on vectors $Q_i$ derived from the quadratic $J$-terms ($J^{(2)\#}$).
   • The authors define a new residue prescription: For a singularity $u^*$ defined by the intersection of $r$ divisors, the residue is non-zero only if a chosen covector $\eta$ lies within the cone spanned by the corresponding $Q$ vectors.
   • Key Distinction: In $\mathcal{N}=(0,2)$, $Q_i = \rho_i$ (gauge charges). In $\mathcal{N}=(0,1)$, $Q_i$ are determined by the specific superpotential couplings, making the result sensitive to the choice of the $J$-term.

3. Key Contributions

1. Exact Residue Formula: The derivation of a general formula for the elliptic genus of 2d $\mathcal{N}=(0,1)$ GLSMs (Eq. 3.2, 3.14).
   $$I(\tau, \xi) = \frac{1}{|W|} \sum_{u^*} \text{Res}_{u^*}(\eta) [Z_{\text{1-loop}}]$$
   where the residue selection is governed by the cone of $Q$ vectors from the superpotential.
2. Generalization of JK Residue: The paper demonstrates that the standard JK residue is a special case of this new formula, recovered when the theory possesses an adjoint Fermi multiplet (as in $\mathcal{N}=(0,2)$) such that $Q_i = \rho_i$.
3. Handling Real Representations: The formalism explicitly accounts for the subtleties of real representations and the associated sign ambiguities (Pfaffians) in the path integral.
4. Phase Structure Analysis: Application of the formula to the GPP model reveals a rich phase structure dependent on the signs of the superpotential coefficients ($A, B, C$).

4. Results

The authors applied their formula to the Gukov-Pei-Putrov (GPP) model, a theory with $SO(N)$ gauge groups and specific matter content.

• Phase Structure: The elliptic genus varies based on the ratios of the superpotential parameters ($C/A$ and $C/B$):
  • Supersymmetry Breaking Phases: When $C/A < 0$ and $C/B < 0$, no poles are selected by the residue prescription, resulting in an elliptic genus of zero. This indicates broken supersymmetry.
  • Non-Trivial Phases: When $C/A > 0$ (and $C/B < 0$), the formula yields a non-zero result matching the elliptic genus of a non-linear sigma model (NLSM) on a real oriented Grassmannian $\widetilde{\text{Gr}}(n_3, N_1)$ with a specific bundle of left-moving fermions.
  • Ambiguity and Orientation: The case where $C/A > 0$ and $C/B > 0$ yields a sum of residues that vanishes globally (by the global residue theorem), suggesting a connection to the supersymmetry-breaking phase via RG flow.
• Discrepancy with Classical Geometry: The authors note that the classical geometric description (NLSM on a disjoint union of Grassmannians) does not perfectly match the GLSM result in all phases. They propose that quantum corrections (RG running of the superpotential coefficients) and singularities in the moduli space resolve this, effectively "gluing" the geometric components and introducing sign changes.
• Triality: The paper discusses how the results relate to the known triality in $\mathcal{N}=(0,2)$ theories, noting that the absence of the adjoint Fermi multiplet in $\mathcal{N}=(0,1)$ alters the residue vectors $Q_i$, distinguishing the two cases.

5. Significance

• Quantitative Tool for Minimal SUSY: This work provides the first robust, calculable tool for studying the non-perturbative dynamics of $\mathcal{N}=(0,1)$ theories, a class previously difficult to analyze due to the lack of holomorphy.
• Connection to Topological Modular Forms (TMF): The results contribute to the Stolz-Teichner conjecture, which posits a classification of 2d $\mathcal{N}=(0,1)$ theories via TMFs. The flavored elliptic genus serves as a refined invariant for this classification.
• Insight into Phase Transitions: The analysis of the GPP model illustrates how $\mathcal{N}=(0,1)$ theories can undergo phase transitions (including supersymmetry breaking) driven by the superpotential parameters, offering a new perspective on the interplay between GLSMs and NLSMs.
• Mathematical Physics: The derivation of the new residue prescription bridges the gap between the mathematical theory of Grothendieck residues and physical localization techniques, offering a framework that could be extended to other low-supersymmetry systems.

In summary, the paper successfully establishes a computational framework for $\mathcal{N}=(0,1)$ elliptic genera, revealing that the choice of superpotential (specifically the quadratic $J$-terms) fundamentally dictates the residue prescription and the resulting physical phases of the theory.