--- title: Weil–Petersson Volumes Overview url: https://www.emergentmind.com/topics/weil-petersson-volumes type: topic --- # Weil–Petersson Volumes Overview Weil–Petersson volumes are symplectic volumes of moduli spaces of hyperbolic Riemann surfaces, possibly with geodesic boundary, cusps, or cone points. For the moduli space \(\mathcal M_{g,n}(\mathbf L)\) of genus \(g\) surfaces with \(n\) labelled geodesic boundary components of prescribed lengths \(\mathbf L=(L_1,\dots,L_n)\), a standard normalization is \[ V_{g,n}(\mathbf L)=\int_{\mathcal M_{g,n}(\mathbf L)} \frac{\omega_{WP}^{\,3g-3+n}}{(3g-3+n)!}, \] while for cusped moduli the cohomology class satisfies \([\omega_{WP}]=2\pi^2\kappa_1\), so the volumes are directly expressible in tautological intersection theory on \(\overline{\mathcal M}_{g,n}\) [1103.4674, 2603.07318]. This places Weil–Petersson volume theory at the intersection of hyperbolic geometry, Teichmüller theory, recursion formalisms, asymptotic analysis, and mathematical physics. ## 1. Geometric setting and analytic definition The basic geometric object is a hyperbolic surface of type \((g,n)\), with moduli space \(\mathcal M_{g,n}(\mathbf L)\) for prescribed geodesic boundary lengths, and \(\mathcal M_{g,n}\) in the cusped case \(\mathbf L=\mathbf 0\). In Fenchel–Nielsen coordinates associated to a pants decomposition, one has length variables \(\ell_1,\dots,\ell_{3g-3+n}\) and twist variables \(\tau_1,\dots,\tau_{3g-3+n}\), and the Weil–Petersson symplectic form is \[ \omega_{WP}=\sum_{k=1}^{3g-3+n} d\ell_k\wedge d\tau_k. \] This form is invariant under the mapping class group and descends from Teichmüller space to moduli space [1103.4674]. An analytic description identifies the cotangent space at a pointed curve \((C,p_1,\dots,p_n)\) with \[ T^*_{[C,p_1,\dots,p_n]}\mathcal M_{g,n} \cong H^0\!\big(C,K_C^{\otimes 2}(p_1+\cdots+p_n)\big), \] and the Petersson pairing \[ \langle \eta,\xi\rangle=\int_C \frac{\overline{\eta}\,\xi}{h} \] with \(h\) the complete hyperbolic metric defines the Weil–Petersson Hermitian metric. Its imaginary part is the Kähler form \(\omega_{WP}\). For cone metrics with \(\mathbf L\in i[0,2\pi)^n\), the same formula is used with the conical hyperbolic metric \(h(\mathbf L)\) [2603.07318]. This dual symplectic–analytic description explains why Weil–Petersson volumes admit both geometric and algebro-geometric treatments. In hyperbolic terms they measure the size of moduli spaces; in algebro-geometric terms they encode intersection numbers on compactifications of moduli of curves. ## 2. Polynomiality and intersection-theoretic structure Mirzakhani’s polynomiality theorem states that \(V_{g,n}(\mathbf L)\) is an even polynomial in the boundary lengths, of total degree \(6g-6+2n\). More precisely, \[ V_{g,n}(\mathbf L) = \sum_{|\boldsymbol\alpha|+m=3g-3+n} \frac{(2\pi^2)^m}{2^{|\boldsymbol\alpha|}\,\alpha_1!\cdots \alpha_n!\,m!} \left(\int_{\overline{\mathcal M}_{g,n}} \psi_1^{\alpha_1}\cdots \psi_n^{\alpha_n}\kappa_1^m\right) L_1^{2\alpha_1}\cdots L_n^{2\alpha_n}, \] where \(\psi_i\) are cotangent-line classes and \(\kappa_1\) is the first Mumford–Morita–Miller class [1103.4674]. The cohomological source of this polynomiality is the identity \[ [\omega_{WP}] = 2\pi^2\kappa_1+\frac12 L_1^2\psi_1+\cdots+\frac12 L_n^2\psi_n. \] In the cusped case only the \(\kappa_1\)-term remains, yielding \[ \mathrm{Vol}\big(M^{\mathrm{hyp}(\mathbf 0)}_{g,n}\big) =\frac{(2\pi^2)^{3g-3+n}}{(3g-3+n)!}\int_{\overline{\mathcal M}_{g,n}} \kappa_1^{3g-3+n}. \] The survey literature treats this as the starting point of the modern theory [2603.07318]. Several low-complexity examples already display the structure: \[ V_{0,4}(L_1,L_2,L_3,L_4)=\frac12(L_1^2+L_2^2+L_3^2+L_4^2+4\pi^2), \] \[ V_{1,1}(L)=\frac1{48}(L^2+4\pi^2). \] These formulas show that only even powers of boundary lengths occur, and that coefficients are rational multiples of powers of \(\pi^2\) [1103.4674]. Mirzakhani’s proof passes through symplectic reduction. On an auxiliary moduli space with a marked point on each boundary, the torus action rotating boundary points has moment map \[ \mu(X,p_1,\dots,p_n)=\left(\frac{L_1^2}{2},\dots,\frac{L_n^2}{2}\right), \] and the relevant circle-bundle Chern classes satisfy \(c_1(\mathcal S_k)=\psi_k\). This turns variation in boundary lengths into linear variation of the reduced symplectic form, explaining both polynomiality and the appearance of \(\psi\)-classes [1103.4674]. ## 3. Recursion, Laplace transforms, and spectral curves A major computational tool is Mirzakhani’s recursion formula, derived by integrating a generalized McShane identity over moduli space and unfolding the resulting sums over mapping-class-group orbits. In its structural form, the recursion expresses \(2\frac{\partial}{\partial L_1}(L_1V_{g,n})\) in terms of integrals involving \(V_{g-1,n+1}\), products \(V_{g_1,\cdot}V_{g_2,\cdot}\), and lower-boundary terms \(V_{g,n-1}\). This recursion computes all Weil–Petersson volumes inductively and, because the coefficients of \(V_{g,n}\) are intersection numbers, also gives an algorithm for tautological intersections on \(\overline{\mathcal M}_{g,n}\) [1103.4674]. The Laplace transform reformulation reveals a second structure. Defining \[ W_{g,n}(z_1,\dots,z_n) =\int_0^\infty \cdots \int_0^\infty \prod_{i=1}^n \left(L_i e^{-z_i L_i}\, dL_i\right) \,V_{g,n}(L_1,\dots,L_n), \] Eynard and Orantin showed that the transformed recursion is exactly a matrix-model topological recursion. The corresponding spectral curve is \[ x(z)=z^2,\qquad y(z)=-\frac12\sin(2\pi z), \] and the paper identifies the generating function of Weil–Petersson volumes with a Kontsevich-type tau-function. In the same framework, \[ V_{g,0}=V'_{g,1}(2i\pi), \] so the closed-surface volume can be extracted from the one-boundary volume polynomial [0705.3600]. Recent generalizations keep the recursive backbone while modifying the geometry. For hyperbolic surfaces with tight distinguished boundaries, the tight Weil–Petersson volumes \(T_{g,n,p}(\mathbf L)\) remain polynomial in \(L_1^2,\dots,L_{n+p}^2\), and their generating functions satisfy a deformed topological recursion on the spectral curve \[ x=z^2,\qquad y=2z\,\eta(z;\mu]. \] When the defect parameter \(\mu\) is set to \(0\), this reduces to the classical Weil–Petersson spectral curve and the ordinary Mirzakhani recursion [2307.04708]. These recursive and spectral-curve formalisms explain why Weil–Petersson volumes are simultaneously geometric invariants, generating series for intersection numbers, and outputs of integrable or matrix-model structures. ## 4. Large-genus and large-\(n\) asymptotics For fixed \(n\), the large-genus regime \(g\to\infty\) is governed by rigid ratio asymptotics. One has \[ \frac{V_{g,n+1}}{2g\,V_{g,n}}=\frac{1}{2\pi^2}+O\!\left(\frac1g\right),\qquad \frac{V_{g,n}}{V_{g-1,n+2}}=1+O\!\left(\frac1g\right), \] hence \[ V_{g,n}\asymp (4\pi^2)^{\,2g+n-3}(2g+n-3)! \] up to polynomial factors in \(g\) [1012.2167]. Mirzakhani and Zograf proved a complete asymptotic expansion of the form \[ V_{g,n} \sim (4\pi^2)^{2g+n-3}(2g+n-3)! \left(1+\frac{a_{n,1}}{g}+\frac{a_{n,2}}{g^2}+\cdots\right), \] with coefficients initially known to lie in \(\mathbb Q[\pi^{-2},\pi^2]\). A 2025 result proves the stronger statement conjectured by Mirzakhani and Zograf: the asymptotic coefficients are actually polynomials in \(\mathbb Q[\pi^{-2}]\) [2501.06421]. A distinct asymptotic regime fixes genus \(g\) and lets the number of cusps grow. For fixed \(g\ge 0\) and fixed number of boundary components \(k\), \[ \frac{V_{g,n}(\ell_1,\dots,\ell_k)}{V_{g,n}} = \prod_{i=1}^{k} I_0\!\left(\frac{j_0}{2\pi}\ell_i\right) + O_g\!\left(\frac{1}{n^{1/4}\prod_{i=1}^{k}\cosh\!\left(\frac{\ell_i}{2}\right)}\right), \] as \(n\to\infty\), where \(I_0\) is the modified Bessel function and \(j_0\) is the first positive zero of \(J_0\). This is the large-\(n\) analogue of the large-genus “sinh approximation” and is built on the asymptotic theory of Manin and Zograf [2312.11412]. These asymptotic regimes are structurally different. Large genus produces factorial growth with corrections organized in inverse powers of \(g\); large \(n\) at fixed genus produces an explicit boundary-length dependence through a product of Bessel functions. Together they show that Weil–Petersson volumes admit sharp asymptotic descriptions in more than one direction of moduli-space complexity. ## 5. Cone points, chamber decompositions, and wall-crossing Weil–Petersson volume theory extends beyond geodesic boundaries to hyperbolic cone surfaces. In the notation of the survey literature, \(L_j=i\theta_j\in i(0,2\pi)\) corresponds to a cone point of angle \(\theta_j\), and the existence of a metric requires the Gauss–Bonnet constraint \[ \sum_{j=1}^n \theta_j < 2\pi(2g-2+n). \] For cone angles \(\theta_j\in[0,2\pi)\), the parameter \[ a_j=1-\frac{\theta_j}{2\pi} \] places the problem inside Hassett’s space of weighted pointed stable curves [2603.07318, 2310.13281]. The crucial structural fact is that cone-surface volumes are not globally polynomial in the cone angles. Instead they are piecewise polynomial, with pieces indexed by Hassett stability chambers. For each chamber \(C\), \[ V_{g,C}(i\boldsymbol{\theta}) = \int_{\overline{\mathcal M}_{g,C}} \exp\big(2\pi^2\,\gamma(\mathbf a)\big), \] where \[ \gamma(\mathbf a) = \kappa_1 -\sum_j (1-a_j)^2\psi_j +\sum_{C(i,j)=0}(2a_ia_j-2)D_{i,j}. \] In the maximal chamber \(C^{\mathrm M}\), this recovers Mirzakhani’s polynomial. Crossing a wall \(W_S\) changes the chamber polynomial by an explicit wall-crossing term \[ V_{g,C'}(i\boldsymbol{\theta}) = V_{g,C}(i\boldsymbol{\theta}) + wc_{C,S}(\boldsymbol{\theta}), \] with \[ wc_{C,S}(\boldsymbol{\theta}) = \int_0^{\phi_S} V_{g,C/S}(i\boldsymbol{\theta}_{S^c},i\theta)\; V_{0,C_1}(i\theta,i\boldsymbol{\theta}_S)\; \theta\, d\theta, \qquad \phi_S=\sum_{j\in S}\theta_j-2\pi(|S|-1). \] The resulting volume is continuous across walls, differentiable across walls, and vanishes at \(2\pi\) in light coordinates [2310.13281]. This chamberwise description corrects a common oversimplification. The original Mirzakhani polynomial does not globally extend the actual volume function on all cone-angle chambers. The survey literature records an explicit counterexample, \[ V^{\mathrm{Mirz}}_{0,4}(0,0,i\theta,(2\pi-\varepsilon)i)<0 \quad\text{for } 0<4\pi\varepsilon<\theta^2<4\pi^2, \] showing that naive global analytic continuation fails [2603.07318]. A related wall-crossing phenomenon appears in the moduli of weighted points on \(\mathbb P^1\). For \[ M_{\mathbf d}=(\mathbb P^1)^n\sslash_{\mathbf d} SL(2), \] the Weil–Petersson volume coincides with the CM degree, and the main continuity theorem states that the Fano CM volumes converge to the geometric volume computed by McMullen when \(\sum_i d_i\to 2^{-}\). In the four-point case, \[ \operatorname{Vol}(M_{0,4}) = -2\pi \sum_{I\subset\{1,2,3,4\},\,|I|=2} \left(1-\sum_{i\in I} d_i\right), \] which is recovered as the limit of the Fano expression [2109.05007]. ## 6. Combinatorics, random surfaces, and metric models Weil–Petersson volumes have direct probabilistic consequences for random hyperbolic surfaces sampled with respect to the Weil–Petersson measure. In large genus, asymptotic volume estimates imply that short simple closed geodesics occur with positive probability, while separating systoles are typically much longer: for \(0\log g. \] The same analysis yields a positive lower bound for the Cheeger constant of a random large-genus surface and logarithmic bounds for typical diameter [1012.2167]. In the many-cusps regime, the large-\(n\) asymptotic formula for bordered volumes becomes the engine for new spectral and geodesic-counting results. For fixed genus and large \(n\), a random surface in \(\mathcal M_{g,n}\) has linearly many small Laplacian eigenvalues with high probability, and for any \(L\to\infty\) with \(L=O(\log n)\), \[ \frac{N^s(X,L)}{N^{ns}(X,L)}\to 0 \] with high probability, so most closed geodesics of those lengths are non-simple [2312.11412]. The subject also exhibits exact combinatorial correspondences. The number of border-strip decompositions of the \(2n\times n\) rectangle equals the sequence \(v_{n+3}\) governing the Weil–Petersson volume of \(M_{0,n+3}\): \[ a(n)=v_{n+3}=|BSD(2n\times n,n)|. \] Since \[ Vol_{WP}(M_{0,n})=\frac{\pi^{2(n-3)}v_n}{n!(n-3)!}, \] this identifies a specific volume sequence with a ribbon-tiling enumeration problem [1805.09778]. A different combinatorial model comes from irreducible metric maps. The volumes \(V_{g,n}^{(\beta)}(\alpha_1,\ldots,\alpha_n)\) of essentially \(\beta\)-irreducible metric maps are symmetric polynomials in \(\alpha_i^2\), homogeneous of degree \(3g-3+n\) in \(\beta^2,\alpha_1^2,\ldots,\alpha_n^2\), and satisfy string and dilaton equations. For \(g=0,1\) and \(\beta=2\pi\), \[ V^{(2\pi)}_{g,n}(\alpha_1,\ldots,\alpha_n) = 2^{2-2g-n}\, V^{\mathrm{WP}}_{g,n}\!\left(\sqrt{\alpha_1^2-4\pi^2},\ldots,\sqrt{\alpha_n^2-4\pi^2}\right). \] For \(g\ge 2\) the identity fails, but the generating functions remain closely parallel [2012.11318]. ## 7. Matrix models, JT gravity, supergeometry, and deformations The modern physics interface begins with Jackiw–Teitelboim gravity, where connected amplitudes with \(n\) asymptotic boundaries are genus sums whose geometric building blocks are the bordered Weil–Petersson volumes \(V_{g,n}(b_1,\dots,b_n)\). In one formulation, \[ Z_{g,n}(B_1,\ldots,B_n) =\prod_{i=1}^n \int_0^\infty b_i\, db_i \; V_{g,n}(b_1,\ldots,b_n)\, \prod_{j=1}^n Z_{\mathrm{trumpet}}(B_j,b_j)\, Z_{\mathrm{Sch}}(B_j,b_j). \] In the regime \(g\gg 1\) and \(g\gg b_i\), a conjectured asymptotic formula is \[ V_{g,n}(b_1,\ldots,b_n) \sim 2^{n-1}(2\pi^2)^{2g+n-3}\Gamma(2g+n-3) \prod_{i=1}^n \frac{\sinh(b_i/2)}{b_i}, \] and the universal random-matrix limit of the spectral form factor imposes explicit linear relations among the coefficients of the two-boundary polynomial \[ V_{g,2}(b_1,b_2)=\sum_{n,m\ge 0,\; n+m\le 3g-1} C^{(g)}_{n,m}\, b_1^{2n} b_2^{2m}, \] providing independent constraints on Weil–Petersson volume data [2008.04141, 2208.13802]. Computationally, recent matrix-model methods replace full topological recursion by ordinary differential equations. For \(V_{g,1}(b)\), the combination of the string equation for \(u(x)\) and the Gel'fand–Dikii equation for the diagonal resolvent \(\widehat R(x,E)\) yields an efficient genus-by-genus algorithm. In this framework each \(\widehat R_g(x,E)\) is a total derivative in \(x\), so the volume reduces to boundary data at the Fermi surface after Laplace transform. The method reproduces, for example, \[ V_{1,1}(b)=\frac{4\pi^2+b^2}{48}, \] and extends to \(\mathcal N=1\), \(\mathcal N=2\), and small and large \(\mathcal N=4\) JT supergravity models [2507.18715]. The supergeometric extension replaces ordinary intersection theory by the Norbury class \(\Theta_{g,n}\). The super Weil–Petersson volume is written as \[ V_{g,n}(L_1,\dots,L_n) =2^{\,1-g-n}\int_{\mathcal M_{g,n}} \Theta_{g,n}\, \exp\!\Big(2\pi^2\kappa_1+\frac12\sum_{i=1}^n L_i^2\psi_i\Big), \] and recent work proves a complete large-genus asymptotic expansion generalizing Mirzakhani–Zograf, with asymptotic coefficients polynomial and recursively computable [2501.07848]. Several further deformations show that the theory is still expanding. A \(q\)-analogue of Mirzakhani’s recursion produces symmetric polynomials with coefficients in a \(q\)-zeta algebra and recovers the classical Weil–Petersson volumes in the rescaled limit \(q\to 1\) [2510.12431]. For super-Riemann surfaces with Neveu–Schwarz boundaries and Ramond punctures, a random-matrix construction computes closed-form formulae for \(V^{(2m)}_{g,n}(\{b_i\})\) and identifies a spectral curve whose topological recursion re-derives the same data [2606.09990]. Across these developments, a stable theme persists: Weil–Petersson volumes are simultaneously hyperbolic volumes, tautological intersection numbers, recursive amplitudes, asymptotic invariants, and matrix-model observables. That multiplicity of realizations is the defining feature of the subject. Source: https://www.emergentmind.com/topics/weil-petersson-volumes