arxiv: v1 [math.dg] 4 Jul 2017

Transcription

1 RIGIDITY OF RIEANNIAN ANIFOLDS WITH POSITIVE SCALAR CURVATURE arxiv: v1 math.dg 4 Jul 017 GUANGYUE HUANG Abstract. For the Bach-flat closed maifold with positive scalar curvature, we prove a rigidity result uder a give iequality ivolvig the Weyl curvature ad the traceless Ricci curvature. oveover, uder a iequality ivolvig L -orm of the Weyl curvature, the traceless Ricci curvature ad the Yamabe ivariat, we also provide a similar rigidity result. As a applicatio, we obtai some rigidity results o 4-dimesioal maifolds. SC (010. Primary 53C4, Secodary 53C1. Keywords: Yamabe ivariat, rigidity, Bach-flat, harmoic curvature. 1. Itroductio We recall that a Riemaia maifold (,g is a gradiet shrikig Ricci solito if there exists a smooth fuctio f such that R ij f ij = λg ij (1.1 for some positive costat λ. I 5, relyig o sharp algebraic curvature estimates, Catio proved some rigidity results for closed gradiet shrikig Ricci solito satisfyig a L -pichig coditio. From (1.1, it is easy to see that the Ricci curvature ca be expressed by the Hessia of fuctio f, i some sese. However, o a commo Riemaia maifold (,g, we ca ot fid a fuctio which is related to the Ricci curvature. It is ature to ask whether ca oe obtai some rigidity results uder the L - pichig coditio, which are aalogous to those of Catio i 5 o a give Riemaia maifold. I order to study coformal relativity, R. Bach i early 190s itroduced the followig Bach tesor: B ij = 1 3 W ikjl,lk 1 W ikjlr kl, (1. where 4, W ijkl deotes the Weyl curvature. A metric g is called Bachflat if B ij = 0. Theaim of this paperis toachieve somerigidity results uder thel -pichigcoditiooagiveriemaiamaifold. Iordertostate our results, throughout this paper, we always deote R ij the traceless Ricci curvature. Now, we ca state our first result as follows: The research of authors is supported by NSFC.. 1

2 GUANGYUE HUANG Theorem 1.1. Let ( 4,g be a closed Bach-flat maifold with positive costat scalar curvature. If W 3 Ric g < 3 R, (1.3 3 the 4 is isometric to a quotiet of the roud sphere S 4. Remark 1.1. Uder the coditio W R ij < R 4, (1.4 Fag ad Yua, i 6, have proved (see 6, Theorem A the same result as Theorem 1.1. It is easy to see from (1.3 W R ij W 16 9 R ij < 4R 7, (1.5 which gives W R ij ( W R ij < 4R 3 6. (1.6 Clearly, we have 4R 3 6 > R ( ad hece, for = 4, our Theorem 1.1 geeralizes Theorem A of Fag ad Yua 6. The Yamabe ivariat Y(,g associated to (,g is defied by Y(,g = if Rdv g g g ( dv g = 4( 1 if u dv g (1.8 4( 1 Ru dv g u W 1, ( (, u dvg where g is the coformal class of the metric g. For closed maifolds, Y(,g is positive if ad oly if there exists a coformal metric i g with everywhere positive scalar curvature. Therefore, for ay closed maifold with positive scalar curvature, from (1.8, we obtai 4( 1 Y(,g( u dvg u dv g Ru dv g. 4( 1 (1.9 By the aid of the Yamabe ivariat give i (1.8, we ca prove the followig result: Theorem 1.. Let (,g be a closed Bach-flat maifold with positive costat scalar curvature. If either 4 5 ad ( W Ric g dv g < 1 Y(,g; (1.10 8( 4 ( 1

3 or = 6 ad ( RIGIDITY OF RIEANNIAN ANIFOLDS 3 < Y(,g, ( W 8 Ric g dv g the is isometric to a quotiet of the roud sphere S. For maifolds with harmoic curvature, we also obtai the followig similar rigidity results: Theorem 1.3. Let 4 be a closed maifold with harmoic curvature. If the scalar curvature is positive ad W 1 Ric g dvg < Y (,g, (1.1 the 4 is isometric to a quotiet of the roud sphere S 4. Whe = 4, we ca get the followig results: Corollary 1.4. Let ( 4,g be a closed maifold. If it is Bach-flat ad satisfies ( W 5 4 R ij dv g 1 R dv g, ( the it is isometric to a quotiet of the roud sphere S 4. If the curvature is harmoic ad ( W R ij dv g 5 R dv g, ( the it is also isometric to a quotiet of the roud sphere S 4. Remark 1.. The pichig coditios (1.13 ad (1.14 are equivalet to 13 W dv g 1 R dv g 0π χ( ( ad 68 W dv g 1 R dv g π χ(, (1.16 respectively. Here χ( is the Euler-Poicaré characteristic of 4.. Some lemmas Recall that the Weyl curvature W ijkl is defied by W ijkl =R ijkl 1 (R ikg jl R il g jk R jl g ik R jk g il R ( 1( (g ikg jl g il g jk =R ijkl 1 ( R ik g jl R il g jk R jl g ik R jk g il R ( 1 (g ikg jl g il g jk, (.1

4 4 GUANGYUE HUANG where R is the scalar curvature. Sice the divergece of the Weyl curvature tesor is related to the Cotto tesor by where the Cotto tesor is give by 3 C ijk = W ijkl,l, (. C ijk =R kj,i R ki,j 1 ( 1 (R,ig jk R,j g ik = R kj,i R ki,j ( 1 (R,ig jk R,j g ik, (.3 the formula (1. ca be writte as B ij = 1 (C kij,k W ikjl R kl. (.4 As i 6, for ay θ R ad a symmetric -tesor ϕ, we itroduce the followig θ-tesor: C ϕ θ ijk := ϕ kj,i θϕ ki,j. (.5 We call a θ-tesor C ϕ θ is the θ-codazzi tesor if Cϕ θ = 0. I particular, a Codazzi tesor is a special case of θ-codazzi tesor with θ = 1 ad the θ-codazzi tesor with θ = 1 is called the ati-codazzi tesor. Lemma.1. Let be a closed maifold. The for the θ-tesor defied by (.5, we have ( (θ 1 ϕ C ϕ θ dv g =θ divϕ W ijkl ϕ jl ϕ ik R ij ϕ jk ϕ ki R 1 ϕ ij dv g, (.6 where ϕ ij = ϕ ij trϕ g ij. I particular, takig ϕ ij = R ij i (.6, we obtai R ij dv g θ ( θ W ijkl Rjl Rik ij Rjk Rki 1 R 1 (.7 1 R R ij ( 4 R dv g. Proof. For ay θ R, we have C ϕ θ dv g = ϕ kj,i θϕ ki,j dv g = (1θ ϕ θϕ kj,i ϕ ki,j dv g. (.8

5 RIGIDITY OF RIEANNIAN ANIFOLDS 5 By the itegratio by parts, we have ϕ kj,i ϕ ki,j dv g = ϕ kj,ij ϕ ki dv g = (ϕ kj,ji ϕ lj R lkij ϕ kl R ljij ϕ ki dv g = ( ϕ kj,ji ϕ lj R ijkl ϕ kl R li ϕ ki dv g = divϕ R ijkl ϕ jl ϕ ik R il ϕ lk ϕ ki (trϕ R ij ϕ ij R ( ϕ ij (trϕ dv g. Applyig R ijkl ϕ jl ϕ ik =W ijkl ϕ jl ϕ ik (trϕ R ij ϕ ij R ij ϕ jk ϕ ki R ( 1 (trϕ ϕ ij =W ijkl ϕ jl ϕ ik (trϕ R ij ϕ ij R ij ϕ jk ϕ ki R 1 ( 1 (trϕ ϕ ij (.9 (.10 i (.9, we obtai ϕ kj,i ϕ ki,j dv g = divϕ W ijkl ϕ jl ϕ ik (trϕ R ij ϕ ij R ij ϕ jk ϕ ki R 1 ϕ ij (.11 dv g ad the desired (.6 follows from by puttig (.11 ito (.8. Usig the secod Biachi idetity, we have R ij,j = R,i. Hece, (.7 follows by lettig ϕ ij = R ij i (.6. Thus, we coclude the proof of Lemma.1. Lemma.. Let be a closed Bach-flat Riemaia maifold. The we have ( R ij dv g = W ijkl Rjl Rik ij Rjk Rki R 1 (.1 1 R R ij ( 4( 1 R dv g. Proof. Usig the formula (.1, we ca derive R kl R ikjl = R kl W ikjl 1 ( R ij 1 g ij R ik Rjk ( 1 R R ij, (.13

6 6 GUANGYUE HUANG which shows R kj,ik = R kj,ki R lj R lkik R kl R ljik = R,ij R ik Rjk 1 R R ij Rkl W ikjl 1 ( R ij g ij R ik Rjk 1 ( 1 R R ij = R,ij R ik Rjk 1 1 R R ij R kl W ikjl 1 R ij g ij. Thus, from (.3 ad (.14, we have ad C kij,k = R ij R kj,ik ( 1 (g ij R R,ij ( = R ij R,ij R ik Rjk 1 1 R R ij R kl W ikjl 1 R ij g ij ( 1 (g ij R R,ij 0 =( B ij Rij (.14 (.15 which gives =C kij,k Rij W ikjl Rij Rkl = R ij R ij R ij Rjk Rki 1 1 R R ij W ikjl Rij Rkl ( 1 R ij R,ij, R ij dv g = R ij R ij dv g ( = W ijkl Rjl Rik R ij Rjk Rki We complete the proof of Lemma R R ij ( 4( 1 R dv g. (.16 (.17 We itroduce the followig algebraic curvature estimate ivolvig the Weyl curvature ad traceless Ricci curvature:

7 RIGIDITY OF RIEANNIAN ANIFOLDS 7 Lemma.3. O every -dimesioal Riemaia maifold (,g, for ay ρ R, the followig estimate holds W ijkl Rjl Rik R ρ ij Rjk Rki ( W ρ ( 1 ( R ij 1 R ij (.18 ρ = W Ric g Rij. ( 1 ( Proof. We will prove Lemma.3 oly by some modificatios for the proof of Propositio.1 of Catio i 5. Followig 3, Lemma 4.7, we have It is easy to see ( Ric g ijkl = R ik g jl R il g jk R jl g ik R jk g il, ( Ric Ric ijkl =( R ik Rjl R il Rjk. W ijkl Rik Rjl = 1 4 W ijkl( Ric Ric ijkl, R ij Rjk Rki = 1 8 ( Ric g ijkl ( Ric Ric ijkl, which shows that W ijkl Rjl Rik R ρ ij Rjk Rki = 1 ( ρ W 4 ( Ric g ( Ric Ric ijkl. ijkl (.19 Let T = Ric Ric U V, (.0 where U ijkl = ( 1 R ij (g g ijkl, V ijkl = ( Ric 4 g ijkl ( R ij (g g ijkl with ( Ric ij = R ik Rkj. The T is totally tracefree. Takig the squard orm, we have ad Ric Ric =8 R ij 4 8 Ric, U 8 = ( 1 R ij 4, V = 16 Ric 16 ( R ij 4 T V = Ric Ric V U = 8( 1 R ij 4. (.1

8 8 GUANGYUE HUANG Sice both W ad T are totally tracefree, usig the Cauchy-Schwarz iequality, we obtai ( ρ W ( Ric g ijkl ( Ric Ric ijkl ( ρ = W ( Ric g (T V ijkl ijkl ( ρ = W ( Ric g (T ijkl V ijkl (. ρ W ( Ric g ( T V = 8( ( W ρ 1 ( R ij R ij 4. Applyig (. i (.19 ad usig that ρ W Ric g = W ρ ( ( R ij, we obtai the desired estimate (.18. We complete the proof of Lemma.3. Followig the proof i 8, for maifolds of which the metric g is Eistei, we ca prove the followig (see 8, Equatio (5 which gives W ijkl = RW ijkl (W ipkq W pjql 1 W klpqw pqij, (.3 1 W = W R W (W ijkl W ipkq W pjql 1 W ijklw klpq W pqij. The followig estimate comes from 9, Lemma.5 (or see 5,7: (.4 Lemma.4. O every -dimesioal Riemaia maifold (,g, there exists a positive costat C( such that the followig estimate holds W ijkl W ipkq W pjql 1 W ijklw klpq W pqij C( W 3, (.5 where C( is defied by 6 4, = C( =, = 5 70, = 6 3 5, 7. (.6 Now we recall the followig result which follows from the proof of 5, Theorem 3.3:

9 RIGIDITY OF RIEANNIAN ANIFOLDS 9 Lemma.5. Let C( be defied by (.6. The for the Eistei maifold (,g, 4, with positive scalar curvature, we have 1 8( 1 Y(,g 1 ( C( W dv g W dv g ( Y(,g C( W dv g R W dv g 0. (.7 Proof. Usig (.5, we ca deduce from (.4 1 W W R W C( W 3 ( 1 R C( W W. (.8 Puttig the followig refied Kato iequality of ay Eistei maifold ito (.8 yields W 1 1 W (.9 1 W 1 1 W R W C( W 3. (.30 Usig the Hölder iequality ad (1.9 with u = W, we get 0 1 W dv g R W dv g C( W 3 dv g 1 1 W dv g R W dv g 1 ( C( W ( dv g W dvg 1 W dv g R W dv g 1 C( ( W ( 4( 1 dv g W dv g R W dv g Y(,g 1 8( 1 = Y(,g 1 ( C( W dvg W dv g ( Y(,g C( W dvg R W dv g, (.31 ad the proof of Lemma.5 is completed.

10 10 GUANGYUE HUANG 3. Proof of Theorems 3.1. Proof of Theorem 1.1. Now, withthehelpoflemma.1adlemma., we will complete the proof of Theorem 1.1. Combiig (.7 with (.1, we obtai 0 ( W ijkl Rjl Rik (θ 1 1 ij Rjk Rki (θ θ1 R (θ 1 (3.1 ( 1(θ θ 1 R R ij dv g. Sice for ay θ, we have θ θ1 > 0, usig (.18, we ca deduce from (3.1 ( (θ 1 0 W 1 Ric g ( (θ θ 1 (θ 1 ( 1(θ θ 1 R R ij (3. dv g 0 uder the coditio ( θ θ 1 1 (θ 1 W Ric g < 1 ( 1 R (3.3 with a give θ (θ 1. iimizig the coefficiet of W with respect to the fuctio θ by takig θ = 1, (3.4 we obtai that if W 3( Ric g < 4 3 ( 1( R (3.5 holds, the (3. shows R ij = 0 ad the metric g must be Eistei. O the other had, itegratig (.8, we have ( 1 R C( W W dv g 0. (3.6 Uder the assumptio (1.3, we have that the metric g is Eistei ad the coditio (3.5 becomes I this case, we have W < C( W < 4 3 ( 1( R. (3.7 4C( 3 ( 1( R < 1 R, (3.8

11 RIGIDITY OF RIEANNIAN ANIFOLDS 11 for = 4, ad (3.6 yields 0 ( 1 R C( W W dv g 0. (3.9 This shows that W ijkl = 0 ad 4 is isometric to a quotiet of the roud sphere S 4. We complete the proof of Theorem Proof of Theorem 1.. Replacig u i (1.9 with R ij yields 4( 1 Y(,g( R ij dvg R ij dv g (3.10 R R ij dv g. 4( 1 O the other had, usig the Kato iequality, (.1 ad (.18, we obtai R ij dv g R ij dv g = W ijkl Rjl Rik ij Rjk Rki R 1 1 R R ij dv g ( 1 W Ric g 1 8( 1 R R ij dv g. (3.11 Isertig (3.11 ito (3.10 gives 4( 1 ( Y(,g R ij dvg ( 1 W 6 4( 1 R R ij dv g. 8( Ric g Hece, for 4 6, usig Hölder iequality for (3.1 yields ( ( 4( 1 Y(,g W 1 which, uder the coditio ( ( R ij dvg W Ric g dv g 8( (3.1 Ric g dv g 8( 0, (3.13 < 1 Y(,g ( ( 1

12 1 GUANGYUE HUANG (3.13 shows that the metric g must be Eistei. Sice the metric g is Eistei, the (3.14 becomes ( W dvg < 1 Y(,g. ( ( 1 Noticig for 4 5, { 1 4 ( 1 = mi 1 4 ad for = 6, (1( 8( 1 C( = mi { 1 4 } ( 1, (1( 8( 1 C(, 1, (3.16 C( } ( 1, (1( 8( 1 C(, 1, (3.17 C( hece uder the assumptio (1.10 or (1.11, we have 1 8( 1 0 Y(,g 1 ( C( W dv g W dv g ( Y(,g C( W dv g R W dv g 0, (3.18 which shows that W ijkl = 0 ad is isometric to a quotiet of the roud sphere S Proof of Theorem 1.3. If the curvature of (,g is harmoic, the we have R ki,j R kj,i = R ijkl,l = 0, (3.19 This shows that the Ricci curvature is Codazzi ad R,i = R kk,i = R ik,k = 1 R,i, (3.0 which shows the scalar curvature is costat. Therefore, (.7 becomes R ij dv g = W ijkl Rjl Rik ij Rjk Rki R 1 1 R R ij (3.1 dv g. As first observed by Bourguigo 4, the Codazzi tesor R ij satisfies the followig sharp iequality (for a proof, see for istace 8: R ij R ij. (3.

13 It follows from (3.1 that 0 R ij dv g 1 1 R R ij dv g, which combiig with (3.10 gives 0 4( 1 ( Y(,g W ( 1 4 4( 1 Y(,g ( RIGIDITY OF RIEANNIAN ANIFOLDS 13 W ijkl Rjl Rik R ij Rjk Rki (3.3 R ij dvg R R ij dv g 4( 1 ( Ric g Rij dv g 1 ( 1 ( R ij dvg 4 4 4( 1 1 R R ij dv g W Ric g ( R R ij dv g 0. (3.4 uder (1.1 for = 4. Hece, we obtai that the metric g must be Eistei ad hece (1.1 becomes ( W dv g Noticig for = 4, (1( 8( 1 C( = mi { < Y(,g. (3.5 ( 1 } ( 1, (1( 8( 1 C(, 1, C( (3.6 hece, uder the coditio (1.1, we have that (3.4 holds ad 1 8( 1 0 Y(,g 1 ( C( W dvg W dv g ( Y(,g C( W dvg R W dv g 0 (3.7 which shows W ijkl = 0 ad 4 is isometric to a quotiet of the roudsphere S 4. We complete the proof of Theorem Some proof for four dimesioal maifolds Whe = 4, it has bee prove by Catio (see 5, Lemma 4.1 that

14 14 GUANGYUE HUANG Lemma 4.1. Let ( 4,g be a closed maifold. The Y (,g (R 1 R ij dv g, (4.1 with the iequlity is strict uless ( 4,g is coformally Eistei. Sice (1.10 ca be writte as ( W R ij dv g < 1 48 Y (,g. (4. Usig (4.1, it is easy to see ( W R ij dv g 1 ( 48 Y (,g W 5 4 R ij 1 48 R dv g. (4.3 oreover, (1.1 ca be writte as ( W 4 R ij dv g < Y (,g, (4.4 which combiig with (1.1 gives ( W 4 R ij dv g Y (,g ( W R ij R dv g. (4.5 Hece, Corollary 1.4 follows from (4.3 immediately. Whe = 4, the followig Cher-Gauss-Boet formula(see 1, Equatio 6.31 is well-kow. This shows R ij dv g = ( W R ij 1 6 R dv g = 3π χ( (4.6 ( 1 W 1 1 R dv g 16π χ(. (4.7 Therefore,(1.15 ad(1.16 follow from isertig(4.7 ito(1.13 ad(1.14, respectively. This proves Remark 1.. Refereces 1 A.L. Besse, Eistei aifolds, Spriger-Verlag, Berli, 008. R. Bach, Zur Weylsche Relativitätstheorie ud der Weylsche Erweiterug des Krümmugstesorbegriffs, ath. Z. 191, 9: V. Bour, Fourth order curvature flows ad geometric applicatios, arxiv preprit server C J.-P. Bourguigo, The magic of Weitzeböck formulas, Variatioal methods (Paris, 1988, 51-71, Progr. Noliear Differetial Equatios Appl., 4, Birkhäuser Bosto, Bosto, A, G. Catio, Itegral piched shrikig Ricci solitos, Adv. ath. 303 (016, Y. Fag, W. Yua, A sphere theorem for Bach-flat maifolds with positive costat scalar curvature, arxiv: H.-P, Fu, L.-Q, Xiao, Rigidity theorem for itegral piched shrikig Ricci solitos, arxiv:

15 RIGIDITY OF RIEANNIAN ANIFOLDS 15 8 E. Hebey,. Vaugo, Effective L p pichig for the cocircular curvature, J. Geom. Aal. 6 (1996, G.Y. Huag, Itegral piched gradiet shrikig ρ-eistei solitos, J. ath. Aal. Appl. 451 (017, Departmet of athematics, Hea Normal Uiversity, Xixiag , P.R. Chia address: hgy@heau.edu.c