Les Houches lecture notes on topological recursion

Imagine you are a master chef trying to bake the perfect cake. In the world of mathematics and physics, this "cake" is a complex calculation that describes how particles interact, how strings vibrate, or how shapes in the universe are counted. For decades, different chefs (mathematicians and physicists) developed their own secret recipes for different types of cakes. Some recipes worked for matrix models, others for knot theory, and others for gravity.

Then, a new, universal recipe was discovered called Topological Recursion.

This lecture note, written by Vincent Bouchard, is like a friendly guidebook explaining what this universal recipe is, how it works, and why it can bake any of those cakes, even if you didn't know you were baking one in the first place.

Here is the breakdown of the paper using simple analogies:

1. The Core Idea: The "Universal Recipe"

Imagine you have a magical map called a Spectral Curve. This isn't a map of a city; it's a map of a mathematical landscape. On this map, there are special "hills" or "peaks" called ramification points.

Topological Recursion is a step-by-step instruction manual that says:

"Start at the bottom of the hill. Look at the shape of the terrain. Use that shape to calculate the next layer of the cake. Then use that new layer to calculate the next one, and so on."

No matter what kind of "cake" (physics problem) you are trying to bake, if you have the right map (spectral curve) and you follow this recursive (step-by-step) instruction, you will get the correct answer. It turns out that this same recipe explains everything from counting how many ways you can wrap a string around a knot to calculating the probability of particles colliding.

2. The Two Ways to Look at the Recipe

The paper explains that this recipe can be understood in two different ways, which are actually the same thing seen from different angles.

Angle A: The "Airy Structure" (The Algebraic View)

Think of this as looking at the recipe as a set of rules or constraints.
Imagine you are building a tower of blocks. You have a rule: "Every block you place must be perfectly balanced on the one below it."

The Analogy: In the paper, these rules are called Airy Ideals. They are like a strict set of laws (differential equations) that the final answer must obey.
The Magic: The paper proves that if you have a set of these rules that fit together perfectly (an Airy structure), there is exactly one unique tower (solution) that can be built. It's like a puzzle where the pieces only fit together in one specific way.

Angle B: The "Loop Equations" (The Geometric View)

This is the original way the recipe was discovered, coming from the world of Matrix Models (which are like giant spreadsheets of numbers).

The Analogy: Imagine a rubber sheet (the spectral curve) with holes in it. The "Loop Equations" are like the tension in the rubber sheet. If you pull on one part of the sheet, the whole sheet ripples in a specific way.
The Connection: Topological Recursion is the method used to calculate exactly how those ripples behave. The paper shows that the "rules" from Angle A and the "ripples" from Angle B are actually describing the exact same phenomenon.

3. The "Projection Property": The Magic Filter

One of the most important concepts in the paper is the Projection Property.

The Analogy: Imagine you are trying to hear a specific instrument in a noisy orchestra. You use a filter (a projection) that blocks out all the noise and only lets the sound of that one instrument through.
In the Paper: When calculating the "ripples" on the map, there are many possible ways the math could go. The Projection Property acts as a filter that removes the "noise" (ambiguous parts of the calculation) and leaves only the "pure signal" (the unique, correct answer). Without this filter, the recipe wouldn't work.

4. Why is this a Big Deal? (The Web of Connections)

The paper spends a lot of time showing how this one recipe connects to everything else in the universe of math and physics.

Counting Shapes (Enumerative Geometry): It can count how many ways you can draw a curve on a surface without it crossing itself.
Quantum Curves: It can turn a classical map (like a road map) into a quantum map (where the road is fuzzy and probabilistic), essentially "quantizing" the universe.
Hurwitz Numbers: It can count how many ways you can wrap a blanket (a Riemann surface) around a pole (a sphere) with specific twists.

The "Aha!" Moment:
The author explains that for a long time, mathematicians thought these were all separate problems. They had different tools for counting knots, different tools for gravity, and different tools for string theory.
Topological Recursion is the Rosetta Stone. It shows that deep down, they are all speaking the same language. If you understand the "Airy Structure" (the rules) or the "Spectral Curve" (the map), you can solve problems in fields you never thought were related.

Summary

The Problem: Math and physics have too many disconnected recipes for different problems.
The Solution: Topological Recursion is a universal algorithm.
How it works: It takes a "map" (Spectral Curve), finds the "hills" (Ramification points), and uses a recursive step-by-step process to build the answer.
The Secret Sauce: It relies on Airy Structures (strict rules) and Projection (filtering out noise) to ensure the answer is unique and correct.
The Result: It connects knot theory, gravity, string theory, and pure geometry, proving they are all different faces of the same coin.

The paper is essentially saying: "Stop trying to learn a million different recipes. Learn this one universal recipe, and you can bake the whole universe."

Based on the lecture notes by Vincent Bouchard, here is a detailed technical summary of the paper "Les Houches Lecture Notes on Topological Recursion."

1. Problem Statement

The paper addresses the need for a unified, accessible, and rigorous introduction to Topological Recursion (TR), a powerful mathematical framework originally developed by Eynard and Orantin. While TR has found applications in diverse fields—including matrix models, Hurwitz theory, Gromov-Witten theory, knot theory, and JT gravity—the underlying mechanism is often obscured by complex combinatorics or specific physical contexts.

The core problem is to demystify TR by:

Defining it rigorously without relying solely on matrix model derivations.
Establishing its deep algebraic connection to Airy structures (differential constraints).
Clarifying the relationship between the geometric formulation (residues on spectral curves) and the algebraic formulation (loop equations).
Exploring how TR serves as a bridge between enumerative geometry, integrable systems, and quantum curves.

2. Methodology

The author employs a pedagogical approach, structuring the notes to build the theory from algebraic foundations to geometric applications:

Algebraic Foundation (Airy Ideals): The notes begin not with the original matrix model formulation, but with Airy structures (or Airy ideals). These are defined as specific left ideals in the Rees Weyl algebra that annihilate a partition function. This provides a clean, algebraic characterization of recursive systems.
Geometric Formulation (Spectral Curves): The paper introduces the standard Eynard-Orantin framework, defining a spectral curve as a quadruple $(\Sigma, x, \omega_{0,1}, \omega_{0,2})$ . It details the construction of correlators $\omega_{g,n}$ via a recursive residue formula involving a projection operator and a recursion kernel.
Unification via Loop Equations: The author connects the two frameworks by showing that the loop equations (Schwinger-Dyson equations) of matrix models, when combined with a projection property, uniquely determine the correlators. These loop equations are then reformulated as differential constraints on a partition function, proving that TR is a specific realization of an Airy ideal.
Case Studies and Generalizations: The notes analyze specific spectral curves (Airy, Bessel, Mirzakhani, and $(r,s)$ curves) to demonstrate how local ramification types dictate the global enumerative interpretation.
Applications: The final section explores connections to Hurwitz numbers, Gromov-Witten invariants, and the Topological Recursion/Quantum Curve (TR/QC) correspondence.

3. Key Contributions and Theoretical Framework

A. Airy Ideals and Partition Functions

The paper defines an Airy ideal $I \subset \mathcal{D}^\hbar_A$ (a left ideal in the Rees Weyl algebra) generated by operators $H_a$ satisfying:

$H_a = \hbar \partial_a + O(\hbar^2)$ .
$[I, I] \subseteq \hbar^2 I$ .

Theorem 2.11: For any Airy ideal, there exists a unique partition function $Z$ (of a specific exponential form) such that $IZ = 0$. This establishes that differential constraints of this type uniquely reconstruct the generating series of invariants.

B. Topological Recursion (TR) Definition

TR is defined on an admissible spectral curve $S = (\Sigma, x, \omega_{0,1}, \omega_{0,2})$ .

Input: A spectral curve with ramification points $Ram$.
Recursion: For $2g-2+n > 0$ , the correlators $\omega_{g,n}$ are constructed recursively from lower-order terms using the formula:
$\omega_{g,n}(z_1, \dots, z_n) = \sum_{a \in Ram} \text{Res}_{z=a} \left( \int_a^z \omega_{0,2}(\cdot, z_1) \right) \tilde{\omega}_{g,n}^{(a)}(z, z_2, \dots, z_n)$
where $\tilde{\omega}$ involves quadratic combinations of lower-genus correlators and the involution $\sigma_a$ at the ramification point.
Projection Property: A crucial condition ensuring that the constructed correlators are uniquely determined and satisfy specific normalization conditions (vanishing $a$ -cycle integrals).

C. The Bridge: Loop Equations

The paper proves that TR is the unique solution to the Linear and Quadratic Loop Equations that also satisfies the Projection Property.

Linear Loop Equation: Ensures symmetry/holomorphicity of certain combinations of correlators.
Quadratic Loop Equation: Encodes the recursive structure.
Connection to Airy Structures: By imposing the projection property, the loop equations can be rewritten as differential constraints $H_a Z = 0$ . The paper demonstrates that these operators generate an Airy ideal, thereby proving that TR is a specific instance of the Airy structure framework.

D. Symmetry and Admissibility

A significant technical result is the proof of symmetry of the correlators $\omega_{g,n}$ (invariance under permutation of variables).

For simple ramification, this was known via direct calculation.
For arbitrary ramification, the notes highlight that symmetry is a consequence of the admissibility condition (specifically $r = \pm 1 \mod s$ ). If this condition fails, the resulting differential constraints do not form an Airy ideal, and symmetry is lost.

4. Key Results and Examples

Airy Spectral Curve: Corresponds to the Kontsevich-Witten partition function. The coefficients of the expansion at the ramification point yield intersection numbers of $\psi$ -classes on the moduli space of curves $\mathcal{M}_{g,n}$ .
Bessel Spectral Curve: Corresponds to the BGW (Brezin-Gross-Witten) partition function. The coefficients involve the Norbury class $\Theta_{g,n}$ on $\mathcal{M}_{g,n}$ .
$(r, s)$ Spectral Curves: Generalize the above to higher ramification orders.
- $s = r+1$ : Relates to $r$ -spin intersection numbers and $W(\mathfrak{gl}_r)$ constraints.
- $s = r-1$ : Relates to $r$ -BGW invariants.
Hurwitz Numbers: The paper demonstrates that expanding correlators at a non-ramification point (e.g., $x=0$ ) for specific curves (like $x = z e^{-z}$ ) yields Hurwitz numbers. Relating this expansion to the expansion at the ramification point provides a new proof of the ELSV formula (and its generalizations like the $r$ -ELSV formula).
Gromov-Witten Theory: For toric Calabi-Yau threefolds, TR on the mirror curve computes open/closed Gromov-Witten invariants. The local expansion at ramification points corresponds to the topological vertex (localization of GW theory).
TR/Quantum Curve Correspondence: The paper discusses the claim that the wavefunction constructed from TR correlators satisfies a linear differential equation (a quantum curve) $\hat{P}\psi = 0$ . This effectively quantizes the spectral curve. The correspondence is proven for genus 0 algebraic curves and curves with simple ramification.

5. Significance

Unification: The notes successfully unify the geometric (residue-based) and algebraic (differential constraint) perspectives of topological recursion, showing they are two sides of the same coin (Airy ideals).
Accessibility: By starting with Airy structures, the author provides a "down-to-earth" entry point that avoids the heavy combinatorics of the original matrix model derivations while retaining full mathematical rigor.
Enumerative Geometry: The framework provides a systematic method to compute intersection numbers on moduli spaces and relate them to other enumerative invariants (Hurwitz, GW) via the global nature of the spectral curve.
Quantization: The discussion on the TR/Quantum Curve correspondence positions TR as a robust algorithm for the quantization of algebraic curves and the study of non-perturbative effects (resurgence) in quantum systems.
Future Directions: The notes highlight open problems, such as the enumerative interpretation of coefficients for general $(r,s)$ curves and the full non-perturbative resummation of quantum curves, guiding future research in mathematical physics.

In summary, these lecture notes serve as a comprehensive technical guide that establishes Topological Recursion not just as a computational tool for matrix models, but as a fundamental geometric and algebraic structure with deep implications for modern enumerative geometry and quantum theory.