arxiv:math/ v1 [math.ag] 28 Jun 1999

Transcription

1 arxiv:math/ v1 [math.ag] 8 Jun 1999 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS AND JACOBI AND SIEGEL MODULAR FORMS V. Gritsenko 1 Abstract. In the paper we study two types of relations: a one is between the elliptic genus of Calabi Yau manifolds and Jacobi modular forms, another one is between the second quantized elliptic genus, Siegel modular forms and Lorentzian Kac Moody Lie algebras. We also determine the structure of the graded ring of the weak Jacobi forms with integral Fourier coefficients. It gives us a number of applications to the theory of elliptic genus and of the second quantized elliptic genus. Introduction For a compact complex manifold one can define its elliptic genus as a function in two complex variables. If the first Chern class c 1 (M of the complex manifold is equal to zero in H (M, R, then the elliptic genus is an automorphic form in variables τ H 1 (H 1 is the upper-half plane and z C. More exactly, it is a Jacobi modular form with integral Fourier coefficients of weight 0 and index d/, where d =dim C (M. The q 0 -term of the Fourier expansion (q = e πiτ of the elliptic genus is essentially equal to the Hirzebruch χ y -genus. Thus we can analyze the arithmetic properties of the χ y -genus of the Calabi Yau manifolds and its special values such as signature (y = 1 and Euler number (y = 1 in terms of Jacobi modular forms. The famous Rokhlin theorem about divisibility by 16 of the signature of a compact, oriented, differentiable spin manifold of dimension 4 was one of the starting points of the theory of elliptic genera. Ochanine generalized this Rokhlin result to the manifolds of dim R M 4 mod 8. One can find an elegant proof the Ochanine s theorem using modular forms in one variable with respect to Γ 0 ( in the lectures of Hirzebruch [HBJ, Chapter 8]. In this paper we study the Z-structure of the graded ring J0, Z = m 1J0,m Z of all weak Jacobi forms with integral Fourier coefficients (Theorem 1.9. We prove that this ring has four generators J0, Z = Z[φ 0,1, φ 0,, φ 0,3, φ 0,4 ] where φ 0,1,..., φ 0,4 are some fundamental Jacobi forms related to Calabi Yau manifolds of dimension d =, 3, 4, 8. We consider some applications of this result to Calabi Yau manifolds. Properties of the signature (i.e. the value of χ y -genus at y = 1 modulo some powers of are well known (see (.8. We analyze properties of the value of the elliptic 1 Supported by Max-Planck-Institut für Mathematik in Bonn 1

2 V. GRITSENKO genus and the Hirzebruch χ y -genus at y = 1, y = ζ 3 = e πi/3 and y = i. For example, we prove that the Euler number of a Calabi-Yau manifold M d of dimension d satisfies (see Proposition.4 and e(m d 0 mod 8 if d mod 8 χ y=ζ3 (M d 0 mod 9 if d mod 6 (see Proposition.5 for details. The same Jacobi forms φ 0,1,..., φ 0,4 are generating functions for the multiplicities of all positive roots of the four generalized Lorentzian Kac Moody Lie algebras of Borcherds type constructed in [GN1 GN4]. In 3 we show that the second quantized elliptic genus (introduced by R. Dijkgraaf, E. Verlinde and H. Verlinde in [DVV] of an arbitrary Calabi Yau manifolds of dimension 4 and 6 can be written as a product of some powers of the denominator functions of the Lorentzian Kac Moody algebras constructed in [GN4]. The results of this paper were presented at the seminar of Prof. Y. Manin and at the seminar Arithmetic Lunch of MPI in Bonn in the spring semester of The author is grateful to Max-Planck-Institut für Mathematik for hospitality. 1. Elliptic genus and weak Jacobi forms Let M be a compact complex manifold of complex dimension d and T M be the holomorphic tangent bundle of M. One defines the formal power series E q,y = n 0 y 1 q nt M n 1 yq nt M n 1 S q n(t M T M where k and S k denote the k-th exterior product and k-th symmetric tensor product respectively and TM denotes the dual bundle. The elliptic genus of the complex manifold is the holomorphic Euler characteristic of this formal power series with vector bundle coefficients. This definition is standard in physical literature (see, for example, [W], [EOTY], [KYY], [AYS], [D]. Definition. The elliptic genus of M is defined as follows χ(m; τ, z := y d M ch(e q,y td(m (1.1 where td(m is the Todd class of M. One applies the Chern character in ch(e q,y to all coefficients of E q,y and the integral denotes the evaluation of the top degree differential M form on the fundamental cycle of the manifold. One can consider this definition as a limit case of the level N elliptic genus of Hirzebruch (see [H], [HBJ], [K], [Hö]. See also 3 for a physical definition. The coefficient f(m, l of the elliptic genus χ(m; τ, z = f(n, lq n y l n 0,l

3 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 3 is equal to the index of the Dirac operator (see, for example, [HBJ, Appendix II] twisted with the vector bundle E m,l d, where E q,y = m, n E m,n q m y n. In particular all coefficients of the elliptic genus are integral. According to the Riemann Roch Hirzebruch theorem one can see that the q 0 -term of χ(m; τ, z is essentially the Hirzebruch χ y -genus of the manifold M: ( d+1 q p= 1 χ(m; τ, z = d ( 1 p χ p (M y d p + (1. p=0 ( 1 p y p( χ p (M, T M χ p 1(M, T M + χ p(m, T M χ p+1 (M, T M +... where χ(m, E = d q=0 ( 1q dimh q (M, E and χ p (M, E = χ(m, p TM E or, for a Kähler manifold, χ p (M = q ( 1q h p,q (M. It turns out that the elliptic genus of a Calabi Yau d-fold is a weak Jacobi form of weight zero and index d/. The Jacobi modular forms are modular forms with respect to the Jacobi group or in other words with respect to a parabolic subgroup of the integral symplectic group. In this paper we consider the Jacobi forms with respect to a maximal parabolic subgroup Γ Sp (Z, which consists of all element preserving an isotropic line. The Jacobi group Γ J := Γ /{±E 4 } = SL (Z H(Z. is the semi-direct product of SL (Z and the integral Heisenberg group H(Z which is the central extension of Z Z. The binary character v H ([λ, µ; κ] := ( 1 λ+µ+λµ+κ can be extended to a binary character v J of the Jacobi group if we put v J SL (Z = 1. In this paper we use Jacobi forms of integral or half integral index. Definition. A holomorphic function φ(τ, z on H 1 C is called a weak Jacobi form of weight k Z/ and index t Z/ with respect to the Jacobi group Γ J if the function φ(z := φ(τ, z exp(πitω on the Siegel upper half-plane H = {Z = ( τ z z ω M 4 (C, Im(Z > 0} is a Γ J -modular form of weight k with character (or multiplier system vj t, i.e., if it satisfies the functional equations φ( aτ + b cτ + d, z cτ + d = (cτ + dk e πitcz /(cτ+d φ(τ, z (( a b SL c d (Z (1.3a and φ(τ, z + λτ + µ = ( 1 t(λ+µ e πit(λ τ+λz φ(τ, z (λ, µ Z. (1.3b and it has the Fourier expansion of the type φ(τ, z = f(n, l exp(πi(nτ + lz. n 0, l t+z We denote the space of all weak Jacobi forms of weight k and index t by J k,t. If the Fourier coefficients satisfy f(n, l = 0 unless 4tn l 0, then φ is holomorphic at infinity. We call such Jacobi forms holomorphic Jacobi forms. Weak Jacobi forms of integral index were firstly defined in [EZ]. The main advantage of this notion is that J k,t is still finite dimensional and the graded ring of all weak Jacobi forms is finitely generated (over C. In [EZ] only Jacobi forms of integral index were considered. In the next example we define the main week Jacobi forms of half-integral index (see Lemma 1.4 bellow.

4 4 V. GRITSENKO Example 1.1. Weak Jacobi forms φ 0, 3 and φ 1, 1. Let us define a Jacobi theta-series ϑ(τ, z = n 1 mod ( 1 n 1 πi n exp ( 4 τ + πi nz = m Z ( 4 q m /8 y m/ m = q 1/8 y 1/ n 1 (1 q n 1 y(1 q n y 1 (1 q n (1.4 where we use the formal variables q = e πiτ, y = e πiz. This is a holomorphic Jacobi form of weight 1/ and index 1/ with multiplier system v 3 η v H (v η is the multipier system of the Dedekind eta-function η(τ. One can check that ϑ(τ, z φ 0, 3 (τ, z = ϑ(τ, z = y 1 n 1 (1 + q n 1 y(1 + q n y 1 (1 q n 1 y (1 q n 1 y J 0, 3 ϑ(τ, z φ 1, 1 (τ, z = η(τ = 3 y 1/ (1 q n 1 y(1 q n y 1 (1 q n J 1, 1 n 1 are weak Jacobi forms with integral Fourier coefficients. The next proposition is well-known in physical literature (see [KMY], [AYS]. See also [Hö] where another normalization for the elliptic genus function was used. Proposition 1.. If M d is a compact complex manifold of dimension d with c 1 (M = 0 (over R, then its elliptic genus χ(m d ; q, y is a weak Jacobi form of weight 0 and index d/. Proof. For the convenience of the readers we give here a proof which is similar to the proof of the modular behavior of the level N elliptic genus (see [H] and [HBJ, Appendix III]. Let us represent χ(m; τ, z in terms of the theta-series. Let c i (T M H i (M, Z be the Chern class of T M and let c(t M and ch(t M be the total Chern class and the Chern character of M and x i = πiξ i (1 i d be the formal Chern parameters of T M : We recall that Then we have Therefore c(t M = r c i (T M = i=0 r (1 + x i, ch(t M = i=1 ch ( r E = (1 + te x i, ch (S t E = t i=1 ch (E q,y td(t M = d i=1 n=1 Φ(τ, z, ξ 1,..., ξ d = y d/ ch (E q,y td(t M = r i=1 r e x i. i=1 1 1 te x i. (1 q n 1 y 1 e x i (1 q n ye x i (1 q n 1 e x i (1 qn ye x i x i. d i=1 ϑ(τ, z + ξ i (πiξ i ϑ(τ, ξ i

5 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 5 is holomorphic function in τ, z and ξ i. (We recall that ϑ(τ, z has zero of order 1 along z = 0. For arbitrary γ = SL (Z one has ( a b c d ϑ(γ < τ >, z+ξ i cτ+d ξ ϑ(γ < τ >, i cτ+d = eπic(z +zξ i /(cτ+d ϑ(τ, z + ξ i. ϑ(τ, ξ i Thus Φ(τ, z, ξ 1,..., ξ d transforms like a Jacobi form of weight d (due to d factors ξ i after the quotient of the theta-series and index d if c 1(M = x x d = 0 (over R!. Therefore the coefficient of arbitrary monom ξ n ξ n d d of total degree d in the Taylor expansion of Φ(τ, z, ξ 1,..., ξ d with respect to ξ i is a weak Jacobi form of weight 0 and index d. It follows that after integration over M one gets a Jacobi form of weight zero and index d/. The claim that the elliptic genus does not contain Fourier coefficients with negative powers of q follows directly from the definition (1.1. Remark. The definition (1.1 has sense and Proposition 1. is still true for arbitrary compact manifold with a Spin c -structure. Moreover one can give a similar definition for an arbitrary complex vector bundle E with c 1 (E = 0. A generalization of this staff for vector bundles with c 1 (E 0 see in [G]. Example 1.3. Elliptic genus of Enriques and K3 surfaces. Let us consider the case of a complex surface M with c 1 (M = 0. Then where χ(m ; τ, z J 0,1 = C φ 0,1 (τ, z φ 0,1 (τ, z = (y y 1 + q(10y 64y y + 10y + q (... (1.5 is the unique, up to a constant, weak Jacobi form of weight 0 and index 1. The value of arbitrary weak Jacobi form of weight 0 at z = 0 is a holomorphic SL (Z-modular form of weight 0, i.e. it is a constant. According (1. χ(m d ; τ, 0 = d ( 1 p χ p (M = e(m d (1.6 p=0 is the Euler number of M d. Therefore we have χ(enriques; τ, z = φ 0,1 (τ, z, χ(k3; τ, z = φ 0,1 (τ, z for arbitrary Enriques and K3 surfaces. The structure of the bigraded algebra over C of all Jacobi forms of integral index was determined in [EZ]. We describe the structure of the graded Z-algebra of all Jacobi forms of weight zero with integral Fourier coefficients. Firstly we show how the weak Jacobi forms of integral and half-integral indices are related.

6 6 V. GRITSENKO Lemma 1.4. Let m be integral, then we have for the weak Jacobi forms where φ 0, 3 and φ 1, 1 J k,m+ 1 = φ 0, 3 J k,m 1, J k+1,m+ 1 = φ 1, 1 J k+,m are defined in Example 1.1. Proof. From the functional equation (1.3b one has div(φ k,m+ 1 {z 1, τ, τ + 1 mod Zτ + Z}, div(φ k+1,m+ 1 {Zτ + Z}. Thus any Jacobi form of half-integral index and even (resp. odd weight is divisible by φ 0, 3 (resp. φ 1, 1. Example 1.5. Calabi Yau 3-folds and 5-folds. Let c 1 (M 3 = 0 and c 1 (M 5 = 0. From Lemma 1.4 it follows that Thus J 0, 3 = C φ 0, 3, J 0, 4 = C φ 0, 3 3 φ 0,1. χ(m 3 ; q, y = e(m 3 [ (y 1/ + y 1/ + q( y 5/ + y 1/ + y 1/ y 5/ + q (... ], χ(m 5 ; q, y = e(m 5 [ ] (y ± y ± 1 + q( y ± q ( 11y ± (y ±l means that we have two summands with y l and y l respectively. As a simple corollary we have that the Euler characteristic of an arbitrary Calabi Yau 5-fold is divisible by 4 and χ 1 (CY 5 = 1 4 e(cy 5, χ (CY 5 = 11 4 e(cy 5. In particular, for the Hodge numbers of an arbitrary strict Calabi Yau 5-fold we have 11(h 1,1 h 1,4 = h, h,3 + 10(h,1 h 3,1. To calculate the elliptic genus of a Calabi Yau manifold of even dimension we introduce some other basic Jacobi forms. Let us denote by J Z 0,m the Z-module of all weak Jacobi forms of weight 0 and index m with integral Fourier coefficients. We consider the graded ring J Z 0, = m Z 0 J Z 0,m of all Jacobi forms of integral index with integral Fourier coefficients and its ideal J0, Z (q = {φ JZ 0, φ(τ, z = of the Jacobi forms without q 0 -term. n 1, l Z a(n, lq n y l }

7 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 7 Lemma 1.6. The ideal J0, Z (q is principal. It is generated by a weak Jacobi form of weight 0 and index 6 ξ 0,6 (τ, z = (τφ 1, 1 (τ, z1 = ϑ(τ, z1 η(τ 1 = q(y 1 y q (.... Proof. Let ψ J k,m be an arbitrary Jacobi form. The product Ψ(τ, z = exp ( 8π mg (τz ψ(τ, z transforms like a SL (Z-modular form of weight k. We recall that G (τ = n=1 σ 1(n q n is a quasi-modular form of weight, i.e. it satisfies G (γ < τ > = (cτ + d G (τ c(cτ + d. 4πi Thus we have Ψ( aτ+b Taylor expansion cτ+d, z cτ+d = (cτ + dk Ψ(τ, z. Therefore the coefficients f n (τ in the Ψ(τ, z = n Zf n (τz n (1.7 are SL (Z-modular forms of weight k +n. If ψ J Z 0,m (q has no q0 -term, then f n (τ is a cusp form of weight n. Thus n 6 and ψ(τ, z has zero of order at least 1 along z = 0. Therefore ψ(τ, z/ξ 0,6 (τ, z is holomorphic on H 1 C. Corollary 1.7. A weak Jacobi form of weight 0 is uniquely determined by its q 0 -term if its index is less than 6 or equal to 13. Example 1.8. Calabi Yau manifolds of dimension 4, 6, 8 and 10. The last corollary shows us that for these values of dimension of a Calabi Yau manifold M d one can define the elliptic genus of M d if one knows its Hirzebruch χ y -genus. In [GN1 GN4] we used the following important Jacobi forms of small index φ 0, (τ, z = 1 η(τ 4 m,n Z ( ( 4 1 (3m n q 3m +n 4 y m+n m n = (y y 1 + q(y ±3 8y ± y ± q (..., (1.8 φ 0,3 (τ, z = φ 0, 3 (τ, z = (y + + y 1 + q( y ±3 y ± + y ± q (..., φ 0,4 (τ, z = ϑ(τ, 3z ϑ(τ, z = (y y 1 q(y ±4 + y ±3 y ±1 + q (.... (1.9 Using these Jacobi forms together with φ 0,1 (see (1.5 one can construct a basic of the module of the weak Jacobi forms of weight 0 and index, 3, 4 and 5 and to write a formula

8 8 V. GRITSENKO for the elliptic genus of M d in terms of the cohomological invariants χ p (M d : ψ (1 0, = φ 0, = y y 1 + q(... ψ ( 0, = φ 0,1 0φ 0, = (y + + y + q(... ψ (1 0,3 = φ 0,3 = φ 0, 3 = y + + y 1 + q(... ψ ( 0,3 = φ 0,1φ 0, 15φ 0,3 = (y ± y ± q(... (1.10 ψ (3 0,3 = φ3 0,1 30φ 0,1φ 0, + 117ψ 0,3 = ψ 0,1 T (3 3φ 0,1 = (y ± q(... ψ (1 0,4 = φ 0,4 = y y 1 + q(... ψ ( 0,4 = φ 0,1φ 0,3 1φ 0,4 = (y ± q(... (1.11 ψ (3 0,4 = φ 0,ψ ( 0, 4ψ( 0,4 4φ 0,4 = (y ±3 y ± q(... ψ (4 0,4 = ψ( 0, T ( φ ( 0,4 = (y± q(..., where T (m is the standard Hecke operator ( φ 0,t T (m (τ, z = n,l f m(n, lq n y l with f m (N, L = m a (N,L,m a 1 f( Nm a, L a. Fourier coefficient f(n, l of a weak Jacobi form of weight 0 and index t depends only on the norm 4nt l of its index and ±l mod t. For every Jacobi form written above its q 0 -term contains all orbits of non-zero Fourier coefficients with negative norm 4nt l of its index. This fact will be important in 3 bellow. For d = 10 the situation is a little bit more complicated. After some calculation we obtain the following Jacobi forms ψ (1 0,5 = 5y + + 5y 1 + q( y ψ ( 0,5 = (y± + y ± q(y ψ (3 0,5 = (y±3 + y ± q(... (1.1 ψ (4 0,5 = (y±4 y ± q( 3y ψ (5 0,5 = (y± q(... where we include in the formulae all orbits of non-zero Fourier coefficients with negative norm 0n l. One knows (see [EZ] that dim J 0,m = m for m = 1,, 3, 4 and 5. Thus the functions ψ (p 0,m constructed above (1 p m form a basis of JZ 0,m. Thus for d =, 4, 6, 8, 10 we can represent the elliptic genus of a compact complex manifold M d with c 1 (M d = 0 as a linear combination d χ(m d ; τ, z = p=0 χ p (M d ψ ( d p (τ, z + cψ (1 (τ, z 0, d 0, d with c Z. In particular, the coefficients χ p of the Hirzebruch y-genus of the manifold M d satisfy the following relations χ = χ 0 4χ 1 χ 3 = 34χ 0 14χ 1 + χ χ 4 = 46χ 0 5χ χ χ 3 and e(m 4 0 mod 6 ( for CY 4 and e(m 6 0 mod 4 ( for CY 6 and e(m 8 0 mod 3 ( for CY 8. (1.13

9 For a Calabi Yau 10-fold we have ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 9 χ 5 = 58χ 0 36χ 1 + 0χ 8χ (χ 4 + χ 3 χ χ 1. We note that for dimension d 1 (d 13 an additional term cξ 0,6 could appear in the formula for the elliptic genus. The odd dimensions d = 7, 9, 11 and 13 are related to the even dimensions considered above by the factor φ 0,3/. For example, χ(m 7 ; τ, z = χ (M 7 φ 0, 3 φ 0, χ 1 (M 7 φ 0, 3 ψ( 0,, e(m 7 = 1(χ 4χ 1 0 mod 1. These examples show us that information about Jacobi forms provides some information about Calabi Yau manifolds. In the next theorem we construct a basis of the module J Z 0,m and we find generators of the graded ring J 0,. Theorem Let m be a positive integer. The module J0,m/J Z 0,m(q Z = Z[ψ (1 0,m,..., ψ(m 0,m ] is a free Z-module of rank m. Moreover there is a basis consists of ψ (n 0,m (1 n m with the following q 0 -term [ψ (n 0,m ] q 0 = yn + + y n (3 n m [ψ ( 0,m ] q 0 = y 4y + 6 4y 1 + y [ψ (1 0,m ] q 0 = 1 (1, m ( my + (1 m + my 1 where (1, m is the greatest common divisor of 1 and m.. The graded ring of all weak Jacobi forms of weight 0 with integral coefficients is finitely generated J0, Z = J0,m Z = Z[φ 0,1, φ 0,, φ 0,3, φ 0,4 ] m where the corresponding Jacobi forms are defined in (1.8 (1.9. φ 0,1, φ 0,, φ 0,3 are algebraicly independent and 4φ 0,4 = φ 0,1 φ 0,3 φ 0,. To prove Theorem 1.9 we need Lemma For arbitrary weak Jacobi form φ 0,m = n,l f(n, lqn y l the following identities are valid m l f(0, l = 6 l l f(0, l, 4m l f(0, l = n (m 6n f(1, n. Proof. We consider the Taylor expansion (1.7 exp ( 8π mg (τz φ 0,m (τ, z = f 0 + n 1 f n (τz n

10 10 V. GRITSENKO where f n (τ is a SL (Z-modular form of weight n. Thus f (τ 0. The left hand side of the identities of the lemma are equal to the first two coefficients of f (τ. This proves the lemma. We remark that one can continue the list of similar identities calculating the second, third,... coefficients of f (τ. Using (1. we get if c 1 (M = 0 over R. e(md 1 = p ( 1 p χ p (M( d p (1.14 Remark. Identity (1.14 was rediscovered several times in the mathematical and physical literature. See, for example, [LW], [S] for a proof based on the Riemann Roch Hirzebruch formula and [AYS] where (1.14 is related to the sum rule for the charges in N = superconformal field theory. Lemma 1.11 provides us with an automorphic proof of (1.14 (see [GN3, Lemma.] for a more general statement. Proof of Theorem 1.9. For a weak Jacobi form the polynom [φ] q 0 is of order not greater than m (see [EZ]. It can not be a constant according to the first identity of Lemma Moreover if [φ] q 0 is linear, i.e. [φ] q 0 = ay + b + ay 1 m, then a is divisible by (m,1. It follows that m Jacobi forms of type dicribed in the first statement of the theorem, if they would exist, form a basis of the module J0,m/J Z 0,m(q. Z Let us construct a basis by induction. For m = 1,, 3, 4, 6, 8, 1 we set ψ (1 0,m = φ 0,m where φ 0,1,..., φ 0,4 were defined above and φ 0,6 (τ, z = φ 0, φ 0,4 φ 0,3 = (y + y 1 + q(..., φ 0,8 (τ, z = φ 0, φ 0,6 φ 0,4 = (y 1 + y 1 + q(..., φ 0,1 (τ, z = φ 0,4 φ 0,8 φ 0,6 = (y 1 + y 1 + q(.... Now we can define the weak Jacobi forms ψ (1 0,m using the following procedure. (We omit the weight 0 bellow to simplify the notation. Let m 5. We set ψ m,i = ψ m 4 φ 4 + ψ m φ ψ m 3 φ 3 = my ±1 + (1 m + q(... where by definition ψ m := (1, mψ (1 m. We can take ψ m,i as ψ (1 m if m is coprime with 1. If m 0 mod and m 6 we can define a form ψ m,ii = 1 ψ m,i with integral Fourier coefficients. If m 0 mod 3 and m 9 we define ψ m,iii = 3 ψ m 3 φ ψ m 6 φ 6 ψ m 4 φ 4 = m 3 y±1 + (4 m 3 + q(.... For m 0 mod 4 and m > 1 we take ψ m,iv = 1 4 [ ψ m 1 φ 1 + ψ m 4 φ 4 ψ m 8 φ 8 ] = m 4 y±1 + (3 m + q(.... In the remain cases m 0 mod 6 and m 0 mod 1 (m > 1 we put ψ m,v I = 1 ψ m,iii = m 6 y±1 + ( m + q(..., 3 ψ m,xii = 3 ψ m 3 φ 3 1 ψ m 4 φ ψ m 6 φ ψ m 1 φ 1 = m 1 y±1 + 6 m + q(.... 6

11 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 11 Thus we finish the construction of functions ψ (1 m if we put ψ (1 m := ψ m,d for (m, 1 = D. Next we construct ψ ( m. We put and ψ ( 0,m = ψ 0,m 3 φ 0,3 ψ 0,m 4 φ 0,4 ψ 0,m (m 5 ψ ( 0, = φ 0,1 4φ 0,, ψ ( 0,3 = φ 0,1φ 0, 18φ 0,3, ψ ( 0,4 = φ 0,1φ 0,3 16φ 0,4. One can see that these forms have the q 0 -term equal to y 4y + 6 4y 1 + y. For 3 n m one can use φ 0,3 and the forms φ (n 1 0,m 3 in order to construct φ(n 0,m. To finish the proof of the first statement of the theorem we put φ (m 1 0,m = φm 0,1 φ 0,, φ (m 0,m = φm 0,1. We note that each function of the basis {ψ m (n } m n=1 of the module JZ 0,m /JZ 0,m (q constructed above is a polynom in the basic Jacobi forms φ 0,1,..., φ 0,4. The torsion relation 4φ 0,4 = φ 0,1 φ 0,3 φ 0, follows from Corollary 1.7. The form ξ 0,6 generating the principle ideal J0, Z (q is also a polynom in φ 0,1,..., φ 0,4 : ξ 0,6 = φ 0,1 φ 0,4 + 9φ 0,1 φ 0, φ 0,3 8φ 3 0, 7φ 0,3. (1.15 (To prove the last formula one needs to check that the q-constant term of the write hand side is zero and to compair coefficients at the first power q. Let us prove that φ 0,1, φ 0, and φ 0,3 are algebraicly independent. For this end we consider its values at z = 1. We have φ 0, (τ, 1, φ 0,3(τ, 1 0, φ 0,4(τ, 1 1. (The two last identities follow from definition and the first one is a corollary of the torsion relation. The restriction of φ 0,1 (τ, 1 = α(τ = q + 11 q q q q (1.16 is a modular function with respect to Γ 0 ( with a character of order (see. The square of this function is, up to factor 1, the Hauptmodul for the congruence subgroup group Γ 0 (. Since only one function obtained from the Jacobi forms of different indices is a non-constant function for z = 1/, then they are algebraicly independent.. Special values of the elliptic genus In this section we analyze the value of the elliptic genus at the following special points z = 0 (Euler number, z = 1 τ+1 (signature, z = (Â-genus and z = 1 3, 1 4, 1 6. For this end we have to study the restriction of the main generators of the graded ring of the integral week Jacobi forms. A special value of a Jacobi form is a modular form in τ. In the next lemma we give a little more precise statement than in [EZ, Theorem 1.3].

12 1 V. GRITSENKO Lemma.1. Let φ J 0,t (t Z/ and X = (λ, µ Q. Then φ X (τ, 0 = φ(τ, λτ + µ exp(πit(λ τ + λµ is an automorphic form of weight 0 with a character with respect to the subgroup Γ X = {M SL (Z XM X Z }. Let us consider some particular examples which we need in this section. Example.. Let X = (0, 1. Then N ( Γ X = Γ (1 a b 0 {M (N = = SL c d (Z M If t is integer, then the character of the function φ X (τ, 0 = φ(τ, 1 N is given by v(m = exp( πitc/n and it has has order ( N (t,n. } mod N. It is easy to see that if φ Jk,m Z with integral m, then the form φ(τ, 1 still has integral N Fourier coefficients if N = 1,..., 6. In particular, the value of ξ 6 (τ, z at these points is related to the Hauptmodule for the corresponding group Γ 0 (N: ξ 6 (τ, 1 = 1 (τ (τ, ξ 6 (τ, 1 3 = 36 ( (3τ (τ 1/, ξ 6 (τ, 1 ( 1/ (4τ 4 = 6, (τ ξ 6 (τ, 1 6 = ( (τ (6τ (τ (3τ 1/. (.1 Let us analyze the corresponding values of the four generators φ 0,n of the graded ring J Z 0,. From the definition (see (1.8 (1.9 and the identity 4φ 0,4 = φ 0,1 φ 0,3 φ 0, we obtain φ 0,1 (τ, 0 = 1, φ 0, (τ, 0 = 6, φ 0,3 (τ, 0 = 4, φ 0,4 (τ, 0 = 3 (. and φ 0,1 (τ, 1 = α(τ φ 0,1 (τ, 1 3 = β (τ φ 0,1 (τ, 1 4 = γ(τ4 + 4 γ(τ φ 0, (τ, 1 = φ 0,3 (τ, 1 = 0 φ 0, (τ, 1 3 = β(τ φ 0,3 (τ, 1 3 = 1 φ 0, (τ, 1 4 = 4γ (τ φ 0,3 (τ, 1 4 = γ(τ (.3 φ 0,4 (τ, 1 = 1 φ 0,4 (τ, 1 3 = 0 φ 0,4 (τ, 1 4 = 1. The automorphic functions α(τ, β(τ and γ(τ are automorphic forms of weight 0 with respect to the group Γ 0 (, Γ (1 0 (3 and Γ(1 0 (4 respectively. These functions have integral

13 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 13 Fourier coefficients. The identity (1.15 gives us the following relations for the modular forms α, β and γ 1 (τ (τ = α(τ 64, ( (4τ (τ ( 1/ (3τ = β(τ 3 7 (τ 1/ ( ( γ(τ = 4(. γ(τ It follows that α(τ 8 0 mod 8, β(τ 3 0 mod 3 3 (.4 (compare with (1.16. Using the definition of φ 0,3 and γ(τ and the relations between the Jacobi theta-series ϑ ab of level we have Using Corollary 1.7 we check that Thus γ(τ = ϑ 00(τ ϑ 01 (τ = ϑ 00(τ, 0 ϑ 01 (τ, 0. (.5 φ 0,1 (τ, z = φ 0, (τ, z 8φ 0,4(τ, z. α(τ = 16γ(τ 4 8 = 16 ϑ4 00 (τ ϑ 4 8. (.6 01 (τ In particular all Fourier coefficients of γ(τ and α(τ are positive. In connection with (.5 (.6 we note that one can write the generators of the graded ring as symmetric polynomials in ξ ab (τ, z = ϑ ab (τ, z/ϑ ab (τ, 0: φ 0,1 = 4(ξ 00 + ξ 10 + ξ 01, φ 0, 3 = 4ξ 00ξ 10 ξ 01 φ 0, = ( (ξ 00 ξ 10 + (ξ 00 ξ 01 + (ξ 10 ξ 01. (.7 To check these formulae one can use Corollary 1.7 and the fact that the generators of modular group transform ξ ab to each other. Example.3. Let X = ( 1 N, 1 N. Then Γ X contains the principle congruence subgroup Γ 1 (N. In some cases Γ X will be strictly larger. For example, if X = ( 1, 1, then φ X (τ, 0 = φ(τ, τ + 1 exp( πi (τ + 1 is an automorphic form with respect of the so-called theta-group Γ θ = { ( a b M = SL c d (Z M ( or ( } mod.

14 14 V. GRITSENKO The corresponding character is given by ǫ (M = exp(πim(d + b a c/4 = ±1. This character is trivial if the index m of Jacobi form is even and it has order if the index is odd. Let us consider Γ θ -automorphic function ˆφ m (τ = q m 4 φ0,m (τ, τ + 1. We have where ( 1 ˆφ 3 = 0, ˆφ4 = 1, ˆφ =, ˆξ6 = ˆφ = ϑ00 η ˆφ 1 (τ = 4 ϑ4 10 ϑ4 01 ϑ 01 ϑ 10 = q q M Z 0 (Γ θ, ǫ. Let us analyze some special values of the elliptic genus. As it easy follows from (1. we get Euler number and signature for z = 0 (d is arbitrary and z = 1 (d is even χ(m d, τ, 0 = e(m d, χ(m d, τ, 1 = σ M(τ = ( 1 d s(md + q(... M Z 0 (Γ 0(, v, v ( ( a b c d = e πim c. In 1 we calculated Euler number e(m d for small d in terms of Jacobi forms. It gave us some divisibility of Euler number of Calai Yau manifolds. We note that the quotient e(m/4 appears in physics as obstruction to cancelling the tadpole (see [SVW] where it was proved that e(m 4 0 mod 6. Proposition.4. Let M d be an almost complex manifold of complex dimension d such that c 1 (M = 0 in H (M, R. Then d e(m d 0 mod 4. If c 1 (M = 0 in H (M, Z, then we have a more strong congruence e(m 0 mod 8 if d mod 8. Proof. The first fact follows simply from (. or from (1.14. If d mod 8 one can write the elliptic genus as a polynom over Z in the generators φ 0, e(m d P(φ 0,1, φ 0,, φ 0,3, φ 0,4 z=0 c 1,m (φ 0,1 z=0 (φ 0,4 z=0 d 8 mod 8. If one put z = τ+1, i.e., y = q1/ (see Example.3, then one obtain that the series E q, q 1/ = n 1 q n/t M n 1 q n/t M n 1 S q n(t M T M is -symmetric. According to the Serre duality all Fourier coefficients of ˆχ(M d, τ are even. The constant c 1,m from the last congruence is equal to the coefficient of ˆχ(M d, τ at the

15 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 15 minimal negative power of q. Therefore c 1,m is even and we obtain divisibility of e(m 8m+ by 8. We note that divisibility of d e(m by 3 was proved by F. Hirzebruch in For a hyper-kähler compact manifold the claim of the proposition above was proved by S. Salamon in [S]. After my talk on the elliptic genus at a seminar of MPI in Bonn in April 1997 Professor F. Hirzebruch informed me that the result of Proposition.4 was known for him (non-published. Using some natural examples he also proved that this property of divisibility of the Euler number modulo 4 is strict (see [H]. Formulae (.3 provide us with a formula for the signature χ(m d ; τ, 1 as a polynom in α(τ. As a corollary of (.3 and Theorem 1.9 we have that for an arbitrary Jacobi form of integral index φ 0,4m (τ, 1 = c + 13 q(... φ 0,4m+ (τ, 1 = c + 1 q(... φ 0,4m+1 (τ, 1 = 8c + 8 q(... φ 0,4m+3 (τ, 1 = 16c + 9 q(.... (.8 Similar to the proof of Proposition.4 we obtain a better congruence for the signature of a manifold with dim mod 8 and c 1 (M = 0: χ(m 8m+ ; τ, z = 16c + 9 q(.... (.9 This gives us another proof of the Oshanine s theorem in this particular case. This is interesting that the values of the Hirzebruch y-genus at y = e πi/3 and y = i also have some properties of divisibility. For z = 1 3 (resp. z = 1 4 we can write φ 0,m(τ, 1 3 (resp. φ 0,m (τ, 1 4 as a polynom in β(τ = 3 + 7(q +... (resp. in γ(τ±1. This gives us the following results φ 0,3m (τ, 1 3 = c + 36 q(..., φ 0,3m+1 (τ, 1 3 = 9c + 34 q(... φ 0,3m+ (τ, 1 3 = 3c + 33 q(.... (.10 Thus we have Proposition.5. If c 1 (M = 0 (over R, then χ(m 6m ; τ, 1 3 = c 1 mod 3 6, χ(m 6m+ ; τ, 1 3 = 9c mod 3 4, We finish with some relations for z = 1 4 : χ(m 6m+4 ; τ, 1 3 = 3c 3 mod 3 3. χ(m 8m+ ; τ, 1 4 = 4c + 4 q(..., φ 0,4m+ (τ, 1 4 = 4c + 5 q(... φ 0,4m+3 (τ, 1 4 = c + 8 q(.... (.11

16 16 V. GRITSENKO 3. Second quantized elliptic genus (SQEG of Calabi Yau manifolds 3.1. SQEG of Calabi Yau manifolds and Siegel modular forms. The notion of elliptic genus of N = super-symmetric theories was introduced more than 10 years ago (see, for example, [W1], [W], [EOTY], [AYS], [KYY]. In physics the elliptic genus of a Calabi Yau manifold M d is defined as the genus one partition function of the supersymmetric sigma model whose target space is M d. By definition this is the trace of an operator over the Ramond-Ramond sector of the sigma model χ(m d ; τ, z = Tr H ( 1 F q L 0 c 4 q L 0 c 4 y F L where q L 0 c 4 is the evolution operator, F L is the fermion number and L 0 (L 0 is Virasoro generator of of left (right movers, ( 1 F is the fermion parity operator in N = supersymmetric theory and c is the central charge. We can consider n-fold symmetric product of the manifold M, i.e., the orbifold space S n M = M n /S n, where S n is the symmetric group of n elements. This is a singular manifold but one can define the orbifold elliptic genus of S n M (see for details the talk of R. Dijkgraaf at ICM-1998 in Berlin [D]. It gives us a string version of the elliptic genus of the symmetric product of a Calabi Yau manifold. One can compare this construction with the definition of the string Euler number of symmetric products (see [HH]. Using some arguments from the conformal field theory on orbifolds it was proved in [DVV] and [DMVV] that the string elliptic genus of the second quantization n 1 S n M of a Calabi Yau manifold M coincides with the second quantized elliptic genus of the given manifold: where p n χ orb (S n M; q, y = n=0 χ(m, τ, z = m 0, l, n>0 m 0, l Z (or Z/ 1 (1 q m y l p n f(mn,l (3.1 f(m, lq m y l is the elliptic genus of M. For a K3 surface, the product in the left hand side of (3.1 is essentially the power of the infinite product expansion of the product of all even theta-constants (see [GN1] 5 (Z = 1 Θ a,b (Z = (qpr (1 q m y l p n f(mn,l where t ab=0 mod ( τ z Z = H z ω, (m,l,n>0 q = e πiτ, y = e πir, p = e πiω belongs to the Siegel upper half-plane, Θ a,b (Z are the even Siegel theta-constants of level and f(m, l is the Fourier coefficient of φ 0,1 (τ, z (see Example 1.3. The modular form 5 (Z is the first cusp form with respect to the Siegel modular group Sp 4 (Z (with a nontrivial binary character. In [DVV] (3.1 was conjectured as a generalization of a formula for the orbifold Euler numbers e orb (S n M p n = n>0(1 p n 4 = (1 q m y l p n f(mn,l y=1. n 1 m 0, l, n>0

17 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 17 In the case of an algebraic K3 surface e orb (S n M is the topological Euler characteristic of the Hilbert scheme M (n of zero dimension subschemas of length n (see [Gö]. Following [DVV, 4] we call the product Ψ(M; Z = m 0, l, n>0 (1 q m y l p n f(mn,l, (3. where f(m, l are coefficients of the elliptic genus of M, the second-quantized elliptic genus (SQEG of the manifold M. In this section we prove that the SQEG multiplied by a factor (Hodge anomaly depending only on invariants χ p (M of the Calabi Yau d-fold E(CY d ; Z = Hodge anomaly(cy d ; Z Ψ(CY d ; Z is a Siegel automorphic form with respect to the paramodular group of polarization (1, d (resp. (1, d for even (resp. odd dimension d. We also calculate E(CY d ; Z for small d in terms of the basic Siegel modular forms for the corresponding paramodular groups. For small dimensions d =, 3, 4, 6 the function E(CY d ; Z is product of some powers of the denominator function of generalized Lorentzian Kac Moody Lie algebras constructed in [GN1 GN4]. We considered in [GN1] [GN4] the following infinite product for an arbitrary nearly holomorphic Jacobi form φ 0,t (τ, z = n,l c(n, lqn y l of weight 0 and integral index t where Exp-Lift(φ 0,t (Z = q A y B s C A = 1 4 n,l,m Z (n,l,m>0 (1 q n y l s tm c(nm,l, (3.3 f(0, l, B = 1 lf(0, l, C = 1 l f(0, l 4 l l>0 and (n, l, m > 0 means that if m > 0, then l and n are arbitrary integers, if m = 0, then n > 0 and l Z or l < 0 if n = m = 0. In order to define the corresponding product for Calabi Yau manifolds of odd dimension it is useful to modify the definition of SQEG. We remark that for arbitrary φ 0, d (τ, z J 0,d has even index. To see this one can apply symplectic the Jacobi form φ 0, d transformation Λ = diag(1,, 1, 1 to the corresponding Γ J -modular form: (F Λ ( τ z ( z ω = F τ z. z 4ω The next theorem is a particular case of Theorem.1 from [GN4]. l (τ, z J 0, d Theorem 3.1. Let M = M d be a compact complex manifold of dimension d with trivial c 1 (M, χ(m; τ, z = f(m, lq m y l m 0, l Z (or Z/

18 18 V. GRITSENKO be its elliptic genus and SQEG(M; Z (Z H be its second quantized elliptic genus (3.3. We define a factor η(τ 1 (e 3χ d d 0 0 H(M; Z = η(τ 1 e d 0 p=1 p=1 ( ϑ(τ, pz e πip ω χ d 0 p ( ϑ(τ, p 1 z e 1 4 πi(p 1 ω χ d 0 p+1 if d = d 0 if d = d where e = e(m is Euler number of M and χ p = ( 1p χ p (M (see (1.. Then the product E(M; Z = Ψ(M; Z SQEG(M; Z (d = d 0 E ( (M; Z = (E Λ (M; Z (d = d determines a Siegel automorphic form of weight 1 χ d 0 (M if d is even and of of weight 0 if d is odd with a character or a multiplier system of order 4/(4, e with respect to a double extension of the paramodular group Γ + d (resp. Γ+ d, if d is even (resp. d is odd. The divisor of E(M; Z (resp. of E ( (M; Z on A + d = Γ d \ H (resp. A + d is the union of a finite number of Humbert modular surfaces H D (b of discriminant D = b 4ad (resp. D = 4b 8ad with multiplicities m D,b = n>0 f(n a, nb. Remark. We call the factor H(M; Z defined above Hodge anomaly of SQEG. The divisor of ϑ(τ, pz is pz τz + Z. Thus the zeros and poles of H(M; Z (but not of E(M; Z! are completely defined by χ p (M. We would like to consider applications of this result to Calabi Yau manifolds of dimension 3, 5 and, 4,..., 10. Before doing this we recall the definitions of the notions we used above. The paramodular group Γ t is isomorphic to the integral symplectic group of the skew-symmetric form with elementary divisors (1, t. It can be realized as a subgroup of Sp 4 (Q } Γ t := {( t t 1 t t t t Sp 4 (Q all are integral If t 1, the group Γ t is not a maximal discrete subgroup and it has normal extensions (see, for example, [GH1]. By definition, The double quotient ( 0 t 0 0 Γ + t = Γ t Γ t V t, V t = t t 0 A t :1 A + t = Γ + t \ H of A t can be interpreted as a moduli space of lattice-polarized K3 surfaces for arbitrary t or as the moduli space of Kummer surfaces of (1, p-polarized Abelian surfaces for a prime.

19 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 19 t = p (see [GH1, Theorem 1.5]. Any Humbert surface in A + t represented in the form H + D (b = π+ t ( g Γ + t g ({Z H aτ + bz + tω = 0} of discriminant D can be where a, b Z, D = b 4ta, 0 b < t and π + t : H A + t is the natural projection. According (3.3 the infinite product E(M; Z can be written as follows { Exp-Lift( χ(md ; τ, z if d is even E(M d ; Z = Exp-Lift( χ(m; τ, z if d is odd. We note that for odd d the product E(M; Z (without Λ -modification is an automorphic function with respect to the group Λ Γ d Λ 1 conjugated to the paramodular group. 3.. SQEG of Calabi Yau manifolds of even dimension and Lorentzian Kac Moody algebras. 1. The case of CY. One of the starting points for considerations in [DVV] was the infinite product expansion formula for the modular form 5 (Z. According to Example 1.3 we have for the SQEG of surfaces with trivial c 1 E(Enriques surface; Z = Exp-Lift( φ 0,1 (Z = 5 (Z 1, E(K3; Z = Exp-Lift( φ 0,1 (Z = 5 (Z. In [GN1] we proved that the modular form 5 (Z defines an automorphic correction of the Kac Moody algebra of hyperbolic type with the Cartan matrix A 1,II =. It means that the Fourier expansion of the modular form 5 (Z determines a generalized Kac Moody Lie super-algebra with a system of the real simple roots of type A 1,II. We would like to note that the Lorentzian Kac Moody algebras with Cartan matrix of types A 1,0 and A 1,I constructed in [GN] are related to SQEG of some vector bundles of rank over a manifold of dimension 14 (see [G].. The case of CY 4. The basic Jacobi modular forms for this dimension are the Jacobi forms φ 0, and ψ ( 0, (see (1.8 and (1.10. They correspond to the following cusp forms for the paramodular group Γ (see [GN1] and [GN4]: (Z = Exp-Lift(φ 0, (τ, z = Lift(η(τ 3 ϑ(τ, z = ( 4 ( 4 N Nl a N 1 n, m>0, l Z n, m 1 mod 4 nm l =N a (n,l,m q n/4 y l/ s m/ M cusp (Γ, v 6 η v H

20 0 V. GRITSENKO and 11 (Z = Lift(η(τ 1 ϑ(τ, z = Exp-Lift(ψ ( 0, (τ, z N 11(Γ. For an arbitrary Calabi Yau 4-fold M 4 we have the following formula for its SQEG E(M 4 ; Z = 11 (Z χ 0(M (Z χ 1(M. (3.4 Its divisor is equal to (χ 1 (M χ 0 (MH 1 χ 0 H 4. We note that (Z 4 is the first Γ -cusp form with trivial character and 11 (Z is the first cusp form of odd weight with respect to Γ. Thus, if the Euler number of M 4 is divisible by 4, then the automorphic form E(M 4 ; Z has trivial character. The Fourier expansion of the cusp forms (Z, 11 (Z and 11(Z (Z coincide with the Weyl Kac Borcherds denominator formula of generalized Kac Moody super-algebras with generalized Cartan matrix A 1,II, A,II and A,0 respectively: A,II = ( , A,0 = ( 0, A,I = 0 ( (see [GN1] [GN4]. Thus, the formula (3.4 gives us three particular cases of Calabi Yau 4-folds of Kac Moody type when the second quantized elliptic genus is a power of the denominator function of the corresponding Lorentzian Kac Moody algebra: E(M 4 ; Z = 11 (Z χ 0 if χ 1 = 0 ( χ0 11 (Z E(M 4 ; Z = (Z if χ 0 (M = χ 1 (M E(M 4 ; Z = (Z χ 1 if χ 0 (M = 0. At this point we would like to discuss some relations of Hecke type between the basic Siegel modular forms occurred in SQEG-construction. It would be interesting to find a geometric or a physical interpretation of such relations. We recall that the Hecke operators T (m on the space of Jacobi forms of weight zero play the main role in the construction of the Borcherds products (3.3 (see [B], [GN1], [GN3] and in the proof of the identity (3.1 for the second quantized elliptic genus (see [DMVV]. We start with a relation ψ ( 0, = φ 0,1 T ( φ 0,. Thus, according to [GN4, Theorem 3.3] we can represent 11 (Z in the following form ( τ z 11 (Z = 5 (Z 5 ( 5 ( (Z. ( τ z z 4ω z ω+ 1 Moreover we can write 11 only in terms of the cusp form since ψ ( 0, = φ 0, T 0 (, where T 0 ( is another Hecke operator which does not change the index of Jacobi forms. If f(n, l = g(8n l is the Fourier coefficient of φ 0, (for a prime index t Fourier coefficients

21 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 1 depend only on the norm 4tn l, then the Fourier coefficient f (n, l = g (8n l of φ 0, T 0 ( is given by the formula ( ( N N g (N = 8g(4N + g(n + g. 4 According [GN, Theorem A.7], 11 (Z = [ (Z] T( / (Z 4, where [ (Z] T( = a,b,c mod ( z 1+a, z +b, z 3+c (z 1, z, z 3 a mod b mod ( z 1+a, z, z 3 (z 1, z, z 3+a (z 1, z 1 + z, z 1 z +z 3 +b. 3. The case of CY 6. In this case the elliptic genus of a Calabi Yau 6-fold is a sum of three basic Jacobi forms ψ (i 0,3 (see (1.11. Thus there are three basic Siegel modular forms 1 (Z = Exp-Lift(ψ (1 0,3 = M 1 m>0, l Z n, m 1 mod 6 4nm 3l =M = Lift(η(τϑ(τ, z ( ( 4 1 l M a (n,l,m D 6 (Z = Exp-Lift(ψ ( 0,3 = Lift (η(τ 1 φ 0, 3 ( 6 q n/6 y l/ s m/, a, 17 (Z = Exp-Lift(ψ (3 0,3 with divisors H 1, H 4 and H 1 + H 9 respectively. (These Humbert modular surfaces have only one component in A + 6. The Fourier expansion of the cusp forms 1, D 6 and 7 (Z = 1 (ZD 6 (Z determine three generalized Kac Moody Lie super-algebras with the following Cartan matrix of the real simple roots: A 3,II = , A 3,I = ( , A 3,0 = It follows that SQEG of an arbitrary Calabi Yau 6-fold can be represented as E(M 6, Z = 17 (Z χ 0 7 (Z χ 1 1 (Z χ. ( 1 1 Thus there are three types of manifolds of Kac Moody type: (χ 0 = 0, χ 1 = 0 or χ = χ 1 or χ = 0. Similar to 11 the cusp form 17 can be represented using a Hecke type product of 5 (see [GN4, Theorem 3.3]: 17 (Z = [ ( 5 ( τ 3z 3z 9ω b mod 3 ( τ z ] 5 ( z ω+ b 3 1 (Z 3..

22 V. GRITSENKO 4. The case of CY 8 and CY 10. In the case d = 8 we have four basic weak Jacobi forms of index 4 (see (1.9. The exponential lifting of φ 0,4 (τ, z is the most odd even Siegel theta-constant Exp-Lift(φ 0,4 (Z = 1/ (Z = 1 n, m Z ( 4 n ( 4 q n /8 y nm/4 s m /8 m which is the denominator function of a generalized Lorentzian Kac Moody super-algebra with a real root system of parabolic type (see [GN GN3]. For arbitrary Calabi Yau 8-fold we have (see (1.11: where ( E(CY 8 ; Z = 1/ (Z χ 1 χ3 5 ( τ z χ z 4ω 1 (Z χ1 3 (Z χ 0, 1 (Z = Exp-Lift(ψ (3 0,4 M 1(Γ + 4, 3(Z = Exp-Lift(ψ (4 0,4 M 3(Γ + 4 are Γ + 4 -modular forms with trivial character. We remark that all forms above have multiplicities one along divisors! From the formulae above it follows that for d =, 4, 6, 8 the divisor of E(M d ; Z is determined by the divisor of Hodge anomaly of M d. For d = 10 this is not the case. From (1.1 we see that for d = 10 one new divisor appears. This is the Humbert surface H 5 = π 5 + {τ + 5z + 5ω = 0} A+ 5. The second quantized elliptic genus E(M 11 ; Z is anti-invariant with respect to the involution defined by this rational quadratic divisor. We remark also that for d < 1 (or d = 13 we have where CY mir d E(CY d ; Z = E(CY mir d ; Z 1 (if d is odd E(CY d ; Z = E(CY mir d ; Z (if d is even is the mirror partner of Calabi Yau d-fold SQEG of Calabi Yau 3-folds and 5-folds. The elliptic genus of a Calabi Yau 3-folds M 3 is defined uniquely up to a constant (see Example 1.5: χ(m 3, τ, z = 1 e(m 3φ 0, 3 (τ, z. According (3.3 and Theorem 3.1 the product Φ 3 (Z = Exp-Lift(φ 0, 3 (τ, z = q y s n,l,m Z (n,l,m>0 (1 q n y l s tm c(nm,l M 0 (Γ + 6, v 1 (3.5 is an automorphic function of weight 0 with respect to Γ + 6 with a character of order 1. (This character is induced by the square vη of the multiplier system of the Dedekind

23 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 3 eta-function η(τ and by the binary character v H of the Heisenberg group defined in 1. Moreover div A + (Φ 3 (Z = H 1 (0 H 1 (5 = π 6 + ({Z H z = 0} π 6 + ({Z H τ +5z +6ω = 0}. 6 The divisor H 1 (5 appears because the Fourier expansion of φ 0, 3(τ, z contains the term qy 5. We remark that Φ 3 (Z is anti-invariant with respect to the reflection in the vectors which define the Humbert surfaces H 1 (0 and H 1 (5. The character of the automorphic function Φ 3 (Z has the maximal possible order 1 since Γ + 6 /(Γ+ 6 com = Z/ Z/1 (see [GH, Theorem.1]. One can say that Φ 3 (Z is a Siegel modular function with the simplest possible divisor. Such a function should have a zero and pole inside H. The simplest divisor is a rational quadratic divisor (a Humbert surface with discriminant one. The case t = 6 is the first case when there are two divisors of discriminant one. Φ 3 (Z has zero and poles of order one along these surfaces. Thus we can consider Φ 3 (Z as the best analogue of the modular invariant j(τ in the case of Siegel modular functions! It is interesting that Φ 3 (Z is related to Siegel modular threefolds of geometric genus 1 and. More exactly, the square of Φ 3 (Z can be written as quotient of two Γ + 6 -cusp forms constructed in [GN, Example 4.6] Φ 3 (Z = Lift( η(τ 3 ϑ(τ, z ϑ(τ, z Lift(η(τ 5 ϑ(τ, z = Exp-Lift(3φ 0,3 φ 0,φ 0,4 Exp-Lift(5φ 0,3 4φ 0,φ 0,4. The modular form in the numerator F 1 (Z = Lift ( η(τ 3 ϑ(τ, z ϑ(τ, z N 3 (Γ 6, v is cusp form of weight 3 with divisor 3H 1 (1 + H 1 (5 + H 4. Let us introduce the subgroup Γ 6 (v = Ker(v Γ 6 of index (v is character of order and the covering A 6 (v = Γ 6 (v \ H :1 A 6. It is known that h 3,0 (A 6 (v = 1 and the cusp form F 1 (Zdτ dz dω H 3,0 (A o 6(v, C defines the unique canonical differential form on a smooth model of A 6 (v (see [GH, Theorem 3.1]. The form in the numerator F (Z = Lift(η(τ 5 ϑ(τ, z N 3 (Γ 6, v 3 is a cusp form of weight 3 with a character of order 3. The Siegel threefold A 6 (v 3 = Γ 6 (v 3 \ H 3:1 A 6 has h 3,0 = and F (Z defines one of the canonical differential forms on it. Let us consider an arbitrary Calabi Yau 3-fold M 3 with Hodge numbers h 1,1 and h,1. Its modified SQEG is the modular function E ( (M 3 ; Z = Φ 3 (Z h,1 h 1,1. In particular Φ 3 (Z is the modified SQEG of a Calabi Yau 3-fold with Euler number. The first divisor (h,1 h, H 1 (0 of E ( (M 3 ; Z comes from the Hodge anomaly

24 4 V. GRITSENKO H(M 3 ; Z, the second (h, h,1 H 1 (5 is the additional divisor which is, in some sense, mirror symmetric to the first one, because if M mir 3 is a mirror partner of M 3, then E ( (M mir 3 ; Z = E ( (M 3 ; Z 1. It turns out (see [GN5] that the functions Φ 3 (Z ±1 determine Lorentzian Kac Moody super-algebras with an infinite system of real simple roots of the third possible type. This is the so-called hyperbolic type when the infinite system of real simple roots has a limit line (see [N]. The Lorentzian Kac Moody algebras related to SQEG(CY d (d =, 4, 6, 8 have elliptic type (the system of real simple roots is finite or parabolic type (the system of real simple roots has geometry similar to the real simple roots of the fake monster Lie algebra constructed by Borcherds in [B1]. In the case d = 5 the elliptic genus is again defined uniquely by the Euler number. The basic Jacobi form is φ 0, 5 = φ 0, 3 φ 0,1 (see Example 1.5. We have that Φ 5 (Z = Exp-Lift(φ 0, 5 (τ, z M 0(Γ + 10 is an automorphic function of weight 0 with respect to Γ + 10 with trivial character. The automorphic function Φ 5 (Z has the divisor consisting of four irreducible components ( div A + Φ(Z = H9 (3 H 9 (7 + 1H 1 (1 1H 1 (9. 10 For arbitrary Calabi Yau fivefold M 5 with Euler number χ(m 5 we have E ( (M 5 ; Z = Φ 5 (Z e(m 5/4. References [AYS] O. Aharony, S. Yankielowicz, A.N. Schellekens, Charge sum rules in N = theories, Nucl. Phys. B418 (1994, 157. [B1] R. Borcherds, The monstrous moonshine and monstrous Lie superalgebras, Invent. Math. 109 (199, [B] R. Borcherds, Automorphic forms on O s+, and infinite products, Invent. Math. 10 (1995, [D] R. Dijkgraaf, The Mathematics of Fivebranes, Documenta Mathem. ICM-1998 (1998. [DVV] R. Dijkgraaf, E. Verlinde and H. Verlinde, Counting dyons in N = 4 string theory, Nucl. Phys. B484 (1997 (1997, [DMVV] R. Dijkgraaf, G. Moore, E. Verlinde, H. Verlinde, Elliptic genera of symmetric products and second quantized strings, Commun. Math. Phys. 185 (1997, [EOTY] T. Eguchi, H. Ooguri, A. Taormina, S.-K. Yang,, Superconformal Algebras and String Compactification on Manifolds with SU(N Holonomy, Nucl. Phys. B315 (1989, [Gö] L. Göttsche, The Betti numbers of the Hilbert Scheme of Points on a Smooth Projective Surface, Math. Ann. 86 (1990, [G1] V. Gritsenko, Modular forms and moduli spaces of Abelian and K3 surfaces, Algebra i Analyz 6:6 (1994, 65 10; English transl. in St.Petersburg Math. Jour. 6:6 (1995, [G] V. Gritsenko, Modified Witten genus, Preprint MPI (1999. [GH1] V. Gritsenko, K. Hulek, Minimal Siegel modular threefolds, Mathem. Proc. Cambridge Phil. Soc. 13 (1998, [GH] V. Gritsenko, K. Hulek, Commutator coverings of Siegel threefolds, Duke Math. J. 94 (1998,

25 ELLIPTIC GENUS OF CALABI YAU MANIFOLDS 5 [GN1] V.A. Gritsenko, V.V. Nikulin, Siegel automorphic form correction of some Lorentzian Kac Moody Lie algebras, Amer. J. Math. 119 (1997, [GN] V.A. Gritsenko, V.V. Nikulin, The Igusa modular forms and the simplest Lorentzian Kac Moody algebras, Matem. Sbornik 187 (1996, [GN3] V.A. Gritsenko, V.V. Nikulin, Automorphic forms and Lorentzian Kac-Moody algebras. Part I, International J. of Mathem. 9 (1998, [GN4] V.A. Gritsenko, V.V. Nikulin, Automorphic forms and Lorentzian Kac-Moody algebras. Part II, International J. of Mathem. 9 (1998, [GN5] V.A. Gritsenko, V.V. Nikulin, Second quantized elliptic genus of Calabi Yau 3-folds, Preprint (in preparation. [HM1] J. Harvey, G. Moore, Algebras, BPS-states, and strings, Nucl. Physics. B463 (1996, [H1] F. Hirzebruch, Elliptic genera of level N for complex manifolds, Differential geometrical Methods in Theoretical Physics (K. Bleuler, M. Werner, eds., Kluwer Acad. Publ., 1988, pp ; Appendix III to [HBJ]. [H] F. Hirzebruch, Letter to V. Gritsenko from 11 August [HBJ] F. Hirzebruch, T. Berger, R. Jung, Manifolds and Modular forms, Aspects of Math. E0 Vieweg Verlag, 199. [HH] F. Hirzebruch, T. Höfer, On the Euler Number of an Orbifold, Math. Ann. 86 (1990, [Hö] G. Höhn, Komplex elliptische Geschlechter und S 1 -äquivariante Kobordismustheorie, Diplomarbeit (1991, Bonn. [K] I. Krichever, Generalized elliptic genera and Baker Akhiezer functions, Mat. Zametki 47 (1990, [KYY] T. Kawai, Y. Yamada, S.-K. Yang, Elliptic Genera and N= Superconformal Field Theory, Nucl. Phys. B414 (1994, [L] P.S. Landweber Ed., Elliptic Curves and Modular Forms in Algebraic Topology, Springer-Verlag, [LW] A. S. Libgober, J.W. Wood, Uniqueness of the complex structure of Kähler manifolds of certain homotopy types, J. Differential Geometry 3 (1990, [M] G. Moore, String duality, automorphic forms and generalized Kac Moody algberas, Nucl. Phys. Proc. Suppl. 67 (1998, [N] V. V. Nikulin, K3 surfaces with interesting groups of automorphisms, to appear in J. Math. Sciences; alg-geom/ [O] S. Ochanine, Signature modulo 16, invariants de Kervaire généralisés, et nombres caractéristiques dans la K-théorie réelle, Mémoire de la Soc. Math. de France; Nouvelle Séries 5 (1981. [R] V. A. Rokhlin, New results in the theory of the varieties of dimension 4, Doklady AN USSR 84 (195, 1 4. [S] S. M. Salamon, On the cohomology of Kähler and hyper-kähler manifolds, Topology 35 (1996, [SVW] S. Sethi, C. Vafa, E. Witten, Constraints on low-dimensional string compactifications, Nucl. Phys. B480 (1996, [W1] E. Witten, Elliptic genera and Quantum Field Theory, Commun. Math. Phys. 109 (1987, [W] E. Witten, The index of the Dirac operator in loop space, ; in [L]. [Z] D. Zagier, Note on the Landweber Strong elliptic genus, 16 4 moreref in [L]. St. Petersburg Department of Steklov Mathematical Institute, Fontanka 7, St. Petersburg, Russia Département de Mathématique Université Lille I Villeneuve d Asq Cedex, France