arXiv:1103.5136v2 [math.AG] 29 Aug 2011
KEFENG LIU AND HAO XU
Abstract. In this note, we answer a question of Mirzakhani on asymptotic behavior of the one-point volume polynomial of moduli spaces of curves. We also present some applications of Mirzakhani’s asymptotic formulae of Weil-Petersson volumes.
1. Introduction
We will follow Mirzakhani’s notation in [Mir2]. Ford= (d1,· · · , dn) withdinon-negative integers and
|d|=d1+· · ·+dn<3g−3 +n, letd0= 3g−3 +n− |d|and define (1) [τd1· · ·τdn]g,n=
Qn
i=1(2di+ 1)!!22|d|(2π2)d0 d0!
Z
Mg,n
ψd11· · ·ψndnκd10,
where κ1 = ω/2π2 is the first Mumford class on Mg,n [AC]. Note that Vg,n = [τ0,· · ·τ0]g,n is the Weil-Peterson volume ofMg,n.
Mirzakhani’s volume polynomial is given by Vg,n(2L) = X
|d|≤3g−3+n
[τd1· · ·τdn]g,n
L2d1 1
(2d1+ 1)!· · · L2dnn (2dn+ 1)!.
LetSg,n be an oriented surface of genusgwithnboundary components. LetMg,n(L1, . . . , Ln) be the moduli space of hyperbolic structures onSg,n with geodesic boundary components of lengthL1, . . . , Ln. Then we know that the Weil-Petersson volume Vol(Mg,n(L1, . . . , Ln)) equalsVg,n(L1, . . . , Ln).
In particular, whenn= 1, Mirzakhani’s volume polynomial can be written as Vg(2L) =
3g−2X
k=0
ag,k
(2k+ 1)!L2k, whereag,k= [τk]g,1 are rational multiples of powers ofπ.
(2) ag,k= (2k+ 1)!!23g−2+2kπ6g−4−2k (3g−2−k)!
Z
Mg,1
ψ1kκ3g−2−k1 .
Let γ be a separating simple closed curve on Sg and Sg(γ) = Sg1,1×Sg2,1 the surface obtained by cuttingSg alongγ. Then for anyL >0, we have
(3) Vol(M(Sg(γ), ℓγ =L)) =Vg1(L)·Vg2(L),
whereM(Sg(γ), ℓγ=L) is the moduli space of hyperbolic structures onSg(γ) with the length ofγequal toL.
There are many works on the computation of Weil-Petersson volumes (e.g. [Fa, Gr, KMZ, MZ, Pe, ST, Wo, Zo]). In a recent paper [Mir2], Mirzakhani proved some interesting estimates on the asymptotics of Weil-Petersson volumes and found important applications in the geometry of random hyperbolic surfaces.
In particular, Mirzakhani proved the following asymptotic relations of the coefficients of the one-point volume polynomial.
Theorem 1.1. (Mirzakhani [Mir2])For given i≥0.
g→∞lim ag,i+1
ag,i
= 1, lim
g→∞
ag,3g−2
ag,0 = 0.
Key words and phrases. Weil-Petersson volumes, moduli spaces of curves.
MSC(2010)14H10, 14N10.
1
Mirzakhani asked what is the asymptotics ofag,k/ag,k+1 for an arbitraryk (which can grow with g).
The following result gives a partial answer to Mirzakhani’s question.
Theorem 1.2. For any given k≥0, there is a large genus asymptotic expansion
(4) ag,3g−2−k
gkag,3g−2
= π2k 5kk!
1 + b1,k
g +b2,k
g2 +· · ·
.
We have b1,k = 141k2− 47k, ∀k ≥0. In fact, for any given k ≥0, the series in the bracket of (4) is a rational function of g.
Theorem 1.2 will be proved in Section 2. Now we present a numerical test of (4). Denote byQk,g the ratio of the left-hand side and the truncated right-hand side of (4).
(5) Qk,g=ag,3g−2−k
gkag,3g−2 · 5kk!
π2k .
1 +b1,k
g
. Then we can see from Table 1 thatQk,g tends to 1 asggoes to infinity.
Table 1. Values of Qk,g(keep 6 decimal places) k g= 20 g= 40 g= 60 g= 80 g= 100 1 1.000438 1.000106 1.000047 1.000026 1.000016 2 1.001334 1.000326 1.000144 1.000080 1.000051 3 1.002300 1.000563 1.000248 1.000139 1.000089 4 1.003090 1.000759 1.000335 1.000188 1.000120
AcknowledgementsThe second author thanks Professor M. Mirzakhani for very helpful communica- tions.
2. Asymptotics of intersection numbers In this section, we use Witten’s notation
(6) hτd1· · ·τdnκa1· · ·κamig:=
Z
Mg,n
ψ1d1· · ·ψdnnκa1· · ·κam. For convenience, we denote the normalized tau function as
(7) hτd1· · ·τdniwg :=
Yn
i=1
(2di+ 1)!!hτd1· · ·τdnig.
We have the following forms of the celebrated Witten-Kontsevich theorem [Wi, Ko]. The first one is called the DVV formula (see [DVV])
(8) (2d1+ 1)!!hτd1· · ·τdnig= Xn
j=2
(2d1+ 2dj−1)!!
(2dj−1)!! hτd2· · ·τdj+d1−1· · ·τdnig +1
2 X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!!hτrτsτd2· · ·τdnig−1
+1 2
X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!! X
{2,···,n}=I` J
hτr
Y
i∈I
τdiig′hτs
Y
i∈J
τdiig−g′ which is equivalent to the Virasoro constraint.
We also have the following recursive formula from integrating the first KdV equation of the Witten- Kontsevich theorem (see Proposition 3.3 in [LX1])
(9) (2g+n−1)hτ0
Yn
j=1
τdjig= 1 12hτ04
Yn
j=1
τdjig−1+1 2
X
n=I`J
hτ02Y
i∈I
τdiig′hτ02Y
i∈J
τdiig−g′.
Definition 2.1. The following generating function F(x1,· · ·, xn) =
X∞
g=0
X
Pdi=3g−3+n
hτd1· · ·τdnig Yn
i=1
xdii is called then-point function.
In particular, we have Witten’s one-point function F(x) = 1
x2exp x3
24
, which is equivalent tohτ3g−2ig= 1/(24gg!).
The two-point function has a simple explicit form due to Dijkgraaf (see [Fa2]) F(x1, x2) = 1
x1+x2
exp x31
24 +x32 24
∞
X
k=0
k!
(2k+ 1)!
1
2x1x2(x1+x2) k
. A general study of the n-point function can be found in [LX3].
From Dijkgraaf’s two-points function, it is not difficult to see that
glim→∞
hτkτ3g−1−kik gkhτ3g−2ig = lim
g→∞
k!
24g−k(2k+ 1)!2k(g−k)!·24g·g!
gk
= k!24k (2k+ 1)!2k
= 6k
(2k+ 1)!!. In fact, we have the following more general result.
Proposition 2.2. For any fixed set d= (d1, . . . , dn)of non-negative integers, the limit of the following quantity
(10) C(d1,· · ·, dn;g) =hτd1· · ·τdnτ3g−2+n−|d|ig (6g)|d|hτ3g−2ig
Yn
i=1
(2di+ 1)!!
exists and we have limg→∞C(d1, . . . , dn;g) = 1.
Proof. We use induction on|d|. When d1=· · ·=dn = 0, it is obviously true by the string equation.
From (9) and the string equation, we have that for anyk= (k1, . . . , km) with|k|<|d|, h
Ym
i=1
τkiτ3g−5+m−|d|ig−1≤ hτ04 Ym
i=1
τkiτ3g−1+m−|d|ig−1
≤12(2g+m)hτ0
Ym
i=1
τkiτ3g−1+m−|d|ig (11)
=O g· h Ym
i=1
τkiτ3g−1+m−|d|ig
! .
Heref1(g) =O(f2(g)) means there exists a constantC >0 independent ofg such that f1(g)≤Cf2(g).
Note that the last equation in (11) is obtained by induction, since|k|<|d|.
Let us expandhτd1· · ·τdnτ3g−2+n−|d|ig using (8). From (11) and by induction, we see that the second term in the right-hand side of (8) has the estimate
(12) 1
2 X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!!hτrτs
Yn
i=2
τdiτ3g−2+n−|d|ig−1=O g|d|−1
.
Similarly, the third term in the right-hand side of (8) has the estimate
(13) X
r+s=d1−2
(2r+ 1)!!(2s+ 1)!! X
{2,···,n}=I`J
hτr
Y
i∈I
τdiig′hτs
Y
i∈J
τdiτ3g−2+n−|d|ig−g′ =O g|d|−2
. So by induction, we have
g→∞lim C(d1, . . . , dn;g) = lim
g→∞
Xn
j=2
(2dj+ 1)C(d2,· · · , dj+d1−1,· · ·dn;g) 6g
+ lim
g→∞
(2d1+ 2(3g−2 +n− |d|)−1)!!
(2(3g−2 +n− |d|)−1)!! ·C(d2,· · ·, dn;g) (6g)d1 (14)
=1.
Corollary 2.3. We have the following large genus asymptotic expansion
(15) C(d1, . . . , dn;g) = 1 +C1(d1, . . . , dn;g)
g +C2(d1, . . . , dn;g) g2 +· · · , where the coefficientsCj(d1, . . . , dn;g)are determined recursively by induction on|d|, (16) C(d1, . . . , dn;g) = 1
6g Xn
j=2
(2dj+ 1)C(d2, . . . , dj+d1−1, . . . , dn;g)
+ Qd1
j=1(g+2n−2|d|+2j−5
6 )
gd1 C(d2, . . . , dn;g) +(g−1)|d|−2 3g|d|−1
X
r+s=d1−2
C(r, s, d2, . . . , dn;g−1)
+ X
r+s=d1−2
X
{2,···,n}=I` J
24g′6|J|+1−n−3g′hτr
Y
i∈I
τdiiwg′
×(g−g′)|J|+1−n+|d|−3g′Qg′
j=1(g+ 1−j)
g|d| C(s, dJ;g−g′), wheredJ denote the set{di}i∈J.
In fact, the expansionC(d1, . . . , dn;g)has only finite nonzero terms, i.e. Cj(d1, . . . , dn;g) = 0whenj is large enough.
Proof. The recursive relation follows from the asymptotic expansions of equations (12), (13) and (14).
The last assertion will follow from Corollary 2.6.
Remark 2.4. Whenn= 0 or|d|= 0, we have
(17) C(∅;g) =C(0, . . . ,0;g) = 1.
By the string and dilaton equations, we have C(0, d2, . . . , dn;g) = 1
6g Xn
j=2
(2dj+ 1)C(d2, . . . , dj−1, . . . , dn;g) +C(d2, . . . , dn;g), (18)
C(1, d2, . . . , dn;g) = (1 +n−2
2g )C(d2, . . . , dn;g).
(19)
So we may assumedi ≥2,∀iin C(d1, . . . , dn;g).
Remark 2.5. In largegexpansion, we have
(20) 1
(g−m)k = X∞
i=1
mi−1 gi
!k
for any givenm.
Whend1, . . . , d2≥2, from (16) we can deduce that (21) C1(d1, . . . , dn;g) =−|d|2
6 +(n−1)|d| 3 +n2
12−5n 12.
In particular,
C1(d1;g) =−d1
6 −1 3, C1(d1, d2;g) =−1
6(d1+d2)2+1
3(d1+d2)−1 2. For the full expansion ofC(d1, . . . , dn;g), let us look at some examples
C(1;g) =C(1,1;g) = 1− 1 2g, C(2;g) = 1−1
g + 5 12g2, C(3;g) = 1−11
6g + 95
72g2 − 35 72g3, C(2,2;g) = 1−11
6g + 17 12g2 − 7
12g3.
In fact, we will see in a moment that the expansion (15) ofC(d1, . . . , dn;g) is a polynomial in 1/g. Let (22) Pd1,...,dn(g) = (6g)|d|C(d1, . . . , dn;g).
The recursive formula (16) in Corollary 2.3 becomes (23) Pd1,...,dn(g) =
Xn
j=2
(2dj+ 1)Pd2,...,dj+d1−1,...,dn(g)
+
d1
Y
j=1
(6g+ 2n−2|d|+ 2j−5)Pd2,...,dn(g) + 12g X
r+s=d1−2
Pr,s,d2,...,dn(g−1)
+ X
r+s=d1−2
X
{2,···,n}=I` J
24g′hτr
Y
i∈I
τdiiwg′ g′
Y
j=1
(g+ 1−j)Ps,dJ(g−g′), Corollary 2.6. For any fixed setd= (d1, . . . , dn)of non-negative integers,
Pd1,...,dn(g) = hτd1· · ·τdnτ3g−2+n−|d|ig hτ3g−2ig
Yn
i=1
(2di+ 1)!!
is a polynomial in Z[g] with highest-degree term 6|d|g|d|. These polynomials Pd1,...,dn(g) are determined uniquely by the recursive relation (23) andP∅(g) =P0,...,0(g) = 1.
Proof. By Theorem 4.3(iv) and Proposition 4.4 in [LX4], we have 24g′g′!hτr
Y
i∈I
τdiiwg′ ∈Z.
Sinceg′! dividesQg′
j=1(g+ 1−j), it is not difficult to see thatPd1,...,dn(g) are polynomials with integer
coefficients by induction using (23).
We introduce some notation. Consider the semigroupN∞ of sequencesm= (m(1), m(2), . . .) where m(i) are nonnegative integers andm(i) = 0 for sufficiently largei. We also use (1m(1)2m(2). . .) to denote m.
Letm,a1, . . . ,an∈N∞,m=Pn i=1ai.
|m|:=X
i≥1
im(i) ||m||:=X
i≥1
m(i)
m a1, . . . ,an
:=Y
i≥1
m(i) a1(i), . . . , an(i)
. Letm∈N∞, we denote a formal monomial ofκclasses by
κ(m) :=Y
i≥1
κm(i)i .
The following remarkable identity was proved in [KMZ].
(24) h
Yn
j=1
τdjκ(m)ig=
||m||
X
p=0
(−1)||m||−p p!
X
m=m1+···+mp
mi6=0
m m1, . . . ,mp
h
Yn
j=1
τdj
Yp
j=1
τ|mj|+1ig.
Proof of Theorem 1.2. For anyk≥1, by definition we have
(25) ag,3g−2−k
gkag,3g−2
= (6g−3−2k)!!26g−4−2k(2π2)khτ3g−2−kκk1ig/k!
gk(6g−3)!!26g−4hτ3g−2ig . Using (24) to expandhτ3g−2−kκk1ig and taking limit asg→ ∞, we get by Proposition 2.2
g→∞lim
ag,3g−2−k
gkag,3g−2 = lim
g→∞
(6g−3−2k)!!(2π2)khτ3g−2−kτ2kig gk(6g−3)!!22kk!hτ3g−2ig
= π2k 5kk! lim
g→∞
15khτ3g−2−kτ2kig (6g)2khτ3g−2ig
= π2k 5kk! lim
g→∞C(2, . . . ,2
| {z }
k
;g)
= π2k 5kk!.
So we get the leading term in the right-hand side of (4).
Now we compute the coefficient of 1/gin the asymptotic expansion ofag,3g−2−k/(gkag,3g−2). We have
(26) ag,3g−2−k gkag,3g−2 =
(6g−3−2k)!!π2k
hτ3g−2−kτ2kig−k(k−1)2 hτ3g−2−kτ2k−2τ3ig
gk(6g−3)!!2kk!hτ3g−2ig +O(1/g2)
= π2k 5kk!
(6g)k Qk
j=1(6g−2j−1)C(2, . . . ,2
| {z }
k
;g)
−15
14k(k−1)· (6g)k−1 Qk
j=1(6g−2j−1)C(2, . . . ,2
| {z }
k−2
,3;g)
+O(1/g2).
By (21), we have
(27) C1(2, . . . ,2
| {z }
k
;g) = 1
12k2−13 12k.
Substituting it into (26), the coefficient of 1/g in the asymptotic expansion of ag,3g−2−k/(gkag,3g−2) equals
(28) C1(2, . . . ,2
| {z }
k
;g) + Xk
j=1
1 + 2j 6 −15
14k(k−1)×1 6 = 1
14k2−4 7k.
So we get the second term in the right-hand side of (4), namely
(29) ag,3g−2−k
gkag,3g−2
= π2k 5kk!
1 + 1
14k2−4 7k1
g +O(1/g2)
.
Since there are only finite number of terms in the right-hand side of (24), from the above proof it is not difficult to see that for eachk ≥1, the series in the bracket of (29) is a rational function of g. So we conclude the proof of Theorem 1.2.
Example 2.7. Whenk= 1, we have ag,3g−3
gag,3g−2
=π2 5 · 6g
6g−3C(2;g)
=π2
5 ·12g2−12g+ 5 6g(2g−1)
=π2 5
1− 1 2g+
X∞
j=2
1 3·2j−1gj
. Whenk= 2, we have
ag,3g−4
g2ag,3g−2 =π4 50
(6g)2
(6g−3)(6g−5)C(2,2;g)−15
7 · 6g
(6g−3)(6g−5)C(3;g)
=π4
50· (g−1)(1008g3−1200g2+ 888g−175) 84g2(2g−1)(6g−5)
=π4 50
1− 6
7g+ 43 84g2+· · ·
.
These equations can be verified in low genera using the following data:
a1,0= π2
12, a1,1= 1
2, a2,0=29π8
192 , a2,1=169π6
120 , a2,2=139π4 12 , a2,3= 203π2
3 , a2,4= 210, a3,0=9292841π14
4082400 , a3,1=8497697π12 388800 , a3,2= 8983379π10
45360 , a3,3=127189π8
81 , a3,4=94418π6
9 ,
a3,5= 166364π4
3 , a3,6=616616π2
3 , a3,7= 400400.
Corollary 2.8. For any m = (m(1), m(2), . . .) ∈N∞, we have the following limit equation involving higher degree κclasses
(30) lim
g→∞
hQn
i=1τdiτ3g−2+n−|d|−|m|κ(m)ig
(6g)|d|+|m|+||m||hτ3g−2ig = m!
||m||!Qn
i=1(2di+ 1)!!Q
j≥1((2j+ 3)!!)m(j).
Proof. This identity follows directly from Proposition 2.2 and equation (24).
3. Asymptotics of Weil-Petersson volumes
The large genus asymptotics of Weil-Petersson volumes was conjectured by Zograf based on his nu- merical experiments [Zo].
Conjecture 3.1. (Zograf )For any fixedn≥0
Vg,n= (4π2)2g+n−3(2g−3 +n)! 1
√gπ
1 +cn
g +O 1
g2
asg→ ∞, wherecn is a constant depending only onn.
Note that the asymptotic behavior ofVg,n for fixedg and largenhas been determined by Manin and Zograf [MZ]. Next We recall Mirzakhani’s work in [Mir2]. We use the notation introduced in Section 1.
Forn≥0, define
an=ζ(2n)(1−21−2n).
We have the following properties ofan.
Lemma 3.2. (Mirzakhani [Mir2]){an}∞n=1is an increasing sequence. Moreover we havelimn→∞an = 1,and
(31) an+1−an ≍1/22n.
Here f1(n)≍f2(n)means that there exists a constantC >0 independent ofn such that 1
Cf2(n)≤f1(n)≤Cf2(n).
We have the following differential form of Mirzakhani’s recursion formula [Mir1, MS] (see also [Sa, LX1, LX2, EO]).
(32) [τd1, . . . , τdn]g,n= 8
Xn
j=2
Ajd+Bd+Cd
, where
(33) Ajd=
d0
X
L=0
(2dj+ 1)aL[τd1+dj+L−1, Y
i6=1,j
τdi]g,n−1,
(34) Bd=
d0
X
L=0
X
k1+k2=L+d1−2
aL[τk1τk2
Y
i6=1
τdi]g−1,n+1, and
(35) Cd= X
I∐J={2,...,n}
0≤g′ ≤g
d0
X
L=0
X
k1+k2=L+d1−2
aL[τk1
Y
i∈I
τdi]g′,|I|+1×[τk2
Y
i∈J
τdi]g−g′,|J|+1.
Lemma 3.3. Given d= (d1, . . . , dn)andg, n≥0, the following recursive formulas hold (36) [τ0τ1
Yn
i=1
τdi]g,n+2= [τ04 Yn
i=1
τdi]g−1,n+4+ 6 X
g1 +g2 =g {1,...,n}=I∐J
[τ02Y
i∈I
τdi]g1,|I|+2[τ02Y
i∈J
τdi]g2,|J|+2,
(37) (2g−2 +n)[
Yn
i=1
τdi]g,n=1 2
X
L≥0
(−1)L(L+ 1) π2L
(2L+ 3)![τL+1
Yn
i=1
τdi]g,n+1,
(38)
Xn
j=1
(2dj+ 1)[τdj−1
Y
i6=j
τdi]g,n=X
L≥0
(−π2)L 4(2L+ 1)![τL
Yn
i=1
τdi]g,n+1.
The above three equations in such forms were stated at Section 3 of [Mir2]. Mirzakhani proved the following remarkable asymptotic formulae based on the data computed by Zograf [Zo].
Theorem 3.4. (Mirzakhani [Mir2]) Letn≥0. Then we have
(39) Vg,n+1
2gVg,n
= 4π2+O(1/g) and
(40) Vg,n
Vg−1,n+2 = 1 +O(1/g).
Following Mirzakhani’s notation, denote
[x]g,n:= [τx1. . . τxn]g,n, wherex= (x1, . . . , xn).
Lemma 3.5. (Mirzakhani [Mir2]) In terms of the above notation, for x = (x1, . . . , xl), and y = (y1, . . . , ym), we have
(41) X
g1+g2=g
[x]g1,l×[y]g2,m=o(Vg,n−2), wheren=l+m.
The above lemma is a weaker form of Lemma 3.3 in [Mir2].
Lemma 3.6. Whend1>0, we have
(42) [τd1· · ·τdn]g,n<[τd1−1τd2· · ·τdn]g,n.
Proof. We expand both sides of the inequalities using (32). Since each term in Ajd,Bd,Cd is positive, by comparing corresponding terms in the expansion, the inequality (42) follows from Lemma 3.2 that
{an}∞n=1is a strictly increasing sequence.
Corollary 3.7. For any fixed setd= (d1, . . . , dn)of non-negative integers, we have (43) [τd1· · ·τdn]g,n≤Vg,n.
We can now prove the following Zograf’s conjecture [Zo] giving large genus ratio of Weil-Peterson volumes and intersection numbers involvingψ-classes. The proof is essentially due to Mirzakhani [Mir2].
Theorem 3.8. For any fixedn >0 and a fixed set d= (d1,· · ·, dn)of non-negative integers, we have
(44) lim
g→∞
[τd1· · ·τdn]g,n
Vg,n
= 1.
Proof. We use induction on|d|. We need only prove the following limit equation
(45) lim
g→∞
[τd1· · ·τdn]g,n
[τd1−1τd2· · ·τdn]g,n −1
= 0 By induction, we may assume
(46) lim
g→∞
[τd1−1τd2· · ·τdn]g,n
Vg,n
= 1.
So in order to prove (45), we need only prove that
(47) lim
g→∞
[τd1−1τd2· · ·τdn]g,n−[τd1· · ·τdn]g,n
Vg,n
= 0.
By comparing each term in Mirzakhani’s recursion formula (32) for [τd1−1τd2· · ·τdn]g,nand [τd1· · ·τdn]g,n, this actually follows from (43), (31), Theorem 3.4 and Lemma 3.5. The argument is similar to the proof
of Theorem 3.5 in [Mir2]. We omit the details.
Remark 3.9. We thank Mirzakhani [Mir3] for pointing out that Zograf was able to prove Theorem 3.8 using the method of [MZ].
Lemma 3.10. When3g+n−2>0, we have
(48) Vg,n+1≤ π2
6 [τ1τ0n]g,n+1. The equality holds only when(g, n) = (0,3)or (1,0).
Proof. First note that the coefficients in (38) π2L
4(2L+ 1)!
L≥1
is a decreasing sequence.
From Lemma 3.6, we know [τLQn
i=1τdi]g,n+1 is a decreasing sequence inL.
Taking all di = 0 in (38), the left-hand side becomes 0. Writing down the first two terms of the right-hand side, we get
1
4Vg,n+1− 2π2
24·3[τ1τ0n]g,n+1 <0,
which is just (48).
Remark 3.11. The inequality (48) can also be obtained using Mirzakhani’s recursion formula (32). Let f(x) =ζ(2x)(1−21−2x), we can check thatf′′(x)<0 whenx≥1. This implies that{an+1−an}n≥1is a decreasing sequence. By Mirzakhani’s recursion formula (32), we have
(49) Vg,n+1−[τ1τ0n]g,n+1≤ a1−a0
a1
Vg,n+1.
Substituting a0= 12 anda1=π122, we get
[τ1τ0n]g,n+1≥ 6
π2Vg,n+1. Corollary 3.12. For anyg, n≥0, we have
(50) Vg,n+1>12(2g−2 +n)Vg,n and Vg,n+1< C(2g−2 +n)Vg,n, whereC= 10−20ππ22 = 1513.794. . ..
Proof. It is not difficult to see that the coefficients in (37) 1
2(L+ 1) π2L (2L+ 3)!
L≥0
is a decreasing sequence.
Taking alldi= 0 in (37) and keeping only the first term in the right-hand side, we get (2g−2 +n)Vg,n ≤ 1
12[τ1τ0n]g,n+1< 1
12Vg,n+1, which is the first inequality in (50).
If we take first two terms in the right-hand side of (37) and apply Lemma 3.10, we get (2g−2 +n)Vg,n≥ 1
12[τ1τ0n]g,n+1− π2
120[τ2τ0n]g,n+1
>(1 12− π2
120)[τ1τ0n]g,n+1
≥ 10−π2 120 · 6
π2Vg,n+1
= 10−π2 20π2 Vg,n+1,
which is the second inequality in (50).
The inequalities (50) imply that 12≤lim inf
g→∞
Vg,n(g)+1
(2g−2 +n(g))Vg,n(g) ≤lim sup
g→∞
Vg,n(g)+1
(2g−2 +n(g))Vg,n(g) ≤ 20π2 10−π2, wheren(g)→ ∞asg→ ∞.
References
[AC] E. Arbarello and M. Cornalba,Combinatorial and Algebro-Geometric cohomology classes on the Moduli Spaces of Curves, J. Algebraic Geom.5(1996), 705–749.
[DVV] R. Dijkgraaf, H. Verlinde, and E. Verlinde,Topological strings ind <1, Nuclear Phys. B 352 (1991), 59–86.
[EO] B. Eynard and N. Orantin, Weil-Petersson volume of moduli spaces, Mirzakhani’s recursion and matrix models, math-ph/0705.3600.
[Fa] C. Faber,Algorithms for computing intersection numbers on moduli spaces of curves, with an application to the class of the locus of Jacobians, in New Trends in Algebraic Geometry (K. Hulek, F. Catanese, C. Peters and M. Reid, eds.), 93–109, Cambridge University Press, 1999.
[Fa2] C. Faber,A conjectural description of the tautological ring of the moduli space of curves. In Moduli of curves and abelian varieties, Aspects Math., E33, Vieweg, Braunschweig, Germany, 1999. 109–129.
[Gr] S. Grushevsky, An explicit upper bound for Weil-Petersson volumes of the moduli spaces of punctured Riemann surfaces, Math. Ann. 321 (2001), 1–13.
[KMZ] 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.
[Ko] M. Kontsevich,Intersection theory on the moduli space of curves and the matrix Airy function. Comm. Math. Phys.
147(1992), no. 1, 1–23.
[LX1] K. Liu and H. Xu,Recursion formulae of higher Weil-Petersson volumes, Int. Math. Res. Not. 2009, 835–859 (2009).
[LX2] K. Liu and H. Xu,Mirzakhani’s recursion formula is equivalent to the Witten-Kontsevich theorem, Ast´erisque,328 (2009), 223–235.
[LX3] K. Liu and H. Xu,The n-point functions for intersection numbers on moduli spaces of curves, arXiv:math/0701319.
[LX4] K. Liu and H. Xu,Intersection numbers and automorphisms of stable curves, Michigan Math. J.58(2009), 385–400.
[MZ] Yu. Manin and P. Zograf,Invertible cohomological field theories and Weil-Petersson volumes, Ann. Inst. Fourier. 50 (2000), 519–535.
[Mir1] M. Mirzakhani,Simple geodesics and Weil-Petersson volumes of moduli spaces of bordered Riemann surfaces, Invent.
Math. 167 (2007), 179–222.
[Mir2] M. Mirzakhani,Growth of Weil-Petersson volumes and random hyperbolic surfaces of large genus, arXiv:1012.2167.
[Mir3] M. Mirzakhani, Private communications.
[MS] M. Mulase and B. Safnuk,Mirzakhani’s recursion relations, Virasoro constraints and the KdV hierarchy, Indiana J.
Math.50(2008), 189–218.
[Pe] R. Penner,Weil-Petersson volumes, J. Differential Geom.35(1992), 559–608.
[Sa] B. Safnuk,Integration on moduli spaces of stable curves through localization, Differential Geom. Appl.27(2009), no.
2, 179–187.
[ST] G. Schumacher and S. Trapani,Estimates of Weil- Petersson volumes via effective divisors, Comm. Math. Phys. 222 (2001), 1–7.
[Wi] E. Witten,Two-dimensional gravity and intersection theory on moduli space, Surveys in Differential Geometry, vol.1, (1991) 243–310.
[Wo] S. Wolpert,On the homology of the moduli space of stable curves, Ann. Math., 118 (1983) 491–523.
[Zo] P. Zograf,On the large genus asymptotics of Weil-Petersson volumes, arXiv:0812.0544.
Center of Mathematical Sciences, Zhejiang University, Hangzhou, Zhejiang 310027, China; Department of Mathematics,University of California at Los Angeles, Los Angeles
E-mail address:[email protected], [email protected]
Center of Mathematical Sciences, Zhejiang University, Hangzhou, Zhejiang 310027, China; Department of Mathematics, Harvard University, Cambridge, MA 02138, USA
E-mail address:[email protected]
