The non-perturbative topological string: from resurgence to wall-crossing of DT invariants

This paper establishes a direct link between the resurgence structure of the topological string and the wall-crossing of Donaldson-Thomas invariants by demonstrating that the algebra of alien derivatives is isomorphic to the Kontsevich-Soibelman Lie algebra, while providing numerical evidence of these connections through Borel analysis of the quintic and local $\mathbb{P}^2$ models.

The Gist

Imagine you are trying to predict the weather. You have a mathematical formula that works perfectly for a sunny day, but as soon as a storm approaches, the formula starts to break down, spitting out numbers that get infinitely large and nonsensical. In the world of theoretical physics, this is exactly what happens when scientists try to calculate the behavior of "Topological Strings"—tiny, vibrating loops of energy that might make up the fabric of our universe.

This paper is like a detective story where the authors figure out how to fix that broken formula and, in doing so, discover a hidden map connecting two completely different worlds of mathematics.

Here is the breakdown of their journey, using simple analogies:

1. The Broken Formula (The Divergent Series)

Think of the Topological String calculation as a recipe for a cake. The recipe works great for the first few steps (ingredients), but if you keep following it forever, the amount of flour required suddenly becomes infinite. The recipe "diverges."

For decades, physicists knew this recipe was broken, but they didn't know why or how to fix it. They knew the "storm" (the breakdown) was caused by invisible "instantons"—sudden, tiny bursts of energy that the standard recipe ignores.

2. The Borel Plane: The Radar Screen

To fix the recipe, the authors use a tool called Resurgence. Imagine you have a radar screen (called the Borel Plane) that shows you where the storms are coming from.

• The Storms (Singularities): On this radar, the breakdowns show up as specific points.
• The Map: The authors realized that these storm points aren't random. They correspond to specific "D-branes" (think of these as invisible membranes or sheets floating in the universe).
• The Storm Intensity (Stokes Constants): How bad the storm is (how much the formula breaks) is measured by a number called a "Stokes constant." The authors found a magical rule: The intensity of the storm is exactly equal to the number of ways you can arrange certain geometric shapes (Donaldson-Thomas invariants).

It's like realizing that the severity of a thunderstorm is perfectly predicted by counting the number of birds in a nearby flock.

3. The "Alien" Detective (Alien Derivatives)

The authors introduce a special tool called an Alien Derivative.

• The Metaphor: Imagine you are looking at a painting. A normal microscope shows you the brushstrokes. An "Alien Derivative" is like a magical lens that doesn't just look at the paint; it looks at the ghosts of the paint—the hidden layers underneath that cause the picture to look weird.
• The Discovery: They built a machine (a differential operator) that acts like this lens. When they pointed it at the broken formula, it didn't just show them the error; it showed them the next layer of the universe's structure.

4. The Great Connection (Wall-Crossing)

This is the paper's biggest "Aha!" moment.

• The Problem: As you change the "moduli" (the settings of the universe, like turning a dial), the storms on the radar move. Sometimes, two storms crash into each other and merge. This is called Wall-Crossing.
• The Discovery: The authors proved that the way these storms merge follows a very specific, rigid set of rules known as the Kontsevich-Soibelman Lie Algebra.
• The Analogy: Imagine a dance floor where dancers (the storms) are moving. If two dancers bump into each other, they don't just crash; they perform a specific, pre-choreographed spin. The authors showed that the "dance steps" of these mathematical storms are identical to the "dance steps" of the geometric shapes (D-branes) they represent.

They essentially proved that the way the math breaks down is the same as the way the universe rearranges its hidden geometry.

5. The Numerical Proof (The Lab Work)

Theory is great, but you need proof. The authors are like master chefs who not only wrote the new recipe but also cooked the dish in a high-tech kitchen.

• They used supercomputers to simulate the "storms" for two specific shapes of the universe: the Quintic (a complex 5-dimensional shape) and Local P2 (a simpler, local shape).
• The Result: They found hidden storms (bound states of D4-branes) that no one had seen before. When they counted the "intensity" of these storms, it matched the theoretical predictions perfectly.
• The Decay: They even watched a "D2-brane" (a specific type of membrane) decay into smaller pieces right on their radar screen, exactly as the theory predicted.

Summary: What does this mean?

This paper bridges a gap between two languages:

1. The Language of Chaos: How mathematical series break down and how to fix them (Resurgence).
2. The Language of Geometry: How invisible membranes (D-branes) interact and change (Wall-Crossing).

The authors showed that chaos and geometry are two sides of the same coin. When the math gets messy, it's not a mistake; it's a message telling us exactly how the hidden geometry of the universe is shifting. They provided the dictionary to translate between the two, proving that the "ghosts" in the machine are actually the most important parts of the story.

Technical Summary

1. Problem Statement

The paper addresses the non-perturbative structure of the topological string partition function, $F$, which is defined as a formal series in the string coupling constant $g_s$ (Eq. 1.1). This series is known to be factorially divergent due to the growth of constant map contributions and behavior near conifold points.

• The Core Challenge: While the divergence suggests the series is an asymptotic expansion of a non-perturbative function, the precise mechanism connecting the perturbative coefficients to non-perturbative effects (instantons) and the behavior of these effects under moduli variations (wall-crossing) requires a rigorous mathematical framework.
• Specific Questions:
  1. How can one systematically analyze the "alien derivatives" (operators extracting singularities in the Borel plane) acting on the topological string partition function and its iterated instanton amplitudes?
  2. What is the algebraic structure governing the commutators of these alien derivatives?
  3. Can the Stokes constants (coefficients of the non-perturbative jumps) be rigorously identified with generalized Donaldson-Thomas (DT) invariants, and does this identification satisfy the Kontsevich-Soibelman (KS) wall-crossing formula?
  4. Can these theoretical structures be verified numerically for specific Calabi-Yau geometries, specifically the Quintic ($X_5$) and Local $\mathbb{P}^2$ ($K\mathbb{P}^2$)?

2. Methodology

The authors employ a combination of Resurgence Theory (specifically Écalle's alien calculus) and Numerical Analysis (Padé approximants and Richardson extrapolation).

• Differential Operator Formalism:
  • The authors introduce a differential operator $D_{\omega_\gamma}$ that implements the pointed alien derivative $\dot{\Delta}_{\omega_\gamma}$ when acting on the topological string partition function $Z^{(0)}$ in a holomorphic limit.
  • Unlike previous approaches that modified the genus-0 amplitude to depend on the charge, this method separates the operator from the amplitude, allowing for the study of successive alien derivatives at arbitrary points in the Borel plane.
  • The operator is defined as:
    $$D_{\omega_\gamma} = g_s c_I \partial_I + \frac{1}{g_s} d_I X_I$$
    (with specific rescalings for local geometries).
• Algebraic Analysis:
  • The authors compute the commutator of two such operators, $[D_{\omega_\gamma}, D_{\omega_{\tilde{\gamma}}}]$, and demonstrate that they satisfy the Kontsevich-Soibelman (KS) Lie algebra relations.
  • They establish that the Stokes automorphism $S_V$ across a sector in the Borel plane is constant under moduli variations that do not cross singularities, provided the Stokes constants are identified with DT invariants.
• Numerical Techniques:
  • Padé Approximants: Used to approximate the analytic continuation of the Borel transform $\hat{F}(\zeta)$ from a truncated series of perturbative coefficients $F_g$. The poles of the Padé approximant reveal the locations of singularities (instanton actions) in the Borel plane.
  • Subtraction Methods: To isolate subleading singularities, the authors subtract the asymptotic contributions of dominant singularities using the known instanton amplitudes $F^{(\gamma)}$.
  • Richardson Extrapolation: Used to accelerate the convergence of sequences derived from the asymptotic behavior of coefficients, allowing for precise extraction of Stokes constants.

3. Key Contributions

A. Theoretical Advances

1. Isomorphism to KS Algebra: The paper proves that the algebra of alien derivatives acting on the topological string partition function is isomorphic to the Kontsevich-Soibelman Lie algebra. Specifically, the commutator relation is:
   $$[\dot{\Delta}_{\omega_\gamma}, \dot{\Delta}_{\omega_{\tilde{\gamma}}}] = -(-1)^{\langle \gamma, \tilde{\gamma} \rangle} \langle \gamma, \tilde{\gamma} \rangle \dot{\Delta}_{\omega_{\gamma+\tilde{\gamma}}}$$
   This establishes a direct, rigorous link between the resurgence structure of the string and the wall-crossing of BPS states.
2. Iterated Alien Derivatives: The authors provide a formalism for computing higher-order alien derivatives (multi-instanton effects) acting on the partition function. They show that $\dot{\Delta}^n$ acting on $Z^{(0)}$ yields a term with a leading pole of order $n+1$ in the Borel plane, corresponding to the structure of multi-instanton amplitudes.
3. Proof Strategy for DT Identification: They outline a strategy to prove that Stokes constants coincide with generalized DT invariants:
   • The Stokes automorphism must be continuous under moduli variations (unless a singularity crosses the integration path).
   • Since Stokes constants are discrete (integers), the automorphism must remain constant across walls, implying the invariants must satisfy the KS wall-crossing formula.

B. Numerical Results

1. Local $\mathbb{P}^2$ ($K\mathbb{P}^2$):
   • D4-Branes: The authors identified Borel singularities corresponding to bound states involving D4-branes (charges of the form $[1, d, \chi]$).
   • Stokes Constants: They numerically extracted the Stokes constants for these charges and found perfect agreement with the generalized Donaldson-Thomas invariants derived from the Poincaré polynomials of the Hilbert schemes of points on $\mathbb{P}^2$.
   • Multi-Instanton Structure: They verified the structure of 2-instanton and 3-instanton corrections near the conifold point, confirming the predicted relations between successive alien derivatives.
   • Instanton Amplitude Resurgence: They computed the Borel plane of the one-instanton amplitude $F^{(\gamma)}$ itself, observing that its singularities mirror the structure of the full partition function but lack certain symmetries (e.g., $Z_2$ symmetry is broken).
2. The Quintic ($X_5$):
   • Similar numerical exploration was conducted for the compact Quintic threefold, identifying singularities beyond the leading constant map contributions, though numerical precision limited the depth of the analysis compared to the local case.
3. Wall-Crossing Observation:
   • The paper numerically traces the decay of a D2-D0 bound state (charge $\gamma_1 = [0, 1, 1)$) in the Borel plane of Local $\mathbb{P}^2$ as moduli cross a wall of marginal stability.
   • They demonstrated that the singularity associated with $\gamma_1$ exists on one side of the wall (where the bound state is stable) and disappears on the other (where it decays into $\gamma_2 + \gamma_3$), matching theoretical predictions from scattering diagrams.

4. Results

• Algebraic Confirmation: The commutator of alien derivatives strictly follows the KS Lie algebra, confirming that the non-perturbative structure of the topological string is governed by the same algebraic rules as BPS wall-crossing.
• Numerical Verification:
  • Stokes constants for various charges in Local $\mathbb{P}^2$ were computed and matched exactly to integer DT invariants.
  • The "multi-cover" structure of singularities (where a charge $\ell \gamma$ has a Stokes constant $S_{\ell \gamma} = S_\gamma / \ell^2$) was numerically confirmed.
  • The decay of a specific BPS state was visualized in the Borel plane, showing the disappearance of a singularity as moduli cross the wall of marginal stability.
• Higher Order Corrections: The paper successfully computed and tested 3-instanton corrections near the conifold point, validating the differential operator formalism for iterated alien derivatives.

5. Significance

• Unification of Concepts: The work provides a concrete, non-perturbative realization of the connection between Resurgence Theory (mathematical analysis of divergent series) and Donaldson-Thomas Theory (enumerative geometry of Calabi-Yau manifolds).
• New Computational Tools: By introducing the differential operator $D_{\omega_\gamma}$, the authors provide a powerful tool for calculating multi-instanton amplitudes and studying the Borel plane of instanton amplitudes themselves, moving beyond just the perturbative series.
• Validation of KS Formalism: The paper offers strong numerical evidence that the Kontsevich-Soibelman wall-crossing formula is not just a property of BPS spectra but is encoded directly in the analytic structure of the topological string partition function.
• Future Directions: The methodology opens the door to studying more complex geometries (e.g., local $\mathbb{P}^1 \times \mathbb{P}^1$) and potentially proving the identification of Stokes constants with DT invariants rigorously by combining these results with Bridgeland stability conditions.

In summary, this paper bridges the gap between the analytic properties of divergent string series and the discrete geometry of BPS invariants, demonstrating that the "resurgent" structure of the topological string is precisely the manifestation of wall-crossing phenomena in the underlying Calabi-Yau geometry.