arxiv: v1 [math.cv] 12 Jul 2016

Transcription

1 CURVATURE OF HIGHER DIRECT IMAGE SHEAVES AND ITS APPLICATION ON NEGATIVE-CURVATURE CRITERION FOR THE WEIL-PETERSSON METRIC arxiv: v1 [math.cv] 12 Jul 2016 XU WANG Abstract. We shall show that q-semipositivity of the vector bundle E over a Kähler total spacex impliesthegriffiths-semipositivity oftheq-thdirectimage ofo(k X/B E). Asan application, we shall give a negative-curvature criterion for the generalized Weil-Petersson metric on the base manifold. Keywords: Higher direct image, Hodge theory, Chern curvature, -equation, Weil- Petersson metric, canonically polarized manifold, Calabi-Yau manifold. Contents 1. Introduction Set up Main result Applications List of notations 5 2. Motivation: the product case Griffiths-positivity of the bundle of harmonic forms Nakano-positivity of the bundle of -closed forms 8 3. Curvature formula Holomorphic vector bundle structure on H p,q Chern connection on H p,q Curvature of H p,q Generalized -equation associated to the curvature formula Curvature of H n,q Curvature of the Weil-Petersson metric Acknowledgement 20 References Introduction 1.1. Set up. Let π : X B be a proper holomorphic submersion from a complex manifold X to a connected complex manifold B. We call B the base manifold of the fibration π. Assume that B is m-dimensional each fibre X t := π 1 (t) of π is n-dimensional. Let E Date: July 13, Research supported by Knut Alice Wallenberg Foundation, the China Postdoctoral Science Foundation. 1

2 2 XU WANG be a holomorphic vector bundle over X. Denote by E t the restriction of E to X t. Let us denote by K X/B the relative canonical bundle on X. Recall that (1.1) K X/B = K X π (K B ). Let us denote by H p,q (E t ) the space of E t -valued -closed (p,q)-type Dolbeault cohomology classes over X t. Let us consider (1.2) H p,q := {H p,q (E t )} t B. It is known that H p,q has a natural holomorphic vector bundle structure if A: The dimension of H p,q (E t ) does not depend on t B. The usual way to prove this fact is to use the base change theorem. In fact, by the base change theorem, A implies that the q-th direct image sheaf (1.3) E p,q := R q π O( p T X/B E). is locally free the fibres of the holomorphic vector bundle associated to E p,q are (1.4) H q (X t,o( p T X t E t )), t B. By Dolbeault s theorem, (1.5) H q (X t,o( p T X t E t )) H p,q (E t ), thus there is a holomorphic vector bundle structure on H p,q. In this paper, we shall use the Newler-Nirenberg theorem [24] a theorem of Kodaira-Spencer (see Page 347 in [16]) to construct a holomorphic vector bundle structure on H p,q directly (see Theorem 3.1 below). Assume that X possesses a Kähler form ω, put (1.6) ω t := ω Xt > 0, on X t. Let h be a Herimitian metric on E. By the Hodge theory, every cohomology class in H p,q (E t ) has a unique harmonic representative in (1.7) H p,q t := ker t ker( t ), where t := Xt ( t ) is the adjoint of t with respect to ω t h. In this paper, we shall identify a cohomology class in H p,q (E t ) with its harmonic representative in H p,q t. Thus we have (1.8) H p,q = {H p,q t } t B. The natural L 2 -inner product on each harmonic space H p,q t defines a Hermitian metric on H p,q. Let us denote by D the associated Chern connection on H p,q. Put (1.9) D = dt j D t j +d t j t j. Then (1.10) D 2 = dt j d t k Θ j k, Θ j k := D t j t k t kd t j. Denote by (, ) the assocaiated inner product norm on the fibre, H p,q t, of H p.q respectively. By definition, H p,q is semi-positive in the sense of Griffiths if only if (Θj ku,u)ξ j ξk 0, u H p,q t, ξ C m.

3 HIGHER DIRECT IMAGE 3 Moreover, H p,q is semi-positive in the sense of Nakano if only if (Θj ku j,u k ) 0, u j H p,q t, 1 j m. In this paper, we shall give a curvature formula for H p,q based on the formulas in [3, 4, 7] for H n,0, see [18] [19] for earlier results [29], [25], [17], [14], [20] [21] for other generalizations related results Main result. Denote by Θ(E,h) (resp. Θ(E t,h)) thecurvatureoperator of thechern connection (1.11) d E := + E, (resp. d Et := t + Et ), on (E,h) (resp. (E t,h)) respectively. Put (1.12) ω q := ωq q!, ωt q := (ωt ) q. q! We shall use the following definition: Definition 1.1. Θ(E,h) is said to be q-semipositive on X with respect to ω if (1.13) ω q c q {iθ(e,h)u,u} 0, on X, for every E-valued (n+m q 1,0)-form u in X. where c q = i (n+m q 1)2 is chosen such that (1.14) ω q+1 c q {u,u} 0, as a semi-positive volume form on the total space X. Our main theorem is the following: Theorem 1.1. Assume that the total space is Kähler the dimension of H n,q (E t ) does not depend on t B. Assume further that Θ(E,h) is q-semipositive with respect to a Kähler form on the total space. Then H n,q is Griffiths-semipositive. Remark: The following fact is also true: With the assumptions in the above theorem, assume further that (1.15) H n,q t = ker Et ker( Et ), t B, then H n,q is Nakano-semipositive. If q = 0 then (1.15) is always true. If q 1, by Siu s -Bochner formula (see [27] or [2]), we know that (1.15) is true in case (1.16) iθ(e t,h) ω t q 1 0, on X t for every t B Applications. We shall use our main theorem to study the curvature properties of the base manifold B. Let us denote by κ the Kodaira-Spencer mapping (1.17) κ : v κ(v) H 0,1 (T Xt ) H n,n 1 (T X t ), v T t B, t B. We shall introduce the following definition: Definition 1.2. We call the pull back pseudo-metric on T B defined by (1.18) v WP := κ(v) H n,n 1 (T X t ), v T tb the generalized Weil-Petersson metric on B.

4 4 XU WANG Assume that the dimension of H 0,1 (T Xt ) does not depend on t in B. Then we know that the dimension of the dual space, H n,n 1 (T X t ), of H 0,1 (T Xt ) does not depend on t in B. Moreover, we shall prove that (see Proposition 4.1) (1.19) κ : v κ(v) H n,n 1 (T X t ), v T t B, defines a holomorphic bundle map from T B to the dual bundle of (1.20) H n,n 1 := {H n,n 1 (T X t )} t B, Assume that the total space X possesses a Kähler form ω. We shall introduce the following definition: Definition 1.3. The relative cotangent bundle TX/B is said to be (n 1)-semipositive with respect to ω if there is a smooth metric, say h, on the relative cotangent bundle such that Θ(TX/B,h) is (n 1)-semipositive with respect to ω. By Theorem 1.1, if the relative cotangent bundle is (n 1)-semipositive with respect to ω then H n,n 1 is Griffiths-semipositive. Assume further that κ is injective. Then T B is Griffiths-seminegative with respect to the generalized Weil-Petersson metric. Inspired by [23] [9], we shall introduce the following definition: Definition 1.4. WP defines a Griffiths-seminegative singular metric if only if for every holomorphic vector field v : t v t on the base, log v WP is plurisubharmonic or equal to identically, where v WP denotes the upper semicontinuous regularization of t v t WP. We shall prove that: Theorem 1.2. Let π be a proper holomorphic submersion from a Kähler manifold (X,ω) to a complex manifold B. Assume that the relative cotangent bundle is (n 1)-semipositive with respect to ω. Then the associated generalized Weil-Petersson metric defines a Griffithsseminegative singular metric on T B. Remark A: If the canonical line bundle of each fibre is positive then by Aubin-Yau s theorem (see [1] [34]), each fibre possesses a unique Kähler-Einstein metric, which defines a smooth Hermitian metric, say h, on the relative cotangent bundle. Then we know that the cotangent bundle of each fibre is (n 1)-semipositive. Moreover, if n = 1 then it is well known that relative cotangent bundle is 0-semipositive. But for a general canonically polarized family, we don t know whether the relative cotangent bundle is(n 1)-semipositive or not, for related results, say [25]. In [10], we shall introduce another way to study the curvature properties of the base manifold of a canonically polarized family. Remark B: Given a Kähler total space (X,ω), if the canonical line bundle of each fibre is trivial then by Yau s theorem [34], we know that there is a smooth function, say φ, on X such that ω+i φ is Ricci-flat on each fibre. Let us denote by h the smooth Hermitian metric on the relative cotangent bundle defined by ω + i φ. Then we know that the cotangent bundle of each fibre is (n 1)-semipositive. But we don t know whether the relative cotangent bundle is (n 1)-semipositive or not, except for some special case, e.g. deformation of torus or other families with flat relative cotangent bundle. In [33], we shall introduce another metric to study the base manifold of a Calabi-Yau family.

5 1.4. List of notations. HIGHER DIRECT IMAGE 5 Basic notions: 1. π : X B is a proper holomorphic submersion, E: holomorphic vector bundle on X; 2. X t := π 1 (t) is the fibre at t, E t := E Xt ; 3. d E := + E is the Chern connection on E, d Et := t + Et is its restriction; 4. Θ(E,h) := (d E ) 2 is Chern curvature of E, Θ(E t,h) := (d Et ) 2 ; 5. H p,q (E t ): Dolbeault cohomology group on X t ; 6. H p,q t := ker t ker( t ) H p,q (E t ) is the harmonic space; 7. H p,q := {H p,q t } t B {H p,q (E t )} t B ; 8. D = dt j D t j +d t j t j is the Chern connection on H p,q ; 9. Θ j k := D t j t k t kd t j is the curvature operator on H p,q. Other notations: 1. i t : the inclusion mapping X t X; 2. t: local holomorphic coordinate system on B, t j : components of t; 3. δ V := V means contraction of a form with a vector field V; 4. V j : smooth (1,0)-vector field on X such that π V j = / t j, L Vj : usual Lie-derivative; 5. L j := d E δ Vj +δ Vj d E = [d E,δ Vj ], L j := d E δ Vj +δ Vj d E = [d E,δ Vj ]; 6. u : t u t H p,q t is a section of H p,q ; 7. Γ(H p,q ): space of smooth sections of H p,q ; 8. a smooth E-valued (p,q)-form u on X: a representative of u Γ(H p,q ); 9: : Hodge-Poincaré-de Rham star operator; 10: u : dual-representative of u such that u Xt = u t for every t B; 11: H t : orthogonal projection to H p,q t. 12: κ : / t j κ( / t j ) is the Kodaira-Spencer mapping. 2. Motivation: the product case 2.1. Griffiths-positivity of the bundle of harmonic forms. We shall give an example to show the ideas behind the proof of Theorem 1.1. Let us consider the following product case: Let L be a holomorphic line bundle over a compact Kähler manifold (X,ω). Let h be a fixed smooth metric on L let φ be a smooth function on (2.1) X := X B. Put (2.2) h t = he φt, φ t := φ X {t}. Thus {h t } t B defines a smooth metric, say h, on L B. We shall consider (2.3) H n,q := H n,q (L) B = {H n,q t } t B, where B is the unit ball in C m each H n,q t is the harmonic space with respect to ω h t. We know that H n,q is a trivial vector bundle with non-trivial metric. For every u H n,q (L) there is an associated holomorphic section (2.4) t u t := H t (u), where each u is a fixed X -closed representative of u H t is the orthogonal projection to the harmonic space H n,q t. Now we know that (2.5) (u,v) : t (u t,v t ), u,v H n,q (L)

6 6 XU WANG is a smooth function on B. Moreover, we have (2.6) (u,v) j k = (D t ju t,d t kv t ) (Θ j ku t,v t ). By definition, we have (2.7) (u t,v t ) = X {u t, v t }e φt, where {, } is the pairing associated to h. Thus we have (2.8) (u,v) j = (L j u t,v t )+ {u t,l j v t }e φt, where (2.9) L j := / t j φ j, L j := / t j. Since (u t ) ω q = i (n q)2 ( 1) n q u t, we have (2.10) L j = L j, L j = L j, 1 j m. Now we have (2.11) (u,v) j = (L j u t,v t )+(u t,l j vt ). Let v be a fixed (does not depend on t) X -closed representative of v. Thus each v t v is X -exact, which implies that (2.12) L jv t = L j(v t v), is X -exact. Then we have (2.13) (u t,l j vt ) 0. Hence we get that (2.14) D t ju t = H t (L j u t ), (2.15) (u,v) j k = (L j u t,v t ) k = (L kl j u t,v t )+(L j u t,l k v t ). Notice that (2.16) L kl j u t = L j L ku t φ j ku t. Then we have (2.17) (L kl j u t,v t ) = (φ j ku t,v t )+(L ku t,v t ) j (L ku t,l jv t ). Since (L ku t,v t ) 0, thus we have (2.18) (u,v) j k = (φ j ku t,v t ) (L ku t,l jv t )+(L j u t,l k v t ). The following lemma is a crucial step (see Lemma 3.6 for the general case). Lemma 2.1. Put a t j = D t jut L j u t, then each a t j is the L2 -minimal solution of (2.19) X a t j = X L j u t = X φ j u t. X

7 Proof. It suffices to show that X(a t ) 0. Since HIGHER DIRECT IMAGE 7 X = ( X X φ t ), X(a t ) = X(L j u t ), it is enough to show L j u t is ( X X φ t )-closed. By (2.10), we have (2.20) L j u t = L j u t. Thus (2.21) ( X X φ t ) L j u t = ( X X φ t )L j u t. Since each u t is harmonic, thus (2.22) ( X X φ t ) u t 0. Thus it is enough to show that (2.23) [ X X φ t,l j ] 0, which follows by direct computation. Fix u 1,,u m H n,q (L), then we have (2.24) (Θj ku t j,ut k ) = at 2 + (φ j ku t j,ut k )+ (L ku t j,l j ut k ), where (2.25) a t := a t j, X a t = X φ j u t j := c t By the classical Bochner-Kodaira-Nakano formula, if (2.26) i (n q 1)2 ω q {iθ(l,h t )u,u} > 0, on X, for every (n q 1,0)-form u that has no zero point in X then we have (2.27) a t 2 ( [iθ(l,h t ),Λ ω ] 1 c t,c t) = ( Tj ku t j,ut k), where Λ ω is the adjoint of ω (2.28) T j k := ( X φ k ) [iθ(l,h t ),Λ ω ] 1 ( X φ j ) Now we have (2.29) where (Θj ku t j,u t k ) = R+ ( (φj k T j k)u t j,u t ) k + (L ku t j,l ju t k ), (2.30) R := ( [iθ(l,h t ),Λ ω ] 1 c t,c t) a t 2 0. We shall use the following lemma (see Lemma 3.10 for the general case): Lemma 2.2. Assume that (2.26) is true for every t B. Then we have (2.31) ( (φj k T j k)u t j,u t ) ( ) k i m 2 dt dt = π i (m+n 1 q)2 ω q {iθ(l B, h)u,u }, where u := u j ( / tj dt) each u j satisfies that ) (2.32) i t ( / t j (ω q Θ(L B, h)u j ) 0, i t u j = ut j, on X for every t B. Thus we get the following result (see Theorem 1.1 for the general case):

8 8 XU WANG Theorem 2.3. Assume that (2.33) ω q iθ(l B, h) 0, on X, (2.34) ω q iθ(l,h t ) > 0, on X, for all t B. Then we have (2.35) (Θj ku t j,u t k ) (L ku t j,l ju t k ). In particular, H n,q is Griffiths-semipositive. We shall show in the next section that H n,q can be seen as a holomorphic quotient bundle of a Nakano-semipositive bundle. But in general, a holomorphic quotient bundle of a Nakano-semipositive bundle is not Nakano-semipositive (see Page 340 in [13] for a counterexample) Nakano-positivity of the bundle of -closed forms. Let us denote by ker (resp. Im ) the space of smooth -closed (resp. -exact) L-valued (n, q)-forms on X respectively. Then we have the following trivial bundles: (2.36) K := ker B, I := Im B. But in general the metrics on K I defined by {h t } t B are not trivial. By definition, we know that H n,q is just the quotient bundle K/I. And the metric on H n,q is just the quotient metric (see [32] for more results). For every u,v ker, we shall write (2.37) (u,v) : t {u, v}e φt. Let us denote by Θ K j k the curvature operators on K. Fix u 1,,u m ker. Since now (2.38) L ju k 0, 1 j,k m, we know that the following theorem is true. Theorem 2.4. With the assumptions in Theorem 2.3, then we have X (2.39) (Θ K j k u j,u k ) = R+ ( (φj k T j k)u j,u k ) 0. In particular, K is Nakano-semipositive. Remark: One may also study the positivity properties of the bundle of -closed forms for non-trivial fibrations (see [31]). 3. Curvature formula We shall give a curvature formula for H p,q in this section.

9 HIGHER DIRECT IMAGE Holomorphic vector bundle structure on H p,q. By a theorem of Kodaira-Spencer (see Page 349 in [16]), we know that H p,q has a smooth complex vector bundle structure if A is true. More precisely, A implies that for every t 0 B every u t 0 H p,q t 0 (see (1.7) for the definition of the -harmonic space H p,q t 0 ), there is a smooth E-valued (p,q)-form, say u, on X such that (3.1) u Xt0 = u t 0, (3.2) u Xt H p,q t, for every t B. Then the smooth vector bundle structure H p,q can be defined as follows: Definition 3.1. We call u : t u t H p,q t a smooth section of H p,q if there exists a smooth E-valued (p,q)-form, say u, on X such that u Xt = u t, t B. And we call u a representative of u. We shall denote by Γ(H p,q ) the space of smooth sections of H p,q. By using the Newler-Nirenberg theorem, we shall prove that: Theorem 3.1. Assume that H p,q satisfies A. Then D 0,1 := d t j t j defines a holomorphic vector bundle structure on H p,q, where each t j is defined by (3.3) t ju : t H t( ) i t [,δ V j ]u, [,δ Vj ] := δ Vj +δ Vj. Here u is an arbitrary representative of u Γ(H p,q ), H t denotes the orthogonal projection to H p,q t V j is an arbitrary smooth (1,0)-vector field on X such that π V j = / t j. Proof. First, let us show that D 0,1 is well defined. Since each u t H p,q t is harmonic, we know that i t u 0, thus the definition of t ju does not depend on the choice of V j. Thus it suffices to check that t ju does not depend on the choice of u. Let u be another representative of u then we have Thus u u = dt j a j + d t k b k. (3.4) i tδ Vj (u u ) = i t b j, which implies that (3.5) H t( ) i t [,δ V j ](u u ) = 0. Thus D 0,1 is well defined. It is easy to check that (3.6) t j(fu) = f t ju+f j u, where f is an arbitrary smooth function on B. By Newler-Nirenberg s theorem, it suffices to show that D 0,1 is integrable, i.e. (D 0,1 ) 2 = 0. By definition, it is sufficient to show (3.7) t j t ku = t k t ju, for every u Γ(H p,q ) every 1 j,k m. Notice that (3.8) u j := [,δ Vj ]u,

10 10 XU WANG satisfies (see Lemma 3.5, since i t u 0) (3.9) t i t u j = i t u j = i t [,δ V j ] u = 0. Thus each i tu j has the following orthogonal decomposition (3.10) i tu j = ( t ju)(t)+ t ( t ) G t (i tu j ), where G t is the Green operator on X t. Using Kodaira-Spencer s theorem again, we know that G t (i t u j) depends smoothly on t. Thus ( t ) G t (i t u j) depends smoothly on t. For each j, let us choose a smooth form v j on X such that By definition, we know that each i t v j = ( t ) G t (i t u j). (3.11) u j v j, is a representative of t ju. Thus we have ( ) ( t j t k t k t j u = H t (3.12) i t[,δ Vj ](u k v k ) i t[,δ Vk ](u j v j )) ( ) (3.13) = H t i t [,δ Vj ][,δ Vk ] [,δ Vk ][,δ Vj ] u. Notice that (3.14) [L Vj,L Vk ] = L [Vj,V k ], implies that (3.15) [,δ Vj ][,δ Vk ] [,δ Vk ][,δ Vj ] = [,δ [Vj,V k ] ] Since each u t is harmonic (thus t -closed), we have (3.16) ( t j t k t k t j The proof is complete. ) u = H t i t[,δ [Vj,V k ] ]u = Ht i tδ [Vj,V k ] u = Ht δ [Vj,V k ] Xt t u t = Chern connection on H p,q. In this subsection, we shall define the Chern connection on H p,q. Assume that X possesses a Kähler form, say ω. Then each fibre X t possesses a Kähler form ω t := ω Xt. Recall that a smooth k-form α on X t is said to be primitive with respect to ω t if k n ωn k+1 t α = 0 on X t. Let u : t u t H p,q t be a smooth section of H p,q. By the Lefschetz decomposition theorem, each u t has a unique decomposition of the form (3.17) u t := r ω t r u t r, where each u t r is a smooth E t-valued primitive (p r,q r)-form. Let us denote by the Hodge-Poincaré-de Rham star operator with respect to ω t. Then we have (3.18) u t := r C r ω t n+r p q u t r, C r = i (p+q 2r)2 ( 1) p r. Since u t depends smoothly on t, we know that each u t r also depends smoothly on t. Thus for each r, there exists a smooth E-valued (p r,q r)-form, say u r on X such that (3.19) u r Xt = u t r.

11 By Definition 3.1, we know that (3.20) HIGHER DIRECT IMAGE 11 ω r u r is a representative of u. We shall use the following definition: r Definition 3.2. We call a smooth E-valued (n q,n p)-formu on X a dual-representative of u Γ(H p,q ) if (3.21) u = r C r ω n+r p q u r. By definition, we know that if u is a representative of u Γ(H p,q ) v is a dualrepresentative of v Γ(H p,q ) then (3.22) (u,v) = π {u,v }, where {, } is the canonical sesquilinear pairing (see page 268 in [13]). Now we have (see page 12 in [30]) (3.23) (3.24) (3.25) t j(u,v) = t jπ {u,v } = π (L Vj {u,v }) = π ({L j u,v }+{u,l jv }), where V j is an arbitrary smooth (1,0)-vector field on X such that π V j = / t j (3.26) L j := d E δ Vj +δ Vj d E, L j := d E δ Vj +δ Vj d E. Here d E = E + denotes the Chern connection on E. In order to find a good expression of the Chern connection on H p,q, we shall introduce the following definition: Definition 3.3. Assume that X possesses a Kähler form ω. A smooth (1,0)-vector field V on X is said to be horizontal with respect to ω if (3.27) i t (δ Vω) = 0, on X t for every t B. Moreover, for each 1 j m, we call V j the horizontal lift vector field of / t j with respect to ω if V j is horizontal with respect to ω satisfies (3.28) π (V j ) = / t j. Now we can prove that: Proposition 3.2. Assume that X possesses a Kähler form ω each V j is the horizontal lift vector field of / t j. Then (3.29) π {u,l jv } = (u, t jv), for every smooth sections u, v of H p,q. Proof. For bidegree reason, we have (3.30) π {u,l jv } = π {u,[,δ Vj ]v }, Thus it suffices to show that (3.31) ( t jv)(t) = H t( ( 1) p+q i t [,δ V j ]v ).

12 12 XU WANG By Theorem 3.1 Definition 3.2, it suffices to check that (3.32) i t[[,δ Vj ],ω] = 0. Since each V j is horizontal, the above equality is always true. The proof is complete. By Proposition 3.2, we have (3.33) t j(u,v) = π {L j u,v }+(u, t jv). By definition, the (1,0)-part of the Chern connection D 1,0 = dt j D t j should satisfy (3.34) Thus we have: t j(u,v) = (D t ju,v)+(u, t jv). Proposition 3.3. Assume that X possesses a Kähler form ω each V j is the horizontal lift vector field of / t j. Then the (1,0)-part of the Chern connection on H p,q satisfies (3.35) D t ju : t H t( i t[ E,δ Vj ]u ), where u is an arbitrary representative of u Γ(H p,q ) Curvature of H p,q. In this section, we shall assume that X possesses a Kähler form, say ω, H p,q satisfies A. For each 1 j m, we shall denote by V j the horizontal lift vector field of / t j with respect to ω. Let u,v be two holomorphic sections of H p,q. By Proposition 3.2 (3.25), we have (3.36) Thus we have (3.37) (3.38) (3.39) t j(u,v) = π {L j u,v }. (u,v) j k = t kπ {L j u,v } = π L Vk {L j u,v } = π ({L kl j u,v }+{L j u,l k v }) = π ({[L k,l j ]u,v }+{L j L ku,v }+{L j u,l k v }). Since u is a holomorphic section, by Theorem 3.1, for bidegree reason, we have (3.40) π {L ku,v } = 0. Thus (3.41) 0 = t jπ {L ku,v } = π ({L j L ku,v }+{L ku,l jv }). By (3.39), we have (3.42) (u,v) j k = π ( {[L k,l j ]u,v } {L ku,l jv }+{L j u,l k v } ). For the last term, since each V j is horizontal, by (3.18), we have π {L j u,l k v } = π ( {[ E,δ Vj ]u,[ E,δ Vk ]v }+{[,δ Vj ]u,[,δ Vk ]v } ) By the same reason, we have (3.43) π {L ku,l jv } = = ( i t [ E,δ Vj ]u,i t [ E,δ Vk ]v ) ( V j Xt u t, V k Xt v t). ( i t [,δ V k ]u,i t [,δ V j ]v ) ( V k Xt u t, V j Xt v t)

13 By definition of the Chern connection, we have HIGHER DIRECT IMAGE 13 (3.44) (Θ j ku,v) = (D t ju,d t kv) (u,v) j k. Put (3.45) a u j = D t ju i t[ E,δ Vj ]u; b u j = V j Xt u t, (3.46) a v j := i t[,δ Vj ]v, b v j := V j Xt v t. Then we have: Theorem 3.4. Assume that X possesses a Kähler form ω H p,q satisfies A. Let u v be holomorphic sections of H p,q. Then we have (3.47) (Θ j ku,v) = (b u j,bv k ) (au j,av k )+π {[L j,l k]u,v }+(a ū k,av j ) (bū k,bv j ). Remark: For the middle term in the above formula, we shall use (3.48) [L j,l k] = [d E,δ [Vj, V k ] ]+Θ(E,h)(V j, V k ). In order to study the other terms, we have to use Hörmer s L 2 -theory [15] for the generalized -equation Generalized -equation associated to the curvature formula. We shall use the following lemma: Lemma 3.5. If both u u are representatives of u then (3.49) i t L k (u u ) = 0, i t L j(u u ) = 0. Proof. By definition, we have (3.50) u u = dt j a j + d t k b k. Since (3.51) (d E δ V +δ V d E )(df a) = d(vf) a+df (d E δ V +δ V d E )a. Apply this formula to f = t j, t k, V = V j,v k a = a j,b k, we get (3.49). Now we can prove: Lemma 3.6. With the notation in Theorem 3.4, we have (3.52) ( t ) a u j = ( t ) b v j = 0, t B, 1 j m. Moreover, if H p,q t ker Et for every t B then (3.53) t a u j = Et b u i +c u j, Et a v j = t b v j cv j, each a u j is the L2 -minimal solution of (3.53), where (3.54) c u j := (V j Θ(E,h)) Xt u t, c v j := (V j Θ(E,h)) Xt v t. Assume further that H p,q t = ker Et ker( Et ) for every t B then each a is also the v j L 2 -minimal solution of (3.53).

14 14 XU WANG Proof. By (3.45), we have (3.55) ( t ) a u j = ( t ) ( i t[ E,δ Vj ]u ). Since ( t ) = Et, by (3.18), the following equality (3.56) i ( t E [ E,δ Vj ]u ) = 0. implies ( t ) a = 0. Notice that (3.57) E [ E,δ Vj ] = [ E,δ Vj ] E, (3.58) i t E u = Et u t = 0. Thus (3.56) follows from (3.51). By the same proof, we have ( t ) b = 0, thus (3.52) is v j true. Now let us prove (3.53). By (3.45), we have (3.59) t a u j Et b u j = i ( t [ E,δ Vj ]u+ E [,δ Vj ]u ). Since by our assumption, H p,q t ker Et, thus we have (3.60) i t ( E u) = 0, i t ( u) = 0, by (3.51), we have (3.61) i t[ E,δ Vj ] u = i t[,δ Vj ] E u = 0. Thus (3.62) t a u j Et b u j = i ( t [,[ E,δ Vj ]]u+[ E,[,δ Vj ]]u ) = i t[δ Vj,[, E ]]u = c u j. By the same proof, we have Et a v j = t b v j cv j. Thus (3.53) is true. Now let us prove the last part. Since v is a holomorphic section, by Theorem 3.1, we have that each a v j has no t -harmonic part. By our assumption, each t -harmonic space is equal to the Et -harmonic space, we know that each a has v j no Et -harmonic part. Thus it is sufficient to prove that each a v j is ( Et ) -closed. Since ( Et ) = t, it is sufficient to show that (3.63) t a v j = 0. By (3.18), we know that (3.64) t a v j = t i t[,δ Vj ]v = i t[,δ Vj ] v. Moreover, by our assumption, each v t is also in the Et -harmonic space. Thue we have (3.65) i t v = t v t = 0, by (3.51) (3.64), we know that t a = 0. The proof is complete. v j By (3.47) the above lemma, the L 2 -estimates for the generalized -equation (see (3.53)) determine the positivity of H p,q. We shall show how to use the following version of Hörmer s L 2 -theory [15] to study the curvature of H p,q :

15 HIGHER DIRECT IMAGE 15 Theorem 3.7. Let (E, h) be a Hermitian vector bundle over an n-dimensional compact complex manifold X. Let q 0 be an integer. Assume that X possesses a Hermitian metric ω such that ω max{q,1} is -closed. Let v be a smooth -closed E-valued (n,q + 1)- form. Assume that iθ(e,h) ω q > 0 on X, (resp. iθ(e,h) ω q 0 on X), I(v) := inf b 2 v= E ω +([iθ(e,h),λ ω ] 1 c,c) ω <, (resp. I(v) := inf b 2 b+c v= E ω < ). b Then there exists a smooth E-valued (n,q)-form a such that a = v (3.66) a 2 ω I(v). Proof. Let γ be an arbitrary E-valued smooth (n q 1,0)-form on X. Put (3.67) T = i (n q 1)2 {γ,γ} ω q, u = γ ω q+1. Since ω q = 0, one may check that i T can be written as (3.68) 2Re u,u ω n + u 2 ω n +i (n q 1)2 {iθ(e,h)γ,γ} ω q S, where (3.69) S = i (n q)2 { γ, γ} ω q. By Lemma 4.2 in Berndtsson s lecture notes [6], we have (3.70) S = ( ω q+1 γ 2 γ 2 )ω n. Since ω max{q,1} is -closed, we have ω q+1 = 0, thus (3.71) S = ( u 2 ( E ) u 2 )ω n. Notice that X i T = 0, thus we have (3.72) (3.73) u 2 + u 2 ( E ) u 2 = X i (n q 1)2 {iθ(e,h)γ,γ} ω q = ([iθ(e,h),λ ω ]u,u), where Λ ω is the adjoint of ω. By Hörmer s L 2 theory, it suffices to show that (3.74) (v,u) 2 I(v)( u 2 + u 2 ), smooth u, which follows from (3.72) (3.73) by the Cauchy-Schwartz inequality. We shall also use the following generalized version of Theorem 3.7 (see Remark 13.5 in [11] for related results): Theorem 3.8. Let (E, h) be a Hermitian vector bundle over an n-dimensional compact complex manifold X. Let q 0 be an integer. Assume that X possesses a Hermitian metric ω such that ω max{q,1} is -closed. Let v be a smooth -closed E-valued (n,q + 1)- form. Assume that iθ(e,h) ω q 0 on X I(v) := inf v= E b+c { b 2 ω + lim ε 0 ( ([iθ(e,h),λω ]+ε) 1 c,c ) ω Then there exists a smooth E-valued (n,q)-form a such that a = v (3.75) a 2 ω I(v). } <.

16 16 XU WANG Proof. By (3.72) (3.73), for every ε > 0, we have (3.76) (v,u) 2 I(v)( u 2 + u 2 +ε u 2 ), smooth u, By Hörmer s L 2 theory, there exist a ε α ε such that (3.77) a ε + εα ε = v, (3.78) a ε 2 + α ε 2 I(v). Thus εα ε 0 in the sense of current as ε 0. By taking a weak limit, say a, of a ε, we know that there exists a such that a = v in the sense of current (3.79) a 2 I(v). Let a be the L 2 -minimal solution. Then a fits our needs Curvature of H n,q. Theorem 3.8 implies that there is a good L 2 -estimate for (3.53) if p = n. We shall show how to use it to prove Theorem 1.1 in this subsection. Let us study the middle term in (3.47) first. By (3.48), we have (3.80) π {[L j,l k]u j,u k } = ( Θ(E,h)(V j, V k )u j,u k ) +( E t δ [Vj, V k ] u j,u k ). The first term is clear. For the second term, we need the following lemma: Lemma 3.9. ( Et δ [Vj, V k ] u j,u k ) can be written as A+Nak, where (3.81) A := i (n q)2 π {c j k(ω)ω q 1 iθ(e,h)u j,u k }, c j k (ω) := V j,v k ω, Nak := (c j k(ω) t u t j, t u t k ) 0. We shall prove the above Lemma later. By the above lemma, we have (3.82) π {[L j,l k]u j,u k } = A+B +Nak, where (3.83) B := ( Θ(E,h)(Vj, V k )u j,u k ). Thus by (3.47), put (3.84) b = b u j j, a = a u j j, then we have (notice that b u k = 0 since p = n) j (3.85) (Θj ku j,u k ) = b 2 a 2 +A+B +Nak +Gri, where (3.86) Gri := (a u j k,au k j ), is non-negative if u j = ξ j u. Put (3.87) C ε := ( ([iθ(e t,h),λ ω t]+ε) 1 c,c ), c := c u j j. Then we have (3.88) where (Θj ku j,u k ) = A+B C ε +Nak +Gri+R ε, (3.89) R ε := ( ([iθ(e t,h),λ ω t]+ε) 1 c,c ) + b 2 a 2.

17 HIGHER DIRECT IMAGE 17 Proof of Theorem 1.1 By (3.53) Theorem 3.8, we know that R ε is always nonnegative. In order to show that H n,q is Griffiths semi-positive, it suffices to prove lim (A+B C ε) 0, ε 0 which follows from the following lemma: Lemma If Θ(E,h) is q-semipositive with respect to ω then (3.90) A+B +ε (c j k(ω)u j,u k ) C ε 0, ε > 0. Proof. Put (3.91) I ε := A+B +ε (c j k(ω)u j,u k ) C ε, (3.92) T ε := ω q iθ(e,h)+εω q+1 Id E, T t ε := T ε Xt. We claim that for each j one may choose a dual representative u j of u j such that (3.93) i tδ Vj ( Tε u j) 0, on X t for every t B (3.94) I ε i m2 dt dt = π (c q {T ε u,u }) 0, u := u j δ V j dt, where c q := i (m+n q 1)2 dt := dt 1 dt m. In fact, (3.93) is equivalent to (3.95) ω t q (V j iθ(e,h)) Xt u t j +T t ε i tδ Vj u j 0. Notice that (3.96) Q 1 ε (T t ε i tδ Vj u j) = ω t q+1 i tδ Vj u j, Q ε := [Θ(E t,h),λ ω t]+ε, Thus there exists u j such that (3.93) is true. Now choose u j (3.97) c = i (n q)2 +1 T t ε i t δ V j u j, which implies (3.98) Q 1 ε c = i (n q)2 +1 ω t q+1 i t δ V j u j. that satisfies (3.93), then Thus we have (3.99) C ε = (Q 1 ε c,c) = π (i (n q 1)2 {T ε δ Vj u j, ) δ Vj u j}. Recall that (3.100) A = i (n q)2 π {c j k(ω)ω q 1 iθ(e,h)u j,u k }, (3.101) B = i (n q)2 π {ω q Θ(E,h)(V j, V k )u j,u k }. Notice that ) (3.102) i t (iδ Vj δ V k T ε = ωq t Θ(E,h)(V j, V k )+iθ(e t,h) c j k(ω)ω q 1 t +εc j k(ω)ω q. t Thus (3.103) A+B +ε (c j k(ω)u j,u k ) = i (n q)2 π {(iδ Vj δ V k T ε ) u j,u k }.

18 18 XU WANG Notice that δ Vj δ V k {T ε u j,u k } = ( 1)n q {(δ Vj T ε ) u j,δ Vk u k } {(δ V k T ε ) δ Vj u j,u k } By (3.93), we have + {(δ Vj δ V k T ε ) u j,u k }+( 1)n q {T ε δ Vj u j,δ V k u k }. (3.104) π {(δ Vj T ε ) u j,δ V k u k } = π {T ε δ Vj u j,δ V k u k }, (3.105) π {(δ V k T ε ) δ Vj u j,u k } = ( 1)n q π {T ε δ Vj u j,δ V k u k }. Thus (3.106) π δ Vj δ V k {T ε u j,u k } = π {(δ Vj δ V k T ε ) u j,u k } ( 1)n q π {T ε δ Vj u j,δ Vk u k }, which implies that (3.107) Notice that for bi-degree reason, we have ) i (n q) 2 π (iδ Vj δ V k {T ε u j,u k } = I ε. (3.108) (δ Vj δ V k {T ε u j,u k }) dt dt = ( 1)m {T ε u j,u k } δ V j dt δ Vk dt. Thus (3.94) is true. The proof is complete. Proof of the remark behind Theorem 1.1: Since p = n, we know that (3.109) b u k j = c u k j = 0. Thus by Lemma 3.6, if H p,q t = ker Et ker( Et ) for every t B then we have (3.110) a u k = 0, j which implies that Gri = 0. Thus H n,q is Nakano semi-positive. Proof of Lemma 3.9: Put (3.111) I jk := ( Et δ [Vj, V k ] u j,u k ). Denote by V the (1,0)-part of [V j, V k ], then we have (3.112) I jk = { Et δ V u t j, u t k } = ( 1)n q X t {δ V u t j, t u t k }. X t Since (3.113) u t j = i(n q)2 ω t q ut j, (3.114) i (n q)2 ω t q t u t k = t u t k = 0, we have (3.115) I jk = ( 1) n q i (n q)2 X t {(δ V ω t q) u t j, t u t k }. By definition, δ V ωq t is the (q 1,q)-part of (3.116) i ( ) t (LVj Vk ) ω q. Since (3.117) (L Vj Vk ) ω q = L Vj ( V k ω q ) V k L Vj ω q,

19 (3.118) Vk ω q = i c j k(ω)dt j ω q 1, L Vj ω q = d HIGHER DIRECT IMAGE 19 Thus (3.119) i ( ) t (LVj Vk ) ω q = i t d ( ) ic j k(ω) ω q 1, (3.120) δ V ω t q = t ( icj k(ω) ω t q 1). Now I jk can be written as (i c j k(ω)d t k ω q 1 ). i (n q+1)2 X t { t (c j k(ω) ω t q 1 u t j), t u t k } {c j k (ω) ωt q 1 t u t j, t u t k }. By (3.114), each t u t k is primitive, thus (3.121) i (n q+1)2 X t {c j k(ω) ω t q 1 t u t j, t u t k } = Nak. Now it suffices to show (3.122) A = i (n q+1)2 X t { t (c j k(ω) ω t q 1 ut j ), t u t k }. Notice that the right h side can be written as (3.123) i (n q) 2 ( i) {c j k(ω) ω q 1 t ut j, Et t u t k }. X t Since each u t k is harmonic, we have Et u t k 0 (3.124) Et t u t k = Θ(E t,h) u t k. Thus (3.122) follows from (3.123) (3.124). The proof is complete. 4. Curvature of the Weil-Petersson metric We shall prove Theorem 1.2 in this section. Let π : X B be a proper holomorphic submersion. Then we have the classical Kodaira-Spencer map (4.1) κ : v κ(v) H 0,1 (T Xt ) H n,n 1 (T X t ), v T t B, t B. we shall prove that: Proposition 4.1. Assume that the dimension of H 0,1 (T Xt ) does not depend on t. Then (4.2) κ : v κ(v) H n,n 1 (T X t ), v T t B, defines a holomorphic bundle map from T B to the dual bundle of (4.3) H n,n 1 := {H n,n 1 (T X t )} t B. Proof. Let v : t v t be a holomorphic vector field on B. Let V be a smooth (1,0)-vector field on the total space such that π V = v. Then we know that for each t, ( V) Xt defines a representative of κ(v t ). It suffices to prove that (4.4) π (u V)

20 20 XU WANG is holomorphic for every holomorphic section u of H n,n 1, where u is an arbitrary representative of u. Let us write (4.5) u = dt j a j + d t k b k. By the proof of Theorem 3.1, we know that each b k Xt is t -closed the cohomology class of b k Xt does not depend of the choice of b k. Moreover, if u is a holomorphic section then the cohomology class of b k Xt is zero. Thus (4.6) π (b k V) = 0, (4.7) π (u V) = π ( u V) = d t k π (b k V) = 0, which implies that π (u V) is holomorphic. The proof is complete. Proof of Theorem 1.2: Let v : t v t be an arbitrary holomorphic vector field on B. Let us denote by v WP the upper semicontinuous regularization of (4.8) t v t WP. Then it suffices to prove that log v WP is plurisubharmonic or equal to identically. Since there is a Zariski open subset, say B 0, of B such that the dimension of H n,n 1 (T X t ) is a constant on B 0, by Theorem 1.1, we know that H n,n 1 is Griffiths-semipositive on the complement of a proper analytic subset. Thus by Proposition 4.1, we know that log v WP is plurisubharmonic or equal to identically on the complement of a proper analytic subset. Now it is sufficient to prove that v WP is locally bounded from above. Let V be a smooth (1,0)-vector field on the total space such that π V = v. By definition, we know that (4.9) v t WP ( V) Xt H 0,1 (T Xt ). Since (4.10) t ( V) Xt H 0,1 (T Xt ), is smooth, we know that v WP is locally bounded from above. The proof is complete. 5. Acknowledgement I would like to thank Bo Berndtsson for many inspiring discussions (in particular for his suggestion to relate our results to the Weil-Petersson geometry), for his many useful comments on this paper. Thanks are also given to Bo-Yong Chen Qing-Chun Ji for their constant support encouragement. References [1] T. Aubin, Équations du type Monge-Ampère sur les varietés kählériennes compactes, Bull. Sci. Math. 102 (1978), [2] B. Berndtsson, An eigenvalue estimate for the -Laplacian, J. Differential Geom. 60 (2002), [3] B. Berndtsson, Subharmonicity properties of the Bergman kernel some other functions associated to pseudoconvex domains, Ann. Inst. Fourier (Grenoble), 56 (2006), [4] B. Berndtsson, Curvature of vector bundles associated to holomorphic fibrations, Ann. Math. 169(2009), [5] B. Berndtsson, Positivity of direct image bundles convexity on the space of Kähler metrics, J. Diff. Geom. 81 (2009),

21 HIGHER DIRECT IMAGE 21 [6] B. Berndtsson, An introduction to things, Analytic algebraic geometry, IAS/Park City Math. Ser., vol. 17, Amer. Math. Soc., Providence, RI, 2010, [7] B. Berndtsson, Strict nonstrict positivity of direct image bundles, Math. Z. 269 (2011), [8] B. Berndtsson, L 2 -extension of -closed form, Illinois J. Math. 56 (2012), [9] B. Berndtsson M. Paun, Bergman kernel the pseudoeffectivity of relative canonical bundles, Duke Math. J. 145 (2008), [10] B. Berndtsson, M. Paun X. Wang, Iterated Kodaira-Spencer map its applications, preprint. [11] J.-P. D ly, L 2 estimates for the d-bar operator on complex manifolds. Lecture notes available from the author s homepage, [12] J.-P. D ly, Analytic Methods in Algebraic Geometry. Higher Education Press, Surveys of Modern Mathematics, 2010, 231 pages. [13] J.-P. D ly, Complex analytic differential geometry. Book available from the author s homepage. [14] T. Geiger, G. Schumacher, Curvature of higher direct image sheaves, arxiv: v1 [math.ag] [15] L. Hörmer, L 2 -estimates existence theorems for the -operator, Acta Math. 113 (1965), [16] K. Kodaira D. C. Spencer, On deformations of complex analytic structures, III. Stability theorems for complex structures, Ann. Math. 71 (1960), [17] K. Liu X. Yang, Curvatures of direct image sheaves of vector bundles applications, J. Diff. Geom. 98 (2014), [18] F. Maitani, Variations of meromorphic differentials under quasiconformal deformations, J. Math. Kyoto Univ. 24 (1984), [19] F. Maitani, H. Yamaguchi, Variation of Bergman metrics on Riemann surfaces, Math. Ann. 330 (2004), [20] C. Mourougane, S. Takayama, Hodge metrics positivity of direct images, J. Reine Angew. Math. 606 (2007), [21] C. Mourougane, S. Takayama, Hodge metrics the curvature of higher direct images, Ann. Sci. Éc. Norm. Supér. 41 (2008), [22] A. M. Nadel, Multiplier ideal sheaves Kähler-Einstein metrics of positive scalar curvature, Proc. Nat. Acad. Sci. U.S.A., 86 (1989), Annals of Math., 132 (1990), [23] H. Raufi, Singular hermitian metrics on holomorphic vector bundles. Arkiv för Matematik, 53 (2015), [24] A. Newler L. Nirenberg, Complex Analytic Coordinates in Almost Complex Manifolds. Annals of Mathematics, 65 (1957), [25] G. Schumacher, Positivity of relative canonical bundles applications, Invent. Math. 190 (2012), [26] G. Schumacher Curvature properties for moduli of canonically polarized manifoldsan analogy to moduli of CalabiYau manifolds, Comptes Rendus Mathematique, 352 (2014), [27] Y. T. Siu, Complex-analyticity of harmonic maps, vanishing Lefschetz theorems, J. Differential Geom. 17 (1982), [28] W. K. To S. K. Yeung, Finsler Metrics Kobayashi hyperbolicity of the moduli spaces of canonically polarized manifolds, Ann. Math. 181 (2015), [29] H. Tsuji, Variation of Bergman kernels of adjoint line bundles, arxiv: [math.cv]. [30] X. Wang, A curvature formula associated to a family of pseudoconvex domains, arxiv: , to appear in Annales de l Institut Fourier. [31] X. Wang, Subharmoncity properties of the L 2 -minimal solution of the -equation, preprint. [32] X. Wang, Relative -complex its curvature properties, preprint. [33] X. Wang, Higgs bundle, preprint. [34] S.-T. Yau, On the Ricci curvature of a compact Kähler manifold the complex Monge-Ampére equation I, Comm. Pure Appl. Math. 31 (1978), School of Mathematical Sciences, Fudan University, Shanghai, , China Current address: Department of Mathematical Sciences, Chalmers University of Technology University of Gothenburg. SE Gothenburg, Sweden address: wangxu1113@gmail.com address: xuwa@chalmers.se