arxiv: v1 [math.dg] 1 Jul 2014

Transcription

1 Constrained matrix Li-Yau-Hamilton estimates on Kähler manifolds arxiv: v1 [math.dg] 1 Jul 014 Xin-An Ren Sha Yao Li-Ju Shen Guang-Ying Zhang Department of Mathematics, China University of Mining and Technology, Xuzhou 1116, China. Abstract We derive an interpolation version of constrained matrix Li-Yau-Hamilton estimate on Kähler manifolds. As a result, we first get a constrained matrix Li-Yau-Hamilton estimate for heat equation on a Kähler manifold with fixed Kähler metric. Secondly, we get a corresponding estimate for forward conjugate heat equation on Kähler manifolds with time dependent Kähler metrics evolving by Kähler-Ricci flow. Keywords: Li-Yau-Hamilton estimate, Heat equation, Kähler-Ricci flow Mathematics Subject Classification: 53C44, 53C55 1 Introduction In the seminar paper [19], Li and Yau first proved a gradient estimate for the positive solution of heat equation u = u 1.1 t on a Riemannian manifold and derived the classical Harnack inequality by integrating the gradient estimate along the paths in space-time. This estimate has tremendous impact in the past twenty years. On the one hand, similar technique was employed by Hamilton in study of Harnack inequalities for Ricci flow in [14, 16] and mean curvature flow in [18]. So this class of Harnack inequalities was called Li-Yau-Hamilton estimate in [4]. Similar Li-Yau-Hamilton estimates for Gauss curvature flow and Yamabe flow were proved by Chow in [5, 6]. Meanwhile, the estimate for Kähler-Ricci flow was proved by Cao in [3]. Later in [1], the corresponding result was established for a general class of hypersurface flows by Andrews. Moreover, a geometric interpretation of Hamilton quantities in the Li-Yau-Hamilton estimate for Ricci flow was given by Chow and Chu in [8]. Using this geometric approach, Chow and Knopf gave a new Li-Yau-Hamilton estimate for Ricci flow in [11]. renx@cumt.edu.cn, ys@cumt.edu.cn, ljshen@cumt.edu.cn, gyzhang@cumt.edu.cn 1

2 On the other hand, Hamilton extended Li-Yau s gradient estimate of heat equation to the full matrix version in [15]. Precisely, he proved that a positive solution of heat equation on a closed Riemannian manifold with nonnegative sectional curvature and parallel Ricci curvature satisfies the estimate i j lnu+ 1 t g ij Moreover, he derived several important monotonicity formulae out of the estimate in [17]. The assumption that M, g has parallel Ricci curvature in Hamilton s estimate is rather restrictive and can be removed if the manifold is Kähler. This was observed by Cao and Ni for the Kähler manifold with fixed metric in [4] and by Chow and Ni for the Kähler manifold with time dependent metrics evolving by Kähler-Ricci flow in [1]. These two estimates can be unified by the interpolation consideration originally proposed by Chow in [7]. Theorem AChow-Ni Assume that M,g i jt has nonnegative holomorphic bisectional curvature satisfying ǫ-kähler-ricci flow t g i j = ǫr i j. 1.3 In the case that M is complete noncompact, additionally assume that the bisectional curvature is bounded. If u is a positive solution of where R is the scalar curvature, then u = u+ǫru, 1.4 t i jlnu+ǫr i j + 1 t g i j It should be pointed out that there are also other important works along this direction, see [9,, 3, 4, 5]. To better understand how the Li-Yau-Hamilton estimate for the Ricci flow can be perturbed or extended, which is important in studying singularities of the Ricci flow, Chow and Hamilton extended the matrix Li-Yau-Hamilton estimate on Riemannian manifolds to the constrained case in [10]. Theorem BChow-Hamilton Let M, g be a compact Riemannian manifold with nonnegative sectional curvature and parallel Ricci curvature. If u and v are positive solutions of heat equation with v < u, then where h = v/u. t u = u, v = v, 1.6 t i j lnu+ 1 t g ij > ih j h, 1.7 In this paper, we will extend the Li-Yau-Hamilton estimates due to Cao-Ni and Chow-Ni on Kähler manifolds to the constrained case.

3 Theorem 1.1. Let M,g i jt be a compact solution of ǫ-kähler-ricci flow If u and v are solutions of the equation t g i j = ǫr i j. 1.8 with v < u, then we have t u = u+ǫru, v = v +ǫrv 1.9 t i jlnu+ 1 t g i j +ǫr i j > ih jh, 1.10 where h = v/u. Set ǫ = 0, and we get the constrained Li-Yau-Hamilton estimate on Kähler manifolds. Corollary 1.. Let M be a compact Kähler manifold with nonnegative holomorphic bisectional curvature. If u and v are the solutions of the heat equation with v < u, then we have where h = v/u. t u = u, v = v 1.11 t i jlnu+ 1 t g i j > ih jh, 1.1 Taking ǫ = 1, we get the constrained Li-Yau-Hamilton estimate on Kähler manifolds under the Kähler-Ricci flow. Corollary 1.3. Let M,g i jt be a compact solution of Kähler-Ricci flow If u and v are the solutions of the forward conjugate heat equation t g i j = R i j with v < u, then we have t u = u+ru, v = v +Rv 1.14 t i j lnu+ 1 t g i j +R i j > ih jh, 1.15 where h = v/u. Remark 1.4. If h = C 1,1 is a constant, then h = 0 and we recover the Li-Yau- Hamilton estimates in [4] and [1]. Since the manifold in Theorem A is complete, we expect the result also hold on complete noncompact manifolds under suitable condition. 3

4 Remark 1.5. Since the constrained Li-Yau-Hamilton estimate on Riemannian manifolds helps to understand the singularities of the Ricci flow, we also expect our estimates are useful in investigating the singularities of Kähler-Ricci flow. The rest of the paper is organized as follows. We devote section to the notations and basic formulas in Kähler geometry. In section 3, we prove the Theorem 1.1 by using Hamilton s maximum principle for tensors. Preliminaries Let M,g i j be a Kähler manifold with Kähler metric g i j. The Kähler form ω = is a closed real 1,1-form, which is equivalent to The Christoffel symbols of the metric g i j is defined as where g i j = g i j 1. It is easy to see that Γ k ij and j. The curvature tensor of the metric g i j is defined by 1 g i jdz i d z j.1 g i j z k = g k j z i, g i j z k = g i k z j.. Γ k ij = gk l g i l z j, Γ lī j = gk l g k j z i,.3 is symmetric in i and j and Γ lī j is symmetric in ī R j ik l = Γj ik z l, R i jk l = g p jr p ik l..4 It is easy to see that R i jk l is symmetric in i and k, in j and l and in pairs i j and k l. The second Bianchi identity in Kähler case reduces to p R i jk l = kr i jp l, qr i jk l = l R i jp q..5 We say that M has nonnegative holomorphic bisectional curvature if R i jk l vi v j w k w l 0.6 for all nonzero vectors v and w in the holomorphic tangent bundle T x M at x M. The Ricci tensor of the metric g i j is obtained by taking the trace of the curvature tensor: R i j = g k lr i jk l.7 and the scalar curvature is R = g i j R i j..8 4

5 Finally, we give the commutation formulas for covariant differentiations in Kähler geometry. Covariant differentiations of the same type can be commuted freely, e.g., k j v i = j k v i, k jv i = j kv i..9 But we shall need following formulas when commuting covariant derivatives of different types: k jv i = j k v i R v k ji l l Constrained Li-Yau-Hamilton estimate In this section, we will give the proof the Theorem 1.1. First we give some lemmas used in the proof. It should be pointed out that all the computations are taken in normal coordinate. Lemma 3.1. Set L = lnu, then the evolution equation of i jl is t i jl = i jl +R l ji k k ll+r i jk l ll kl + k L k i jl+ kl k i jl + j k L i kl+ i k L j kl 1 Rl j i ll+r i l l jl 3.1 and Proof: By we get the evolution equation of L +ǫ R i j +R i jk l R kl R i pr p j. t L = t lnu = u t u = 1 u u+ǫru = +ǫr, 3. u u L = i ī L = i ī u u = u u u u, 3.3 u L = L+ t u +ǫr = L+ L +ǫr. 3.4 We claim that if a function A satisfies the equation then i ja satisfies A = A+B, 3.5 t i j t A = i j A +R i jl k k la 1 Rl j i la+r i l l ja + i jb

6 In fact a straightforward computation leads to i ja = i j t t A = i j A+B = i j A+ i jb. 3.7 It is sufficient to compute i j A = 1 i j k ka+ i j k k A. By using communication formula, we get i j k ka = i k j ka R l j la = k i k ja i R l j la R l j i la = k k i ja+r i kl j l A i R l j la R l j i la 3.8 and = k k i ja+r i kl j k la+ k R i kl j l A ir l j la R l j i la = k k i ja+r i jl k k la R l j i la i j k k A = i k j k A = i k k ja = k i k ja+r i kl j k la R i kk l l ja = k k i ja +R i jl k k la R i l l ja. 3.9 Inserting 3.8 and 3.9 into 3.7, we get the evolution equation of i ja. Applying this formula to A = L = lnu, we obtain i jl = i jl +R t i jl k k ll 1 Rl j i ll+r i l l jl + i j L +ǫ i jr By Lemma 1.1 in [1], we get Now the lemma follows from the following computation i jr = R i j +R i jk l R kl R i pr p j i j L = i j k L kl = i j k L kl+ k L j kl = i j k L kl+ j k L i kl+ i k L j kl+ k L i j kl 3.1 = kl k i jl + j k L i kl + i k L j kl+ k L k i jl +R i jk l ll kl. 6

7 Lemma 3.. see [1] If Kähler metrics g i jt satisfy the ǫ-kähler-ricci flow, then the Ricci tensor satisfies t ǫri j = ǫ R i j +R i jk l R kl R i pr p j Lemma 3.3. Let h = v/u, then i h jh i h jh i h jh i t = + k L k + kl h jh k 1 i k h+ h ih k h h jh kh j kh+ 1 i kh+ h ih kh j kh+ h jh k h jh kh jh k h + i k L + i kl i h k h i + j k L h kh 1 R i l jh l h ih jh h. + j kl 1 R k j kh i h 3.14 Proof: We divide our proof in fours steps. First, we need to give the evolution equation of h. By the definition of h, we have and t h = v = v t t u u vu t u = 1 u v v u 3.15 u h = k kh = k u kv v ku u = ku kv +u k kv k v ku v k ku u kuu kv v ku u v v u = = u u 3 ku kv + k v ku u u v v u u k L kh kl k h. Combining 3.15 and 3.16, we obtain the evolution of h + v k u ku u t h = h+ kl kh+ kl k h The next thing to do in the proof is computing the evolution equation of. By = h t t h = h h+ k L kh+ kl k h

8 and = h h h, 3.19 we have that = + h h k t L kh+ kl k h = + h + k L k + kl k. 3.0 Another step in the proof is computing the evolution equation of i h j h. Take partial derivative with respective to t Direct computation yields i h jh = i t t h jh+ i h j t h. 3.1 i t h jh = i h+ k L kh+ kl k h jh = jh i h 1 R i l lh jh+ i k L kh jh 3. and j + k L i kh jh+ i kl k h jh+ kl i k h jh t h i h = j h+ k L kh+ kl k h i h = j h i h+ j k L kh i h+ k L j kh i h + j kl k h i h+ kl j k h i h = jh i h 1 R k j kh i h + j k L kh i h+ k L j kh i h + j kl k h i h+ kl j k h i h. 3.3 Combining 3. and 3.3, we have that i h jh = i h jh+ jh i h 1 t R i l lh jh 1 Rk j kh i h+ i k L jh kh+ i kl k h jh i h jh + kl k i h jh + k L k + j k L kh i h+ j kl k h i h

9 The Laplacian of i h jh is i h jh = 1 k k + k k i h jh = 1 k k i h jh+ i h k jh + 1 k k i h jh+ i h k jh = i h jh+ i h jh + k i h k jh+ k i h k jh. Collecting the two equalities above gives that i h jh = i h jh k i t h k jh k i h k jh + i k L j h k h+ i kl k h j h + j kl kh i h+ j k L kh i h i h j h + kl k i h j h + k L k R i l jh l h 1 R k j kh i h. Finally, we give the evolution of ih j h. With the help of 3.0 and 3.6, we have that i h j h t = 1 i h jh ih j h t t = 1 [ i h j h k i h k j h k ih k j h + i k L j h k h+ i kl k h j h+ j kl kh i h + j k L ih k h+ k L k i h j h kl k i h jh 1 R i l jh l h 1 R k j kh i h] ih jh [ + h + k L k + kl k ]. Straightforward computation yields i h jh = i h jh ih jh k i h jh k k i h jh k + ih jh[ k k ] 3 = i h jh ih jh + h k i h jh kh+h k i h jh k h + 8h i h jh h 3, 9 3.8

10 so we have that t i h jh = i h jh + 1 k i h k jh k i h k jh+ i k L jh kh + i kl j h kh+ j kl kh i h + j kl i h k h 1 R i l jh l h 1 Rk j kh i h ih jh i h jh h + k L k i + kl h jh k 8h i h jh h 3 h k i h jh kh+h k i h jh k h. Rearranging terms leads to i h jh i h jh i h jh i t = + k L k + kl h jh k 1 i k h+ h ih k h h j h k h j kh+ 1 i kh+ h ih kh j k h+ h jh k h + 1 i k L jh kh+ i kl jh k h+ j k L i h kh + j kl i h k h 1 R i l jh l h 1 R k j kh i h ih jh h This complete the proof of lemma 3. We also need following result, which is an easy consequence of Cao s differential Harnack inequality for the Kähler-Ricci flow [3]. Lemma 3.4. Let M,g i jt be a solution of ǫ-kähler-ricci flow with nonnegative bisectional curvature and u be a solution of 9, then there holds Y i j = R i j +R i jk l R kl kl ǫ k R + kl i j ǫ kr i j +R i jl k k L ll + R i j ǫ ǫ ǫt 0. With the help of the preceding four lemmas we are now in the position to give the proof of the theorem. Proof of the Theorem 1.1 Let P i j = i jl+ǫr i j ih jh

11 Combine the lemmas together to get t P i j = P i j + kl kp i j + k L kp +R i j i jk l P l k +ǫ Y i j ǫ R i p R p j 1 1 Rl jp i l +R i lp l j + R l j ǫr 1 i l+ R i l ǫrl j ǫri p R p j + j k L jh k h i kl ih kh + i k L ih k h jh kh j k L + 1 i k h+ h ih k h h jh kh j kh+ + 1 i kh+ h ih kh j k h+ h jh k h. 3.3 Since the three matrices in the last three terms are nonnegative definite, we have that Therefore, by Lemma 4, we get that Let t P i j P + kl i j k P i j + k L kp i j +R P i jk l l k + j k L jh k h i kl ih kh ǫ Y i j ǫ R i p R p j ǫr i j 1 Rl jp t i l +R i lp l j. P t i j + g i j t = t P i j + 1 t t g i j 1 t g i j P i j + g + kl i j k P t i j + g i j t + k L k P i j + g i j +R t i jk l P l k + g l k t g R l k i jk l 1 [ R t l j P i l + g i l +R t i l P l j + g ] l j t + j k L jh k h i kl ih kh ǫ R i p R p j ǫr i j t 1 t g i j Q i j = P i j + g i j t,

12 then Q i j satisfies that t Q i j Q i j + L, Q i j + Qi j, L +R Q i jk l l k 1 Rl j Q i l +R i l Q l j +Pi kp ǫr k j k j P i k ǫr i k Pk j ǫr k j ǫ R i p R p j ǫr i j t 1 t g i j = Q i j + L, Q i j + Qi j, L +R Q i jk l l k 1 Rl jq +ǫ +R i l i l Q l j + P k j + g k j P t i k g i k t 3.36 = Q i j + L, Q i j + Qi j, L +R Q i jk l l k 1 Rp jq +ǫ i p +R i pq p j + Q i k t g i k Q k j. According to the tensor maximum principle of Hamilton [1, 13], to prove Q i j 0, it suffices to show that 1 R Q i jk l l k Rp jq +ǫ i p +R i p Q p j + Q i k t g i k Q k j 3.37 satisfies null-eigenvector condition. By the well-known result of Bando [] and Mok [0], the nonnegativity of holomorphic bisectional curvature is preserved along the ǫ-kähler-ricci flow. So each term of 3.37 is nonnegative when evaluated at any null-eigenvector of Q i j. This completes the proof of the theorem. Acknowledgements The first named author would like to thank Professors Q.-K. Lu, S.-K. Wang and K. Wu for valuable discussions and comments. He would also like to thank Professor H.-W. Xu for helpful suggestions. This work partially supported by the Fundamental Research Funds for Central Universities Grant No. 01QNA40. References [1] Andrews, B.: Harnack inequalities for evolving hypersurfaces. Math. Z. 17, [] Bando, S.: On classification of three-dimensional compact Kähler manifolds of nonnegative bisectional curvature. J. Diff. Geom. 19, [3] Cao, H. D.: On Harnack s inequalities for the Kähler-Ricci flow. Invent. Math. 109, [4] Cao, H. D., Ni, L.: Matrix Li-Yau-Hamilton estimates for the heat equation on Kähler manifolds. Math. Ann. 331,

13 [5] Chow, B.: On Harnack inequality and entropy for the Gaussian curvature flow. Comm. Pure Appl. Math. 44, [6] Chow, B.: The Yamabe flow on locally conformal flat manifolds with positive Ricci curvature. Comm. Pure Appl. Math. 45, [7] Chow, B.: Interpolating between Li-Yau s and Hamilton s Harnack inequalities on surface. J. Part. Diff. Equ. 11, [8] Chow, B., Chu, S.C.: A geometric interpretation of Hamilton s Harnack inequality for the Ricci flow. Math. Res. Lett., [9] Chow, B., Chu, S.C.: A geometric approach to the linear trace Harnack inequality for the Ricci flow. Math. Res. Lett. 3, [10] Chow, B., Hamilton, R.: Constrained and linear Harnack inequalities for parabolic equations. Invent. Math. 19, [11] Chow, B., Knopf, D.: New Li-Yau-Hamilton inequalities for the Ricci flow via the spacetime approach. J. Diff. Geom. 60, [1] Hamilton, R.: Three-manifolds with positive Ricci curvature. J. Diff. Geom. 17, [13] Hamilton, R.: Four-manifolds with positive curvature operator. J. Diff. Geom. 4, [14] Hamilton, R.: The Ricci flow on surfaces. Contemp. Math. 71, [15] Hamilton, R.: A matrix Harnack estimate for the heat equation. Comm. Anal. Geom. 1, [16] Hamilton, R.: The Harnack estimate for the Ricci flow. J. Diff. Geom. 37, [17] Hamilton, R.: Monotonicity formulas for parabolic flows on manifolds. Comm. Anal. Geom. 1, [18] Hamilton, R.: The Harnack estimate for the mean curvature flow. J. Diff. Geom. 41, [19] Li, P., Yau, S.-T.: On the parabolic kernel of the Schrödinger operator. Acta Math. 156, [0] Mok, N.: The uniformization theorem for compact Kähler manifolds of nonnegative holomorphic bisectional curvature. J. Diff. Geom. 7,

14 [1] Ni, L.: A matrix Li-Yau-Hamilton estimate for Kähler-Ricci flow. J. Diff. Geom. 75, [] Ni, L.: Monotonicity and Kähler-Ricci flow. Contemp. Math. 367, [3] Ni, L.: A monotonicity formula on complete Kähler manifold with nonnegative bisectional curvature. J. Amer. Math. Soc. 17, [4] Ni, L., Tam, L.-F.: Plurisubharmonic functons and the Kähler-Ricci flow. Amer. J. Math. 15, [5] Ni, L., Tam, L.-F.: Plurisubharmonic functons and the structure of complete Kähler manifolds with nonnegative curvature. J. Diff. Geom. 64,