Mathematische Zeitschrift

Transcription

1 Math. Z. DOI.7/s Mathematische Zeitschrift Modular-type functions attached to mirror quintic Calabi Yau varieties Hossein Movasati Received: 6 June 24 / Accepted: 9 May 25 Springer-Verlag Berlin Heidelberg 25 Abstract In this article we study a differential algebra of modular-type functions attached to the periods of a one-parameter family of Calabi Yau varieties which is mirror dual to the universal family of quintic threefolds. Such an algebra is generated by seven functions satisfying functional and differential equations in parallel to the modular functional equations of classical Eisenstein series and the Ramanujan differential equation. Our result is the first example of automorphic-type functions attached to varieties whose period domain is not Hermitian symmetric. It is a reformulation and realization of a problem of Griffiths from the seventies on the existence of automorphic functions for the moduli of polarized Hodge structures. Keywords Gauss Manin connection Yukawa coupling Hodge filtration Griffiths transversality Mathematics Subject Classification 4N35 4J5 32G2 Introduction In 99 Candelas et al. in [2] calculated in the framework of mirror symmetry a generating function, called the Yukawa coupling, which predicts the number of rational curves of a fixed degree in a generic quintic threefold. Since then there were many efforts to relate the Yukawa coupling to classical modular or quasi-modular forms, however, there was no success. The theory of modular or quasi-modular forms is attached to elliptic curves, or more accurately, to their periods, see for instance [,2]. In general the available automorphic form theories are attached to varieties whose Hodge structures form a Hermitian symmetric B Hossein Movasati hossein@impa.br hossein Instituto de Matemática Pura e Aplicada (IMPA), Estrada Dona Castorina,, Rio de Janeiro, RJ , Brazil

2 H. Movasati domain. This is not the case for the mirror quintic Calabi Yau threefolds which are the underlying varieties of the Yukawa coupling. An attempt to formulate automorphic form theories beyond Hermitian symmetric domains was first done in the seventies by P. Griffiths in the framework of Hodge structures, see [7]. However, such a formulation has lost the generating function role of modular forms. The main aim of the present text is to reformulate and realize the construction of a modular-type function theory attached to mirror quintic threefolds. Our approach is purely geometric and it uses Grothendieck s algebraic de Rham cohomology [8] and the algebraic Gauss Manin connection due to Katz and Oda [9], see Theorem 3. From this we derive the algebra of modular-type functions, see Theorem, and describe the functional equations satisfied by its elements, see Theorem 2. For preliminaries in Hodge theory and modular forms the reader is referred to Voisin s book [8] and Zagier s article [9], respectively. The present work continues and simplifies our previous article [3]. Consider the following fourth-order linear differential equation: θ 4 z ( θ + 5 )( θ )( θ )( θ A basis of the solution space of () is given by: ψ i (z) = i ( ) i! ɛ i 5 5ɛ F(ɛ, z), j =,, 2, 3, where ( 5 + ɛ ) ( 25 + ɛ ) ( 35 + ɛ ) ( 45 + ɛ ) n n n n F(ɛ, z) := ( + ɛ) 4 n n= ) =, θ = z z. () and (a) n := a(a + ) (a + n ) for n > and(a) :=. We use the base change x ψ x 2 x 3 = 2πi ψ (2πi) 2. x ζ(3) ψ 5 4 (2πi) 3 (2πi) 3 ψ 5 4 In the new basis x i the monodromy of () around the singularities z = andz = is respectively given by: M := 5 5, M := 5 that is, the analytic continuation of the 4 matrix[x i ] around the singularity z = (respectively z = ) is given by M [x i ], respectively M [x i ] (see for instance [5,7] and [3] for similar calculations). The functions x i can be written as periods of a holomorphic differential 3-form over topological cycles with integral coefficients (see Sect. 4). Let τ := x, q := e 2πiτ, x 2 and x ij := θ j x i, i, j {, 2, 3, 4}. z ɛ+n

3 Modular-type functions attached to mirror quintic Calabi Yau... Theorem Let t = x 2, t = 5 4 x 2 ((6z )x 2 + 5(z )x (6z )x (z )x 24 ), t 2 = 5 4 x2 2 ((2z 7)x 2 + 5(z )x (z )x 23 ), t 3 = 5 4 x2 3 ((z 6)x 2 + 5(z )x 22 ), t 4 = zx2 5, t 5 = 5 5 (z )x2 2 (x 2x 2 x x 22 ), t 6 = 5 5 (z )x 2 (3(x 2 x 2 x x 22 ) + 5(x 3 x 2 x x 23 )). There are holomorphic functions h i defined in some neighborhood of C such that ( ) 2πi di ( ) t i = h i e 2πiτ, (2) 5 where d i := 3(i + ), i {,, 2, 3, 4}, d 5 :=, d 6 := 8. Moreover, the t i satisfy the following ordinary differential equation: ṫ = t 5 (6 5 4 t 5 + t t t 4 ) Ra : ṫ = t 5 ( 5 8 t t 4 t t t 4 + t t 3 ) ṫ 2 = t 5 ( t 7 54 t 5t t 4t t 2t t t 4 + 2t 2 t 3 ) ṫ 3 = t 5 ( 5 t 8 54 t 5t t 4t t 3t t 2 t 4 + 3t3 2) ṫ 4 = t 5 (5 6 t 4 t 4 + 5t 3 t 4 ) ṫ 5 = t 5 ( 5 4 t 5 t t 4t 5 + 2t 3 t t 4 t 6 ) ṫ 6 = t 5 (3 5 5 t 4t t 3t 5 2t 2 t 5 + 3t 3 t 6 ) with := τ. We define the weights deg(t i ) := d i. In the right hand side of Ra we have homogeneous rational functions of degree 4, 7,, 3, 6, 2, 9, respectively. Note that the degree of a quotient a b is defined to be deg(a) deg(b). These are the same degrees in the left hand side if we define deg(ṫ i ) := deg(t i )+. The ordinary differential equation Ra is a generalization of the Ramanujan differential equations satisfied by Eisenstein series, see for instance [2,9]. We write each h i as a formal power series in q, h i = n= h i,n q n and substitute in (3) with =5q q and we see that it determines all the coefficients h i,n uniquely with the initial values: h, = 5, h, = 24, h 4, = (4) and assuming that h 5, =. In fact the differential equation (3) seems to be the simplest way of writing the mixed recursion between h i,n, n 2. Some of the first coefficients of the h i are given in the table at the end of the Introduction. The differential Galois group of () is Sp(4, C). This together with the equality (2) implies that the functions h, h,...,h 6 are algebraically independent over C (see [3], Theorem 2). The reader who is expert in classical modular forms may ask for the functional equations of the t i.leth be the monodromy covering of (C {, }) { }associated with the (3)

4 H. Movasati monodromy group Ɣ := M, M of () (see 4). The set H is biholomorphic to the upper half plane, see []. This is equivalent to say that the only relation between M and M is (M M ) 5 = I. We will not need to assume this statement because we do not need the coordinate system on H given by this biholomorphism. The monodromy group Ɣ acts from the left on H in a canonical way: (A,w) A(w) H, A Ɣ, w H and the quotient Ɣ\H is biholomorphic to (C {, }) { }. This action has one elliptic point of order 5 and two cusps and. We can regard x ij as holomorphic one-valued functions on H. For simplicity we use the same notation for these functions: x ij : H C. We define τ i : H C, τ := x,τ := x 3,τ 2 := x 4,τ 3 := x 3x 22 x 32 x 2 x 2 x 2 x 2 x x 22 x 2 x 2 which are a priori meromorphic functions on H. We will use τ as a local coordinate around a point w H whenever w is not a pole of τ and the derivative of τ does not vanish at w. In this way we need to express the τ i, i {, 2, 3} as functions of τ : τ = τ (τ + ) + H, τ where τ 2 = 2 ζ(3) (2πi) τ τ 3 = τ τ, H = (2πi) 3 ( τ 2 n d d 3 d n n= ) τ H τ 2H, e2πiτ n n 3 (5) and n d is the virtual number of rational curves of degree d in a generic quintic threefold. The numbers n d are also called instanton numbers or BPS degeneracies. A complete description of the image of τ is not yet known. Now, the t i are well-defined holomorphic functions on H. The functional equations of the t i with respect to the action of an arbitrary element of Ɣ are complicated mixed equalities which we have described in 4.SinceƔ is generated by M and M it is enough to explain them for these two elements. The functional equations of the t i with respect to the action of M and written in the τ -coordinate are the trivial equalities t i (τ ) = t i (τ + ), i =,,...,6. Theorem 2 With respect to the action of M,thet i written in the τ -coordinate satisfy the following functional equations: ( ) τ t (τ ) = t τ 2 + τ 2 +, ( ) ( ) τ t (τ ) = t τ 2 + (τ 2 + ) 2 + t τ τ τ 3 τ 7 τ 2 + (τ 2 + )(τ 2τ 3 τ τ + τ 2 + ) ( ) τ + t 9 τ 2 + ( ) τ t 2 (τ ) = t 2 τ 2 + τ (τ 2 + ) 2 + (τ 2 + ) 3 + t 6 τ 2 +, ) ( τ τ 2 + τ τ 3 τ (τ 2 + ) 2 (τ 2 τ 3 τ τ + τ 2 + )

5 Modular-type functions attached to mirror quintic Calabi Yau... ( ) τ + t 8 τ 2 + ( ) τ t 3 (τ ) = t 3 τ 2 + ( ) τ t 4 (τ ) = t 4 τ 2 + ( ) τ t 5 (τ ) = t 5 τ 2 + ( ) τ t 6 (τ ) = t 6 τ 2 + where τ (τ 2 + ) 3, (τ 2 + ) 4 + t 5 (τ 2 + ) 5, ( τ τ 2 + (τ 2 + ) 2 (τ 2 τ 3 τ τ + τ 2 + ), (τ 2 + )(τ 2 τ 3 τ τ + τ 2 + ) + t 8 t 7 := (55 t 4 + t 3)t 6 (5 5 t 3 + t 2)t (t 4 t 5 ), t 8 := 54 (t 5 t 4) t 5, ) τ τ 3 τ (τ 2 + ) 3 (τ 2 τ 3 τ τ + τ 2 + ) ( τ τ 2 + ) τ 2 (τ 2 + ) 3, t 9 := 55 t 4 t 3. t 5 Since we do not know the global behavior of τ, the above equalities must be interpreted in the following way: for any fixed branch of t i (τ ) there is a path γ in the image of τ : H C which connects τ to τ τ 2 + and such that the analytic continuations of the t i along the path γ satisfies the above equalities. For this reason it may be reasonable to use a new name for all the t i in the right hand side of the equalities in Theorem 2. We could also state Theorem 2 without using any local coordinate system on H: weregardt i as holomorphic functions on H and, for instance, the first equality in Theorem 2 can be derived from the equalities: t (w) = t (M (w)) τ 2 (w) +, τ (M (w)) = τ (w) τ 2 (w) +. The Yukawa coupling Y turns out to be Y = 58 (t 4 t 5 )2 t 3 5 ( 2πi = 5 ) 3 ( q q q 2 q 2 + +n dd 3 q d q d + and so it satisfies the functional equation ( ) ( τ τ 2 Y (τ ) = Y τ 3 τ τ + τ 2 + ) 3 τ 2 + (τ 2 + ) 4. The basic idea behind all the computations in Theorem and Theorem 2 lies in the following geometric theorem: Theorem 3 Let T be the moduli of pairs (W, [α,α 2,α 3,α 4 ]), where W is a mirror quintic Calabi Yau threefold and α i F 4 i /F 5 i, i {, 2, 3, 4} [ α i,α j ] =. )

6 H. Movasati Here, HdR 3 (W ) is the third algebraic de Rham cohomology of W, Fi is the ith piece of the Hodge filtration of HdR 3 (W ),, is the intersection form in H dr 3 (W ) and is the constant matrix: :=. (6) Then there is a unique vector field Ra in T such the Gauss Manin connection of the universal family of mirror quintic Calabi Yau varieties over T composed with the vector field Ra, namely Ra, satisfies: Ra (α ) = α 2, Ra (α 2 ) = Y α 3, Ra (α 3 ) = α 4, Ra (α 4 ) = for some regular function Y in T. In fact, T = {(t, t, t 2, t 3, t 4, t 5, t 6 ) C 7 t 5 t 4 (t 4 t 5 ) = }, (7) and under this isomorphism the vector field Ra as an ordinary differential equation is (3) and Y = 58 (t 4 t ) 2 is the Yukawa coupling. t5 3 The space of classical (or elliptic) modular or quasi-modular forms of a fixed degree for discrete subgroups of SL(2, R), is finite. This simple observation is the origin of many number theoretic applications (see for instance [9]) and we may try to generalize such applications to the context of present text. Having this in mind, we have to describe the behavior of the t i around the other cusp z =. This will be done in another article. All the calculations of the present text, and in particular the calculations of the p i and the differential equation (3), are done by Singular, see [6]. The reader who does not want to calculate everything by his own effort can obtain the corresponding Singular code and a Singular library form the Pdf file of the present text which is hyperlinked to the computer codes in my website. Many arguments of the present text work for an arbitrary Calabi Yau differential equation in the sense of [6]. In this paper we mainly focus on the geometry of mirror quintic Calabi Yau varieties which led us to explicit calculations. Therefore, the results for an arbitrary Calabi Yau equation is postponed to another paper. The present text is organized in the following way. Section 2 is dedicated to the algebrogeometric aspects of mirror quintic Calabi Yau threefolds. In this section we describe how one can get the differential equation (3) using the Gauss Manin connection of families of mirror quintic Calabi Yau varieties enhanced with elements in their de Rham cohomologies. Theorem 3 is proved in this section. In Sect. 3 we describe a solution of (3). This solution is characterized by a special format of the period matrix of mirror quintic Calabi Yau varieties. Finally in Sect. 4 we describe such a solution in terms of the periods x ij and the corresponding q-expansion. In this section we first prove Theorem 2 and then Theorem.

7 Modular-type functions attached to mirror quintic Calabi Yau... Don Zagier pointed out that using the parameters t 7, t 8, t 9 the differential equation (3) must look simpler. I was able to rewrite it in the following way: ṫ = t 8 t t 9 ṫ = t t t t 8 ṫ 2 = t t 8 2t 2 t t 2t 8 ṫ 3 = 4t 2 t 8 3t 3 t 9 5(t 7 t 8 t 9 t 6 )t 8 ṫ 4 = 5t 4 t 9 ṫ 5 = t 6 t 8 3t 5 t 9 t 3 (8) ṫ 6 = 2t 6 t 9 t 2 t 7 t 8 ṫ 7 = t 7 t 9 t ṫ 8 = t2 8 t5 t 6 3t 8 t 9 ṫ 9 = t2 8 t5 t 7 t 2 9 My sincere thanks go to Charles Doran, Stefan Reiter and Duco van Straten for useful conversations and their interest on the topic of the present text. In particular, I would like to thank Don Zagier whose comments on the first draft of the text motivated me to write Theorem and Theorem 2 in a more elementary way and without geometric considerations. I found it useful for me and a reader who seeks for number theoretic applications similar to those for classical modular forms, see for instance [9]. I would also like to thank both mathematics institutes IMPA and MPIM for providing excellent research ambient during the preparation of the present text. After this article, there have been many developments and applications which I have collected them in a project named Gauss Manin connection in disguise. It can be found in the author s webpage. Also in the later developments I have decided to use the name differential Calabi Yau modular form instead of modular-type function. q q q 2 q 3 q 4 q 5 q 6 24 h h h h h h h h h h Mirror quintic Calabi Yau varieties Let W ψ, ψ 5 = be the variety obtained by a resolution of singularities of the following quotient: { } W ψ := [x : x : x 2 : x 3 : x 4 ] P 4 x 5 + x5 + x5 2 + x5 3 + x5 4 5ψx x x 2 x 3 x 4 = /G, (9)

8 H. Movasati where G is the group G := {(ζ,ζ 2,...,ζ 5 ) ζi 5 =, ζ ζ 2 ζ 3 ζ 4 ζ 5 = } acting in a canonical way, see for instance [2]. The variety W ψ is Calabi Yau and it is mirror dual to the universal family of quintic varieties in P 4. From now on we denote by W such a variety and we call it a mirror quintic Calabi Yau threefold. This section is dedicated to algebraic-geometric aspects, such as the moduli space and the algebraic de Rham cohomology, of mirror quintic Calabi Yau threefolds. We will use the algebraic de Rham cohomology HdR 3 (W ) whichisevendefinedforw defined over an arbitrary field of characteristic zero. The original text of Grothendieck [8] is still the main source of information on algebraic de Rham cohomology. In the present text by the moduli of the objects x we mean the set of all x modulo natural isomorphisms. 2. Moduli space, I We first construct explicit affine coordinates for the moduli S of pairs (W,ω),whereW is a mirror quintic Calabi Yau threefold and ω is a holomorphic differential 3-form on W.We have S = C 2 \{(t 5 t 4)t 4 = }, where for (t, t 4 ) we associate the pair (W t,t 4,ω ). In the affine coordinates (x, x 2, x 3, x 4 ), that is x =, W t,t 4 is given by W t,t 4 := { f (x) = }/G, f (x) := t 4 x 5 x5 2 x5 3 x t x x 2 x 3 x 4, and ω := dx dx 2 dx 3 dx 4. df The multiplicative group G m := C acts on S by: (W,ω) k = (W, k ω), k G m,(w,ω) S. In the coordinates (t, t 4 ) this corresponds to: (t, t 4 ) k = (kt, k 5 t 4 ), (t, t 4 ) S, k G m. () Two Calabi Yau varieties in the family (9) are isomorphic if and only if they have the same ψ 5. This and () imply that distinct pairs (t, t 4 ) give us non-isomorphic pairs (W,ω). 2.2 Gauss Manin connection For a proper smooth family W/T of algebraic varieties defined over a field k of characteristic zero, we have the Gauss Manin connection :HdR i (W/T ) T O T HdR i (W/T ), where HdR i (W/T ) is the ith relative de Rham cohomology and T is the set of differential -forms on T. For simplicity we have assumed that T is affine and HdR i (W/T ) is a O T - module, where O T is the k-algebra of regular function on T. By definition of a connection, is k-linear and satisfies the Leibniz rule (rω) = dr ω + r ω,ω HdR i (W/T ), r O T.

9 Modular-type functions attached to mirror quintic Calabi Yau... For a vector field v in T we define to be composed with v : H i dr (X) H i dr (X) v Id : T O T H i dr (X) O T OT H i dr (X) = H i dr (X). Sometimes it is useful to choose a basis ω,ω 2,...,ω h of the O T -module H i (X/T ) and write the Gauss Manin connection in this basis: ω ω ω 2.. = A ω 2.., () ω h ω h where A is a h h matrix with entries in T. For further information on the Gauss Manin connection see [9]. See also [4] for computational aspects of the Gauss Manin connection. 2.3 Intersection form and Hodge filtration For ω,α H 3 dr (W t,t 4 ) let ω,α :=Tr(ω α) be the intersection form. If we consider W as a complex manifold and its de Rham cohomology defined by C forms, then the intersection form is just ω,α = (2πi) 3 W t ω α.,t 4 Using Poincaré duality it can be seen that it is dual to the topological intersection form in H 3 (W t,t 4, Q), for all these see, for instance, Deligne s lectures in [4]. In HdR 3 (W t,t 4 ) we have the Hodge filtration {} =F 4 F 3 F 2 F F = H 3 dr (W t,t 4 ), dim C (F i ) = 4 i. There is a relation between the Hodge filtration and the intersection form which is given by the following collection of equalities: F i, F j =, i + j 4. The Griffiths transversality is a property combining the Gauss Manin connection and the Hodge filtration. It says that the Gauss Manin connection sends F i to S Fi for i =, 2, 3. Using this we conclude that: ω i := i (ω ) F 4 i, i =, 2, 3, 4. (2) t i By abuse of notation we have used t instead of. The intersection form in the basis ω i t is: [ ω i,ω j ]= 625 (t 4 t 5 ) 625 (t 4 t 5) 25 t4 (t 4 t 5 ) (t 4 t 5) 25 t3 (t 4 t 5) (t 4 t 5) 25 t4 (t 4 t 5) 2 25 t3 (t 4 t 5) 2 For a proof see [3, p. 468].

10 H. Movasati 2.4 Moduli space, II We make the base change α = Sω, wheres is given by S = t 9 t 8 t 7 t 6 t 5 (3) t t 2 t 3 t and the t i are unknown parameters, and we assume the intersection form in the α i is given by the matrix in (6): =[ α i,α j ] = S[ ω i,ω j ]S t. This yields to many polynomial relations between the t i. It turns out that we can take the t i as independent parameters and calculate all others in terms of these seven parameters: t 7 t 8 t 6 t 9 = 325t 3 + t 2, t = t 8 t 5, t 5 t 9 = 325t 4 t 3, t = 625(t 4 t 5 ). The expression of t 7, t 8, t 9 are given in Theorem 2. For the moduli space T introduced in Theorem 3 we get an isomorphism of sets (7), where for t in the right hand side of the isomorphism (7), we associate the pair (W t,t 4,α).Wealsodefine t 5 = 325 t 5, t 6 = ( ) 5 6 t 5 t 4 t 6 + ( ) 9375t t 3 t5 which correspond to the parameters t 5, t 6 in the previous article [3]. 2.5 The Picard Fuchs equation Let us consider the one parameter family of Calabi Yau varieties W t,t 4 with t = and t 4 = z and denote by η the restriction of ω to these parameters. We calculate the Picard Fuchs equation of η with respect to the parameter z: 4 η z 4 = 4 i= a i (z) i η z i This is in fact the linear differential equation modulo relatively exact forms. I 24 = 625z 3 (z ) I + 24z + 5 5z 3 (z ) I 72z z 2 (z ) I + 8z + 6 z(z ) I, = (4) z which is calculated in [2]. This differential equation can be also written in the form (). In [4] we have developed algorithms which calculate such differential equations. The parameter z is more convenient for our calculations than the parameter ψ and this is the reason why in this section we have used z instead of ψ. The differential equation (4) issatisfiedbythe periods I (z) = η, δ H 3 (W,z, Q) δ z

11 Modular-type functions attached to mirror quintic Calabi Yau... of the differential form η on the family W,z. In the basis i η, i {,, 2, 3} of H 3 z i dr (W,z) the Gauss Manin connection matrix has the form A(z)dz := dz. (5) a (z) a 2 (z) a 3 (z) a 4 (z) 2.6 Gauss Manin connection I We would like to calculate the Gauss Manin connection :H 3 dr (W/S) S O S H 3 dr (W/S) of the two parameter proper family of varieties W t,t 4, (t, t 4 ) S. We calculate with respect to the basis (2)ofHdR 3 (W/S). For this purpose we return back to the one parameter case. Now, consider the identity map which satisfies g η = t ω. Under this map g : W (t,t 4 ) W,z, z = t 6 5 t 4 t ( = t 5 From these two equalities we obtain a matrix S = S(t, t 4 ) such that [ η, η ] t z, 2 η z 2, 3 η z 3 = S [ω,ω 2,ω 3,ω 4 ] t, where t denotes the transpose of matrices, and the Gauss Manin connection in the basis ω i, i {, 2, 3, 4} is: ( ( ) ( )) GM t 4 t 4 = d S + S A d S, t 5 t 4 t 5 ). which is the following matrix after doing explicit calculations: 5t 4 dt 4 dt + t 5t 4 dt 4 2 5t 4 dt 4 dt + t 5t 4 dt 4 3 5t 4 dt 4 dt + t 5t 4 dt 4 t t dt t t t4 5t 5 dt 2 4 dt t4 5t2 4 t 5 + 3t3 25t t4 t 5 dt 3 4 dt t4 t2 4 t 5 + 5t4 t t4 t 5 dt 4 4 dt t4 t2 4 t 5 + 6t5 +4t4 dt t4 5t 5 4 t4 5t2 4 (6) Now, we calculate the Gauss Manin connection matrix of the family W/ T written in the basis α i, i {, 2, 3, 4}. Thisis ( ) GM = ds + S GM S, where S is the base change matrix (3). Since the matrix GM is huge and does not fit into a mathematical paper, we do not write it here..

12 H. Movasati 2.7 Modular differential equation We are in the final step of the proof of Theorem 3. We have calculated the Gauss Manin connection GM written in the basis α i, i =, 2, 3, 4. It is a matter of explicit linear algebra calculations to show that there is a unique vector field Ra in T with the properties mentioned in Theorem (3), and to calculate it. In summary, the Gauss Manin connection matrix composed with the vector field Ra and written in the basis α i has the form: Ra = 5 8 (t 4 t 5 )2 t 3 5. (7) It is interesting that the Yukawa coupling appears as the only non-constant term in the above matrix. 2.8 Algebraic group There is an algebraic group which acts on the right hand side of the isomorphism (7). It corresponds to the base change in α i, i {, 2, 3, 4} such that the new basis is still compatible with the Hodge filtration and we have still the intersection matrix (6): { } G := g =[g ij ] 4 4 GL(4, C) g ij =, for j < i and g t g = g g 2 g 3 g 4 g = g 22 g 23 g 24, g ij C g 33 g 34 g 44 g g 44 =, g 22 g 33 =, g 2 g 44 + g 22 g 34 =, g 3 g 44 + g 23 g 34 g 24 g 33 =,,. G is called the Borel subgroup of Sp(4, C) respecting the Hodge flag. The action of G on the moduli T is given by: (W, [α,α 2,α 3,α 4 ]) g = (W, [α,α 2,α 3,α 4 ] g). The algebraic group G is of dimension six and it has two multiplicative subgroups G m = (C, ) and four additive subgroups G a = (C, +) which generate it. In fact, an element g G can be written in a unique way as the following product: g g 3 g ( g 3 g 6 + g 4 )g ( g 3 g 4 + g 5 )g g2 g 6 g2 g 4 g2 g 2 g 2 g 3 g g g 3 = g2 g 2 g 3 g g 4 g 5 g 6 g 4.

13 Modular-type functions attached to mirror quintic Calabi Yau... In other words, we have a bijection of sets G m G m G a G a G a G a = G sending (g i ) i=,...,6 to the above product. If we identify an element g G with the vector (g i ) i=,...,6 then (g, g 2, g 3, g 4, g 5, g 6 ) = (g, g 2, g g 2g 3, g g 2 (g 3g 6 g 4 ), g 2 ( g2 3 g 6 + 2g 3 g 4 g 5 ), g2 2 g 6). We denote by the right action of G on the T space. Proposition The action of G on the t i (as regular functions on the affine variety T ) is given by: g t = t g, g t = t g 2 + t 7g g 2 g 3 + t 9 g g2 g 4 g 3 g 4 + g 5, g t 2 = t 2 g 3 + t 6g 2 g 2g 3 + t 8 g 2 g 2 g 4, g t 3 = t 3 g 4 + t 5g 3 g 2g 3, g t 4 = t 4 g 5, g t 5 = t 5 g 3 g 2, g t 6 = t 6 g 2 g 2 + t 8 g 2 g 2 g 6. Consequently g t 7 = t 7 g g 2 + t 9 g g 2 g 6 g 3 g 6 + g 4, g t 8 = t 8 g 2 g 2, g t 9 = t 9 g g 2 g 3, g t = t g 5. Proof We first calculate the action of g = (k,,,,, ), k C on t. Wehavean isomorphism (W (t,t 4 ), k ω ) = (W (t k,t 4 k 5 ),ω ) given by (x, x 2, x 3, x 4 ) ( k x, k x 2, k x 3, k x 4 ). Under this isomorphism the vector field k t is mapped to t and so k i ω i is mapped to ω i. This implies the isomorphisms and (W (t,t 4 ), k(t ω + t 2 ω 2 + t 3 ω (t 4 t 5 )ω 4)) = (W (t,t 4 ) k, k 2 t ω + k 3 t 2 ω 2 + k 4 t 3 ω (k 5 t 4 (kt ) 5 )ω 4 )) k (W (t,t 4 ), Sω) = (W (t,t 4 ) k, S k 2 k 3 ω), k 4 where S is defined in (3). Therefore, g t i = t i k d i, d i = i +, i {,, 2, 3, 4} d 5 = 3, d 6 = 2

14 H. Movasati 3 Periods This section is dedicated to transcendental aspects of mirror quintic Calabi Yau threefold. By this we mean the periods of meromorphic differential 3-forms over topological cycles. We first work with periods without calculating them explicitly. 3. Period map We choose a symplectic basis for H 3 (W, Z), thatis,abasisδ i, i {, 2, 3, 4} such that := [ δ i,δ j ] =. It is also convenient to use the basis [ δ, δ 2, δ 3, δ 4 ]=[δ,δ 2,δ 3,δ 4 ] =[δ 3,δ 4, δ, δ 2 ]. In this basis the intersection form is [ δ i, δ j ] = t =. Recall that in 2.4 a mirror quintic Calabi Yau threefold W is equipped with a basis α,α 2,α 3,α 4 of HdR 3 (W ) compatible with the Hodge filtration and such that [ α i,α j ] =. We define the period matrix to be [ ] [x ij ]=. δ i α j In this section we discard the usage of x ij in the Introduction. Let δ p i Poincaré dual of δ i, that is, it is defined by the property δ p δ i If we write α i in terms of δ p i then we get: ] [α,α 2,α 3,α 4 ]= [ δ [ p, δ p 2, δ p 3, δ p 4 H 3 (W, Q) be the = δ i,δ for all δ H 3 (W, Q). that is, the coefficients of the base change matrix are the periods of the α i over the δ i and not the δ i.wehave [ ] t [ ] [ α i,α j ] = t (8) and so we get: δ i α j δ i α j δ i α j ], [x ij ] t [x ij ]=. (9) This gives us 6 non trivial polynomial relations between periods x ij : x 2 x 3 x x 32 + x 22 x 4 x 2 x 42 =, x 3 x 3 x x 33 + x 23 x 4 x 2 x 43 =, x 4 x 3 x x 34 + x 24 x 4 x 2 x 44 + =, x 3 x 32 x 2 x 33 + x 23 x 42 x 22 x 43 + =, x 4 x 32 x 2 x 34 + x 24 x 42 x 22 x 44 =, x 4 x 33 x 3 x 34 + x 24 x 43 x 23 x 44 =. These equalities correspond to the entries (, 2), (, 3), (, 4), (2, 3), (2, 4) and (3, 4) of (9). Taking the determinant of (9) we see that up to sign we have det(pm) =. There is

15 Modular-type functions attached to mirror quintic Calabi Yau... another effective way to calculate this determinant without the sign ambiguity. In the ideal of Q[x ij, i, j =, 2, 3, 4] generated by the polynomials f 2, f 3, f 4, f 23, f 2,4, f 34 in the right hand side of the above equalities, the polynomial det([x ij ]) is reduced to. Let y ij be indeterminate variables, R = C[y ij, i, j =, 2, 3, 4] and I := { f R f (, x ij,...)= }. The ideal I is generated by f 2, f 3, f 4, f 23, f 2,4, f 34, see for instance [3, Proposition 3, p. 472]. 3.2 A special locus Let C t := [,,, ][ δ i, δ j ] t =[,,, ]. We are interested in the loci L of parameters t T such that [ ] α 4,..., α 4 = C. (2) δ δ 4 Using the equality corresponding to the (, 4) entry of (8), we note that on this locus we have α =, α i =, i 2. δ 2 δ 2 The equalities (2) define a three dimensional locus of T. We also put the following two conditions α 2 =, α 3 = δ δ in order to get a one dimensional locus. Finally, using (9) we conclude that the period matrix for points in L is of the form τ τ = τ τ 3. (2) τ 2 τ τ 3 + τ τ The particular expressions for the (4, 2) and (4, 3) entries of the above matrix follow from the polynomial relations (9). The Gauss Manin connection matrix restricted to L is: dτ τ 3 dτ + dτ τ dτ + τ dτ + dτ 2 GM L = dτ t τ t = dτ 3 τ 3 dτ + dτ dτ. The Griffiths transversality theorem implies that τ 3 dτ + dτ =, τ dτ + τ dτ + dτ 2 =. Since L is one dimensional, there are analytic relations between τ,τ,τ 2,τ 3. Therefore, we consider τ as an independent parameter and τ,τ 2,τ 3 as dependent parameters on τ.we get τ 3 = τ, τ 2 τ = τ τ. (22) τ τ τ

16 H. Movasati We conclude that the Gauss Manin connection matrix restricted to L and composed with the vector field τ is given by: τ 3 τ. (23) Proposition 2 The functions t i (τ ) obtained by the regular functions t i restricted to L and seen as functions in τ form a solution of the ordinary differential equation Ra. Proof It follows from (23) and the uniqueness of the vector field Ra satisfying the equalities (7). 3.3 The algebraic group and the special locus L For any 4 4matrixx =[x ij ] satisfying (9)and x x 22 x 2 x 2 =, x 2 =, (24) there is a unique g G such xg is of the form (2). To prove this affirmation explicitly, we take an arbitrary x and g and we write down the corresponding equations corresponding to the six entries (2, ), (, 2), (2, 2), (, 3), (2, 3), (2, 4) of xg,thatis xg =. For our calculations we will need the coordinates of g in terms of x ij : g = x2, x 2 g 2 =, x x 22 x 2 x 2 g 3 = x 22, x 2 g 4 = x 2x 23 + x 3 x 22, x x 22 x 2 x 2 g 5 = x x 22 x 24 x 2 x 2 x 24 + x 2 x 22 x 23 x 3 x22 2 x x 2 x 22 x 2 x2 2, g 6 = x x 23 x 3 x 2. x x 22 x 2 x 2 Substituting the expression of g in terms of x ij in τ = xg,weget: x x 2 x 3 x 2 x 32 +x 22 x 3 x 2 x x 22 x 2 x 2. x 4 x 2 x 42 +x 22 x 4 x 2 x x 22 x 2 x 2 x x 2 Note that for the entries (, 4), (3, 3) and (4, 3) of the above matrix we have used the polynomial relations (9) between periods.

17 Modular-type functions attached to mirror quintic Calabi Yau... 4 Monodromy covering In the previous section we described a solution of Ra locally. In this section we further study such a solution in a global context. More precisely, we describe a meromorphic map t : H T whose image is the L in the previous section, where H is the monodromy covering of (). 4. Monodromy covering Let H be the moduli of the pairs (W,δ),whereW is a mirror quintic Calabi Yau threefold and δ ={δ,δ 2,δ 3,δ 4 } is a basis of H 3 (W, Z) such that the intersection matrix in this basis is, thatis,[ δ i,δ j ] =. Theset H has a canonical structure of a Riemann surface, not necessarily connected. We denote by H the connected component of H which contains the particular pair (W,z,δ)such that the monodromies around z = andz = are respectively given by the matrices M and M in the Introduction. It is known that in the monodromy group Ɣ := M, M the only relation between M and M is (M M ) 5 = I,see[]. This is equivalent to say that H is biholomorphic to the upper half plane. By definition, the monodromy group Ɣ acts on H by base change in δ. The bigger group Sp(4, Z) acts also on H by base change and all connected components of H are obtained by Hα := α(h), α Sp(4, Z)/ Ɣ: H := α Sp(4,Z)/ Ɣ Hα. From now on by w we denote a point (W,δ) of H. We use the following meromorphic functions on H: τ i : H C, i {,, 2} δ τ (w) = α δ,τ (w) = 3 α δ,τ 2 (w) = 4 α, δ 2 α δ 2 α δ 2 α where α is a holomorphic differential form on W. They do not depend on the choice of α. For simplicity, we have used the same notations τ i as in Sect. 3. There is a useful meromorphic function z on H which is obtained by identifying W with some W,z. It has a pole of order 5 at elliptic points which are the pairs (W,δ) with W = W ψ,,ψ=. In this way, we have a well-defined holomorphic function ψ = z 5 : H C. The coordinate system τ is adapted for calculations around the cusp z =. Let B be the set of points w = (W,δ) H such that either τ has a pole at w or it has a critical point at w, that is, τ z (w) =. We do not know whether B is empty or not. Many functions that we are going to study are meromorphic with poles at B. ThesetB is characterized by the property that in its complement in H the inequalities (24) hold. 4.2 A particular solution For a point w = (W,δ) H\B there is a unique basis α of HdR 3 (W ) such that (W,α)is an element in the moduli space T defined in 2.4, andtheperiodmatrix[ δ i α j ] of the triple (W,δ,α)is of the form (2). This follows from the arguments in 3.3. In this way we have well-defined meromorphic maps t : H T

18 H. Movasati and τ : H Mat(4, C) which are characterized by the uniqueness of the basis α and the equality: [ ] τ(w) =. If we parameterize H by the image of τ then t is the same map as in 3.2. We conclude that the map t : H T with the coordinate system τ on H is a solution of Ra. The functions t and τ are holomorphic outside the poles and critical points of τ (this corresponds to points in which the inequalities (24) occur). 4.3 Action of the monodromy The monodromy group Ɣ := M, M acts on H by base change. If we choose the local coordinate system τ on H then this action is given by: δ i α j A(τ ) = a τ + a 2 + a 3 τ + a 4 τ 2, a 2 τ + a 22 + a 23 τ + a 24 τ 2 Proposition 3 For all A Ɣ we have t(w) = t(a(w)) g(a,w), where g(a,w) G is defined using the equality A τ(w) = τ(a(w)) g(a,w). A =[a ij ] Ɣ. Proof Let w = (W,δ) H and t(w) = (W,α). By definition we have [ α j ]g(a,w) = Aτ(w)g(A,w) = τ(a(w)). A(δ) i Therefore, t(a(w)) = (W,α g(a,w) ) = t(w) g(a,w). If we choose the coordinate system τ on H and regard the parameters t i and τ i as functions in τ,thenwehave t(τ ) = t(a(τ )) g(a,τ ). These are the functional equations of the t i (τ ) mentioned in the Introduction. For A = M we have: τ 5 5 τ τ 3 5 τ 2 τ τ 3 + τ τ τ + = τ + 5τ + 5 τ τ 2 5 τ τ (τ 3 + ) + τ τ which is already of the format (2). Note that (τ + )(τ 3 + 5) + τ + 5τ + 5 = τ (τ 3 + ) + τ.

19 Modular-type functions attached to mirror quintic Calabi Yau... Therefore, M (τ ) = τ + andg(m,τ ) is the identity matrix. The corresponding functional equation of t i simply says that t i is invariant under τ τ + : t i (τ ) = t i (τ + ), i {,,...,6}. For A = M we have τ τ τ τ 3 = τ 2 + τ τ 3 + τ τ τ τ 3 τ 2 τ τ 3 + τ τ τ 2 τ τ 3 + τ τ τ τ 2 + = τ τ τ τ 3 τ 2+τ 2τ 3 +τ 3 τ 2 + τ 2τ 3 τ τ +τ 2 + τ 2 τ 2 + τ τ 3 +τ τ 2 τ 3 τ τ +τ 2 + τ τ 2 + (τ 2 + ) ( τ τ 3 + τ ) ( τ ) τ 2τ 3 τ τ +τ 2 + τ 2 τ 2 + τ 2 + τ 2 + τ 2τ 3 τ τ +τ 2 + τ τ 2 + τ τ 3 τ τ 2τ 3 τ τ +τ 2 + τ 2 + where the element of the algebraic group G in the right hand side has the coordinates: g = τ 2 +, In this case we have τ 2 + g 2 = τ 2τ 3 τ τ + τ 2 +, g 3 = τ τ 3 τ τ 2 +, τ g 4 = τ 2τ 3 τ τ + τ 2 +, g 5 = g 6 = τ 2 τ 3 τ τ + τ 2 +, τ 2 τ 2 τ 3 τ τ + τ 2 +. M (τ ) = τ τ 2 +. The corresponding functional equations of the t i can be written immediately. These are presented in Theorem The solution in terms of periods In this section we explicitly calculate the map t. Forw = (W,δ) H we identify W with W,z and hence we obtain a unique point z = (,,,, z,, ) T.Now,wehavea,

20 H. Movasati well-defined period map pm : H Mat(4, C), [ w = (W,z, {δ i,z, i =, 2, 3, 4}) δ i,z α j We write pm(w)g(w) = τ(w),whereτ(w) is of the form (2)andg(w) G.Wehave t(w) = z g(w). For the one dimensional locus z T,wehaveα = Sω and ω = T η, where S = (z ) z 5, T = (z ) and η =[η, θη, θ 2 η, θ 3 η] t, θ = z z. Therefore, α = STη. Restricted to z-locus we have α = ω = η and by our definition of the x ij in the introduction x ij = θ j δ i η, i, j =, 2, 3, 4. Therefore, pm(w) =[x ij ](ST) t. Now, the map w t(w), where the domain H is equipped with the coordinate system z, is given by the expressions for t i in Theorem. We conclude that if we write the t i in terms of τ then we get functions which are solutions to Ra. Note that ( = 2πiq τ q = z x ) x 2 z z z = x2 2 θ. x 2 x 2 x x Calculating periods In this section we calculate the periods x ij explicitly. This will finish the proof of our main theorems announced in the Introduction. We restrict the parameter t T to the one dimensional loci z given by t =, t = t 2 = t 3 =, t 4 = z, t 5 =, t 6 =. On this locus η = ω = α. We know that the integrals δ η, δ H 3(W,z, Q) satisfy the linear differential equation (4). Four linearly independent solutions of (4)aregivenbyψ,ψ,ψ 2,ψ 3 in the Introduction, see for instance [7]and[3]. In fact, there are four topological cycles with complex coefficients ˆδ, ˆδ 2, ˆδ 3, ˆδ 4 H 3 (W,z, C) such that ˆδ i η = (2πi)i ψ i. Note that the pair (W,z, 5η) is isomorphic to the pair (W ψ, )used in [2]. We use a new basis given by δ ˆδ δ 2 δ 3 = ˆδ 2 d d 2 b ˆδ 3, δ 4 d b a ˆδ 4 ].

21 Modular-type functions attached to mirror quintic Calabi Yau... where a = c 3 2 ζ(3) = (2πi) 3 (2πi) 3 ζ(3), b = c 2 H/24 = 25 2, d = H 3 = 5, (these notations are used in [7]). The monodromies around z = andz = written in the basis δ i are respectively M := d d M :=, k where k = 2b + d 6 = 5, see [3]. In fact, δ i H 3 (W,z, Z) for i =, 2, 3, 4. This follows from the calculations in [2] and the expressions for monodromy matrices. In summary, we have x = η = ( ) 2πi 2 δ 5 2 ψ ( z), 5 x 2 = η = ( ) 2πi 3 ψ, δ x 3 = η = d δ 3 25 ψ 2( z) 2πi 5 + d ( ) 2πi 2 5 ψ ( z) b ( ) 2πi ψ ( z), 5 x 4 = η = d δ ψ 3( z) + b ( ) 2πi ψ ( z) a ( ) 2πi ψ ( z), 5 where z = z 5 5.Wehavealso δ η τ = δ 2 η = ψ ( z) 2πi ψ ( z), ( δ τ = 3 η δ 2 η = d 2 τ 2 + ) 5 H + d 2 τ b = b + d 2 τ (τ + ) + d 5 H, δ τ 2 = 4 η δ 2 η = d ( 3 τ 3 + τ ( 2 τ 2 + ) 5 H + 25 ) H bτ a = a bτ d 6 τ 3 d 5 τ H 2d 5 H, where H is defined in (5). We have used the equalities ψ 2 ( ) 2 ψ = n d d 3 ψ 2 ψ 5 n= d n ( ) 3 ψ ψ ψ 2 + ψ 3 = 2 n d d 3 3 ψ ψ ψ ψ 5 n= d n qn n 2 qn, n 3

22 H. Movasati see for instance [,5]. We can use the explicit series ψ ( z) = m= (5m)! (m!) 5 zm ψ ( z) = ln( z)ψ ( z) + 5 ψ ( z), ψ ( z) = m= ( 5m ) (5m)! (m!) 5 z m k k=m+ and calculate the q-expansion of t i (τ ) around the cusp z =. There is another way of doing this using the differential equation Ra. We just use the above equalities to obtain the initial values (4) in the Introduction. We write each h i as a formal power series in q, h i = n= t i,n q n, and substitute it in (3) with ṫ := 5q q t.let T n =[t,n, t,n, t 2,n, t 3,n, t 4,n, t 5,n, t 6,n ]. Comparing the coefficients of q and q in both sides of Ra we get: [ ] T =, 25, 35, 6,,, 5, 5 T =[24, 225, 535, 355,, 875, 4675]. Comparing the coefficients of q n, n 2 we get a recursion of the following type: (A + 5nI 7 7 )Tn t = A function of the entries of T, T,...,T n, where [ ] (t5 Ra i ) 6 A = evaluated at t = T, Ra = Ra i. t j t i i, j=,,...,6 The matrix A + 5nI 7 7, n 2 is invertible and so we get a recursion in T n. i= References. Brav, C., Thomas, H.: Thin monodromy in Sp(4). Compos. Math. 5(3), (24) 2. Candelas, P., de la Ossa, X.C., Green, P.S., Parkes, L.: A pair of Calabi Yau manifolds as an exactly soluble superconformal theory. Nucl. Phys. B 359(), 2 74 (99) 3. Chen, Y.-H., Yang, Y., Yui, N.: Monodromy of Picard Fuchs differential equations for Calabi Yau threefolds. J. Reine Angew. Math. 66, (28). With an appendix by Cord Erdenberger 4. Deligne, P., Milne, J.S., Ogus, A., Shih, K.-y.: Hodge Cycles, Motives, and Shimura Varieties, Volume 9 of Lecture Notes in Mathematics, Philosophical Studies Series in Philosophy, vol. 2. Springer, Berlin (982) 5. Doran, C.F., Morgan, J.W.: Mirror symmetry and integral variations of Hodge structure underlying oneparameter families of Calabi Yau threefolds. In: Mirror Symmetry. V, Volume 38 of AMS/IP Stud. Adv. Math., pp American Mathematical Society, Providence, RI (26). arxiv:math/55272v [math.ag] 6. Greuel, G.-M., Pfister, G., Schönemann, H.: Singular 2.. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern (2). uni-kl.de 7. Griffiths, P.A.: Periods of integrals on algebraic manifolds: summary of main results and discussion of open problems. Bull. Am. Math. Soc. 76, (97) 8. Grothendieck, A.: On the de Rham cohomology of algebraic varieties. Inst. Hautes Études Sci. Publ. Math. 29, 95 3 (966) 9. Katz, N.M., Oda, T.: On the differentiation of de Rham cohomology classes with respect to parameters. J. Math. Kyoto Univ. 8, (968)

23 Modular-type functions attached to mirror quintic Calabi Yau.... Kontsevich, M.: Homological algebra of mirror symmetry. In: Proceedings of the International Congress of Mathematicians, Vols., 2 (Zürich, 994), pp Basel, Birkhäuser (995). Kontsevich, M., Zagier, D.: Periods. In: Mathematics Unlimited 2 and Beyond, pp Springer, Berlin (2) 2. Movasati, H.: Quasi modular forms attached to elliptic curves, I. Ann. Math. Blaise Pascal 9, (22) 3. Movasati, H.: Eisenstein type series for Calabi Yau varieties. Nucl. Phys. B 847, (2) 4. Movasati, H.: Multiple integrals and modular differential equations. In: 28th Brazilian Mathematics Colloquium. Instituto de Matemática Pura e Aplicada, IMPA (2) 5. Pandharipande, R.: Rational curves on hypersurfaces (after A. Givental). Astérisque (252): Exp. No. 848, 5, (998). Séminaire Bourbaki, vol. 997/98 6. van Straten, D., Almkvist, G.: Christian van Enckevort and Wadim Zudilin. Tables of Calabi Yau equations, Preprint (2) 7. van Enckevort, C., van Straten, D.: Monodromy calculations of fourth order equations of Calabi Yau type. In: Mirror symmetry. V, volume 38 of AMS/IP Stud. Adv. Math., pp American Mathematical Society, Providence, RI (26). arxiv:math/42539v2 [math.ag] 8. Voisin, C.: Hodge Theory and Complex Algebraic Geometry. I, volume 76 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (22). Translated from the French original by Leila Schneps 9. Zagier, D.: Elliptic modular forms and their applications. In: The -2-3 of Modular Forms, Universitext, pp. 3. Springer, Berlin (28)