arxiv: v1 [math.ag] 16 Apr 2007

Transcription

1 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY YUNFENG JIANG AND HSIAN-HUA TSENG ariv: v [math.ag] 6 Apr 007 Abstract. Virasoro constraints for orbifold Gromov-Witten theory are described. These constraints are applied to the degree zreo, genus zero orbifold Gromov-Witten potentials of the weighted projective stacks P(, N), P(,, N) and P(,,, N) to obtain formulas of descendant cyclic Hurwitz-Hodge integrals.. Introduction One of the interesting conjectures in Gromov-Witten theory is the so-called Virasoro conjecture, proposed by T. Eguchi, K. Hori, M. Jinzenji, C.-S. iong, and S. Katz in [4, 5]. There has been significant developments in understanding this conjecture. To the best of our knowledge, Virasoro conjecture has been proven for toric manifolds ([8], []), flag manifolds [4], Grassmanians [5], and nonsingular curves [6]. Recent breakthrough by C. Teleman should soon lead to a proof of Virasoro conjecture for compact Kähler manifolds with semisimple quantum cohomologies. B. Dubrovin and Y. Zhang [3] have defined Virasoro operators associated to a general Frobenius manifold. This can be viewed as promoting Virasoro constraints to an axiom of the abstract topological field theory. From this point of view it is not surprising that Virasoro constraints can be formulated for Gromov-Witten theory of Kähler orbifolds. Our purpose of this paper is to explicitly describe these conjectural constraints, and apply them to study degree zero invariants, along the line of [7]. The rest of this paper is organized as follows. Section contains a very brief recollection of ingredients from orbifold Gromov-Witten theory needed in the paper. In Section 3 we describe the conjectural Virasoro constraints for Gromov-Witten theory of Kähler orbifolds, and discuss some related issues. Sections 4 through 7 are devoted to the applications of Virasoro constraints to genus zero degree zero invariants. In Appendix A we discuss a conjecture concerning certain genus one invariants and characteristic numbers. Acknowledgments. H.-H. T. is grateful to A. Givental for his generous help on his approach to Virasoro constraints, and to E. Getzler for suggesting the problem of applying Virasoro constraints to degree zero invariants in May, 004. Y. J. was supported by the University Graduate Fellowship from the University of British Columbia. H.- H. T. is supported in part by a postdoctoral fellowship from the Pacific Institute of Mathematical Sciences (Vancouver, Canada) and a visiting research fellowship from Institut Mittag-Leffler (Djursholm, Sweden). Date: March 6, 008.

2 YUNFENG JIANG AND HSIAN-HUA TSENG. Preliminaries In this section we review some materials essential to the construction of orbifold Gromov- Witten theory. Gromov-Witten theory for symplectic orbifolds were constructed in [8, 9] and for Deligne-Mumford stacks in [, ]. By now there exist several articles [7], [], [0] containing summaries of basic materials. So we should refrain ourselves from repetition and only give a very brief summary of the ingredients we need. We refer to [7], [], [0], [8, 9], [, ] for detail discussions. Throughout this paper let denote a compact Kähler orbifold. The main ingredients of orbifold theory are summarized as follows: I the inertia orbifold of. A point of I is a pair (x, g) with x a point of and g Aut (x). I = i I i the decomposition of I into components; here I is an index set. q the natural projection I defined by forgetting g. I the involution of I which sends (x, g) to (x, g ). i I the index associated to i I so that i and i I are isomorphic under the involution I. Horb (, C) the orbifold cohomology groups of. These are the cohomology groups H (I; C) of the inertia orbifold. age a rational number associated to each component i of the inertia stack. This is called the degree-shifting number in [8, 9]. orbdeg the orbifold degree: For a class a H p ( i ), define orbdeg(a) := p age( i ). (α, β) orb the orbifold Poincaré pairing α I I β. {φ α } an additive homogeneous basis of Horb (, C). φ 0 = the class in H 0 (, C) Poincaré dual to the fundamental class. {φ α } the basis of Horb (, C) dual under orbifold Poincaré pairing. Here is a summary of the main ingredients of orbifold Gromov-Witten theory: M g,n (, β) the moduli stack of genus g, n-pointed orbifold stable maps of degree β, with sections to all gerbes. ev j the evaluation map M g,n (, β) I associated to the j-th marked point. M g,n (, β, (i,.., i n )) the open-and-closed substack ev ( i )... evn ( i n ). [M g,n (, β, (i,..., i n ))] w the (weighted) virtual fundamental class. ψ j the descendent class. a ψ k...a n ψn kn the descendent orbifold Gromov-Witten invariant, which is defined to g,n,β be [M g,n(,β,(i,...,i n))] ev vir a ψ k... evn a nψn kn. the orbifold cup product. Λ the Novikov ring associated to H (, Z). t the orbifold quantum product, depending on t Horb (, C). t α k coordinates of cohomology under the basis {φ α }: t k = α tα k φ α. t k 0 t kz k.

3 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 3 The total descendent potential is defined to be ( ) D (t) := exp g F g (t), g 0 where F g (t) := Q d n! t,...,t g,n,d = Q d n evi n! t kψi k. n,d n,d [M g,n(,d)] vir i= k=0 F g (t) is called the genus-g descendent potential, it is well-defined as a Λ-valued formal power series in coordinates t α k. The total descendent potential D (t) is well-defined as a formal power series in t α k taking values in Λ[[, ]]. 3. Virasoro Constraints for Orbifolds In this Section we formulate the conjectural Virasoro constraints for orbifold Gromov- Witten theory. We follow the approach of [3] and [8]. 3.. Quantization Formalism. The material of this section is due to Givental, and adapted to orbifold Gromov-Witten theory in [7]. Consider the space H := H (I, C) Λ{z, z } of orbifold-cohomology-valued convergent Laurent series (see [], Section 3). There is a symplectic form on H given by There is a polarization Ω(f, g) = Res z=0 (f( z), g(z)) orb dz, for f, g H. H := H (I, C) Λ{z}, H := z H (I, C) Λ{z }. This identifies H with the cotangent bundle T H. Both H and H are Lagrangian subspaces with respect to Ω. Introduce the Darboux coordinate system on (H, Ω) with respect to the polarization above, {p µ a, qν b }. In these coordinates, a general point in H takes the form p µ aφ µ ( z) a qb ν φ ν z b. a 0 µ b 0 ν Put p a = µ pµ a φµ and q b = ν qν b φ ν. Denote p = p(z) := k 0 p k z k = p 0 z p z..., and q = q(z) := k 0 q k z k = q 0 q zq z... For t(z) H introduce a shift q(z) = t(z) z called the dilaton shift. Define the Fock space Fock to be the space of formal functions in q(z) = t(z) z H. In other words, Fock is the space of formal functions on H near q = z. The descendent potential D (t) is regarded as an asymptotical element (see [9], Section 8 for the definition) in Fock via the dilaton shift.

4 4 YUNFENG JIANG AND HSIAN-HUA TSENG Let A : H H be a linear infinitesimally symplectic transformation, i.e. Ω(Af, g) Ω(f, Ag) = 0 for all f, g H. When f H is written in Darboux coordinates, the quadratic Hamiltonian f Ω(Af, f), is a series of homogeneous degree two monomials in Darboux coordinates p α a, qb α in which each variable occurs only finitely many times. Define the quantization of quadratic monomials as q µ aq ν b = qµ aq ν b, qµ a p ν b = qµ a q ν b, pµ a p ν b = q µ a Extending linearly, this defines a quadratic differential operator  on Fock, called the quantization of A. The differential operators q a q b, q a p b, p a p b act on Fock. Since the quadratic Hamiltonian of A may contain infinitely many monomials, the quantization  does not act on Fock in general. For infinitesimal symplectomorphisms A and B, there is the following relation [Â, B] = {A, B} C(h A, h B ), where {, } is the Lie bracket, [, ] is the supercommutator, and h A (respectively h B ) is the quadratic Hamiltonian of A (respectively B). A direct calculation shows that the cocycle C is given by C(p µ a pν b, qµ a qν b ) = C(qµ a qν b, pµ a pν b ) = δµν δ ab, q ν b C = 0 on any other pair of quadratic Darboux monomials. For simplicity, we write C(A, B) for C(h A, h B ). 3.. Virasoro Constraints. As explained in e.g. Section 3. of [8], cohomology groups H ( i ) of components of I admits Hodge decompositions H k ( i, C) = pq=k H p,q ( i, C). From now on, the additive basis {φ α } will be assumed homogeneous with respective to the Hodge decomposition. Define two operators ρ and µ as follows: () ρ := c (T ) : H (I, Λ) H (I, Λ) is defined to be the orbifold multiplication by the first Chern class c (T ). () µ : H (I, Λ) H (I, Λ) is defined as follows: for a class α H p,q ( i, C), define µ(α) := ( p age( i ) dim We write ρ β α for the matrix of ρ under the basis {φ α }: ρ β α φ β = ρ(φ α ). β ) α. In the basis {φ α }, the operator µ is given by a diagonal matrix with entries µ α : µ(φ α ) = µ α φ α..

5 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 5 The following is easy to check: Lemma 3... () (µ(a), b) orb (a, µ(b)) orb = 0; () (ρ(a), b) orb = (a, ρ(b)) orb. Proof. () is obvious. To check (), we may assume that a H p,q ( i, C) and b H dim i p,dim i q ( i I, C). Then we have (µ(a), b) orb (a, µ(b)) orb ( = p age( i ) dim dim i p age( i I) dim = (age( i ) age( i I) dim i dim)(a, b) orb = 0, ) (a, b) orb where the last equality follows from [8], Lemma 3... In Givental s approach to Virasoro constraints [8], the Virasoro operators are written using the quantization formalism reviewed in Section 3.. This is what we do next. Definition 3... For m, put ( L µ,ρ m := z / z d ) m dz z µz ρ z /, and define L m := (L µ,ρ m ) δ ( ) m,0 4 str 4 µµ. Lemma The operators L m satisfy the commutation relations Proof. It is clear that the operators L µ,ρ m [L m, L n ] = (m n)l mn. satisfy [L µ,ρ m, L µ,ρ n ] = (m n)l µ,ρ mn. Therefore the quantized operators (L µ,ρ m ), corrected by some central constants c m, satisfy the same commutation relations. A direct computation shows that the constants are c m = 0 for m 0 and c 0 = δ m,0 4 str( 4 µµ ). It is clear that when is a Kähler manifold, L m coincide with the Virasoro operators written in [8]. Indeed, our construction is a straightforward adaptation of that in [8] and Dubrovin-Zhang s construction [3] for Frobenius manifolds. One can write down the operators L m explicitly. Let r := dim. Define the symbol [x] k i by k k s i [x] k i = (s x i). i=0 i=0

6 6 YUNFENG JIANG AND HSIAN-HUA TSENG Then we have: L m = m i=0 ( k=i m ( ) k [µ α k ]m i (ρ i ) αβ [µ α k ]m i (Ri ) β α tα k k=0 t β km i t α k t β km i ) [ 3 r ]m i (R i ) b 0 (Rm ) αβ t α 0 tβ 0 δ m,0 4 str t β m i ( 4 µµ This can be seen as follows. Note that the right side is exactly what comes out of Dubrovin- Zhang s construction. Therefore both sides satisfy the Virasoro commutation relations. For this reason, it suffices to check the equation above for L and L, which can be done by a direct computation. Conjecture 3. (Virasoro constraints). (3.) L m D = 0, for m Relation to Geometric Theory. The Virasoro operators L m are constructed without reference to orbifold Gromov-Witten theory. In this section we discuss the compatibility of (3.) with what s known from geometric theory. Observe that the operator L D = (/z)d = 0 is the string equation, which always holds. See [7] for more discussion on the string equation in orbifold Gromov-Witten theory. In Gromov-Witten theory of Kähler manifolds, the constraint L 0 D = 0, known as Hori s equation, is derived by combining the virtual dimension formula, the divisor equation, and the dilaton equation. The same argument implies Lemma 3.3. (c.f. [6], Theorem.). We have L 0 D = 0, where L 0 = (3 r) t 0 (µ α m )tα m Rαt β α m m= t β m t α m R β 0 t β 0 ). R αβt α 0t β 0 (3 r) ψ,,0 c (T ),,0. Proof. This is done exactly as the proof of [6], Theorem.. We simply remark that the terms ψ,,0 and c (T ),,0 come from the exceptional cases of the dilaton and divisor equations respectively. Observe that the non-constant parts of the operators L 0 and L 0 are the same. Thus the consistency with geometric theory forces the constant terms to be the same. This imposes the following Conjecture 3.. ( ) 4 str 4 µ = (3 r) ψ,,0 c (T ),,0. For evidences and discussions of Conjecture 3., see Appendix A.

7 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY Evidence. In this section we discuss some evidence of the Virasoro constraints (3.). The first evidence is the case = BG for a finite group G. The orbifold Gromov-Witten theory of BG has been completely solved by Jarvis-Kimura []. Among other things, the Virasoro constraints for BG is explicitly written down and proven. It is clear that the constraints in [] coincide with (3.). In particular, Conjecture 3. is verified for BG by evaluating the right side. The second evidence is that Virasoro constraints hold in genus zero. It is known (e.g. [4], [6]) that Virasoro constraints in genus zero Gromov-Witten theory is a formal consequence of the string equation, dilaton equation, and topological recursion equations. A geometric proof based on Givental s symplectic space approach to Gromov-Witten theory is given in [0], Theorem 6 for Kähler manifolds. The same argument proves the case of Kähler orbifolds as well. This is sufficient for the applications of Virasoro constraints discussed in later sections. Finally, the constraints (3.) will be proven in [5] for weighted projective lines P(k, m) for k, m co-prime. 4. Degree zero twisted stable maps to orbifolds. In this section we discuss the degree zero twisted stable maps to orbifolds. We describe the degree zero orbifold Gromov-Witten invariants as Hurwitz-Hodge integrals. Let Σ i n i := n n N, where n,, n N are positive integers. Throughout the paper we use the notation k k Σi n i to represent k k n k n k n k n k Σi n i. For example, τ k τ kσi n i represents τ k τ kn τ kn τ kn τ kn τ kσi n i. Let = P(,,, N) be the weighted projective stack of dimension d with weights (,,,, N). It is an orbifold which has only one orbifold point p = [0,, 0, ] with local group the cyclic group Z N. We consider the degree zero twisted stable maps to. From now on, put ω = exp( π N ). Let f : C be a degree zero twisted stable map. If there are stacky points on C, then f factors through p BZ N. Suppose that there are n n n N stacky points on the curve C. The orbifold fundamental group of C can be presented as π orb (C) = {ξ,, ξ Σi n i : ξ a j j =, ξ ξ Σi n i = }, where ξ j is a generator represented by a loop around the j-th stacky point and a j is the local index of the j-th stacky point. The map f induces a homomorphism ϕ : π orb (C) Z N which is given by ξ j ω b j for j Σ i n i satisfying the condition that 0 < b j N and a j b j is divisible by N. The morphism f is equivalent to having an admissible Z N -cover C C over the coarse curve with ramification condition specified by ϕ. Suppose the stacky type on the curve C is given as follows, (4.) x = ω,, ω, ω }{{},, ω }{{} n n,, ω i,, ω }{{} i,, ω N,, ω N. n i } {{ } n N This means that ϕ(ξ j ) = ω i for i a=0 n a j i a=0 n a (we put n 0 = 0).

8 8 YUNFENG JIANG AND HSIAN-HUA TSENG The equation j ξ j = in π orb (C) translates into the following condition on n,, n N : n n (N )n N 0 (mod N). Let M nσi n i (, 0,x) be the moduli stack of degree zero, genus zero twisted stable maps with n non-stacky marked points and Σ i n i stacky marked points to such that the stacky structure on the orbicurve C is given by x in (4.). Let π : M nσi n i (, 0,x) M 0,nΣi n i be the forgetful map, where M 0,nΣi n i is the moduli space of genus zero stable n Σ i n i - marked curves, then the ψ classes on M nσi n i (, 0,x) is defined to be the pullback of the ψ classes on M 0,nΣi n i. As in Section, the degree zero and genus zero descendent orbifold Gromov-Witten invariants are defined by (4.) τ l τ ln τ k τ kσi n i := ψ l ψ ln ψ k ψ k Σini. [M nσi n i (,0,x)] vir Let L ω denote the line bundle over BZ N defined by the Z N -representation C on which ω Z N acts by multiplication by ω. The twisted stable maps factor through BZ N and BZ N has normal bundle L d ω of rank d since the action of Z N on the neighborhood of p is given by the diagonal matrix diag(ω,, ω). Consider the following diagram: C pt p C f BZ N π M nσi n i (BZ N,x). Let π = π p : C M nσi n i (BZ N,x) be the composite map. Let E = R π O be the dual Hodge bundle. The action of ω Z N on C induces an action of ω on E, giving the decomposition into eigen-bundles: E = E E ω E ω N. Following the convention in [6], E ω i is the eigen-bundle on which ω acts with eigenvalue ω i. It is easy to see that E = 0, R π f (L ω ) = E ω. N So τ l τ ln τ k τ kσi n i = ψ l ψ ln ψ k ψ k Σ i n ie(e ω E N ω ) N M nσi n i (BZ N,x) = ψ l ψ ln ψ k ψ k Σ i n iλ d (4.3) r, M nσi n i (BZ N,x) where e is the Euler class and λ r the top Chern class of the bundle E ω = E ω N. Let r = rank(e ω ), r = rank(e ω ),, r N = rank(e ω N ), then

9 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 9 Proposition 4.. We have r = N i= N i n i N, r N = i= n i N i N, and r r N = Σ i n i 3. Proof. Let f : C BZ N be an orbifold stable map with stack structures described by (4.). By Riemann-Roch for stacky curves, we find χ(c, f L ω ) = We conclude by observing that N i= n i i N, χ(c, f L ω N ) = R 0 π f L ω = 0, R π f L ω = E ω ; R 0 π f L ω N = 0, N i= R π f L ω N = E ω N. n i N i N. In the next two sections we consider the case for the weighted projective line P(, N) and the weighted projective surface P(,, N). As discussed above, every stable map in M nσi n i (, 0,x) determines (and is determined by) a Z N -admissible cover over the coarse curve C C, with ramification data specified by x in (4.). The genus, denoted by g, of the cover C is fixed by x. Introduce the following notations for the descendent degree zero genus zero orbifold Gromov-Witten invariants of P(, N) and P(,, N): (4.4) τ l τ ln τ k τ kσi n i λ r g = (4.5) τ l τ ln τ k τ kσi n i λ r g = and (4.6) τ l τ ln τ k τ kσi n i λ r g = M! M 0 b,,b M 0 M nσi n i (BZ N,x) M nσi n i (BZ N,x) ψ l ψ ln ψ k ψ k Σ i n iλr, ψ l ψ ln ψ k ψ k Σ i n iλ r t b t bm τ b τ bm τ l τ ln τ k τ kσi n i λ r g, (4.7) τ l τ ln τ k τ kσi n i λ r g = M! M 0 b,,b M 0 t b t bm τ b τ bm τ l τ ln τ k τ kσi n i λ r g. Remark. If n = 0, then the moduli stack M Σi n i (BZ N,x) is the Hurwitz scheme H g parametrizing the admissible Z N -covers to P with ramification type x in (4.). The integrals above are called Hurwitz-Hodge integrals in [6] (see also [7]). In the following we always use this monodromy data for an admissible Z N -covers to P.

10 0 YUNFENG JIANG AND HSIAN-HUA TSENG 5. The degree zero Virasoro conjecture for weighted projective lines. Let = P(, N) be the weighted projective space with weights, N for N Z >0. The orbifold cohomology Horb (P(, N)) has the following generators: Horb(P(, 0 N)), ξ Horb(P(, N)), γ j H j N orb (P(, N)), for j N. We will use the following coordinates for the corresponding descendents: coordinate descendent t i, i 0 τ i () s i, i 0 τ i (ξ) α j i, i 0 τ i(γ j ) for j N. Let F 0,0 be the degree zero, genus zero orbifold Gromov-Witten potential of. Let ( ) D 0,0 = exp F0,0. For i N let (5.) M i := i n a, a=0 where n 0 := 0. This notation is used in Section 5 and 6. Theorem 5.. We have L k D 0,0 D 0,0 = ( )x k 0,l(t) where s l y0,l(t) k l=0 g=0 k,,k Σni 0 αk α N k Σi z k n i g;k,,k Σi (t), n i and x k 0,l(t) = [] k 0 τ k λ 0 0 [m] k 0t m τ km λ 0 0 [] k τ k λ 0 0 m= [m] k t m τ km λ 0 0 k ( ) m [ m ] k τ m λ 0 0 τ k m λ 0 0, y k 0,l (t) = []k 0 τ kτ l λ 0 0 [m] k 0 t m τ km τ l λ 0 0 [l ] k 0 τ kl λ 0 0 m= z k g;k,,k Σi n i (t) = [] k 0 τ k τ k τ kσi n i λ r g N M i i= j=m i [m] k 0 t m τ km τ k τ kσi n i λ r g m= [k j i N ]k 0 τ k τ kni τ kni τ kkj τ kni τ kni τ kσi n i λ r g.

11 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY Proof. The Virasoro operator L k, k > 0 is given by L k = [] k 0 t k ( N ) [m] k 0t m t km [m ] k 0s m s km [m i N ]k 0αm α i km i ( [] k s k [m] k t m s km k ( ) m [ m ] k s m s k m ). The degree zero orbifold Gromov-Witten potential is D 0,0 = exp ( s m τ m λ 0 0 ( ) 0 g=0 k,,k Σi n i 0 i= α k α N k Σi n i τ k τ kσi n i λ r g ). Applying the operator L k to D 0,0 we obtain the result. So the degree zero, genus zero Virasoro constraints for P(, N) is equivalent to the vanishing of x k 0,l (t), yk 0,l (t) and zk g,k,,k Σi n i (t). Now let (5.) Γ j,g = τ a λ r g = ψ a λ r, H g where a := N i= n i N i= i N n i. Write Γ g := (Γ j,g ) j Σi n i as a column vector. Let c g := (c j,g ) j Σi n i be another column vector. Let the index i vary from to N and define a Σ i n i Σ i n i square matrix A = (a st ) by (5.3) a st := { i N a if M i < s = t M i ; i N if M i < t M i and s t. The matrix can be written as follows: a N N N N a N N A = a N N N N N a N N N N N N a N N N a.

12 YUNFENG JIANG AND HSIAN-HUA TSENG It is easy to check that A is nonsingular for a 0. Let A be the matrix obtained from A as follows: for an integer j with M i j M i for some i N, the j-th row of A is obtained by multiplying the j-th row of A by Here (a i N )! := a (m i N ). The linear system ( i )(( N N i= n i) 3)! (a i )! N N i= (. i N )n i (5.4) A c g = Γ g has a unique solution which represents c j,g as a linear combination of Γ j,g s for j Σ i n i. For integers s N and j Σ i n i, we put (k j s N )! = s N ( s N ) (k j s N ). From the vanishing of z k g,k,,k Σi n i (t) for k and k,, k Σi n i 0, we obtain the following theorem. Theorem 5.. We have τ k τ kσi n i τ l τ ln λ r g = N M s s= j=m s Qj l j! Q N b= (nσ i n i 3)!(k j s N ) Q Mb j=m b (k j b N )!c j,g. Proof. The vanishing of z k g,k,,k Σi n i (t) gives the vanishing of its Taylor coefficients, t [] k l t ln zg;k k,,k 0 Σi (0) = 0. n i An explicit calculation shows that [] k 0 t l t ln z k g;k,,k Σi n i (0) is the right side of the following (5.5) 0 = τ k τ k τ kσi n i τ l τ ln λ r g N M i i= j=m i n i= (l i k)! (l i )!(k)! τ k τ kσi n i τ l τ li k τ ln λ r g (k j k i N )! (k j i N )!(k)! τ k τ kni τ kni τ kj k τ kni τ kni τ kσi n i τ l τ ln λ r g. We now solve the recursion (5.5). The virtual dimension of M nσi n i (P(, N), 0,x) is vdim = n N i= n i 3 N i= n i i N. If τ k τ k τ kσi n i τ l τ ln λ r g 0, we have vdim = k n i= l i Σ i n i i= k i. So (5.6) n N i= n i = n l i i= N M i i= j=m i ( ) k j i k. N

13 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 3 For an integer r, then there exists a unique integer s such that M s r M s, with s N. Let k = (k,, k Σi n i ) and l = (l,, l n ). Introduce (5.7) Θ(k,l) r := (n Σ i n i 3)!(k r s N ) j l j! N b= Mb j=m b (k j b N )!. We claim that Θ(k,l) r is a solution of the recursion (5.5). To see this, write (5.6) as (5.8) n N i= n i = n l i i= N M i i= j=m i,j r ( ) k j i (k N r s N k). Multiply on both sides of (5.8) by we get (n Σ i n i )!(k r s N ) (k )! j l j! N b= n = i= N i= (l i k)! (l i )!(k )! (k j k i )! N (k j i )!(k )! N (k r k s )! N (k r s )!(k )! N (n Σ i n i 3)!(k r s N ) (k )! j l j! N b= Mb j=m b (k j b N )! Mb j=m b (k j b N )!, (n Σ i n i 3)!(k r s N ) l! (l i k)! l n! N b= M i Mb j=m b (k j b N )! (nσ i n i 3)!(k r s N ) Qj j=m i,j r l j! Q N Q Mb b=,b i j=m b (k j b N )!(k n i i N )! (k jk i N )! (kn i i N )! (nσ i n i 3)!(k rk s N ) Qj l j! Q N Q Mb b=,b s j=m b (k j b N )!(k n s s N )! (krk s N )! (kns i )!. N It is straightforward to see that this is the recursion (5.5). Suppose that τ k τ kσi n i τ l τ ln λ r g is of the form r c r,gθ(k,l) r. Then by considering special values of k,l, we find that the coefficients c r,g are uniquely determined by the linear system (5.4). The result follows. The initial values in Theorem 5. are the following Hurwitz-Hodge integrals H g λ r ψ r N, where H g is the Hurwitz scheme parametrizing admissible Z N -covers over P. These integrals can be interpreted as certain orbifold Gromov-Witten invariants of BZ N twisted by the line bundle L ω and the inverse (equivariant) Euler class. The main results of [] can be applied to compute these integrals.

14 4 YUNFENG JIANG AND HSIAN-HUA TSENG 6. The degree zero Virasoro conjecture for weighted projective surfaces. Let = P(,, N) be the weighted projective plane with weights,, N for N Z >0. The orbifold cohomology Horb (P(,, N)) has generators as follows: Horb 0 (P(,, N)), ξ H orb (P(,, N), [] H4 orb (P(,, N)), 4j N γ j Horb (P(,, N)) for j N. We will use the following coordinates for the corresponding descendants: coordinate descendent t i, i 0 τ i () s i, i 0 τ i (ξ) r i, i 0 τ i ([]) α j i, i 0 τ i(γ j ) for j N. Let F 0,0 be the degree zero, genus zero orbifold Gromov-Witten potential of. Let ( ) D 0,0 = exp F0,0. Theorem 6.. We have L k D 0,0 D 0,0 = w(r, s, t) g=0 k,,k Σi n i 0 α k α N k Σi n i z k g;k,,k Σi n i (t), where w(r, s, t) is the general degree zero, genus zero potential without stacky points on the curve in [7], and z k g;k,,k Σi n i (t) = [ ]k 0 τ k τ k τ kσi n i λ r g N M i i= j=m i [m ]k 0t m τ km τ k τ kσi n i λ r g m= [k j i N ]k 0 τ k τ kni τ kni τ kkj τ kni τ kni τ kσi n i λ r g. Proof. The Virasoro operator L k, k > 0 is given by ( L k = [ ]k 0 t k [m ]k 0t m t km [m ]k 0s m s km [m 3 ]k 0r m r km i= N ) [m i N ]k 0 αi m αi km N [ m ]k s m s k m c ( [ ]k s k i= k ( ) ([ m m 3 ]k r m t k m [ m i N ]k α i m α N i k m ) [m ]k t m s km [m ]k s m r km

15 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 5 k ) ( ) m [ m 3 ]k r m s k m c k 3 ) ( ) m [ m 3 ]k r m r k m 3 δ k t 0, ( [ ]k r k [m ]k t m r km where c satisfies c () = cω. The degree zero orbifold Gromov-Witten potential is: D 0,0 = exp ( r m τ m λ 0 0 τ lτ m 0 So applying the operator L k to D 0,0 l,m g=0 k,,k Σi n i 0 α k α N k Σi n i τ k τ kσi n i λ r g ). we obtain the result. Remark. As explained in [7], the formula w(r, s, t) is very complicated. To get formula of Hurwitz-Hodge integrals, it is not necessary to write w(r, s, t) down. So the degree zero, genus zero Virasoro constraints for P(,, N) is equivalent to the vanishing of w(r, s, t) in [7] and z k g,k,,k Σi n i (t). Let (6.) Γ j,g = τ a λ r g = ψ a λ r, H g where a := N i= n i N i= i N n i. Again write Γ g := (Γ j,g ) j Σi n i as a column vector and let c g := (c j,g ) j Σi n i be another column vector. Let the index i vary from to N and define a Σ i n i Σ i n i square matrix A = (a st ) by (6.) a st := { i N a if M i < s = t M i ; i N if M i < t M i and s t. The matrix can be written as follows: a 4 4 (N ) (N ) 4 4 (N ) (N ) a 4 4 (N ) (N ) 4 a 4 (N ) (N ) A = 4 4 a (N ) (N ) 4 4 (N ) (N ) a 4 4 (N ) (N ) a.

16 6 YUNFENG JIANG AND HSIAN-HUA TSENG It is easy to check that A is nonsingular for a 0. Let A be the matrix obtained from A as follows: for an integer j with M i j M i for some i N, the j-th row of A is obtained by multiplying the j-th row of A by The linear system (( N i= n i) 3)!( i ) N (a i )! N N i= ( i. N )n i (6.3) A c g = Γ g has a unique solution which represents c j,g as a linear combination of Γ j,g s for j Σ i n i. For integers s N and j Σ i n i, let (k j s s s )! = ( N N N ) (k j s N ). From the vanishing of z k g,k,,k Σi n i (t) for k and k,, k Σi n i 0, we obtain the following theorem. Theorem 6.. We have τ k τ kσi n i τ l τ ln λ r g = N M s s= j=m s (nσ in i 3)!(k j s N ) Qj (l j )! Q N b= Q Mb j=m b (k j b N )!c j,g. Proof. Again we consider the following recursion given by t [ l t ln z ]k g;k k,,k 0 Σi (0) = 0: n i (6.4) 0 = τ k τ k τ kσi n i τ l τ ln λ r g N M i i= j=m i [k j i N ]k 0 [ ]k 0 n i= [l i ]k 0 τ [ k τ kσi ]k n 0 i τ l τ li k τ ln λ r g τ k τ kni τ kni τ kj k τ kni τ kni τ kσi n i τ l τ ln λ r g. Dimension constraints for orbifold Gromov-Witten invariants of P(,, N) gives ( N ) n ( ) N M i ( ) (6.5) n n i = l i k j i k. N i= i= i= j=m i So from (6.3), (6.4) and (6.5), using the same method as in the proof of Theorem 5. we finish the proof. Remark. The initial values in Theorem 6. are the following Hurwitz-Hodge integrals H g λ r ψ a, as in (6.), where H g is the Hurwitz scheme parametrizing the admissible Z N -covers over P. These integrals can be interpreted as certain orbifold Gromov-Witten invariants of [C /Z N ]. They have been computed in [].

17 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 7 7. The degree zero Virasoro conjecture for threefold. The Virasoro constraints in degree zero for threefolds do not give anything new: all descendent invariants are reduced to primary ones by string and dilaton equations. Indeed, the formula for virtual dimension implies that, if there is an insertion of the form aψ k with k, then there must be another insertion. Thus the exponent in the descendent insertions are reduced by string equation. If k =, then the class a is either or not. In the latter case there must be another insertion and the string equation is applied again. If a =, then such insertion is removed by the dilaton equation. In case of P(,,, 3), the relevant primary invariants are related to some Hurwitz-Hodge integrals arising in orbifold Gromov-Witten theory of [C 3 /Z 3 ]. For example, the first one is λ 3 r, M n g(bz 3 ) where n n = g and n, n represent n stacky points with type ω and n stacky points with type ω. These integrals have been predicted in physics [3]. For example, let n = 3, n = 0, then λ 3 r = λ 3 r = 3. M 3 (BZ 3 ) H g(ω,ω,ω) The generating function of these integrals is computed in [0], []. Appendix A. On Conjecture 3. Define the double inertia orbifold II of to be the inertia orbifold of the orbifold I. A point of II is a triple (x, g, h) where x, g, h Stab (x) with gh = hg. There is a natural projection π : II which forgets g, h. The genus one invariants participating Conjecture 3. are conjecturally evaluated as follows: Conjecture A.. () We have ψ,,0 = 4 () For D H (), we have II D,,0 = 4 c top (T II ) = 4 χ top(i); II π (D)c top (T II ). This conjecture is formulated based on an analysis of the moduli stack M, (, 0) of genus one, degree zero orbifold stable maps with one non-stacky marked point. This conjecture holds for the case = BG, by the work []. This conjecture will be addressed elsewhere. We now return to Conjecture 3.. Note that ( ) 4 str 4 µ = 6 χ top(i) 4 str(µ )

18 8 YUNFENG JIANG AND HSIAN-HUA TSENG because the term str() = χ top (I), the topological Euler characteristic of the coarse space of the inertia orbifold I. Now by Lefschetz trace formula, we have χ top (I) = c top (T II ). Combining with (A.), we may rewrite (3.) as Conjecture 3. : str(µ ) = II II dimc top (T II ) c (T )c top (T II ). It is clear that str(µ ) = i I ( ( ) p p age( i ) dim p 0 ) χ( i, Ω p i ). In case when the orbifold is actually a compact Kähler manifold, (3. ) is reduced to ( (A.) p dim ) χ(, Ω p ) = dimc top (T ) c (T )c top (T ), p 0 which is a theorem of Libgober and Wood [3] (see also [6]). (A.) is proven by the use of Hirzebruch-Riemann-Roch formula. Presumably (3. ) can be proven by Hirzebruch- Riemann-Roch formula for orbifolds. We plan to address this in the future. An evidence of Conjecture 3. is provided by a result of V. Batyrev [4], which we now explain. Let be a Gorenstein proper Deligne-Mumford stack with trivial generic stabilizer and projective coarse moduli space. Then a result of T. Yasuda [8] asserts that Batyrev s stringy Hodge numbers h p,q st () coincide with orbifold Hodge numbers h p,q orb () := dimhp,q orb (, C). In terms of generating functions, we have E st (, s, t) = E orb (, s, t), where E st (, s, t) := p,q 0 ( )pq h p,q st ()s p t q is the stringy E-polynomial and E orb (, s, t) := p,q 0 ( )pq h p,q orb ()sp t q is the orbifold E-polynomial. Combining this with Corollary 3.0 of [4] we find that ( (A.) ( ) p p age( i ) dim ) χ( i, Ω p i ) = dim e st() 6 c,n st (), i I p 0 where c,n st () is defined in [4], Definition 3.. Since e st () = χ orb () = χ top (I), the first terms of the right-hand sides of (3. ) and (A.) coincide. The second terms on the right-hand sides of (3. ) and (A.) take very similar forms in particular, the number c,n st () can be interpreted as a stringy version of c ()c n (). Note that this proves (3. ) in the Calabi-Yau case, because both c,n st () and c II (T )c top (T II ) vanish when c (T ) = 0.

19 ON VIRASORO CONSTRAINTS FOR ORBIFOLD GROMOV-WITTEN THEORY 9 Conjecture A.. c,n st () = c (T )c top (T ). II A.. An Example: Weighted Projective Line. We verify (3. ) for = P(a, b), the weighted projective line with a, b coprime. First, we have IP(a, b) = P(a, b) a i= (BZ a) i b j= (BZ b) j. The component P(a, b) has age age(p(a, b)) = 0. Each component (BZ a ) i BZ a has age age((bz a ) i ) = i/a. Each component (BZ b ) j BZ b has age age((bz b ) j ) = j/b. From this we find that the left-hand side of (3. ) is = 4 4 a b ( /) ( /) (i/a /) (j/b /) (a )(a ) 6a a i= a 4 = a b 6 ( a b ). j= (b )(b ) 6b b b 4 Now we consider the right-hand side of (3. ). The first term in the right-hand side of (3. ) is c top (T IIP(a,b) ) = χ top(ip(a, b)) = a b IIP(a,b) by Gauss-Bonnet. Now, note that there is a unique component of positive dimension in IIP(a, b), and this component is isomorphic to P(a, b). Only this component contributes to the second term of the right-hand side of (3. ). This gives 6 P(a,b) Now it is evident that both sides agree. c (T P(a,b) ) = 6 ( a b ). References [] D.Abramovich, T.Graber and A.Vistoli, Algebraic orbifold quantum product, in Orbifolds in mathematics and physics (Madison, WI, 00), 4, Amer. Math. Soc., 00. [] D.Abramovich, T.Graber and A.Vistoli, Gromov-Witten theory for Deligne-Mumford stacks, math.ag/ [3] M. Aganagic, V. Bouchard and A. Klemm, Topological strings and (almost) modular forms, hep-th/ [4] V. Batyrev, Stringy Hodge numbers and Virasoro algebra, Math. Research Letters 7, (000). [5] A. Bertram, I. Ciocan-Fontanine, and B. Kim, Two proofs of a conjecture of Hori and Vafa, Duke Math. J. 6 (005), no., [6] J. Bryan, T. Graber and R. Pandharipande, The orbifold quantum cohomology of C /Z 3 and Hurwitz- Hodge integrals, math. AG/ [7] J. Bryan and Y. Jiang, The genus zero crepant resolution conjecture for the orbifold [C /Z 4 ], preprint. [8] W. Chen and Y. Ruan, A new cohomology theory for orbifolds, Comm. Math. Phys. 48 (004), no., 3, math. AG/ [9] W. Chen and Y. Ruan, Orbifold Gromov-Witten theory, in Orbifolds in mathematics and physics (Madison, WI, 00), 5 85, Amer. Math. Soc., Providence, RI, 00, math.ag/00356.

20 0 YUNFENG JIANG AND HSIAN-HUA TSENG [0] T. Coates, A. Corti, H. Iritani, and H.-H. Tseng, Wall-Crossings in Toric Gromov-Witten Theory I: Crepant Examples, math.ag/ [] T. Coates, A. Corti, H. Iritani, and H.-H. Tseng, Computing Genus-Zero Twisted Gromov-Witten Invariants, math.ag/ [] T. Coates, A. Corti, Y.-P. Lee, and H.-H. Tseng, The Quantum Orbifold Cohomology of Weighted Projective Space, math.ag/ [3] B. Dubrovin adn Y. Zhang, Frobenius manifolds and Virasoro constraints, Selecta Math. (N.S.) 5 (999), no. 4, , math.ag/ [4] T. Eguchi, K. Hori, and C.- S. iong, Quantum cohomology and Virasoro algebra, Phys. Lett. B 40 (997), no. -, [5] T. Eguchi, M. Jinzenji, and C.-S. iong, Quantum cohomology and free field representations, Nuclear Phys. B 50 (998), [6] E. Getzler, The Virasoro conjecture for Gromov-Witten invariants, in Algebraic geometry: Hirzebruch 70 (Warsaw, 998), 47 76, Amer. Math. Soc., Providence, RI, 999, math.ag/9806. [7] E. Getzler and R. Pandharipande, Virasoro constraints and the Chern classes of the Hodge bundle, Nucl. Phys. B 530 (998), 70 74, math.ag/ [8] A. Givental, Gromov-Witten invariants and quantization of quadratic Hamiltonians, Mosc. Math. J. (00), no. 4, [9] A. Givental, A n singularities and nkdv hierarchies, Mosc. Math. J. 3 (003), no., [0] A. Givental, Symplectic geometry of Frobenius structures, in Frobenius manifolds, 9, Aspects Math., E36, Vieweg, Wiesbaden, 004. [] H. Iritani, Convergence of quantum cohomology by quantum Lefschetz, ariv: math.dg/ [] T. Jarvis and T. Kimura, Orbifold quantum cohomology of the classifying space of a finite group, in Orbifolds in mathematics and physics (Madison, WI, 00), 3 34, Amer. Math. Soc., Providence, RI, 00. [3] A.S. Libgober and J.W. Wood, Uniqueness of the complex structure on Kähler manifolds of certain homotopy types, J. Diff. Geom. 3 (990), [4] D. Joe and B. Kim, Equivariant mirrors and the Virasoro conjecture for flag manifolds, Int. Math. Res. Not. 003, no. 5, [5] T. Milanov and H.-H. Tseng, in preparation. [6] A. Okounkov and R. Pandharipande, Virasoro constraints for target curves, Invent. Math. 63 (006), no., [7] H.- H. Tseng, Orbifold Quantum Riemann-Roch, Lefschetz and Serre, math.ag/0506. [8] T. Yasuda, Twisted jets, motivic measures and orbifold cohomology, Compos. Math. 40 (004), no., Department of Mathematics, University of British Columbia, 984 Mathematics Road, Vancouver, BC V6T Z, Canada address: jiangyf@math.ubc.ca Department of Mathematics, University of British Columbia, 984 Mathematics Road, Vancouver, BC V6T Z, Canada address: hhtseng@math.ubc.ca