Eisenstein type series for Calabi-Yau varieties 1

Size: px
Start display at page:

Download "Eisenstein type series for Calabi-Yau varieties 1"

Transcription

1 Eisenstein type series for Calabi-Yau varieties Hossein Movasati Instituto de Matemática Pura e Aplicada, IMPA, Estrada Dona Castorina,, , Rio de Janeiro, RJ, Brazil, hossein, hossein@impa.br Abstract In this article we introduce an ordinary differential equation associated to the one parameter family of Calabi-Yau varieties which is mirror dual to the universal family of smooth quintic three folds. It is satisfied by seven functions written in the q-expansion form and the Yukawa coupling turns out to be rational in these functions. We prove that these functions are algebraically independent over the field of complex numbers, and hence, the algebra generated by such functions can be interpreted as the theory of (quasi) modular forms attached to the one parameter family of Calabi-Yau varieties. Our result is a reformulation and realization of a problem of Griffiths around seventies on the existence of automorphic functions for the moduli of polarized Hodge structures. It is a generalization of the Ramanujan differential equation satisfied by three Eisenstein series. Introduction Modular and quasi-modular forms as generating functions count very unexpected objects beyond the scope of analytic number theory. There are many examples for supporting this fact. The Shimura-Taniyama conjecture, now the modularity theorem, states that the generating function for counting F p -rational points of an elliptic curve over Z for different primes p, is essentially a modular form (see [32] for the case of semi-stable elliptic curves and [5] for the case of all elliptic curves). Monstrous moonshine conjecture, now Borcherds theorem, relates the coefficients of the j-function with the representation dimensions of the monster group (see []). Counting ramified coverings of an elliptic curve with a fixed ramification data leads us to quasi-modular forms (see [9] and [8]). In the context of Algebraic Geometry, the theory of modular forms is attached to elliptic curves and in a similar way the theory of Siegel and Hilbert modular forms is attached to polarized abelian varieties. One may dream of other modular form theories attached to other varieties of a fixed topological type. An attempt to formulate such theories was first done around seventies by P. Griffiths in the framework of Hodge structures, see [5]. However, such a formulation leads us to the notion of automorphic cohomology which has lost the generating function role of modular forms. Extending the algebra of any type of modular forms into an algebra, which is closed under canonical derivations, seems to be indispensable for further generalizations. In 99 there appeared the article [6] of Candelas, de la Ossa, Green and Parkes, in which they 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 three fold. From mathematical point of view, the finiteness is still a conjecture carrying the name of Clemens (see [7]). Since then there was some effort Math. classification: N35, J5, 32G2 Keywords: Gauss-Manin connection, Yukawa coupling, Hodge filtration, Griffiths transversality.

2 to express the Yukawa coupling in terms of classical modular or quasi-modular forms, however, there was no success. The Yukawa coupling is calculated from the periods of a one parameter family of Calabi-Yau varieties and this suggests that there must be a theory of (quasi) modular forms attached to this family (this is also predicted in [], page 2). The main aim of the present text is to realize the construction of such a theory. Consider the following ordinary differential equation in seven variables t, t,..., t, t 5, t 6 : () where ṫ = t 5 ( 6 5 t t t 3 5 t ) ṫ = t 5 ( 25t 6 + t t + 25t t t t 3 ) ṫ 2 = t 5 ( 875t 7 5 t5 t + 2t t t 2 t + 5 t t t 2t 3 ) ṫ 3 = t 5 ( 325t 8 5 t5 t 2 + 3t t t 3 t + 5 t 2t t2 3 ) ṫ = 5 (5t t t 3t ) ṫ 5 = t 6 t5 ṫ 6 = ( 72 5 t t t t3 t t2 3 ) + t 6 t5 (2t t 3) ṫ = 5q t q. We write each t i as a formal power series in q, t i = n= t i,nq n and substitute in the above differential equation and we see that it determines all the coefficients t i,n uniquely with the initial values: (2) t, = 5, t, = 2, t, = and assuming that t 5,. After substitution we get the two possibilities, 325 for t 5,, and t i,n, n 2 is given in terms of t j,m, j =,,..., 6, m < n. See 7 for the first eleven coefficients of t i s. We calculate the expression (t t 5 )2 625t 3 5 series form. It turns out that (t t 5 )2 625t 3 5 and write it in Lambert = q q q 2 q n dd 3 q d q d +. Let W ψ be the variety obtained by the resolution of singularities of the following quotient: (3) W ψ := {[x : x : x 2 : x 3 : x ] P x 5 + x 5 + x x x 5 5ψx x x 2 x 3 x = }/G, where G is the group G := {(ζ, ζ 2,, ζ 5 ) ζ 5 i =, ζ ζ 2 ζ 3 ζ ζ 5 = } acting in a canonical way. The family W ψ is Calabi-Yau and it is mirror dual to the universal family of quintic varieties in P., Theorem. The quantity (t t 5 )2 625t 3 5 Calabi-Yau varieties W ψ. is the Yukawa coupling associated to the family of The q-expansion of the Yukawa coupling is calculated by Candelas, de la Ossa, Green, Parkes in [6], see also [2]. Using physical arguments they showed that n d must be the number of degree d rational curves inside a generic quintic three fold. However, from mathematical point of view we have the Clemens conjecture which claims that there are 2

3 finite number of such curves for all d N. This conjecture is established for d 9 and remains open for d equal to or bigger than it (see [7] and the references within there). The Gromov-Witten invariants N d can be calculated using the well-known formula N d = n d/k k d. The numbers n k 3 d are called instanton numbers or BPS degeneracies. The C-algebra generated by t i s can be considered as the theory of (quasi) modular forms attached to the family W ψ. We prove: Theorem 2. The functions t i, i =,,..., 6 are algebraically independent over C, this means that there is no polynomial P in seven variables and with coefficients in C such that P (t, t,, t 6 ) =. Calculation of instanton numbers by our differential equation () or by using periods, see [6, 2], or by constructing moduli spaces of maps from curves to projective spaces, see [2], leads to the fact that they are rational numbers. It is conjectured that all n d s are integers (Gopakumar-Vafa conjecture, see [3]). Some partial results regarding this conjecture is established recently by Kontsevich-Schwarz-Vologodsky (see [22]) and Krattenthaler-Rivoal (see [23]). All the quantities t i, i =,,..., 6 and q can be written in terms of the periods of the family W ψ. The differential form Ω = x dx dx dx 2, Q x 3 where Q is the defining polynomial of W ψ, induces a holomorphic 3-form in W ψ which we denote by the same letter Ω. Note that 5ψΩ is the standard choice of a holomorphic differential 3-form on W ψ (see [6], p. 29). Let also δ, δ 2, δ 3, δ be a particular basis of H 3 (W ψ, Q) which will be explained in, and x ij = j ψ j Ω, i, j =, 2, 3,. δ i Theorem 3. The q-expansion of t i s are convergent and if we set q = e 2πi x 2 x then t = a 3 ψx t = a 6 ( 625x 5ψ 3 x 2 + 5ψ x 3 + (ψ 5 ) )x t 2 = a 9 ( 625)x 2 ( 5ψ 3 x + (ψ 5 ) )x 3 t 3 = a 2 625x 3 ( 5ψ x + (ψ 5 ) )x 2 t = a 5 x 5 t 5 = a 5 (ψ5 )x 2 (x 2 x 2 x x 22 ) t 6 = a (ψ5 )x 5 ( 5ψ x x 2 x 2 2(ψ 5 )x 2 2x 2 (ψ 5 )x x 3 x 2 + where a = 2πi 5. 5ψ x 2 x (ψ 5 )x x 2 x 22 + (ψ 5 )x 2 x 23 ), Once all the above quantities are given, using the Picard-Fuchs of x i s, see (), one can check easily that they satisfy the ordinary differential equation (). However, how we have calculated them, and in particular moduli interpretation of t i, i =,,..., 6, will be explained throughout the present text. 3

4 This work can be considered as a realization of a problem of Griffiths around 97 s on the automorphic form theory for the moduli of polarized Hodge structures, see [5]. In our case H 3 (W ψ, C) is of dimension and it carries a Hodge decomposition with Hodge numbers h 3 = h 2 = h 2 = h 3 =. As far as I know, this is the first case of automorphic function theory for families of varieties for which the corresponding Griffiths period domain is not Hermitian symmetric. It would be of interest to see how the results of this paper fit into the automorphic cohomology theory of Griffiths or vice versa. Here, I would like to say some words about the methods used in the present text and whether one can apply them to other families of varieties. We construct affine coordinates for the moduli of the variety W ψ enhanced with elements in its third de Rham cohomology, see 3, 6 and 6. Such a moduli turns out to be of dimension seven and such coordinates, say t i, i =,,..., 6, have certain automorphic properties with respect to the action of an algebraic group (the action of discrete groups in the classical theory of automorphic functions is replaced with the action of algebraic groups). We use the Picard-Fuchs equation of the periods of Ω and calculate the Gauss-Manin connection (see for instance [2]) of the universal family of Calabi-Yau varieties over the mentioned moduli space. The ordinary differential equation (), seen as a vector field on the moduli space, has some nice properties with respect to the Gauss-Manin connection which determines it uniquely. A differential equation of type () can be introduced for other type of varieties, see [27], however, whether it has a particular solution with a rich enumerative geometry behind, depends strongly on some integral monodromy conditions, see 9, 8 and. For the moment I suspect that the methods introduced in this article can be generalized to arbitrary families of Calabi-Yau varieties and even to some other cases where the geometry is absent, see for instance the list of Calabi-Yau operators in [3, 3] and a table of mirror consistent monodromy representations in []. Since the theory of Siegel modular forms is well developed and in light of the recent work [8], see also the references within there, the case of K3 surfaces is quite promising. For local Calabi-Yau manifolds we need Siegel modular forms and this is explained in []. Here, I would like to discuss about the physics underlying the mathematical results and calculations of the present text. Higher genus topological string partition functions F g (t), g and their calculations play an important role in quantum field theory. Mirror symmetry conjecture leads to directly calculable predictions for the functions F g for Calabi-Yau varieties using the periods of the mirror manifold. To understand better the importance of the quantities t, t,..., t 6 in quantum field theory, one has to understand the role of three classical Eisenstein series in the calculation of partition functions for elliptic curves (for a detailed discussion see [9]). The original definition of partition functions F g in quantum Yang-Mills theory does not calculate them explicitly. In the case of elliptic curves M. R. Douglas in [] finds explicit calculable formulas for F g in terms of generalized theta functions. This leads in a natural way to the polynomial structure of partition functions in terms of three Eisenstein series. Since we have the Ramanujan differential equation between Eisenstein series, we conclude that derivatives of partition functions in the Kähler modulus have still such polynomial structures, and hence, they can be calculated in an effective way. In the case of mirror symmetry for quintic hypersurfaces the polynomial structure of partition functions are described by Yamaguchi and Yau in [33] (see also [2, 6] for further generalization of their results for other type of Calabi-Yau varieties). They show that partition functions are homogeneous polynomials in five quantities. A simple comparison of the period expressions in Theorem 3 and those of [33] end of 3.3, shows that these quantities can be computed explicitly in terms

5 of t i, i =,,..., 7. In fact, Theorem 2 implies that five is the minimum number of generators for the partition functions. The particular appearance of t 5 in the differential equation () together with Theorem 3 imply that apart from the τ-frame, where in our case τ := x 2 x, and ψ-frame in the mirror manifold, we have a y-frame which is given by τ y = t 6. Looking t i, i =,..., s as functions in y we have an ordinary differential equation in dimension five which is essentially the first five lines of () without the factor t 6. Using the result of Yamaguchi and Yau, this completely describes the polynomial and differential structure of the partition functions in the y-frame. I am not aware of any significance of the physical interpretation of the y-frame. Theorem 2 says that in order to understand the differential structure of partition functions in the τ-frame we need exactly seven functions. The ordinary differential equation in the y-frame will not result in the calculation of instanton type expansions of t i s as we have explained in the beginning of Introduction. The quantities t 5 and t 6 are necessary for such calculations. The monodromy group Γ of the mirror manifold acts naturally and non trivially on the Kähler modulus τ and this leads to the modular properties of the partition functions with respect to Γ. From physical point of view this action is important and it describes the interchange of large area with small area which is a well-known example of the so called duality transformation in string theory (see [2]). In the case of elliptic curves this action is described in terms of the classical functional equations of Eisenstein series, and hence any polynomial of them (see [9]). In order to understand the modular properties of partition functions attached to quintic Calabi-Yau manifolds, we have to understand the modular properties of t i s. The modular properties of t i s are first described in terms of the action of an algebraic group, and then, using the period map this is translated into the modular properties of t i s with respect to Γ, see 7. We have calculated the differential equation () and the first coefficients of t i by Singular, see []. The reader who does not want to calculate everything by his own effort can obtain the corresponding Singular code from my web page. 2 In the final steps of the present article Charles Doran informed me of his joint article [8] and the results obtained by Yamaguchi and Yau in [33]. Here, I would like to thank him for his interest. I would also like to thank the referee whose comments and suggestions improved the paper and who introduced me with the article []. Finally, sincere thanks goes to Satoshi Yamaguchi who informed me about further developments [2, 6] of his results with Prof. Yau. 2 Quasi-modular forms The differential equation () is a generalization of the Ramanujan differential equation () ġ = g 2 2 g 2 ġ 2 = g g 2 6g 3 ġ 3 = 6g g 3 3 g2 2 which is satisfied by the Eisenstein series: ( (5) g i = a k + b k d 2k q d ) q d d= ġ = 2q g q 2 w3.impa.br/ hossein/manyfiles/singular-haftarticle.txt, k =, 2, 3, 5

6 where (b, b 2, b 3 ) = ( 2, 2, 5), (a, a 2, a 3 ) = (, 2, 8). We have calculated () using the Gauss-Manin connection of the family W ψ which is essentially the Picard-Fuchs differential equation of the holomorphic differential form of the family W ψ. This is done in a similar way as we calculate () from the Gauss-Manin connection of a family of elliptic curves, see [25, 26]. The general theory of differential equations of type () and () is developed in [27]. Relations between the Gauss-Manin connection and Eisenstein series appear in the appendix of [9]. Let g, g 2, g 3 be the Eisenstein series (5). The C-algebra C[g, g 2, g 3 ] is freely generated by g, g 2, g 3. With deg(g i ) = i, i =, 2, 3, its homogeneous pieces are quasi-modular forms over SL(2, Z). It can be shown that any other quasi-modular form for subgroups of SL(2, Z) with finite index, is in the algebraic closure of C(g, g 2, g 3 ). 3 Moduli space, I In the affine coordinates x =, the variety W ψ is given by: where {(x, x 2, x 3, x ) C f = }/G, f = z x 5 x 5 2 x 5 3 x 5 + 5x x 2 x 3 x and we have introduced a new parameter z := ψ 5. We also use W,z to denote the variety W ψ. For z =,, the variety W,z is singular and for all others it is a smooth variety of complex dimension 3. From now on, by W,z we mean a smooth one. Up to constant there is a unique holomorphic three form on W,z which is given by η = dx dx 2 dx 3 dx. df Note that the pair (W,z, 5η) is isomorphic to (W ψ, 5ψΩ), with Ω as in the Introduction. The later is used in [6] p. 29. The third de Rham cohomology of W,z, namely HdR 3 (W,z), carries a Hodge decomposition with Hodge numbers h 3 = h 2 = h 2 = h 3 =. By Serre duality H 2 (W,z, Ω ) = H (W,z, Θ), where Ω (rep. Θ) is the sheaf of holomorphic differential -forms (resp. vector fields) on W,z. Since h 2 = dim C H 2 (W,z, Ω ) =, the deformation space of W,z is one dimensional. This means that W,z can be deformed only through the parameter z. In fact z is the classifying function of such varieties. Note that the finite values of z does not cover the smooth variety W ψ, ψ =. Let us take the polynomial ring C[t, t ] in two variables t, t (the variables t, t 2 and t 3 will appear later). It can be seen easily that the moduli S of the pairs (W, ω), where W is as above and ω is a holomorphic differential form on W, is isomorphic to S = C 2 \{(t 5 t )t = }, where we send the pair (W,z, aη) to (t, t ) := (a, za 5 ). G m := C acts on S by: The multiplicative group In coordinates (t, t ) this corresponds to (W, ω) k = (W, k ω), k G m, (W, ω) S. (6) (t, t ) k = (kt, k 5 t ), (t, t ) S, k G m. 6

7 We denote by (W t,t, ω ) the pair (W t,, t t 5 η). The one parameter family W,z (resp. W ψ ) can be recovered by putting t = and t = z (resp. t = ψ and t = ). In fact, the pair (W t,t, ω ) in the affine chart x = is given by: (7) ( {f t,t (x) = }/G, dx dx 2 dx 3 dx df t,t ), where f t,t := t x 5 x 5 2 x 5 3 x 5 + 5t x x 2 x 3 x. Gauss-Manin connection, I We would like to calculate the Gauss-Manin connection : H 3 dr (W/S) Ω S OS H 3 dr (W/S). of the two parameter proper family of varieties W t,t, (t, t ) S. By abuse of notation we use t i, i =, instead of. We calculate with respect to the basis t i ω i = i (ω ), i =, 2, 3, t i of global sections of HdR 3 (W/S). For this purpose we return back to the one parameter case. We set t = and t = z and calculate the Picard-Fuchs equation of η with respect to the parameter z: η z = i= a i (z) i η z i This is in fact the linear differential equation (8) I = modulo relatively exact forms z 625z 3 I + 2z z z 5z 3 I + 5z 3 5z 2 I + 8z + 6 z 2 z I which is calculated in [6], see also [27] for some algorithms which calculate such differential equations. It is satisfied by the periods I(z) = δ z η, δ H 3 (W,z, Q) of the differential form η on the the family W,z. In the basis i η, i =,, 2, 3 the Gauss-Manin connection z i matrix has the form (9) A(z)dz := Now, consider the identity map a (z) a 2 (z) a 3 (z) a (z) g : W (t,t ) W,z, which satisfies g η = t ω. Under this map z = t 6 ( ) = t 5. 5 t t t 7 dz.

8 From these two equalities we obtain a matrix S = S(t, t ) such that [η, η z, 2 η z 2, 3 η z 3 ]t = S [ω, ω 2, ω 3, ω ] t, where t denotes the transpose of matrices, and the Gauss-Manin connection in the basis ω i, i =, 2, 3, is: ( ds + S A( t t 5 ) d( t ) t 5 ) S which is the following matrix after doing explicit calculations: () dt 5t dt + t dt 5t 2 dt 5t dt + t dt 5t 3 dt 5t dt + t dt 5t t t 2 t 5 t dt + 5t 2 5t 5 t 5t2 dt t 5 t dt + 3t3 25t 3 t 5 t t2 dt t 5 t dt + 5t t t 5 t t2 dt t 5 t dt + 6t5 +t 5t 5 t 5t2 dt From the above matrix or directly from (8) one can check that the periods x i, i =, 2, 3, in the Introduction satisfy the Picard-Fuch equation: () I = ψ ψ 5 I + 5ψ2 ψ 5 I + 25ψ3 ψ 5 I + ψ ψ 5 I, = ψ. 5 Intersection form and Hodge filtration For ω, α H 3 dr (W t,t ) let ω, α := (2πi) 3 ω α. W t,t This is Poincaré dual to the intersection form in H 3 (W t,t, Q). In H 3 dr (W t,t ) we have the Hodge filtration {} = F F 3 F 2 F F = H 3 dr (W t,t ), dim C (F i ) = 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. 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 F i for i =, 2, 3. Using this we conclude that: ω i F i, i =, 2, 3,. Proposition. The intersection form in the basis ω i is: [ ω i, ω j ] = 625 (t t 5 ) 625 (t t 5 ) 25 t (t t 5 ) (t t 5 ) 25 t3 (t t 5 ) (t t 5 ) 25 t (t t 5 ) 2 25 t3 (t t 5 ) 2 8

9 Proof. Let Ω be the differential form ω with restricted parameters t = ψ and t =. We have 5ψΩ, 3 (5ψΩ) 3 ψ = ψ 2 (see [6], (.6)). From this we get: 5 2 ψ 5 (2) ω, ω = 5 t t 5. The corresponding calculations are as follows: In (t, t ) coordinates we have ψ = t t 5 and ψ = t 5 t and ψω, 3 ψ η 3 ψ = t ω, (t 5 t ) (3) (t ω ) = t ω, t t 3 5 ω = t 2 t 3 5 ω, ω. From another side 5 2 ψ 2 = t 2 ψ t 3 5 t t 5. We make the derivation of the equalities ω, ω 3 = and (2) with respect to t and use the Picard-Fuchs equation of ω with respect to the parameter t and with t fixed: ω t = M ω + M 2 ω 2 + M 3 ω 3 + M ω Here, M ij is the (i, j)-entry of () after setting dt =, dt =. We get ω 2, ω 3 = ω, ω, ω 2, ω = ω, ω t M ω, ω Derivating further the second equality we get: ω 3, ω = ω 2, ω t M 3 ω 2, ω 3 M ω 2, ω. 6 Moduli space, II Let T be the moduli of pairs (W, ω), where W is a Calabi-Yau variety as before and ω HdR 3 (W )\F and F is the biggest non trivial piece of the Hodge filtration of HdR 3 (W ). In this section, we construct good affine coordinates for the moduli space T. Let G m be the multiplicative group (C {}, ) and let G a be the additive group (C, +). Both these algebraic groups act on the moduli spaces T : (W, ω) k = (W, kω), k G m, (W, ω) T, (W, ω) k = (W, ω + kω ), k G a, (W, ω) T, where ω is uniquely determined by ω, ω =, ω F 3. We would like to have affine coordinates (t, t, t 2, t 3, t ) for T such that;. We have a canonical map π : T S, (W, ω) (W, ω ), where ω is determined uniquely by ω, ω =, ω F 3. In terms of the coordinates t i s it is just the projection on t, t coordinates. 9

10 2. With respect to the action of G m, t i s behave as below: t i k = k i+ t i, i =,,...,. 3. With respect to the action of G a, t i s behave as below: t i k = t i, i =, 2, 3,, k G a, t k = t + k, k G a. In order to construct t i s we take the family W t,t as before and three new variable t, t 2, t 3. One can verify easily that where {(t, t, t 2, t 3, t ) C 5 t (t t 5 ) } = T, (t, t, t 2, t 3, t ) (W t,t n+, ω), (3) ω = t ω + t 2 ω 2 + t 3 ω 3 + ω ω, ω. 7 Gauss-Manin connection, II For the five parameter family W t, t := (t, t, t 2, t 3, t ) T, we calculate the differential forms α i, i =, 2, 3, in T which are defined by the equality: ω = α i ω i, i= where ω is defined in (3), and we check that the Q(t) vector space spanned by α i is exactly of dimension and so up to multiplication by a rational function in Q(t) there is a unique vector field Ra which satisfies () α i (Ra) =, i =, 2, 3, or equivalently Ra ω =. We calculate this vector field and get the following expression: Ra = ( 6 5 t t t 3 5 t ) t + ( 25t 6 + t t + 25t t t t 3 ) t +( 875t 7 5 t5 t + 2t t t 2 t + 5 t t t 2t 3 ) t 2 + ( 325t 8 5 t5 t 2 + 3t t t 3 t + 5 t 2t t2 3) t 3 + (5t t t 3t ) t. This appears in the first five lines of the ordinary differential equation (). The other pieces of this differential equation has to do with the fact that the choice of Ra is not unique. Let α := t dt 5t dt (t t 5 )t.

11 The vector field Ra turns to be unique after putting the condition (5) α(ra) = We have calculated Ra from (5) and (). The choice of α up to multiplication by a rational function is canonical (see bellow). However, choosing such a rational function does no seem to be canonical. Proposition 2. There is a unique basis ω i, i =, 2, 3, of H 3 dr (W t), t T such that. It is compatible with the Hodge filtration, i.e. ω i F i \F 5 i. 2. ω = ω and ω, ω =. 3. The Gauss-Manin connection matrix A of the family W T in the mentioned basis is of the form α A = α b α and where b 2, b 3, b C[t]. A(Ra) = b 2 b 3 b Our proof of the above proposition is algorithmic and in fact we calculate b i s and ω i s: b 2 = 72 5 t t t t3 t t2 3 b 3 = 2t t 3, b = 5 7 (t5 t ) 2 ω = ω, ω 2 = ( t 325 t 3)ω + ( 5 t5 5 t )ω 2, ω = ω ω 3 := ( 5 t t5 t t t 3 5 t3 t 5625 t 2 2t t2 3)ω + ( 3 5 t t5 t t t t 3t )ω 2 + ( 25 t 2 25 t5 t + 25 t2 )ω 3. The polynomials b 2 and b 3 appear in the last line of the ordinary differential equation (). Proof. The equalities in the second item and ω F 3 determine both ω = ω, ω = ω uniquely. We first take the 3-forms ω i = ω i, i = 2, 3 as in the previous section and write the Gauss-Manin connection of the five parameter family of Calabi-Yau varieties W t, t T in the basis ω i, i =, 2, 3, : [ ω i ] = [α ij ] [ ω i ]. We explain how to modify ω 2 and ω 3 and get the basis in the announcement of the proposition. Let R be the Q(t) vector space generated by α,i, i =, 2,...,. It does not

12 depend on the choice of the basis ω i and we already mentioned that it is of dimension. If we replace ω 2 by ω 2 + a ω then α is replaced by α aα 2. Modulo R the space of differential forms on T is one dimensional and since α 2 R, we choose a in such a way that α aα 2 R. We do this and so we can assume that α R. The result of our calculations shows that α 2 is a multiple of t dt 5t dt. We replace ω 2 by r ω 2 with some r Q(t) and get the desired form for α 2. We repeat the same procedure for ω 3. In this step we replace ω 3 by r 3 ω 3 + r 2 ω 2 + r ω with some r, r 2, r 3 Q(t). 8 Polynomial Relations between periods We take a basis δ, δ 2, δ 3, δ H 3 (W t,t, Q) such that the intersection form in this basis is given by: (6) Ψ := [ δ i, δ j ] = It is also convenient to use the basis [ δ, δ 2, δ 3, δ ] = [δ, δ 2, δ 3, δ ]Ψ. In this basis the intersection form is [ δ i, δ j ] = Ψ t. Let ω i, i =, 2, 3, be the basis of the de Rham cohomology HdR 3 (W t,t ) constructed in and let δ p i H 3 (W t,t, Q) be the Poincaré dual of δ i, that is, it is defined by the property δ p δ i = δ, δ i for all δ H 3 (W t,t, Q). If we write ω i in terms of δ p i what we get is:. [ω, ω 2, ω 3, ω ] = [ δ p, δ p 2, δ p 3, δ p ][ δ i ω j ] that is, the coefficients of the base change matrix are the periods of ω i s over δ i s and not δ i s. The matrix [ δ i ω j ] is called the period matrix associated to the basis ω i of HdR 3 (W t,t ) and the basis δ i of H 3 (W, Q). We have (7) [ ω i, ω j ] = [ ω j ] t Ψ t [ ω j ]. δ i δ i Taking the determinant of this equality we can calculate det([ δ i ω j ]) up to sign: (8) det(pm) = 2 5 (t t 5 )2. There is another effective way to calculate this determinant without the sign ambiguity. For simplicity, we use the restricted parameters t = and t = ψ and the notation x ij := δ i ω j as in the Introduction. Proposition and the equality (7) gives us 6 non 2

13 trivial relations between x ij s: = 25 6 x 2x x x x 22x x 2x x 2x x x 2 = 25 6 x 3x x x x 23x x 2x x 3x x x 3 = 25 6 x x x x x 2x x 2x x x x x = 25 6 x 3x x 2x x 23x x 22x x 3x x 2x (ψ 5 ) 625(ψ 5 ) = 25 6 x x x 2x x 2x x 22x x x x ψ 2x 25(ψ 5 ) 2 = 25 6 x x x 3x x 2x x 23x x x x ψ 3 3x + 25(ψ 5 ) 2. These equalities correspond to the entries (, 2), (, 3), (, ), (2, 3), (2, ) and (3, ) of (7). In the ideal of Q(ψ)[x ij, i, j =, 2, 3, ] generated by the polynomials f 2, f 3, f, f 23, f 2,, f 3 in the right hand side of the above equalities the polynomial det([x ij ]) is reduced to the right hand side of (8). For instance, Singular check this immediately (see []). Let y ij be indeterminate variables, R = C(ψ)[y ij, i, j =, 2, 3, ] and I := {f R f(x ij ) = }. Proposition 3. The ideal I is generated by f 2, f 3, f, f 23, f 2,, f 3. Proof. Let E be the differential field over F = C(ψ) generated by x ij s. Note that the matrix [x ij ] is the fundamental system of the linear differential equation: ψ [x ij] = [x ij ]B(ψ) t, where B(ψ) is obtained from the matrix () by putting dt =, dt =, t = ψ, t =. The homology group H 3 (W ψ, Q) has a symplectic basis and hence the monodromy group of W ψ is a subgroup of Sp(, Z). Consequently, the differential Galois group G(E/F ) is an algebraic subgroup of Sp(, C) and it contains a maximal unipotent matrix which is the monodromy around z =. By a result of Saxl and Seitz, see [29], we have G(E/F ) = Sp(, C). Therefore, dim G(E/F ) = which is the transcendental degree of the field E over F (see [3]). 9 A leaf of Ra The solutions of the the vector field Ra in the moduli space T are the locus of parameters such that all the periods of ω are constant. We want to choose a solution of Ra and write it in an explicit form. We proceed as follows: Let δ i, δ i i =, 2, 3, be two basis of H 3 (W t, Q) as in 8 and let C = [c, c 2, c 3, c ] t be given by the equality [ δ i, δ j ]C = [,,, ] t. and so C = [,,, 6 5 ]t. We are interested on the loci L of parameters s T such that (9) ω = c i, i =, 2, 3,. δ i 3

14 We will write each coordinate of s in terms of periods: first we note that, on this locus we have δ ω = because = ω, ω = δ i, δ j ω ω i,j δ i δ j = [ ω,..., ω ][ δ i, δ j ]C = ω. δ δ δ By our choice ω does not depend on t, t 2 and t 3. Therefore, the locus of parameters s in T such that δ ω = is given by (2) (s, s ) = (t, t ) = (t ω, t ( ω ) 5 ) δ δ δ with arbitrary s, s 2, s 3. This is because for k = ( δ ω ), we have δ kω = and under the identification (t, t ) (W t,t, ω ), the pair (t, t ) k is mapped to (W t,t, kω ). To find s, s 2, s 3 parameters we proceed as follows: we know that ω = s ω +s 2 ω 2 +s 3 ω 3 + ω ω,ω. This together with (9) and (2) imply that [ ω j ] [s, s 2, s 3, 625(s s 5 )] t = C δ i which gives formulas for s, s 2, s 3 in terms of periods. Let us write all these in terms of the periods of the one parameter family W ψ. Recall the notation x ij in the Introduction. We have s = ψx, s = x 5 and ω j = x j x ij. δ i Note that in the above equality the cycle δ i lives in W ψx,x 5. We restrict s i s to t = ψ, t =, we use the equality (8) and we get: s k = 6 ( ) +k det[x j x ij] i,j=,2,3,, i, j k 5 det[x j x ij] = ( ψ5 ) 2 ( ) +k x k det[x ij ] i,j=,2,3,, i, j k k =, 2, 3, Modulo the ideal I in 8 the expressions for s k s can be reduced to to the shorter expressions in the right hand side of the equalities in Theorem 3. In the left hand side we have written t i instead of s i. We also get the relation 625x 5 ( ψ 5 ) = ( ψ5 ) 2 x det[x ij ] i,j=,2,3. The function ψ s(ψ) := (s (ψ), s (ψ),..., s (ψ)) is tangent to the vector field Ra but it is not its solution. In order to get a solution, one has to make a change of variable in ψ.

15 The parametrization Let ω i, i =, 2, 3, be the basis of the de Rham cohomology of W t, t T constructed in Proposition 2. We consider the period map: pm : T Mat(), t [ ω j ], δ i where Mat() is the set of matrices. By our construction of ω i, its image is of dimension 5 and so it is an embedding in some open neighborhood U of a point p L in T. We restrict its inverse s = (s, s, s 2, s 3, s ) to pm(l), where L is defined in 9. Note that a point in pm(l) is of the form: P = p 2 p 3 τ p 22 p 23 p 3 p 32 p 33 p p 2 p We consider s, s, s 2, s 3, s and all the quantities p ij as functions of τ and set ȧ = a τ. This is our derivation in (). Note that τ as a function in ψ is given by: τ = δ 2 Ω δ Ω. We have ṡ(τ) = x(τ) Ra(s(τ)) for some holomorphic function x in U L, because Ra is tangent to the locus L and s is a local parametrization of L. Let A be the Gauss- Manin connection matrix of the family W t, t T in the basis ω i, i =, 2, 3,. We have d(pm) = pm A t, from which it follows ṗ 2 ṗ 3 ṗ 22 ṗ 23 ṗ 3 ṗ 32 ṗ 33 = ṗ ṗ 2 ṗ 3 p 2 p 3 τ p 22 p 23 p 3 p 32 p 33 p p 2 p x x b 2 (s) x x b 3 (s). x b (s) Here we have used the particular form of A in Proposition 2. The equalities corresponding to the entries (, i), i 2 together with the fact that x, b (s) imply that p 2 = p 3 =. The equality for the entry (2, ) implies that x = p 22. Using these, we have (2) Periods ṗ 22 ṗ 23 ṗ 3 ṗ 32 ṗ 33 = ṗ ṗ 2 ṗ 3 τ p 22 p 23 p 3 p 32 p 33 p p 2 p b p 22 2 (s) p 22 b 3 (s). p 22 p 22 b (s) p 22 Four linearly independent solutions of (8) are given by ψ, ψ, ψ 2, ψ 3, where (22) 3 ψ i ( z)ɛ i + O(ɛ ) = i= n= ( + 5ɛ)(2 + 5ɛ) (5n + 5ɛ) (( + ɛ)(2 + ɛ) (n + ɛ)) 5 zn+ɛ, z = z 5 5 5

16 see for instance [2]. In fact, there are four topological cycles δ, δ 2, δ 3, δ H 3 (W z, Q) such that η = (2πi) i δ i 5 (i )!ψ i. Performing the monodromy of (22) around z =, we get the same expression multiplied with e 2πiɛ. Therefore, the monodromy ψ i of ψ i is given according to the equalities: ψ = ψ, ψ = (2πi)ψ + ψ, ψ2 = (2πi)2 ψ + (2πi)ψ + ψ 2, 2! ψ 3 = (2πi)3 ψ + (2πi)2 ψ + (2πi)ψ 2 + ψ 3. 3! 2! This implies that the topological monodromy, which acts on H 3 (W,z, Q), in the basis δ i, i =, 2, 3, is given by (23) M = Further, the intersection form in this basis is Ψ in (6), and the monodromy around the other singularity is see for instance [3], page 5. C[δ, δ 2, δ 3, δ ] t, where In fact in [3] the authors have considered the basis C = Note that in the mentioned reference when the authors say that with respect to a basis δ, δ 2, δ 3, δ of a vector space, a linear map is given by the matrix T then the action of the linear map on δ i is the i-th coordinate of [δ, δ 2, δ 3, δ ]T and not T [δ, δ 2, δ 3, δ ] t. Define Z = τ τ 2 2τ 2. τ 3 3τ 2 6τ 6 Note that. D = Z Ż = and under the monodromy M, τ goes to τ + and Z goes to MZ. Therefore Q = Z P = p 22 p 23 2 (p 3 τ 2 ) 2 p 32 τp 22 2 p 33 τp 23 3 τ 3 2 τp p 2 τ 2 p 22 2 τp p τ 2 p 23 2 τp p 3) 5

17 is invariant under the monodromy around. The differential equation of P is given in (2) which we write it in the form P = p 22 P A(Ra) t. From this we calculate the differential equation of Q; q 22 Q = Z ŻZ P + Z P = DQ + QA(Ra) t = q 22 q 23 q 22 b 2 + q 23 b 3 q 32 q q 33 q 32 b 2 + q 33 b 3 q 22 q 23. q 22 q 3 + q 2 q 22 q 32 + q 3 q 2 b 2 + q 3 b 3 5 b q 22 q 33 Let us use the new notation s 5 = q 22 and s 6 = q 23. The first five lines of our differential equation () is just ṡ = s 5 Ra(s) and the next two lines correspond to the equalities of (2, 2) and (2, 3) entries of the above matrices. Note that in () we have used the notation t i instead of s i. 2 Calculating q-expansions All the quantities s i are invariant under the monodromy M around z =. This implies that they are invariant under the transformation τ τ +. Therefore, all s i s can be written in terms of the new variable q = e 2πiτ. In order to calculate all these q-expansions, it is enough to restrict to the case t =, t = t 2 = t 3 =, t = z. We want to write s = η, s = z( η) 5 δ δ in terms of q. Calculating ψ and ψ from the formula (22) we get: and so ψ = m= ψ = ln( z)ψ ( z) + 5 ψ ( z), ψ := (5m)! (m!) 5 zm m= q = e 2πi δ η 2 δ η = ze 5 ψ ( z) ψ ( z). (5m)! (m!) 5 ( 5m k=m+ k ) zm By comparing few coefficients of z i and we get (2) s = η = δ 5 (2πi 5 )3 ψ = 5 (2πi 5 )3 ( + 5!q + 2q 2 + ) (25) s = z( η) 5 = 5 5 ( δ 5 (2πi 5 )3 ) 5 zψ 5 = ( 2πi 5 )5 ( + q 7q 2 + ). In the differential equation (), we consider the weights (26) deg(t i ) = 3(i + ), i =,,...,, deg(t 5 ) =, deg(t 6 ) = 23. 7

18 In this way in its right hand side we have homogeneous rational functions of degree, 7,, 3, 6, 2, 2 which is compatible with the left hand side if we assume that the derivation increases the degree by one. We have τ = ( 2πi 5 )5q 2πi q and so ( 5 ) deg(ti) s i, i =,..., 6 is the solution presented in the Introduction. The initial values (2) in the Introduction are taken from the equalities (2) and (25). In the literature, see for instance [2, 28], we find also the equalities: q 3 = 2 (p 3 τ 2 ) = 2 ( δ 3 η δ η ( δ 2 η δ η )2 ) = (2πi) 2 (ψ 2 ψ 2 (ψ ) 2 ) = ψ (2πi) 2 5 ( n=( d n n d d 3 ) qn n 2 ), q = 3 τ 3 2 τp p = (2πi) 3 ( 3 (ψ ) 3 ψ ψ 2 + ψ 3 ) = 2 ψ ψ ψ ψ 5 where n d are as explained in the Introduction. 3 Proof of Theorem 3 (2πi) 3 (( n=( d n n d d 3 ) qn n 3 )), The proof of the equalities for t, t, t 3, t is done in 9. In 7 we have calculated ω 2, ω 3 in terms of ω 2 and ω 3. In and we have defined s 5 = p 22 = q 22 = ω 2, δ 2 s 6 = p 23 = q 23 = ω 3. δ 2 Using δ i ω j = x j x ij we get the expressions for s 5, s 6 in Theorem 3. Note that for simplicity in Theorem 3 we have again used the notation t i instead of s i a deg(ti), where a = 2πi 5 and deg(t i ) is defined in (26). Proof of Theorem The Yukawa coupling k τττ is a quantity attached to the family of Calabi-Yau varieties W,z. It can be written in terms of periods: where τ = δ 2 η δ η 5 a 6 k τττ = (z τ z )3 (z )( δ η), 2 2πi and a =, see for instance [2] page 258. In [6] the authors have 5 calculated the q-expansion of the Yukawa coupling and they have reached to spectacular predictions presented in Introduction. Let us calculate the Yukawa coupling in terms of 8

19 our auxiliary quantities s i. We use the notation t i = s i a deg(t i). k τττ = ( ) ( t t 5 ) 3 t t 5 τ 5 a 6 3 ( t t 5 )(a 3 t ) 2 = 5 {}}{ t t 5 3 ( t t 5 ) 3 ( t t 5 )t 2 = 5 (t (5t t t 3t ) 5( 6 5 t t t 3 5 t )t ) 3 t 2 t 3 5 t3 (t t ) = 5 (t t 5 )2 t 3 5 Theorem is proved. 5 Proof of Theorem 2 = 5 (t ṫ 5ṫ t ) 3 t 2 t 3 (t t ) First, we note that if there is a polynomial relation with coefficients in C between t i, i =,,..., 6 (as power series in q = e 2πiτ and hence as functions in τ) then the same is true if we change the variable τ by some function in another variable. In particular, we put τ = x 2 x and obtain t i s in terms of periods. Now, it is enough to prove that the period expressions in Theorem 3 are algebraically independent over C. Using Proposition 3, it is enough to prove that the variety induced by the ideal Ĩ = t i k i, i =,,..., 6 + I k[y ij, i, j =, 2, 3, ] is of dimension = 3. Here k i s are arbitrary parameters, I is the ideal in 8, k = C(k i, i =,,..., 6) and in the expressions of t i we have written y ij instead of x ij. This can be done by any software in commutative algebra (see for instance []). 6 Moduli space, III In this section we introduce moduli interpretation for t 5 and t 6. Let Ra be the vector field in C 7 corresponding to () and let ω i, i =, 2, 3, be the differential forms calculated in Proposition 2. Consider t i, i =,, 2,..., 6 as unknown parameters. We define a new basis ˆω i, i =, 2, 3, of H 3 dr (W t,t ): ˆω = ω, ˆω 2 = t 5 ω 2, ˆω 3 = 5 7 (t t 5 )2 ( t 6 ω 2 + t 5 ω 3 ), ˆω = ω. The intersection form in the basis ˆω i, i =, 2, 3, is a constant matrix and in fact it is: (27) Φ := 9

20 The Gauss-Manin connection composed with Ra has also the form: (t t 5 )2 Ra = 5 7 t 3 5 It is interesting that the Yukawa coupling appears as the only non constant term in the above matrix. Let X be the moduli of pairs (W, [α, α 2, α 3, α ]), where W is a Calabi-Yau variety as before, α i F i \F 5 i, F i HdR 3 (W ) is the i-th piece of the Hodge filtration, α i s form a basis of HdR 3 (W ) and the intersection form in α i s is given by the matrix (27). We have the isomorphism (28) {t C 7 t 5 t (t t 5 ) } = X t (W t,t, [ˆω, ˆω 2, ˆω 3, ˆω ]) which gives the full moduli interpretation of all t i s. 7 A conjecture and concluding remarks A conjecture: (29) in the differential equation (). We have calculated the first eleven coefficients of 2 t, 75 t, 5 t 2, 5 t 3, t, 25t 5, 5625t 6 q q q 2 q 3 q q 5 q 6 2 t t t t t t t q 7 q 8 q 9 q We have also calculated the Yukawa coupling (t t 5 )2. The numbers n 625t 3 d in the Introduction are given by: 5 5, 2875, 6925, , , , , , , , Based on these calculations we may conjecture: Conjecture. All q-expansions of 2 t 2, 75 t 3, 5 t 2 7, 5 t 3 6 5, t, 25t , 5625t 6 have positive integer coefficients. 2

21 We have verified the conjecture for the coefficients of q i, i 5 (see the author s web page) 3. The rational numbers which appear in (29) are chosen in such a way that the coefficients t i,n, n =, 2,..., become positive integers and for each fixed i they are relatively prime. Writing the series t i as Lambert series a + d= a d qd does not help q d for understanding the structure of t i,n. It is not possible to factor out some potential of d from a d s for each t i. One should probably take out a polynomial in q from t i and then try to understand the nature of the sequences. The on-line encyclopedia of integer sequences does not recognize the integer sequences of t, t,..., t 6. This supports the fact that the general formula for t i s or any interpretation of them is not yet known. Is there a Calabi-Yau monster?: The parameter j = z = t5 t classifies the Calabi- Yau varieties of type (3), that is, each such Calabi-Yau variety is represented exactly by one value of j and two such Calabi-Yau varieties are isomorphic if and only if the corresponding j values are equal. This is similar to the case of elliptic curves which are classified by the classical j-function (see 2). We have calculated also the q-expansions of j : 325 j = q q q q q q q q q q 9 + O(q ) The coefficient 325 is chosen in such a way that all the coefficients of q i, i 9 in 325 j are integer and all together are relatively prime. Note that the moduli parameter j in our case has two cusps and, that is, for these values of j we have singular fibers. Our q-expansion is written around the cusp. All the beautiful history behind the interpretation of the coefficients of the classical j- function of elliptic curves, monster group, monstrous moonshine conjecture and Borcherds proof, may indicate us another fascinating mathematics behind the q-expansion of the j - function of the varieties (3). Symplectic basis: The basis ˆδ i, i =, 2, 3, given by [ˆδ, ˆδ 2, ˆδ 3, ˆδ ] t = C[δ, δ 2, δ 3, δ ] t, where C := , is the symplectic basis of H 3 (W ψ, Q), that is, the intersection matrix in this basis is given by: [ ˆδ i, ˆδ j ] =. 3 hossein/manyfiles/calculation-haftarticle.txt 2

22 In this basis the monodromy group Γ of the family W ψ is generated by ˆT := 5 5, Ŝ :=. 5 In a private communication, Prof. Duco van Straten informed me of the following conjecture: the group Γ has infinite index in Sp(, Z). Modular properties of t i s: Recall the notation in 6. There is an algebraic group which acts on the right hand side of the isomorphism (28). It corresponds to the base change in ˆω i, i =, 2, 3, such that the new basis is still compatible with the Hodge filtration and we have still the intersection matrix (27): G := {g = [g ij ] GL(, C) g ij =, for j < i and g t Φg = Φ}, (W, [α, α 2, α 3, α ]) g = (W, [α, α 2, α 3, α ]g). Therefore, we have the action of G on the t-space, where t = (t, t,..., t 6 ), from the right which we denote it again by. The period map t [ ˆδi ˆω j ] written in the symplectic basis gives us the modular properties of t i with respect to the monodromy group Γ = ˆT, Ŝ as follows. We regard t i s as the coordinates of the inverse of the period map restricted to the matrices: τ (3) P (τ) := x 3 x 32, x τx 32 + x 3 τ where x 3 = 2 (5(τ + τ 2 ) + (2πi) 2 ( n=( d n n d d 3 ) e2πiτn n 2 )) x 32 = x 3, x = x 3 τx 3. (recall that in this paragraph we are using the symplectic basis ˆδ i ). For an element A in the monodromy group Γ and τ fixed, there is a unique element g(τ, A) of G and a matrix P ( τ) of the form (3) such that and so A P (τ) = P ( τ) g(τ, A) t(τ) = t(a P (τ)) = t(p ( τ)) g(τ, A). This is the modular functional equation of t. The explicit calculation of these modular properties and the full definition of a modular or a quasi-modular form will be done in the forthcoming articles. In the case of elliptic curves, the same procedure as above gives us the modularity of the Eisenstein series g 2 and g 3 and the functional equation of g with an anomalous shift under SL(2, Z) (see [25]). In our context, two different phenomena appear: first we do not have a functional equation for individual t i, but we have functional equations involving all t i s. Second, we have functional equations involving x 3 and its derivatives. 22

23 References [] Mina Aganagic, Vincent Bouchard, and Albrecht Klemm. Topological strings and (almost) modular forms. Comm. Math. Phys., 277(3):77 89, 28, arxiv:hepth/67v2. [2] Murad Alim and Jean Dominique Länge. Polynomial structure of the (open) topological string partition function. J. High Energy Phys., ():5, 3, 27, arxiv: v2[hep-th]. [3] Gert Almkvist and Wadim Zudilin. Differential equations, mirror maps and zeta values. In Mirror symmetry. V, volume 38 of AMS/IP Stud. Adv. Math., pages Amer. Math. Soc., Providence, RI, 26, arxiv:math/2386v2[math.nt]. [] Richard E. Borcherds. Monstrous moonshine and monstrous Lie superalgebras. Invent. Math., 9(2):5, 992. [5] Christophe Breuil, Brian Conrad, Fred Diamond, and Richard Taylor. On the modularity of elliptic curves over Q: wild 3-adic exercises. J. Amer. Math. Soc., (): (electronic), 2. [6] Philip Candelas, Xenia C. de la Ossa, Paul S. Green, and Linda Parkes. A pair of Calabi-Yau manifolds as an exactly soluble superconformal theory. Nuclear Phys. B, 359():2 7, 99. [7] Herbert Clemens. Curves on generic hypersurfaces. Ann. Sci. École Norm. Sup. (), 9(): , 986. [8] Adrian Clingher and Charles F. Doran. Lattice polarized K3 surfaces and Siegel modular forms. 2. arxiv:.353v[math.ag]. [9] Robbert Dijkgraaf. Mirror symmetry and elliptic curves. In The moduli space of curves (Texel Island, 99), volume 29 of Progr. Math., pages Birkhäuser Boston, Boston, MA, 995. [] Charles F. Doran and John W. Morgan. Mirror symmetry and integral variations of Hodge structure underlying one-parameter families of Calabi-Yau threefolds. In Mirror symmetry. V, volume 38 of AMS/IP Stud. Adv. Math., pages Amer. Math. Soc., Providence, RI, 26, arxiv:math/55272v[math.ag]. [] Michael R. Douglas. Conformal field theory techniques in large N Yang-Mills theory. In Quantum field theory and string theory (Cargèse, 993), volume 328 of NATO Adv. Sci. Inst. Ser. B Phys., pages Plenum, New York, 995, arxiv:hepth/933v. [2] A. Giveon, M. Porrati, and E. Rabinovici. Target space duality in string theory. Phys. Rep., 2(2-3):77 22, 99, arxiv:hep-th/939v. [3] Rajesh Gopakumar and Cumrun Vafa. M-theory and topological strings II. 998, arxiv:hep-th/98227v. [] G.-M. Greuel, G. Pfister, and H. Schönemann. Singular 2.. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern,

24 [5] Phillip A. Griffiths. Periods of integrals on algebraic manifolds: Summary of main results and discussion of open problems. Bull. Amer. Math. Soc., 76: , 97. [6] Shinobu Hosono. BCOV ring and holomorphic anomaly equation. In New developments in algebraic geometry, integrable systems and mirror symmetry (RIMS, Kyoto, 28), volume 59 of Adv. Stud. Pure Math., pages 79. Math. Soc. Japan, Tokyo, 2, arxiv:8.795v2 [math.ag]. [7] Trygve Johnsen and Steven L. Kleiman. Toward Clemens conjecture in degrees between and 2. Serdica Math. J., 23(2):3 2, 997. Conference on Geometry and Mathematical Physics (Zlatograd, 995), arxiv:alg-geom/962v2. [8] Masanobu Kaneko and Don Zagier. A generalized Jacobi theta function and quasimodular forms. In The moduli space of curves (Texel Island, 99), volume 29 of Progr. Math., pages Birkhäuser Boston, Boston, MA, 995. [9] Nicholas M. Katz. p-adic properties of modular schemes and modular forms. In Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 972), pages Lecture Notes in Mathematics, Vol. 35. Springer, Berlin, 973. [2] Nicholas M. Katz and Tadao Oda. On the differentiation of de Rham cohomology classes with respect to parameters. J. Math. Kyoto Univ., 8:99 23, 968. [2] Maxim Kontsevich. Homological algebra of mirror symmetry. In Proceedings of the International Congress of Mathematicians, Vol., 2 (Zürich, 99), pages 2 39, Basel, 995. Birkhäuser. [22] Maxim Kontsevich, Albert Schwarz, and Vadim Vologodsky. Integrality of instanton numbers and p-adic B-model. Phys. Lett. B, 637(-2):97, 26, arxiv:hepth/636v3. [23] Christian Krattenthaler and Tanguy Rivoal. On the integrality of the Taylor coefficients of mirror maps. Duke Math. J., 5(2):75 28, 2, arxiv: v2[math.nt]. [2] David R. Morrison. Picard-Fuchs equations and mirror maps for hypersurfaces. In Essays on mirror manifolds, pages Int. Press, Hong Kong, 992. arxiv:alggeom/92226v. [25] Hossein Movasati. On differential modular forms and some analytic relations between Eisenstein series. Ramanujan J., 7():53 76, 28. arxiv:math/686v[math.nt]. [26] Hossein Movasati. On elliptic modular foliations. Indag. Math. (N.S.), 9(2): , 28. arxiv: v[math.ag]. [27] Hossein Movasati. Modular foliations and periods of hypersurfaces. Preprint, 29. [28] Rahul Pandharipande. Rational curves on hypersurfaces (after A. Givental). Astérisque, (252):Exp. No. 88, 5, 37 3, 998. Séminaire Bourbaki. Vol. 997/98. 2

Modular-type functions attached to mirror quintic Calabi-Yau varieties 1

Modular-type functions attached to mirror quintic Calabi-Yau varieties 1 Modular-type functions attached to mirror quintic Calabi-Yau varieties Hossein Movasati Instituto de Matemática Pura e Aplicada, IMPA, Estrada Dona Castorina,, 2246-32, Rio de Janeiro, RJ, Brazil, www.impa.br/

More information

Periods and generating functions in Algebraic Geometry

Periods and generating functions in Algebraic Geometry Periods and generating functions in Algebraic Geometry Hossein Movasati IMPA, Instituto de Matemática Pura e Aplicada, Brazil www.impa.br/ hossein/ Abstract In 1991 Candelas-de la Ossa-Green-Parkes predicted

More information

Counting problems in Number Theory and Physics

Counting problems in Number Theory and Physics Counting problems in Number Theory and Physics Hossein Movasati IMPA, Instituto de Matemática Pura e Aplicada, Brazil www.impa.br/ hossein/ Encontro conjunto CBPF-IMPA, 2011 A documentary on string theory

More information

Mathematische Zeitschrift

Mathematische Zeitschrift Math. Z. DOI.7/s29-5-53-9 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

More information

Mirror Symmetry: Introduction to the B Model

Mirror Symmetry: Introduction to the B Model Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds

More information

Overview of classical mirror symmetry

Overview of classical mirror symmetry Overview of classical mirror symmetry David Cox (notes by Paul Hacking) 9/8/09 () Physics (2) Quintic 3-fold (3) Math String theory is a N = 2 superconformal field theory (SCFT) which models elementary

More information

Introduction Curves Surfaces Curves on surfaces. Curves and surfaces. Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway

Introduction Curves Surfaces Curves on surfaces. Curves and surfaces. Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway Curves and surfaces Ragni Piene Centre of Mathematics for Applications, University of Oslo, Norway What is algebraic geometry? IMA, April 13, 2007 Outline Introduction Curves Surfaces Curves on surfaces

More information

GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui

GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY Sampei Usui Abstract. This article is a geometric application of polarized logarithmic Hodge theory of Kazuya Kato and Sampei Usui. We prove generic Torelli

More information

Counting curves on a surface

Counting curves on a surface Counting curves on a surface Ragni Piene Centre of Mathematics for Applications and Department of Mathematics, University of Oslo University of Pennsylvania, May 6, 2005 Enumerative geometry Specialization

More information

EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION

EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds

More information

THE QUANTUM CONNECTION

THE QUANTUM CONNECTION THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,

More information

Gauss-Manin Connection in Disguise

Gauss-Manin Connection in Disguise Hossein Movasati Gauss-Manin Connection in Disguise Calabi-Yau Modular Forms with appendices by Khosro M. Shokri and Carlos Matheus November 7, 205 Publisher To my parents Rogayeh and Ali, and my family

More information

The Strominger Yau Zaslow conjecture

The Strominger Yau Zaslow conjecture The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex

More information

Enumerative Geometry Steven Finch. February 24, 2014

Enumerative Geometry Steven Finch. February 24, 2014 Enumerative Geometry Steven Finch February 24, 204 Given a complex projective variety V (as defined in []), we wish to count the curves in V that satisfy certain prescribed conditions. Let C f denote complex

More information

Topics in Geometry: Mirror Symmetry

Topics in Geometry: Mirror Symmetry MIT OpenCourseWare http://ocw.mit.edu 18.969 Topics in Geometry: Mirror Symmetry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MIRROR SYMMETRY:

More information

Monodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.

Monodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H. Monodromy of the Dwork family, following Shepherd-Barron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.

More information

Differential equations concerned with mirror symmetry of toric K3 hypersurfaces with arithmetic properties. Atsuhira Nagano (University of Tokyo)

Differential equations concerned with mirror symmetry of toric K3 hypersurfaces with arithmetic properties. Atsuhira Nagano (University of Tokyo) Differential equations concerned with mirror symmetry of toric K3 hypersurfaces with arithmetic properties Atsuhira Nagano (University of Tokyo) 1 Contents Section 1 : Introduction 1: Hypergeometric differential

More information

Kähler Potential of Moduli Space. of Calabi-Yau d-fold embedded in CP d+1

Kähler Potential of Moduli Space. of Calabi-Yau d-fold embedded in CP d+1 March 2000 hep-th/000364 Kähler Potential of Moduli Space arxiv:hep-th/000364v 20 Mar 2000 of Calabi-Yau d-fold embedded in CP d+ Katsuyuki Sugiyama Department of Fundamental Sciences Faculty of Integrated

More information

Geometry of the Calabi-Yau Moduli

Geometry of the Calabi-Yau Moduli Geometry of the Calabi-Yau Moduli Zhiqin Lu 2012 AMS Hawaii Meeting Department of Mathematics, UC Irvine, Irvine CA 92697 March 4, 2012 Zhiqin Lu, Dept. Math, UCI Geometry of the Calabi-Yau Moduli 1/51

More information

Transcendence theory in positive characteristic

Transcendence theory in positive characteristic Prof. Dr. Gebhard Böckle, Dr. Patrik Hubschmid Working group seminar WS 2012/13 Transcendence theory in positive characteristic Wednesdays from 9:15 to 10:45, INF 368, room 248 In this seminar we will

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

arxiv: v1 [math.ag] 15 Jul 2018

arxiv: v1 [math.ag] 15 Jul 2018 . NOTE ON EQUIVARIANT I-FUNCTION OF LOCAL P n HYENHO LHO arxiv:1807.05501v1 [math.ag] 15 Jul 2018 Abstract. Several properties of a hyepergeometric series related to Gromov-Witten theory of some Calabi-Yau

More information

The geometry of Landau-Ginzburg models

The geometry of Landau-Ginzburg models Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror

More information

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI P. GUERZHOY Abstract. We address a question posed by Ono [7, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation

More information

On the BCOV Conjecture

On the BCOV Conjecture Department of Mathematics University of California, Irvine December 14, 2007 Mirror Symmetry The objects to study By Mirror Symmetry, for any CY threefold, there should be another CY threefold X, called

More information

Arithmetic Mirror Symmetry

Arithmetic Mirror Symmetry Arithmetic Mirror Symmetry Daqing Wan April 15, 2005 Institute of Mathematics, Chinese Academy of Sciences, Beijing, P.R. China Department of Mathematics, University of California, Irvine, CA 92697-3875

More information

Hodge structures from differential equations

Hodge structures from differential equations Hodge structures from differential equations Andrew Harder January 4, 2017 These are notes on a talk on the paper Hodge structures from differential equations. The goal is to discuss the method of computation

More information

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:

More information

Kleine AG: Travaux de Shimura

Kleine AG: Travaux de Shimura Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura

More information

arxiv: v3 [math.ag] 26 Jun 2017

arxiv: v3 [math.ag] 26 Jun 2017 CALABI-YAU MANIFOLDS REALIZING SYMPLECTICALLY RIGID MONODROMY TUPLES arxiv:50.07500v [math.ag] 6 Jun 07 CHARLES F. DORAN, ANDREAS MALMENDIER Abstract. We define an iterative construction that produces

More information

Generalized Tian-Todorov theorems

Generalized Tian-Todorov theorems Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:

More information

Enumerative Geometry: from Classical to Modern

Enumerative Geometry: from Classical to Modern : from Classical to Modern February 28, 2008 Summary Classical enumerative geometry: examples Modern tools: Gromov-Witten invariants counts of holomorphic maps Insights from string theory: quantum cohomology:

More information

Takao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,...

Takao Akahori. z i In this paper, if f is a homogeneous polynomial, the correspondence between the Kodaira-Spencer class and C[z 1,... J. Korean Math. Soc. 40 (2003), No. 4, pp. 667 680 HOMOGENEOUS POLYNOMIAL HYPERSURFACE ISOLATED SINGULARITIES Takao Akahori Abstract. The mirror conjecture means originally the deep relation between complex

More information

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)

(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1) Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.

More information

Introductory comments on the eigencurve

Introductory comments on the eigencurve Introductory comments on the eigencurve Handout # 5: March 8, 2006 (These are brief indications, hardly more than an annotated list, of topics mentioned in my lectures. ) 1 The basic Hecke diagram As before

More information

Intermediate Jacobians and Abel-Jacobi Maps

Intermediate Jacobians and Abel-Jacobi Maps Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate

More information

IN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort

IN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries

More information

Topics in Geometry: Mirror Symmetry

Topics in Geometry: Mirror Symmetry MIT OpenCourseWare http://ocw.mit.edu 18.969 Topics in Geometry: Mirror Symmetry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. MIRROR SYMMETRY:

More information

LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW

LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special

More information

Mirror symmetry. Mark Gross. July 24, University of Cambridge

Mirror symmetry. Mark Gross. July 24, University of Cambridge University of Cambridge July 24, 2015 : A very brief and biased history. A search for examples of compact Calabi-Yau three-folds by Candelas, Lynker and Schimmrigk (1990) as crepant resolutions of hypersurfaces

More information

Congruence sheaves and congruence differential equations Beyond hypergeometric functions

Congruence sheaves and congruence differential equations Beyond hypergeometric functions Congruence sheaves and congruence differential equations Beyond hypergeometric functions Vasily Golyshev Lille, March 6, 204 / 45 Plan of talk Report on joint work in progress with Anton Mellit and Duco

More information

Departement de Physique Theorique, Universite de Geneve, Abstract

Departement de Physique Theorique, Universite de Geneve, Abstract hep-th/950604 A NOTE ON THE STRING ANALOG OF N = SUPER-SYMMETRIC YANG-MILLS Cesar Gomez 1 and Esperanza Lopez 1 Departement de Physique Theorique, Universite de Geneve, Geneve 6, Switzerland Abstract A

More information

Pietro Fre' SISSA-Trieste. Paolo Soriani University degli Studi di Milano. From Calabi-Yau manifolds to topological field theories

Pietro Fre' SISSA-Trieste. Paolo Soriani University degli Studi di Milano. From Calabi-Yau manifolds to topological field theories From Calabi-Yau manifolds to topological field theories Pietro Fre' SISSA-Trieste Paolo Soriani University degli Studi di Milano World Scientific Singapore New Jersey London Hong Kong CONTENTS 1 AN INTRODUCTION

More information

HYPERKÄHLER MANIFOLDS

HYPERKÄHLER MANIFOLDS HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly

More information

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand

More information

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued

More information

Semistability of certain bundles on a quintic Calabi-Yau threefold.

Semistability of certain bundles on a quintic Calabi-Yau threefold. Semistability of certain bundles on a quintic Calabi-Yau threefold. Maria Chiara Brambilla Dipartimento di Matematica e Applicazioni per l Architettura, Università di Firenze, piazza Ghiberti, 27, 50122

More information

On the zeros of certain modular forms

On the zeros of certain modular forms On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms

More information

The Pfaffian Calabi Yau, its Mirror, and their link to the Grassmannian G(2,7)

The Pfaffian Calabi Yau, its Mirror, and their link to the Grassmannian G(2,7) arxiv:math/9801092v1 [math.ag] 20 Jan 1998 The Pfaffian Calabi Yau, its Mirror, and their link to the Grassmannian G(2,7 Einar Andreas Rødland January 20, 1998 Abstract The rank 4 locus of a general skew-symmetric

More information

On the intersection theory of the moduli space of rank two bundles

On the intersection theory of the moduli space of rank two bundles On the intersection theory of the moduli space of rank two bundles Alina Marian a, Dragos Oprea b,1 a Yale University, P.O. Box 208283, New Haven, CT, 06520-8283, USA b M.I.T, 77 Massachusetts Avenue,

More information

Topological Strings and Donaldson-Thomas invariants

Topological Strings and Donaldson-Thomas invariants Topological Strings and Donaldson-Thomas invariants University of Patras Πανɛπιστήµιo Πατρών RTN07 Valencia - Short Presentation work in progress with A. Sinkovics and R.J. Szabo Topological Strings on

More information

LECTURE 2: LANGLANDS CORRESPONDENCE FOR G. 1. Introduction. If we view the flow of information in the Langlands Correspondence as

LECTURE 2: LANGLANDS CORRESPONDENCE FOR G. 1. Introduction. If we view the flow of information in the Langlands Correspondence as LECTURE 2: LANGLANDS CORRESPONDENCE FOR G J.W. COGDELL. Introduction If we view the flow of information in the Langlands Correspondence as Galois Representations automorphic/admissible representations

More information

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap

(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups

More information

Curve counting and generating functions

Curve counting and generating functions Curve counting and generating functions Ragni Piene Università di Roma Tor Vergata February 26, 2010 Count partitions Let n be an integer. How many ways can you write n as a sum of two positive integers?

More information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Asymptotic of Enumerative Invariants in CP 2

Asymptotic of Enumerative Invariants in CP 2 Peking Mathematical Journal https://doi.org/.7/s4543-8-4-4 ORIGINAL ARTICLE Asymptotic of Enumerative Invariants in CP Gang Tian Dongyi Wei Received: 8 March 8 / Revised: 3 July 8 / Accepted: 5 July 8

More information

When 2 and 3 are invertible in A, L A is the scheme

When 2 and 3 are invertible in A, L A is the scheme 8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves

More information

An Introduction to Kuga Fiber Varieties

An Introduction to Kuga Fiber Varieties An Introduction to Kuga Fiber Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 28, 2012 Notation G a Q-simple

More information

Periods, Galois theory and particle physics

Periods, Galois theory and particle physics Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular algebraic

More information

Mirror Maps and Instanton Sums for Complete Intersections in Weighted Projective Space

Mirror Maps and Instanton Sums for Complete Intersections in Weighted Projective Space LMU-TPW 93-08 Mirror Maps and Instanton Sums for Complete Intersections in Weighted Projective Space arxiv:hep-th/9304034v 8 Apr 993 Albrecht Klemm and Stefan Theisen Sektion Physik Ludwig-Maximilians

More information

Introduction To K3 Surfaces (Part 2)

Introduction To K3 Surfaces (Part 2) Introduction To K3 Surfaces (Part 2) James Smith Calf 26th May 2005 Abstract In this second introductory talk, we shall take a look at moduli spaces for certain families of K3 surfaces. We introduce the

More information

p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007

p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:

More information

DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/ v2 [math.ag] 24 Oct 2006

DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/ v2 [math.ag] 24 Oct 2006 DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/0607060v2 [math.ag] 24 Oct 2006 DAVID BALDUZZI Abstract. The Donagi-Markman cubic is the differential of the period map for algebraic completely integrable

More information

Notes on D 4 May 7, 2009

Notes on D 4 May 7, 2009 Notes on D 4 May 7, 2009 Consider the simple Lie algebra g of type D 4 over an algebraically closed field K of characteristic p > h = 6 (the Coxeter number). In particular, p is a good prime. We have dim

More information

A NEW EXAMPLE OF HILBERT MODULAR FOLIATIONS. The image of that morphism is a discrete subgroup of PSL 2 (R) 2. We call it Γ d.

A NEW EXAMPLE OF HILBERT MODULAR FOLIATIONS. The image of that morphism is a discrete subgroup of PSL 2 (R) 2. We call it Γ d. A NEW EXAMPLE OF HILBERT MODULAR FOLIATIONS GAËL COUSIN 1. Hilbert modular foliations 1.1. The Group. Let K = Q( d), for a positive squarefree integer d. Let O K be the ring of integers of K. The field

More information

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.

EXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients. EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is

More information

Topological String Partition Functions as Polynomials

Topological String Partition Functions as Polynomials hep-th/0406078 Topological String Partition Functions as Polynomials arxiv:hep-th/0406078v1 9 Jun 2004 Satoshi Yamaguchi and Shing-Tung Yau yamaguch@math.harvard.edu, yau@math.harvard.edu Harvard University,

More information

Ursula Whitcher May 2011

Ursula Whitcher May 2011 K3 Surfaces with S 4 Symmetry Ursula Whitcher ursula@math.hmc.edu Harvey Mudd College May 2011 Dagan Karp (HMC) Jacob Lewis (Universität Wien) Daniel Moore (HMC 11) Dmitri Skjorshammer (HMC 11) Ursula

More information

Refined Donaldson-Thomas theory and Nekrasov s formula

Refined Donaldson-Thomas theory and Nekrasov s formula Refined Donaldson-Thomas theory and Nekrasov s formula Balázs Szendrői, University of Oxford Maths of String and Gauge Theory, City University and King s College London 3-5 May 2012 Geometric engineering

More information

On the equality case of the Ramanujan Conjecture for Hilbert modular forms

On the equality case of the Ramanujan Conjecture for Hilbert modular forms On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits

More information

Geometric motivic integration

Geometric motivic integration Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex

More information

SOME MONODROMY GROUPS OF FINITE INDEX IN Sp 4 (Z)

SOME MONODROMY GROUPS OF FINITE INDEX IN Sp 4 (Z) J. Aust. Math. Soc. 99 (5) 8 6 doi:.7/s678875 SOME MONODROMY GROUPS OF FINITE INDEX IN Sp (Z) JÖRG HOFMANN and DUCO VAN STRATEN (Received 6 January ; accepted June ; first published online March 5) Communicated

More information

HODGE THEORY, SINGULARITIES AND D-MODULES

HODGE THEORY, SINGULARITIES AND D-MODULES Claude Sabbah HODGE THEORY, SINGULARITIES AND D-MODULES LECTURE NOTES (CIRM, LUMINY, MARCH 2007) C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau

More information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015 The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over

More information

Knot Homology from Refined Chern-Simons Theory

Knot Homology from Refined Chern-Simons Theory Knot Homology from Refined Chern-Simons Theory Mina Aganagic UC Berkeley Based on work with Shamil Shakirov arxiv: 1105.5117 1 the knot invariant Witten explained in 88 that J(K, q) constructed by Jones

More information

RESEARCH STATEMENT FEI XU

RESEARCH STATEMENT FEI XU RESEARCH STATEMENT FEI XU. Introduction Recall that a variety is said to be rational if it is birational to P n. For many years, mathematicians have worked on the rationality of smooth complete intersections,

More information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A Version of the Grothendieck Conjecture for p-adic Local Fields A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture

More information

Nodal symplectic spheres in CP 2 with positive self intersection

Nodal symplectic spheres in CP 2 with positive self intersection Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic

More information

COUNTING ELLIPTIC PLANE CURVES

COUNTING ELLIPTIC PLANE CURVES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 12, December 1997, Pages 3471 3479 S 0002-9939(97)04136-1 COUNTING ELLIPTIC PLANE CURVES WITH FIXED j-invariant RAHUL PANDHARIPANDE (Communicated

More information

Hodge Structures. October 8, A few examples of symmetric spaces

Hodge Structures. October 8, A few examples of symmetric spaces Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H

More information

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool

Complex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving

More information

Dyon degeneracies from Mathieu moonshine

Dyon degeneracies from Mathieu moonshine Prepared for submission to JHEP Dyon degeneracies from Mathieu moonshine arxiv:1704.00434v2 [hep-th] 15 Jun 2017 Aradhita Chattopadhyaya, Justin R. David Centre for High Energy Physics, Indian Institute

More information

Characteristic classes in the Chow ring

Characteristic classes in the Chow ring arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

More information

Pseudoholomorphic Curves and Mirror Symmetry

Pseudoholomorphic Curves and Mirror Symmetry Pseudoholomorphic Curves and Mirror Symmetry Santiago Canez February 14, 2006 Abstract This survey article was written for Prof. Alan Weinstein s Symplectic Geometry (Math 242) course at UC Berkeley in

More information

QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE

QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE Math. J. Okayama Univ. 47 2005 85 97 QUADRATIC TWISTS OF AN ELLIPTIC CURVE AND MAPS FROM A HYPERELLIPTIC CURVE Masato KUWATA Abstract. For an elliptic curve E over a number field k we look for a polynomial

More information

Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds

Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds Self-intersections of Closed Parametrized Minimal Surfaces in Generic Riemannian Manifolds John Douglas Moore Department of Mathematics University of California Santa Barbara, CA, USA 93106 e-mail: moore@math.ucsb.edu

More information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be

More information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

Constructing compact 8-manifolds with holonomy Spin(7)

Constructing compact 8-manifolds with holonomy Spin(7) Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.

More information

Elements of Topological M-Theory

Elements of Topological M-Theory Elements of Topological M-Theory (with R. Dijkgraaf, S. Gukov, C. Vafa) Andrew Neitzke March 2005 Preface The topological string on a Calabi-Yau threefold X is (loosely speaking) an integrable spine of

More information

Refined Chern-Simons Theory, Topological Strings and Knot Homology

Refined Chern-Simons Theory, Topological Strings and Knot Homology Refined Chern-Simons Theory, Topological Strings and Knot Homology Based on work with Shamil Shakirov, and followup work with Kevin Scheaffer arxiv: 1105.5117 arxiv: 1202.4456 Chern-Simons theory played

More information

The kappa function. [ a b. c d

The kappa function. [ a b. c d The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion

More information

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109

An introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups

More information

Cohomology jump loci of quasi-projective varieties

Cohomology jump loci of quasi-projective varieties Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)

More information

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM

LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM Proceedings of the Edinburgh Mathematical Society Submitted Paper Paper 14 June 2011 LIMITING CASES OF BOARDMAN S FIVE HALVES THEOREM MICHAEL C. CRABB AND PEDRO L. Q. PERGHER Institute of Mathematics,

More information

Symmetries of K3 sigma models

Symmetries of K3 sigma models Symmetries of K3 sigma models Matthias Gaberdiel ETH Zürich LMS Symposium New Moonshines, Mock Modular Forms and String Theory Durham, 5 August 2015 K3 sigma models Consider CFT sigma model with target

More information

A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY

A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY Actes, Congrès intern, math., 1970. Tome 1, p. 113 à 119. A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY by PHILLIP A. GRIFFITHS 1. Introduction and an example from curves. It is well known that the basic

More information

VARIATION OF HODGE STRUCTURES, FROBENIUS MANIFOLDS AND GAUGE THEORY

VARIATION OF HODGE STRUCTURES, FROBENIUS MANIFOLDS AND GAUGE THEORY VARIATION OF HODGE STRUCTURES, FROBENIUS MANIFOLDS AND GAUGE THEORY SI LI ABSTRACT. We explain the homological relation between the Frobenius structure on the deformation space of Calabi-Yau manifold and

More information

Homological Mirror Symmetry and VGIT

Homological Mirror Symmetry and VGIT Homological Mirror Symmetry and VGIT University of Vienna January 24, 2013 Attributions Based on joint work with M. Ballard (U. Wisconsin) and Ludmil Katzarkov (U. Miami and U. Vienna). Slides available

More information