[Paper Review] Mirzakhani's recursion relations, Virasoro constraints and the KdV hierarchy

Motohico Mulase, Brad Safnuk|ArXiv.org|Jan 9, 2006

Algebraic Geometry and Number TheoryMathematics26 references73 citations

TL;DR

This paper establishes a deep connection between Mirzakhani's recursion for Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces and the Virasoro algebra, showing that the differential form of her recursion is equivalent to a Virasoro constraint on a generating function. It further proves that the generating function for $ψ$ and $\kappa_1$ class intersections is a 1-parameter solution to the KdV hierarchy, reducing to the Witten-Kontsevich generating function at parameter zero.

ABSTRACT

We present in this paper a differential version of Mirzakhani's recursion relation for the Weil-Petersson volumes of the moduli spaces of bordered Riemann surfaces. We discover that the differential relation, which is equivalent to the original integral formula of Mirzakhani, is a Virasoro constraint condition on a generating function for these volumes. We also show that the generating function for psi and kappa_1 intersections on the moduli space of stable algebraic curves is a 1-parameter solution to the KdV hierarchy. It recovers the Witten-Kontsevich generating function when the parameter is set to be 0.

Motivation & Objective

• To establish a differential version of Mirzakhani’s integral recursion relation for Weil-Petersson volumes.
• To show that this differential recursion is equivalent to a Virasoro constraint condition on the volume generating function.
• To demonstrate that the generating function for $\psi$ and $\kappa_1$ class intersections satisfies the KdV hierarchy.
• To clarify the geometric origin of the KdV and Virasoro structures in moduli space geometry, independent of matrix models or large boundary limits.

Proposed method

• Derive a differential form of Mirzakhani’s integral recursion relation by differentiating with respect to boundary length parameters.
• Define a generating function for Weil-Petersson volumes and identify it as a formal power series in variables $t_i$.
• Introduce operators $V_k$ acting on the generating function, which satisfy the Virasoro algebra relations $[V_n, V_m] = (n-m)V_{n+m}$.
• Transform variables $t_i$ to $\tilde{t}_i$ to relate the $V_k$ operators to the standard Virasoro operators $L_k$ used in the Witten-Kontsevich theory.
• Show that the transformed generating function $G(s,t_0,t_1,\ldots)$ is a $\tau$-function for the KdV hierarchy for any fixed $s$.
• Use Faber’s formula and known relations between $\kappa_1$ and $\psi$ classes to confirm the correspondence between the generalized generating function and the KdV hierarchy.

Experimental results

Research questions

• RQ1 Is there a differential formulation of Mirzakhani’s recursion relation that reveals deeper algebraic structures?
• RQ2 Can the Virasoro constraint condition be derived directly from Mirzakhani’s recursion without taking the large boundary length limit?
• RQ3 Does the generating function for $\psi$ and $\kappa_1$ class intersections on $\overline{\mathcal{M}}_{g,n}$ satisfy the KdV hierarchy?
• RQ4 What is the geometric significance of the factor-of-two discrepancy in the Weil-Petersson volume of $\overline{\mathcal{M}}_{1,1}$ between the orbifold and stack-theoretic viewpoints?

Key findings

• The differential version of Mirzakhani’s recursion relation is equivalent to a Virasoro constraint condition on the generating function of Weil-Petersson volumes.
• The generating function for $\psi$ and $\kappa_1$ class intersections is a 1-parameter solution to the KdV hierarchy, with the parameter $s$ encoding the $\kappa_1$-twist.
• When $s = 0$, the generating function reduces to the Witten-Kontsevich generating function, recovering the classical result.
• The Virasoro structure in Mirzakhani’s theory is intrinsic and not an artifact of the large boundary length limit.
• The canonical Weil-Petersson volume of $\overline{\mathcal{M}}_{1,1}$ is $\frac{\pi^2}{12}$ when interpreted as an algebraic stack, resolving a discrepancy of factor 2 from the orbifold volume.
• The transformation $\tilde{t}_i = t_i - (2i-1)!! \alpha_{i-1} s^{i-1}$ maps the $V_k$ operators to the standard $L_k$ operators of the KdV hierarchy, confirming the $\tau$-function property.