Coordinate Change of Gauss-Manin System and Generalized Mirror Transformation arxiv:math/ v2 [math.ag] 12 Nov 2003

Transcription

1 Coordinate Change of Gauss-Manin System and Generalized Mirror Transformation arxiv:math/030v [math.ag] Nov 003 Masao Jinzenji Division of Mathematics, Graduate School of Science Hokkaido University Kita-ku, Sapporo, , Japan address: February 6, 008 Abstract In this paper, we explicitly derive the generalized mirror transformation of quantum cohomology of general type projective hypersurfaces, proposed in our previous article, as an effect of coordinate change of the virtual Gauss-Manin system. Introduction This paper is the completion of our previous work [9], [8] on the quantum cohomology of general type hypersurfaces. To be more precise, we construct an algorithm to compute Kähler Gromov-Witten invariants structure constants of Kähler sub-ring of small quantum cohomology ring of degree k hypersurface in CP N with k > N we denote it by MN k for rational curves of arbitrary degree only by using Givental s ODE [5] x N k e x k x + k k x + k k x + wx = 0,. as the starting point. Of course, there are already several literatures [4], [3] and [] on the quantum cohomology ring of general type projective hypersurfaces. But in [4] and [3], connection with mirror computation or. seems to be implicit. As for [], direct connection with hypergeometric class or with. is suggested, but their construction is a little abstract and not practical for explicit prediction. From this point of view, our construction presented in this paper is explicit and can be used to compute any genus 0 Gromov-Witten invariants of MN k directly from.. Our construction is fundamentally based on the line of thoughts exposed in the course of our previous papers [3], [7],[9],[8] and [0]. Main ingredients of our construction consist of virtual structure constants and generalized mirror transformation, which were introduced and partially constructed in [9]. The virtual structure constants have their origin in our work [3] with A.Collino. In [3], A.Collino and myself constructed recursive formulas that express the structure constants of small quantum cohomology ring of MN k N k in terms of the ones of MN+ k up to degree 5 rational curves explicit form of recursive formula for rational curves of arbitrary degree was conjectured in [7] and was proved in [0]. The virtual structure constants are defined as rational number obtained from iterative use of these recursive formulas to the region N k. In [9], we conjectured that From now on, we omit the word Kähler and limit ourselves to consider Gromov-Witten invariants of MN k with insertion of O e j, where e is the Kähler class of MN k.

2 the virtual structure constants are deeply related to. and that they correspond to three point functions of the B-model in the mirror conjecture. These conjecture were proved to be true in [0]. In other words, we have constructed an algorithm to compute the virtual structure constants for arbitrary N and k only by using.. These results correspond to the first part of the mirror computation of the small quantum cohomology of general type projective hypersurface MN k k > N. The second part of the mirror computation is the generalized mirror transformation, that correspond to the formula to convert the virtual structure constants into the actual structure constants of the small quantum cohomology ring of MN k in our context. Note that in the Calabi-Yau case, this process of mirror computation is realized by the coordinate change of the B-model deformation parameter into flat coordinate of the A-model, or Kähler deformation parameter. The notion of the generalized mirror transformation for MN k k > N was first introduced in [9] and explicit form of the generalized mirror transformation was determined up to degree 3 rational curves by comparing the value of the virtual structure constants with the numerical results of some three point Gromov-Witten invariants of MN k. In [8], we determined the form of the generalized mirror transformation up to degree 5 rational curves by using curious coincidence between the terms appearing in the results of [9] and many-point Gromov-Witten invariants obtained from application of the associativity equation [] and the Kähler equation to some simple combination of the virtual structure constants. This idea turned out to be very effective, but unfortunately, we found that such coincidence was not complete and that some non-trivial modification was needed as degree of rational curves grows. Therefore, our search for the generalized mirror transformation temporarily stopped. Next break-through comes from application of the Gauss-Manin system to the quantum cohomology ring of MN k [0]. In [0], we proposed an idea of the virtual Gauss-Manin system, that has the virtual structure constants as the matrix elements of the Gauss-Manin connection. The virtual Gauss-Manin system, when applied to the Calabi-Yau hypersurfaces Mk k, is effective not only in the B-model computation, but also in finding out the Jacobian between the B-model deformation parameter and the flat coordinate of the A-model, as was suggested in the last section of [0]. Therefore, we searched for a way to extend the construction of the mirror transformation of Mk k via coordinate change of the virtual Gauss-Manin system to the case of Mk N k > N. In the sequel, a hint of the answer was given by the theory of Iritani [6], which is a concrete exposition of the idea of Givental and Coates []. According to Iritani, we have to introduce not only the Kähler deformation parameter x, but also the parameter x j j =,,N that corresponds to e j, i.e., j times wedge product of the Kähler class e. With this idea, we extend the virtual Gauss-Manin system by constructing the virtual Gauss-Manin connection corresponding to the deformation by x j. With these preparation, we can read off the matrix elements of the Jacobian tj x between x j and the A-model deformation parameter t j from the matrix elements of the virtual i Gauss-Manin connection. Moreover, we can integrate out the Jacobian and obtain the rule of coordinate change x i = x i t,, t N. The results so obtained force us to introduce many point Gromov-Witten invariants obtained from application of the associativity equation and the modified Kähler equation, that was derived from Iritani s framework, to the matrix elements of Gauss-Manin connection associated with deformation of t. After some straightforward computations, we can naturally reproduce the results up to degree 5 rational curves given in [8]. Of course, our construction given in this paper can be applied to predict arbitrary genus 0 Gromov-Witten invariants of MN k k > N. Indeed, we computed some three point Gromov-Witten invariants of M4 3 for degree 6 rational curves by using our construction, and checked coincidence with the numerical results obtained from fixed point computation by Köntsevich []. We also expect that our construction will be explained from compactification of moduli space of rational curves in CP N [9],[]. This paper is organized as follows. In Section, we introduce the notation, the definition and the results obtained in our previous works. Especially, the definition of the virtual structure constants, the virtual Gauss- Manin system and the virtual Gromov-Witten invariants are given, and their relation to Givental s ODE. is discussed. We also mention some conjectures on the form of the generalized mirror transformation given in [9]. In Section 3, we expose our algorithm to construct the generalized mirror transformation for rational curves of arbitrary degree from the virtual Gauss-Manin system. Next, we derive our previous results in [8]. Note that our presentation in this section is slightly different from the outline given here, because we want to respect priority of the work of Iritani. Of course, the result of computation does not change. In Section 4, we briefly review the results of Iritani and explain how our algorithm in Section 3 naturally follows from his framework.

3 Acknowledgement We would like to thank Prof. T.Eguchi and Prof. M.Noumi for discussions at an early stage of this work. We also thank Prof. Y.Tonegawa and Hokkaido University Computer Center for assistance on numerical computation using fixed point theorem. Finally, we especially thank Dr. H.Iritani for suggestions that led me to a key idea to finish this work. Overview of Our Previous Results. Definitions In this subsection, we introduce the quantum Kähler sub-ring of the quantum cohomology ring of a degree k hypersurface in CP N. Let MN k be a hypersurface of degree k in CP N. We denote by QHeM N k the subring of the quantum cohomology ring QH MN k generated by O e induced from the Kähler form e or, equivalently the intersection H MN k between a hyperplane class H of CP N and MN k. Additive basis of QH emn k is given by O e j j = 0,,, N, which is induced from e j H j,j MN k. The multiplication rule of QH e Mk N is determined by the Gromov-Witten invariant of genus 0 O e O e N mo e m k Nd d,m k and it is given as follows: N L m := k O eo e N mo e m k Nd d, O e = O e, O e O e N m = O e N m + d= L m q d O e N m+k Nd, q := expt,. where the subscript d counts the degree of the rational curves measured by e. Therefore, q = expt is the degree counting parameter. Definition We call L n the structure constant of weighted degree d. Since MN k is a complex N dimensional manifold, we see that a structure constant L m is non-zero only if the following condition is satisfied: We rewrite.3 into N m N, m + N kd N, max{0, N kd} m min{n 3, N N kd}..3 N k = 0 m N N kd N k =, d = = m N 3 N k =, d = 0 m N N kd N k 0 = + k Nd m N 3..4 From.4, we easily see that the number of the non-zero structure constants L m is finite except for the case of N = k. Moreover, if N k, the non-zero structure constants come only from the d = part and the non-vanishing L N,k, m is determined by k and independent of N.. Virtual Structure Constants and Givental s ODE m In this subsection, we introduce the virtual structure constants which is non-zero only if 0 m N + k Nd. The original definition of in [0] is given by the initial condition: k m=0 m k N,k, m wm = k j= jw + k j, N k,.5 3

4 N+,k,d and the recursive formulas that describe m as a weighted homogeneous polynomial in n d d of degree d. See [7] for the explicit form of the recursive formulas. In [0], we showed that the virtual structure constants are directly connected with the Givental s ODE: x N k e x k x + k k x + k k x + wx = 0,.6 for arbitrary N and k via the virtual Gauss-Manin system defined as follows: Definition We call the following rank ODE for vector valued function ψ m x x ψn m x = ψ N m x + expdx d= m ψ N m N kd x..7 the virtual Gauss-Manin system associated with the quantum Kähler sub-ring of MN k, where m runs through 0 m N if N k, 0 m N if N k = 0, and m Z if N k < 0. Here, we restate the main result in [0]. Theorem We can derive the following identity from the virtual Gauss-Manin system.7. ψ N x = x N k e x k x + k k x + k x + x β ψ β x.8 where β = 0 if N k, β = if N k = 0, and β = if N k < 0. m We can also compute only by using the above theorem, and this process is the analogue of the B-model computation of the Calabi-Yau case. n Corollary The virtual structure constants are fully reconstructed from the identity.8. As a result, we can compute all the virtual structure constants by using the relation: k n=0 k N,k, n w n = k N +k Nd m=0 d l l= j= m zm = 0=i 0< <i l =d jw + k j, N +k Nd j l =0 j 3 j l j =0 j =0 n= m + d i n z d jn jn N,k,in in j n+n ki n. Note that the condition for non-vanishing : 0 m N + k Nd, implies that we have infinite number of m s in the k > N case. In [9], we proposed a conjecture of the formula to convert the virtual structure constants m into the real structure constants L m. To restate the conjecture in [9], we introduce some combinatorial definitions. Definition 3 Let P d be the set of partitions of positive integer d:.9 P d = {σ d = d, d,,d lσd d d d lσd, lσ d j= d j = d, d j Z}..0 From now on, we denote a partition σ d by d + d + + d lσd. In.0, we denote the length of the partition σ d by lσ d. If d = 0, we define P 0 as the set that consists of one trivial partition 0 with length 0. 4

5 Definition 4 Let Sσ d be a rational number associated with the partition σ d P d, which is defined by the following generating function: d=0 σ d P d Sσ d lσ d j= a dj z d := exp a j z j.. With these preparation, we restate the main conjecture in [9] on the structure of the generalized mirror transformation: j= Conjecture The generalized mirror transformation takes the form L n = d m=0 σ m P m lσm d lσm Sσ m lσ m i i= +k Nd i d i G d m n; σ m,. where G d m n; σ m is a polynomial of n with weighted degree d. Of course, we have to determine the polynomial G d m n; σ m to predict the real structure constants L n. In [8], we have determined G d m n; σ m for arbitrary N and k up to d = 3 case, and G k,k,d d m n; σ m up to d = 5 case. In these cases, we only need n s that satisfy + k Nd n N. Therefore, we only have to use finite number of n s in the k > N case in spite of the fact that we have infinite number of the virtual structure constants. This observation plays an important role in our construction given in the next section. Moreover, the above conjecture naturally follows from the construction. We will show the explicit algorithm to determine the unknown polynomial G d m n; σ m for arbitrary degree d in the next section..3 Virtual Gromov-Witten Invariants We introduce here the virtual Gromov-Witten invariants to make correspondence of the results of this article with the ones in [8]. Precisely speaking, these quantities do not play an essential role in the main result of this article, but they are convenient for describing our results of computation. Definition 5 The virtual Gromov-Witten invariant v n j= O e a j d on MN k is the rational number that satisfy the condition: i initial condition ii flat metric condition vo e ao e bo e c 0 = k δ a+b+c,n, n v O e a j 0 = 0, n 3, j= k vo e N no e n k NdO e d = n +k Nd, d,.3 vo e 0O e ao e b 0 = k δ a+b,n, n vo e 0 O e a j d = 0, d, or d = 0, n,.4 j= iii topological selection rule n n v O e a j d 0 = N 5 + N kd = a j,.5 j= j= 5

6 iv Kähler equation v associativity equation n n vo e O e a j d = d v O e a j d,.6 j= j= d N d =0 {α } {β }={n } i=0 = d d =0 {α } {β }={n } i=0 a + b + c + d + vo e ao e b N vo e ao e c α j {α } α j {α } O e α j O e i d vo e N i O e α j O e i d vo e N i β j {β } β j {β } O e β j O e co e d d d O e β j O e bo e d d d, m n j = N + N kd..7 j= Next, we introduce the notation that was heavily used in [8], Definition 6 V d m n; d + d + + d lσm := lσ k d m vo m N no lσm n k Nd j= O +k Ndj d m..8 In [8], we proposed some conjectures on the relation between V d m n; σ m and G d m n; σ m in.. Conjecture If lσ m or d m =, G d m n; σ m is given by V d m n; σ m. In the same way as Conjecture, we can see that this conjecture is natural and consistent with the construction given in the next section. As the last part of this subsection, we write down a recursive formula for V k,k,d d m n; σ m, that follows directly from the definition of the virtual structure constants, for later use: Proposition V k,k,d d m n; d + d + + d lσm = V k,k,d d m n; d + d + + d lσm + d lσm +V k,k,d d lσm d m n d lσm; d + d + + d lσm V k,k,d d lσm d m d + ; d + d + + d lσm d m + d m j j d m p d m lσm p V k,k,d m j+da+d lσm d m j n; d a + + d ap + d lσm j= A B V k,k,j+db j n + j d + m d A d lσm; d b + + d blσm p d m j= A B d m j j d m p d m lσm p V k,k,d d m j n; d a + + d ap + m + j d A V k,k,j+db j m + + j d A ; d b + + d blσm p,.9 where A B means the summation on all the way of separating the set {,,, lσ m } into two disjoint sets A = {a,,a p } and B = {b,, b lσm p}, and d A resp. d B is an integer p j= d a j resp. lσ m p j= d bj. Remark In applying.9, we don t need to arrange integers d j in ascending order, because the virtual Gromov-Witten invariants are invariant under permutation of insertion of operators. 6

7 3 Algorithmic Derivation of the Generalized Mirror Transformation In this section, we write down the algorithm to compute the generalized mirror transformation and reproduce the results obtained in [8] for Mk k up to d = 5 case. We explain theoretical background of our algorithm, following the result of Iritani [6], in the next section. As the first step, we truncate the virtual Gauss-Manin system.7 into the form: x ψ N m x = ψ N m x + [ m k N ] d= expdx m ψ N m+k Nd x. 0 m N 3.0 This truncation means that we throw away all the m s except for the ones that satisfy + k Nd m N. Moreover, ψ j x j Z is replaced by ψ j x j = 0, N. In other words, we throw away ψ j x s, that are exotic as the usual Gauss-Manin system associated with the quantum cohomology ring of MN k. For example, we write down the form of truncated virtual Gauss-Manin system of M8 9: x ψ 0 x = ψ x + αe x ψ x + ηe x ψ 3 x + ϕe 3x ψ 4 x + πe 3x ψ 5 x + ǫe 5x ψ 6 x x ψ x = ψ x + βe x ψ 3 x + ξe x ψ 4 x + κe 3x ψ 5 x + πe 3x ψ 6 x x ψ x = ψ 3 x + γe x ψ 4 x + ξe x ψ 5 x + ϕe 3x ψ 6 x x ψ 3 x = ψ 4 x + βe x ψ 5 x + ηe x ψ 6 x x ψ 4 x = ψ 5 x + αe x ψ 6 x x ψ 5 x = ψ 6 x x ψ 6 x = Since the next step is rather complicated, we explain it by using the above example. First, we eliminate ψ 6 x from the 5th line of 3. by using the 6th line, x ψ 4 x = ψ 5 x + αe x x ψ 5 x = + αe x x ψ 5 x, 3. and obtain, ψ 5 x = + αe x x x ψ 4 x, ψ 6 x = x + αe x x x ψ 4 x. 3.3 In this way, we can eliminate ψ 5 x and ψ 6 x in 3.. We can also eliminate ψ 4 x by plugging 3.3 into 4th line of 3., x ψ 3 x = + βe x + αe x x x + ηe x x + αe x x x ψ 4 x, 3.4 and obtain, ψ 4 x = + βe x + αe x x x + ηe x x + αe x x x x ψ 3 x, ψ 5 x = + αe x x x + βe x + αe x x x + ηe x x + αe x x x x ψ 3 x, ψ 6 x = x + αe x x x + βe x + αe x x x + ηe x x + αe x x x x ψ 3 x

8 By continuing the elimination process, we can obtain the following relation between ψ 0 x and ψ x: Then we dictate the following relation that characterize the flat coordinate t, Explicitly, t in our example is given as follows: ψ x = Fe x, x ψ 0 x. 3.6 t = Fe x, x, i.e., t ψ 0 x = ψ x. 3.7 t = x αe x x + ex αβ η 3 x + α x + x e3x ϕ 4 x ηβ x + 3 x ηγ 4 x + αβγ αξ 4 x +αβ x + 3 x + ααβ η x + 3 x + x + x + α 3 x + x + x Using 3.8, we can rewrite 3. into the form, t ψ 0 x t ψ x t ψ x t ψ 3 x t ψ 4 x t ψ 5 x = ψ x = ψ x + β αe x αe x + αβ η + α e 3x ψ 3 x +ξ η αγ αe x αe 3x + αβ η + α β α + αβ ηγ αe 3x ψ 4 x +κ ϕ αξ η ηβ α + α γ αe 3x ψ 5 x = ψ 3 x + γ αe x αe x + αβ η + α e 3x ψ 4 x +ξ η αγ αe x αe 3x + αβ η + α γ αe 3x ψ 5 x = ψ 4 x + β αe x αe x + αβ η + α e 3x ψ 5 x + β ααβ η + α ψ 6 x = ψ 5 x = ψ 6 x t ψ 6 x = Though these computations are rather hard because of non-commutativity between e x and x, we can manage them with the aid of Maple package: Ore-algebra. In general, we obtain the following equations as the result of this step, t ψ 0 x = ψ x, t ψ N m x = ψ N m x + t ψ N x = 0, [ m k N ] d= f m e x ψ N m+dk N x, m N 3, 3.30 where f m e x is the power series in e x whose lowest power is more than d. Definition 7 We denote by k wo e N mo e m k NdO e d the coefficient of e dx in f m e x. In our example, they are given as follows: k wo eo e O e 3 = β α, k wo eo e O e = γ α, k wo eo e O e = ξ η αγ α, k wo eo e O e 3 = κ ϕ αξ η ηβ α + α γ α. 3.3 Explicitly, we can write down k wo e N mo e m k NdO e d in terms of virtual Gromov-Witten invariants up to d = 3 cases for arbitrary N and k. k wo e N mo e m k NO e = V N,k, n; 0, 8

9 k wo e N mo e m k NO e k wo e N mo e m 3k NO e 3 = V N,k, N,k, n; 0 +k N V N,k, n;, = V N,k,3 N,k, 3 n; 0 +k N V N,k,3 N,k, n; +k N V N,k,3 n; + N,k, +k N V N,k,3 n; We also show here the explicit results for d = 4, 5 rational curves in the case of N = k : k wo e k 3 mo e m 5O e 4 = V k,k,4 4 n; 0 V k,k,4 k,k, 3 n; 3 V k,k,4 n; k,k,3 4 V k,k,4 n; 3 + V k,k,3 n; + V k,k,3 n ; V k,k, 5; 0 + An + k,k, 3 V k,k,4 n; + 3 V k,k,4 n; + +, k wo e k 3 mo e m 6O e 5 = V k,k,5 5 n; 0 V k,k,5 k,k, 4 n; 3 V k,k,5 3 n; k,k,3 4 V k,k,5 k,k,4 4 n; 3 5 V k,k,5 n; 4 + V k,k,4 3 n; + V k,k,4 3 n ; V k,k,3 3 6; 0 +Bn + Cn V 3; 0 hi n + hi n + hi 3 n + k,k, 3 +hi n + 3 hi n + hi 3 n hi 4n V k,k,4 n; + V k,k,4 n ; V k,k, 6; 0 3 V k,k,3 n; + V k,k,3 n ; + V k,k,3 n ; V k,k, 5; 0 V k,k,3 6; + Dn + 3hi n + 3hi n + hi 3 n where 3 k,k, 3 V k,k,5 n; V k,k,5 n; + + +, 3.33 An : = V k,k, n; V n 3; 0 + V n; 0 V k,k, n ; V k,k,4 n; + V 3; 0 V k,k,4 n; 3 V 4; 0, Bn : = V k,k,3 n; V k,, n 4; 0 + V n; 0 V k,k,3 n ; V k,k,4 n; + V k,k,4 n ; V k,k, 6; 0 V 3; 0 V k,k,5 n; 4 V k,k, 5; 0, Cn := V k,k, n; V k,k, n 3; 0 + V k,k, n; 0 V k,k, n 3; Dn := V k,k,5 n; + 3 V k,k, 4; 0 V k,k,5 n; 3 V 4; 0, V k,k, n; V n 3; 0 + V n; 0 V k,k, n ; V k,k,4 n; + V 3; 0 V k,k,4 n; 3 V 4; 0 +V k,k, n ; V n 4; 0 + V n ; 0 V k,k, n 3; V k,k,4 n ; + V 3; 0 V k,k,4 n ; 3 V 4;

10 In 3.33, hi j n is a degree homogeneous polynomial of m satisfying hi j 6 = hi j 7 = 0 and is given by, hi n = hi n = hi 3 n = hi 4 n = n n 4 + n n n 3 4 n n + n + n + n 3 + n + n n n n n 5 n + 6 n + 3, n n n n n 3 + n n n n 3 3 n + n 4 n + + n n n n + n n 4, n 3 n 4, For later use, we also write down the explicit formula of some V k,k,d d m n; σ m s : V k,k,4 n; + = V k,k,3 n; + V k,k,3 n ; V k,k, 5; 0 + An V k,k,5 3 n; + = V k,k,4 3 n; + V k,k,4 3 n ; V k,k,3 3 6; 0, + 3 Bn + 3 Cn 3 V 3; 0 hi n + hi n + hi 3 n hi 4 n, V k,k,5 n; + = V k,k,4 n; + V k,k,4 n ; V k,k, 6; 0 +hi n + hi n + hi 3n hi 4n, V k,k,5 n; + + = V k,k,3 n; + V k,k,3 n ; + V k,k,3 n ; V k,k, 5; 0 V k,k,3 6; + Dn + 4 4hi n + 4hi n + hi 3 n + hi 4 n We can obtain 3.36 by direct application of.9. It is quite interesting that the structure of the terms proportional to lσ m j= +k nd j in k wo e N no e n k NdO e d resembles the one of V d m n; σ m. We would like the reader to compare the corresponding G k,k,d d m n; σ m s in the conjecture., that were determined in [8]: G k,k,4 n; + = V k,k,3 n; + V k,k,3 n ; V k,k, 5; An G k,k,5 3 n; + = V k,k,4 3 n; + V k,k,4 3 n ; V k,k,3 3 6; 0, Bn Cn 5 V 3; 0 6hi n + 5hi n + 3hi 3 n hi 4 n, In [8], we made a combinatorial mistake in evaluating V k,k,5 n; + +, and the terms including hi j n are different from the fourth equality in Therefore, 3.36 is the correct answer. 0

11 G k,k,5 n; + = V k,k,4 n; + V k,k,4 n ; V k,k, 6; hi n + 5hi n + 4hi 3 n 3hi 4 n, G k,k,5 n; + + = V k,k,3 n; + V k,k,3 n ; + V k,k,3 n ; V k,k, 5; 0 V k,k,3 6; Dn hi n + 46hi n + 6hi 3 n hi 4 n As was suggested in [8], we can see that the coefficients of An,Bn, Cn and Dn in 3.36 change followingly in 3.37: 3 4, 3 4 5, 3 3 5, The terms that consist of hi j n change in a more complicated manner. These changes seem to imply that G k,k,d d m n; σ m does not satisfy the simple Kähler equation given in.6. At this stage, we introduce a key definition to resolve these puzzles observed in [8]. Definition 8 Let wo e n O e n O e nm be the rational number obtained from applying the associativity equation and the modified Kähler equation: wo e O e n O e n O e nm d d = d wo e n O e n O e nm d f= to the initial condition wo e N mo e m k NdO e d. Proposition N,k,f +k Nf wo e +k Nf O e n O e n O e nm d f, 3.39 lσ d k wo e no N e n k NdO e O e +k Nd i = V n; d + d + + d lσd i= proof In d = case, the modified Kähler equation 3.39 reduces to.6. Moreover, the initial condition and the associativity equation are also the same as the ones for the virtual Gromov-Witten invariants. Therefore, the assertion of the proposition follows. With these set up, our main result of this article is given as follows: Conjecture 3 O e N mo e m k NdO e d d = lσg Sσ g g=0 σ g P g lσ g i= i +k Nd i d i wo en mo em k NdO e lσ g i= O e +k Nd i d g. 3.4 Remark Under the assumption of 3.4, 3.39 leads us to the standard Kähler equation for real Gromov- Witten invariants: O e O e N mo e m k NdO e d d = lσg Sσ g g=0 σ g P g lσ g i= i +k Nd i d i wo e O en mo em k NdO e lσ g i= O e +k Nd i d g = d O e N mo e m k NdO e d. 3.4

12 In order to derive 3.4, we introduce another representation of σ d g P d g : Then the combinatorial factor Sσ g lσ g i= In these set up, what we have to show is, d g j= σ g = d + + d lσg = d i m j! j + mj m j j j= is rewritten as follows: lσ g Sσ g = d i i= i m i>0 m i i but this identity directly follows from i m i>0 m i i = g. j= j= mj m j! j m j! j = d, 3.45 mj mj m j! j In the remaining part of this section, we explicitly reproduce the results in [8] by using Conjecture 3. First, we derive the results of arbitrary N and k N k < 0 up to d = 3 case. In the d = case, 3.4 merely says, k O e no N e n k NO e = k wo e no N e n k NO e = V N,k, N.k. N,k, n; 0 = n +k N In the d = case, we can derive k O e N no e n k NO e = k wo e no N e n k NO e N,k, k +k N wo e no N e n k NO eo e +k N = V N,k, N,k, n; 0 +k N V N,k, N,k, n; +k N V N,k, n; = V N,k, n; 0 N,k, +k N V N,k, n; Then we turn into the d = 3 case. In this case, we have to use the modified Kähler equation 3.39, associativity equation and 3.3. k O e no N e n 3k NO e 3 = N,k, wo k e N no e n 3k NO e 3 +k N wo e no N e n 3k NO eo e +k N N,k, +k N wo e N no e n 3k NO eo e +k N + N,k, +k N wo e N no e n 3k NO e O e +k NO e +k N = wo k e N no e n 3k NO e 3 N,k, +k N wo e N no e n 3k NO e +k N N,k, +k N wo e N no e n 3k NO e +k N + 3 N,k, +k N wo e N no e n 3k NO e +k NO e +k N = V N,k,3 N,k, 3 n; 0 +k N V N,k,3 N,k, n; +k N V N,k,3 n; + N,k, +k N V N,k,3 n; + j=

13 N,k, +k N V N,k,3 N,k, n; +k N V N,k,3 n; + N,k, +k N V N,k,3 n; + 3 N,k, +k N V N,k,3 n; + = V N,k,3 3 n; 0 3 N,k, +k N V N,k,3 n; 3 N,k, +k N V N,k,3 n; + 9 N,k, +k N V N,k,3 n; Indeed, these results agree with the results in [8]. Next, we derive the generalized mirror transformation of M k k model for the d = 4, 5 cases. k O e k 3 no e n 5O e 4 = wo k e k 3 no e n 5O e 4 wo e k 3 n O e n 5O e O e 3 k,k, 3 wo e k 3 no e n 5O e O e 3 k,k,3 4 wo 3 e k 3 n O e n 5O e O e 4 + wo e k 3 no e n 5O e O e O e + 3 wo e k 3 no e n 6O e O e O e O e 6 wo e k 3 no e n 5O e 4 = k 3 k,k, wo e k 3 n O e n 5O e 3 3 wo e k 3 n O e n 5O e 3 k,k,3 4 wo 3 e k 3 n O e n 5O e 4 + wo e k 3 no e n 5O e O e + 3 wo 3 e k 3 no e n 6O e O e O e k,k, 3 wo e k 3 no e n 5O e O e O e 3 k,k, 3 wo e k 3 n O e n 5O e O e 3 = V k,k,4 4 n; 0 V k,k,4 k,k, 3 n; 3 V k,k,4 n; + V k,k,3 n; + V k,k,3 n ; V k,k, 5; 0 + An + k,k, 3 V k,k,4 3 n; + 3 V k,k,4 n; + + V k,k,4 3 n; k,k, 3 V k,k,4 n; + + V k,k,4 n; + + k,k, 3 V k,k,4 n; V k,k,4 n; + k,k,3 4 V k,k,4 n; 3 V k,k,3 n; + V k,k,3 n ; V k,k, 5; 0 + An k,k,3 4 V k,k,4 n; V k,k,3 n; + V k,k,3 n ; V k,k, 5; 0 + An 3 V k,k,4 n; V k,k,4 n; k,k, 3 V k,k,4 n; + = V k,k,4 4 n; 0 4 V k,k,4 3 n; k,k, 3 V k,k,4 n; 4 k,k,3 4 V k,k,4 n; 3 3 3

14 +8 V k,k,3 n; + V k,k,3 n ; V k,k, 5; An +8 k,k, 3 V k,k,4 n; V k,k,4 n; Note that we have used 3.39 to derive the second equality in In this derivation, the mysterious change of coefficients of An in 3.36 into 3 4 in 3.37 naturally arises as the result of the identity: = 4! Derivation of the d = 5 result can be done in almost the same way as in the d = 4 case. As the first step, we use 3.39 once again, k O e k 3 no e n 6O e 5 = wo k e k 3 n O e n 6O e 5 wo e k 3 n O e n 6O e O e 4 k,k, 3 wo e k 3 n O e n 6O e O e 3 3 k,k,3 4 wo 3 e k 3 n O e n 6O e O e 4 k,k,4 5 wo 4 e k 3 no e n 6O e O e 5 + wo e k 3 n O e n 6O e O e O e k,k, 3 wo e k 3 n O e n 6O e O e O e 3 k,k,3 4 wo e k 3 n O e n 6O e O e O e 4 + k,k, 3 wo 8 e k 3 n O e n 6O e O e 3O e 3 3 wo 6 e k 3 n O e n 6O e O e O e O e 4 k,k, 3 wo e k 3 n O e n 6O e O e O e O e wo 4 e k 3 no e n 6O e O e O e O e O e = wo k e k 3 n O e n 6O e 5 4 wo e k 3 n O e n 6O e 4 3 k,k, 3 wo e k 3 n O e n 6O e 3 3 k,k,3 4 wo 3 e k 3 n O e n 6O e 4 k,k,4 5 wo 4 e k 3 n O e n 6O e wo e k 3 n O e n 6O e O e k,k, 3 wo e k 3 n O e n 6O e O e 3 k,k,3 4 wo e k 3 n O e n 6O e O e k,k, 3 wo 8 e k 3 n O e n 6O e 3O e wo 6 e k 3 n O e n 6O e O e O e 5 4 k,k, 3 wo e k 3 n O e n 6O e O e O e wo 4 e k 3 no e n 6O e O e O e O e. 3.5 Then we decompose each wo e n O e n O e n l in terms of V k,k,d d m n; σ m by using the associativity equation and the modified Kähler equation We briefly explain the remaining computation. At first, the coefficients of the terms in 3.5 add up to the ones in. as follows, + 4 = 5, + 3 = 5, + 3 = 5 3, + 4 = 5 4, 4

15 = 5, = 5, = 5 3, = 5 8, = 5 6, = 5 4, = The change of coefficients 3, 3, of Bn, Cn, Dn in 3.36 into 4 5, 3 5, 4 5 in 3.37 is naturally derived in the same way as in the d = 4 case: = 5 4 5, = 5 3 5, = Lastly, we verify the non-trivial change of the terms including hi n, hi n, hi 3 n, hi 4 n in We discuss the case of + + sector in detail. In this case, we have four terms in 3.5 that contribute to this sector: k wo e k 3 no e n 6O e 5, k k 5 wo e k 3 n O e n 6O e O e 3, k wo e k 3 no e n 6O e 4 3 wo e k 3 n O e n 6O e O e O e 3.54 If we consider the contributions coming from the first two terms, we can see that we don t have to use the modified Kähler equation Therefore, we can compute the contributions that includes hi j n only by using associativity equation and The contributions from these terms turn out to be the same and given by, V k,k,3 n; + V n 4; 0 + V k,k, n; V k,k, n 3; +V n; 0 V k,k,3 n ; + V k,k,5 n; + + V 3; 0 V k,k,5 n; + 3 V k,k, 4; V k,k,5 n; 4 V k,k,3 5; + = 3hi n + 3hi n + hi 3 n Contrary to the above cases, we have to treat carefully the term wo e k 3 n O e n 6O e O e 3 because we have to use 3.39 once in the computation. In this case, we take care of the following terms that appear in decomposing wo e k 3 n O e n 6O e O e 3 by using associativity equation: k wo e k 3 n O e O e O e n 4 wo e k n+o e n 6O e + wo e k 3 n O e O e O e n 3 wo e k no e n 6O e +wo e k 3 no e O e n 3 wo e k n O e n 6O e O e + wo e k 3 n O e O e n wo e k n O e n 6O e O e wo e k 3 no e n 6O e O e 3 wo e k 6O e O e wo e k 3 n O e n 6O e O e 4 wo e k 7O e O e wo e k 3 no e n 6O e 4 wo e k 7O e O e O e wo e k 3 n O e n 6O e 5 wo e k 8O e O e O e If we take the leading terms of 3.39 in reducing the degree four point functions in 3.56 into three point functions and if we pick up the terms proportional to in these degree three point function, we obtain the following contribution: 3hi n + 3hi n + hi 3 n On the other hand, we also have the terms proportional to by picking up the sub-leading term of 3.39 that appear in reducing the degree four point function in For example, we take wo e k no e O e O e n 4 in the r.h.s. of the equation: wo e k n O e O e O e n 4 = wo e k no e O e n 4 5 wo e k n O e O e O e n

16 After some computation, the following contribution appears, V k,k,3 n; + V n 4; 0 + V n; 0 V k,k,3 n ; + V k,k,5 n; + + V 3; 0 V k,k,5 n; 4 V k,k,3 5; + = hi n + hi n + hi 3 n hi 4 n The contribution from wo e k 3 n O e n 6O e O e O e is obtained only by taking leading terms of 3.39 and of three point functions. Therefore, the computation is the same as the one of virtual Gromov-Witten invariants, and we have from 3.36, V k,k,3 n; + V n 4; 0 + V k,k, n; V k,k, n 3; +V n; 0 V k,k,3 n ; + V k,k,5 n; + + V 3; 0 V k,k,5 n; + 3 V k,k, 4; V k,k,5 n; 4 V k,k,3 5; + = 4hi n + 4hi n + hi 3 n + hi 4 n Adding up these five contributions, we can finally reproduce the part of the formula of G k,k,5 n; + + including hi j n: 3hi n + 3hi n + hi 3 n + 43hi n + 3hi n + hi 3 n + 5 3hi n + 3hi n + hi 3 n + 5 hi n + hi n + hi 3 n hi 4 n hi n + 4hi n + hi 3 n + hi 4 n = hi n hi n hi 3n 5 hi 4n. 3.6 Computation of the remaining +, + sectors goes in the same way. In these cases, we don t have to consider the sub-leading terms of 3.39 because we don t have to use 3.39 except for wo e k 3 n O e n 6O e O e 3 and wo e k 3 n O e n 6O e O e 3. Therefore, we write down the final process of the computation in the following: + sector hi n + 3 hi n + hi 3 n hi 4n + 4hi n + hi n + hi 3 n hi 4 n + 3 hi n + hi n + hi 3 n + 5 hi n + hi n + hi 3 n hi 4 n = hi n + hi n hi 3n 3 5 hi 4n, + sector hi n + hi n + hi 3 n + 4hi n + hi n + hi 3 n + 5 hi n + hi n + hi 3 n hi 4 n = hi n + hi n hi 3n 5 hi 4n. 3.6 In this way, we have reproduced the results in [8]. We also did some numerical test for curves of higher degree. In the d = 6 case, Conjecture 3 predicts L 3,4,6 8 = \ /9375, 3.63 which agrees with the numerical computation using the fixed-point theorem []. 6

17 4 Iritani s Theory In this section, we briefly explain how our conjecture 3.4 naturally follows from applying Iritani s result [6] to our specific case. Crucial point of his framework is introduction of deformation variable of x j j =,,N, x = x that corresponds to the insertion of O e j. First, we prepare a N N matrix C e x whose matrix element is given by the virtual structure constants: C e x m n = { m e dx n = m + + k Nd 0 otherwise Then we can express the truncated Gauss-Manin system 3.0 into a compact form: x ψ = C e x ψ Next, we construct matrices C j e x j =,,N that correspond to the deformation of ψ by x j : x j ψ = C j e x ψ, 4.66 whose mn element vanishes unless n = m+j +k Nd. Non-zero matrix elements of C j e x j =,,N are uniquely determined by the conditions: [ C i e x, C j e x ] = 0, C j e x m m+j = With these set up, we can obtain Jacobi matrix between B-model deformation parameters x j and flat coordinates t j from the flat coordinate condition ψ0 t j = ψ j : ψ 0 x i = tj x i ψ 0 t j = tj x i ψ j = C i e x 0 j ψ j = tj x i = C i e x 0 j Using 4.68, we can compute matrix C i e x that corresponds to deformation of t i as follows: Of course, we can construct rank 3 symmetric tensor Surprisingly, the non-zero elements of C jm e x is given by t i ψ = xj t i x j ψ = xj t i C j e x ψ = C i e x ψ 4.69 C ijm e x = C i e x j l η lm, η lm = k δ l+m,n C,N n,n k Nd e x = wo e N no e n k NdO e d, 4.7 that was obtained by the first step of our construction. On the other hand, we can integrate Jacobi matrix 4.68 and obtain the mirror map that translates x j into t j as follows: x i = t i, i / { + k Nj j Z }, x +k Nj = t +k Nj N,k,j +k Nj expjt. 4.7 j At this stage, the second step of our construction is nothing but the process of perturbing C ijm e x by x, x 3,, x N by using the associativity equation: C ijm e x, x, x 3,,x N η ml Clst e x, x, x 3,,x N = C ism e x, x, x 3,,x N η ml Cljt e x, x, x 3,, x N, η ml = k δ l+m,n,

18 and the Kähler equation: t C N ijm t, t,,t N x j = t x C j ijm e x, x,, x N j= = x C ijm e x, x,,x N +k Nd expdx x C +k Nd ijm e x d=, x,, x N Note that 4.74 is nothing but the modified Kähler equation The result of Iritani asserts that the real perturbed three point function C ijm e t, t,,t N is given by, C ijm e t, t,,t N = C ijm e x, x,,x N, x i = t i, i / { + k Nj j Z }, x +k Nj = t +k Nj N,k,j +k Nj expjt j If we expand the r.h.s. of 4.75 in terms of x,,x N and set t = t 3 = = t N = 0, we obtain 3.4 as the special case of i =, j = N n, m = n k Nd. 8

19 References [] A.Bertram. Another way to enumerate rational curves with torus actions Invent.Math , no.3, [] Tom Coates, Alexander B. Givental. Quantum Riemann-Roch, Lefschetz and Serre math.ag/004 [3] A. Collino, M.Jinzenji. On the Structure of Small Quantum Cohomology Rings for Projective Hypersurfaces Commun.Math.Phys.06:57-83,999 [4] A. Gathmann. Absolute and Relative Gromov-Witten Invariants of Very Ample Hypersurfaces math.ag/ [5] Alexander B. Givental. Equivariant Gromov - Witten Invariants Internat. Math. Res.Notices 3 996, [6] H.Iritani. Quantum D-module and Generalized Mirror Transformation in preparation. [7] M.Jinzenji. Completion of the Conjecture: Quantum Cohomology of Fano Hypersurfaces Mod.Phys.Lett. A [8] M.Jinzenji. Virtual Gromov-Witten Invariants and the Quantum Cohomology Rings of General Type Projective Hypersurfaces Mod.Phys.Lett. A [9] M.Jinzenji. On the Quantum Cohomology Rings of General Type Projective Hypersurfaces and Generalized Mirror Transformation Int.J.Mod.Phys.A5: ,000. [0] M.Jinzenji. Gauss-Manin System and the Virtual Structure Constants Int.J.Math [] M.Kontsevich. Enumeration of Rational Curves via Torus Actions The moduli space of curves, R.Dijkgraaf, C.Faber, G.van der Geer Eds., Progress in Math., v.9, Birkhäuser, 995, [] M. Kontsevich, Yu. Manin. Gromov-Witten classes, quantum cohomology, and enumerative geometry Commun.Math.Phys [3] B.Lian, K.Liu and S.T.Yau. Mirror Principle III Asian J. Math , no.4,