Arxiv:Math/0004046V1 [Math.AG] 7 Apr 2000 a Igraayi Torsion

arXiv:math/0004046v1 [math.AG] 7 Apr 2000 a igrAayi torsion. Analytic Singer Ray h ouisae o hspofo h rnce ii oml e [1 see formula limit Kronecker the boun of is proof determinant this this For metric and flat space. metrics the moduli Poincare of the the determinant regularized for the potential of the log that facts the htteRySne nltctrini xcl h ule omo h D the of norm Quillen the exactly is torsion Kronecker analytic bundle. Singer line function torsion determinant Ray analytic the the Singer of Ray section that Li vanishing of Kronocker’s non exponential and a the Curves of curves Elliptic elliptic of of Torsion case Analytic 1.1. oePolm 16 ...... M CY . Dimensional . Odd for . Function Eta Problems Dedekind Some the of Analogue 7 The 6 nrdcin 1 ...... C a . . Bundles of Manifolds Line . Construction . CY Determinant Polarized . of . of Theory 5 . Space . The Moduli . . the . . of 4 Construction . . Manifolds. . CY 3 . of Teichmüller Theory . 2 Introduction. 1 oe ftedtriatln udewoeQilnnr seatyte2 the exactly is norm Quillen whose bundle line determinant the of power o d iesoa YMnfls...... 9 ...... Manifolds CY Dimensional Odd for rnce ii oml a eitrrtda h xsec fasec a of existence the as interpreted be can formula limit Kronecker odster fmtiswt oaihi rwh htted the to that prolonged growths canonically logarithmic be with can metrics of theory ford’s oHrnk ecnfidapoetv mohvariety smooth projective a find can we Hironaka to M esoa Ymanifolds CY mensional iebnl ntemdl pc foddmninlC manifol CY dimensional odd of space moduli the on bundle line o d iesoa Ymnfls eueteter fdeterm of theory the use section holomorphic canonical We a manifolds. constructed We CY dimensional odd for ule omteRySne nltcTorsion Analytic Singer Ray the norm Quillen eeideaFunction eta Dedekind η fsm oe ftedtriatln udewihvnse o vanishes which bundle line determinant the of power some of ( codn oVewgtemdl pc fmdl pc fpola of space moduli of space moduli the Viehweg to According Abstract. M η. = ) n ftevrin ftepofo h rnce ii oml sbas is formula limit Kronecker the of proof the of versions the of One D a igrAayi oso fC aiod II. Manifolds CY of Torsion Analytic Singer Ray ∞ sadvsro omlcosns eas hwdb sn Mum- using by showed also We crossings. normal of divisor a is nti ae ecntutteaaou fDdkn t funct eta Dedekind of analogue the construct we paper this In ∞ o aihn eto fteDtriatLn Bundle Line Determinant the of Section Vanishing Non ugra cdm fSciences of Academy Bulgarian eateto Mathematics, of Department η. nvriyo California, of University nttt fMathematics of Institute M at rz A95064. CA Cruz, Santa ( M .Introduction. 1. nryTodorov Andrey sqaipoetv.Acrigt hoe due Theorem a to According projective. quasi is ) oi,Bulgaria Sofia, coe 1 2018 31, October M Contents ( M ) . 1 eas hwdta hr xsssection exists there that showed also We . η hsscini htaaou fthe of analogue that is section This N fsm oe ftedeterminant the of power some of M ( M triatln bundle line eterminant uhthat such ) ds. nn iebundles. line inant nteelpi uv is curve elliptic the on n e safnto on function a as ded steQilnnorm Quillen the is ii oml states formula limit i Formula. mit D 8]. ie d di- odd rized ∞ tion 4 n a a has and th M oe fthe of power nfls12 anifolds dkn eta edekind η 6 . . . . ( 24 M ion fsome of ) L \ 7 . 4 . don ed In Ray Singer Analytic Torsion of CY Manifolds II. 2

1.2. Formulation of the Problem Discussed in the Paper.

Problem 1. Does there exists a section ηN of some power of the determinant line bundle over the moduli space of odd dimensional CY manifolds whose Quillen norm is the Nth power of the Ray Singer Analytic torsion? The positive answer to Problem 1 can be considered as a generalization of the above mentioned relations between Ray Singer Analytic torsion and the Quillen norm on the determinant line bundle from elliptic curves to odd dimensional Calabi-Yau manifolds. Moreprecisely the positive answer of the Problem 1 will be a generalizion of Kronecker’s Limit Formula to higher dimensions.

1.3. Description of the Ideas Used in the Paper. The idea on which this paper is based, is very simple. The Quillen metric is related to the spectral properties of the Laplacians acting on (0,q) forms in case of Kähler manifolds. The main question is when the Ray Singer analytic torsion is the Quillen metric of some holomorphic section of the determinant line bundle. One of the main results of the paper is the construction of a canonical section of the determinant line bundle over the moduli space of odd dimensional CY manifolds up to a constant whose absolute value is one. First we prove that the determinant line bundle L as C∞ bundle is trivial. The proof that the determinant line bundle is a trivial C∞ is L based on the facts that for odd dimensional CY manifolds we have dim ker( ∂ ∂∗) =dim ker( ∂∗∂) = 1 over the moduli space and the Ray Singer Analytic Torsion I(M) is not a constant and strictly positive function on the moduli space. The definition of the Quillen metric on the determinant line bunlde implies that c ( ) = d(∂(log(I(M)). Therefore L 1 L c1( ) is an exact two form on (M). L M 2n+1 It is easy to see that the determinant line bundle is isomorphic to π (Ω / (M)). This ∗ X M implies that we can construct a non zero section of the determinant line bundle whose L2 norm pointwise is equal to one. Using that section we can construct a canonical C∞ non vanishing section of the determinant line bundle up to a constant whose Quillen norm is exactly the analytic Ray Singer torsion. We will call such section det(∂). It is not difficult to see that the analytic torsion for even dimensional CY manifolds is equal to zero and for odd dimensional CY manifolds it is different from zero. On the other hand the index of the ∂ operator on the complex of (0, q) forms is zero for odd dimensional CY manifolds therefore there exists a canonical non vanishing section det(∂) whose Quillen norm is exactly the Ray Singer Analytic Torsion. We will study the zero set of the canonical section det(∂) in this paper on some compactification of (M) such that (M) ′(M) is a divisor of normal crossings. M′ M′ \M Viehweg proved in [30] that ′(M) is a quasi-projective variety. Moreover it is a well known fact that the moduli spaceM of CY manifolds is obtained by factoring the Teichmüller space by subgroup of finite index in the mapping class group that preserves some polarization on the CY manifolds, which according to Sullivan is an arithmetic group. From the fact that the mapping class group is an arithmetic one can find a subgroup of finite index in the mapping class group such that the quotient of the Teichmüller space by this group is a non-singular variety (M) which is a finite covering of ′(M). Let (M) be some compactificationM of (M) such that (MM) (M)= D is a divisor withM normal crossings. The divisor DM will be called theM discriminant\M locus.∞ It is easy to see that the determinant line bundle∞ for odd dimensional CY manifolds is isomorphic to the dual of the holomorphic lineL bundle R0π Ω2n+1. On the line bundle ∗ Ray Singer Analytic Torsion of CY Manifolds II. 3

R0π Ω2n+1 we have a natural metric 2 . One can show that the metric 2 has a logarithmic∗ growth in the sense of Mumford.k k See [21]. From here we deducedk k that determinant line bundle can be prolonged in an unique way to a line bundle over (M) using the metric L 2 . L M Since we proved in [28]k k that the Quillen norm of the canonical section det(∂) is bounded, it is not difficult see that we can continue the C∞ section det(∂) to a section det(∂) of the line bundle over (M) and whose zero set is supported by . L M D∞ 1.4. Formulation of the Main Result. The main theorem of the paper is the following one: N THEOREM. There exists a holomorphic section ηN of the line bundle ⊗ over N L N (M) whose zero set is supported by and the Quillen norm of η (M) =I(M) . M D∞ |M 1.5. Outline of the Proof of the Main Result. The ideas of the proof are the following: Step 1. We noticed in [28] that the analytic torsion is equal to the determinant of the Laplacians det( τ ) of Calabi-Yau metrics acting on functions, whose imaginary part has a fixed cohomology△ class, namely the polarization class. By using the variational formulas 2 from [28] & [26] and the facts that both log(det( τ )) and log( ωτ ) are potentials of the Weil Petersson metric, we can prove that locally△ we havek thek following formula 2 2 2 2 det( τ )= ωτ f , where f is a holomorphic function and ωτ is a family of L △ k k | | k k 2 norms of holomorphic n forms on the CY manifolds. We will prove that ωτ has a logarithmic growth as τ approaches . We proved in [29] that the Ray Singerk k Analytic Torsion is bounded by a constant. CombiningD∞ those two facts we deduce that the canonical C∞ det(∂) vanishes on . Step 2. Next step isD∞ to show that some power of the determinant line bundle N is a trivial line bundle over (M). This fact follows from the following five ingredients.L M

1. We know that as a C∞ line bundle is trivial over (M). L M 2. The second fact is that as a holomorphic line bundle is isomorphic to R0π (Ω2n+1,0 ). L ∗ / (M) So is a subbundle of the flat vector bundle Rnπ C. X M L ∗ 3. The pull back of Rnπ C is a trivial vector bundle over the Teichmüller space (M) ∗ T we can conclude that the pull back of ∗ on (M) is also a trivial holomorphic bundle. L T 4. Since (M) ≅ (M)/Γ, where Γ is some arithmetic group of rank 2, we conclude that theM holomorphicT line bundle is a flat line bundle defined by≥ character of Γ. L 5. A theorem of Kazhdan, which states that Γ/[Γ, Γ] is finite implies that N is a trivial holomorphic line bundle over (M). L M From these five ingredients we deduce the existence of a non vanishing holomorphic section η of the determinant line bundle over (M) whose zero set is supported by the discriminant locus D . L M ∞ Ray Singer Analytic Torsion of CY Manifolds II. 4

1.6. The Organization of the Paper. This article is organized as follows. In Section 2 we will construct the Teichmüller space based on the local deformation theory of CY manifolds developed in [26]. In Section 3 we will prove the existence of a subgroup Γ of finite index in the mapping class group of a CY manifold such that this subgroup acts freely on the Teichmüller space. We also will show that the quotient of the Teichmüller space by Γ is a non-singular one. So we will construct a finite covering (M) of the moduli space of CY manifolds ′(M), which is a non-singular quasi-projectiveM variety. M In Section 4 we recall the theory of determinant line bundles of Mumford, Knudsen, Bismut, Donaldson, Gillet and Soulé, following the exposition of D. Freed. See [9] and [11]. In this section we will construct a non vanishing section det(D) of the determinant line bundle over the moduli space (M) of a CY manifold M of any dimension. L M In Section 5 we prove that the determinant line bundle is a trivial C∞ bundle over the moduli space (M). We also construct a unique up to a constant ξ such that ξ =1 M | | C∞ section det(∂) of the determinant line bundle which has a Quillen norm equal to Ray Singer Analytic torsion I(M). L In Section 6we review the theory of metrics with logarithmic singularities following Mumford’s article [21]. We will show that the determinant line bundle is isomorphic to the line bundle of holomorphic n-forms on the moduli space (M) and the natural L2 metric on that bundle has logarithmic singularities. M In Section 7 we will use the results of the previous sections to deduce that we can prolong the determinant line bundle to a line bundle on any compactification (M) such that (M) (M)= D is a divisor with normal crossings. By using theM fact proved in [28]M that\M the analytic∞ Ray-Singer torsion is equal to the determinant of the Laplacian of CY metric, acting on functions, we deduce that we can prolong the canonical C∞ section det(∂) to any compactification (M) such that (M) (M)= is a divisor with normal crossings and that the zeroM set of det(D) isM supported\M exactlyD by∞ the discriminant locus D . Based on a result of Kazhdan and Sullivan we prove that there exists a positive integer∞ N such that as a holomorphic line bundle the determinant line bundle to power N is a trivial one over the moduli space (M). Using this result we M N constructed a holomorphic section ηN of the determinant line bundle ⊗ over (M) L M whose zero set is supported by D . In Section 8 we discuss some∞ applications of the results of this paper and some conjectures.

Acknowledgement 2. I want to thank Professor Liu, Professor Li and Professor Eliash- berg for inviting me to give series of talks on the paper at Stanford University. I want to thank Professor Yau and Professor Donaldson for their interest in the paper and encour- agement. I am deeply obliged to Professor Deligne for his harsh and thoughtful criticism.

2. Teichmuller¨ Theory of CY Manifolds. 2.1. Some Deﬁnitions.

Definition 3. We will define the Teichmüller space (M) of a CY manifold M as follows: T (M):= (M)/Diff (M), T I 0 where (M):= the set of all integrable complex structures on M and Diff (M) is I { } 0 the group of diffeomorphisms isotopic to identity. The action of the group Diff(M 0) is Ray Singer Analytic Torsion of CY Manifolds II. 5 defined as follows; Let φ Diff (M) then φ acts on integrable complex structures on M by ∈ 0 pull back, i.e. if I C∞(M,Hom(T(M),T(M)), then we define φ(I )= φ∗(I ). ∈ Φ(τ) Φ(τ) We will call a pair (M; γ1, ..., γbn ) a marked CY manifold where M is a CY manifold and γ , ..., γ is a basis of H (M,Z)/Tor. { 1 bn } n Remark 4. It is easy to see that if we choose a basis of Hn(M,Z)/Tor in one of the fibres of the Kuranishi family then all the fibres will be marked, since as a C∞ manifold ≅M . M → K XK ×K 2.2. The Construction of the Teichmüller Space. The construction of the Te- ichmüller space is based on the following lemma: Lemma 5. Let π : be the Kuranishi family of a CY manifold M. Let φ be a M → K complex analytic automorphism of M such that φ acts as an identity on Hn(M,Z), then φ acts trivially on . K PROOF: Remark 4 implies that we may suppose that the Kuranishi family is marked. So we can define the period map p : P(Hn(M,Z) C) as follows: K → ⊗ n p((M; γ1, .., γb ))= (..., ωτ , ...) P(H (M,Z) C), n γi ∈ ⊗ R where ωτ is a family of holomorphic n-forms over . Local Torelli theorem states that p is a local isomorphism. See [13]. So we can assumeK that P(Hn(M,Z) C). From here Lemma 5 follows directly. . K⊂ ⊗ Theorem 6. The Teichmüller space (M) of CY manifold of dimension n 3 exists and each connected component of (M) isT a complex analytic manifold of complex≥ dimension n 1,1 1 n 1 T h − = dimC H (M,Ω − ). PROOF OF THEOREM 6 . We will define (M) as follows: Let T (M) be the set of all marked Kuranishi families , thenT (M):=T (M)/˜, where ˜ is the XK → K T 1 following equivalence relation. (Notice that the points of T (M) are pairs (τ, π− (τ)), 1 where τ is a point in some and π− (τ) is a marked CY manifolds.) We will say that 1 1 K 1 1 (τ1, π− (τ1))˜(τ2, π− (τ2)) if and only if π− (τ1) and π− (τ2) are isomorphic as marked CY manifolds. Lemma 5 together with the result proved in [26] that the Kuranishi space is a non-singular complex analytic space of dimension h2,1 implies that each component of n 1,1 1 n 1 (M) is a complex analytic manifold of complex dimension h − = dimC H (M,Ω − ). FromT the Mutsusaka-Mumford Theorem, we know that the moduli topology on is a Haussdorff one. [20]. Indeed the completeness of the Kuranishi family K and the Theorem from [20] implies that if we have two families and XK → K and sequence of points τ such that YK → K XK → K { i} lim τi = τ0 i →∞ ∈ K

such that the fibres Yτi and Xτi are isomorphic then Xτ0 is isomorphic to Yτ0 . This fact is based on the observation that the isomorphism between Yτi and Xτi should preserve a fixed polarization. We can apply the Bishop Theorem to conclude Theorem 6. See [4]. Theorem 6 is proved. . In Theorem 6 we proved much more. Indeed it is easy to prove that if φ is a complex analytic automorphism of CY manifold M isotopic to identity and φ is of a finite order then it must be the identity. So the construction of (M) implies directly that we constructed an universal family (M) of marked CYT manifolds. From now on weM will → denote T by (M) the irreducible component of the Teichmüller space that contains our fix CY manifoldT M. Ray Singer Analytic Torsion of CY Manifolds II. 6

3. Construction of the Moduli Space of Polarized CY Manifolds + + The group Γ1 :=Diff (M)/Diff0(M), where Diff (M) is the group of diffeomorphisms preserving the orientation of M and Diff0(M) is the group of diffeomorphisms of M isotopic to identity will be called the mapping class group. A pair (M;L) will be called a polarized CY manifold if L H2(M,Z) is a fixed class and there exists a Kähler metric G such that ∈ [ImG]= L. We will define Γ2 := φ Γ1 φ(L)= L . The reason for using the group Γ2 is that the moduli space Γ (M){ will∈ be| Haussdorff.} 2\T

Theorem 7. There exists a subgroup of ﬁnite index Γ of Γ2 such that Γ acts freely on (M) and Γ (M)= M(M) is a non-singular quasi-projective variety. T \T

PROOF OF THEOREM 7. The results of Sullivan from [24] imply that Γ2 is an arithmetic group. This implies that in case of odd dimensional CY manifolds there is a homomorphism induced by the action of the diffeomorphism group on the middle homology with coefficients in Z : φ : Γ Sp(2b , Z) such that the image of Γ has a 2 → n 2 finite index in the group Sp(2bn, Z) and ker(φ) is a finite group. In the case of even dimensional CY there is a homomorphism φ : Γ SO(2p, q; Z) 2 → where SO(2p, q; Z) is the group of the automorphisms of the lattice Hn(M,Z)/Tor, where the φ(Γ2) has a finite index in the group SO(2p, q; Z) and ker(φ) is a finite group. A theorem of Borel implies that we can always find a subgroup of finite index Γ in Γ2 such that Γ acts freely on Sp(2bn, R)/U(bn) or on SO0(2p, q; R)/SO(2p) SO(q). We will prove that Γ acts without fixed point on (M). × Suppose that there exists an elementT g Γ, such that g(τ) = τ for some τ (M). From local Torelli theorem we deduce∈ that we may assume that the Ku-∈ Kranishi ⊂ T space is embedded in the , where is the classifying space of Hodge structures of weight n onKHn(M,Z) C. GriffithsG provedG in [13] that ≈G/K where G in the odd ⊗ G dimensional case is Sp(2bn, R) and in the even dimensional is SO0(2p, q; R) and K is a compact subgroup of G. Let K0 is the maximal compact subgroup of G. So we have a natural C∞ fibration K /K G/K G/K . Griffith’s transversality theorem implies that is transversal 0 ⊂ → 0 K to the fibres K0/K of the fibration G/K G/K0. The first part of our theorem follows from→ the fact that is transversal to the fibres K K0/K of the fibration G/K G/K0 and the following observation; if g Γ fixes a → 1 ∈ point τ G/K0, then g K0 Γ. On the other hand side it is easy to see that local Torelli theorem∈ implies that∈ the∩ action of Γ on is induced from the action Γ on G/K by left multiplications. From here we deduce thatK the action of Γ preserve the fibration K0/K G/K G/K0. From here and the fact that Γ acts without fix point on G/K0 the first part⊂ of our→ theorem follows directly. The second part of the theorem, namely that the space Γ (M) is a quasi projective follows directly from the fact that Γ (M) Γ (M) \T \T → 2\T is a finite map and that Γ2 (M) is a quasi projective variety according to [30]. Our theorem is proved. . \T

Remark 8. From Theorem 7 it follows that we constructed a family of non-singular CY manifolds (M) over a quasi-projective non-singular variety (M). Moreover it is easy to seeX that →M CPN (M). So is also quasi-projective.M From now on we will work only with thisX ⊂ family.×M X

1 We suppose that K or K0 acts on the right on G and Γ acts on the left on G. Ray Singer Analytic Torsion of CY Manifolds II. 7

4. The Theory of Determinant Line Bundles 4.1. Geometric Data. In order to construct the determinant line bundle we need the following data:

1. A smooth fibration of manifolds π : (M). In our case it will be the smooth fibration of the family of CY manifoldsX over→M the moduli space as defined in Theorem 7. Let n=dimC M. 2. A metric along the fibres, that is a metric g(τ) on the relative tangent bundle ( / (M)). In this paper the metric will be the families of CY metrics g(τ) such TthatX theM class of cohomology [Im(g(τ))] = L is fixed.

From these data we will construct the determinant line bundle over the moduli space L of CY manifolds (M). We will consider the relative ∂ / (M) complex: M X M

∂0,X /M(M) 0,1 ∂1,X /M(M) 0.n 1 ∂n−1,X /M(M) 0 ker∂ / (M) C∞( ) Ω ..Ω − X M / (M) / (M) → → X → 0.n X M → X M → .Ω / (M) 0. X M → We will deﬁne D to be for each τ (M) and k, ∈M ∗ ∗ Dk := ∂k, / (M) + ∂k, / (M) & Dk,τ := Dk Mτ = ∂k,τ + ∂k,τ . X M X M | Deﬁnition 9. We will call the above complex the relative Dolbault complex.

k 2 0,k Let us define τ := L (Mτ , Ωτ ). Furthermore, as τ varies over (M), the spaces k H k 2 M τ fit together to form continuous Hilbert bundles over (M). . Thus we can view H k Hk+1 M k ∂k, / (M) as a bundle maps: ∂k, / (M) : . The Hilbert bundles carry L2 XmetricsM by definition. X M H → H H

4.2. Construction of the Determinant Line Bundle . L Some Basic Definitions. Now we are ready to construct the Determinant line bundle of the operator ∂ / (M). We will recall some basic consequences of the ellipticity L X M if D . Each fibre k of the Hilbert bundles k decomposes into direct sum of eigen τ Hτ H spaces of non-negative Laplcaians DkDk∗ and Dk∗Dk. The spectrums of these operators are discrete, and the nonzero eigen values λk,i of Dk∗Dk and DkDk∗ agree and Dk define a canonical isomorphisms between the corresponding{ } eigen spaces.

Definition 10. 1. Let : τ (M) a / Spec(D D∗) for 0 k n and any a> 0 . Ua { ∈M | ∈ k k ≤ ≤ } (Ua are open sets in (M) and they form an open covering of (M) since the spectrum M k M k of Dτ∗Dτ is discrete.) 2. Let the fibres of a be the vector subspaces in τ,a spanned by eigen vectors with eigen values less than aHover . Then we can define theH complex of : Ua

∂ X M ∂ − X M 0 0, / (M) n 1 n 1, / (M) n 0 Γ( a, a ) a ... a− a ker(Dn 1 Dn∗ ) 0. → U OU → H → → H → H → − ◦ → k k k k If b>a we set a,b := b / a. The spaces a form a smooth ﬁnite dimensional C∞ bundles over an openH set Ha H (M). For theH proof of this fact see [1]. U ⊂M 2These bundles are not smooth since the composition L2 × C∞ → L2 is not diﬀerentiable map. Ray Singer Analytic Torsion of CY Manifolds II. 8

Construction of the Generating Sections det(D ) over . a Ua Deﬁnition 11. k k k k k k Let ω1 , .., ωmk , ψ1 , .., ψNk , φ1 , .., φMk be an orthonormal basis in the trivial vector bundle k over , where D ωk = 0, ∂∗(∂ ψk) = λkψk, ∂ (∂∗φk) = λkφk, Ha Ua k i k k j j j k k j j j k k ∗ φj Im ∂k 1, / (M) and ψj Im(∂k, / (M)) for 1 i k and 0 < λj < a for 1 j∈ N. Let− X M ∈ X M ≤ ≤ ≤ ≤ det(∂k,a)= ( 1)k k k k 1 k 1 k k − ω1 ... ωmk (∂k 1, / (M)ψ1− ) ... (∂k 1, / (M)ψN− ) φ1 ... φM . ∧ ∧ ∧ − X M ∧ ∧ − X M k ∧ ∧ ∧ k We will deﬁne the line bundle restricted on as follows: L Ua k k ( 1) a n dim a k − := a = k=0 H a . L L|U ⊗ ∧ H

a Definition 12. The generator det(∂a) of := a is defined as follows: det(∂a) := det(∂ ). L L|U ⊗ k,a Definition of the Transition Functions on a b. We will define how we patch together a and b over a b3. On that intersectionU ∩ U we have: b = a a,b, a,b L n L Uk ( ∩U1)k a b a,bL L ⊗a L b where := k = 0 (det a,b ) − on . We can identify over with theL line bundle⊗ bundleH spanned by theU section∩U L U ∩U

n ( 1)k det(∂ )= det(∂ ) − , a,b ⊗k=0 k,a,b k 1 k 1 k k where det(∂k,a,b) := (∂k 1, / (M)ψ1− ) ... (∂k 1, / (M)ψN− ) φ1 ... φM , − X M ∧ ∧ − X M k ∧ ∧ ∧ k k k ∗ k k k k 1 k k 1 φj Im ∂k 1, / (M), ψj Im(∂0, / (M)), ∆kφj = λj φj , ∆k(∂(ψi − )) = λi (∂(ψi − )) ∈ k− X M ∈ X M and a < λi < b. a,b a b Remark 13. We can view det(∂a,b) as a section of the line bundle over and it defines a canonical smooth isomorphisms over a b : a L a a,bU =∩U b (s s det(∂ ). U ∩U L → L ⊗ L L → ⊗ a,b We define the determinant line bundle by patching the trivial line bundles a over a by using the canonical isomorphism definedL in Remark 13. L U 4.3. The Description of the Quillen Metric on . We now proceed to describe L k k the Quillen metric on . Fix a> 0. Then the subbundles a of the Hilbert bundles L k H H on a inherit metrics from . According to standart facts from linear algebra, metrics areU induced on determinants,H duals, and tensor products. So the a inherits a natural a 2 L metric. We will denote by g the L norm of the section det(∂a). Clearly

k n ( 1) a k k − g = k=0 λ1 ...λnk , Q ∗ where the product is of all non zero eigen values of the operators ∂k∂k 1which are less than a. − If b>a, then under the isomorphism deﬁned in Remark 13, we have two metrics on 2 b and their ratio is a real number equal to the L2 norm of the section det(∂ ) . The L a,b deﬁnition of the section det(∂ ) implies that we have the following formula: a,b 3We may suppose that b >a. Ray Singer Analytic Torsion of CY Manifolds II. 9

( 1)k n k k − det(∂a,b) = k=0 i=1 φi j=1 ∂ψj = k Q Q Q( 1) ( 1)k k ∗ k k − k − φi ∂k∂k 1ψj , ψj = λi . i=1 j=1 − D E Q Q Q k ∗ k where λi are all the non-zero eigen values of the operators ∂k∂k 1 such that a < λi < k − ( 1) a b b a k − b. In other word, on g =g λi . To correct this discrepancy we deﬁne a a U ∩U g = g det(D∗D λ>a ), where Q | ′ s ∗ a a k det(∂k∂k 1 λ>a )= exp( (ζk ) (0)) and ζk (s)= ∞ λi . − | − − λi>a P The crucial property of this regularization is that it behaves properly with respect to the ﬁnite number of eigen values, i.e.

∗ ∗ N k det(∂k∂k 1 λ>b ) = det(∂k∂k 1 λ>a ) λi − | − | a

Remark 15. It is easy to see that if dimCM=2n, then logI(M)=0. We know from the results in [28] that for odd dimensional CY manifolds I(M) > 0. So from now on we will consider only odd dimensional CY manifolds.

We will need the following result from [5] on p. 55:

Theorem 16. The Quillen norm of the C∞ section det(∂ ) on of is equal to I(M). a Ua L PROOF OF THEOREM 16. It follows from the Deﬁnition 11 of the section det(∂) a of and the deﬁnition of the Quillen metric that at each point τ (M) the |U L 2 2∈M following formula is true: det(∂)τ a = I(Mτ ) a , where det(∂)τ a means the |U Q |U |U Q Quillen norm of the section det(∂)τ a . Theorem 16 is proved. . |U

5. Construction of a C∞ Non Vanishing Section of the Determinant Line Bundle for Odd Dimensional CY Manifolds L n,0 5.1. Some Ppreliminary Results. Let us denote by π ω / (M) := π Ω ∗ X M ∗ / (M) X M the relative dualizing sheaf. The local sections of π ω / (M) are families of holomor- ∗ X M 2 phic n-forms ωτ on Mτ . Then on π ω / (M) we have a natural L metric deﬁned as ∗ X M follows:

2 n(n−1) n ω := ( 1) 2 √ 1 ω ω . k τ k − − M τ ∧ τ R Theorem 17. If the dimension of the CY manifold is even then is isomorphic to the L line bundle π ω / (M) . If the dimension of the CY manifold is odd then the dual of ∗ X M is isomorphic to the line bundle π ω / (M) over (M). L ∗ X M M Ray Singer Analytic Torsion of CY Manifolds II. 10

PROOF OF THEOREM 17. From the deﬁnition of CY says that:

1 j =0 or j = n dimC Hj (M, )= OM 0 for j =0 or n 6 This and the deﬁnition of CY manifold imply that

q π ω / (M) ∗ j = n R π M = ∗ X M ∗O (M) for j = n OM 6 n q q From the deﬁnition of it follows that ⋍ ( 1) det (R π M) . Combining all L L q=0 − ∗O these equalities we deduce directly Theorem 17.Q.

Corollary 18. Let M be a CY manifold of odd dimension n = 2m +1. Then the index of the operator ∂ on the complex deﬁned in Deﬁnition 9 is zero.

5.2. Holomorphic Structure on the Determinant line Bundle . In [5] a canonical smooth isomorphism is constructed between the holomorphic determinantL of Grothendieck- Knudsen-Mumford with Quillen determinant bundle. More precisely the following theorem is proved:

Theorem 19. Let π : (M) be a holomorphic fibration with smooth fibres. Sup- pose admits a closedX (1,1) →M form ψ which restricts to a Kähler metric on each fibre. Let X be a holomorphic Hermitian bundle with its Hermitian connection. Then the determinantE → X line bundle (M) of the relative ∂ complex (coupled to ) admits a holomorphic structure. TheL→M canonical connection (constructed in [3]) on isE the Hermi- tian connection for the Quillen metric. Finally, if the index of ∂ is zero, theL section det( ∂ ) of is holomorphic. E L From now on we will consider the family of CY manifolds (M) as defined in Theorem 8 together with the trivial line bundle over (M).X It →M is easy to see that the family (M) fulfill the conditions of the TheoremE M 19. X →M

5.3. Construction of a C∞ Section of the Determinant Line Bundle with Quillen Norm Ray-Singer Equal to Ray-Singer Analytic Torsion. L

2 0,2k 2 0,2k+1 Deﬁnition 20. Let + = L (M, ΩM ) and = L (M, ΩM ) and D = ∂ / (M)+ H ⊕k H− ⊕k X M ∗ ∂ / (M). X M

Theorem 21. Let M be a CY manifold of odd dimension, then as C∞ bundle the determinant line bundle is trivial and there exists a global C∞ section det(∂) of (M), which has no zeroesL on (M) and whose Quillen norm is the Ray Singer AnalyticL→M Torsion. M Ray Singer Analytic Torsion of CY Manifolds II. 11

PROOF OF THEOREM 21. PROOF: The proof of Theorem 21 is based on the following three Theorems:

Theorem 22. The ﬁrst Chern class of the ralative dualizing sheaf π ω / (M) is given c ∗ X M locally by the formula c1(π ω / (M)) = dd ( ωτ ,ωτ ) = Im (Weil-Petersson metric) , ∗ X M h i − where ωτ is a holomorphic family of holomorphic n forms.. (See [26].)

Theorem 23. Locally on the moduli space (M) the following formula holds M ddc (log(det( ))) = Im (Weil-Petersson metric) . (See [28].) △0 −

2 Theorem 24. i. I(M)=(det( 0)) ii. around each point τ τ (M) we have 2 △ ⊂ U ∈ M I(M) τ =< ω,ω > φ , where φ is a holomorphic function on and iii. The positive function|U det( ) is bounded| | by a constant C, i.e. det( ) < C. U(See [28].) △0 △0 We will proof the following Lemma:

Lemma 25. The first Chern class c1( ) of the C∞ determinant line bundle is equal to zero in H2( (M), Z). L L M Proof of Lemma 25: Theorem 17 implies that when the CY manifold M has an odd dimension then the determinant line bundle is isomorphic to the relative dualizing L sheaf π (ω / (M)). So we need to proof that c1(π (ω / (M)))=0. The proof of Lemma 25 is based∗ X onM the follwoing obeservation: Notice∗ thatX M the definition of the Ray Singer analytic torsion implies that I(Mτ ) is a positive function different from a constant on (M). From Theorem 24 we know that we have the following local expression of I(M ): M τ 2 2 I(Mτ ) = ωτ φ |U k k | |

where ωτ is a holomorphic family of holomorphic n-forms on Mτ , φ is a holomorphic function on and U n(n−1) 2 2 n ωτ = √ 1 ( 1) 2 ωτ ωτ . k k − − Mτ ∧ R Theorems 23 and 22 imply that

√2 1 − ∂∂ log(I(Mτ )) = c1( )= c1(π (ω / (M))). 2 L ∗ X M

Since ∂∂ log(I(Mτ )) = d ∂ log(I(Mτ )) we deduce that √2 1 √2 1 − ∂∂ log(I(M )) = c ( )= − d ∂ log(I(M )) = dα. 2 τ 1 L 2 τ So c ( ) = 0 in H2( (M), Z). This proves Lemma 25. . 1 L M

Corollary 26. The determinant line bundle as a C∞ bundle is trivial. L So the ﬁrst part of Theorem 21 is proved. The proof of the second part of Theorem 21 is based on the following Lemma: Ray Singer Analytic Torsion of CY Manifolds II. 12

Lemma 27. There exists a non vanishing global section det(∂) of the dual of the determinant line bundle such that the Quillen norm of det(∂)= I(M). L

Proof of Lemma 27: From Corollary 26 we can conclude the existence of a global C∞ section ω of (M), which has no zeroes on (M) and such that for each τ (M) L→M M ∈M it has L2 norms 1, i.e. we have ω 2 =1. Since M is an odd dimensional CY manifold k τ k τ we know from Theorem 17 hat is isomorphic to π (ω / (M)). The non vanishing section ω of the determinant line bundleL can be interpreted∗ X M as a family of (2n+1,0) forms ω L which generate the kernel of D∗ : +. The kernal of D : + is generated by the constant 1. This follows directlyH− → from H the definition of theH CY→ manifold. H− From Definition 11 of the section det(∂a) on the open set a (M), the existence of 2 U ⊂M 2n+1 a C∞ family of antiholomoprhic forms ωτ with L norm 1, which trivializes R π ( ∗ OX ) over (M) and the definition of the transition functions σa,b of with respect to the coveringM , we deduce that for b>a we have on { det(} ∂ )L = det(∂ )σ . This {Ua} Ua ∩Ub b b a,b fact and Theorem 16 imply that we constructed a global C∞ section det(∂) of whose Quillen norm is the Ray Singer Analytic Torsion. So the determinant line bundleL is a L trivial C∞ line bundle. Theorem 21 is proved. .

Corollary 28. The determinant line bundle as a holomorphic bundle is flat over (M). M 6. The Analogue of the Dedekind Eta Function for Odd Dimensional CY Manifolds 6.1. Metrics on Vector Bundles with Logarithmic Growth. In Theorem 7 we constructed the moduli space (M) of CY manifolds. From the results in [30] and The- orem 7 we know that (M) isM a quasi-projective non-singular variety. Using Hironaka’s resolution theorem, weM may suppose that (M) (M), where (M) (M) = is a divisor with normal crossings. We needM to show,⊂ M now how we willM exte\Mnd the determi-D∞ nant line bundle to a line bundle to (M). For this reason we are going to recall the following definitionsL and results fromL [21].M We will look at the policylinders DN (M), where D is the unit disk and N = dim (M) and ⊂ M M N D = union of hyperplanes; τ1 =0, ..., τk =0 . ∩ D∞ { } N k N k Hence D (M)=(D∗) D ≤− . In D∗ we have the Poincare metric ∩M × 2 2 dz | | ds = z 2(log z )2 | | | | 2 k r k and in D we have the simple metric dz , giving us a product metric on (D∗) D − which we call ω(P ). | | × A complex-valued C∞ p-form η on (M) is said to have Poincare growth on (M) (M) M M \M if there is a set of if policylinders α (M) covering (M) (M) such that in each an estimate of the following typeU holds:⊂ M M \M Uα (P ) (P ) η(τ1, ..., τN Cαω α (τ1, τ1)...αω α (τN , τN ). | |≤ U U This property is independent of the covering of (M) (M) but depends on Uα M \M the compactification (M). If η1 and η2 both have Poincare growth on (M) (M) , then so does η η .M The basic property of the Poincare growth is the following:M \M 1 ∧ 2 Ray Singer Analytic Torsion of CY Manifolds II. 13

Theorem 29. A p-form η with a Poincare growth on (M) (M) , has the property M \M that for every C∞ (r-p) form ψ on (M) we have: M η ψ < . (M) (M) | ∧ | ∞ RM \M Hence, η defines a current [ η] on (M). M PROOF OF THEOREM 29. For the proof see [21]. . A complex valued C∞ p-form η on (M) is good on M if both η and dη have Poincare growth. Let be a vector bundle on M(M) with a Hermitian metric h. We will call h a good metricE on (M) if the followingM holds: i. for all x (M) (M) , there exists M ∈ M \M r sections e1, ..., em of which forma basis of Dr (Dr ∞) . ii. In a neighborhood D E E \ ∩D iii. of x in which (M) (M) is given by z1 . z k =0. The metric hij =h(ei,ej ) has M \M × × 2m 1 k the following properties: a. h , (det (h))− C log z , for some C > 0, ij ≤ i=1 | i| 1 P r m 0. b. The 1-forms (dh) h− are good forms on (M) D . ≥ ij M ∩ It is easy to prove that there exists a unique extension of on (M), i.e. is defined locally as holomorphic sections of which have finiteE normE in h.M E E Theorem 30. Let ( ,h) be a vector bundle with a good metric on (M), then the E M Chern classes ck( ,h) are good forms on (M) and the currents [ck( ,h] represent the cohomology classesE M E

c ( ,h) H2k( (M), Z). k E ∈ M PROOF OF THEOREM 30. For the proof see [21]. .

6.2. Applications of Mumford’s Results to the Moduli of Odd Dimensional CY. We are going to prove the following result:

Theorem 31. Let π : (M) be the ﬂat family of non-singular CY manifolds. Let n,0 X →M π (Ω / (M)) be equipped with the metric h deﬁned as follows: ∗ X M n(n−1) n h(ω ,ω ) = ( 1) 2 √ 1 ω ω . τ τ − − M τ ∧ τ R Then h is a good metric.

PROOF OF THEOREM 31. Let τ0 and let D be a one dimensional disk in ∈ D∞ (M) which intersects on τ0 and D∗ =D τ0 (M) . Over D τ0 we have a family M D∞ \ ∈M \ ∗ D τ of CY manifolds. We will assume that D is the unit disk and τ is the origin MD → \ 0 0 of the disk. We know from the theory of Hodge structures that if γ1, ..., γbn is a basis of Hn(M,Z)/Tor then the functions: { }

..., ω , ... γi τ R for 0 < τ < 1 and 0 < arg(τ) < 2π are solutions of diﬀerential equation with regular singularities.| | From the fact that the solutions of any diﬀerential equation with regular singularities has a logarithmic growth and

t h(ω ,ω )= ..., ω , ... (<γ ,γ >) ..., ω , ... τ τ γi τ i j γi τ R R Ray Singer Analytic Torsion of CY Manifolds II. 14

we deduce that

2m h(ω ,ω ) C k log τ . τ τ ≤ i=1 | i| P From here we conclude that the form ∂ (log(h)) has also a logarithmic growth. Our theorem is proved. .

6.3. Construction of the Analogue of the Dedekind η Function for Odd Di- mensional CY manifolds.

Theorem 32. Let M be an odd dimensional CY manifold, then the C∞ section det(∂) of the determinant line bundle constructed in Theorem 21 can be prolonged to a sec- L tion det(∂) of the line bundle and det(∂) vanishes on the discriminant locus := (M) (M). L D∞ M \M PROOF OF THEOREM 32. We know from Theorem 21 that the Quillen norm of the section det(∂) of the determinant line bundle on (M) is equal to the holomorphic 2L M Ray-Singer analytic torsion I(M), i.e. det(∂) Q =I(M). On the other hand we proved 2 in [28] that I(M)=(det(∆0)) . This fact and Theorems 23 and 22 imply that locally on (M) the following formula is true: M

c I(M) c det( 0) dd log = dd log △ =0. ωτ ,ωτ ωτ ,ωτ h i h i From here we deduce in [28] that for each point τ (M) there exists an open set τ such that we have ∈ M ∈Uτ 2 2 det(∂) τ = ωτ ,ωτ f(τ) , |U Q h i | |

where f is a holomorphic function in . Let us choose such that (M) = . Uτ U U∩M 6 ∅ Let τ0 . We will prove that we can continue f locally around a point τ0 ∈ D∞ ∩U ∈ = (M) (M). Indeed we proved in Theorem 31 that ωτ ,ωτ have a logarithmic D∞ M \M h i 2 growth around τ0 = (M) (M). Theorem 24 implies that det(∂) =I(M)= ∈ D∞ M \M Q 2 2 (det( 0)) C and I(M) τ =< ω,ω > f so we can conclude that lim f(τ)=0 U τ τ △ ≤ | | | → 0 since lim ωτ ,ωτ = and ωτ ,ωτ has a logarithmitic growth. From here we deduce , τ τ → 0 h i ∞ h i and f can be continued around any point τ = (M) (M). This fact and Theo- ∈ D∞ M \M rem 31 implies that the canonical section det(∂) can be prolonged to a section det(∂) U U of the line bundle and det(∂) vanishes on the discriminant locus := (M) (M). Theorem 32 is proved.L . D∞ M \M

Theorem 33. There exists a multi valued holomorphic section η of the dual of the determinant line bundle over (M) such that the norm of η with respect to the metric deﬁned in Theorem 31L is equalM to the Ray Singer Analytic torsion I(M)= det( )2. △0 Ray Singer Analytic Torsion of CY Manifolds II. 15

PROOF OF THEOREM 33. Theorem 21 implies that the line bundle is a ^ L trivial C∞ bundle. So the pullback π∗( ) on the universal cover (M) of (M) will L M M be a trivial line bundle. Let σ be any non vanishing section of π∗( ). Then since = ^ L L (M) C/ ∼, where (τ,t) ∼ (τ ,t ) τ = gτ and t = χ(g)t, where g π ( (M)) M × e 1 1 ⇔ 1 1 ∈ 1 M and χ is a chararcter of π1( (M)) that defines . Theorem 33 is proved. . We know from the resultsM in [5] and 16 that theL determinant line bundle over (M) has a holomorphic structure. In the next Theorem we will consider as aL holomorphicM line bundle defined over (M). L M N Theorem 34. There exists a positive integer N such that ⊗ is a trivial complex analytic line bundle over (M). L M ≅ 0 2n+1,0 PROOF OF THEOREM 34. According to Theorem 17 R π (Ω / (M)), L ∗ X M where dimC M =2n +1. Therefore is a subbundle of the flat vector bundle R2n+1π C where C is the locally constant sheafL on , and π : (M) is the versal family∗ of CY manifolds over (M). We know fromX TheoremX 7 →M that (M) = (M)/Γ, where (M) is the TeichmüllerM space and Γ is a subgroup of the mappingM classT group of M and accordingT to [24] Γ is an arithmetic group. If we lift the flat bundle Rnπ C on (M), then R2n+1π C will be a trivial bundle isomorphic to (M) H2n+1(M ∗, C). LetT us denote by ∗ T × 0 σ : (M) (M)= (M)/Γ T →M T

the natural map. Clearly σ∗( ) will be a ﬂat complex analytic subbundle of the trivial bundle (M) H2n+1(M , C). L T × 0 Proposition 35. Let N be a quasi-projective variety, ≅ Cn N be a trivial bundle E × and be a ﬂat line bundle over N such that ∗ , then is also trivial. L L ⊂E L

Proof of Proposition 35: Let N be the universal cover of N. Clearly π1(N) acts without fixed points on N. The pullback of on N will be denote by . will be a trivial e line bundle since is a flat bundle over N.LLet us denote by the pullbackL L of on . ∗ e e e e π (N) acts triviallyL on the trivial vector bundle since isE a trivial vector bundleE N on 1 E E e e N. The condition implies that . π (N) acts trivially on the trivial line bundle L⊂E L⊂ E 1 e since π (N) acts trivially on the trivial vector bundle and . is a trivial bundle L 1 e e E L⊂E L over N since π (N) acts trivially on the trivial line bundle . Proposition 35 is proved. e 1 e e e . L e Proposition 35 implies we that σ∗( ) will be a trivial line bundle. The fact that L σ∗( ) ≅ C (M) is a trivial bundle implies that ≅ C (M)/Γ, where Γ acts in L ×T L ×T C ≅ a natural way on the Teichmüller space and it acts by a character χ Hom(Γ, 1∗) C C ∈ Hom(Γ/[Γ, Γ], 1∗) on . According to a Theorem of Kazhdan Γ/[Γ, Γ] is a finite group since Γ is an arithmetic group of rank 2 according to [24] and [8]. From here we deduce that N will be a trivial bundle on ≥(M), where N = #Γ/[Γ, Γ]. Theorem 34 is proved. . L M

N N Corollary 36. There exists a holomorphic section η of the trivial bundle ( ∗) such N N L that it can be prolonged to a holomorphic section η of ( ∗) whose zero set is supported N 2 2N L by and the Quillen norm η = det(∆0) . D∞ Q

Ray Singer Analytic Torsion of CY Manifolds II. 16

Proof of Corollary 36: As we pointed out we can prolonged the dual of the determinant line bundle from (M) to a holomorphic line bundle over (M). In Theorem L M L∗ M 21 we constructed a non vanishing C∞ section det(∂) of ∗ over (M). We know that the norm of det(∂) with respect of the metric on definedL in TheoremM 31 is exactly equal L 2 to the Ray Singer Analytic Torsion I(M)= det(∆0) . From Theorem 32 we know that we can prolong the section det(∂) to a section det(∂) of the line bundle over (M) L∗ M and the support of the zero set of det(∂) is exactly . From here we deduce that the Poincare dual homology class of the Chern class of Dis∞ an effective divisor whose support is the same as that of . Combining this fact togetherL with Theorem 34 we conclude D∞ N that there exists a holomorphic section ηN of the line bundle over (M) whose L∗ M zero set is supported by and the multiplicities of the components of the irreducible D∞ N divisors of (η)N are the same as of det(∂) . The fact that ηN is defined up to a con- N N 2 stant and Corollary 33 we conclude that after normalizing η its Quillen norm η Q 2N will be det(∆0) . Corollary 36 is proved. 7. Some Problems Let us define Sh(C,E,Z) to be the set of all families π : Y C of fixed type CY manifolds Z over a fix complete algebraic curve C with a fixed set of→ points over which the fibres are singular, up to isomorphisms.

Problem 37. Is the set Sh(C,E,Z) ﬁnite?

The results of this paper combined with the results from [17] imply that the set Sh(C,E,Z) is discrete. In order to prove that it is finite one need to find a uniform bound on the volume of the image of the curve in the moduli space (M) of CY manifolds. We found a bound of the images of fix C and fix set of points E onM C over we which the fibres are singular by using Gauss-Bonnet theorem and the fact that Weil-Petersson metric is complete on the moduli space of pseudo polarized algebraic K3 surfaces. This method does not work for CY threefolds, since Weil-Petersson metric is not complete.

Problem 38. Can one ﬁnd a product formulas for η around points of maximal degen- erations, which means that around such points the monodromy operator has index of unipotency n + 1?

For more precise discussion of Problem 38 see [29]. Problem 38 is closely related to the paper [2] and more precisely to the counting problem of elliptic curves on CY threefold.

Problem 39. Is is true that any CY manifold can be deformed to an algebraic manifold with one conic singularity?

Problem 39 is related to the following problem: Let M be an algebraic variety embed- N ded in P . Suppose that the component of the Hilbert scheme ′ N that contains an HM/P open non singular quasi-projective subscheme PN . Let be the set of the points HM/ DM in PN that corresponds to singular varieties. It is not diﬃcult to prove that is a HM/ DM closed subvariety in PN . Suppose that is a divisor in PN . HM/ DM HM/

Problem 40. Is it true that the generic point of M corresponds to a projective manifold with only one conic singularity? D Ray Singer Analytic Torsion of CY Manifolds II. 17

The results of this paper suggest that one can expect that the Hilbert scheme ′ N HM/P of odd dimensional CY manifold M contains a non singular open quasi-projective variety M/PN such that the discriminant locus M is a divisor. H Problem 40 is closely related to the MilesD Ried’s conjecture that the moduli of all CY threefolds is connected.

References [1] D. Abramovich, J. -F. Burnol, J. Kramer and C. Soulé, ”Lectures on Arakelov Ge- ometry”, Cambridge Studies In Advanced Mathematics Volume 33, Cambridge Uni- versity Press, 1992. [2] M. Bershadsky, S. Cecotti, H. Ooguri and C. Vafa, ”Kodaira-Spencer Theory of Grav- ity and Exact Results for Quantum String Amplitude”, Comm. Math. Phys. 165 (1994), 311-428. [3] J.-M. Bismut and D. Freed, ”The Analysis of Elliptic Families I. Metrics and Con- nections on Determinant Line Bundles”, Comm. Math. Phys. 106, 159-176(1986). [4] E. Bishop, ”Conditions for the Analyticity of Certain Sets.” Mich. Math. J. 11(1964) 289-304. [5] J.-M. Bismut, H. Gillet and C. Soulè, ”Analytic Torsion and Holomorphic Determi- nant Bundles I. Bott-Chern Forms and Analytic Torsion”, Comm. Math. Phys.115, 49-78(1988). [6] J.-M. Bismut, H. Gillet and C. Soulè, ”Analytic Torsion and Holomorphic Determi- nant Bundles II. Direct Images and Bott-Chern Forms ”, Comm. Math. Phys.115, 79-126(1988). [7] N. Berline, E. Getzler and M. Vergne, ”Heat Kernels and Dirac Operators”, Springer Verlag, 1991. [8] A. A. Kirillov and Cl. Delaroche, ”Sur les Relations entre l’espace dual d’un group et la struture de ses sous-groupes fermés” (d’après D. A. Kazhdan), Bourbaki No. 343, 1967/68. [9] S. Donaldson, ”Infinite Determinants, Stable Bundles and Curvature”, Duke Math- ematical Journal, vol. 54, Number 1(1987), 231-248. [10] S. Donaldson and P. Kronheimer, ”The Geometry of Four Manifolds”, Oxford Mat. Monog., Oxford Science Publications, Oxford University Press, New York 1990. [11] D. Freed, ”On Determinant Line Bundles”, Mathematical Aspects of String Theory, ed. S.-T. Yau, World Scientific, Singapore, New Jersey, Hong Kong, p. 189-238(1998). [12] P. Gilkey, ”Invariance Theory, The Heat Equation, And the Atiyah-Singer Index Theorem”, Mathematics Lecture Series vol. 11, Publish or Parish, Inc. Wilmington, Delaware (USA) 1984. [13] Ph. Griffiths, ”Periods of Integrals on Algebraic Manifolds” I and II, Amer. Jour. Math. 90 (1968), 568-626 and 805-865. Ray Singer Analytic Torsion of CY Manifolds II. 18

[14] J. Jorgenson and A. Todorov, ”A Conjectural Analogue of Dedekind Eta Function for K3 Surfaces”, Math. Research Lett. 2(1995) 359-360. [15] J. Jorgenson and A. Todorov, ”Analytic Discriminant for Manifolds with Zero Canon- ical Class”, Manifolds and Geometry, ed. P. de Bartolomeis, F. Tircerri and E. Vesan- tini, Symposia Mathematica 36, (1996) 223-260. [16] J. Jorgenson and A. Todorov, in preparation. [17] J. Jorgenson and A. Todorov, ”Ample Divisors, Automorphic Forms and Shafare- vich’s Conjecture”, preprint 1999. [18] J. Jorgenson and A. Todorov, ”Analytic Discriminant for Polarized Algebraic K3 Surfaces”, Mirror Symmetry III, ed. S-T. Yau and Phong, AMS, p. 211-261. [19] K. Kodaira and Morrow, ”Complex Manifolds”. [20] T. Matsusaka and D. Mumford, ”Two Fundamental Theorems on Deformations of Polarized Varieties”, Amer. J. Math. 86(1964). [21] D. Mumford, ”Hirzebruch’s Proportionality Principle in the Non-Compact Case”, Inv. Math. 42(1977), 239-272. [22] J.Roe, ”Elliptic Operators, Topology and Asymptotic Methods” Pitman Research Notes in Mathematics Series 179, Longman Scientific & Technical, 1988. [23] D. Ray and I. Singer, ”Analytic Torsion for Complex Manifolds”, Ann. Math. 98 (1973) 154-177. [24] D. Sullivan, ”Infinitesimal Computations in Topology”, Publ. Math. IHES, No 47 (1977), 269-331. [25] G. Tian, ”Smoothness of the Universal Deformation Space of Calabi-Yau Manifolds and its Petersson-Weil Metric”, Math. Aspects of String Theory, ed. S.-T.Yau, World Scientific (1998), 629-346. [26] A. Todorov, ”The Weil-Petersson Geometry of Moduli Spaces of SU(n 3) (Calabi- Yau Manifolds) I”, Comm. Math. Phys. 126 (1989), 325-346. ≥ [27] A. Todorov, ”Witten’s Geometric Quantization of Moduli of CY manifolds”, preprint 1999. [28] A. Todorov, ”Ray Singer Analytic Torsion of CY Manifolds I”. Preprint. [29] A. Todorov, ”Weil-Petersson Geometry of CY Manifolds II’, preprint. [30] E. Viehweg, ”Quasi-Projective Moduli for Polarized Manifolds”, Ergebnisse der Mathematik und iher Grenzgebiete 3. Folge, Band 30, Springer-Ver;ag, 1991. [31] Yoshikawa, ”Generalized Enriques Surfaces and Analytic Torsion”, preprint (1998). [32] S. T. Yau, ”On the Ricci Curvature of Compact Kähler Manifolds and Complex Monge-Amper Equation I”, Comm. Pure and App. Math. 31, 339-411(1979).