Les Houches lecture notes on moduli spaces of Riemann surfaces

Imagine you are an architect trying to design a house. But instead of drawing one blueprint, you are trying to understand every possible house that could ever exist, from a tiny shed to a massive cathedral, and you want to know how they all relate to one another.

This lecture paper is about a mathematical "library" called the Moduli Space of Riemann Surfaces. It sounds scary, but let's break it down using simple analogies.

1. The Shape of the Universe (Riemann Surfaces)

First, imagine a piece of rubber. You can stretch it, twist it, and bend it, but you can't tear it or glue it together.

A sphere (like a beach ball) is one type of shape.
A torus (like a donut) is another.
A pretzel with two holes is a third.

In math, these are called Riemann surfaces. The "Moduli Space" is the map of all possible shapes you can make with that rubber. If you have a donut, you can stretch the hole to be big or small, or make the donut fat or thin. The Moduli Space is the giant catalog that lists every single unique version of that donut.

2. The Problem: Too Many Shapes!

The authors explain that if you just look at these shapes, it's a mess. Some shapes have "symmetries" (like a perfect circle can be spun around and look the same). This makes it hard to count them or do math on them.

The Solution: Pinch the Holes.
To fix this, mathematicians invented a way to "compactify" the space. Imagine taking a donut and slowly squeezing the hole until it closes up. The donut doesn't disappear; it turns into a shape with a "knot" or a "pinch" (called a node).

The Analogy: Think of a balloon. If you squeeze the neck until it's a tiny point, you get a shape that looks like two balloons stuck together at a single point.
By allowing these "pinched" shapes, the mathematicians created a complete, closed library where you can walk from one shape to another without falling off the edge. This is the Deligne-Mumford space.

3. The Magic Map: Topological Recursion

Now, how do we do math in this library? We want to calculate "integrals" (which, in physics, means calculating the probability of something happening).

The paper introduces a concept called Topological Recursion.

The Analogy: Imagine you want to know the total volume of a giant, complex castle. Instead of measuring the whole thing at once, you realize the castle is built out of smaller rooms.
You measure the smallest room (a simple triangle).
Then you realize that any bigger room is just a combination of these small triangles glued together.
The Magic: There is a "recipe" (an algorithm) that says: "If you know the answer for a simple shape, you can automatically calculate the answer for a more complex shape by gluing them together."

This recipe is called Topological Recursion. It's like a fractal generator: you start with a tiny seed, and the math automatically builds the rest of the universe for you.

4. The Big Connection: Physics Meets Math

Why do we care? The paper connects this to 2D Quantum Gravity and String Theory.

The String Theory Analogy: In string theory, particles aren't little dots; they are tiny vibrating strings. As a string moves through time, it traces out a surface (like a ribbon).
The Gravity Analogy: In 2D gravity, the "fabric of space" is just a surface that can wiggle and change shape.
The Breakthrough: The authors explain a famous guess by Edward Witten (a giant in physics). He guessed that the math of counting these wiggly surfaces (gravity) is exactly the same as the math of counting random matrices (a tool used in statistics and nuclear physics).
The Proof: A mathematician named Kontsevich proved Witten right. He showed that the "recipe" for counting these shapes is the same as the recipe for solving a specific type of matrix puzzle.

5. The "Givental Action": The Universal Translator

The paper also talks about a powerful tool called Givental's Action.

The Analogy: Imagine you have a master key. If you turn this key in a specific way, it can unlock the door to any version of the Moduli Space.
It allows physicists to take a simple, boring shape (the "trivial" theory) and "twist" it using this key to create complex, interesting universes (like the ones in String Theory).
This is crucial because it means we don't have to solve every problem from scratch. We just need to know how to twist the master key.

6. The "Hyperbolic" Twist (JT Gravity)

Finally, the paper touches on JT Gravity (Jackiw-Teitelboim gravity), which is a hot topic in modern physics (related to black holes and quantum computers).

The Analogy: Imagine a rubber sheet that is always curved like a saddle (hyperbolic geometry).
The paper shows that the "volume" of all these curved shapes can be calculated using the same "Topological Recursion" recipe mentioned earlier.
This connects the abstract math of shapes to real-world physics problems like the Sachdev-Ye-Kitaev (SYK) model, which helps us understand how quantum information behaves in black holes.

Summary

In simple terms, this paper is a guidebook for a mathematical universe of shapes.

It organizes all possible shapes into a neat, complete library.
It provides a recursive recipe (Topological Recursion) to calculate properties of these shapes, no matter how complex they get.
It proves that this math is the exact same language used by physicists to describe the quantum nature of gravity and strings.

It's the ultimate "Rosetta Stone" translating between the language of geometry (shapes), algebra (equations), and physics (how the universe works).

Based on the lecture notes by Alessandro Giacchetto and Danilo Lewański, here is a detailed technical summary of the paper "Les Houches Lecture Notes on Moduli Spaces of Riemann Surfaces."

1. Problem Statement and Context

The paper addresses the mathematical foundations of 2D quantum gravity, topological string theory, and matrix models. The central problem is the rigorous definition and computation of path integrals over the space of all metrics on a surface.

Physical Motivation: In 2D quantum gravity, the path integral is an integration over the space of Riemannian metrics modulo diffeomorphisms and conformal transformations. This reduces to an integration over the moduli space of Riemann surfaces, $\mathcal{M}_{g,n}$ .
Mathematical Challenge: The moduli space $\mathcal{M}_{g,n}$ $M_{g, n}$ (parametrizing genus $g$ $g$ curves with $n$ $n$ marked points) is non-compact and possesses orbifold singularities due to automorphisms. To perform meaningful integrations (calculating physical observables), one must:
1. Compactify the space (Deligne-Mumford compactification).
2. Define a robust intersection theory (cohomology) on this space.
3. Develop recursive algorithms to compute intersection numbers (correlators) without resorting to brute-force integration.

2. Methodology

The authors employ a synthesis of algebraic geometry, topological field theory (TFT), and integrable systems. The methodology proceeds through four main stages:

A. Geometric Foundations of $\mathcal{M}_{g,n}$

Stable Curves: The authors define the Deligne-Mumford moduli space $\overline{\mathcal{M}}_{g,n}$ by including "stable" nodal curves. A curve is stable if $2g-2+n > 0$, ensuring finite automorphism groups.
Orbifold Structure: $\overline{\mathcal{M}}_{g,n}$ is treated as a smooth complex orbifold of dimension $3g-3+n$.
Stratification: The boundary $\partial \overline{\mathcal{M}}_{g,n}$ is analyzed using stable graphs. The space is stratified by the combinatorial type of the nodal singularities, allowing the decomposition of the moduli space into products of lower-dimensional moduli spaces.
Tautological Maps: Three fundamental maps are introduced:
1. Gluing maps ( $\rho, \sigma$ ): Glueing surfaces along nodes (non-separating and separating).
2. Forgetful map ( $\pi$ ): Forgetting a marked point (followed by stabilization).

B. Intersection Theory and Cohomological Field Theories (CohFT)

Cohomology Classes: The paper focuses on natural cohomology classes:
- $\psi$ -classes: First Chern classes of cotangent line bundles at marked points.
- $\kappa$ -classes: Pushforwards of powers of $\psi$ -classes via the forgetful map.
- $\lambda$ -classes: Chern classes of the Hodge bundle (space of holomorphic differentials).
CohFT Axioms: The authors formalize Cohomological Field Theories (Kontsevich-Manin axioms). A CohFT is a collection of maps $\Omega_{g,n}: V^{\otimes n} \to H^*(\overline{\mathcal{M}}_{g,n})$ satisfying symmetry, gluing, and unit axioms. This framework generalizes 2D Topological Field Theory (TFT) to the cohomological setting.

C. Recursive Computation: Witten's Conjecture and Topological Recursion

Witten's Conjecture: The partition function $Z$ of 2D quantum gravity (generating function of $\psi$ -intersection numbers) satisfies the Virasoro constraints ( $L_n Z = 0$ for $n \ge -1$ ).
Kontsevich's Proof: The conjecture is linked to the Airy matrix model. The intersection numbers are shown to be the coefficients of the volume of the moduli space of ribbon graphs.
Topological Recursion (TR): The Virasoro constraints are equivalent to the Eynard-Orantin topological recursion on the Airy spectral curve ( $y^2 = x$ ). This provides a recursive algorithm to compute all correlators $\langle \tau_{d_1} \dots \tau_{d_n} \rangle_g$ .

D. Givental's Action and Teleman's Classification

Givental's Action: The authors introduce a powerful group action (rotation $R$ $R$ and translation $T$ $T$ ) on the space of CohFTs.
- Any CohFT in the "Givental orbit" of a semisimple 2D TFT can be constructed by acting on the trivial CohFT with specific $R$ and $T$ matrices.
- This action allows the reconstruction of complex CohFTs (like the Hodge class or Weil-Petersson class) from simple data.
Teleman's Theorem: A classification theorem stating that all semisimple, homogeneous CohFTs arise from the Givental action on a 2D TFT. This bridges the gap between abstract axioms and explicit computations.

E. Connection to Hyperbolic Geometry (JT Gravity)

The paper connects $\mathcal{M}_{g,n}$ to the moduli space of hyperbolic surfaces with geodesic boundaries, $\mathcal{M}^{hyp}_{g,n}(L)$ .
Mirzakhani's Recursion: Using McShane's identity, the Weil-Petersson volumes of hyperbolic surfaces are computed recursively.
Correspondence: The Laplace transform of these volumes satisfies the same Topological Recursion as the $\psi$ -class intersection numbers, but on a different spectral curve (Sine curve). This establishes the mathematical foundation for Jackiw-Teitelboim (JT) gravity.

3. Key Contributions and Results

Unified Framework for Recursion: The paper demonstrates that the recursive structure of $\overline{\mathcal{M}}_{g,n}$ (via gluing maps) is the geometric origin of the Topological Recursion formula. It explicitly links the combinatorial boundary strata to the loop equations of matrix models.
Givental-Teleman Classification: It provides a clear exposition of how semisimple CohFTs are classified by their underlying 2D TFT and the Givental group action. This explains why diverse physical theories (e.g., $r$ -spin curves, Hodge integrals) share similar recursive structures.
Spectral Curve Correspondence: The notes establish a precise dictionary (Table 2) between CohFT data and Topological Recursion data:
- Trivial CohFT $\leftrightarrow$ Airy curve.
- Weil-Petersson CohFT $\leftrightarrow$ Sine curve.
- Hodge class $\leftrightarrow$ Spectral curves related to the topological vertex.
Explicit Computations: The authors provide explicit formulas for intersection numbers (Table 1) and Weil-Petersson volumes (Table 3) for low genera, computed via the derived recursion relations.
Physical Applications: The notes clarify the mathematical underpinnings of:
- 2D Quantum Gravity: Via Witten's conjecture and matrix models.
- JT Gravity: Via the connection to hyperbolic geometry and the Weil-Petersson volume.
- Topological Strings: Via the Gromov-Witten theory of target spaces and the "remodelling conjecture."

4. Significance

This work serves as a critical bridge between pure mathematics (algebraic geometry, intersection theory) and theoretical physics (string theory, quantum gravity, integrable systems).

For Mathematicians: It offers a modern, recursive approach to computing intersection numbers on $\overline{\mathcal{M}}_{g,n}$ , moving beyond classical geometric methods to the powerful machinery of Topological Recursion and CohFTs.
For Physicists: It demystifies the "magic" of matrix models and topological recursion, showing they are direct consequences of the geometry of moduli spaces. It specifically validates the use of Topological Recursion in JT gravity and the SYK model dual, providing the rigorous geometric justification for recent breakthroughs in holography.
Pedagogical Value: As Les Houches lecture notes, it synthesizes complex, scattered results (Kontsevich, Givental, Teleman, Mirzakhani, Eynard-Orantin) into a coherent narrative, making advanced topics accessible to researchers entering the field.

In summary, the paper argues that the recursive boundary structure of the moduli space of Riemann surfaces is the fundamental mechanism governing 2D quantum gravity and topological strings, and that Topological Recursion is the universal algorithm for computing the observables of these theories.