arxiv: v1 [math.dg] 2 Apr 2018

Transcription

1 THE ASYMPTOTICS OF THE L -CURVATURE AND THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE arxiv: v1 [math.dg] Apr 018 XUEYUAN WAN AND GENKAI ZHANG Abstract. We consider the relative canonical line bundle K X/T and a relatively ample line bundle L,e φ ) over the total space X T of fibration over the Teichmüller space by Riemann surfaces. We consider the case when the induced metric 1 φ Xy on has constant scalar curvature and we obtain the curvature asymptotics of L -metric and Quillen metric of the direct image bundle E k π L k +K X/T ). As a consequence we prove that the second variation of analytic torsion τ k ) satisfies logτ k ) ok l ) at the point y T for any l 0 as k. Contents 1. Introduction 1. Preliminaries 4.1. Analytic torsion and Quillen metric 4.. Berndtsson s curvature formula of L -metric 6.3. Bergman Kernel on Riemann surface 7 3. The second variation of analytic torsion The curvature of L -metric The curvature of Quillen metric The proof of Theorem References Introduction In the present paper we shall study the asymptotics of the second variation of analytic torsions for higher powers of a line bundle for a family of Riemann surfaces. Consider first a general holomorphic fibration π : X T with fibers being n-dimensional compact manifolds, a relative ample line bundle L and the relative canonical line bundle K X/T over X. Let E k π L k +K X/T ) be the direct image bundle over T. The holomorphic vector bundle E k is equipped with two natural metrics, the L -metric and Quillen metric see Section ). In 1

2 XUEYUAN WAN AND GENKAI ZHANG a recent preprint [18] we prove that the second variation of analytic torsion satisfies 1.1) logτ k ) ok n 1 ); see [18, Corollary 1.3]. This is done by comparing the curvatures of these two metrics, expanding the resolvent operator + k) 1 and by using Tian- Yau-Zelditch expansion of Bergman kernels on fibers. The same result can also be deduced from a recent paper of Finski [13]. It is then natural and interesting to ask whether the coefficients of the orders lower than k n 1 are zero. One important case of the above consideration is the fibration X over Teichmüller space T by Riemann surfaces, also called Teichmüller curve, [1]. It is now well-known that the Bergman kernel expansion for line bundles L k over Riemann surfaces has only two terms, namly the linear term c 1 k and constant term c 0, the remaining term being exponentially decaying [14]. We may expect that the variation of the analytic torsion is also decaying exponentially for k. Indeed when the line bundle L is the relative canonical line bunde the exponential decaying property is proved in [1]; the analytic torsion in this case is expressed in terms of the Selberg zeta function [17] and can be studied by explicit computations. In the present paper we will consider a general line bundle L over the the Teichmüller curve and prove 1.1) holds for any order. In this case there is no explicit formula for the analytic torsion. We describe below more precisely our results and their proofs. Let L be a relative ample line bundle, i.e. there exists a metric φ such that its curvature 1 φ Xy 1φ v v dv d v > 0 on each fiber : π 1 y) for any y T, and let K X/T : K X π K T denote the relative canonical line bundle. We will consider the following direct image bundle 1.) E k π L k +K X/T ) over the Teichmüller space T. Let D y y + y be the Dirac operator acting on A 0,1,L k + K X/T ) of 0,1)-forms. For any b > 0, denote by D b,+ ) the restriction of D on the sum of eigenspaces of A 0,1,L k + K X/T ) for eigenvalues in b,+ ). Then the Ray-Singer) analytic torsion is defined by ) 1/ τ k ) τ k b,+ ) ) detd b,+ ) ) ) and is a positive smooth function on T. Here b is a constant less than all positive eigenvalues of D see Definition.). The analytic torsion and its second variation on Teichmüller space have been studied in details by [10, Theorem 3.10 and Theorem 5.8]. In this paper, we prove

3 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE 3 Theorem 1.1. Let π : X T be the holomorphic fibration over Teichmüller space T. Suppose that the induced metric 1 φ Xy on has constant scalar curvature. Then 1.3) logτ k ) ok l ) at any point y T for any l 0 as k. Here the asymptotic 1.3) denotes logτ k ))ζ,ζ) ok l ) for any vector ζ T y T. Recall Theorem.3 see below) that the Quillen metric on T is defined by the analytic torsion for the the fibration. In the papers [6, 7, 8], J.-M. Bismut, H. Gillet and C. Soulé computed the curvature of Quillen metric for a locally Kähler family and obtained the differential form version of Grothendieck- Riemann-Roch Theorem. Moreover, they proved that as a holomorphic bundle, λ y deth i,l k +K X/T ) 1)i+1. i 0 By Kodaira vanishing theorem, H i,k X/T +L k ) 0 for all i 1, thus λ dete k ) 1. Let det k denotethe natural inducedl -metric on linebundleλ 1 dete k. Then it follows from 3.6) that 1.4) det k b ) ) for b > 0 a sufficiently small constant, where b ) ) denotes the dual of the L -metric b ). The Chern forms of the L -metric has been studied intensively and Berndtsson [, 3, 4] has found the curvature of the vector bundle, 1Θ E k u,u kcφ) u e kφ +k +k) 1 i µα u,i µβ u 1dz α d z β, X/M where the definitions of cφ), µ α and are given in Theorem.5. To prove Theorem 1.1 we shall find the expansion of the curvature of E k. Theorem 1.. For any vector ζ ζ α z α T y T, we have 1.5) 1c 1 E k, k )ζ, ζ) 6k 6kρ+ρ 4π µ +ok l ) ρ) for any l 0, where µ v φ α v φ v v ) 1 )ζ α d v v and µ v φ α v φ v v ) 1 )ζ α 1 φ.

4 4 XUEYUAN WAN AND GENKAI ZHANG The Quillen metric Q on the determinant line λ see Definition.1) is patched by the L -metric b on λ b see.1)) and the analytic torsion τ k ), i.e. 1.6) b b τ k ), where b > 0 is a sufficiently small constant. From [18, Proposition 3.9], we obtain the curvature of Quillen metric. Theorem 1.3. For ζ T y T, we have 1.7) 1c 1 λ, Q ))ζ, ζ) 6k 6kρ+ρ 4π µ. ρ) Using 1.4) and 1.6) we have furthermore 1 1.8) π logτ k )) c 1 λ, Q ) c 1 E k, k ). Theorem 1.1 is then an immediate consequence of Theorem 1. and Theorem 1.3. We mention finally that our result states that the second variation of analytic torsion decays faster than any k l, and it would be interesting to know if it is decaying exponentially as e kc. Thisarticle isorganized asfollows. InSection, wefixthenotation andrecall some definitions and facts on analytic torsion, Quillen metric, Berndtsson s curvature formula and Bergman kernel on Riemann surface. In Section 3, we find the expansion of c 1 E k, k ) and prove Theorem 1.. We also give the expression of c 1 λ, Q ) and prove Theorem 1.3. By comparing with their expansions, we prove Theorem 1.1. We would like to thank Bo Berndtsson for many insightful discussions on the curvature formula of direct image bundles and Miroslav Englis for careful explanation of Bergman kernel expansions on Riemann surfaces,. Preliminaries.1. Analytic torsion and Quillen metric. We start with the rather general setup of holomorphic fibrations and specify them later to the case of the fibration by Riemann surfaces over Teichmüller space. The definitions and results in this subsection can be found in [5, 6, 7, 8, 15, 16]. Let π : X M be a proper holomorphic mapping between complex manifolds X and M, F,h F ) a holomorphic Hermitian vector bundle on X, F the corresponding Chern connection, and R F F ) its curvature. For any y M, let π 1 y) be the fiber over y with Kähler metric g Xy depending smoothly on y. The fibers are assumed to be compact. The operator D y y + y acts on the fiber A 0,,F). For b > 0, let K b,p y be the sum of the eigenspaces of the operator D y acting on A 0,p,F)

5 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE 5 for eigenvalues < b. Let U b be the open set U b {y M;b SpecDy }. Set K b,+ pevenk b,p, K b,+ K b,p, K b K b,+ K b,. podd Define the following line bundle λ b on U b by.1) λ b detk b,0 ) 1 detk b,1 ) detk b, ) 1. For 0 < b < c, if y U b U c, let K y b,c),p be the sum of eigenspaces of Dy in Ep y for eigenvalues µ such that b < µ < c. Define similarly K y b,c),+, K y b,c),, K y b,c) and and λ b,c). Let b,c) and D b,c) be the restriction of and D to K b,c), and D b,c) ± the restriction of D to K b,c),±. The bundle λ b,c) has a canonical non-zero section T b,c) ) which is smooth on U b U c see [6, Definition 1.1]). For 0 < b < c, over U b U c, we have the C identifications λ c λ b λ b,c), which is given by the following C map.) s λ b s T b,c) ) λ c. Definition.1 [8, Def. 1.1]). The C line bundle λ over M is {U b,λ b )} with the transition functions.) on U b U c. The analytic torsion was introduced by Ray and Singer [16]. Definition.. The analytic torsion τ b,c) ) is defined as the positive real number 3 ) 1/, τ b,c) ) detd b,c) 1 ) )detd b,c) ) ) detd b,c) 3 ) ) where D p b,c) is the restriction of D to K b,c),p, 1 p n. If b is a small constant less than all positive eigenvalues of Dy, we denote τ ) : τ b,+ ) ). Let b denote the following metric on the line bundle λ b,u b ),.3) b b τ y b,+ ) ), where b is the standard L -metric. The definition of Quillen metric Q and its Chern form c 1 λ, Q ) are given by the following theorem. Theorem.3 [6, 7, 8]). The metrics b on λ b,u b ) patch into a smooth Hermitian metric Q on the holomorphic line bundle λ. The Chern form of Hermitian line bundle λ, Q ) is.4) c 1 λ, Q ) { X/M The Knudsen-Mumford determinant is defined by R T X/M ) [ R F )] } 1,1) Td Tr exp. πi πi λ KM detrπ F) 1. On each fiber it is given by λ KM y i 0 dethi,f) 1)i+1.

6 6 XUEYUAN WAN AND GENKAI ZHANG Theorem.4 [6, 7, 8]). Assume that π is locally Kähler. Then the identification of the fibers λ y λ KM y defines a holomorphic isomorphism of line bundles λ λ KM. The Chern form of the Quillen metric on λ λ KM is given by.4). Here locally Kähler means that there is an open covering U of M such that if U U, π 1 U) admits a Kähler metric... Berndtsson s curvature formula of L -metric. We refer [, 3, 4] and references therein for the proof and background. Let π : X M be a holomorphic fibration with compact fibres and L a relative ample line bundle over X. We denote by z;v) a local admissible holomorphic coordinate system of X with πz;v) z, where z {z α } 1 α dimm, v {v i } 1 i dimx dimm are the local coordinates of M and fibers, respectively. Let φ be a metric of L such that 1 φ) Xy > 0 for any point y M. Set.5) δ δz α : z α φ α jφ jk vk, 1 α dimm. Here φ α j : z α v jφ, φ jk ) denotes the inverse of the matrix k jφ). The geodesic curvature cφ) is defined by 1dz cφ) φ α β φ α jφ i j φ i β) α d z β, which is a well-defined real 1,1)-form on X. Let {dz α ;δv k } denote the dual frame of { } δ δz ; α v. The form 1 φ has the following decomposition [11, i Lemma 1.1].6) 1 φ cφ)+ 1φi jδv i δ v j. Consider the direct image bundle E : π K X/M + L) with the natural L - metric, [, 3, 4],.7) u : u e φ. for any u u dv e E y, where e is a local holomorphic frame of L X, dv dv 1 dv n. Here We denote u e φ : 1) n u e dv d v 1) n u e φ dv d v. µ α v l φ α jφ ji ) d v l v i. The following theorem was proved by Berndtsson in [4, Theorem 1.], its proof can also be found in [11, Theorem 3.1].

7 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE 7 Theorem.5 [4]). For any y M the curvature Θ E u,u, u E y, of the Chern connection on E with the L -metric is given by 1Θ E u,u cφ) u e φ + 1+ ) 1 i µα u,i µβ u 1dz α d z β. Here + is the Laplacian on L Xy -valued forms on defined by the 1,0)-part of the Chern connection on L Xy. We replace now the Hermitian line bundle L,e φ ) by L k,e kφ ), and consider the corresponding direct image bundle E k : π L k + K X/M ). Let k resp. ) be the adjoint operator of with respect to L k,e kφ ) and X,kω k 1 φ) resp. X,ω 1 φ)). We have.8) 1[Λ kω, ] 1 k 1[Λω, ] 1 k. Hence.9) k k + k 1 k. From Theorem.5 and.9), the curvature of L -metric see.7)) on E k is given by.10) 1Θ Ek u,u ckφ) u e kφ + 1+ k ) 1 i µα u,i µβ u kω 1dz α d z β kcφ) u e kφ +k k + ) 1 i µα u,i µβ u 1dz α d z β for any element u of E k y..3. Bergman Kernel on Riemann surface. Let M be an compact complex Kähler manifold with an ample line bundle L over M. Let g be the Kähler metric on M corresponding to the Kähler form ω g Rich) for some positive curvature Hermitian metric h on L. The metric h induces a metric h k on L k. Let {S 0,,S dk 1} be an orthonormal basis of the space H 0 M,L k ) with respect to the inner S,T) Sx),Tx) hk dv g, M where d k dimh 0 M,L k ). Then the diagonal of Bergman kernel is given by.11) d k 1 i0 S i x) h k. The Tian-Yau-Zelditch expansion of Bergman kernel has been extensively studied. For Riemann surfaces it has some particular nature in that the expansion has only two terms; more precisely we have the following

8 8 XUEYUAN WAN AND GENKAI ZHANG Theorem.6 [14, Theorem 1.1]). Let M be a regular compact Riemann surface and K M be the canonical line bundle endowed with a Hermitian metric h such that the curvature Rich) of h defines a Kähler metric g on M. Suppose that the metric g has constant scalar curvature ρ. Then there is a complete asymptotic expansion:.1) d k 1 i0 S i x) h k k1+ ρ k )+O e logk) 8 where {S 0,,S dk 1} is an orthonormal basis for H 0 M,KM k ) for some k > max{e ρ, ρ 4/3, 1 δ, ρ }, where δ is the injective radius at x 0. We note that the expansion holds also for the bundle L m + K M where L is any ample line bundle such that its curvature gives a Kähler metric with constant scalar curvature. Indeed the same proof there works also for this case; alternatively one may argue abstractly that the expansion is determined by the curvature of L. Presumably the above expansion can be proved using the more elementary method in [9].) ), 3. The second variation of analytic torsion Let T be the Teichmüller space of Riemann surface of genus g. Let π : X T be the holomorphic fibration of the Teichmüller curve over T, the fiber : π 1 y) being exactly the Riemann surface given by the complex structure y T ; see [1]. Let L be a relative ample line bundle over X, namely there exists a metric φ of L such that the curvature 1 φ Xy > 0, this implies that π : X T is a local Kähler fibration. Denote 3.1) ω 1 φ. We take z 1,,z m,v) a local admissible coordinate system of X as in the Subsection.. Then ω Xy 1φ v v dv d v gives a Kähler metric on, φ v v : φ v v. The scalar curvature is defined by 3.) ρ 1 φ v v v v logφ v v. Now we assume that the scalar curvature ρ is a constant. Up to a constant we can take φ such that 3.3) e ρφ φ v v. In particular, ρ c 1 K Xy )/ c 1 L) is a positive rational number. Let K X/T : K X π K T denote the relative canonical line bundle. Consider the following direct image bundle over T 3.4) E k : π L k +K X/T ),

9 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE 9 for any integer k 1. The operator D y y + y acts on A0,,L k +K X/T ). Take a constant b > 0 smaller than all the positive eigenvalues of D y. Then H p,k Xy +L k ). Furthermore by Kodaira vanishing theorem, K b,p y K b,0 y consequently 3.5) H 0,L k +K Xy ) π L k +K X/T ) y K b,p y 0, for p 1, λ b detπ L k +K Xy )) 1. Since the metric φ induces a metric detφ) 1 : φ v v ) 1 on K X/T, by.7), we have 3.6) u e kφ 1 u e kφ dv d v u e kφ detφ) 1 ω u L ω, that is, the L -metric k on π L k +K X/T ) given by.7) coincides with the standard L -metric on π L k + K X/T ) induced by,ω y ), K Xy,detφ) 1 ) and L,e φ ). Thus the L -metric b ) is dual to the determinant of the metric. Using the definition.3) we have then 3.7) b ) b ) τ k b,+ ) )) det k ) τ k )), for b > 0 small enough, where τ k ) τ k b,+ ) ) is the analytic torsion associated with X,ω 1 φ)) and L k,e kφ ). Therefore, 1 3.8) π logτ k )) c 1 λ, Q ) c 1 E k, k ) The curvature of L -metric. In this subsection we will find the expansion of the first Chern form c 1 E k, k ). From.10), the curvature of L -metric is 3.9) 1Θ Ek u,u kcφ) u e kφ +k k + ) 1 i µα u,i µβ u 1dz α d z β for any element u of E k y. For any tangent vector ζ ζ α z α T y T 3.10) 1)c 1 E k, k )ζ, ζ) 1 Θ Ek u j,u j ζ, π ζ) 1 d k kcφ) u j e kφ ζ, π ζ)+ 1 d k k k + ) 1 i µ u j,i µ u j, π where d k : dimh 0,L k + K X/T ) Xy ), {u j } d k H 0,L k +K X/T ) Xy ) and is a orthonormal basis of 3.11) µ v φ α v φ v v ) 1 )ζ α d v v. We shall now find expansion of the two terms in RHS of 3.10) in k.

10 10 XUEYUAN WAN AND GENKAI ZHANG For any y T, is a Riemann surface and the metric ω Xy is a Kähler metric with constant scalar curvature ρ. By 3.3), the curvature operator R of cotangent bundle is 3.1) R : Rv vi dv d v i v v : v v φ v v ) 1 + v φ v v ) 1 v φ v v ) 1 φ v v )i dv d v i v v e ρφ v v loge ρφ Id ρ Id when acting on the space A 0,1,L k ). Thus by [18, Lemma 3.], for any α A 0,1,L k ), 3.13) k +ρ )α k R )α dv) v α) φ 1 v v i v k φ) v α e ρφ v v α. Here denotes the adjoint operator of the 1,0)-part of Chern connection, and we have used the following notations: 3.14) l v : v +lρφ v, v : v kφ v for any integer l. Lemma 3.1. For any a,b R, we have 3.15) e ρφ [ v aφ v, v bφ v ] a b. Proof. By a direct computation we have e ρφ [ v aφ v, v bφ v ] e ρφ bφ v v +aφ v v ) a b, where the last equality follows from 3.3). Using the lemma we have then 3.16) e ρφ [ v, v ] e ρφ [ v +ρφ v, v kφ v ] ρ k, and [ l v,e ρφ v ] [ l v,e ρφ ] v +e ρφ [ l v, v ] 3.17) e ρφ ρφ v v + lρ k) e ρφ v ρφ v + l+1)ρ k). Combining 3.14) and 3.17) we find 3.18) v e ρφ v v e ρφ v v +e ρφ v ρφ v + ρ k)) v e ρφ v v v + ρ k) v.

11 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE11 By induction we get 3.19) l v v e ρφ v ) v e ρφ v ) l+1) v v + k l+3 ) ρ l l v v. for any l 1. In fact for l 1 this is exactly 3.18). So we assume that 3.19) holds for 1,,l 1. By 3.17) l v v e ρφ v ) v l v e ρφ v ) l v v + k l+ ) ρ)l 1) l 1) v v e ρφ v ) l+1) v v + k l +1)ρ)+ k l+ ) ρ)l 1) l v v e ρφ v ) l+1) v v + k l+3 ρ)l l v v, completing the proof of 3.19). For later convenience we set 3.0) and k m ρ, A n k n+3 ) ρ n m n+ ρ ) n 3.1) n : e ρφ v ) e ρφ v ) }{{} n v n 1) v v. n The formula 3.19) can now be written as 3.) n 1 n+1 +A n n, 1 e ρφ v ) v. Lemma 3.. For any N N +, the operator N+1 is self-adjoint and 3.3) N+1 ) N+ nn+1 b n n for some constants b n with b n Ok N+1 ) as k. Proof. Using 3.) we have the following factorization 3.4) N N+1 1 A N ) N 1 A n ). The identity 3.13) implies that 3.5) 1 k +ρ is self-adjoint. Combining this with 3.4) we see that N+1 is also self-adjoint.

12 1 XUEYUAN WAN AND GENKAI ZHANG We compute N+1 ) using 3.4) and 3.), 3.6) N N+1 ) 1 A n ) N+1 N 1 1 A n ) 1 A N+1 )+A N+1 A N )) N+1 N 1 N 1 1 A n ) N+ +A N+1 A N ) 1 A n ) N+1 N 1 N 1 1 A n ) N+ +Ok) 1 A n ) N+1, where the last equality follows from 3.0), A n Ok). In other words N 1 A n ) N+1 is a linear combination of of N+ and N+1 with the coefficients being of the form N 1 1 A n ). Repeating the same procedure we can reduce the coefficients to be constants, namely there exist constants b n with b n Ok N+1 ),N +1 n N + such that N+1 ) N+ nn+1 b n n. Lemma 3.3. For any N N + and m > ρ)n the following identity holds as an operator on the space A 0,1,L k ), 3.7) k + ) 1 1 a N N+1 ) a n n, where 0 : Id and 3.8) a n n+1 n+)!m+ρn) m+ρ)m. Proof. By 3.13) and 3.) we have 3.9) k +ρ k +ρ e ρφ v v 1. Recalling the notation in 3.0) this becomes 3.30) k+ k+ρ 1 m 1.

13 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE13 A direct computation using 3.) gives a n n )k + ) a n n m 1 ) ma n n ma 0 + a n n+1 +A n n ) m A n )a n a n 1 ) n a N N+1 n1 1 a N N+1, where the last equality holds since a 0 1 m and m A n )a n a n 1 1 n+)m+ρn)a n a n 1 0. Denote 3.31) n µ : n v n 1) v v µ,e nρφ n v n 1) v v µ for n 1, and 0 µ : µ. Then Lemma 3.4. For n 0 and µ v φ α v φ v v ) 1 )ζ α d v v we have the following identity see also 3.11)) 3.3) n µ ρ) nn!n+3)! 3 n+1 µ. Proof. We observe first that the adjoint e ρφ v ) e ρφ v ρφ v ), and with some abuse of notation we introduce temperarily D v v ρφ v. Thus n µ n v n 1) v v µ,e ρφ v e n 1)ρφ n 1) v v µ e ρφ D v n v n 1) v v µ,e n 1)ρφ n 1) v v µ. We use Lemma 3.1 repeatedly and find 3.33) n µ ρ)n+1) n 1) v v µ,e n 1)ρφ n 1) v v µ e ρφ n v D v n 1) v v µ,e n 1)ρφ n 1) v v µ ρ)n+1+n+ +) n 1 µ e ρφ n v n 1) v v D v µ,e n 1)ρφ n 1) v v µ ρ) nn+3) n 1 µ, where the last equality holds by a direct checking and using 3.3), namely 3.34) D v µ v ρφ v ) v φ α v φ v v ) 1 )ζ α) 0.

14 14 XUEYUAN WAN AND GENKAI ZHANG Hence 3.35) n µ ρ) nn!n+3)! 3 n+1 µ. We shall also need the following elementary identity involving the Gamma function Γx). Lemma 3.5. Let 0 < a < 1 N+1. The following summation formula holds 1) n n!n+3)γ 1 a n) Γ1 a )5a+3) a+1)a+1) + 1)N+1 N +1)!Γ 1 a N +1))N +6)a+N +4))aN +1) 1). a+1)a+1) Proof. This is simply a consequence of the following identity a+1)a+1)n+3) n+1 n+5)a+n+3))an 1) n+6)a+n+4))an+1) 1) 1 a n+1). Indeed a+1)a+1) 1) n n!n+3)γ 1 a n) 1) n n!γ 1 a n)n+5)a+n+3))an 1) + + 1) n+1 n!γ 1 a n)n+6)a+n+4))an+1) 1) n+1 1) n n!γ 1 a n)n+5)a+n+3))an 1) 1 a n+1) 1) n+1 n+1)!γ 1 a n+1))n+6)a+n+4))an+1) 1) Γ 1 a )5a+3) + 1) N+1 N +1)!Γ 1 N +1))N +6)a+N +4))aN +1) 1), a completing the proof. We return now to 3.10). From 3.) we have ρ)c 1 L Xy ) c 1 K Xy ), and then ρ < 0 since both L Xy and K Xy are ample. Let h be a smooth metric on K Xy such that its curvature Rh) 1 ρ)φ v v dv d v, which gives a Kähler metric on. Moreover, by a direct calculation, its scalar curvature is 1.

15 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE15 Using 3.6) and Theorem.6 we get the following TYZ expansion associated with the line bundle L k +K X/T ) Xy, 3.36) u j e kφ ρ) k 1 +1)+ ρ +O k+ ρ +O k ρ +1)) e log 8 k ρ +1)) e log 8 )) ω Xy π. )) ω Xy π Now we prove Theorem 1.. Proof. For any l 0, we fix an integer N N + such that N 1 > l, and take m large such that m > ρ)n +1). The second term in the RHS of 3.10) is by Lemma ) k k + ) 1 i µ u j,i µ u j + k a n n i µ u j,i µ u j k k + ) 1 a N N+1 i µ u j,i µ u j. We compute the first term in the RHS of the above formula as 3.38) k a n n i µ u j,i µ u j ka n 1) n i n v vµu j,e ρφ v ) n i µ u j ka n 1) n i n v vµu j,e nρφ i n v vµu j ka n 1) n X/T n µ u j e kφ, where we use 3.1) and Stoke s theorem in the first equality, a direct computation and 3.14) in the second equality. This combined with 3.36) gives 3.39) k a n n i µ u j,i µ u j ka n 1) n n µ k+ ρ +O ρ +1)) e log k 8 )) 1 π.

16 16 XUEYUAN WAN AND GENKAI ZHANG Disregarding the remainder terms and using Lemma 3.4 and 3.8) we get 3.40) ka n 1) n n µ 1 ρ µ k + π ) n+1 1) n k n+)!m+ρn) m+ρ)m ρ)nn!n+3)! 1 ρ 3 n+1 k + π ) m 4π 1) n ρ m )n n!n+3) 1+ ρ m n) 1+ ρ m ρ ρ )1+ )1+ m m ) m ρ ρ 1+ )1+ 4π m m ) 1 N Γ m ρ ) 1) n n!n+3)γ m ρ n). From Lemma 3.5 and noting m ρ > N +1, the above can be written as 3.41) ka n 1) n n µ 1 ρ µ k + π ) m 4π 3+5 ρ m ) + m N +4)+N +6) ρ 4π 1)N+1 m N +1)! )) ρ m N +1) 1) 1+ ρ m ) 1+N +1) ρ m ) ρ m 4π 3+5 ρ m )+O 1 m N) 3k ρ 1π +O 1 k N). On the other hand, it is easy to see that 3.4) ka n 1) n n µ O ρ +1)) e log k 8 Substituting 3.41) and 3.4) into 3.39), we get 3.43) k a n n i µ u j,i µ u j ) 1 m )N+1 π o 1 1 mn) o k N). 3k ρ 1π µ +O 1 k N). For the second term in the RHS of 3.37) we use Cauchy-Schwarz inequality, 3.44) k k + ) 1 a N N+1 i µ u j,i µ u j k a N k + ) 1 N+1 i µ u j i µ u j a N N+1 i µ u j i µ u j,

17 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE17 where the second inequality holds because the eigenvalues of k+ are greater than or equal to k. By Lemma 3., n+1 is self-adjoint, so that 3.45) N+1 i µ u j N+1 ) i µ u j,i µ u j 1/ N+ b n n i µ u j,i µ u j nn+1 N+ nn+1 N+ nn+1 b n 1) n X/T 1/ b n max n µ u j n µ u j e kφ 1/ ) 1/ O ) k N+1, where the second equality follows from Lemma 3., the third equality holds by the same proof as 3.39), the last equality holds since b n Ok N+1 ), u j 1 and max Xy n µ is independent of k. Substituting 3.45) into 3.44) gives 3.46) 1 O k k + ) 1 a N N+1 i µ u j,i µ u j a N i µ u j O k N 1 ) ) k N+1 a N d k max µ O ) k N+1 wherethelastequalityfollowsfrom a N O ) 1,dk Ok), andmax k N+1 Xy µ is independent of k. This settles the second term in the RHS of 3.37). Combining the above estimate with 3.43) we obtain the estimates for 3.37), 3.47) k k + ) 1 i µ u j,i µ u j 3k ρ 1π µ +O On the other hand by [18, 3.46)] and.6) we have 3.48) cφ)ζ, ζ)) φ 1 v v v v cφ) α β )ζα ζβ 1 logφ v v )ζ α δ δz α,ζβ δ δz β) µ ρ) φζ α δ δ δz α,ζβ δz β) µ ρ) 1)cφ)ζ, ζ) µ. By integrating along fibers and using Stoke s theorem, we get ) 3.49) 1) cφ)ω ζ, ζ) 1 ρ µ. k N 1 ).

18 18 XUEYUAN WAN AND GENKAI ZHANG From above equality, the first term in the RHS of 3.10) is 1 d k kcφ) u j e kφ ζ, π ζ) ) 1 cφ)ω ζ, π ζ)k 1 k π ρ ) ρ) +O 1 µ π ρ k 1 k + ρ k )) π +O ρ +1)) e log 8 kρ k ρ +1)) ) 8π ρ µ +O ke log k 8. ρ +1)) e log k 8 Finally using 3.47) and 3.50) we get the an expansion for 3.10) as 3.51) 1)c 1 E k, k )ζ, ζ) 3k ρ 4π µ +O 1 k N 1 6k 6kρ+ρ 4π µ +O ρ) 8π ρ µ +O )+ kρ k 1 k N 1 ). ρ +1)) ke log k 8 This completes the proof of Theorem 1. since N 1 > l. 3.. The curvature of Quillen metric. We prove now Theorem 1.3. Proof. From [18, Proposition 3.9], the curvature of Quillen metric is 3.5) 1c 1 λ, Q ))ζ, ζ) k π) + 1 π) + 1 π) 1)cφ)ζ, ζ)ω + k π) 1)cφ)ζ, ζ) 1 6 ρ µ Ric µ 1 4 µ where µ Ric : µ ī j µs t R i l φ lk φ jt φ k s ) ωn n!. The Chern curvature tensor R is given by 3.53) and then 3.54) Hence 3.55) )) ) 1 µ ρ ) 1)cφ)ζ, ζ) ω 4 R 4 Ric +3ρ ), R v vv v v v φ v v +φ 1 v v vφ v v v φ v v ρφ v v ), R R v vv v φ v v ) 4 ρ, Ric v v φ v v ) 1 R v vv v ρφ v v. µ Ric ρ µ, Ric ρ. ) ρ4 µ ) ω

19 THE SECOND VARIATION OF ANALYTIC TORSION ON TEICHMÜLLER SPACE19 Using 3.34) we have 3.56) consequently 3.57) µ v ρφ v )µdv D v µdv 0, µ 1Λ µ 0. Substituting 3.54), 3.55), 3.56) and 3.57) into 3.5), and using 3.49), we obtain 1c 1 λ, Q ))ζ, ζ) 6k 6kρ+ρ 3.58) 4π µ, ρ) completing the proof of Theorem The proof of Theorem 1.1. Proof. We estimate 3.8) using 3.51) and 3.5), 1 π logτ k )) ζ, ζ) 1) c 1 λ, Q ) c 1 E k, k ))ζ, ζ) ) 1 O ok l ). k N 1 References [1] L. Ahlfors, Some Remarks on Teichmuller s Space of Riemann Surfaces, Ann. Math., ), [] B. Berndtsson, Curvature of vector bundles associated to holomorphic fibrations, Ann. Math ), [3] B. Berndtsson, Positivity of direct image bundles and convexity on the space of Kähler metrics, J. Differ. Geom ), no.3, [4] B. Berndtsson, Strict and non strict positivity of direct image bundles, Math. Z ), [5] N. Berline, E. Getzler, M. Vergne, Heat Kernels and Dirac Operators, Springer-Verlag Berline Heidelberg, [6] J.-M. Bismut, H. Gillet, C. Soulé, Analytic torsion and holomorphic determinant bundles I. Bott-Chern forms and analytic torison, Commun. Math. Phy ), [7] J.-M. Bismut, H. Gillet, C. Soulé, Analytic torsion and holomorphic determinant bundles II. Direct images and Bott-Chern forms, Commun. Math. Phy ), [8] J.-M. Bismut, H. Gillet, C. Soulé, Analytic torsion and holomorphic determinant bundles III. Quillen metrics on holomorphic determinants, Commun. Math. Phy ), [9] M. Englis, Asymptotics of reproducing kernels on a plane domain, Proc. Amer. Math. Soc ), no. 10, [10] J. Fay, Kernel functions, analytic torsion, and moduli spaces, Mem. Amer. Math. Soc ), no. 464, vi+13. [11] H. Feng, K. Liu, X. Wan, Geodesic-Einstein metrics and nonlinear stabilities, arxiv: v1, 017). [1] K. Fedosova, J. Rowlett, G. Zhang, Second variation of Selberg zeta functions and curvature asymptotics, arxiv: , 017).

20 0 XUEYUAN WAN AND GENKAI ZHANG [13] S. Finski, On the full asymptotic of analytic torsion, arxiv: v1, 017). [14] C.-J. Liu, The asymptotic Tian-Yau-Zelditch expansion on Riemann surfaces with constant curvature, Taiwanese Journal of Mathematics, Vol ), No. 4, [15] X. Ma, G. Marinescu, Holomorphic Morse Inequalities and Bergman Kernels, Birkhäuser, Basel Boston Berlin, 006. [16] D. B. Ray, I. M. Singer, Analytic torsion for complex manifolds, Annals of Mathematics ), no. 1, [17] P. Sarnak, Determinants of Laplacians, Communications in Mathematical Physics ), no. 1, [18] X. Wan, G. Zhang, The asymptotic of curvature of direct image bundle associated with higher powers of a relative ample line bundles, arxiv: v1, 017). Xueyuan Wan: Mathematical Sciences, Chalmers University of Technology, 4196 Gothenburg, Sweden address: xwan@chalmers.se Genkai Zhang: Mathematical Sciences, Chalmers University of Technology, 4196 Gothenburg, Sweden address: genkai@chalmers.se