Mirzakhani's recursion

Mirzakhani's recursion
Name	Maryam Mirzakhani
Birth date	May 12, 1977
Death date	July 14, 2017
Nationality	IranIran
Known for	Mirzakhani's recursion

Mirzakhani's recursion is a recursive formula discovered by Maryam Mirzakhani relating volumes of moduli spaces of bordered hyperbolic surfaces to integrals over simpler moduli spaces. The recursion connects ideas from Hyperbolic geometry, Teichmüller theory, Riemann surface theory, and Symplectic geometry and has influenced work in Enumerative geometry, Mathematical physics, and Low-dimensional topology. It provides an explicit algorithm to compute Weil–Petersson volumes of moduli spaces that previously resisted closed-form evaluation.

Background and statement of the recursion

Mirzakhani developed the recursion in the context of studying moduli spaces of bordered hyperbolic surfaces such as moduli of hyperbolic surfaces with geodesic boundary arising in Fenchel–Nielsen coordinates, Teichmüller space, and the action of the Mapping class group. Early motivations trace through relations with the Weil–Petersson metric, work of William Thurston, and enumerative predictions associated to Edward Witten and the Kontsevich model. The recursion expresses the volume V_{g,n}(L_1,...,L_n) of the moduli space of genus g surfaces with n geodesic boundary components of lengths L_i in terms of integrals involving volumes V_{g',n'} for lower g' or n'. The statement synthesizes techniques from McShane identity-type decompositions, integration over moduli of curves with the Weil–Petersson symplectic form, and reduction methods inspired by Mirzakhani's earlier work on simple closed geodesics.

Derivation and proof

The derivation combines geometric decompositions of hyperbolic surfaces via simple closed geodesics and measured geodesic laminations studied by William Thurston with integration methods from Ergodic theory applied to the Mapping class group orbit of measured foliations. Mirzakhani used variants of the McShane identity proved earlier for punctured tori and general surfaces by invoking techniques related to Bowditch and Birman–Series results on simple geodesics. The proof constructs a cutting-and-gluing argument that reduces integrals over moduli space to boundary integrals computed via explicit hyperbolic geometry formulas rooted in Fenchel–Nielsen coordinates. Key auxiliary inputs include results from Masur and Veech about dynamics on Teichmüller geodesic flow and compactness theorems due to Deligne and Mumford on stable curves. The recursion is validated by checking compatibility with known cases computed using the Kontsevich–Witten theorem, calculations of small (g,n) volumes, and comparisons with combinatorial counts from Mirzakhani's counting of simple closed geodesics.

Relation to Weil–Petersson volumes and moduli spaces

Mirzakhani's recursion gives explicit polynomial expressions for Weil–Petersson volumes in variables L_i tied to the Weil–Petersson metric on Teichmüller space. The volumes V_{g,n} enter into intersection theory on the Deligne–Mumford compactification studied by Deligne and Mumford and relate to intersection numbers of psi-classes appearing in the Witten conjecture proved by Kontsevich. Through this recursion, one obtains connections to the Virasoro constraints in the Kontsevich model and to generating functions appearing in Gromov–Witten theory. The recursion also provides asymptotic information used in the proof of equidistribution and counting theorems paralleling results by Eskin and Okounkov and informs structural properties of the orbifold geometry of Moduli space of curves.

Connections with Mirzakhani’s integration formulas and McShane identities

The recursion is tightly linked to integral identities Mirzakhani derived from variants of the McShane identity for boundaries and cusps. Those integration formulas generalize the original McShane formula for punctured tori and relate lengths of simple geodesics to sums over mapping class group orbits studied by McShane, Bowditch, and Tan. By integrating McShane-type series against the Weil–Petersson volume form and applying change-of-variable techniques related to Fenchel–Nielsen coordinates, Mirzakhani converted infinite series into finite integrals that underlie the recursion. This bridge connects identities in hyperbolic geometry to intersection-theoretic structures emphasized by Kontsevich and techniques from Mirzakhani's counting work, and it has been elaborated in later work by researchers such as Mirzakhani's collaborators and subsequent authors including Do and Norbury.

Applications in geometry and mathematical physics

Applications span computation of explicit Weil–Petersson volumes used in enumerative predictions of Quantum gravity models, checks of the Witten conjecture, and relations to matrix models like the Kontsevich matrix model. The recursion informs counting problems for simple closed geodesics on surfaces, contributing to results by Rafi and Hamenstädt on growth rates and to probabilistic models in Random surfaces and Liouville quantum gravity considered by Sheffield and Duplantier. In mathematical physics, the volumes computed via the recursion feed into partition functions in two-dimensional gravity and topological recursion frameworks developed by Eynard and Orantin. The recursion also aids in explicit computations relevant to string theory amplitudes investigated in contexts related to Witten and Dijkgraaf.

Extensions, generalizations, and alternative formulations

Subsequent work extended the recursion to orbifold points, surfaces with cone singularities studied in the context of Orbifold Teichmüller theory, and to relations with topological recursion of Eynard–Orantin linking to matrix model techniques. Generalizations connect to intersection theory on moduli spaces with spin structures explored by Witten and Norbury, and alternative formulations recast the recursion using symplectic reduction à la Atiyah–Bott or via combinatorial models inspired by Kontsevich's ribbon graph description. Ongoing research relates the recursion to exact formulas in Gromov–Witten theory and to algebraic structures investigated by Zograf and others studying large genus asymptotics and quantum curve phenomena.

Category:Mathematical theorems Category:Maryam Mirzakhani