arxiv: v4 [math.ag] 6 Mar 2018

Transcription

1 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION HYENHO LHO AND RAHUL PANDHARIPANDE arxiv: v4 [mathag] 6 Mar 208 Abstract We study the fundamental relationship between stable quotient invariants and the B-model for local P 2 in all genera Our main result is a direct geometric proof of the holomorphic anomaly equation in the precise form predicted by B-model physics The method yields new holomorphic anomaly equations for an infinite class of twisted theories on projective spaces An example of such a twisted theory is the formal quintic defined by a hyperplane section of P 4 in all genera via the Euler class of a complex The formal quintic theory is found to satisfy the holomorphic anomaly equations conjectured for the true quintic theory Therefore, the formal quintic theory and the true quintic theory should be related by transformations which respect the holomorphic anomaly equations Contents 0 Introduction Stable quotients 2 Localization graphs 4 3 Basic correlators 6 4 Higher genus series on M g,n 25 5 Higher genus series on KP Vertices, edges, and legs 35 7 Holomorphic anomaly for KP Holomorphic anomaly for KP 2 with insertions 47 References 5 0 Introduction 0 GW/SQ To the A-model Gromov-Witten theory of a Calabi- Yau 3-fold X is conjecturally associated the B-model theory of a mirror Calabi-Yau 3-fold Y At the genus 0 level, much is known about the geometry underlying the B-model: Hodge theory, period integrals, and Date: March 208

2 2 HYENHO LHO AND RAHUL PANDHARIPANDE the linear sigma model In higher genus, mathematical techniques have been less successful In toric Calabi-Yau geometries, the topological recursion of Eynard and Orantin provides a link to the B-model [5, 6] Another mathematical approach to the B-model (without the toric hypothesis) has been proposed by Costello and Li [4] following paths suggested by string theory A very different mathematical view of the geometry of B-model invariants is pursued here Let X 5 P 4 be a (nonsingular) quintic Calabi-Yau 3-fold The moduli space of stable maps to the quintic of genus g and degree d, M g (X 5, d) M g (P 4, d), has virtual dimension 0 The Gromov-Witten invariants, () Ng,d GW = GW g,d =, [M g(x 5,d)] vir have been studied for more than 20 years, see [5, 8, 25] for an introduction to the subject The theory of stable quotients developed in [29] was partially inspired by the question of finding a geometric approach to a higher genus linear sigma model The moduli space of stable quotients for the quintic, Q g (X 5, d) Q g (P 4, d), was defined in [29, Section 9], and questions about the associated integral theory, (2) N SQ g,d = SQ g,d = [Q g (X 5,d)] vir, were posed The existence of a natural obstruction theory on Q g (X 5, d) and a virtual fundamental class [Q g (X 5, d)] vir is easily seen 2 in genus 0 and A proposal in higher genus for the obstruction theory and virtual class was made in [29] and was carried out in significantly greater generality in the setting of quasimaps in [] In genus 0 and, the integral theory (2) was calculated in [3] and [23] respectively The answers on the stable quotient side exactly match the string theoretic B-model for the quintic in genus 0 and In degree 0, the moduli spaces of maps and stable quotients are both empty for genus 0 and, so the invariants in these cases vanish 2 For stability, marked points are required in genus 0 and positive degree is required in genus

3 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 3 A relationship in every genus between the Gromov-Witten and stable quotient invariants of the quintic has been recently proven by Ciocan- Fontanine and Kim [9] 3 Let H H 2 (X 5, Z) be the hyperplane class of the quintic, and let n Fg,n GW (Q) = H,, H }{{} GW g,n = Q d ev i (H), n d=0 [M g,n(x 5,d)] vir i= F SQ g,n(q) = H,, H } {{ } n SQ g,n = q d d=0 [Q g,n (X 5,d)] vir i= n ev i (H) be the Gromov-Witten and stable quotient series respectively (involving the pointed moduli spaces and the evaluation morphisms at the markings) Let I Q 0 (q) = d=0 q d (5d)! (d!) 5, IQ (q) = log(q)i Q 0 (q) + 5 The mirror map is defined by ( I Q ) (q) Q(q) = exp = q exp 5 I Q 0 (q) d= ( 5d ) q d (5d)! (d!) 5 r r=d+ ( d= qd (5d)! 5d (d!) 5 r=d+ (5d)! d=0 qd (d!) 5 r ) The relationship between the Gromov-Witten and stable quotient invariants of the quintic in case is given by the following result [9]: 2g 2 + n > 0 (3) F GW g,n (Q(q)) = I Q 0 (q) 2g 2+n F SQ g,n(q) The transformation (3) shows the stable quotient theory matches the string theoretic B-model series for the quintic X 5 Based on the above investigation of the quintic, a fundamental relationship between the stable quotient invariants and the B-model for all local and complete intersection Calabi-Yau 3-folds X is natural to propose: the stable quotient invariants of X exactly equal the B-model invariants of the mirror Y 3 A second proof (in most cases) can be found in [2]

4 4 HYENHO LHO AND RAHUL PANDHARIPANDE 02 Holomorphic anomaly The (conjectural) holomorphic anomaly equation is a beautiful property of the string theoretic B-model series which has been used effectively since [4] Since the stable quotients invariants provide a geometric proposal for the B-model series, we should look for the geometry of the holomorphic anomaly equation in the moduli space of stable quotients Since the stable quotients invariant for the quintic are difficult 4 to approach in g 2, we study here instead the stable quotient invariants in all genera for local P 2 the toric Calabi-Yau 3-fold given by the total space KP 2 of the canonical bundle over P 2 Our main result is a direct proof of the holomorphic anomaly equations in the precise form predicted by B-model physics for local P 2 The holomorphic anomaly equation can be proven for toric Calabi- Yau 3-folds by the topological recursion of Eynard and Orantin [6] together with the remodelling conjecture [5] proven recently in [7] The path of [5, 6, 7] to the holomorphic anomaly equation for toric Calabi- Yau 3-folds involves explicit manipulation of the Gromov-Witten partition function (which can be computed by now in several different ways in toric Calabi-Yau cases [, 30]) Our approach involves the geometry of the moduli space of stable quotients the derivation of the holomorphic anomaly equation takes place on the stable quotient side The new perspective yields new holomorphic anomaly equations for an infinite class of twisted theories on projective spaces Some of these are related to toric Calabi-Yau geometries (such as local P P ), but most are not The holomorphic anomaly equations for these theories have never been considered before A particular twisted theory on P 4 is related to the quintic 3-fold Let the algebraic torus T 5 = (C ) 5 act with the standard linearization on P 4 with weights λ 0,, λ 4 on the vector space H 0 (P 4, O P 4()) Let (4) C M g (P 4, d), f : C P 4, S = f O P 4( ) C be the universal curve, the universal map, and the universal bundle over the moduli space of stable maps all equipped with canonical 4 There are very few mathematical derivations of the holomorphic anomaly equation in higher genus for compact Calabi-Yau 3-folds A genus 2 result for the Enriques Calabi-Yau can be found in [3]

5 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 5 T 5 -actions We define the formal quintic invariants by 5 (5) Ñg,d GW = e(rπ (S 5 )), [M g(p 4,d)] vir where e(rπ (S 5 )) is the equivariant Euler class (defined after localization) The integral (5) is homogeneous of degree 0 in localized equivariant cohomology, [M g(p 4,d)] vir e(rπ (S 5 )) Q(λ 0,, λ 4 ), and defines a rational number Ñ GW g,d λ i = ζ i λ 0 Q after the specialization for a primitive fifth root of unity ζ 5 = A main result in the sequel [27] proves that the holomorphic anomaly equations conjectured for the true quintic theory () are satisfied by the formal quintic theory (5) In particular, the formal quintic theory and the true quintic theory should be related by transformations which respect the holomorphic anomaly equations 03 Twisted theories on P m Twisted theories associated to P m can be constructed as follows Let the algebraic torus T m+ = (C ) m+ act with the standard linearization on P m with weights λ 0,, λ m on the vector space H 0 (P m, O P m()) Let M g (P m, d) be the moduli space of stable maps to P m equipped with the canonical T m+ -action, and let C M g (P m, d), f : C P m, S = f O P m( ) C be the standard universal structures Let a = (a,, a r ), b = (b,, b s ) be vectors of positive integers satisfying the conditions r s a i b j = m + and m r + s = 3 i= j= The first is the Calabi-Yau condition and the second is the dimension 3 condition 5 The negative exponent denotes the dual: S is a line bundle and S 5 = (S ) 5

6 6 HYENHO LHO AND RAHUL PANDHARIPANDE The Gromov-Witten invariants of the (a, b)-twisted geometry of P m are defined via the equivariant integrals r s (6) Ñg,d GW = e(rπ S a i ) e( Rπ S b j ) [M g(p m,d)] vir i= The integral (6) is homogeneous of degree 0 in localized equivariant cohomology and defines a rational number Ñ GW g,d Q after the specialization λ i = ζ i λ 0 for a primitive (m + )-root of unity ζ m+ = The standard theory of local P 2 theory is recovered in case We will see in [28] that the case j= m = 2, r = 0, b = (3) m = 3, a = (2), b = (2) is related to the local P P geometry The formal quintic theory arises in case m = 4, a = (5), s = 0 The stable quotient perspective of the paper yields holomorphic anomaly equations for all (a, b)-twisted theories on P m satisfying the Calabi-Yau and dimension 3 conditions Our goal here is to present two of the most interesting cases 04 Holomorphic anomaly for KP 2 We state here the precise form of the holomorphic anomaly equations for local P 2 Let H H 2 (KP 2, Z) be the hyperplane class of the obtained from P 2, and let F GW g,n (Q) = H,, H } {{ } n F SQ g,n(q) = H,, H } {{ } n GW g,n = SQ g,n = Q d d=0 q d d=0 [M g,n(kp 2,d)] vir i= [Q g,n (KP 2,d)] vir i= n ev i (H), n ev i (H) be the Gromov-Witten and stable quotient series respectively (involving the evaluation morphisms at the markings) The relationship between the Gromov-Witten and stable quotient invariants of KP 2 in case 2g 2 + n > 0 is proven in [0]: (7) F GW g,n (Q(q)) = F SQ g,n(q),

7 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 7 where Q(q) is the mirror map, I KP2 (q) = log(q) + 3 d (3d )! ( q), (d!) 3 ( ) d (3d )! 3 ( q) (d!) 3 d= ( ) Q(q) = exp I KP2 (q) = q exp Again, the stable quotient theory matches the string theoretic B-model series for KP 2 In order to state the holomorphic anomaly equations, we require the following additional series in q d= L(q) = ( + 27q) 3 = 9q + 62q 2 +, C (q) = q d dq IKP2, ( A 2 (q) = 3 q d C ) dq + L3 L 3 C 2 Let T be the standard coordinate mirror to t = log(q), (8) T = I KP2 (q) Then Q(q) = exp(t ) is the mirror map The ring C[L ± ] = C[L, L ] will play basic role Since q = ( L 3 ), 27 we have C[q] C[L ± ] For the holomorphic anomaly equation, consider the free polynomial rings in the variables A 2 and C over C[L ± ], (9) C[L ± ][A 2 ], C[L ± ][A 2, C ] There are canonical maps (0) C[L ± ][A 2 ] C[[q]], C[L ± ][A 2, C ] C[[q]] given by assigning the above defined series A 2 (q) and C (q) to the variables A 2 and C respectively We may therefore consider elements of the rings (9) either as free polynomials in the variables A 2 and C or as series in q Let F (q) Q[[q]] be a series in q When we write F (q) C[L ± ][A 2 ], we mean there is a canonical lift F C[L ± ][A 2 ] for which F F (q) C[[q]]

8 8 HYENHO LHO AND RAHUL PANDHARIPANDE under the map (0) The symbol F without the argument q is the lift The notation F (q) C[L ± ][A 2, C ] is parallel Theorem For the stable quotient invariants of KP 2, (i) F SQ g (q) C[L ± ][A 2 ] for g 2, (ii) Fg SQ is of degree at most 3g 3 with respect to A 2, (iii) k Fg SQ (q) C[L ± ][A T k 2, C ] for g and k, (iv) k Fg SQ T k Here, F SQ g is homogeneous of degree k with respect to C = F SQ g,0 Theorem 2 The holomorphic anomaly equations for the stable quotient invariants of KP 2 hold for g 2: C 2 Fg SQ = g A 2 2 i= F SQ g i T F SQ i T + 2 F SQ g 2 T 2 The derivative of Fg SQ (the lift) with respect to A 2 in the holomorphic anomaly equation of Theorem 2 is well-defined since F SQ g C[L ± ][A 2 ] by Theorem part (i) By Theorem parts (ii) and (iii), F SQ g i T F SQ i T, 2 F SQ g T 2 C[L ± ][A 2, C ] are both of degree 2 in C Hence, the holomorphic anomaly equation of Theorem 2 may be viewed as holding in C[L ± ][A 2 ] since the factors of C on the left and right sides cancel The holomorphic anomaly equations here for KP 2 are exactly as presented in [2, (427)] via B- model physics Theorem 2 determines Fg SQ C[L ± ] uniquely as a polynomial in A 2 up to a constant term in C[L ± ] In fact, the degree of the constant term can be bounded (as will be seen in the proof of Theorem 2) So Theorem 2 determines Fg SQ a finite amount of data from the lower genus theory together with 05 Plan of the paper After a review of the moduli space of stable quotients in Section and the associated T-fixed point loci in Section 2, the corresponding I-functions and vertex integrals are discussed in Sections 3 and 4 The localization formula for KP 2 in the precise form

9 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 9 required for the holomorphic anomaly equation is presented in Sections 5 and 6 Theorems and 2 are proven in Section 7 At the end of paper, in Section 8, we prove a new holomorphic anomaly equation for a stable quotient theory of KP 2 with insertions parallel to (and inspired by) the recent work of Oberdieck and Pixton [32] on a cycle level holomorphic anomaly equation for the theory of an elliptic curve 06 Holomorphic anomaly for the formal quintic Let g 2 The Gromov-Witten invariants of the formal quintic theory were defined in Section 02 The associated generating series is F GW g (Q) = d=0 Ñ GW g,d Q d C[[Q]] We define the generating series of stable quotient invariants for formal quintic theory by the wall-crossing formula (3) for the true quintic theory, GW () F g (Q(q)) = I Q 0 (q) 2g 2 with respect to the true quintic mirror map ( I Q ) (q) Q(q) = exp I Q 0 (q) = q exp 5 Denote the B-model side of () by SQ F g (q) F B g (q) = I Q 0 (q) 2g 2 F SQ g (q) ( d= qd (5d)! 5d (d!) 5 r=d+ (5d)! d=0 (d!) 5 r ) In order to state the holomorphic anomaly equations, we require several series in q First, let L(q) = ( 5 5 q) 5 = + 625q + 785q 2 + Let D = q d, and let dq C 0 (q) = I Q 0, C (q) = D ( I Q ), I Q 0

10 0 HYENHO LHO AND RAHUL PANDHARIPANDE where I 0 and I and the hypergeometric series appearing in the mirror map for the true quintic theory We define K 2 (q) = DC 0, L 5 C 0 A 2 (q) = ( DC 2 L 5 5 C 5 A 4 (q) = L 0 A 6 (q) = DC 0 3 ), C 0 25 ( ( ) 2 DC0 ( ) ( ) DC0 DC 25 C 0 25 C 0 C + ( ) ) 25 D DC0 + 2, C ( ( ) ( DC0 DC D L 5 C 0 C 0 C 0 C 0 ) ( + 0D ( ) ( ) ( 2 5L ( 5 DC0 DC0 q d dq D C 0 +25D 2 ( DC0 C 0 C 0 ) ( ) ( 2 (DC ) )) DC0 25 Let T be the standard coordinate mirror to t = log(q), C 0 T = IQ (q) I Q 0 (q) Then Q(q) = exp(t ) is the mirror map Let C C[L ± ][A 2, A 4, A 6, C ± 0, C, K 2 ] be the free polynomial ring over C[L ± ] ( )) DC0 ) ) C 0 Theorem 3 For the series F B g associated to the formal quintic, (i) F B g (q) C[L ± ][A 2, A 4, A 6, C ± 0, C, K 2 ] for g 2, (ii) k F B g T k (q) C[L ± ][A 2, A 4, A 6, C ± 0, C, K 2 ] for g, k, (iii) k F B g T k is homogeneous with respect to C of degree k

11 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION Theorem 4 The holomorphic anomaly equations for the series F B g associated to the formal quintic hold for g 2: C 2 0C 2 F g B F g B K A 2 5C0C A 4 50C 2 0C 2 The equality of Theorem 4 holds in the ring F B g A 6 K 2 2 = C[L ± ][A 2, A 4, A 6, C ± 0, C, K 2 ] g F g i B F i B 2 T T + 2 B F g 2 T 2 i= Theorem 4 exactly matches 6 the conjectural holomorphic anomaly equation [2, (252)] for the true quintic theory Fg SQ Theorems 3 and 4 will be proven in [27] 07 Acknowledgments We are very grateful to I Ciocan-Fontanine, E Clader, Y Cooper, F Janda, B Kim, A Klemm, Y-P Lee, A Marian, M Mariño, D Maulik, D Oprea, Y Ruan, E Scheidegger, Y Toda, and A Zinger for discussions over the years about the moduli space of stable quotients and the invariants of Calabi-Yau geometries RP was partially supported by SNF , ERC-202-AdG MCSK, SwissMAP, and the Einstein Stiftung HL was supported by the grant ERC-202-AdG MCSK The results here were presented by HL in genus 2 at Curves on surfaces and 3-folds at the Bernoulli center in Lausanne in June 206 and in all genus at Moduli of curves, sheaves, and K3 surfaces at Humboldt University in Berlin in February 207 Stable quotients Overview We review here the basic definitions related to the moduli space of stable quotients following [29] While the quasimap theory [] is more general (and the quasimap terminology of [9, 23] will appear later in our proofs), only the original moduli spaces of stable quotients are used in the paper 6 Our functions K 2 and A 2k are normalized differently with respect to C 0 and C The dictionary to exactly match the notation of [2, (252)] is to multiply our K 2 by (C 0 C ) 2 and our A 2k by (C 0 C ) 2k

12 2 HYENHO LHO AND RAHUL PANDHARIPANDE 2 Stability Let (C, p,, p n ) be an n-pointed quasi-stable curve: C is a reduced, connected, complete, scheme of dimension with at worst nodal singularities, the markings p i are distinct and lie in the nonsingular locus p i C ns Let q be a quotient of the rank N trivial bundle C, C N O C q Q 0 If the quotient sheaf Q is locally free at the nodes and markings of C, then q is a quasi-stable quotient Quasi-stability of q implies the associated kernel, 0 S C N O C q Q 0, is a locally free sheaf on C Let r denote the rank of S Let (C, p,, p n ) be an n-pointed quasi-stable curve equipped with a quasi-stable quotient q The data (C, p,, p n, q) determine a stable quotient if the Q-line bundle (2) ω C (p + + p n ) ( r S ) ɛ is ample on C for every strictly positive ɛ Q Quotient stability implies 2g 2 + n 0 where g is the arithmetic genus of C Viewed in concrete terms, no amount of positivity of S can stabilize a genus 0 component P = P C unless P contains at least 2 nodes or markings If P contains exactly 2 nodes or markings, then S must have positive degree A stable quotient (C, q) yields a rational map from the underlying curve C to the Grassmannian G(r, N) We be will mainly interested in the projective space case here, G(, m + ) = P m, but the definitions are uniform for all Grassmannian targets 3 Isomorphism Let (C, p,, p n ) be an n-pointed curve Two quasi-stable quotients (3) C N O C q Q 0, C N O C q Q 0 on (C, p,, p n ) are strongly isomorphic if the associated kernels are equal S, S C N O C

13 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 3 An isomorphism of quasi-stable quotients φ : (C, p,, p n, q) (C, p,, p n, q ) is an isomorphism of pointed curves φ : (C, p,, p n ) (C, p,, p n) such that the quotients q and φ (q ) are strongly isomorphic Quasistable quotients (3) on the same curve (C, p,, p n ) may be isomorphic without being strongly isomorphic The following result is proven in [29] by Quot scheme methods from the perspective of geometry relative to a divisor Theorem AThe moduli space of stable quotients Q g,n (G(r, N), d) parameterizing the data (C, p,, p n, 0 S C N O C q Q 0), with rank(s) = r and deg(s) = d, is a separated and proper Deligne- Mumford stack of finite type over C 4 Structures Over the moduli space of stable quotients, there is a universal n-pointed curve (4) π : C Q g,n (G(r, N), d) with a universal quotient 0 S C N q O U C Q 0 The subsheaf S is locally free on C because of the stability condition The moduli space Q g,n (G(r, N), d) is equipped with two basic types of maps If 2g 2 > 0, then the stabilization of C determines a map ν : Q g,n (G(r, N), d) M g,n by forgetting the quotient The general linear group GL N (C) acts on Q g,n (G(r, N), d) via the standard action on C N O C The structures π, q U, ν and the evaluations maps are all GL N (C)-equivariant We will be interested in the diagonal torus action, (5) T N+ GL N (C)

14 4 HYENHO LHO AND RAHUL PANDHARIPANDE 5 Obstruction theory The moduli of stable quotients maps to the Artin stack of pointed domain curves ν A : Q g,n (G(r, N), d) M g,n The moduli of stable quotients with fixed underlying pointed curve [C, p,, p n ] M g,n is simply an open set of the Quot scheme of C The following result of [29, Section 32] is obtained from the standard deformation theory of the Quot scheme Theorem BThe deformation theory of the Quot scheme determines a 2-term obstruction theory on the moduli space Q g,n (G(r, N), d) relative to ν A given by RHom(S, Q) More concretely, for the stable quotient, 0 S C N O C q Q 0, the deformation and obstruction spaces relative to ν A are Hom(S, Q) and Ext (S, Q) respectively Since S is locally free, the higher obstructions Ext k (S, Q) = H k (C, S Q) = 0, k > vanish since C is a curve An absolute 2-term obstruction theory on the moduli space Q g,n (G(r, N), d) is obtained from Theorem B and the smoothness of M g,n, see [3, 22] The GL N (C)-action lifts to the obstruction theory, and the resulting virtual class is defined in GL N (C)-equivariant cycle theory, [Q g,n (G(r, N), d)] vir A GL N (C) (Q g,n (G(r, N), d)) Via the restriction to the torus (5), we obtain [Q g,n (G(r, N), d)] vir A T N+ (Q g,n (G(r, N), d)) 2 Localization graphs 2 Torus action Let T = (C ) m+ act diagonally on the vector space C m+ with weights λ 0,, λ m Denote the T-fixed points of the induced T-action on P m by p 0,, p m The weights of T on the tangent space T pj (P m ) are λ j λ 0,, λ j λ j,, λ j λ m There is an induced T-action on the moduli space Q g,n (P m, d) The localization formula of [22] applied to the virtual fundamental class

15 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 5 [Q g,n (P m, d)] vir will play a fundamental role our paper The T-fixed loci are represented in terms of dual graphs, and the contributions of the T-fixed loci are given by tautological classes The formulas here are standard, see [23, 29] 22 Graphs Let the genus g and the number of markings n for the moduli space be in the stable range (6) 2g 2 + n > 0 We can organize the T-fixed loci of Q g,n (P m, d) according to decorated graphs A decorated graph Γ G g,n (P m ) consists of the data (V, E, N, g, p) where (i) V is the vertex set, (ii) E is the edge set (including possible self-edges), (iii) N : {, 2,, n} V is the marking assignment, (iv) g : V Z 0 is a genus assignment satisfying g = v V g(v) + h (Γ) and for which (V, E, N, g) is stable graph 7, (v) p : V (P m ) T is an assignment of a T-fixed point p(v) to each vertex v V The markings L = {,, n} are often called legs To each decorated graph Γ G g,n (P m ), we associate the set of fixed loci of [ Qg,n (P m, d) ] vir q d d 0 with elements described as follows: (a) If {v i,, v ik } = {v p(v) = p i }, then f (p i ) is a disjoint union of connected stable curves of genera g(v i ),, g(v ik ) and finitely many points (b) There is a bijective correspondence between the connected components of C \ D and the set of edges and legs of Γ respecting vertex incidence where C is domain curve and D is union of all subcurves of C which appear in (a) We write the localization formula as [ Qg,n (P m, d) ] vir q d = Cont Γ d 0 Γ G g,n(p m ) While G g,n (P m ) is a finite set, each contribution Cont Γ is a series in q obtained from an infinite sum over all edge possibilities (b) 7 Corresponding to a stratum of the moduli space of stable curves M g,n

16 6 HYENHO LHO AND RAHUL PANDHARIPANDE 23 Unstable graphs The moduli spaces of stable quotients Q (P m, d) and Q,0 (P m, d) for d > 0 are the only 8 cases where the pair (g, n) does not satisfy the Deligne-Mumford stability condition (6) An appropriate set of decorated graphs G (P m ) is easily defined: The graphs Γ G (P m ) all have 2 vertices connected by a single edge Each vertex carries a marking All of the conditions (i)-(v) of Section 22 are satisfied except for the stability of (V, E, N, γ) The localization formula holds, [ Q (P m, d) ] vir q d (7) = Cont Γ, d Γ G (P m ) For Q,0 (P m, d), the matter is more problematic usually a marking is introduced to break the symmetry 3 Basic correlators 3 Overview We review here basic generating series in q which arise in the genus 0 theory of quasimap invariants The series will play a fundamental role in the calculations of Sections 4-7 related to the holomorphic anomaly equation for KP 2 We fix a torus action T = (C ) 3 on P 2 with weights 9 λ 0, λ, λ 2 on the vector space C 3 The T-weight on the fiber over p i of the canonical bundle (8) O P 2( 3) P 2 is 3λ i The toric Calabi-Yau KP 2 is the total space of (8) Since the quasimap invariants are independent of λ i, we are free to use the specialization (9) λ = ζλ 0, λ 2 = ζ 2 λ 0 where ζ is a primitive third root of unity Of course, we then have λ 0 + λ + λ 2 = 0, λ 0 λ + λ λ 2 + λ 2 λ 0 = 0 The specialization (9) will be imposed for our entire study of KP 2 8 The moduli spaces Q 0,0 (P m, d) and Q 0, (P m, d) are empty by the definition of a stable quotient 9 The associated weights on H 0 (P 2, O P 2()) are λ 0, λ, λ 2 and so match the conventions of Section 03

17 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 7 32 First correlators We require several correlators defined via the Euler class of the obstruction bundle, e(obs) = e(r π S 3 ), associated to the KP 2 geometry on the moduli space Q g,n (P 2, d) The first two are obtained from standard stable quotient invariants For γ i H T (P2 ), let γ ψ a,, γ n ψ an SQ g,n,d γ ψ a,, γ n ψ an SQ 0,n = = d 0 [Q g,n (P 2,d)] vir e(obs) k 0 n i= ev i (γ i )ψ a i i, q d γ ψ a,, γ n ψ an, t,, t k! SQ 0,n+k,d where, in the second series, t HT (P2 ) We will systematically use the quasimap notation 0+ for stable quotients, 0+ SQ γ ψ a,, γ n ψ an = γ ψ a,, γ n ψ an g,n,d g,n,d 0+ SQ γ ψ a,, γ n ψ an = γ ψ a,, γ n ψ an 0,n 33 Light markings Moduli of quasimaps can be considered with n ordinary (weight ) markings and k light (weight ɛ) markings 0, Q 0+,0+ g,n k (P 2, d) Let γ i H T (P2 ) be equivariant cohomology classes, and let δ j H T([C 3 /C ]) be classes on the stack quotient Following the notation of [23], we define series for the KP 2 geometry, γ ψ a,, γ n ψ an ; δ,, δ k 0+,0+ g,n k,d = [Q 0+,0+ g,n k (P2,d)] vir e(obs) 0+,0+ γ ψ a,, γ n ψ an = 0,n 0 See Sections 2 and 5 of [8] d 0 k 0 n i= ev i (γ i )ψ a i i 0,n k êv j(δ j ), j= q d 0+,0+ γ ψ a,, γ n ψ an ; t,, t, k! 0,n k,d,

18 8 HYENHO LHO AND RAHUL PANDHARIPANDE where, in the second series, t H T ([C3 /C ]) For each T-fixed point p i P 2, let e i = e(t pi (P 2 )) ( 3λ i ) be the equivariant Euler class of the tangent space of KP 2 at p i Let φ i = 3λ i j i (H λ j), φ i = e i φ i H e T(P 2 ) i be cycle classes Crucial for us are the series φi 0+,0+ S i (γ) = e i z ψ, γ, φi V ij = x ψ, φ 0+,0+ j y ψ Unstable degree 0 terms are included by hand in the above formulas For S i (γ), the unstable degree 0 term is γ pi For V ij, the unstable δ degree 0 term is ij e i (x+y) We also write 2 S(γ) = φ i S i (γ) The series S i and V ij satisfy the basic relation 2 k=0 (20) e i V ij (x, y)e j = S i(φ k ) z=x S j (φ k ) z=y x + y i=0 proven in [0] Associated to each T-fixed point p i P 2, there is a special T-fixed point locus, (2) Q 0+,0+ 0,k m (P 2, d) T,p i Q 0+,0+ 0,k m (P 2, d), where all markings lie on a single connected genus 0 domain component contracted to p i Let Nor denote the equivariant normal bundle of Q 0+,0+ 0,n k (P2, d) T,p i with respect to the embedding (2) Define γ ψ a 0+,0+,pi,, γ n ψ an ; δ,, δ k = 0,n k,d [Q 0+,0+ 0,n k (P2,d) T,p i] e(obs) e(nor) n i= ev i (γ i )ψ a i i k êv j(δ j ), In Gromov-Witten theory, a parallel relation is obtained immediately from the WDDV equation and the string equation Since the map forgetting a point is not always well-defined for quasimaps, a different argument is needed here [0] j=

19 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 9 γ ψ a 0+,0+,pi,, γ n ψ an = 0,n d 0 k 0 34 Graph spaces and I-functions q d γ ψ a 0+,0+,pi,, γ n ψ an ; t,, t k! 0,n k,β 34 Graph spaces The big I-function is defined in [8] via the geometry of weighted quasimap graph spaces We briefly summarize the constructions of [8] in the special case of (0+, 0+)-stability The more general weightings discussed in [8] will not be needed here As in Section 33, we consider the quotient associated to P 2 graph space C 3 /C Following [8], there is a (0+, 0+)-stable quasimap (22) QG 0+,0+ g,n k,d ([C3 /C ]) A C-point of the graph space is described by data ((C, x, y), (f, ϕ) : C [C 3 /C ] [C 2 /C ]) By the definition of stability, ϕ is a regular map to P = C 2 /C of class Hence, the domain curve C has a distinguished irreducible component C 0 canonically isomorphic to P via ϕ The standard C - action, (23) t [ξ 0, ξ ] = [tξ 0, ξ ], for t C, [ξ 0, ξ ] P, induces a C -action on the graph space The C -equivariant cohomology of a point is a free algebra with generator z, HC (Spec(C)) = Q[z] Our convention is to define z as the C -equivariant first Chern class of the tangent line T 0 P at 0 P with respect to the action (23), z = c (T 0 P ) The T-action on C 3 lifts to a T-action on the graph space (22) which commutes with the C -action obtained from the distinguished domain

20 20 HYENHO LHO AND RAHUL PANDHARIPANDE component As a result, we have a T C -action on the graph space and T C -equivariant evaluation morphisms ev i : QG 0+,0+ g,n k,β ([C3 /C ]) P 2, i =,, n, êv j : QG 0+,0+ g,n k,β ([C3 /C ]) [C 3 /C ], j =,, k Since a morphism f : C [C 3 /C ] is equivalent to the data of a principal G-bundle P on C and a section u of P C C 3, there is a natural morphism and hence a pull-back map C EC C C 3 f : H C ([C3 /C ]) H (C) The above construction applied to the universal curve over the moduli space and the universal morphism to [C 3 /C ] is T-equivariant Hence, we obtain a pull-back map êv j : H T(C 3, Q) Q Q[z] H T C (QG0+,0+ g,n k,β ([C3 /C ]), Q) associated to the evaluation map êv j 342 I-functions The description of the fixed loci for the C -action on QG 0+,0+ g,0 k,d ([C3 /C ]) is parallel to the description in [7, 4] for the unweighted case In particular, there is a distinguished subset M k,d of the C -fixed locus for which all the markings and the entire curve class d lie over 0 P The locus M k,d comes with a natural proper evaluation map ev obtained from the generic point of P : We can explicitly write ev : M k,d C 3 /C = P 2 M k,d = Md 0 k M d (P ) k, where M d is the C -fixed locus in QG 0+ 0,0,d ([C3 /C ]) for which the class d is concentrated over 0 P The locus M d parameterizes quasimaps of class d, f : P [C 3 /C ], with a base-point of length d at 0 P The restriction of f to P \ {0} is a constant map to P 2 defining the evaluation map ev

21 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 2 As in [6, 7, ], we define the big I-function as the generating function for the push-forward via ev of localization residue contributions of M k,d For t H T ([C3 /C ], Q) Q Q[z], let where Nor vir M k,d Res Mk,d (t k ) = = k j= êv j(t) Res Mk,d [QG 0+,0+ g,0 k,d ([C3 /C ])] vir k j= êv j(t) [M k,d ] vir, e(nor vir M k,d ) is the virtual normal bundle Definition 5 The big I-function for the (0+, 0+)-stability condition, as a formal function in t, is I(q, t, z) = q d ( ) k! ev Res Mk,d (t k ) d 0 k Evaluations Let H HT ([C3 /C ]) and H HT (P2 ) denote the respective hyperplane classes The I-function of Definition 5 is evaluated in [8] Proposition 6 For t = t H HT ([C3 /C ], Q), 3d (24) I(t) = q d e t(h+dz)/z k=0 ( 3H kz) 2 d i=0 k= (H λ i + kz) d=0 We return now to the functions S i (γ) defined in Section 33 Using Birkhoff factorization, an evaluation of the series S(H j ) can be obtained from the I-function, see [23]: (25) S() = I, S(H) = S(H 2 ) = z d S() dt z d S(), dt t=0,h=,z= z d S(H) dt z d S(H) dt t=0,h=,z= For a series F C[[ z ]], the specialization F z= denotes constant term of F with respect to z 344 Further calculations Define small I-function I(q) H T(P 2, Q)[[q]]

22 22 HYENHO LHO AND RAHUL PANDHARIPANDE by the restriction I(q) = I(q, t) t=0 Define differential operators D = q d dq, M = H + zd Applying z d to I and then restricting to t = 0 has same effect as dt applying M to I [ ( z d ) ] k I = M k I dt t=0 The function I satisfies following Picard-Fuchs equation ( ) (26) M 3 λ qM(3M + z)(3m + 2z) I = 0 implied by the Picard-Fuchs equation for I, ( ( z d ) 3 ( λ q z d ) ( ( 3 z d ) + z dt dt dt ) ( 3 ( z d ) + 2z) ) I = 0 dt The restriction I H=λi admits following asymptotic form ( ) ( ) ) 2 I H=λi = e µλ i/z z (27) (R 0 + R + R 2 + zλi λ i with series µ, R k C[[q]] A derivation of (27) is obtained in [33] via the Picard-Fuchs equation (26) for I H=λi The series µ and R k are found by solving differential equations obtained from the coefficient of z k For example, + Dµ = L, R 0 =, R = 8 ( L2 ), R 2 = 648 ( 24L 2L2 + 25L 4 ), where L(q) = ( + 27q) /3 The specialization (9) is used for these results In [33], the authors study the I-functions 2 related to Calabi-Yau hypersurfaces in P m The local geometry KP 2 here has a slightly different I-function from the function F in [33] for the cubic in P 2 More 2 The I-function is F in the notation of [33]

23 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 23 precisely, F (q) = I( q) We can either apply the methods of [33] to our I-functions, or we can just take account of the difference between the two I-functions (which amounts to a shifting of indices) The latter is easier Define the series C and C 2 by the equations (28) C = z d dt S() z=,t=0,h=, C 2 = z d dt S(H) z=,t=0,h= C 0 = z d dt S(H2 ) z=,t=0,h= The above series are equal (up to sign) to I 0, I and I 2 respectively in the notation of [33] for the cubic in P 2 The following relations were proven in [33], (29) C 0 C C 2 = ( + 27q), C 0 = C From the equations (25) and (27), we can show the series S i () = S() H=λi, S i (H) = S(H) H=λi, S i (H 2 ) = S(H 2 ) H=λi have the following asymptotic expansions: ( S i () = e µλ i ( z ) ( z ) ) 2 z R 00 + R 0 + R02 +, λ i λ i S i (H) = e µλ i Lλ ( i ( z ) ( z ) ) 2 (30) z R 0 + R + R2 +, C λ i λ i S i (H 2 ) = e µλ i z L 2 λ 2 ( ( i z ) ( z ) 2 R 20 + R 2 + R22 + ) C C 2 λ i λ i We follow here the normalization of [33] Note R 0k = R k As in [33, Theorem 4], we obtain the following constraints Proposition 7 (Zagier-Zinger [33]) For all k 0, we have R k C[L ± ] Similarly, we also obtain results for S(H) H=λi and S(H 2 ) H=λi

24 24 HYENHO LHO AND RAHUL PANDHARIPANDE Lemma 8 For all k 0, we have R k C[L ± ], with Q 2k C[L ± ] and X = DC C R 2k = Q 2k R k L X, 35 Determining DX Using Birkhoff factorization of (25) further, we have (3) S(H 3 ) = z d dt S(H2 ) z d dt S(H2 ) t=0,h=,z= Since H 3 = λ 3 0 with the specialization (9), we have S() = λ 3 0 S(H 3 ) From (25) and (3), we obtain the following result Lemma 9 We have R p+ = R 0 p+ + DR 0p L, R 2 p+ = R p+ + DR p L + R 0 p+ = R 2 p+ + DR 2p L After setting p = in Lemma 9, we find ( DL L X ) R 2 p, L ( DL L X ) R 2 2p L (32) X 2 (L 3 )X + DX 2 9 (L3 ) = 0 By the above result, the differential ring (33) C[L ± ][X, DX, DDX, ] is just the polynomial ring C[L ± ][X] We can find the value of R 2k in terms of R k using Lemma 9 R 2 p+2 = R p DR p+ L + DL ( L R 2 p+ + D2 R p Rp+ L 2 L + DR ) p X L 2

25 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 25 4 Higher genus series on M g,n 4 Intersection theory on M g,n We review here the now standard method used by Givental [20, 2, 26] to express genus g descendent correlators in terms of genus 0 data Let t 0, t, t 2, be formal variables The series T (c) = t 0 + t c + t 2 c 2 + in the additional variable c plays a basic role The variable c will later be replaced by the first Chern class ψ i of a cotangent line over M g,n, T (ψ i ) = t 0 + t ψ i + t 2 ψ 2 i +, with the index i depending on the position of the series T in the correlator Let 2g 2 + n > 0 For a i Z 0 and γ H (M g,n ), define the correlator ψ a,, ψ an γ g,n = k 0 γ ψ a ψn an k! M g,n+k In the above summation, the k = 0 term is γ ψ a ψn an M g,n k T (ψ n+i ) We also need the following correlator defined for the unstable case,, = k>0 k! M +k k T (ψ 2+i ) For formal variables x,, x n, we also define the correlator x ψ,, (34) γ x n ψ in the standard way by expanding x i ψ Denote by L the differential operator L = t 0 i= t i i= g,n i= as a geometric series = t t 2 t i t 0 t 0 t The string equation yields the following result

26 26 HYENHO LHO AND RAHUL PANDHARIPANDE Lemma 0 For 2g 2 + n > 0, we have L,, γ g,n = 0 and L x ψ,, γ = x n ψ g,n ( + + ) x x n x ψ, γ x n ψ g,n After the restriction t 0 = 0 and application of the dilaton equation, the correlators are expressed in terms of finitely many integrals (by the dimension constraint) For example,,, 0,3 t0 =0 =, t,,, 0,4 t0 =0 = t 2 ( t ) 3,,,,, 0,5 t0 =0 =,,,,, 0,6 t0 =0 = t 3 ( t ) + 3t2 2 4 ( t ), 5 t 4 ( t ) + 0t 2t 3 5 ( t ) + 5t3 2 6 ( t ) 7 We consider C(t )[t 2, t 3, ] as Z-graded ring over C(t ) with deg(t i ) = i for i 2 Define a subspace of homogeneous elements by [ ] C [t 2, t 3, ] Hom C(t )[t 2, t 3, ] t We easily see [ ] ψ a,, ψ an γ g,n t0 =0 C [t 2, t 3, ] Hom t Using the leading terms (of lowest degree in ( t ), we obtain the ) following result Lemma The set of genus 0 correlators { },, 0,n t0 =0 n 4 freely generate the ring C(t )[t 2, t 3, ] over C(t ) By Lemma, we can find a unique representation of ψ a,, ψ an g,n t0 =0 in the variables { } (35),, 0,n t0 =0 n 3

27 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 27 The n = 3 correlator is included in the set (35) to capture the variable t For example, in g =,,,2 t0 =0 = (,,,, 0,5 t0 =0,,, ) 2 0,4 t0 =0, 24,, 0,3 t0 =0,, 2 0,3 t0 =0, t0 =0 =,,, 0,4 t0 =0 24,, 0,3 t0 =0 A more complicated example in g = 2 is,,,,, 0,6 t0 =0 2,0 t0 =0 = 52,, 0,3 2 t 0 =0 7,,,, 0,5 t0 =0,,, 0,4 t0 =0 920,, 0,3 3 t 0 =0 +,,, 0,4 3 t 0 =0 360,, 0,3 4 t 0 =0 Definition 2 For γ H (M g,k ), let P a,,a n,γ g,n (s 0, s, s 2, ) Q(s 0, s, ) be the unique rational function satisfying the condition ψ a,, ψ an γ g,n t0 =0 = P a,a 2,,a n,γ g,n si =,, 0,i+3 t0 =0 Proposition 3 For 2g 2 + n > 0, we have,, γ g,n = P 0,,0,γ g,n si =,, 0,i+3 Proof Both sides of the equation satisfy the differential equation L = 0 By definition, both sides have the same initial conditions at t 0 = 0 Proposition 4 For 2g 2 + n > 0,,, γ = x ψ x n ψ n g,n e, ( i ) Pa,,an,γ g,n si =,, x 0,i+3 i a,,a n x a + x an+ n Proof Both sides of the equation satisfy differential equation L = 0 x i i Both sides have the same initial conditions at t 0 = 0 We use here L, =,, t0 =0 = 0

28 28 HYENHO LHO AND RAHUL PANDHARIPANDE There is no conflict here with Lemma 0 since (g, n) = (0, 2) is not in the stable range 42 The unstable case (0, 2) The definition given in (34) of the correlator is valid in the stable range 2g 2 + n > 0 The unstable case (g, n) = (0, 2) plays a special role We define, x ψ x 2 ψ 2 by adding the degenerate term x + x 2 to the terms obtained by the expansion of x i ψ i as a geometric series The degenerate term is associated to the (unstable) moduli space of genus 0 with 2 markings Proposition 5 We have, x ψ x 2 ψ 2 = e, ( + x ) ( ) x 2 x + x 2 Proof Both sides of the equation satisfy differential equation 2 L = 0 x i i= Both sides have the same initial conditions at t 0 = 0 43 Local invariants and wall crossing The torus T acts on the moduli spaces M g,n (P 2, d) and Q g,n (P 2, d) We consider here special localization contributions associated to the fixed points p i P 2 Consider first the moduli of stable maps Let M g,n (P 2, d) T,p i M g,n (P 2, d) be the union of T-fixed loci which parameterize stable maps obtained by attaching T-fixed rational tails to a genus g, n-pointed Deligne- Mumford stable curve contracted to the point p i P 2 Similarly, let Q g,n (P 2, d) T,p i Q g,n (P 2, d) be the parallel T-fixed locus parameterizing stable quotients obtained by attaching base points to a genus g, n-pointed Deligne-Mumford stable curve contracted to the point p i P 2

29 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 29 Let Λ i denote the localization of the ring C[λ ± 0, λ ±, λ ± 2 ] at the three tangent weights at p i P 2 Using the virtual localization formula [22], there exist unique series S pi Λ i [ψ][[q]] for which the localization contribution of the T-fixed locus M g,n (P 2, d) T,p i to the equivariant Gromov-Witten invariants of KP 2 can be written as d=0 Here, H p i g (36) Q d [M g,n(kp 2,d) T,p i] vir ψ a ψ an n = k=0 is the standard vertex class, e(e g T pi (P 2 )) e(t pi (P 2 )) H p i g ψ a ψn an k! M g,n+k e(e g ( 3λ i )) ( 3λ i ), k S pi (ψ n+j ) obtained the Hodge bundle E g M g,n+k Similarly, the application of the virtual localization formula to the moduli of stable quotients yields classes F pi,k H (M g,n k ) C Λ i for which the contribution of Q g,n (P 2, d) T,p i d=0 q d [Q g,n (KP 2,d) T,p i] vir ψ a ψ an n = k=0 is given by j= q k H p i g ψ a ψn an F pi,k k! M g,n k Here M g,n k is the moduli space of genus g curves with markings {p,, p n } {ˆp ˆp k } C ns C satisfying the conditions (i) the points p i are distinct, (ii) the points ˆp j are distinct from the points p i, with stability given by the ampleness of m k ω C ( p i + ɛ ˆp j ) i= j=

30 30 HYENHO LHO AND RAHUL PANDHARIPANDE for every strictly positive ɛ Q The Hodge class H p i g is given again by formula (36) using the Hodge bundle E g M g,n k Definition 6 For γ H (M g,n ), let ψ a,, ψn an γ p i, g,n = ψ a,, ψn an γ p i,0+ g,n = k=0 k=0 γ ψ a ψn an k! M g,n+k q k k! k S pi (ψ n+j ), j= M g,n k γ ψ a ψ an n F pi,k Proposition 7 (Ciocan-Fontanine, Kim [0]) For 2g 2 + n > 0, we have the wall crossing relation ψ a,, ψn an γ p i, g,n (Q(q)) = ψ a,, ψn an where Q(q) is the mirror map Q(q) = exp(i KP2 (q)) γ p i,0+ g,n (q) Proposition 7 is a consequence of [0, Lemma 55] The mirror map here is the mirror map for KP 2 discussed in Section 04 Propositions 3 and 7 together yield (,, γ p i, g,n = P 0,,0,γ g,n,, p i, 0,3,,,, p i, 0,4, ), (,, γ p i,0+ g,n = P 0,,0,γ g,n,, p i,0+ 0,3,,,, p i,0+ 0,4, ) Similarly, using Propositions 4 and 7, we obtain x ψ,, pi, γ = x n ψ ( e, p i, ) i Pa,,an,γ xi g,n a,,a n (37) x ψ,, x n ψ ( e, p i,0+ ) i Pa,,an,γ xi g,n a,,a n g,n (,, p i, 0,3,,,, p i, 0,4, ) pi,0+ γ g,n x a + x an+ n = (,, p i,0+ 0,3,,,, p i,0+ 0,4, ) x a + x an+ n,

31 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 3 5 Higher genus series on KP 2 5 Overview We apply the localization strategy introduced first by Givental [20, 2, 26] for Gromov-Witten theory to the stable quotient invariants of local P 2 The contribution Cont Γ (q) discussed in Section 2 of a graph Γ G g (P 2 ) can be separated into vertex and edge contributions We express the vertex and edge contributions in terms of the series S i and V ij of Section Edge terms Recall the definition 3 of V ij given in Section 33, φi (38) V ij = x ψ, φ 0+,0+ j y ψ Let V ij denote the restriction of V ij to t = 0 Via formula (7), V ij is a summation of contributions of fixed loci indexed by a graph Γ consisting of two vertices connected by a unique edge Let w and w 2 be T-weights Denote by V w,w 2 ij the summation of contributions of T-fixed loci with tangent weights precisely w and w 2 on the first rational components which exit the vertex components over p i and p j The series V w,w 2 ij includes both vertex and edge contributions By definition (38) and the virtual localization formula, we find the following relationship between V w,w 2 ij and the corresponding pure edge contribution E w,w 2 ij, e i V w,w 2 ij e j = =, p i,0+ e a,a 2 pi,0+ pj,0+ w ψ, E w,w 2 ij x ψ w 2 ψ, x 2 ψ p, i,0+ = e +, p i,0+ x w +, p j,0+ w x E w,w 2 ij w + x, p j,0+ +, x e 2, p i,0+ +, w e 2 x 2 p j,0+ w 2 + x 2 p j,0+ w 2 ( ) a +a 2 E w,w 2 ij After summing over all possible weights, we obtain ) δ ij e i (V ij e j = e i V w,w 2 ij e j e i (x + y) w,w 2 w a w a 2 2 The above calculations immediately yield the following result 3 We use the variables x and x 2 here instead of x and y x a x a 2 2

32 32 HYENHO LHO AND RAHUL PANDHARIPANDE Lemma 8 We have [ e, p i,0+ x e, p j,0+ x 2 e i (V ij w,w 2 e ) ] δ ij e j = e i (x + y) x a x a 2 2, p i,0+, p j,0+ w w e 2 ( ) a +a 2 E w,w 2 ij w a w a 2 2 The notation [ ] a x x a 2 in Lemma 8 denotes the coefficient of 2 x a x a 2 2 in the series expansion of the argument 53 A simple graph Before treating the general case, we present the localization formula for a simple graph 4 Let Γ G g (P 2 ) consist of two vertices and one edge, v, v 2 Γ(V ), with genus and T-fixed point assignments e Γ(E) g(v i ) = g i, p(v i ) = p i Let w and w 2 be tangent weights at the vertices p and p 2 respectively Denote by Cont Γ,w,w 2 the summation of contributions to (39) q [ d Q g (KP 2, d) ] vir d>0 of T-fixed loci with tangent weights precisely w and w 2 on the first rational components which exit the vertex components over p and p 2 We can express the localization formula for (39) as which equals a,a 2 e where H p i g i w ψ, p,0+ w [ P [ P ψ k,, ψn kn and applied (37) H p ψ a g p,0+ H p w a g, ] p,0+ g g, E w,w 2 2 E w,w 2 2 e w 2 ψ, p 2,0+ w 2 H p 2 g 2 p2,0+ [ P ψ a 2 g 2, H p 2 w a 2 2 ] p2,0+ g 2 g 2, is the Hodge class (36) We have used here the notation ] H p pi,0+ i = h h,n P k,,k n,h p i h h, 4 We follow here the notation of Section 2 (,, p i,0+ 0,3,,,, p i,0+ 0,4, )

33 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 33 After summing over all possible weights w, w 2 and applying Lemma 8, we obtain the following result for the full contribution Cont Γ = w,w 2 Cont Γ,w,w 2 of Γ to d 0 qd [ Q g (KP 2, d) ] vir Proposition 9 We have Cont Γ = a,a 2 >0 ( ) a +a 2 [ [ P ψ a H p i ] pi,0+ g g, [ P e, p i,0+ x e, p j,0+ ψ a 2 H p j x 2 e i (V ij ] pj,0+ g 2 g 2, ) ] δ ij e j e i (x + x 2 ) x a x a A general graph We apply the argument of Section 53 to obtain a contribution formula for a general graph Γ Let Γ G g,0 (P 2 ) be a decorated graph as defined in Section 2 The flags of Γ are the half-edges 5 Let F be the set of flags Let w : F Hom(T, C ) Z Q be a fixed assignment of T-weights to each flag We first consider the contribution Cont Γ,w to q [ d Q g (KP 2, d) ] vir d 0 of the T-fixed loci associated Γ satisfying the following property: the tangent weight on the first rational component corresponding to each f F is exactly given by w(f) We have (40) Cont Γ,w = Aut(Γ) A Z F >0 v V Cont A Γ,w(v) e E The terms on the right side of (40) require definition: Cont Γ,w (e) The sum on the right is over the set Z F >0 of all maps A : F Z >0 corresponding to the sum over a, a 2 in Proposition 9 5 Flags are either half-edges or markings

34 34 HYENHO LHO AND RAHUL PANDHARIPANDE For v V with n incident flags with w-values (w,, w n ) and A-values (a, a 2,, a n ), [ ] P ψ a Cont A,, ψn an p(v),0+ H p(v) g(v) g(v),n Γ,w(v) = w a wn an For e E with assignments (p(v ), p(v 2 )) for the two associated vertices 6 and w-values (w, w 2 ) for the two associated flags, Cont Γ,w (e) = e, p(v ),0+, p(v 2 ),0+ w w e 2 E w,w 2 p(v ),p(v 2 ) The localization formula then yields (40) just as in the simple case of Section 53 By summing the contribution (40) of Γ over all the weight functions w and applying Lemma 8, we obtain the following result which generalizes Proposition 9 Proposition 20 We have Cont Γ = Aut(Γ) A Z F >0 v V Cont A Γ(v) e E Cont A Γ(e), where the vertex and edge contributions with incident flag A-values (a,, a n ) and (b, b 2 ) respectively are [ ] Cont A Γ(v) = P ψ a,, ψn an p(v),0+ H p(v) g(v), g(v),n [ Cont A Γ(e) = ( ) b +b 2 x e, p(v 2 ),0+ x 2 e i (V ij e, p(v ),0+ where p(v ) = p i and p(v 2 ) = p j in the second equation 55 Legs Let Γ G g,n (P 2 ) be a decorated graph with markings While no markings are needed to define the stable quotient invariants of KP 2, the contributions of decorated graphs with markings will appear in the proof of the holomorphic anomaly equation The formula for the contribution Cont Γ (H k,, H kn ) of Γ to d 0 q d n j=0 is given by the following result 6 In case e is self-edge, v = v 2 ev (H k j ) [ Q g,n (KP 2, d) ] vir ) ] e j e i (x + y) x b x b 2 2,

35 STABLE QUOTIENTS AND THE HOLOMORPHIC ANOMALY EQUATION 35 Proposition 2 We have Cont Γ (H k,, H kn ) = Aut(Γ) A Z F >0 where the leg contribution is Cont A Γ(l) = ( ) A(l) [ v V Cont A Γ(v) e E Cont A Γ(e) l L e, p(l),0+ z S p(l) (H k l ) The vertex and edge contributions are same as before ] Cont A Γ(l), z A(l) The proof of Proposition 2 follows the vertex and edge analysis We leave the details as an exercise for the reader The parallel statement for Gromov-Witten theory can be found in [20, 2, 26] 6 Vertices, edges, and legs 6 Overview Using the results of Givental [20, 2, 26] combined with wall-crossing [0], we calculate here the vertex and edge contributions in terms of the function R k of Section Calculations in genus 0 We follow the notation introduced in Section 4 Recall the series T (c) = t 0 + t c + t 2 c 2 + Proposition 22 (Givental [20, 2, 26]) For n 3, we have,, p i, 0,n = ( ) T (ψ n+ ) T (ψ n+k ) k! M 0,n+k k 0 where the functions Q l are defined by S φi pi, i () = e i z ψ, = e, z p i, t 0 =0,t =0,t j 2 =( ) j Q j λ j i ( ( ) ) l z Q l λ i The existence of the above asymptotic expansion of S i () can also be proven by the argument of [7, Theorem 54] Similarly, we have an asymptotic expansion of S i (), ( S i () = e, p i,0+ ( ) ) l z z R l λ i l=0 l=0

36 36 HYENHO LHO AND RAHUL PANDHARIPANDE By (30), we have, p i,0+ = µλ i After applying the wall-crossing result of Proposition 7, we obtain,, p i, 0,n (Q(q)) =,, p i,0+ 0,n (q), S i ()(Q(q)) = S i ()(q), where Q(q) is mirror map for KP 2 as before By comparing asymptotic expansions of S i () and S i (), we get a wall-crossing relation between Q l and R l, Q l (Q(q)) = R l (q) We have proven the following result Proposition 23 For n 3, we have,, p i,0+ 0,n = ( ) T (ψ n+ ) T (ψ n+k ) k! M 0,n+k k 0 Proposition 23 immediately implies the evaluation (4),, p i,0+ 0,3 = t 0 =0,t =0,t j 2 =( ) j R j λ j i Another simple consequence of Proposition 23 is the following basic property Corollary 24 For n 3, we have,, p i,0+ 0,n C[R, R 2, ][λ i ] 63 Vertex and edge analysis By Proposition 20, we have decomposition of the contribution to Γ G g (P 2 ) to the stable quotient theory of KP 2 into vertex terms and edge terms Cont Γ = Cont A Aut(Γ) Γ(v) Cont A Γ(e) v V e E A Z F >0 Lemma 25 We have Cont A Γ(v) C(λ 0, λ, λ 2 )[L ± ] Proof By Proposition 20, Cont A Γ(v) = P [ ψ a,, ψ an n H p(v) g(v) ] p(v),0+ g(v),n The right side of the above formula is a polynomial in the variables { } and,, p(v),0+,, p(v),0+ 0,n t0 =0 n 4 0,3