Mirzakhani Volume: Weil–Petersson Moduli Volumes

• Mirzakhani volumes are symmetric polynomials representing Weil–Petersson volumes of hyperbolic moduli spaces with specified boundary lengths.
• They are obtained by integrating the Weil–Petersson symplectic form over moduli orbifolds, thereby encoding tautological intersection numbers.
• Mirzakhani’s recursive framework bridges hyperbolic geometry and integrable systems, providing insights into large-genus asymptotics and matrix-model formulations.

Mirzakhani volume usually denotes the Weil–Petersson volume of a moduli space of hyperbolic surfaces with prescribed boundary data, together with the associated volume polynomials introduced and analyzed by Mirzakhani. For integers $g\ge 0$, $n\ge 1$ with $2g-2+n>0$, the basic object is the moduli orbifold $\mathcal M_{g,n}(L_1,\dots,L_n)$ of genus-$g$ oriented hyperbolic surfaces with $n$ labeled geodesic boundary components of lengths $L_1,\dots,L_n$, equipped with the Weil–Petersson symplectic form $\omega_{\mathrm{WP}}$. Its volume is

$$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$

and Mirzakhani proved that this is an even symmetric polynomial in the squares $L_1^2,\dots,L_n^2$ of total degree $n\ge 1$0 (Wolpert, 2011, Do, 2011). In later literature, the same term also appears in extensions to cone points, analytic continuations $n\ge 1$1, and flat-geometric limits relating Weil–Petersson and Masur–Veech volumes (Anagnostou et al., 2022, Sauvaget, 2024).

1. Definition and symplectic-geometric setting

The moduli space $n\ge 1$2 is obtained from Teichmüller space by quotienting by the mapping-class group, and in Fenchel–Nielsen coordinates $n\ge 1$3 the Weil–Petersson form is

$n\ge 1$4

This gives a symplectic form on the moduli orbifold and yields the volume integral above (Do, 2011, Wolpert, 2011).

Mirzakhani’s framework includes both bordered surfaces and the cusp case $n\ge 1$5. The notation

$n\ge 1$6

is standard for the cusp-volume, and several later asymptotic results are normalized by this quantity (Anantharaman et al., 2020, Huang, 11 Jan 2025). The low-dimensional initial cases are

$n\ge 1$7

with the equivalent form $n\ge 1$8 also appearing in survey treatments (Huang, 2015, Do, 2011).

A recurrent point in the literature is that the “volume” is not only a scalar invariant of $n\ge 1$9, but a full polynomial function of boundary data. This distinction matters because Mirzakhani’s recursion, the intersection-theoretic interpretation, and large-genus asymptotics all act on the polynomial $2g-2+n>0$0, not merely on the specialization $2g-2+n>0$1 (Anantharaman et al., 2020, Du, 2020).

2. Polynomial structure and intersection theory

Mirzakhani showed that $2g-2+n>0$2 is a symmetric polynomial of total degree $2g-2+n>0$3 in the variables $2g-2+n>0$4, equivalently of total degree $2g-2+n>0$5 in the boundary lengths (Anantharaman et al., 2020, Do, 2011). One expansion used in the asymptotic literature is

$2g-2+n>0$6

This polynomiality is one of the central structural facts about Mirzakhani volumes (Anantharaman et al., 2020).

The coefficients encode tautological intersection numbers on $2g-2+n>0$7. In cohomological form, one has

$2g-2+n>0$8

and therefore

$2g-2+n>0$9

The top-degree part $\mathcal M_{g,n}(L_1,\dots,L_n)$0 recovers the $\mathcal M_{g,n}(L_1,\dots,L_n)$1-class intersection numbers

$\mathcal M_{g,n}(L_1,\dots,L_n)$2

(Do, 2011).

A closely related formulation appears in expositions of Mirzakhani’s proof of Witten’s conjecture: the coefficient of $\mathcal M_{g,n}(L_1,\dots,L_n)$3 in $\mathcal M_{g,n}(L_1,\dots,L_n)$4 is expressed as

$\mathcal M_{g,n}(L_1,\dots,L_n)$5

where $\mathcal M_{g,n}(L_1,\dots,L_n)$6 is the Weil–Petersson class (Huang, 2015). This establishes the volume polynomial as a generating object for mixed $\mathcal M_{g,n}(L_1,\dots,L_n)$7- and $\mathcal M_{g,n}(L_1,\dots,L_n)$8-intersections.

3. Mirzakhani’s recursion

The defining dynamical feature of Mirzakhani volume is the recursive identity obtained by integrating generalized McShane identities over moduli space. In one standard form, for $\mathcal M_{g,n}(L_1,\dots,L_n)$9,

$g$0

where

$g$1

This is the version emphasized in survey expositions (Do, 2011, Huang, 2015).

Geometrically, the recursion arises by fixing a distinguished boundary, decomposing orthogeodesic rays into cases, and using the resulting McShane–Mirzakhani identity. Each term corresponds to cutting off a pair of pants and either lowering genus, disconnecting the surface, or merging two boundary components (Huang, 2015, Wolpert, 2011). The method depends on an unfolding argument over intermediate moduli spaces decorated by simple closed geodesics, together with the splitting of the Weil–Petersson form under cutting and gluing (Huang, 2015).

A later reformulation replaces the transcendental kernel by a “simple recursion”

$g$2

making polynomiality manifest by induction (Du, 2020). This formulation also recovers both the DVV identity from the top-degree part and a tautological push-forward formula from the lowest-degree part (Du, 2020).

A common misconception is that polynomiality is merely a byproduct of explicit low-genus calculations. The recursion shows instead that it is a structural theorem: the right-hand side is built from integrals of lower-degree polynomials over polygonal regions and intervals, hence the polynomial property propagates inductively (Du, 2020).

4. Relations to Witten–Kontsevich, Laplace transform, and matrix models

Mirzakhani’s recursion is not only a volume-computation device; it is equivalent to the Virasoro/KdV constraints for the generating function of $g$3-class intersections. In one standard formulation,

$g$4

and the Witten–Kontsevich theorem is

$g$5

Survey expositions explain that extracting the top-degree terms of Mirzakhani’s recursion reproduces the string, dilaton, and higher Virasoro relations (Huang, 2015, Wolpert, 2011).

There is also a Laplace-transform formulation. One defines

$g$6

Eynard–Orantin show that the Laplace-transformed Mirzakhani recursion becomes the standard topological recursion for the spectral curve

$g$7

and that this is precisely the matrix-model loop equation for the Kontsevich curve (0705.3600).

The matrix-model perspective further identifies a special choice of times in the Kontsevich integral,

$g$8

for which the corresponding genus expansion reproduces the Laplace transforms of Weil–Petersson volumes (0705.3600). This gives a second route from hyperbolic geometry to the Witten–Kontsevich theorem.

A plausible implication is that “Mirzakhani volume” occupies an intermediate position between hyperbolic geometry and integrable hierarchies: the same object can be read as a Weil–Petersson symplectic volume, as a polynomial encoding tautological intersections, and as a solution of topological-recursion or loop-equation formalisms (0705.3600, Du, 2020).

5. Large-genus asymptotics

For fixed $g$9, the large-$n$0 behavior of $n$1 admits a full asymptotic expansion after normalization by the cusp-volume $n$2: $n$3 where $n$4, and each $n$5 is an explicitly described combination of $n$6 and $n$7 (Anantharaman et al., 2020).

The leading term is

$n$8

equivalently

$n$9

with error $L_1,\dots,L_n$0 (Anantharaman et al., 2020). The second coefficient $L_1,\dots,L_n$1 is also known explicitly; in the notation $L_1,\dots,L_n$2, $L_1,\dots,L_n$3,

$L_1,\dots,L_n$4

These formulas are derived by detailed analysis of the coefficient recursion induced by Mirzakhani’s topological recursion (Anantharaman et al., 2020).

For the cusp-volumes themselves, fixed-$L_1,\dots,L_n$5 asymptotics take the form

$L_1,\dots,L_n$6

and it has been proved that each $L_1,\dots,L_n$7 (Huang, 11 Jan 2025). The first coefficients are

$L_1,\dots,L_n$8

$L_1,\dots,L_n$9

This settles the Mirzakhani–Zograf conjecture that the asymptotic coefficients are polynomials in $\omega_{\mathrm{WP}}$0 rather than merely in $\omega_{\mathrm{WP}}$1 (Huang, 11 Jan 2025).

Related one-point asymptotics refine the behavior of the coefficient ratios in $\omega_{\mathrm{WP}}$2. For fixed $\omega_{\mathrm{WP}}$3,

$\omega_{\mathrm{WP}}$4

and the normalized correlators

$\omega_{\mathrm{WP}}$5

play a central role in the proof (Liu et al., 2011).

6. Cone points, flat-geometric extensions, and later generalizations

One major direction extends Mirzakhani volume from geodesic boundaries to cone points. For cone angles $\omega_{\mathrm{WP}}$6, Anagnostou–Norbury show that formal substitution

$\omega_{\mathrm{WP}}$7

gives the geometric volume

$\omega_{\mathrm{WP}}$8

whenever the non-collision conditions $\omega_{\mathrm{WP}}$9 hold for all $$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$0 (Anagnostou et al., 2022). In this regime the classical polynomials acquire direct hyperbolic meaning for cone surfaces. Examples include

$$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$1

(Anagnostou et al., 2022).

A more recent recursion for compact hyperbolic surfaces with both geodesic boundaries and cone points $$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$2 defines

$$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$3

proves that it extends to a real-analytic function which is a polynomial in

$$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$4

and derives a generalized Mirzakhani recursion from generalized McShane identities. When $$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$5, this reduces exactly to Mirzakhani’s classical boundary recursion (Jiang et al., 12 Mar 2026).

Sauvaget’s flat-geometric construction goes further. For

$$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$6

the paper proposes a definition of $$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$7 for arbitrary $$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$8, with no restriction $$V_{g,n}(L_1,\dots,L_n) = \int_{\mathcal M_{g,n}(L_1,\dots,L_n)} \frac{\omega_{\mathrm{WP}}^{\,3g-3+n}}{(3g-3+n)!},$$9, by realizing it as a limit of Masur–Veech volumes of moduli spaces of $L_1^2,\dots,L_n^2$0-differentials (Sauvaget, 2024). The key ingredients are the projectivized moduli spaces

$L_1^2,\dots,L_n^2$1

the area-metric curvature form

$L_1^2,\dots,L_n^2$2

and limiting cohomology classes

$L_1^2,\dots,L_n^2$3

from which one defines

$L_1^2,\dots,L_n^2$4

When all $L_1^2,\dots,L_n^2$5, this agrees with the classical Weil–Petersson volume (Sauvaget, 2024).

This flat approach recovers Mirzakhani’s recursion in the angle variables: $L_1^2,\dots,L_n^2$6 satisfies exactly Mirzakhani’s recursion, and Du’s observation is that Laplace transform in each boundary-length variable converts this to Mirzakhani’s integral recursion on hyperbolic lengths (Sauvaget, 2024). Because the same construction reproduces the Virasoro constraints, it yields a new proof of the Witten–Kontsevich theorem (Sauvaget, 2024).

Further generalizations include Masur–Veech twists in geometric recursion, where the special twist $L_1^2,\dots,L_n^2$7 produces combinatorial Masur–Veech volume polynomials and deforms the Virasoro constraints and cut-and-join structure (Fuji et al., 2023). This suggests that Mirzakhani volume is best viewed not as an isolated polynomial family, but as part of a broader recursion-theoretic landscape linking Weil–Petersson geometry, flat differentials, and two-dimensional gravity models (Fuji et al., 2023, Sauvaget, 2024).