arXiv:0705.2086v1 [math.AG] 15 May 2007
OF WEIL-PETERSSON VOLUMES
KEFENG LIU AND HAO XU
Abstract. In this paper, we give a simple proof of Mirzakhani’s recursion formula of Weil- Petersson volumes of moduli spaces of curves using the Witten-Kontsevich theorem. We also briefly describe a very general recursive phenomenon in the intersection theory of moduli spaces of curves. In particular, we present several new recursion formulas for higher degree κclasses.
1. Introduction
Following the notations of Mulase and Safnuk [14], let Mg,n(L) denotes the moduli space of bordered Riemann surfaces withngeodesic boundary components of specified lengthsL= (L1, . . . , Ln) and let Volg,n(L) denotes the Weil-Petersson volume Vol(Mg,n(L)) of moduli spaces of bordered Riemann surfaces. Mirzakhani [12] proved a beautiful recursion formula for these Weil-Petersson volumes.
Volg,n(L) = 1 2L1
X
g1+g2=g I‘
J={1,...,n}
Z L1
0
Z ∞
0
Z ∞
0
xyH(t, x+y)Volg1,n1(x,LI)Volg2,n2(y,LJ)dxdydt
+ 1 2L1
Z L1
0
Z ∞ 0
Z ∞ 0
xyH(t, x+y)Volg−1,n+1(x, y, L2, . . . , Ln)dxdydt + 1
2L1
n
X
j=2
Z L1
0
Z ∞
0
x H(x, L1+Lj) +H(x, L1−Lj)
×Volg,n−1(x, L2, . . . ,Lˆj, . . . , Ln)dxdt, where the kernel function
H(x, y) = 1
1 +e(x+y)/2 + 1 1 +e(x−y)/2. Since
Volg,n(2πL)
(2π2)3g+n−3 = 1 (3g+n−3)!
Z
Mg,n
(κ1+
n
X
i=1
L2iψi)3g+n−3
= X
d0+···+dn
=3g+n−3 n
Y
i=0
1
di!hκd10Y τdiig,n
∞
Y
i=1
L2di i,
by taking derivatives with respect to L = (L1, . . . , Ln) in Mirzakhani’s recursion, Mulase and Safnuk [14, 16] obtained the following recursion formula of intersection numbers which
1
is clearly equivalent to Mirzakhani’s recursion.
(1) (2d1+ 1)!!h
n
Y
j=1
τdjκa1ig
=
n
X
j=2 a
X
b=0
a!
(a−b)!
(2(b+d1+dj)−1)!!
(2dj−1)!! βbhκa−b1 τb+d1+dj−1 Y
i6=1,j
τdiig
+1 2
a
X
b=0
X
r+s=b+d1−2
a!
(a−b)!(2r+ 1)!!(2s+ 1)!!βbhκa−b1 τrτsY
i6=1
τdiig−1
+1 2
X
c+c′=a−b I‘
J={2,...,n}
a
X
b=0
X
r+s=b+d1−2
a!
c!c′!(2r+ 1)!!(2s+ 1)!!βb
× hκc1τrY
i∈I
τdiig′hκc1′τsY
i∈J
τdiig−g′, where
βb = (22b+1−4) ζ(2b)
(2π2)b = (−1)b−12b(22b−2) B2b (2b)!.
This recursion equation is the key formula that Mirzakhani derived and from which she is able to give another proof of the Witten conjecture. Indeed, when a= 0, identity (1) is just the celebrated Witten-Kontsevich theorem [17, 8, 7, 15, 13, 6, 2].
In Section 2, we give a simple proof of this differential version of Mirzakhani’s recursion using Witten-Kontsevich theorem and a simple formula in [5]. In Section 3, we present certain new recursion relations of higher Weil-Petersson volumes in intersection theory of moduli spaces of curves [11].
We remark that, in a previous version of this paper, Theorems 3.2, in Section 3 was stated as a conjecture. However, after we have released that version, we realized that our method can be generalized to prove this conjecture and several other conjectural recursion formulas.
In particular, we have obtained explicit formulae for those interesting tautological constants in this theorem. The detailed proofs of the results discussed in this section as well as other results will appear in [11].
Acknowledgements. We would like to thank Chiu-Chu Melissa Liu for helpful discussions.
2. Proof of Mirzakhani’s Recursion Formula
We first give three simple lemmas that will be used in the proof of Mirzakhani’s recursion formula. The following lemma is first used by Mulase and Safnuk [14].
Lemma 2.1. [14] The constants βb satisfy the following
∞
X
k=0
(−1)kβkxk=
√−2x sin√
−2x. And its inverse
(
∞
X
k=0
(−1)kβkxk)−1 = sin√
−2x
√−2x =
∞
X
k=0
2k (2k+ 1)!xk
Proof. Since
∞
X
n=0
B2n
(2n)!x2n= x 2
ex/2+e−x/2 ex/2−e−x/2 = x
2icot x 2i, we have
∞
X
k=0
βkxk =√ 2x(cot
rx
2 −cot√ 2x) =
√2x sin√
2x.
We see that although the expression ofβbis a little complicated, the inverse of its generating function is rather simple.
The following elementary lemma is crucial in our proof.
Lemma 2.2. Let F(m, n) and G(m, n) be two functions defined on N×N, where N = {0,1,2, . . .} is the set of nonnegative integers. Let αk andβk be real numbers that satisfy
∞
X
k=0
αkxk = (
∞
X
k=0
βkxk)−1. Then the following two identities are equivalent.
G(m, n) =
m
X
k=0
αkF(m−k, n+k), ∀ (m, n)∈N×N F(m, n) =
m
X
k=0
βkG(m−k, n+k), ∀ (m, n)∈N×N
Proof. Assume the first identity holds, then we have
m
X
i=0
βiG(m−i, n+i) =
m
X
i=0
βi
m−i
X
j=0
αjF(m−i−j, n+i+j)
=
m
X
k=0
X
i+j=k
(βiαj)F(m−k, n+k)
=
m
X
k=0
δk0F(m−k, n+k)
=F(m, n).
So we proved the second identity. The proof of the other direction is the same.
The following combinatorial lemma is a special case of a more general formula proved in [5],
Lemma 2.3. [5] Form >0, h
n
Y
j=1
τdjκm1 ig =
m
X
k=1
(−1)m−k k!
X
m1+···+mk=m mi>0
m m1, . . . , mk
h
n
Y
j=1
τdj
k
Y
j=1
τmj+1ig.
Proof. (sketch) Let πn+p,n : Mg,n+p −→ Mg,n be the morphism which forgets the last p marked points and denoteπn+p,n∗(ψn+1a1+1. . . ψan+pp+1) byR(a1, . . . , ap), then we have the formula [1]
R(a1, . . . , ap) = X
σ∈Sp
Y
each cycle c of σ
κP
j∈caj,
where we write any permutation σ in the symmetric groupSp as a product of disjoint cycles.
By a formal combinatorial argument, we get the following inversion result
κa1· · ·κap =
p
X
k=1
(−1)p−k k!
X
{1,...,p}=S1‘
···‘ Sk
Sk6=∅
R(X
j∈S1
aj, . . . ,X
j∈Sk
aj),
from which Lemma 2.3 follows easily.
Let LHS and RHS denote the left and right hand side of Mirzakhani’s recursion (1) re- spectively. Apply lemma 2.3 to both sides of identity (1).
LHS = (2d1+ 1)!!h
n
Y
j=1
τdjκa1ig
= (2d1+ 1)!!
a
X
k=0
(−1)a−k k!
X
m1+···+mk=a mi>0
a m1, . . . , mk
h
n
Y
j=1
τdj
k
Y
j=1
τmj+1ig
=
a
X
k=0
(−1)a−k k!
X
m1+···+mk=a mi>0
a m1, . . . , mk
n
X
j=2
(2(d1+dj)−1)!!
(2dj−1)!! hτd1+dj−1 Y
i6=1,j
τdi
k
Y
i=1
τmi+1ig
+(2(d1+mj) + 1)!!
(2mj+ 1)!!
k
X
j=1
hτd1+mj
n
Y
i=2
τdiY
i6=j
τmi+1ig
+1 2
X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!!hτrτs
n
Y
i=2
τdi
k
Y
i=1
τmi+1ig−1
+1 2
X
I‘
J={2,...,n}
I′‘
J′={1,...,k}
X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!!hτrY
i∈I
τdiY
i∈I′
τmi+1ig′hτsY
i∈J
τdi Y
i∈J′
τmi+1ig−g′
,
where we have used the Witten-Kontsevich theorem.
RHS=
a
X
b=0
βb a!
(a−b)!
n
X
j=2
(2(b+d1+dj)−1)!!
(2dj−1)!!
a−b
X
k=0
(−1)a−b−k k!
X
m1+···+mk=a−b mi>0
a−b m1, . . . , mk
× hτb+d1+dj−1 Y
i6=1,j
τdi
k
Y
i=1
τmi+1ig
+1 2
a
X
b=0
X
r+s=b+d1−2
βb a!
(a−b)!(2r+ 1)!!(2s+ 1)!!
a−b
X
k=0
(−1)a−b−k k!
X
m1+···+mk=a−b mi>0
a−b m1, . . . , mk
× hτrτs
n
Y
i=2
τdi
k
Y
i=1
τmi+1ig−1
+ 1 2
X
I‘
J={2,...,n}
c+c′=a−b
X
r+s=b+d1−2
βb a!
c!c′!(2r+ 1)!!(2s+ 1)!!
×
c
X
k=0
(−1)c−k k!
X
m1+···+mk=c mi>0
c m1, . . . , mk
× hτrY
i∈I
τdi
k
Y
i=1
τmi+1ig′
×
c′
X
k′=0
(−1)c′−k′ k′!
X
m1+···+mk′=c′ mi>0
c′ m1, . . . , mk′
× hτsY
i∈I
τdi
k′
Y
i=1
τmi+1ig−g′.
Let
F(a, d1) :=
a
X
k=0
(−1)k k!
X
m1+···+mk=a mi>0
(2d1+ 1)!!
Qk
j=1mj!h
n
Y
j=1
τdj
k
Y
j=1
τmj+1ig
=
a
X
k=0
(−1)k k!
X
m1+···+mk=a mi>0
1 Qk
j=1mj!
n
X
j=2
(2(d1+dj)−1)!!
(2dj−1)!! hτd1+dj−1 Y
i6=1,j
τdi
k
Y
i=1
τmi+1ig
+
k
X
j=1
(2(d1+mj) + 1)!!
(2mj+ 1)!! hτd1+mj
n
Y
i=2
τdiY
i6=j
τmi+1ig
+1 2
X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!!hτrτs
n
Y
i=2
τdi
k
Y
i=1
τmi+1ig−1
+1 2
X
I‘
J={2,...,n}
I′‘
J′={1,...,k}
X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!!hτrY
i∈I
τdiY
i∈I′
τmi+1ig′hτsY
i∈J
τdi Y
i∈J′
τmi+1ig−g′
and
G(a, d1) :=
n
X
j=2
(2(d1+dj)−1)!!
(2dj−1)!!
a
X
k=0
(−1)k k!
X
m1+···+mk=a mi>0
1 Qk
i=1mi!hτd1+dj−1 Y
i6=1,j
τdi
k
Y
i=1
τmi+1ig
+ 1
2(2r+ 1)!!(2s+ 1)!!
a
X
k=0
(−1)k k!
X
m1+···+mk=a mi>0
1 Qk
j=1mj!hτrτs
n
Y
i=2
τdi
k
Y
i=1
τmi+1ig−1
+1 2
X
I‘
J={2,...,n}
c+c′=a
X
r+s=d1−2
(2r+1)!!(2s+1)!!
c
X
k=0
(−1)k k!
X
m1+···+mk=c mi>0
1 Qk
j=1mj!hτrY
i∈I
τdi
k
Y
i=1
τmi+1ig′
×
c′
X
k′=0
(−1)k′ k′!
X
m1+···+mk′=c′ mi>0
1 Qk
j=1mj!hτsY
i∈I
τdi
k′
Y
i=1
τmi+1ig−g′.
Then it is not difficult to see that
LHS = (−1)aa!F(a, d1)
and
RHS= (−1)aa!
a
X
b=0
(−1)bβbG(a−b, d1+b).
So by lemmas 2.1 and 2.2, in order to prove Mirzakhani’s recursion (1), we need only prove the following identity for a >0,
a
X
b=0
2b
(2b+ 1)!F(a−b, d1+b) =G(a, d1).
It is not difficult to see that,
F(a, d1)−G(a, d1)
=
a
X
k=0
(−1)k k!
X
m1+···+mk=a mi>0
1 Qk
i=1mi!
k
X
j=1
(2(d1+mj) + 1)!!
(2mj + 1)!! hτd1+mj
n
Y
i=2
τdiY
i6=j
τmi+1ig
and
a
X
b=1
2b
(2b+ 1)!F(a−b, d1+b)
=
a
X
b=1
2b (2b+ 1)!
a−b
X
k=0
(−1)k k!
X
m1+···+mk=a−b mi>0
(2(d1+b) + 1)!!
Qk
j=1mj! hτd1+b
n
Y
j=2
τdj
k
Y
j=1
τmj+1ig
=
a−b
X
k=0
(−1)k k!
X
b+m1+···+mk=a b>0,mi>0
1 Qk
j=1mj!b!
(2(d1+b) + 1)!!
(2b+ 1)!! hτd1+b
n
Y
j=2
τdj
k
Y
j=1
τmj+1ig
= 1
k+ 1
a
X
k=0
(−1)k k!
X
m1+···+mk+1=a mi>0
1 Qk+1
i=1 mi!
k+1
X
j=1
(2(d1+mj) + 1)!!
(2mj+ 1)!! hτd1+mj
n
Y
i=2
τdiY
i6=j
τmi+1ig
=−
a
X
k=0
(−1)k k!
X
m1+···+mk=a mi>0
1 Qk
i=1mi!
k
X
j=1
(2(d1+mj) + 1)!!
(2mj + 1)!! hτd1+mj
n
Y
i=2
τdiY
i6=j
τmi+1ig
where in the last equation, we substitute k+ 1 by k.
Summing up the above two identities, we proved
a
X
b=0
2b
(2b+ 1)!F(a−b, d1+b)−G(a, d1) = 0.
So we finished the simple proof of Mirzakhani’s recursion formula for the Weil-Petersson volumes.
3. Higher Weil-Petersson volumes
Note that Mirzakhani, Mulase and Safnuk’s arguments rely heavily on the Wolpert’s for- mula [18]
κ1 = 1 2π2ωW P,
whereωW P is the Weil-Petersson K¨ahler form. We have no similar formulae for higher degree κclasses. So a prioriκ1 may be rather special in the intersection theory. However, as we will see, this is not the case.
First we fix notations as in [5].
Consider the semigroup N∞of sequences m= (m(1), m(2), . . .) wherem(i) are nonnega- tive integers andm(i) = 0 for sufficiently large i.
Let m,t,a1, . . . ,an ∈ N∞, m = Pn
i=1ai, m ≥ t and s := (s1, s2, . . .) be a family of independent formal variables.
|m|:=X
i≥1
im(i), ||m||:=X
i≥1
m(i), sm :=Y
i≥1
sm(i)i , m! :=Y
i≥1
m(i)!,
m t
:=Y
i≥1
m(i) t(i)
,
m a1, . . . ,an
:=Y
i≥1
m(i) a1(i), . . . , an(i)
.
Letb∈N∞, we denote a formal monomial of κ classes by κ(b) :=Y
i≥1
κb(i)i .
The following lemma is a generalization of lemma 2.2. The proof can also be generalized.
Lemma 3.1. Let F(L, n) and G(L, n) be two functions defined on N∞×N, where N = {0,1,2, . . .} is the set of nonnegative integers. LetαL andβL be real numbers depending only on L∈N∞ that satisfy α0 =β0 = 1 and
X
L+L′=b
αLβL′ = 0, b6= 0.
Then the following two identities are equivalent.
G(b, n) = X
L+L′=b
αLF(L′, n+|L|), ∀ (b, n)∈N∞×N F(b, n) = X
L+L′=b
βLG(L′, n+|L|), ∀ (b, n)∈N∞×N
The following theorem is a vast generalization of Mirzakhani’s recursion formula, which further clarifies the combinatorial structure in Mirzakhani’s recursion [11].
Theorem 3.2. There exist (uniquely determined) rational numbers αL depending only on L∈N∞, such that for any b∈N∞ and dj ≥0, the following recursion relation of mixed ψ and κ intersection numbers holds.
(2d1+ 1)!!hκ(b)τd1· · ·τdnig
=
n
X
j=2
X
L+L′=b
αL
b L
(2(|L|+d1+dj)−1)!!
(2dj−1)!! hκ(L′)τ|L|+d1+dj−1
Y
i6=1,j
τdiig
+1 2
X
L+L′=b
X
r+s=|L|+d1−2
αL
b L
(2r+ 1)!!(2s+ 1)!!hκ(L′)τrτsY
i6=1
τdiig−1
+ 1 2
X
L+e+f=b I‘
J={2,...,n}
X
r+s=|L|+d1−2
αL
b L,e,f
(2r+ 1)!!(2s+ 1)!!
× hκ(e)τr
Y
i∈I
τdiig′hκ(f)τs
Y
i∈J
τdiig−g′.
These tautological constants αL can be determined recursively from the following formula X
L+L′=b
(−1)||L|| αL
L!L′!(2|L′|+ 1)!! = 0, b6= 0, namely
αb=b! X
L+L′=b L′6=0
(−1)||L′||−1 αL
L!L′!(2|L′|+ 1)!!, b6= 0, with the initial value α0 = 1.
The proofs of Theorem 3.2 uses Lemma 3.1 and the more general version of Lemma 2.3 expressing κ classes in τ classes [5], then follows the steps of our proof of Mirzakhani’s recursion formula in Section 2. Details will be given in [11].
From Theorem 3.2, we have generalized almost all results of Mulase and Safnuk [14]. These generalizations are contained in [11].
We have computed a table of αL for all |L| ≤ 15 and have written a Maple program implementing theorem 3.2, which can be downloaded at [19].
We have obtained many identities of higher Weil-Petersson volumes [11] which share similar structures as Theorem 3.2. We present some of them below. Please see also [9, 10].
Theorem 3.3. Let b∈N∞, M ≥2g be an even number and dj ≥0.
X
L+L′=b
(−1)||L||
b L
hτ|L|+M n
Y
j=1
τdjκ(L′)ig =
n
X
j=1
hτdj+M−1Y
i6=j
τdiκ(b)ig
−1 2
X
L+L′=b n=I‘
J M−2
X
j=0
(−1)j b
L
hτjY
i∈I
τdiκ(L)ig′hτM−2−j
Y
i∈J
τdiκ(L′)ig−g′,
where κ(b) :=Q
i≥1κb(i)i is a formal monomial of κ classes.
Theorem 3.4. Forb∈N∞ and dj ≥0, X
L+L′=b
(−1)||L||
b L
hτ|L|
n
Y
j=1
τdjκ(L′)ig=
n
X
j=1
hτdj−1Y
i6=j
τdiκ(b)ig,
and
X
L+L′=b
(−1)||L||
b L
hτ|L|+1
n
Y
j=1
τdjκ(L′)ig = (2g−2 +n)h
n
Y
j=1
τdjκ(b)ig.
Note that Theorem 3.4 generalizes the results in [3]. Theorems 3.3 and 3.4 both follow easily by applying the formula in [5].
References
[1] E. Arbarello and M. Cornalba,Combinatorial and algebro-geometric cohomology classes on the Moduli Spaces of Curves, J. Algebraic Geometry,5(1996), 705-709.
[2] L. Chen, Y. Li, K. Liu,Localization, Hurwitz numbers and the Witten conjecture, math.AG/0609263.
[3] Norman Do and P. Norbury,Weil-Petersson volumes and cone surfaces, math.AG/0603406.
[4] E. Getzler, R. Pandharipande,Virasoro constraints and the Chern classes of the Hodge bundle, Nuclear Phys. B530(1998), no. 3, 701–714.
[5] R. Kaufmann, Yu. Manin, and D. Zagier, Higher Weil-Petersson volumes of moduli spaces of stable n-pointed curves, Comm. Math. Phys. 181 (1996), 763-787.
[6] M. Kazarian, S. Lando, An algebro-geometric proof of Witten’s conjecture, J. Amer. Math. Soc., to appear.
[7] Y.-S. Kim and K. Liu,A simple proof of Witten conjecture through localization, arXiv:math/0508384.
[8] M. Kontsevich,Intersection theory on the moduli space of curves and the matrix Airy function. Comm.
Math. Phys.147(1992), no. 1, 1–23.
[9] K. Liu and H. Xu, New properties of the intersection numbers on moduli spaces of curves, math.AG/0609367.
[10] K. Liu and H. Xu, The n-point functions for intersection numbers on moduli spaces of curves, math.AG/0701319.
[11] K. Liu and H. Xu,Higher Weil-Petersson volumes and tautological constants, in preparation.
[12] M. Mirzakhani, Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces, Invent. Math. 167 (2007), 179–222.
[13] M. Mirzakhani,Weil-Petersson volumes and intersection theory on the moduli space of curves, J. Amer.
Math. Soc. 20 (2007), 1–23.
[14] M. Mulase and B. Safnuk,Mirzakhani’s recursion relations, Virasoro constraints and the KdV hierarchy, math.AG/0601194.
[15] A. Okounkov and R. Pandharipande,Gromov-Witten theory, Hurwitz numbers, and matrix models, I, math.AG/0101147.
[16] B. Safnuk,Integration on moduli spaces of stable curves through localization, math.DG/0704.2530.
[17] E. Witten, Two-dimensional gravity and intersection theory on moduli space, Surveys in Differential Geometry, vol.1, (1991) 243–310.
[18] S. Wolpert,On the homology of the moduli space of stable curves, Ann. Math., 118 (1983) 491–523.
[19] H. Xu,A Maple program to compute higher Weil-Petersson volumes by theorem 3.2 and tables of tauto- logical constants, available at
http://www.cms.zju.edu.cn/news.asp?id=1214&ColumnName=pdfbook&Version=english
Center of Mathematical Sciences, Zhejiang University, Hangzhou, Zhejiang 310027, China;
Department of Mathematics,University of California at Los Angeles, Los Angeles, CA 90095- 1555, USA
E-mail address: [email protected], [email protected]
Center of Mathematical Sciences, Zhejiang University, Hangzhou, Zhejiang 310027, China E-mail address: [email protected]
