arxiv: v3 [math.ag] 12 Sep 2013

Transcription

1 RING AND HOLOMORPHIC ANOMALY EQUATION arxiv: v3 [math.ag] 12 Sep 2013 SHINOBU HOSONO Abstract. We study certain differential rings over the moduli space of Calabi- Yau manifolds. In the case of an elliptic curve, we observe a close relation to the differential ring of quasi-modular forms due to Kaneko-Zagier[23]. 1. Introduction Since the pioneering work by Candelas, de la Ossa, Green and Parkes[8] in 1991, the theory of variation of Hodge structures has been one of the indispensable tools in the study of mirror symmetry of Calabi-Yau manifolds and its application to Gromov-Witten theory or enumerative geometry on Calabi-Yau manifolds. In particular, in the generalization due to Bershadsky, Cecotti, Ooguri and Vafa () to higher genus Gromov-Witten potentials, the theory of variation of Hodge structures was combined with a framework which is called t-t geometry [9]. t-t geometry is a deformation theory of N = 2 supersymmetric quantum field theory in two dimensions, and there is a natural hermitian (real) structure in the space of observables. identifies this hermitian structure with the hermitian structure over the moduli space of Calabi-Yau manifolds given by the Weil-Petersson metric, and have proposed a profound recursive relation, called holomorphic anomaly equation, for higher genus Gromov-Witten potentials. In case of dimension one, i.e. for elliptic curves, the counting problem and higher genus Gromov-Witten potentials have been determined by Dijkgraaf [11] in 1995, where it was remarked that theory is closely related to the theory of elliptic quasi-modular forms. In the same proceedings volume as [11], Kaneko and Zagier have presented a general theory of quasi-modular forms introducing the (differential) ring of almost holomorphic modular forms. It is also found in [21] that, for an rational elliptic surface, the higher genus Gromov-Witten potentials are expressed by quasi-modular forms, extending the genus zero result by [25],[26]. For Calabi-Yau threefolds, it has been expected that the holomorphic anomaly equation is defined over a certain differential ring which generalizes the almost holomorphic elliptic modular forms due to Kaneko and Zagier. Recently, in physics literatures, Yamaguchi and Yau [32] and later Alim and Länge [2] have made important developments toward the structure of the expected differential ring of Calabi-Yau threefolds (, see also [1],[15]). In this paper, to make a parallel argument to the theory due to Kaneko and Zagier, we introduce three different 1

2 2 S. HOSONO differential rings R 0, RΓ and Rhol over the moduli space of Calabi- Yau threefolds. We call these differential rings simply rings 1. Our rings R Γ and Rhol, should be regarded as a natural generalization of the ring of almost holomorphic modular forms and quasi-modular forms, respectively, and may be recognized in the original work[5] and more explicitly in recent physics literatures[32],[2],[1],[15]. WewillintroduceanotherformoftheringR 0 and observe that, with this ring, our parallelism to Kaneko-Zagier theory becomes complete. Here we summarize briefly the theory of quasi-modular forms due to Kaneko and Zagier. Kaneko-Zagier[23] starts from a ring (1.1) C[[τ]] [ 1 ], τ τ with τ in the upper-half plane, and the standard modular group action, τ aτ+b cτ+d. Inside this large ring, one first considers the almost modular forms M(Γ) k of weight k as almost holomorphic functions F(τ, τ) on the upper-half plane which transforms like a modular form of weight k; F ( aτ +b aτ +b), = (cτ +d) k F(τ, τ). cτ +d cτ +d Then the ring of the almost holomorphic modular forms M(Γ) = k 0 M(Γ)k becomes a differential ring under D τ : M(Γ) k M(Γ) k+2, with D τ := ( 1 2πi τ + ) k τ τ. Elementsof M(Γ)haveanexpansionF = m 0 c m(τ) ( 1 m, τ τ) and by taking the first coefficient c 0 (τ) we obtain holomorphic objects. Kaneko-Zagier shows that this map defines a (differential) ring isomorphism ϕ : M(Γ) M(Γ), where M(Γ) = C[E 2 (τ),e 4 (τ),e 6 (τ)] is the ring of the quasi-modular forms with the differential τ := 1 2πi τ. Our observation here is that the ring (1.1) is defined by the Kähler geometry on the upper-half plane, and has a natural generalization to the Weil-Petersson geometry on the moduli space of Calabi-Yau manifolds. Based on this, we will introduce our ring R 0 in terms of purely geometric data, and subsequently introduce other forms of the ring, R Γ, Rhol. We may schematically write our parallelism of the rings to the relevant rings in Kaneko-Zagier theory: C[[τ]] [ 1 ] τ τ R 0 M(Γ) R Γ ϕ M(Γ) t R hol. As one see in the arrow R 0 RΓ, instead of, the relations shown in this diagram are not exact correspondences but should be understood simply as parallelism. In fact, in our ring, following [5], we work with mermorphic sections of certain bundles instead of (almost) holomorphic forms in Kaneko-Zagier theory. Details will be described in the text, however it should be helpful to have this schematic diagram in mind. 1 Although, for simplicity, we use this terminology in this paper, we can call these rings differential rings on the moduli spaces as just defined.

3 RING AND HOLOMORPHIC ANOMALY EQUATION 3 The main result of this paper is the introduction of the ring R 0 (Definition 3.3, Theorem 3.5) and making the parallelism to Kaneko-Zagier theory of quasi-modular forms complete. Construction of this paper is as follows. To make the paper self-contained, in section 2, we review the geometry of the moduli space of Calabi-Yau manifold, which is called special Kähler geometry, and set up our notations. In section 3, we define our rings. In subsection (3-1), we introduce the first form of our (differential) ring R 0 based on the special Kähler geometry (Definition 3.1, Theorem 3.5). We remark that the ring R 0 is infinitely generated, however there is a natural reduction R 0,red to a finitely generated ring. In (3-2), we consider modular (monodromy) property of the ring and we will define a differential ring R Γ as the ring of monodromy invariants. We, then, understand in our framework the process of fixing a holomorphic(mermorphic) ambiguities in the propagator functions given in the section 6.3 of [5]. In (3-3), rings R 0 and R Γ will be determined explicitly for an elliptic curve. There we provide a precise relation to the theory of quasi-modular forms (Propositions 3.11, 3.12). In (3-4), the final form R hol is defined under a choice of a symplectic basis of the middle dimensional homology group. In section 4, toward an application to the holomorphic anomaly equation, we introduce the holomorphic anomaly equation in the form appeared in [32],[2]. Considering holomorphic anomaly equation in the reduced ring R 0,red we note that the equation simplifies to a system of linear differential equation (Proposition 4.3) which is easy to handle. Conclusions and discussion are given in section 5. There, the equivalence of the modular anomaly equation in [21] to holomorphic anomaly equation is also announced. Acknowledgments: The main result of this paper was announced in the workshop Number Theory and Physics at the Crossroads, Sep , 2008 at Banff International Research Station. The author would like to thank the organizers for providing a wonderful research environment there. He also would like to thank M.-H. Saito for valuable discussions. This work is supported in part by Grant-in Aid Scientific Research (C ). 2. Special Kähler geometry on deformation spaces (2-1) Period integrals. Let us consider a family of Calabi-Yau 3-folds Y = {Y x } over a small complex domain B with fibers Y x (x B). As such a family, we will consider hypersurfaces or complete intersections in projective toric varieties, and assume that the local family eventually extends to a family over a toric variety M (= P Sec(Σ) with the secondary fan, see eg. [12]). We also assume that dimm = dimh 2,1 (Y x0 ) for a smooth Y x0. We fix a smooth Y x0 (x 0 B) as above. We denote the cohomology H 3 (Y x0,z) by H x0 and write the symplectic form there by (2.1) u,v := 1 u v. Y x0 We choose a symplectic basis {α I,β J } 0 I,J r satisfying α I,β J = δ J I, α I,α J = β I,β J = 0, and we denote its dual homology basis by {A I,B J } 0 I,J r (r :=

4 4 S. HOSONO dimh 2,1 (Y x0 )). With respect to this basis, we write the symplectic form ( ) 0 E Q =, E 0 where E = E r+1 represents the unit matrix of size (r +1). We define the period domain D = {[ω] P(H x0 C) ω,ω = 0, ω,ω > 0}. We choose a holomorphic three form of the fiber Y x (x B) and denote it by Ω x := Ω(Y x ). Then the period map P 0 : B D is defined by P 0 (x) = [ ( I A I Ω x ) α I + J ( B J Ω x ) β J]. Using path-dependent identification H 3 (Y x,z) = H 3 (Y x0,z), we may globalize this periodmap on B to M byintroducing acoveringspace M. We denote the resulting periodmapp : M D andassumeγ Sp(2r+2,Z)asthe coveringgroup. Inthis paper, we will write the period map P(x) = [ ω(x) ] (or P 0 (x) = [ ω(x) ] (x B)) with the notations for the period integrals, ω(x) = X I (x)α I + P J (x)β J. I J We write by U the restriction to D of the tautological line bundle O( 1) over P(H x0 C). We then set L = P U, i.e., the pullback to M. Complex conjugate of L will be denoted by L. The sections of L n L m will be often referred to as sections of weight (n, m). The period integral ω(x) may be considered as a section of L, and thus has weight (1,0). (2-2) Prepotential. The symplectic form (2.1) naturally induces one form θ on D by θ := dω,ω. With this one form, (D,θ) becomes a holomorphic contact manifold of dimension 2r + 1. Since locally, the period map P 0 : B D is an embedding [6][30][31] and also θ P0(B) = 0 due to Griffiths transversality, we know that the image of the period map P 0 is a Legendre submanifold. Combining this with Gauss correspondence in projective geometry, it is found in general [7] that the image of the period map P 0 can be recovered by the half of the period integrals X I (x) = A I Ω x. More concretely, it is known that: 1) The map x [X 0 (x),,x r (x)] P r is an local isomorphism B P r, 2) Integratingθ P0(B) = 0onB, wecanwritetheotherhalfoftheperiodintegrals, P J (x) = F(XI ) X J (J = 0,1,,r), in terms of a holomorphic function F(X) called prepotential. The function F(X) is an holomorphic function of X 0 (x),, X r (x) and has the following homogeneous property r X I (x) F X I = 2F(X). I=0 This potential function exists locally for the small domain B. When globalizing the above local arguments to M, we naturally see that the monodromy group Γ plays a role for the definition of F(X) (see below). The group action of Γ is referred to as duality transformation in physics(, see e.g. [10] and references therein). Here

5 RING AND HOLOMORPHIC ANOMALY EQUATION 5 we remark that the holomorphic prepotential has a simple relation to the so-called Griffiths-Yukawa coupling of the family {Y x } x B ; (2.2) Ω x r X I X J X K 3 F(X) Y x x i x j x kω x = x i x j x k X I X J X K, I,J,K=0 where the l.h.s. is will be written by C ijk (x) hereafter. We denote C ī j k the complex conjugate of C ijk (x). (2-3) Period matrix (1). The most important object to introduce the anomaly equation is the classical period matrix. For simplicity, let us assume that our family {Y x } is given by a family of hypersurfaces in a (smooth) toric variety P 4 Σ, with the parameter x = (x1,x 2,,x r ) compactified to a toric variety M. We then consider A q k, the set of rational q forms on P4 Σ with a pole order less than k along Y x, and set the cohomology group H k = A 4 k/da 3 k 1. Obviously we have H 1 H 2, and, in fact, this stabilizes at H 4 (= H 5 = ) to the rational 4 forms H of poles along Y x. We note that, for 3-folds, the tubular map τ : H 3 (Y x,z) H 4 (P Σ \Y x,z) is an isomorphism ([Gr, Proposition 3.5]), and is related to the Poincaré residue map R : H H 3 (Y x,c) along Y x by ω = R(ω) (ω H k ). τ(γ) γ This residue map is an isomorphism, and more precisely, maps the filtration H 1 H 2 H 3 H 4 to the Hodge filtration F 3,0 F 3,1 F 3,2 F 3,3. The holomorphic three form Ω x = R(ω 0 ) may then be given by a basis ω 0 of H 1 = F 3,0. We take a basis ω 0,ω 1,,ω r of H 2, and define the period matrix τ(a ω 0) 0 τ(a ω r) 0 τ(b ω 0) 0 τ(b ω r) 0 (2.3) Ω =.... τ(a ω 0) r τ(a ω r) r τ(b ω 0) r τ(b ω r) r as (r + 1,2r + 2) matrix. The first row of this matrix coincides with the period integral ω(x) = I XI (x)α I + J P J(x)β J, and the monodromy group Γ acts on this period matrix from the right. The following properties of Ω are consequences of the filtration (2) and the Hodge-Riemann bilinear relations; (2.4) 1) Ω Q t Ω = 0 2) 1Ω Q t Ω > 0. Here 2) means that when we decompose the (r + 1) (r + 1) hermitian matrix 1ΩQ t Ω into the block form compatible with the filtration H 1 H 2, then the first diagonal block ( 1 1 matrix) is positive definite and the whole (r+1) (r+1) hermitian matrix has 1 positive eigenvalue and r negative eigenvalues. In our case of hypersurfaces (or complete intersections) in toric varieties P 4 Σ, the basis ω 0 for the rational differential H 1 can be given explicitly by the defining

6 6 S. HOSONO equation of Y x with the deformations x 1,,x r. Then our assumption hereafter for the family {Y x } x B is that the derivatives (2.5) 1 ω 0,, r ω 0 ( i ω 0 := x iω 0) spanh 2 togetherwith the basisω 0 ofh 1 foreachsmallcomplexdomainb M. It will be useful to define a notation 0 ω 0 ω 0. Now using τ(γ) iω 0 = γ R( iω 0 ) = i γ R(ω 0), we can write the period matrix simply by (2.6) Ω = ( i X I i P J ) = ( i X I i X J τ IJ )0 i,i r where we define τ IJ = 2 X I X F(X), and set J 0 X I X I, 0 P J P J. In the above formula, and also hereafter, the repeated indices are assumed to be summed over (Einstein s convention) unless otherwise mentioned. Using the property 1) in the previous paragraph (2-2), we may assume ( X det( i X I ) 0 i,i r = (X 0 ) r+1 I det ( i 0 X 0 ))1 i,i r for x such that X 0 (x) 0. Hence, at least locally, we can normalize the period matrix in the form ( i X I ) 1 Ω = (E τ). In this normalized form, the bilinear relation 1) in (2.4) is trivial since τ IJ = τ JI, while 2) entails 1(τ τ) > 0, which means the matrix Imτ has one positive and r negative eigenvalues. Here we note a similarity to the period matrix of genus g curves, however the mixed property of the eigenvalues is a new feature in higher dimensions. Finally, we note that the monodromy group Γ acts on the normalized period matrix from the right, and for ( D C B A ) Γ we have (2.7) τ (Cτ +D) 1 (Aτ +B). Since F = τ X I X J IJ, this describes the transformation property of the prepotential which is defined locally for the family over B. (2-4) Period matrix (2). Period matrix (2.6) has been defined entirely in the holomorphic category, since it is based on the Hodge filtration. One may modify the Hodge filtration to Hodge decomposition if we incorporate a hermitian structure coming from the Kähler geometry on M. Let us first note that over the small domain B, and hence on M except the degeneration loci, there exists a Kähler metric g i j = i jk(x, x) (1 i, j r) with the Kähler potential K(x, x) = log{ Ω x,ω x } = log{ R(ω 0 ),R(ω 0 ) }. This Kähler metric is called Weil-Petersson metric on M. The bases 0 ω 0 ω 0 ; 1 ω 0,, r ω 0 which are compatible with the filtration H 1 H 2, or the Hodge filtration F 3,0 F 3,1, may now be modified to D 0 ω 0 ω 0 ;D 1 ω 0,,D r ω 0 (D i = i +K i,i = 1,,r),

7 RING AND HOLOMORPHIC ANOMALY EQUATION 7 where K i = i K(x, x). One should observe that, since R(ω 0 ),R(D i ω 0 ) = 0 holds for i = 1,, r, these bases are compatible to the Hodge decomposition H 3,0 (Y x ) H 2,1 (Y x ). Correspondingly, the period matrix (2.6) may be modified to (2.8) Ω = ( D i X I D i P J ) = ( Di X I D i X J τ IJ )0 i,i r, where we set D 0 X I X I,D 0 P J P J. Since we have det(d i X I ) 0 i,i r = det( i X I ) 0 i,i r 0, the normalized period integral has a similar form as before; (D i X I ) 1 Ω = ( E τ ). The same monodromy group Γ acts from the right on the period matrix. In contrast to this, the left action shows a nice connection to the Kähler geometry on M. (2-5) Special Kähler geometry on M. After some algebra, we have for the Kähler metric g i j = i jk(x, x) = e K(x, x) R(D i ω 0 ),R(D j ω 0 ). With respect to this, we introduce the metric connections Γ k ij = g k k i g j k, Γ kī j = g kk ī g jk, for the holomorphic tangent bundle T M and the anti-holomorphic tangent bundle T M, respectively. The curvature tensor for these connections are given by R k i j l = jγ k il, R k i j l = iγ k j l. In addition to these, we have the Griffiths-Yukawa couplings C ijk (x) and C ī j k( x) on the moduli space M. These tensors define the so-called special Kähler geometry on M, which can be summarized into a property of the period matrix (2.8). Let us introduce the following (2r+2) (2r+2) matrix ( ) ( Ω Di X I ) D i P J (2.9) = Ω D i X I. D i P J 0 i,i,j r By definition of the period matrix, the row vectors represent the Hodge decomposition H 3,0 (Y x ) H 2,1 (Y x ) H 1,2 (Y x ) H 0,3 (Y x ) in terms of the bases (2.10) R(ω 0 ), R(D i ω 0 ), R(D i ω 0 ), R(ω 0 ). By simply writing (2.9), we implicitly understand the row vectors are ordered according to the Hodge decomposition above. With these explicit bases in mind, we introduce the covariant derivatives acting on the column vectors Ω and Ω; D i = { i +K i Γ i on Ω i on Ω, Dī = { ī on Ω ī +K ī Γ on Ω, ī whereγ i and Γ representsthe conventionalformofthe contractionviathe metric ī connection. Theorem 2.1. The period matrix satisfies ( ) ( ( ( Ω 0 Ω Ω) 0 (2.11) (D i +A i ) =, (D Ω 0) ī +Āī ) = 0),

8 8 S. HOSONO with A i = 0 n n δi n 0 0 m 0 0 C n im 0 m g i m, Ā ī = n n m g īm m 0 C n ī m 0 0, δ n 0 ī where we set C n im = 1e K C imn g n n and C n ī m = 1e K C ī m ng n n. Proof. Let us consider, the three from R(D j ω 0 ) in the Hodge decomposition (2.10). Then D i R(D j ω 0 ) is a three form and may be expressed in terms of the basis (2.10) as D i R(D j ω 0 ) = c 0 R(ω 0 )+c m R(D m ω 0 )+d m R(D m ω 0 )+d 0 R(ω 0 ). Now, using R(D n ω 0 ),R(D m ω 0 ) = e K g n m and other orthogonal relations, it is easy to see c 0 = c m = d 0 = 0 and d m e K g k m = R(D k ω 0 ),D i R(D j ω 0 ) = R(ω 0 ),D k D i D j R(ω 0 ) = 1C ijk, where C ijk is the Griffiths-Yukawa coupling (2.2) (R(ω 0 ) = Ω x ). One can continue similar arguments for other bases of the Hodge decomposition (2.10). Integrating three forms over the cycles {A I,B J }, we obtain the claimed linear relations for the row vectors of the period matrix. The connection matrix A i,a ī was first determined by Strominger in [28]. The existence of the first order differential operator is due to the fact that the Hodge decomposition is flat over M, and we should have the compatibility relations for the first order system. Indeed one can see that [D i +A i,d j +A j ] = 0 = [D ī +A ī,d j +A j], are ensured by the existence of the prepotential (2.2), and another mixed-type compatibility condition imposes a rather strong constraint on the Kähler geometry[28], which is called special Kähler geometry(, see, e.g., [10] and references therein). Theorem 2.2. The compatibility condition is equivalent to [D i +A i,d j +A j] = 0 (2.12) R k i j l = g i jδ k l +g jlδ k i e 2K C ilm C j k mg m m g k k. In section (3-1), we will derive the relation (2.12) directly evaluating the metric connection. The both equations (2.11) and (2.12) are often referred to as special Kähler geometry relations, and will play central roles in solving anomaly equation. (2-6) Notations. As we have summarized above, the special Kähler geometry relations, in the holomorphic local coordinate x i (i = 1,,r), on M arises from the flat property of the period matrix Ω and its complex conjugate. Since the row vectors of Ω correspond to the decomposition H 3,0 (Y x ) H 2,1 (Y x ), it is convenient to introduce the (Greek letter) notation α = (0,i) and ᾱ = ( 0,ī) for the indices of

9 RING AND HOLOMORPHIC ANOMALY EQUATION 9 the row vectors and their complex conjugates, respectively. Then the period matrix may be written simply by Ω = (D α X I D α P J ) = (D α X I ) (E τ IJ ). As remarked in subsection (2-4), (r+1) (r+1) matrix (D α X I ) is invertible. We set ξα I := D αx I, ξ α Ī := D αx I and define ξi α and ξ I ᾱ, respectively, by (ξ α I ) = (D α X I ) 1, ( ξ ᾱ I ) = (D α X I ) 1. Notethatthei-throwofΩrepresentsperiodintegralsofthethreeformR(D i ω 0 ) H 2,1 (Y x ) for a symplectic basis {A I,B J }. Then we can see the Weil-Petersson metric in the following (r +1) (r+1) hermitian matrix, ( ) g0 0 0 = e 0 g K(x, x) 1ΩQ t Ω (g 0 0 1). i j Equivalently one can write this matrix relation by g α β = 1e K(x, x) ξ I α (τ τ) IJ ξ J β. For the tensor analysis in later sections, we introduce a metric by (G IJ ) = 1e K(x, x)( τ τ ), (G IJ ) = 1e K(x, x)( τ τ ) 1. Then we have g α β = ξαg I IJ ξ,g J β α β = ξi α β GIJ ξ J. With these metrics we will raise and lower the indices I,J, as well as the Greek indices. Now the special Kähler geometry relations in Theorem2.1 may be expressed by D i ξ0 I = ξ i I D i ξj I = D ī ξ 1e K C ijk g k k ξ 0 I I = 0 (2.13) k D ī ξj I = g īj ξ0 I I D i ξ j = g i j ξ 0 I D ī ξ I D i ξ = 0 I = 1e j K C gk kξ I. ī j k k 0 D ī ξ 0 I = ξ I ī It will be useful to note that the following relation holds by definition; (2.14) D i ξ J j = C ijm S mn ξ I n, where S mn is the propagator that will be introduced in the next section. 3. rings (3-1) ring R 0. Based on the special Kähler geometry relations summarized in the previous section, we introduce a differential ring over the mermorphic sections of a certain vector bundle over M. Let us first introduce the so-called propagators; Definition 3.1. Sᾱ β = e 2K (τ τ) IJ ξ Ī α ξ J β, S αβ = g αᾱ g β βsᾱ β. Obviously Sᾱ β and S αβ are symmetric with respect to the indices. Note that, since the factor e 2K has weight ( 2, 2), both S αβ and Sᾱ β have weight ( 2,0)

10 10 S. HOSONO with respect to the line bundle L (, see section (2-1)). Following [5], we will often use the notation S,S i,s ij, which are related to S αβ by ( ) ( ) S 00 S 0i 2S S i S 0i S ij = S i S ij. If we use the property of τ and the prepotential introduced in (2-2), we have S = 1 2 e2k (τ τ) IJ XI XJ = e 2K( 1 2 τ IJ X I XJ F( X) ). Proposition 3.2. The following relations hold, 1) D ī S = S 0ī 2) D ī D js = S ī j 3) D ī D jd ks = e 2K C ī j k. These are equivalent to1) ī S = g īj S j, 2) ī S j = g īi S ij and 3) ī S jk = e 2K C ī j k gj j g k k. Proof. Acting D ī (= ī ) on S = 1 2 e2k (τ τ) IJ XI XJ, we obtain ī S = e 2K (τ τ) IJ D X I XJ ī = S 0ī, where we use ( X τ K IJ ) X J = X J ( X τ J IK ) = 0. By similar calculations with the special Kähler geometry relation (2.13), the properties 2) and 3) above follow. S kl,s k,s are called propagators in physics literatures, and contain the antiholomorphic prepotential F( X) in their definitions. On the other hand, the holomorphic prepotential F(X) defines the so-called n-point functions on a Riemann sphere by C i1i 2 i n = D i1 D i2 D in F(X) (n 3), where the covariant derivative D i = i + 2 i K(x, x) Γ i acts on F(X) by the standard contractions of the holomorphic indices (see (3.4) in general). By Kähler geometry, the holomorphic covariant derivatives commute with each other, so the n-point functions are symmetric tensor, and in particular C ijk coincides with the Griffith-Yukawa coupling (2.2). Definition 3.3. As a symmetric algebra, we define R 0 = Q[S,Si,S ij,k i1,k i1i 2,,C i1i 2i 3,,C i1i 2i 3 i n, ], where K i := D i K(x, x) = x i K(x, x), K i1i 2 := D i1 D i2 K(x, x) and so on, We call this symmetric algebra ring. In general this ring is infinitely generated. However we will see in the next section that if we consider the corresponding ring for an elliptic curve, the ring is finitely generated. In case of Calabi-Yau threefolds, as it turns out later that this problem of finiteness is related to the explicit form of the holomorphic function h ijkl (x) derived in (3.7) below. For convenience, we will often abbreviate the infinite series of the generators K i,d i K j,d i D j K k by {K i } and similarly for {C ijk }. With this convention, the ring may be written simply by (3.1) R 0 = Q[S,S i,s ij,{k i },{C ijk }]. The propagators αβ and C i1i 2 i n have respective weights ( 2,0) and (2,0), and also K i has weight (0,0). Therefore the symmetric algebra is graded and defined in the set of global sections of ( (3.2) π (T M) ) m ( π (TM) ) n L k, m,n 0k=

11 RING AND HOLOMORPHIC ANOMALY EQUATION 11 where π : M M is the coveringmap and L M is the line bundle introduced in (2-1). Precisely, K i is a connection of the holomorphic line bundle L and therefore this is not a one form. However we regard K i as a one form taking a global trivialization of L over M. By the following lemma, we see how the ring R 0 depends on the sheets of the covering. Lemma 3.4. When we change the symplectic basis by Ω Ω ( D B C A), we have the corresponding change of the generators, (3.3) S αβ S αβ +ξ α I [ C(D +τc) ] IJξ β Proof. We keep our convention of the contraction) by writing the indices of the symplectic matrix by (X I P J ) (X I P J ). Then we have ξ I α ξ J α ( D J I B IJ C IJ A I J J. (D +τc) I J, τ IJ [ (D +τc) 1 (B +τa) ] IJ, and also, using ( D C B A )Q t ( D B ) = Q, we have C A (τ τ) (D +τc) 1 (τ τ) t (D +τc) 1. After some algebra, the claimed transformation property follows directly from the definitions. We note that the metric connection Γ k ij and K i define the covariant derivative D i on the sections (3.2). Thus, for example, for the section V jl i of weight (k,0) we have (3.4) D n V jl i = jl xnv i Γ m nivm jl +Γ j nmvi ml +Γ l nmv jm i +kk n V jl i. Theorem 3.5. The ring R 0 is a graded, differential, symmetric algebra with the (commuting) differentials D i (i = 1,,r). This theorem is a direct consequence of the following proposition. Proposition 3.6. The covariant derivative acts on the generators of R 0 by (3.5) D i S kl = δ k i Sl +δ l i Sk C imn S mk S nl, D i S k = C imn S m S nk +2δ k i S, D i S = 1 2 C imns m S n, D i K j = K i K j +C ijm S mn K n C ijm S m +h ij, where h ij is a holomorphic function. Proof. The first three equations follow from the definitions and the special Kähler geometryrelations(2.12), (2.13). There, itisusefultowrites αβ = 1 1 e K G IJ ξi αξ β J and use the following relations, D i G LM = 1e K C ikl ξ k L ξ l M, D iξ α I = C imn S nα ξ m I ξ 0 I δ α i. For the fourth relation, we formulate the following two lemmas and use the relation (3.6) below. Lemma 3.7. kξ i I = 0, kξ 0 I = k(k m ξ m I ).

12 12 S. HOSONO Proof. The matrix (ξ α I kξ α I = ξ β I kξ J β ξα J I ) is the inverse of (ξα) by definition. From this, we have J. Now using kξ β = kd β X J = g kβ ξ0 J, we obtain kξ α I = ξ β I g kβξ J 0 ξ α J = g kβ ξ β I δ α 0. The first claimed relation is the case when α = i. The second relation follows from the case α = 0 together with the first relation. Lemma 3.8. Define f k ij = ( i j X I )ξ k I, then fk ij i K j K i K j = C ijk S k +f m ij K m +h ij, is holomorphic and we have where h ij = ( i j X I )h I with a holomorphic function h I = h I (x). Proof. When differentiating twice the defining relation of the Kähler potential e K = Ω x, Ω x = 1X I (τ τ) IJ XJ, we have e K( i K j +K i K j ) = 1 i j X I ( τ τ) IJ XJ 1 i X I j X L τ ILJ XJ, where we set τ IJK = X K τ IJ. On the other hand, by definition of S m, we have C ijm S m = e 2K C ijm (τ τ) IJ ξ I 0 ξ J mg m m g 0 0 = 1e K C ijm G IJ XI ξj m g m m = 1e K C ijm XL ξ m L = 1e K τ IJL i X I j X J XL, where we use X M τ IJM = 0 which follows from the homogeneity property of F(X). Using G IJ = ξi αg α β ξ β J and ξ J 0 = X J, we also have 1e K i j X I (τ τ) XJ IJ = i j X I G XJ IJ = i j X I ξi 0, where, due to Lemma 3.7, we may use ξi 0 = ξ I mk m+h I with some holomorphic function h I. Substituting all these relations into the first equation, we obtain the claimed formula. The holomorphicity of fij k = ( i j X I )ξi k follows from the same Lemma 3.7. From the above lemma, and m S k = g m m S mk, we obtain (3.6) Γ k ij = gk i K j +g k j K i C ijm S mk +f k ij, which derives the special Kähler relation (2.12) directly from the definitions. The connection(3.6) containsnon-geometricobject fij k (x), howeverthis does not appear in the formulas (3.5) since the first three equations follows directly from the special Kähler relations as we have already seen. For the the fourth equation, one observes that fij k(x) cancels in the evaluation of D ik j. Remark 3.9. The ringr 0 is not finitely generatedin general, however it is very close to this property. This can be observed in the following formula D l C ijk = C abm S mn C ncd +τ IJKL ξi I ξj J ξk K ξl L (3.7) {a,b} {c,d}=i = abm S {a,b} {c,d}=ic mn C ncd K a C I\{a} +h ijkl a I

13 RING AND HOLOMORPHIC ANOMALY EQUATION 13 where we set I = {i,j,k,l} and h ijkl := τ IJKL i X I j X J k X K l X L with τ IJKL = X I X J X K X F(X). Eq.(3.7) follows from C L ijk = τ IJK ξi Iξ j Jξ k K with the relations (2.14) and D k τ IJK = ( k K k )τ IJK = τ IJKL ξk L. If the holomorphic term h ijkl were zero, then the ring R 0 reduces to a finitely generated ring. This finite generating property can be realized in general by considering the following quotient: First, let us note that under the relation (3.7), the ring may be written as R 0 = Q[S,Si,S ij,k i,c ijk,{h ij },{h ijkl }], where {h ij },{h ijkl } means the infinite sequence of the covariant derivations of h ij and h ijkl, respectively. Considering a differential ideal Q[{h ij },{h ijkl }], we may reduce the ring R 0 to the quotient (3.8) R 0,red = R0 / Q[{hij },{h ijkl }]. We call this quotient ring reduced ring. (3-2) ring R Γ. As we have remarked in the previous section, the ring is defined in the algebra of global (mermorphic) sections of the bundle (3.2) over the covering space M. Since there is a natural action of the covering group Γ Sp(2r+2,Z) on the sections, one may consider the invariants under this group action. Elements in R 0, in general, are not invariant under this group action, however they can be lifted to define Γ-invariants by specifying a lift for each propagator (, see below). We then define R Γ the minimal differential ring of Γ-invariants which contains those Γ-invariants from R 0. We may call R Γ as a Γ-completion of the ring R0. Let us first note that the generators K i (x, x) and C ijk (x) are invariant under the group Γ by their definitions. Since the generators S αβ are transformed according to (3.3), we modify them to Γ-invariants S αβ. Let us assume S kl = S kl + S kl for a Γ-invariant lift. Then it may be determined simply by writing the equation (3.6) as (3.9) Γ k ij = δ k ik j +δ k ik j C ijm Smk + f k ij, ( f k ij = f k ij +C ijm S mk ), and requiring Γ-invariance of f ij k. We will show, in the example of an elliptic curve, the simplest way to impose the invariance is to require f ij k to be a rational function (section) on M. In the originalpaper by, this process is referredto as fixing holomorphic (mermorphic) ambiguity (section 6.3 of [5]). Once S kl is determined in this way, the form of other Γ-invariant propagators S k, S may be restricted, by requiring the relations k Sl = g k k Skl and g k k Sk = k S given in Proposition 3.2, to (3.10) Sk = S k + S kl K l + S k, S = S Skl K k K l + S k K k + S, where S k and S are suitable mermorphic sections. The form of S k can also be determined, in a similar way to (3.9), from (3.11) i K j K i K j = C ijk Sk + f m ij K m + h ij, ( h ij = h ij +C ijk S k ), by requiring that h ij is a rational function (section) on M.

14 14 S. HOSONO Proposition For the Γ-invariant propagators, we have (3.12) D i Skl = δ k i S l +δ l i S k C imn Smk Snl +E kl i, D i Sk = C imn Sm Snk +2δ k i S +E km i K m +E k i, where we set κ m = S m and D i S = 1 2 C imn S m S n Ekl i K kk l +E m i K m +E i, D i K j = K i K j +C ijm Smn K n C ijm Sm +C ijm κ m + h ij, E kl i = D f i Skl δ k i Sl δ l i Sk +C imn S mk S nl, E k i = D f i Sk 2δ k i S +C imn S n S nl, E i = D f i S C imn S m S n. We also define D f i := i + fi a (covariant) derivative with fk ij (x) in (3.6) being treated as a connection. Proof. Use the definitions S kl, S k, S, Γ k ij = δk i K j + δ k j K i C ijm S mk +f k ij and Proposition 3.6 for the evaluations. After some algebra, the claimed formulas follow. If we define (3.13) Ê kl i = E kl i, Ê k i = E km i K m +E k i, Ê i = 1 2 Ekl i K kk l +E m i K m +E i then these are sections of weight ( 2,0) which are invariant under the action Γ. Considering all covariant derivatives of these tensors, and also κ m, we have the minimal ring of Γ-invariants R Γ = Q[ S kl, S k, S,K i,{c ijk },{Êkl i },{Êk i },{Êi},{κ m },{ h ij }], where the bracket notation is used for the infinite set of the generators as before. We should note that the explicit forms of the new generators Êkl i,êk i,êi and κ m depend on the lifts of the propagators S ij, S k, S. Hence the ring R Γ also depends on the lifts. In case of elliptic curves, we will observe that the ring R Γ has a close similarity to the ring of almost holomorphic modular forms studied in Kaneko- Zagier [23]. (3-3) Example (elliptic curve). We have introduced the ring for Calabi-Yau threefolds, however if we replace the special Kähler geometry by the geometry of upper-half plane, it naturally reduces to the rather standard theory of (almost holomorphic) modular forms[23]. Let us consider a family of elliptic curves over M and its period integrals following (2-1). We consider a family of hypersurfaces Y a W(a) := a 0 +a 1 U +a 2 V +a 3 1 U 3 V 2 = 0 (C ) 2 in the torus (C ) 2. Compactifying (C ) 2 to a suitable toric variety P Σ, we obtain our family of elliptic curves. The moduli space M arises as the parameter space of the defining equation. Because of the natural torus actions on the parameters, it is

15 RING AND HOLOMORPHIC ANOMALY EQUATION 15 easy to see that M is given by P 1, and we have ( a0 du dv ) (x a 3 Ω x = R = 1 a2 2 a 3 W(a) U V a 6 P 1 ). 0 Taking a symplectic basis A,B with Q = ( ), we define the period integral ω = (w 0 (x),w 1 (x)). The period integrals satisfy the Picard-Fuchs differential equation of the form, {θ 2 x 12x(6θ x +1)(6θ x +5)}ω i (x) = 0, where θ x = x d dx. The Griffiths-Yukawa coupling in this case is simply defined by C x := Ω x d Y x dx Ω 1 x = (1 432x)x. Let us fix (uniquely) the A cycle by the condition that the corresponding period integral w 0 (x) is regular at x = 0 and normalized by ω 0 (x) = 1+. Then we take a dual cycle B to A. With this choice of the basis, the period matrix takes the form Ω = (ω 0 (x)ω 1 (x)) = ω 0 (x)(1 t) with t 1 2πi relation t = ω1(x) ω 0(x) (see eg. [24]); (3.14) logx+ near x = 0. We invert the as x = x(t). Then it is standard to obtain the following identities 1 1 dx 2πiω 0 (x) 2C x dt = 1, ω 0(x(t)) 4 = E 4 (t), C x (x(t)) = j(t), where E 4 (t) is the Eisenstein series, j(t) is the normalized j-function with their Fourier expansion given by q = e 2πit (and 1 d 2πi dt = q d dq ). We also have the following useful relation (3.15) ω 0 (x(t)) 12 C x (x(t)) = η(t)24, in terms of the Dedekind η-function. Note that the first identity of (3.14) simply represents the fact that there is no quantum correction to the Griffiths-Yukawa coupling. (3-3.a) The ring R 0 = Q[S,K x,c x ]. For an elliptic curve, Definition 3.1 of S = S 00 should be read as S = 1 2πi g0 0 g 0 0 e 2K (t t) ξ 0 ξ 0 = 1 2πi e2k (t t) ω 0 ω 0. with the period matrix Ω = ω 0 (1t). Here, for elliptic curves, we introduce the 1 factor 2πi in the definition of S. For the Kähler potential, we have e K = i ΩQ t Ω. Then it is straightforward to obtain S = 1 1 2πi ω t t, K x = dt dx 1 t t d dx log(ω 0(x)). Proposition The ring R 0 is finitely generated by S,K x and C x. The covariant differential D x acts on the generators by (3.16) D x S = C x SS, D x K x = K x K x 60C x, D x C x = 0.

16 16 S. HOSONO Proof. It is sufficient to derive the differentials of generators (3.16). The metric connection Γ x xx may be determined from the relation; (3.17) ( x K x +K x K x )e K = i d2 dx 2 ΩQt Ω = where we use the Picard-Fuchs equation ( C x C x K x +60C x ) e K, d 2 dx 2 ω C x C x d dx ω 60C x ω = 0, to rewrite i d2 dx 2 ΩQ t Ω = i d2 dx 2 ωq t ω as above. After differentiating (3.17) by x, we have Γ x xx = 2K x + C x C x. Now using (3.17) again, we have D x K x = ( x +Γ x xx )K x = K x K x 60C x. Similarly, noting the generators S,C x have their weights ( 2,0) and (2,0), respectively, and using the relations (3.14), it is straightforward to obtain the claimed relations. C x C x ; It will be useful to have the following expression for the connection Γ x xx = 2K x + (3.18) Γ x xx = 2dt 1 dx t t + d ( dx log Cx ) ω 0 (x) 2 = 2 dt 1 dx t t + dx d dt dt dx dx, where we use the identify dt dx = 1 C x 2πi ω0 2 identity of (3.18) as in (3.14). In particular, writing the first Γ x xx = 2C xs + d dx log ( Cx ω 0 (x) 2 ) = 2C x S +f x xx, one may regard this as the corresponding relation to (3.6). (3-3.b) The ring R Γ. In our example, the covering group Γ is given by the (genus one) modular subgroup ( ) ( , ) SL(2,Z). S is not invariant under the Γ action, however it is clear from the form t t 1 that S can be lifted to a Γ-invariant by S S = 1 { 1 1 ω0 2(x) 2πi t t 1 } 12 E 2(t) in terms of the Eisenstein series E 2 (t). S is invariant since E2 (t) 1 2πi 12 t t = E 2(t) is the almost holomorphic (elliptic) modular form of weight 2 and ω 0 (x) 2 = E 4 (t) for the denominator. In our general formulation based on (3.9), the invariance arises in a rather weak form as follows: We first start with the shift ; Γ x xx = 2C x S +f x xx = 2C x S + fx xx ( f x xx := f x xx 2C x S), where S = S + S. Accordingly, the formula D x S changes to ( ) D x S = Cx S S +Ex E x := x S +C x S S +2 ω 0 S ω 0.

17 RING AND HOLOMORPHIC ANOMALY EQUATION 17 Proposition fx xx is a rational function of x if and only if we set S = 1 C x ω 0 ω 0 +r(x), with some rational function r(x). In terms of r(x), E x is given by r (x)+c x r 2 (x) 60. When E x = λc x with some constant λ Q, then the ring R Γ is finitely generated by S,K x,c x with the following differentials, D x S = Cx S S +λcx, D x K x = K x K x 60C x, D x C x = 0. Proof. We evaluate f x xx as f xx x = x log ( C x ) ω0 2 2Cx S = 2 ω 0 + C x 2C x S, ω 0 C x from which the first claim is clear. For the evaluation of E x, we use the Picard- Fuchs equation satisfied the period integral ω 0 (x). The third claim is clear since the differentials closes among the generators. The differential equation E x = λc x for r(x) may be solved by hypergeometric series. From the solution, one may observe that there are infinitely many λ for which r(x) becomes rational. The simplest result is given by λ = 1 144, r(x) = 1 12 C x Cx 2 where we evaluate S + S = S C x x log Cx 1 E, S = 2 12 ω0 2 ω0 12, 1 = S 1 12 C x x logη(t) 12 for S. Similarly, for λ = , , , for example, we obtain r(x) = x, 5 C x 12 C 1 1 x x and S = 1 12ω 2 0 { E 2 +4E 6 E 4 }, 1 { } E2 +6E2 4, E 6 1 C x Cx 2, 1 C x 12 Cx 2 { } E2 +4E 6 +6 E2 4, E 4 E 6 12ω0 2 12ω0 2 respectively. We note that, when the ring is finitely generated, the ring is very close to the ring of almost holomorphic modular forms studied in Kaneko-Zagier [23]. For comparison, it might be useful to write our generators (for the case λ = ) in terms of the elliptic modular forms; 1 E (3.19) S = 2(t) 12ω 0 (x) 2, C x = j(t), K x = 1 j(t) { 12ω 0 (x) 2 E2(t) E 6(t) E 4 (t) One should note, however, that the weight assignment in the ring is different from that of almost holomorphic modular forms. Also, in the ring, we have additional indices of the cotangents ( π (T M) ) m. (3-4) ring R hol. For the applications to Gromov-Witten theory of Calabi-Yau manifolds, the most relevant form of the ring is the holomorphic limits of the invariants R Γ, which is often referred to as t limit in physics literatures. For the above example of an elliptic curve, the meaning t should be clear as the limit taking the constant term of n 0 a m(t) ( 1 n. t t) We need to formulate a precise meaning for Calabi-Yau threefolds. However the idea of the limit should be clear from the structure R Γ with the differentials (3.12). Namely, all the differentials are with respect to holomorphic coordinate, }.

18 18 S. HOSONO and therefore throwing away the anti-holomorphic dependence, at the cost of Γ-invariance, should be compatible with the differentiations. To describe the holomorphic limit in more detail, let us introduce the so-called flat coordinate. We first fix a symplectic basis {A I,B J } and denote the corresponding period integrals (X I (x),p J (x)). By the property 1) in section (2-2), the (half) period maps x B( M) [X I (x)] P r provides a local isomorphism. Due to this property we may introduce the so-called flat coordinate (t a ) a=1, r by the relation (X 0 (x),x 1 (x),,x r (x)) = X 0 (x)(1,t 1,,t r ), near X 0 (x) 0. In this flat coordinate we have for the Kähler potential e K(x, x) = ix 0 (x)x 0 (x)e K(t, t) with e K(t, t) = 2F(t) 2F(t)+(t a t a ) ( F t a + F ), t a and F(t) = 1 (X 0 ) F(X) = F( Xa 2 X ). Connections of the bundles in these two local 0 coordinates (x i ) and (t a ) are related by K i = i logx 0 (x)+ ta x ik t a, Γk ij = xk t a t b t c Γtc t a t b x i x j + xk t b t a x i x j. As we see in the formula e K(t, t), holomorphic and anti-holomorphic dependences are not separated by a factor like f(t)g( t) (or f(t) + g( t) in logk). We assume that the constant terms against to the anti-holomorphic dependences are selected simply by setting to zero those expressions written by K t a(t, t) and Γ tc t a t (and also b their holomorphic derivatives). Definition Choose a symplectic basis B := {A I,B J }. Then we define the holomorphic limit of the elements in R Γ, with respect to B, by the following replacements of the connections: K i K i := i logx 0 (x), Γ k ij Γk ij := xk t a x i t a x j. As remarked above, the holomorphic limit commutes with the holomorphic differentials D i, and hence we have the same differentials as (3.12). We denote the holomorphic limit of the generators S ij, S k, S, respectively by S ij,s k,s. Also by D i (= i ±kk i ±Γ i ), we represent the holomorphic limit of the differential D i. Accordingly, K i should be assumed in the definitions (3.13) of Êk i,êi, although we use the same notation for these. Thus, taking the holomorphic limit of the Γ-invariant ring, R Γ, we will have holomorphic ring, R hol = Q[Sij,S k,s,k i,{c ijk },{Êkl i },{Êk i },{Êi},{κ m },{ h ij }]. The concrete form of the generators S ij may be determined from the holomorphic limit of the relation (3.9); (3.20) Γ k ij = δ k ik j +δ k jk i C ijm S mk + f k ij. Similarly, for S k, we can use (3.11), (3.21) i K j K i K j = C ijk S k + f m ij K m + h ij. These equations are used to determine the propagators in [5]. As noted there, when r 2, the first relation (3.20) provides an overdetermined system for S ij, and the form of f k ij should be restricted so that there exist solutions Sij. Similarly,

19 RING AND HOLOMORPHIC ANOMALY EQUATION 19 h ij should be restricted so that the relation (3.21) has a solution S k. If we find a set of solutions S ij,s k, the first equation of (3.12) determines Ei kl, and the second relation of (3.12) determines S up to Ei k. As argued in [5], the possible forms of rational functions (sections) f ij k, h ij may be restricted, to some extent, by imposing regularity (or singularity) of K i at certain degeneration loci of the family, see [5]). Example 1 (elliptic curve): When we take the symplectic basis B = {A,B} as in the previous section, the holomorphic limit of R Γ is exactly the map taking the constant term of ( c 1 m. m t t) From the example in the previous section, it is immediate to obtain (for λ = ) that S = 1 E 2 (t) 12ω 0 (x) 2, K x = x log(ω 0 (x)), Γ x xx = x t t x x. As for the differentials, we have the same form as those in R Γ, i.e., D x S = C x SS+ C x 144, D xk x = K x K x 60C x, D x C x = 0. These relations define the ring R hol = Q[S,K x,c x ]. The form of the generators are given simply by E2(t) E 2 (t) in (3.19). Example 2 (mirror quintic Calabi-Yau threefold): The construction of a symplectic basis B about the so-called large complex structure limit has been done in [8] (, see also [17] and references therein for its combinatorial construction). We consider the holomorphic limit with respect to this basis. To fix the propagators S ij,s k, we have to solve the equations (3.20) and (3.21) finding suitable choices for the rational functions f xx x, h xx. In [5], it has been found that these unknowns are uniquely fixed by requiring expected properties for the higher genus Gromov-Witten potential, F g, which comes from the anomaly equation. Here we simply translate their results into our conventions. First, the propagators S xx,s x are determined by the choice f xx x = x, h ij = x in 2 Γ x xx = 2K x C xxx S xx 8 1 5x, xk x K x K x = C xxx S x 8 1 5x K x x 2, 5 1 where C xxx = x 3 (1 5 5 x) and x is related to ψ in [4][5] by x = 5 5 ψ. Then the 5 differentials are evaluated to be D x S xx = 2S x C xxx S xx S xx + x 25, D x S x = 2S C xxx S x S xx + x 25 K x 1 125, D x S = 1 2 C xxxs x S x + x 50 K xk x K x x, D x K x = K x K x +C xxx S xx K x C xxx S x x 2, from which we read Ex xx = x 25,Ex x = 1 125,E x = x and κx = 2 25 these, the ring is determined by 1 1 x 2 R hol = Q[Sxx,S x,s,k x,{c xxx },{Êxx x },{Êx x },{Êx},{κ x }]. C xxx. With Example 3: The Calabi-Yau manifolds whose higher genus Gromov-Witten invariants are studied in [19] are not complete intersections in toric varieties, but

20 20 S. HOSONO has an interesting property: there exist two different large complex structure limits (cusps) in the deformation space[27]. By mirror symmetry, this phenomenon is related to non-birational Calabi-Yau manifolds whose derived categories of coherent sheaves are equivalent [27],[3],[22]. The cusps of the example in [27],[19] are located at x = 0 and z = 1 x = 0. The ring Rhol with respect to a symplectic basis B 0 at x = 0 has a similar form as in Example 2 with x = 1 xp(x) 14 (x 3) 2, Ex x = 1 p(x) 14(x 3) 2, E x = 1 28 E xx p(x)(x+14)+q(x) (x 3) 3, and κ x = 2 1 x 2 C xxx, where p(x) = x 4 716x x x 15, q(x) = 12374x x x+246. The ring R hol at the other cusp (z = 0) is defined with respect to a different symplectic basis B. However ( we verify from the results in [19] that the ring is determined with Ez zz = Ex xx dz ) dx, E z z = Ex x, E ( z = E dx ) x dz and κ z = κ x( dz dx). From this, we observe that the ring R Γ is invariant under the symplectic transformation which connects B 0 and B. 4. holomorphic anomaly equation in R 0,red (4-1) holomorphic anomaly equation. The original form of the anomaly equation has been formulated based on the special Kähler geometry over the moduli space M. Although mathematical ground of this anomaly equation has not yet been established, up to now, this equation provides the only way to a systematic calculation of higher genus Gromov-Witten potential F g (t) for Calabi- Yau complete intersections and some cases beyond them. About this equation, recently, several important progress has been made in physics literatures [32],[1], [16],[19],[2]. In particular, the polynomial property found by Yamaguchi and Yau [32] and also in [2] is the one which we followed for our definition of the ring R Γ. To summarize the recursive procedure given in [5], let us write the anomaly equation in the following form, which appeared in [32] and [2], (4.1) = 1 S ij 2 D id j F (g 1) + 1 g 1 D i F (g h) D j F (h), 2 F (g) 0 = h=1 jk F(g) j F(g) S + S S k S + F(g) K (g 2). j Then the recursion proceeds as follows, with f k ij, h ij,e k i in (3.9), (3.11), (3.12), respectively, being unknown: Step 1. We start with the fact that there exists a polynomial f 0 (x) and a choice f ij k (x) such that D i F (1) = 1 2 C imn S mn ( χ 24 1) K i +f 1,i (x), (f 1,i := i logf 0 ) gives the genus one Gromov-Witten potential F 1 (t) of the mirror Calabi-Yau manifold X (with its Euler number χ) when we take the holomorphic limit. We refer [4][5] for details of F 1 (t). The polynomial f 0 (x) is essentially given by the discriminant of the family. We define, using the bracket notation, R Γ,1 = RΓ [{f 1,i (x)}],

21 RING AND HOLOMORPHIC ANOMALY EQUATION 21 and regard D i F (1) (and f 1,i ) as an element of weight zero in R Γ,1. Step 2. Suppose we have D i F (1) and R Γ,1 as above. Consider the anomaly equation (4.1) for g = 2 in the ring R Γ,1 to find a (unique) solution F(2) 0 of weight ( 2,0) under the condition F (2) 0 Sij = 0. Then the observation = S k = S=0 made in [5] is that there exist a rational section f 2 (x) of (L 1 ) 2 and suitable choices h ij (x) and Ei k (x) such that F (2) = F (2) 0 +f 2 (x), gives the Gromov-Witten potential F 2 (t) under the holomorphic limit. ( f ij k (x) in step 1 and h ij (x),ei k(x) in step 2 fix the lifting Sαβ to S αβ, and thus R Γ.) We extend our ring to R Γ,2 = RΓ,1 [{f 2(x)}]. For g 3, this procedure continues genus by genus enlarging the ring by some rational section f g (x) of the line bundle L 2 2g to R Γ,g+1 = RΓ,g [{f g}]. When we define a notation R Γ, = lim RΓ,g, the solutions F g are (scalar) elements in this ring of weight (2 2g,0). is a large ring. However, we note that, consists of Γ-invariants, working in an affine coordinate U M of the toric variety M = P Sec(Σ) makes sense. Let us consider an affine coordinate of U and consider the field of rational functions Q(x) on U. We assume that the Remark 4.1. In general, the ring R Γ, since R Γ, unknowns Ei kl,ek i,e i,κ m are rational functions on U (as seen in Example 2 and 3 of (3-4)). Then, due to the rationality of C ijk and f g (x), we observe (4.2) R Γ, U Q(x)[ S ij, S k, S,K i ]. The ring in the r.h.s. of the inclusion is the local form which we see the ring R Γ, in physics literatures, for example [32], [16], [19]. In reference [16], in particular, following the idea of [29],[13], an efficient way to impose certain boundary conditions to determine f g (x) has been found. (4-2) anomaly equation in R 0,red. As briefly sketched above, solving anomaly equation (4.1) contains a process finding a suitable f g (x) at each genus. This is the main problem to determine the Gromov-Witten potential F g from the anomaly equation. Apart from this important problem, we can extract some algebraic (combinatorial) structure of the equation by considering the same anomaly equation (4.1) in the reduced ring R 0,red defined in (3.8). Let us first note that R 0,red is generated by Sij,S k,s,k i and C ijk over Q in the quotient ring, with the reduced differential D i (see Remark 3.9). Hereafter all manipulations should be understood in this quotient ring, although we abuse the same notations. The anomaly equation has the same form as (4.1) with obvious replacements of the generators, e.g. Sij by S ij. Then the following property is due to [2]: Proposition 4.2. Define new generators by Ŝ ij = S ij, Ŝ k = S k S km K m, Ŝ = S S m K m Smn K m K n,