Resurgent structure of 2d Yang-Mills theory on a torus

This paper investigates the resurgent structure of the topological string dual to 2d $U(N)$ Yang-Mills theory on a torus by deriving closed-form formulas for instanton amplitudes to propose a real non-perturbative partition function and identifying two infinite towers of complex instantons corresponding to BPS states in type II string theory.

The Gist

Imagine you are trying to predict the weather. You have a very sophisticated computer model (the perturbative series) that gives you a forecast based on current data. For a while, the model works great. But if you try to run it for too long, the numbers start to explode, becoming infinite and nonsensical. The model says, "I can't tell you the future!"

This is exactly the problem physicists face with 2D Yang-Mills theory, a complex mathematical model used to describe how particles interact. For decades, they had a great "weather model" (the perturbative expansion) that worked well for small calculations but broke down when they tried to look at the "big picture" (non-perturbative effects).

This paper is like a team of meteorologists who finally figured out how to fix the model so it works forever. They used a powerful new mathematical tool called Resurgence Theory to find the missing pieces of the puzzle.

Here is the breakdown of their discovery using simple analogies:

1. The Two Sides of the Coin (The Duality)

The paper studies a theory called 2D Yang-Mills (let's call it the "Particle World").

• The Particle World: Think of this as a grid of tiny magnets (particles) interacting on a flat, donut-shaped surface (a torus).
• The String World: The authors discovered that this particle world is secretly a "mirror image" of a Topological String Theory (the "String World"). Imagine that every time the magnets wiggle, it's actually a tiny string vibrating in a higher dimension.

The goal was to understand the String World perfectly, including all the tiny, invisible vibrations that the standard math missed.

2. The Missing Pieces (Instantons)

The standard math (perturbation theory) is like counting the waves on the ocean. It works for the big, obvious waves. But it misses the instantons.

• Analogy: Imagine the ocean is calm, but suddenly, a massive, invisible whirlpool appears and disappears in a split second. Standard math ignores these whirlpools.
• In physics, these whirlpools are called Instantons. They are rare, non-perturbative events that happen "all at once."
• Previous attempts to count these whirlpools were like guessing the size of the whirlpool based on a blurry photo. They got the first one right but messed up the rest, leading to contradictions.

3. The Magic Tool (Resurgence Theory)

The authors used Resurgence Theory.

• Analogy: Think of the standard math as a song that gets louder and louder until it's just noise. Resurgence theory is like a special pair of headphones that can filter out the noise and hear the hidden melody underneath.
• It reveals that the "noise" (the part where the math breaks) actually contains the instructions for the missing whirlpools (instantons). The math that fails at the end is secretly whispering the secrets of the instantons at the beginning.

4. The Discovery: A Perfect Recipe

Using this tool, the authors did three major things:

• They found the exact recipe for the whirlpools: They wrote down a closed-form formula (a perfect mathematical recipe) to calculate the size and shape of these instantons, not just for one, but for any number of them (1-instanton, 2-instantons, 100-instantons).
• They fixed the "Ghost" problem: Previous recipes produced results that were "imaginary" (mathematically weird numbers that don't exist in the real world) when they should have been real. The new recipe ensures that if you plug in real numbers for the size of the universe and the strength of the force, you get a real, physical answer.
• They found hidden towers: They discovered that there aren't just the obvious whirlpools (Real Instantons). There are also "Complex Instantons"—whirlpools that exist in a more abstract, mathematical sense. They found two infinite "towers" of these.
  • Metaphor: Imagine you are looking at a mountain range. You see the main peaks (Real Instantons). But the authors realized there are also invisible, ghostly peaks (Complex Instantons) that correspond to specific, stable structures in the universe (BPS states) that physicists have been hunting for.

5. Why This Matters

• For the Math: They solved a 30-year-old puzzle about how to make the "String World" math work perfectly for finite sizes, not just infinite ones.
• For Physics: This brings us closer to understanding the OSV Conjecture, which links black holes (the most extreme objects in the universe) to these string theories.
• The "Real" World: The most exciting part is that their new formula is real. In physics, if your math gives you an imaginary number for a physical quantity, it usually means the theory is broken. This paper fixes that break.

Summary

The authors took a broken, infinite math model of particle interactions, used a high-tech mathematical "decoder ring" (Resurgence) to find the hidden instructions for rare, invisible events (Instantons), and built a new, perfect model that works for all sizes and gives real, physical answers. They also found a whole new zoo of hidden particles (Complex Instantons) that might explain the nature of the universe's most stable building blocks.

In short: They turned a broken, blurry map of the universe into a high-definition, 3D GPS that works everywhere.

Technical Summary

Here is a detailed technical summary of the paper "Resurgent structure of 2d Yang-Mills theory on a torus" by Jiashen Chen, Jie Gu, and Xin Wang.

1. Problem Statement

Two-dimensional $U(N)$ Yang-Mills theory on a torus is an exactly solvable non-supersymmetric QFT that exhibits a duality with topological string theory in the large $N$ limit. While the perturbative partition function of the dual topological string is well-understood (satisfying BCOV holomorphic anomaly equations), its non-perturbative completion remains elusive for finite $N$.

Previous attempts to formulate this non-perturbative partition function, notably by Okuyama and Sakai (2023) based on a free fermion formulation, suffered from several critical limitations:

• Restrictive Assumptions: They were derived assuming $N$ is even and the $\theta$-angle is zero.
• Inconsistency: The proposed multi-instanton amplitudes were untested and led to inconsistencies, particularly for non-vanishing $\theta$.
• Non-Reality: The proposed partition function possessed a fictitious non-vanishing imaginary part even when physical parameters (modulus $t$ and string coupling $g_s$) were positive, violating the requirement that the partition function of 2d Yang-Mills must be real.

The paper aims to resolve these issues by constructing a consistent, real, non-perturbative partition function for the topological string dual to chiral 2d Yang-Mills on a torus, valid for arbitrary $N$ and $\theta$.

2. Methodology

The authors employ Resurgence Theory, a mathematical framework that relates asymptotic perturbative series to non-perturbative corrections (instantons). The core methodology involves:

• Trans-series Construction: Upgrading the perturbative free energy $F^{(0)}$ to a trans-series $F_{np} = F^{(0)} + \sum F^{(n)}$, where $F^{(n)}$ represents $n$-instanton contributions.
• Holomorphic Anomaly Equations (HAEs): Assuming the full trans-series satisfies the BCOV holomorphic anomaly equations. This allows the derivation of recursion relations for the instanton amplitudes.
• Stokes Phenomena and Alien Derivatives: Utilizing the Stokes discontinuity across Borel singularities to fix the "holomorphic ambiguities" (integration constants) in the HAE solutions. The authors use alien derivatives ($\Delta$) to map the perturbative series to instanton sectors.
• Special Geometry: Analyzing the moduli space of the dual topological string (a double line bundle over an elliptic curve) in two frames:
  • Large Radius Frame: Flat coordinate $t$.
  • Conifold Frame (A-frame): Flat coordinate $t_c = t^2/2$. This frame is crucial as it simplifies the instanton amplitudes to truncated power series.
• Replacement Rule: Deriving a rule to transform solutions from the A-frame (where boundary conditions are simple) to the general non-A-frame (physical frame) by shifting the flat coordinate: $e^{-A/g_s} \to e^{-\alpha g_s \partial_T}$.

3. Key Contributions and Results

A. Closed-Form Instanton Amplitudes

The authors derive closed-form formulas for both single and multi-instanton amplitudes to arbitrary orders.

• 1-Instanton Amplitude: In the large radius frame, the 1-instanton amplitude is found to be:
  $$F^{(1)} = i \sqrt{\frac{2\pi}{g_s}} \exp\left( F^{(0)}(t + g_s) - F^{(0)}(t) \right)$$
  This agrees with the leading order of the Okuyama-Sakai proposal but differs in higher orders.
• Multi-Instanton Amplitudes: The authors find that multi-instanton contributions form an infinite tower with actions $n A_c = n t^2/2$. The reduced partition function in the A-frame is a simple exponential of the instanton action.
• General Formula: The non-perturbative partition function is expressed using Bell polynomials $B_n$ to sum over all instanton sectors:
  $$Z_{np}(t; g_s) = \sum_{n=0}^\infty \frac{1}{n!} B_n(\{ \mu_j \}) S^{(\pm)} Z(t + n g_s; g_s)$$
  where $\mu_j$ are coefficients derived from the Stokes discontinuity of the gap condition.

B. The Non-Perturbative Partition Function

The authors propose a specific non-perturbative partition function (Eq. 4.96) by choosing the medium Borel resummation (setting free parameters $\sigma = 0$).

• Reality Condition: Unlike the Okuyama-Sakai proposal, this new formula is strictly real for positive $t$ and $g_s$. Numerical tests confirm that the imaginary parts of the lateral Borel resummations cancel out progressively as higher-order instanton corrections are included.
• Validity: The formula is valid for arbitrary $N$ and non-vanishing $\theta$ angles, overcoming the limitations of previous proposals.

C. Complex Instantons and BPS States

Beyond the "real" instantons (with real actions $t^2/2$), the authors identify:

• Two Infinite Towers: Complex instanton sectors with actions of the form $A_\gamma = \alpha t^2/2 + \beta 2\pi i t + \delta \pi^2$.
• BPS Correspondence: These complex instantons are conjectured to correspond to BPS bound states of D-branes in Type II string theory.
• Wall-Crossing: The authors analyze the wall-crossing behavior of these states. They find that for the specific geometry of the torus, the wall-crossing across the marginal stability line ($\text{Re } t = 0$) is trivial, meaning the spectrum remains invariant under the transformation $\tau \to -\tau$.

D. Comparison with Okuyama-Sakai

The paper demonstrates that the Okuyama-Sakai proposal (Eq. 4.99) deviates from the correct real solution at higher orders due to the presence of $\vartheta_4$ factors that do not cancel the imaginary parts completely. The new proposal corrects this by utilizing the precise Stokes constants derived from resurgence analysis.

4. Significance

• Resolution of Non-Perturbative Ambiguity: The paper provides the first consistent, real, and non-perturbative completion of the topological string partition function dual to 2d Yang-Mills on a torus for finite $N$.
• Validation of Resurgence: It successfully applies resurgence theory to a topological string background (elliptic curve) that differs from standard Calabi-Yau threefolds, confirming that the resurgent structure (Stokes constants, alien derivatives) holds even with subtle differences in the instanton spectrum.
• BPS State Identification: The identification of two infinite towers of complex instantons provides a concrete prediction for the BPS spectrum of D-branes in the dual string theory, linking field-theoretic instantons to string-theoretic BPS states.
• Foundation for OSV Conjecture: By clarifying the non-perturbative structure, this work lays the groundwork for a precise formulation of the OSV conjecture and the duality between 2d Yang-Mills and topological strings beyond the large $N$ limit.

In summary, the paper establishes a rigorous mathematical framework for the non-perturbative sector of 2d Yang-Mills on a torus, correcting previous inconsistencies and offering a concrete realization of the duality between gauge theory and topological string theory.