arxiv: v1 [math.dg] 22 Aug 2011

Transcription

1 LOCAL VOLUME COMPARISON FOR KÄHLER MANIFOLDS arxiv: v1 [math.dg] 22 Ag 2011 GANG LIU Abstract. On Kähler manifolds with Ricci crvatre lower bond, assming the real analyticity of the metric, we establish a sharp relative volme comparison theorem for small balls. The model spaces being compared to are complex space forms, i.e, Kähler manifolds with constant holomorphic sectional crvatre. Moreover, we give an example showing that on Kähler manifolds, the pointwise Laplacian comparison theorem does not hold when the Ricci crvatre is bonded from below. 1. Introdction Comparison theorems are fndamental tools in geometric analysis. They are vital in the estimates of the spectrms, heat kernels and the Sobolev constants. The classical Bishop-Gromov s relative volme comparison theorem [1][3][4] in Riemannian geometry is the following: Theorem 1. Let M n be a complete Riemannian manifold sch that Ric (n 1)K. For any p M and 0<a<b, the volme of geodesic balls satisfy Vol(B p (b)) Vol(B p (a)) Vol(B M K (b)) Vol(B MK (a)), where M K is the simply connected real space form with sectional crvatre K, Vol(B MK (r)) is the volme of the geodesic ball in M K with radis r. The eqality holds iff B p (b) is isometric to B MK (b). The key ingredient in theorem 1 is the Laplacian comparison theorem [2][6]: Theorem 2. Let M n be a complete Riemannian manifold with Ric (n 1)K. Let M k be the simply connected real space form with sectional crvatre K. Denote r M (x) to be distance fnction from p to x in M. Let r Mk be the distance fnction on M k. Then for any x M, y M k with r M (x)=r Mk (y), r M (x) r Mk (y). The model spaces in above theorems are real space forms. In the Kähler category, it is a natral qestion whether we can replace the model spaces by Kähler models, i.e, complex space forms which are Kähler manifolds with constant holomorphic sectional crvatre. In [5], Li and Wang showed that when the bisectional crvatre has a lower bond, both theorems above hold with Kähler models. So the qestion left is: what can we get if we only assme the lower bond of the Ricci crvatre? This note addresses with the local case. The main theorem is the following: 1

2 2 GANG LIU Theorem 3. Let M n (n=dim C M) be a Kähler manifold with real analytic metric. Assme Ric K (K is any real nmber). Given any point p M, there exists r=r(p, M)>0 sch that for any 0<a<b<r, the volme of geodesic balls satisfy Vol(B M n(p, b)) Vol(B M n(p, a)) Vol(B N K (b)) Vol(B NK (a)), where N K denotes the rescaled complex space form with Ric = K, NK r is the Laplacian of distance fnction on N K. The eqality holds iff M is locally isometric to N K. Remark 1. Theorem 3 is a local version of Bishop-Gromov s relative volme comparison theorem on Kähler manifolds. However, one cannot directly extend theorem 3 to any radis. A simple example is the prodct ofp 1 with the standard prodct metric. Then the diameter is greater than that of the complex space form. This implies when r is large, the ineqality in theorem 3 does not hold. We can prove a reslt which is slightly stronger than theorem 3: Theorem 4. Under the same assmption as in theorem 3, there exists r 0 = r 0 (p, M)> 0 sch that for any r<r 0, the average Laplacian comparison holds: B p (r) r A( B p (r)) N K r(r), where NK r is the Laplacian of distance fnction on N K. Moreover, the eqality holds iff M is locally isometric to N K. Remark 2. Theorem 4 is a local version of theorem 2 in the average sense. However, on Kähler manifolds with Ricci crvatre lower bond, the pointwise Laplacian comparison does not hold even locally(see section 6). The idea of the proof of theorem 4 is very simple. We shall expand the area of the geodesic sphere A( B p (r)) by power series, then compare the coefficients with that of the rescaled complex space form. The comptation is complicated since it involves the covariant derivatives of the crvatre tensor with arbitrary order. This note is organized as follows: In section 2, we state two propositions which demonstrate the relation between the derivatives of A( B p (r)) and covariant derivatives of the crvatre tensor at p. Section 3 is the first part of the proof of proposition 1. We shall estimate the derivatives of A( B p (r)) p to order 4. In the estimate of the 4th derivative, the Kähler condition is employed. The most important part is section 4. We se an indction to prove proposition 1. Besides the rotine comptation, there are two technical lemmas(lemma 3 and lemma 4) which simplify the comptation of higher order covariant derivatives of the crvatre tensor significantly. One shold note that the Kähler condition is essential in these two lemmas. We complete the proof of proposition 2 and theorem 4 in section 5. The last section is devoted to giving an example showing that the pointwise Laplacian comparing with the complex space form does not necessarily hold if the complex dimension is greater or eqal to 2.

3 LOCAL VOLUME COMPARISON 3 Acknowledgment The athor is gratefl to his advisor Professor Jiaping Wang for continos encoragement and helpfl discssions dring the work. 2. Basic set p Throghot this note, for derivatives of fnctions of r, we are always evalating at r = 0. Given a point p on a Kähler manifold M n, fix a nit vector e 0 T p M. Along the geodesic l from p with initial direction e 0, consider the Jacobian eqation J = R(e 0, J)e 0. Set p an orthonormal frame{e k } at p sch that Je 2i = e 2i+1, Je 2i+1 = e 2i for 0 i n 1. Parallel transport the frame along the geodesic l. Consider the Jacobian field J with initial vale J (0)=0, J (0)=e. We may write 2n 1 (2.1) J = J (r, e 0 )= r i C,i v e v where C,i v are constants independent of r. Denote R e 0 e e 0 e v by R v when e 0 is fixed. Plgging (2.1) in the Jacobian eqation, we get (2.2) i(i 1)r i 2 C,i v e v= r k C,k w R(e 0, e w )e 0. Along the geodesic l, i v R(e 0, e w )e 0 = k 2n 1 s=0 v=0 j=0 w R ( j) sw j! e sr j where R ( sw j) denotes the jth covariant derivative of R sw along e 0 at p. Inserting it in (2.2), we get i(i 1)r i 2 C,i v e v= r k+ j C,k w R ( sw j) j! e s. i,v Comparing coefficients, we obtain (2.3) C v,i = A simple iteration gives C v,5 = k+ j=i 2,w k, j,w,s C w,k C v,1 =δv ; C w,2 = 0; Cv,3 = w (C w,1 Employing (2.1), we have C v,4 = w R ( j) vw j!i(i 1). w C,1 w R vw 12 = R v 12 ; R vw 40 + R vw Cw,3 20 )= 1 C,1 w R vw 6 = R v 6 ; 120 ( s R s R sv + 3R v).

4 4 GANG LIU (2.4) J = re + r3 6 R ve v + r4 12 R ve v + r5 120 ( s R s R sv + 3R v)e v + O(r 6 ). Using da to denote the standard measre of the nit tangent bndle UT p (M) at p, via exponential map, we write B(p,r) da as. Defining det<j, J v > W= r 2n 1, we introdce two propositions as follows: Proposition 1. Under the same condition as in theorem 4, if the derivatives of W with order from 1 to (2m 1)(m 1) are the same as that of the complex space form, we have Conclsion 1 : If m=2, Ric=Kat p. If m 3, then R i jkl = K n+1 (δ i jδ kl +δ il δ jk ) at p. Moreover, for any nit vectors, v, e 0 UT p (M), R v (λ) = 0 for 1 λ m 3 and Ric (l) (e 0, e 0 )=0 for 1 l 2m 4. The sperscripts are orders of covariant derivatives along direction e 0. Conclsion 2 : W (2m) is less than or eqal to that of the complex space form. Proposition 2. Under the same condition as in theorem 4, if the derivatives of W with order from 1 to (2m)(m 1) are the same as the complex space form, W (2m+1) = 0. We divide the proof of proposition 1 into two parts: m = 1, 2 and m The proof of proposition 1: Part I This section treats the case m = 1, 2. By (2.1), we have < J, J v > (3.1) r 2 = r i+ j 2 C,i w Cw v, j. By (2.4), If v, < J, J > r 2 < J, J v > r 2 i, j,w = 1+ R 3 r2 + R 6 r3 + ( 2 45 = 1 3 R vr 2 + R v 6 r3 + ( 2 45 s s R 2 s R )r4 + O(r 5 ). R s R vs R v)r 4 + O(r 5 ). Now se the above two expressions to see that det<j, J v > r 4n 2 = 1+ 1 R r R 3 6 r 3 + ( 2 R 2 45 s+ 1 20,s (3.2) + 1 R R vv 1 R v)r 4 + O(r 5 ). <v <v R

5 LOCAL VOLUME COMPARISON 5 Considering the identity 1+ x= x 1 8 x2 + O(x 3 ), we get (3.3) det<j, J v > r 2n 1 = R r R 12 r 3 + ( 1 R 2 45 s+ 1 40,s R R vv 1 R 2 18 v 1 72 ( R ) 2 )r 4 + O(r 5 ). <v <v R Since W= det<j,j v > r 2n 1, we find W (0)=0, W (0)= cs where c is a positive constant depending only on n, s is the scalar crvatre at p. Therefore W (0) is less than or eqal to that of the complex space form. This proves proposition 1 for m=1. Now we consider m=2. According to the assmption of proposition 1, W is the same as that of the complex space form. Therefore s=nk at p. Since the Ricci crvatre is bonded from below by K, Ric = Kg at p. By (3.3), it is simple to see that the r 3 coefficient of W is 0 by symmetry. Ths to complete the proof for m=2, we jst need to show that the 4th derivative of W is less than or eqal to that of the complex space form. We keep in mind that Ric= Kg at p. The r 4 coefficient of W is c 4 = ( 1 R 2 45 s+ 1 R R R vv 1 R v 1 72 ( R ) 2 ),s <v <v = 1 (8 R R 2 v + 9 R + 20 R R vv <v <v 20 R 2 v 5( R ) 2 ) <v = = ( 2 R ( R ) 2 4 R 2 v + 9 (9 R <v 5( R ) 2 ) R 4 R 2 v 2 R 2 + 5( R ) 2 ). <v Note that the Ricci crvatre attains the minimm K at p, so R = Ric (e 0, e 0 ) 0.

6 6 GANG LIU Therefore we have c 4 = 1 (9 R R 2 v 2 R 2 + 5K2 ) <v 1 (2 R K2 ) = 1 (2 R R K2 ) 1 (3.4) 1 1 ( 360 n 1 ( R ) 2 + 2R K2 ) 1 = 1 1 ( 360 n 1 (Ric(e 0, e 0 )+R 11 ) 2 + 2R K2 ) = 1 1 ( 360 n 1 K2 + 2 n 1 KR ( n 1 + 2)R2 11 5K2 ) ( 1 n 1 K2 + 2 n 1 K R 11 + C 1 ( R 11 ) 2 5K 2 ) = C 2 K 2. In the ineqalities above, C 1, C 2 are constants depending only on n. We explain the ineqalities above. In the first ineqality, we drop the two terms R 2 v and R. In the second ineqality, we apply Schwartz ineqality for directions e that are perpendiclar to e 1, e 0. In the third ineqality we se Schwartz <v ineqality R 2 11 C( R 11 ) 2. We make se of the Kähler condition to obtain R11 = C 3 s=nc 3 K, where C 3 is a constant depending only on n. This explains the last eqality. The right hand side of (3.4) is exactly the case of the complex space form. Therefore when W, W are the same as the complex space form, W (3) = 0 and W (4) is less than or eqal to that of the complex space form. (3.4) becomes an eqality if and only if the holomorphic sectional crvatre is constant at p and Ric (e 0, e 0 )=0 for any e 0 UT p M. This completes the proof for m=2. 4. The proof of proposition 1: Part II This section deals with the case m 3. Denote Ric (l) (e 0, e 0 ) by Ric (l). According to the assmption of proposition 1, the derivatives of W with order from 1 to (2m 1) are the same as the complex space form. Follow reslts in the last section, the holomorphic sectional crvatre is constant at p and Ric = 0 for any e 0. That is to say, at p, R i jkl = K n+1 (δ i jδ kl +δ il δ jk ), Ric = 0. Therefore, we proved conclsion 1 of proposition 1 for m=3. Now we se indction. Assming conclsion 1 of proposition 1 holds for k = m, we shall prove that for k=m+1.

7 LOCAL VOLUME COMPARISON 7 Claim 1. Under the hypothesis of the indction above, C,i v (i m) are constants independent of the direction e 0. In fact, they are the same as that of the complex space form(c,i v is defined in (2.1)). Proof. Claim 1 follows if we insert the indction hypothesis in (2.3). (4.1) Let s write m 1 det< J, J v > r 4n 2 = 1+ a i r i + 2m j=m b j r j + O(r 2m+1 ). Combining claim 1 with (3.1), we find that a i are constants independent of the direction e 0. (3.1) also yields C,m+1 v = C v,m+1 for all, v. Direct expansion of the determinant via (3.1) gives (4.2) b 2m = (C,m+1 v )2 + 4 C,m+1 Cv v.m C,2m+1 4,v + <v m C,m+i v C i,m,,v+ C 0,m C,m+1 v C v,m+1 <v where C i,m,,v and C 0,m are all constants independent of the direction e 0. Note also (4.3) b m = 2 C,m+1 + Constant. Applying 1+ x= x 1 8 x2 + λ k x k ( x <1), we obtain (4.4) k=3 det<j, J v > = 1+ 1 m 1 2 ( a i r i + r 2n 1 + k=3 m 1 λ k ( a i r i + 2m j=m 2m j=m b j r j ) 1 m 1 8 ( a i r i + b j r j ) k + O(r 2m+1 ). Lemma 1. the 2mth order coefficient of the expansion of W is c 2m = ( 1 (C,m+1 v 2 )2 + 2 C,m+1 Cv v,m+1 + (4.5),v <v 2 C,m+1 v C v,m ( C,m+1 )2 + <v C,2m+1 2m j=m b j r j ) 2 m C,m+i C v i,m,,v )+ C 0,m where C i,m,,v and C 0,m are constants independent of the direction e 0. Proof. It sffices to find ot the contribtion of each term in (4.4) to c 2m. We keep in mind that coefficients a i in (4.1) are independent of e 0.

8 8 GANG LIU (4.6) By (4.2), the contribtion of term (m a i r i + 2m j=m b j r j ) to c 2m is (C,m+1 v )2 + 2 C,m+1 Cv v,m+1 + C,2m+1 2,v <v + 1 m 2 ( C,m+i v C i,m,,v+ C 0,m ). The contribtion of the term 1 8 (m 1 a i r i + 2m b j r j ) 2 to c 2m is j=m (4.7) ( 1 m 8 b2 m+ C,m+i v p i,m,,v)+ p 0,m. By (4.3), it cold be written as (4.8) ( 1 2 ( C,m+1 )2 + The contribtion of (4.9) k=3 λ k ( m 1 a i r i + 2m j=m m C,m+i v p i,m,,v)+ p 0,m. b j r j ) k to c 2m is m C,m+i v q i,m,,v+ q 0,m. C,m+1 v C v,m+1 <v In (4.7), (4.8), (4.9), p i,m,,v, q i,m,,v, p 0,m and q 0,m are all constants independent of the direction e 0. Lemma 1 follows if we combine (4.6), (4.7), (4.8) and (4.9). Lemma 2. (4.10) c 2m = m 4 Q(R (m 2) v )+ i= 2 h m,i R (m+i) 11 + C m Ric (2m 2) + Constant where Q is a negative definite qadratic form, h m,i are constants and C m is a negative constant. Proof. By the indction hypothesis and (2.3), we have (4.11) C,2m+1 = k+ j=2m 1,w C,k w j) R( w j!(2m+1)2m 1 = (2m+1)2m ( ( R(m 2) w C,m+1 w (m 2)! + 2m 2 j=m 1 w B j,m,w, R ( j) w)+r C,2m 1 ) where B j,m,w, are constants. For i m, we have

9 LOCAL VOLUME COMPARISON 9 m+i 3 (4.12) C,m+i v = j=m 2 d m,i, j,w, R ( j) w + Constant where d m,i, j,w, are constants. In particlar, we have (4.13) C v,m+1 = k+ j=m 1,w C w,k R ( vw j) j!m(m+1) = 1 m(m+1) ( R(m 2) v (m 2)! + Cv,m 1 R vv). By the indction hypothesis, (4.14) R (m 2) = Ric (m 2) = 0. Therefore (4.15) ) 2 = ( R (m 2) ) 2 2 (R (m 2) <v <v = 2 R (m 2) R (m 2) vv. R (m 2) R (m 2) vv Inserting (4.11), (4.12), (4.13) in (4.5), we find m 2 (4.16) c 2m = Q(R (m 2) v )+ h m,i,,v R (m+i) v + Constant. i= 2 Now we prove that Q is negative definite. Let s check each term in (4.5). By (4.13),the term 1 2 (C,m+1 v )2 in (4.5) contribtes to the qadratic term (4.17),v,v,v 1 2m 2 (m+1) 2 ((m 2)!) 2 (R(m 2) v ) 2. The term 2 C,m+1 Cv v,m+1 contribtes to the qadratic term <v (4.18) 2 m 2 (m+1) 2 ((m 2)!) 2 R(m 2) <v By (4.15), it cold be written as 1 (4.19) m 2 (m+1) 2 ((m 2)!) 2 R (m 2) vv. (R (m 2) ) 2. By (4.11) and (4.13), the term C,2m+1 contribtes to the qadratic term 1 (4.20) 2m 2 (m+1)(2m+1)((m 2)!) 2 (R(m 2) v ) 2.,v The term 2 C,m+1 v C v,m+1 contribtes to the qadratic term <v 2 (4.21) m <v 2 (m+1) 2 ((m 2)!) 2 (R(m 2) v ) 2.

10 10 GANG LIU The term 1 2 ( C,m+1 )2 is obvios semi-negative definite. Combine (4.17), (4.18), (4.19), (4.20) and (4.21), it follows that the qadratic form in (4.10) is negative definite. Consider the linear terms in (4.16). By the indction hypothesis, the coefficients h m,i,,v are nchanged if we take a nitary transformation keeping the direction e 0 fixed. Comparing the coefficients of the linear order terms, we see h m,i,,v = 0 if v; h m,i,, = h m,i,v,v if e 1 and v e 1. Therefore, the linear terms h m,i,, R (m+i) cold be absorbed in Ric (m+i) with the terms h m,i R (m+i) 11 left. Also note that by indction hypothesis, Ric (l) = 0 for 0<l 2m 3(Ric (2m 3) vanishes as the Ricci crvatre attains its minimm at p). Finally, one verifies that C,2m+1 is the only term in (4.5) that has contribtion to R (2m 2). Therefore the linear terms in (4.16) cold be written as m 4 i= 2 simple to check that C m is negative. v h m,i R (m+i) 11 + C m Ric (2m 2). From (4.11), it is By the indction hypothesis and that the Ricci crvatre attains its minimm at p, we have Ric (2m 2) 0. It follows from lemma 2 that m 4 (4.22) c 2m h m,i R (m+i) 11 + Constant. i= 2 We wold like to prove that the linear terms R (m+i) 11 vanish for 2 i m 4. Note that by symmetry, if m+i is odd, the integral eqals 0. Let s deal with case when m + i is even. We shall check when i = m 4. Other cases are similar. Let (4.23) A= 1 4 R (2m 4) 11. Set p an orthonormal frame{ f i } at p sch that J f 2 j = f 2 j+1, J f 2 j+1 = f 2 j for 0 j n 1. Lettingβ j = 1 2 ( f 2 j 1 f 2 j+1 ), in a small neighborhood of p, we parallel transport the frame along each geodesic throgh p. Sppose n 1 (4.24) e 0 = (z j β j + z j β j ). j=0 Lemma 3. Under the assmption of the indction in proposition 1, Rm (λ) = 0 at p for 1 λ m 3, where Rm (λ) denotes any covariant derivative of the crvatre tensor with order λ at p. Proof. We se indction. Ifλ=0, lemma 3 atomatically holds since there is nothing to prove. Sppose lemma 3 holds for k<λ. For k=λ, we plg (4.24) in R (λ) v. Claim 2. We can commte the covariant derivatives for R (λ) v.

11 LOCAL VOLUME COMPARISON 11 Proof. To prove claim 2, we only need to consider the caseλ 2. By the indction hypothesis of lemma 3, the covariant derivatives of the crvatre tensor vanish p to orderλ 1 at p. Ifλ>3, claim 2 follows from the ricci identity. Now sppose λ = 2. By ricci identity, the difference of commting the covariant derivatives is a fnction of the crvatre tensor. Note that the crvatre tensor at p is the same as the complex space form. We complete the proof for λ = 2. We insert (4.24) in R (λ) Je 0 Je 0. By claim 2 and Bianchi identities, R (λ) Je 0 Je 0 becomes a polynomial with variables z j, z j. The coefficients of the polynomial are exactly all the covariant derivatives of Rm at p with order λ. According to the assmption of lemma 3, R (λ) Je 0 Je 0 is identically 0 for all e 0. Therefore, the coefficients of the polynomial are all 0. This completes the indction of lemma 3. Lemma 4. Under the assmption of the indction in proposition 1, A cold be written as m 2 g i,m i s where s denotes the scalar crvatre, g i,m are constants depending only on n, m, i. Proof. Define X= 1 2 (e 0 1Je 0 ), then A= R XXXX,e0 e 0...e 0 where the nmber of e 0 is 2m 4. Plgging (4.24) in it, after the integration, we find (4.25) A= α 1 α 2...α 2m )R α1 α 2 α 3 α 4,α 5...α 2m α 1 α 2...α 2m ( whereα i is{z j } or{z k } for 0 j, k n 1,α 1,α 3 {z j },α 2,α 4 {z k }. Under the sbscript of R, z j stands forβ j, z k stands forβ k. From the expression of (4.25), we see that z i, z i mst all go in pairs in the seqenceα 1 α 2..α 2m, otherwise the integral α 1 α 2...α 2m eqals 0. Switching the covariant derivatives in (4.25), sing Kähler identities, we can rearrange (4.25) as (4.26) A= C I1 I 2..I n R I1 I 2...I n + B I 1,I 2,...I n where the symbol I j denotes z j z j..z j z j ; sbscripts after the forth sbscript of R denote the covariant derivatives; C I1 I 2..I n are the coefficients; I j =2m; B is the j combination of covariant derivatives of Rm with lower order. From (4.23), we see that the coefficients C I1 I 2..I n in (4.26) are nitary invariants. For fixed I 3, I 4,..I n, let d= I 1 + I 2. Denote C I1 I 2..I n by C p where 0 I 1 = p d. We want to find the relations of{c p }. Take a nitary transformation: β i =β i for i 1, 2;β 1 = cosθ β 1 + sinθ β 2 ;β 2 = sinθ β 1 + cosθ β 2. Insert the nitary transformation above in (4.26), the new coefficient C d becomes d C p cos 2p θ sin 2(d p) θ. Therefore we have: p=0 (4.27) d C p cos 2p θ sin 2(d p) θ= C d = C d (cos 2 θ+sin 2 θ) d. p=0 Claim 3. C p = C d ( d p )

12 12 GANG LIU Proof. Divide by cos 2d θ on both sides, (4.27) becomes d C p tan 2(d p) θ= C d = C d (1+tan 2 θ) d. p=0 Sinceθis arbitrary, claim 3 follows. By claim 3, C p C d = ( d p). Since we can sbstitte any index, v for 1, 2, the ratio of all coefficients in (4.26) are determined. Note that to get the relations between C p, we only se the condition that the form (4.23) is nitary invariant. Since m 2 s is also nitary invariant with respect to the frame, we can write it in the form as (4.26). By the same argment, the ratio of all coefficients of m 2 s are the same as (4.26). It follows that the term C I1 I 2..I n R I1 I 2...I n in (4.26) eqals C(m, n) (m 2) s modlo lower order covariant derivatives, where C(m, n) is a constant depending only I 1,I 2,...I n on m, n. Now we make an important observation. From the Ricci identity, R i1 i 2...i p αβi p+3..i 2m R i1 i 2...i p βαi p+3..i 2m is the sm of (RmRm (p 4) ),ip+3..i 2m. By lemma 3, Rm (λ) = 0 for 1 λ m 3. It follows that (RmRm,i5...ip),ip+3..i 2m can be expanded as a linear combination of the covariant derivatives of crvatre tensor. Therefore A C(m, n) (m 2) s can be written as a linear combination of the covariant derivatives of the crvatre tensor with the highest order 2m 6. Frthermore it is nitary invariant since the crvatre tensor is nitary invariant at p. By recrsive argments, we complete the proof of lemma 4. From the indction in proposition 1, Ric (l) = 0 for 1 l 2m 4. Integrating with respect to the nit sphere in T p M, by similar argments as in the proof of lemma 4, we find that for l even, (4.28) 0= Ric e0 e 0,e 0 e 0...e 0 = l 2 C l,k k s where the order of the covariant derivative above is l. It is straightforward to check that the highest order coefficient C l, l is not eqal to 0. Then by a recrsive argment, k s=0 at p for 1 k m 2. Combine this with lemma 4, it follows 2 that A = 0. Similarly all linear terms in (4.10) vanish. Therefore, nder the indction hypothesis in proposition 1, in order that c 2m in (4.10) achieves the maximm, Ric (2m 2) = 0 and R v (λ) = 0 for 1 λ m 2. This is exactly the case of the complex space form. Therefore we complete the indction in proposition 1. As a byprodct, we proved conclsion 2 in proposition 1. The proof of proposition 1 is complete. k=1 5. The proof of theorem 4 Under the assmption of proposition 2, sing the same argment as in the last section, we find that W (2m+1) is a linear combination of R (m+i) 11 (1 i m 3)(the

13 LOCAL VOLUME COMPARISON 13 terms with order greater than 2m 3 cold be absorbed in Ric (m+i) to vanish). Similar as the proof of lemma 4, W (2m+1) is eqal to 0. This completes the proof of proposition 2. Consider two cases below: 1. All coefficients of the power series of W are eqal to that of the complex space form. Follow proposition 1, all covariant derivatives of the crvatre tensor at p are the same as the complex space form. Since the metric is real analytic, we conclde that near p, the manifold is isometric to the complex space form. 2. There is a i 0 1 sch that for all i<i 0, the coefficients of the power series of W are eqal to that of the complex space form, bt the i 0 th coefficient is less than that of the complex space form. Checking the power series of W W at p, we find that for sfficiently small r, W W is less than that of the complex space form. Follow the definition of W, for small r, B p (r) r ( det<j A( B p (r)) =, J v >) det<j, J v > < N K r(r). The proof of theorem 4 is complete. 6. An example In this section we give an example showing that the analogos Laplacian comparison theorem is not tre on Kähler manifolds when the Ricci crvatre is bonded from below by a nonzero constant. The example is in dimension 2. For higher dimensions, the constrction is similar. IdentifyR 4 withc 2 in the sal way. The corresponding almost complex strctre J is given by J x 1 = x 2, J x 2 = x 1, J x 3 = x 4, J x 4 = x 3. Given a small ball near the origin ofc 2, define the fnction f to be f= z z a z a z 1 2 z a z a2 z a 2 z 1 4 z a 2 z 1 2 z a2 z p( z 1, z 2 ) where a is a nonzero constant and p is a homogeneos polynomial of degree 8 which will be determined later. We define 1 1 ω= f= g 2 2 i j dz i dz j. It is straightforward to check thatωdefines a Kähler metric g if the ball is sfficiently small (note that the metric is not complete). Direct comptation gives g 11 = 1+4a z a z a 2 z a 2 z 1 2 z a 2 z O(( z 1 + z 2 ) 6 )); i, j

14 14 GANG LIU g 22 = 1+4a z a z a 2 z a 2 z 1 2 z a 2 z O(( z 1 + z 2 ) 6 )); g 12 = 8az 1 z a 2 z 1 z 2 1 z a 2 z 1 z 2 2 z 2+ O(( z 1 + z 2 ) 6 )). Therefore det(g i j )=g 11 g 22 g 12 2 = (1+4a z a z a 2 z a 2 z 1 2 z a 2 z 2 4 ) (1+4a z a z a 2 z a 2 z 1 2 z a 2 z 1 4 ) 8az 1 z a 2 z 1 z 1 2 z a 2 z 1 z 2 2 z O(( z 1 + z 2 ) 6 ) = 1+12a( z z 2 2 )+84a 2 ( z z 2 4 )+240a 2 z 1 2 z O(( z 1 + z 2 ) 6 )). Using log(1+ x)= x 1 2 x2 + O(x 3 ), we have Ric+12ag= ( log(detg i j )+12a f )= (O(( z 1 + z 2 ) 6 )). Therefore Ric + 12ag vanishes p to order 3 at the origin. Moreover, if we choose the fnction p to be λ( z z ( z 1 6 z z 1 2 z 2 6 )), after a direct comptation, Ric+12ag= (24λ( z z 2 2 ) 3 + O(( z 1 + z 2 ) 6 ) where the term O(( z 1 + z 2 ) 6 ) does not depend onλ. Ifλis sfficiently large, Ric+12ag 0 near the origin. Set K= 12a. Ths, near the origin, Ric K. By direct comptation, at the origin, R 1212 = R 1313 = R 1414 = 4a; R 11v = 0 if v. Combining this with the fact that the second derivatives of the Ricci tensor vanish at the origin, after a slight comptation, we find that the forth order term of (3.3) is greater than that of the complex space form if e 0 = x 1. So when r is very small, along the geodesic with initial direction x 1 at the origin, det<j, J v > is greater than that of the complex space form. Since r= log det<j,j v > r, it follows that the pointwise Laplacian comparing with the complex space forms is not tre for Kähler manifolds. References [1] Bishop. R.L, Crittenden. R.J.: Geometry of Manifolds, Pre and Applied Math., Vol. XV. New York-London: Academic Press [2] J. Cheeger, D.Ebin.: Comparison Theorems in Riemannian Geometry, 2000 Mathematics Sbject Classification.Primary 53C20; Secondary 58E10. [3] Gromov. M, Lafontaine, J., Pans, P.: Strctre metriqe por les varietes Riamanniennes, Nathen: Cedic/Fernand [4] P. Li: Lectre notes on geometric analysis, Lectre Notes Series, 6, Research Institte of Mathematics and Global Analysis Research Center, Seol National University, Seol, [5] P. Li and J. Wang: Comparison theorem for Kähler manifolds and positivity of spectrm, J. Diff. Geom. 69 (2005), [6] R. Schoen, S. T. Ya: Lectre notes on differential geometry, Conference Proceedings and Lectre Notes in Geometry and Topology, Boston 1994.

15 LOCAL VOLUME COMPARISON 15 Department of Mathematics, University of Minnesota, Minneapolis, MN