Arxiv:1506.06371V3 [Math.DG]

arXiv:1506.06371v3 [math.DG] 16 Mar 2021 ihrcnrett on pee lffr yesraei hypersurface Clifford a sphere, round a to congruent either h eoeesraei a in surface Veronese the le encrauei h ntsphere unit the in curvature mean allel hoe A. Theorem for [49] Xu by and uvtr nashr.Tefloigrfie eso ftegeneraliz the of version Li- refined by following obtained The was theorem Carmo-Kobayashi with sphere. Lawson-Chern-do submanifolds generalize a the closed in proved for curvature Xu [48], theorem In Carmo-Kobayashi results. Chern-do partial got and where sphere, case t the rigidity to Carmo-Kobayashi 45] Simons-Lawson-Chern-do famous the and iesoa ipycnetdsaefr fcntn curvature constant of form space connected simply dimensional o umnflsudrasappnhn odto.Let condition. s pinching differentiable the sharp and a t flow investigate under curvature will submanifolds mean we for the by submanifolds, for Motivated on theorem results gence analysis. pinching geometric topological and and geometry differential global in n auevco n h eodfnaetlfr of form fundamental second | the and vector vature (1.1) ibeshr hoe,casfiaintheorem. classification theorem, sphere tiable 2744 11371315. 12071424, ENCRAUEFO FABTAYCDMNININ CODIMENSION ARBITRARY OF FLOW CURVATURE MEAN PEE N HR IFRNIBESHR THEOREM SPHERE DIFFERENTIABLE SHARP AND SPHERES H ( C ≥ 2010 ic 93 kmr 3,3] a 5]admn te uhr tried authors other many and [53] Yau 36], [35, Okumura 1973, Since tpasa motn oei ieeta emtyt td icigt pinching study to geometry differential in role important an plays It | e od n phrases. and words Key eerhspotdb h ainlNtrlSineFoundat Science Natural National the by supported Research 2 ( ,q, n, α 4( + )dmninlsbaiodin submanifold 2)-dimensional 1 ( ahmtc ujc Classification. Subject Mathematics n, swl stedffrnibeshr hoeso uX-ho[ Gu-Xu-Zhao of theorems sphere differentiable theo flow the convergence curvature as the well mean improves as which the spheres for in theorem codimension convergence sharp a prove Abstract. | n H α | H − ( | n, = ) | 1) = ) | Let H c ≥ | α c , nti ae,w netgt i-uY-hosconjecture Liu-Xu-Ye-Zhao’s investigate we paper, this In M ( min α H .W define We 0. = ) n, 1 ( M 0. 6= ean be | n, H nc encraueflw umnfls ovrec hoe,di theorem, convergence submanifolds, flow, curvature Mean α | | sacoe umnfl ihprle encrauei a in curvature mean parallel with submanifold closed a is H , 1 4 1). + ( shr.Here -sphere. | n, ) n ILIADHNWIXU HONGWEI AND LEI LI q , 2( dmninloine opc umnfl ihpar- with submanifold compact oriented -dimensional | H n 1. n | − ) , Introduction 1) 2 3 F n | n H 34;5C0 32;58J35. 53C20; 53C40; 53C44; + + | q 1 2 3 S ( C 5 n c n − ( .Dnt by Denote ). | + H ,q, n, q 2( If . | n 2 n

− | − H , 2 | 1) | h M ) otherwise | p 2 sdfie by defined is 1 = epciey suethat Assume respectively. , ≤ | H , H | F C o fCia rn Nos. Grant China, of ion or 4 an n n e fBkr[2] Baker of rem 6 0 52]. 50, 16, ( 4( + and + q ,q, n, . q and 2 = ( farbitrary of Simons-Lawson- d c ( n i[7 for [27] Li ea ( an be ) h n | H erm[3 23, [13, heorem − c 3]and [30] 1) + hr theorem phere h encur- mean the and , aallmean parallel | ) 1) ogeneralize to , geometrical | dSimons- ed c H shr,or -sphere, then econver- he | H 6 | 0 = M n | 2 H , heory fferen- + M n , 0 = q an )- is 2 LI LEI AND HONGWEI XU

In [24], Lawson and Simons proved that if M n (n 5) is an oriented com- ≥ pact submanifold in Sn+q satisfying h 2 < 2√n 1, then M is homeomorphic to Sn. More generally, Shiohama and Xu| | [43] proved− the optimal topological sphere theorem. Theorem B. Let M n (n 4) be an oriented complete submanifold in Fn+q(c) with c 0. If sup ( h 2 α≥(n, H ,c)) < 0, then M is homeomorphic to Sn. ≥ M | | − | | In [52], the second author and Zhao initiated the study of differentiable pinching problem on submanifolds of arbitrary codimension. Making use of the convergence results of Hamilton and Brendle for Ricci flow and the Lawson-Simons formula for the nonexistence of stable currents, Xu and Zhao [52] proved the following. Theorem C. Let M be an n-dimensional (n 4) oriented complete submanifold in the unit sphere Sn+q. Then ≥ (i) if n =4, 5, 6 and sup ( h 2 α (n, H )) < 0, then M is diffeomorphic to Sn; M | | − 1 | | (ii) if n 7 and h 2 < 2√2, then M is diffeomorphic to Sn. ≥ | | In [16, 50], Gu and Xu proved a differentiable sphere theorem for submanifolds in a Riemannian manifold via the Ricci flow. Consequently, they got the following. Theorem D. Let M be an n-dimensional oriented compact submanifold in the (n + q)-dimensional space form Fn+q(c) with c 0 and H 2 + n2c> 0. Then (i) if n =2 and h 2 2c + H 2, then M is diffeomorphic≥ | | to S2, or M is flat; | | ≤ | | 2 2 H S3 (ii) if n =3 and h < 2c + | 2| , then M is diffeomorphic to ; | | 2 2 H Sn (iii) if n 4 and h 2c + |n |1 , then M is diffeomorphic to . ≥ | | ≤ − Remark 1. When n 4, c = 0 and H > 0, Andrews-Baker [1] independently proved the same differentiable≥ sphere theorem| | via the mean curvature flow of submanifolds of high codimension. Afterwards, Baker [2] gave another proof of the differentiable sphere theorem for n 4 and c > 0. Later, Liu-Xu-Ye-Zhao [31] extended the differentiable sphere theorem≥ above to the case where n 4, c< 0 and H 2 + n2c> 0. ≥ | | We refer the readers to [10, 12, 44, 51] for further discussions on rigidity theorems of submanifolds with parallel mean curvature, to [16, 28, 30, 32, 33, 42, 51] for more discussions on sphere theorems of submanifolds and to [3, 4, 5, 6, 7, 8, 9, 11, 14, 15, 17, 20, 34, 37, 38, 39, 42] for various sphere theorems of Riemannian manifolds. n n+q Let F0 : M F (c) be an n-dimensional submanifold immersed in the space n+q → form F (c). The mean curvature flow with initial value F0 is a smooth family of immersions F : M [0,T ) Fn+q(c) satisfying × → ∂ F (x, t)= H(x, t), (1.2) ∂t F ( , 0) = F , · 0 where H(x, t) is the mean curvature vector of Mt = Ft(M), Ft = F ( ,t). In 1980’s, Huisken, the founder of the mean curvature flow theor· y, initiated the study of the mean curvature flow for compact hypersurfaces [19, 21, 22]. In 1987, Huisken [22] verified the convergence theorem for the mean curvature flow of compact hypersurfaces in the spherical space form of constant curvature c under the pinching condition h 2 < 1 H 2 +2c. | | n 1 | | For higher codimensional cases,− the convergence theorems for the mean curvature flow in Euclidean spaces, spheres and hyperbolic spaces were proved by Andrews- Baker [1], Baker [2] and Liu-Xu-Ye-Zhao [31], respectively. The unified version of MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 3 the convergence theorems due to Andrews, Baker, Liu, Xu, Ye and Zhao [1, 2, 31] can be summarized as follows.

n n+q Theorem E. Let F0 : M F (c) be an n-dimensional (n 4) closed submanifold in the space form with constant→ curvature c. If F satisfies≥h 2 1 H 2 +2c, 0 | | ≤ n 1 | | where H 2 + n2c> 0, then the mean curvature flow with initial value F− converges | | 0 to a round point in finite time, or c > 0 and Ft converges to a totally geodesic sphere as t . → ∞ Notice that the pinching condition h 2 < 1 H 2 +2c implies that the sectional | | n 1 | | curvature of M is positive. On the other hand,− the pinching condition h 2 < α(n, H ,c) for H 2 + n2c > 0 and c = 0 implies that the Ricci curvature| | of the initial| | submanifold| | is positive, but does6 not imply positivity of the sectional curvature. Hence we need to investigate the convergence problem for the mean curvature flow in space forms under the pinching condition h 2 < α(n, H ,c), for H 2 +n2c> 0 and c = 0. Recently, the authors [26] proved an| optimal| convergence| | |theorem| for the mean6 curvature flow of arbitrary codimension in hyperbolic spaces. Motivated by the rigidity and sphere theorems for submanifolds in spheres, Liu- Xu-Ye-Zhao [30] proposed the following.

Conjecture 1. Let M0 be an n-dimensional complete submanifold in the sphere Sn+q (1/√c). Suppose that sup ( h 2 α(n, H ,c)) < 0. Then the mean curvature M0 | | − | | flow with initial value M0 converges to a round point in finite time, or converges to a totally geodesic sphere as t . In particular, M is diffeomorphic to Sn. → ∞ 0 In particular, noting that min H α1(n, H )=2√n 1, we have the following. | | | | − n n+q Conjecture 2. Let F0 : M S be an n-dimensional closed submanifold satisfying h 2 < 2√n 1. Then the→ mean curvature flow with initial value F converges | | − 0 to a round point or a totally geodesic sphere. In particular, M0 is diffeomorphic to Sn. Conjecture 2 in dimension three implies the famous Lawson-Simons conjecture [24], which states that if M is a 3-dimensional compact submanifold in S3+q, and if h 2 < 2√2, then M is diffeomorphic to S3. Up to now, the Lawson-Simons conjecture| | is still open. After the work on the mean curvature flow of hypersurfaces in spheres due to Li-Xu-Zhao [29], the authors [25] obtained a refined version of Huisken’s convergence theorem for the mean curvature flow of hypersurfaces [22]. For more convergence results on the mean curvature flow with applications in sphere theorems, we refer the readers to [30, 32, 33, 40]. The purpose of the present paper is to investigate Liu-Xu-Ye-Zhao’s conjectures and prove the following sharp convergence theorem for the mean curvature flow of arbitrary codimension in spheres. Theorem 1.1. Let F : M n Sn+q (1/√c) be an n-dimensional (n 6) closed 0 → ≥ submanifold in a sphere. If F0 satisfies h 2 <γ(n, H ,c), | | | | then the mean curvature flow with initial value F0 has a unique smooth solution n+q F : M [0,T ) S (1/√c), and Ft converges to a round point in finite time or converges× to a→ totally geodesic sphere as t . Here γ(n, H ,c) is an explicit → ∞ | | 4 LI LEI AND HONGWEI XU positive scalar defined by γ(n, H ,c) := min α( H 2),β( H 2) , where | | { | | | | } n n 2 (1.3) α(x)= nc + x − x2 + 4(n 1)cx, 2(n 1) − 2(n 1) − − − p 1 2 (1.4) β(x)= α(x )+ α′(x )(x x )+ α′′(x )(x x ) , 0 0 − 0 2 0 − 0 2n +2 n 4 2 x = √n 1 √n 1 − c. 0 n 4 − − − 2n +2 − 2 Remark 2. Since γ(n, H ,c) = α(n, H ,c), for H x0, Theorem 1.1 is | | | | | | 1 ≥ 2 sharp. A computation shows that (i) γ(n, H ,c) > n 1 H + 2c, for n 6; | | − | | ≥ (ii) γ(n, H ,c) > 3n+3 √n 1c, for n 6; (iii) γ(n, H ,c) > 2√2c, for n 7. | | 2n+6 − ≥ | | ≥ Therefore, Theorem 1.1 substantially improves Theorems C, D and E. The pinching condition in Theorem 1.1 implies that the Ricci curvature of the initial submanifold is positive, but does not imply positivity of the sectional curvature. Since γ(n, H ,c) > 3n+3 √n 1c, we obtain | | 2n+6 − Theorem 1.2. Let F : M n Sn+q (1/√c) be an n-dimensional (n 6) closed 0 → ≥ submanifold. If F0 satisfies 3n +3 h 2 < √n 1 c, | | 2n +6 − then the mean curvature flow with initial value F0 has a unique smooth solution n+q F : M [0,T ) S (1/√c), and Ft converges to a round point in finite time or converges× to a→ totally geodesic sphere as t . → ∞ As a consequence of Theorem 1.1, we obtain a differentiable sphere theorem. n+q Theorem 1.3. Let M0 be an n-dimensional (n 6) closed submanifold in S (1/√c). If M satisfies h 2 <γ(n, H ,c), then M is diffeomorphic≥ to the standard n-sphere 0 | | | | 0 Sn. In particular, if M satisfies h 2 < 3n+3 √n 1c, then M is diffeomorphic to 0 | | 2n+6 − 0 Sn. Under the weakly pinching condition, we get the following convergence theorem. n n+q Theorem 1.4. Let F0 : M S (1/√c) be an n-dimensional (n 6) closed submanifold in a sphere. If F→satisfies h 2 γ(n, H ,c), then the mean≥ curva- 0 | | ≤ | | ture flow with initial value F0 has a unique smooth solution F : M [0,T ) Sn+q (1/√c), and either × → (i) T is finite, and F converges to a round point as t T , t → (ii) T = , and Ft converges to a totally geodesic sphere as t , or ∞ Sn 1 S1 2→ ∞2 2 (iii) T is finite, Mt is congruent to − (r1) (r2), where r1 + r2 =1/c, r1 = n 1 2nc(t T ) × − (1 e − ), and F converges to a great circle as t T . nc − t → As a consequence of Theorem 1.4, we have the following classification theorem. n+q Corollary 1.5. Let M0 be an n-dimensional (n 6) closed submanifold in S (1/√c) 2 ≥ which satisfies h γ(n, H ,c). Then M0 is either diffeomorphic to the standard n | | ≤ | | n 1 1 2 2 2 n 1 n-sphere S , or congruent to S − (r ) S (r ), where r + r =1/c and r < − . 1 × 2 1 2 1 nc Motivated by the convergence theorems of Ricci flow due to Hamilton [17] and Chen-Tang-Zhu [11], we propose the following problem: Is it possible for one to prove a sharp convergence theorem of mean curvature flow in low dimensions? MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 5

2. Notations and formulas Let (M n,g) be a Riemannian manifold isometrically immersed in Sn+q (1/√c). Let TM and NM be the tangent bundle and normal bundle of M, respectively. For sections of the bundle TM NM, we denote by ( )⊤ and ( )⊥ the projections onto TM and NM, respectively.⊕ · · Denote by the Levi-Civita connection of the ambient space. We use the same symbol to represent∇ the connections of TM and NM. LetΓ(TM) and Γ(NM) be the spaces∇ of smooth sections of the bundles. The connections of TM and NM are given by Y = ( Y )⊤ and ξ = ( ξ)⊥, for X, Y Γ(TM), ξ Γ(NM). ∇X ∇X ∇X ∇X ∈ ∈ The second fundamental form of M is defined as h(X, Y ) = ( X Y )⊥. We shall make use of the following convention on the range∇ of indices: 1 i, j, k, n, 1 α, β, γ, q. ≤ ···≤ ≤ ···≤ Let ei be a local orthonormal frame for the tangent bundle, and να a local orthonormal{ } frame for the normal bundle. Then the mean curvature{ } vector is defined as H = i h(ei,ei). With the local frame, the components of h and H are given by hα = h(e ,e ),ν , Hα = hα . Let ˚h = h 1 g H be the traceless ij hP i j αi i ii − n ⊗ second fundamental form. Its norm satisfies ˚h 2 = h 2 1 H 2. P n We have the following estimates for h and| | |H|. − | | |∇ | |∇ | Lemma 2.1. For any submanifold in a sphere, we have (i) h 2 3 H 2, |∇ | ≥ n+2 |∇ | (ii) H 2 2 H H . ∇| | ≤ | ||∇ | The proof of (i) is the same as in [1, 19], and (ii) follows from the Cauchy-Schwarz inequality. As in [1, 2], we define the following scalars on M. 2 2 R = hα hβ + (hα hβ hβ hα ) , 1 ij ij ik jk − ik jk i,j Xα,β X i,j,α,βX Xk 2 α α α α β β R2 = H hij , R3 = H hikhij hjk. i,j α X X i,j,k,α,βX We have the following identity for the Laplacian of ˚h 2. | | 1 1 (2.1) ∆ ˚h 2 = ˚h, 2H + h 2 H 2 + nc ˚h 2 R + R . 2 | | ∇ |∇ | − n|∇ | | | − 1 3 D E At a fixed point in M, we choose an orthonormal frame ν for the normal { α} space and an orthonormal frame ei for the tangent space, such that H = H ν1 1 ˚ { } ˚1 | | and (hij ) is diagonal. Let λi be the diagonal elements of (hij ). Thus we have ˚λ = h1 1 H and ˚hα = hα for α> 1. We split ˚h 2 into three parts i ii − n | | ij ij | | ˚h 2 = P + P , P = Q + Q , | | 1 2 2 1 2 where ˚2 α 2 α 2 P1 = λi ,Q1 = (hii) ,Q2 = hij . i α>1 α>1 X Xi Xi=j 6 6 LI LEI AND HONGWEI XU

With the special frame, we have 2 1 R = P 2 + P H 2 + H 4 1 1 n 1| | n2 | | 2 2 ˚ α α β (2.2) +2 λihii + hij hij α>1 i i,j X X α,β>X1 X 2 2 +2 ˚λ ˚λ hα + hα hβ hα hβ , i − j ij ik jk − jk ik α>1 α,β>1 k Xi=j Xi,j X 6 1 (2.3) R = ( H h1 )2 = H 2 P + H 2 , 2 | | ij | | 1 n| | i,j X and 4 2 H H 2 H 2 (2.4) R = | | + | | (3P + P )+ H ˚λ ˚hα + | | ˚λ + ˚λ hα . 3 n2 n 1 2 | | i ii 2 i j ij α,i α>1 X Xi=j 6 Using the Cauchy-Schwarz inequality we get 2 ˚λ hα P Q . i ii ≤ 1 1 α>1 i X X We also have 2 2 ˚λ ˚λ hα 2 ˚λ2 + ˚λ2 hα 2P Q . i − j ij ≤ i j ij ≤ 1 2 α>1 α>1 Xi=j Xi=j 6 6 It follows from Theorem 1 of [27] that 2 2 3 hα hβ + hα hβ hα hβ P 2. ij ij ik jk − jk ik ≤ 2 2 α,β>1 i,j α,β>1 k X X Xi,j X Thus we obtain 2 1 3 R P 2 + P H 2 + H 4 +2P Q +4P Q + P 2 1 ≤ 1 n 1| | n2 | | 1 1 1 2 2 2 2 1 3 (2.5) ˚h 4 + P H 2 + H 4 +2P ˚h 2 P 2. ≤ | | n 1| | n2 | | 2| | − 2 2 From (2.3) and (2.5), we have

Lemma 2.2. R1 and R2 satisfy (i) R 1 R ˚h 4 + 1 ˚h 2 H 2 +2P ˚h 2 3 P 2 1 P H 2, 1 − n 2 ≤ | | n | | | | 2| | − 2 2 − n 2| | (ii) R = ˚h 2 H 2 + 1 H 4 P H 2. 2 | | | | n | | − 2| | By an algebraic inequality (see [41, 44]), we have 1 α 2 n 2 2 2 α 2 ˚λi(˚h ) − ˚λ (˚h ) ii ≥ −√n(n 1) i ii α,i − i α,i X X X n 2 2 = − P1( ˚h Q2) √n(n 1) − − | | − n 2 p1 2 − (P1 + ˚h ) ˚h P1Q2 . √n(n 1) ≥ − − 2 | | | |− p MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 7

We also have (˚λ + ˚λ )(hα )2 2(˚λ2 + ˚λ2)(hα )2 2P Q . i j ij ≥ − i j ij ≥− 1 2 α>1 α>1 q Xi=j Xi=j p 6 6 n 2 √2 Note that − > if n 6. We get √n(n 1) 2 − ≥ 4 2 ˚ 2 H H n 2 P1 + h (2.6) R3 | | + | | (3P1 + P2) − H ˚h | | . 2 √n(n 1) ≥ n n − − | || | 2 For n 6, we get from (2.5) and (2.6) that ≥ n 2 P2 2 4 1 2 2 2 3 2 (2.7) R3 R1 − H ˚h ˚h ˚h + ˚h H 2 ˚h P2 + P . − ≥ √n(n 1) | || | 2 − | | − | | n| | | | − | | 2 2 − 3. Preservation of curvature pinching Let F : M [0,T ) Sn+q (1/√c) be a mean curvature flow in a sphere. Let × → n+q Ft = F ( ,t). We denote by Mt the Riemannian submanifold Ft : M S (1/√c) at time ·t. Let and be two vector bundles over M [0,T ), whose→ fibers are given by H= T MN and = N M . For smooth× vector fields X Γ( ) H(x,t) x t N(x,t) x t ∈ H and ξ Γ( ), we define the covariant time derivatives by X = ( ∗ X)⊤ and ∈ N ∇∂t ∇F ∂t ∂t ξ = ( F∗∂t ξ)⊥. ∇ Without∇ loss of generality, we assume that c = 1. The following evolution equations for the mean curvature flow can be found in [1, 2]. Lemma 3.1. For the mean curvature flow F : M [0,T ) Sn+q, we have × → (i) H = ∆H + nH + Hαhα h , ∇∂t ij ij (ii) ∂ h 2 = ∆ h 2 2 h 2 +2R +4 H 2 2n h 2, ∂t | | | | − |∇ | 1 | | − | | (iii) ∂ H 2 = ∆ H 2 2 H 2 +2R +2n H 2, ∂t | | | | − |∇ | 2 | | (iv) ∂ ˚h 2 = ∆ ˚h 2 2 h 2 + 2 H 2 +2R 2 R 2n ˚h 2. ∂t | | | | − |∇ | n |∇ | 1 − n 2 − | | Let α and β be two functions given by n n 2 α(x)= n + x − x2 + 4(n 1)x, 2(n 1) − 2(n 1) − − − and p 1 2 β(x)= α(x )+ α′(x )(x x )+ α′′(x )(x x ) , 0 0 − 0 2 0 − 0 where 1 2 n 4 x = κ− √n 1 √n 1 κ , κ = − . 0 n − − − n n 2n +2 We then define a function γ : [0, + ) R by ∞ → α(x), x x , (3.1) γ(x)= 0 β(x), 0 ≥ x < x . ≤ 0 It is obvious that γ is a C2-function. Moreover, we have the following Lemma 3.2. For n 6 and x 0, γ(x) satisfies ≥ ≥ (i) γ(x) = min α(x),β(x) , { 3n+3 } (ii) γ(x) γ(0) > 2n+6 √n 1, x ≥ x − 5x 2n (iii) n 1 +2 <γ(x) < n 1 + γ(0) < 3n + 3 . − − 8 LI LEI AND HONGWEI XU

Proof. By direct computations, for x> 0, we get n n 2 x + 2(n 1) α′(x)= − − , 2(n 1) − 2(n 1) x2 + 4(n 1)x − − − 2(n 2)(n p1) α′′(x)= − − > 0, (x2 + 4(n 1)x)3/2 − 6(n 2)(n 1)(x + 2(n 1)) α′′′(x)= − − − < 0. − (x2 + 4(n 1)x)5/2 − Then we get 2 3 1 1 κn 2(n 2)κn α(x0) = (κn + κ− )√n 1, α′(x0)= − , α′′(x0)= − . n − n 1 κ2 (n 1 κ2 )3√n 1 − − n − − n − (i) We have α(x0) = β(x0), α′(x0) = β′(x0) and α′′(x0) = β′′(x0). Then from α′′′(x) < 0 = β′′′(x), we get α(x) > β(x) for 0 x < x , and α(x) < β(x) for ≤ 0 x > x0. √n 1 κn 1 − − (ii) Let ιn = √n 1+κ . We have κn < 2 and ιn < 1. Then − n x α′′(x ) 2(n 2)ι 2 (3.2) 0 0 = − n < . 2 2 α′(x0) (κn− 1)(n 1 κ ) 3 − − − n This implies γ′(0) = α′(x0) x0α′′(x0) > 0. Since γ′′(x) > 0, we get γ′(x) > 0. Thus γ(x) γ(0). We have − ≥ 1 2 α(x ) x α′(x )+ x α′′(x ) −1 2 γ(0) 0 0 0 2 0 0 κn κn (n 2)κnιn − − − 2 = =2κn 1+ √n 1+κ + n 1 κ . √n 1 √n 1 − n − − n − − γ(0) 3n+3 By numerical computations, we get √n 1 > 2n+6 for 6 n 129. Then we 1 − 1 ≤3 n≤ 2 n 2 consider the case n 130. From κn < 2 , we get κn− κn > 2 , n 1− κ2 > n−1 and ≥ − − − n − 2 2 γ(0) κn n+1 n+1 ιn > 1 √n 1+κ . Thus, √n 1 > n 1 (3n 4+ √n 1+κ ). Since √n 1+κ > 11, − − n − − − − n − n γ(0) κn(3n+7) 3n+3 we have √n 1 > n 1 > 2n+6 . − − x (iii) Let ϕ(x) = γ(x) n 1 . Since ϕ′′(x) > 0 and limx ϕ′(x) = 0, we have − − →∞ x ϕ′(x) < 0. Hence, 2 = ϕ(+ ) < ϕ(x) ϕ(0) = γ(0). This implies n 1 +2 < 5x ∞ ≤ − γ(x) 3n + γ(0). Since≤ γ(0) γ(x) α(x), we have ≤ ≤ (3.3) γ(0) α(n√n 1 2n +2)=2√n 1. ≤ − − − 2n 2n If n 8, then 2√n 1 < 3 . If n = 6, 7, we obtain γ(0) < 3 by numerical ≥ − 5x 2n computations. So, we get γ(x) < 3n + 3 . Set ˚γ(x)= γ(x) x . Let ( )+ denote the positive part of a function. − n · Lemma 3.3. For n 6 and x 0, ˚γ(x) satisﬁes ≥ ≥ 2(n 1) 1 (i) 2x˚γ′′(x) + ˚γ′(x) < n(n−+2) 5n , − x (ii) x˚γ′(x)(γ(x) + n) ˚γ(x)(γ(x) n)=0 > 2˚γ(x) n + x˚γ′(x) if x x0, − − 1 x − + 2 ≥ x˚γ′(x)(γ(x)+n) ˚γ(x)(γ(x) n) > 2˚γ(x) + x˚γ′(x) if 0 x < x , − − 6 − n ≤ 0 (iii) ˚γ(x) x˚γ′(x) > 2, n −2 2 (iv) − x˚γ(x)+ γ(x) x + n, √n(n 1) n − ≤ n 2 (v) ˚γ(x) p − √x is bounded from above. 4√n(n 1) − − p MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 9

Proof. (i) Let ϕ(x)=2x˚γ′′(x) + ˚γ′(x). We have 2 1 n 2n +2 n 2 3 ϕ(x )=2x α′′(x )+ α′(x ) = − + − (ι 3ι ), 0 0 0 0 − n 2n(n 1) 4(n 1) n − n − − √n 1 κ 1 1 − − n where ιn = √n 1+κ . Since κn < 2 , we have 1 √n 1 < ιn < 1. Then we get − n − − 3 4 1 2(n 1) 1 ι 3ι < 2. Thus we obtain ϕ(x ) < < − . n − n n − 0 n n(n+2) − 5n 6(n 2)(n 1) − − If x x0, then ϕ′(x) = √x(x+4(n 1))5/2 < 0. If 0 x < x0, then ϕ′(x) = ≥ − − ≤ 2(n 1) 1 3α′′(x ) > 0. Hence, ϕ(x) ϕ(x ) < − . 0 ≤ 0 n(n+2) − 5n (ii) We can check that α and α′ satisﬁes

(3.4) (α(x)+ n)xα′(x)=2x + α(x)(α(x) n). − Let x ψ (x)= x˚γ′(x)(γ(x)+ n) ˚γ(x)(γ(x) n), ψ (x) = 2˚γ(x) + x˚γ′(x). 1 − − 2 − n From (3.4), we get ψ1(x) = 0 if x x0. ≥ 4 n 4 We have ψ2′ (x)=3α′(x)+xα′′(x) if x x0. Then limx ψ2′ (x)= − . − n ≥ →∞ − n(n 1) Noting that − 2(n 2)(n 1)(x2 + 10(n 1)x) ψ′′(x)= − − − > 0 for x x , 2 (x2 + 4(n 1)x)5/2 ≥ 0 − we have ψ′ (x) < 0 if x x . Hence ψ (x) ψ (x ) for x x . We have 2 ≥ 0 2 ≤ 2 0 ≥ 0 2 2 ψ2(x0) 2α(x0) 4 2(1 + κn) 1 κn 4 = + α′(x ) = + − . 0 2 2 x0 x0 − n (√n 1 κ ) n 1 κ − n − − n − − n ψ2(x0) By numerical computations, we get x0 < 0 for 6 n 39. If n 40, it follows ≤ ≤ ≥ 2 1 2 4 2 ψ2(x0) (3n+8)κn n+8 √ − 2 from κn < 2 that ( n 1 κn) > 5 (n 1 κn). Thus x0 < 2n(n 1 κ ) < 0. − − − − n Hence we have − − ψ2(x) ψ2(x0) < 0 for x x0. 2 ≤ ≥ From the C -continuity of γ and (3.4), we get ψ1(x0)= ψ1′ (x0) = 0. Calculating derivatives, we get 2 ψ′′(x)=3α′′(x )[α′′(x )x + (α′(x ) x α′′(x ))x + n] for0 x x . 1 0 0 0 − 0 0 ≤ ≤ 0 It follows from (3.2) that ψ1′′(x) α′′(x0)(α′(x0)x +3n). If 0 x x0, we have x ≥ x ≤ ≤ µn 2 ψ′ (x)= ψ′′(t)dt µ (x x ), ψ (x)= ψ′ (t)dt (x x ) , 1 1 ≤ n − 0 1 1 ≥ 2 − 0 Zx0 Zx0 1 where µ = α′′(x )( x α′(x )+3n). Set ψ (x) = √3µ (x x) ψ (x) for n 0 2 0 0 3 n 0 − − 2 0 x x . Then 6ψ (x) ψ (x) ψ (x). Since ψ′′(x)= ψ′′(x ) < 0, we get ≤ ≤ 0 1 − 2 ≥ 3 3 − 2 0 min0 x x0 ψ3(x) = min ψ3(0), ψ3(x0) . We have obtained ψ3(x0)= ψ2(x0) > 0. ≤ ≤ p { } − By numerical computations, we get ψ3(0) > 0 for 6 n 33. If n 34, we 3 ≤6(n 2)(≤ 3 ) ≥ 3 1 − 7 64 have 7 κn < 2 . Hence, we get µn > 3nα′′(x0) > (n 1)5/2 > 27(n 1)2 and ≤ 3 − − x > 2√n 1(√n 1 1 )2 > 3 (n 1) 2 . Combining these and (3.3), we get 0 − − − 2 2 − ψ3(0) = √3µnx0 2γ(0) > 0. This yields min0 x x0 ψ3(x) > 0. Therefore, we − ≤ ≤ obtain ψ (x) > 1 [ψ+(x)]2 for 0 x < x . 1 6 2 ≤ 0 (iii) Noting that (α(x) xα′(x))′ = α′′(x)x < 0 and (β(x) xβ′(x))′ = − − − α′′(x0)x 0, we have (˚γ(x) x˚γ′(x))′ < 0. This together with limx (α(x) − ≤ − →∞ − xα′(x)) = 2 implies ˚γ(x) x˚γ′(x) > 2. − 10 LI LEI AND HONGWEI XU

(iv) We can check that α satisﬁes

n 2 x 2x − x(α(x) )+ α(x)= + n. √n(n 1) − n n − q Combining this identity and the inequality γ(x) α(x), we prove (iv). n 2 ≤ (v) If n = 6, we get limx ˚γ(x) − √x = 0. →∞ 4√n(n 1) − − 1 n 2 If n 7, we have limx p˚γ(x)/x = < − . Thus ˚γ(x) ≥ →∞ √n(n 1) 4√n(n 1) − n 2 − − − √x is negative when px is large enough. p 4√n(n 1) − Let ω : [0, + ) R be a positive C2-function, and let ∞ → 2 −1 2 2 x 2 n (1+4(n 1)/x) / n n−2 − − ω(x)= 1+ x n +(1+4(n 1)/x)−1/2 for x x0. x2 + 4(n 1)x n−2 − ≥ − We can checkp that ω satisﬁes the following equation

xω′(x) 2α(x) xα′(x) 3n (3.5) = − − for x x . ω(x) α(x)+ n ≥ 0 For a small positive number ε, we set˚γ (x) = ˚γ(x) εω(x). ε − Lemma 3.4. Let n 6. There exists a positive constant ε1, such that for all ε (0,ε ) and x 0,≥ we have ∈ 1 ≥ 2(n 1) (i) 2x˚γε′′(x) + ˚γε′ (x) < n(n−+2) , x x 1 x + 2 (ii) x˚γ′ (x) ˚γ (x)+ + n ˚γ (x) ˚γ (x)+ n > 2˚γ (x) + x˚γ′ (x) . ε ε n − ε ε n − 6 ε − n ε Proof. (i) We have

2x˚γ′′(x) + ˚γ′ (x)=2x˚γ′′(x) + ˚γ′(x) ε(2xω′′(x)+ ω′(x)). ε ε − 2 We ﬁgure out that limx ω′(x) = (n 1)− and limx xω′′(x) = 0. Thus →∞ − →∞ 2xω′′(x)+ ω′(x) is bounded. From Lemma 3.3 (i), we obtain the conclusion. (ii) We have

x x x˚γ′ (x) ˚γ (x)+ + n ˚γ (x) ˚γ (x)+ n ε ε n − ε ε n − x x = x˚γ′(x) ˚γ(x)+ + n ˚γ(x) ˚γ(x)+ n n − n − x x xω′(x) +εω(x) 2˚γ(x) x˚γ′(x)+ n ˚γ(x)+ + n − n − − n ω(x) 2 +ε ω(x)(xω′(x) ω(x)) − and x + x + + 2˚γ (x) + x˚γ′ (x) 2˚γ(x) + x˚γ′(x) + ε( xω′(x)) . ε − n ε ≤ − n − From (3.5), there exists a small positive number δ, such that if x > x0 δ, then − x x xω′(x) 2˚γ(x) x˚γ′(x)+ n ˚γ(x)+ + n > n. − n − − n ω(x) From Lemma 3.3 (ii), if x > x δ, we have 0 − x 2˚γ(x) + x˚γ′(x) < 0. − n MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 11

Hence, if x > x δ, we have 0 − x x 1 x + 2 x˚γ′ (x) ˚γ (x)+ + n ˚γ (x) ˚γ (x)+ n 2˚γ (x) + x˚γ′ (x) ε ε n − ε ε n − − 6 ε − n ε 2 2 ε + 2 nεω(x)+ ε ω(x)(xω ′(x) ω(x)) [( xω′(x)) ] . ≥ − − 6 − + Notice that xω′(x) ω(x) and ( xω′(x)) are bounded. Thus, the right hand side of the above inequality− is positive− if ε is small enough. For 0 x x0 δ, since ˚γε ˚γ, ˚γε′ ˚γ′ uniformly as ε 0, the assertion follows from≤ Lemma≤ − 3.3 (ii). → → →

2 2 2 2 For convenience, we denote γ( H ), ˚γ( H ), ˚γε( H ) and ω( H ) by γ, ˚γ, ˚γε | | | | | | | | 2 and ω, respectively. We use ( )′ to denote the derivative with respect to H . · n+q | | Consider the mean curvature ﬂow F : M [0,T ) S . Suppose M0 is an × →2 n-dimensional (n 6) closed submanifold satisfying h <γ. Since M0 is compact, ≥ | | 2 there exists a small positive number ε, such that M0 satisﬁes ˚h < ˚γε. Now we show that the pinching condition is preserved. | |

2 Theorem 3.5. If M0 satisﬁes ˚h < ˚γε, then this condition holds for all time t [0,T ). | | ∈ Proof. Let U = ˚h 2 ˚γ . By Lemmas 2.1, 2.2 and 3.1, we have | | − ε ∂ 2 2 2 2 2 2 ∆ U = 2 h + H + 2˚γ′ H + ˚γ′′ H ∂t − − |∇ | n|∇ | ε|∇ | ε ∇| | 2 2 2 +2R R 2n ˚h 2˚γ′ (R + n H ) 1 − n 2 − | | − ε · 2 | | 2(n 1) 2 2 2 − + ˚γ′ +2 H ˚γ′′ H ≤ − n(n + 2) ε | | ε |∇ | h 1 i 1 3 +2 ˚h 2 ˚h 2 + H 2 n +2P 2 ˚h 2 H 2 P | | | | n| | − 2 | | − n| | − 2 2 2 2 1 2 2 2˚γ′ H ˚h + H + n + 2˚γ′ H P . − ε · | | | | n| | ε · | | 2 2 2 From Lemma 3.4 (i), the coeﬃcient of H is negative. Replacing ˚h by U +˚γε, the above formula becomes |∇ | | |

∂ 1 2 2 2 ∆ U 2U 2˚γ + H n H ˚γ′ +2P +2U ∂t − ≤ ε n| | − − | | ε 2 1 2 2 1 2 +2˚γ ˚γ + H n 2 H ˚γ′ ˚γ + H + n ε · ε n| | − − | | ε · ε n| | 1 2 2 3 +2P 2˚γ H + H ˚γ′ P . 2 ε − n| | | | ε − 2 2 By Lemma 3.4 (ii), we have

4. An estimate for traceless second fundamental form In this section, we derive the following estimate for the traceless second fundamental form.

2 5/2 Theorem 4.1. If M0 satisﬁes ˚h < ˚γε, then there exist constants 0 < σ ε , and C > 0 depending only on M| |, such that for all t [0,T ) we have ≤ 0 0 ∈ 2 2 1 σ 2σt ˚h C ( H + 1) − e− . | | ≤ 0 | | To prove this theorem, we will show that the following function decays exponentially. ˚h 2 fσ = |1 | σ , ˚γ −

1 where 0 <σ< 2 . For the time derivative of fσ, we obtain

Lemma 4.2. There exist positive constants C1, C˜1 depending only on n, such that

∂ 4C1 2fσ 2 2 fσ ∆fσ + fσ H H +2fσ 3σ h σn εC˜1 . ∂t ≤ ˚h |∇ ||∇ |− 5n ˚h 2 |∇ | | | − − | | | | Proof. By a straightforward computation, we get

∂ ˚ 2 ∂ ∂ ∂t h ∂t˚γ fσ = fσ | | (1 σ) , ∂t ˚h 2 − − ˚γ ! | | and

f ˚γ ∂ ∆ f 2|∇ σ||∇ | ∂t − σ ≤ ˚γ 2 2 H 2 1 σ 2 2 2 (4.2) +fσ |∇ | h + − 2˚γ′ H + ˚γ′′ H ˚ 2 n − |∇ | ˚γ |∇ | ∇| | " h # | |

1 1 ˚γ′ 2 +2fσ R1 R2 n (1 σ) (R2 + n H ) . " ˚h 2 − n − − − ˚γ | | # | |

′ H ˚γ | || | By the deﬁnition of ˚γ, there exists a positive constant C1, such that √˚γ < C1. Then

˚γ 2 2C1 2C1 (4.3) |∇ | ˚γ′ H H H H . ˚γ ≤ ˚γ | | | ||∇ |≤ √˚γ |∇ |≤ ˚h |∇ | | | MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 13

By Lemma 2.1 and Lemma 3.3 (i), we have the following estimate for the expression in the ﬁrst square bracket of the right hand side of (4.2).

2 2 H 2 1 σ 2 2 2 |∇ | h + − 2˚γ′ H + ˚γ′′ H ˚ 2 n − |∇ | ˚γ |∇ | ∇| | h | | 2 2(1 n) 2 1 σ 2 2 − H + − 2˚γ′ + 4˚γ′′ H H ≤ ˚h 2 · n(n + 2)|∇ | ˚γ | | |∇ | | | 2 2(1 n) 1 4(n 1) 2 − H 2 + − H 2 ≤ ˚h 2 · n(n + 2)|∇ | ˚h 2 n(n + 2) − 5n |∇ | | | | | 2 H 2. ≤ −5n ˚h 2 |∇ | | | We then estimate the expression in the second square bracket of the right hand side of (4.2). By Lemma 2.2, we have

2 P 3P H ˚γ′ h 2 + n +2P 2 2 + | | H 2( h 2 + n P ) | | 2 − ˚γ 2 n − ˚γ | | | | − 2 2 2 ˚γ′ 2 P2 H 2 3P2 = ( h + n) 1 H + 2˚γ | | + ˚γ′ H | | − ˚γ | | ˚γ − n | | − 2 2 2 ˚γ ˚γ′ H 1 1 2 2 + (γ εω + n) − | | + 2˚γ H + ˚γ′ H ≤ − ˚γ 6˚γ − n | | | | h i 2 2εω 1 2 1 1 2 2 + + (γ + n) ˚γ ˚γ′ H + 2˚γ H + ˚γ′ H ≤ − ˚γ ˚γ − | | 6 − n | | | | 2εω h i +2n. ≤ − ˚γ Hence, the right hand side of (4.4) is less than 2εω εω σ( h 2 + n +2P ) 2n + (1 σ) 2n < 3σ h 2 σn . | | 2 − − − ˚γ | | − − ˚γ ˜ ˜ ω Let C1 be a positive constant such that C1 < ˚γ . Then we complete the proof of Lemma 4.2.

We need the following estimate for the the Laplacian of ˚h 2. | | 14 LI LEI AND HONGWEI XU

Lemma 4.3. Suppose that M is an n-dimensional (n 6) submanifold in Sn+q 2 ≥ satisfying ˚h < ˚γε. There exists a positive constant C2 depending only on n, such that for suﬃciently| | small σ> 0, there holds εC˜ ∆ ˚h 2 2 ˚h, 2H +2εC ˚h 2 h 2 1 . | | ≥ ∇ 2| | | | − 3σ 1 ˚ 2 ˚ 2 ˚ 2 Proof. By (2.1) and Lemma 2.1 (i), we have 2 ∆ h h, H + n h R1 + R3. It follows from (2.7) and Lemma 3.3 (iv) that| | ≥ ∇ | | −

2 2 n 2 2 1 2 n ˚h R1 + R3 ˚h n − H ˚h ˚h + H | | − ≥ | | − √n(n 1) | || | − | | n| | − n 2 2 3 +P2 − H ˚h 2 ˚h + P2 2√n(n 1) | || |− | | 2 − 2 n 2 1 2 ˚h n − H ˚γ (˚γ εω)+ H ≥ | | − √n(n 1) | | − − n| | − p n 2 3 P2 ˚h 2 ˚γ − H P2 − | | − 2√n(n 1) | | − 2 − p + 2 2 1 2 n 2 ˚h εω ˚h 2 ˚γ − H . ≥ | | − 6| | − 2√n(n 1) | | − p Let C be a positive constant such that C < ω . Thus, ω > C h 2. From Lemma 2 2 γ 2| | 2 + 2 ε 1 n 2 3.3 (v), if σ is small enough, then > 2√˚γ − H . Therefore, σ 2C˜1C2 2√n(n 1) − − | | we obtain the conclusion. h i From (4.1), (4.3) and Lemma 4.3, we have 2 ∆ ˚h fσ fσ, ˚γ ∆fσ 1| |σ (1 σ) ∆˚γ 2(1 σ)h∇ ∇ i ≥ ˚γ − − − ˚γ − − ˚γ ˚ 2 ˜ 2 h, H 2 εC1 fσ 4C1 h 1∇σ i +2εC2 h fσ (1 σ) ∆˚γ fσ H . ≥ ˚γ − | | − 3σ − − ˚γ − ˚h |∇ ||∇ | | | This is equivalent to ˜ ˚ 2 2 εC1 fσ 2 h, H 4C1 (4.5) 2εC2 h fσ ∆fσ + (1 σ) ∆˚γ h 1∇σ i + fσ H . | | − 3σ ≤ − ˚γ − ˚γ − ˚h |∇ ||∇ | | | p 1 We multiply both sides of the above inequality by fσ− , then integrate them over Mt. Using the divergence theorem, we have

p 1 p 2 2 (4.6) f − ∆f dµ = (p 1) f − f dµ . σ σ t − − σ |∇ σ| t ZMt ZMt From (4.3), we have f p f p σ ∆˚γdµ = σ , ˚γ dµ ˚γ t − ∇ ˚γ ∇ t ZMt ZMt pf p 1 f p (4.7) = σ− f , ˚γ + σ ˚γ 2 dµ − ˚γ h∇ σ ∇ i ˚γ2 |∇ | t ZMt p 1 2 p 2pC1fσ− 4C1 fσ 2 fσ H + H dµt. ˚ ˚ 2 ≤ Mt h |∇ ||∇ | h |∇ | ! Z | | | | MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 15

˚α n 1 α The Codazzi equation implies ihij = −n j H . From this formula and (4.3), we get ∇ ∇ p 1 2 f − ˚h, H σ ∇ dµ − ˚γ1 σ t ZMt − f p 1 (4.8) = σ− ˚hα Hαdµ ∇i ˚γ1 σ ij ∇j t ZMt − p 2 p 1 p 1 (p 1)f − (1 σ)f − f − = − σ ˚hα f − σ ˚hα ˚γ + σ ˚hα Hαdµ ˚γ1 σ ij ∇i σ − ˚γ2 σ ij ∇i ˚γ1 σ ∇i ij ∇j t ZMt − − − p 2 p 1 p 1 (p 1)f − f − f − − σ ˚h f + σ ˚h ˚γ + σ H H dµ ≤ ˚γ1 σ | ||∇ σ| ˚γ2 σ | | |∇ | ˚γ1 σ |∇ | |∇ | t ZMt − − − p 1 p (p 1)fσ− (2C1 + 1)fσ 2 − fσ H + H dµt. ˚ ˚ 2 ≤ Mt " h |∇ ||∇ | h |∇ | # Z | | | | Putting (4.5)-(4.8) together, we get (4.9) p 1 p 2 p C3σ pfσ− fσ 2 2 3σ h εC˜1 f dµt fσ H + H dµt, σ ε ˚ ˚ 2 Mt | | − ≤ Mt " h |∇ ||∇ | h |∇ | # Z Z | | | | where C3 is a positive constant depending on n. Combining (4.6), (4.9) and Lemma 4.2, we obtain

d p p 1 ∂fσ p 2 f dµ = p f − dµ f H dµ dt σ t σ ∂t t − σ | | t ZMt ZMt ZMt p 1 p p 1 4C1fσ− 2fσ 2 p f − ∆fσ + fσ H H σ ˚ ˚ 2 ≤ Mt " h |∇ ||∇ | − 5n h |∇ | Z | | | | +2 3σ h 2 εC˜ σn f p dµ | | − 1 − σ t i p 2 2 C3σp fσ (4.10) p f − (p 1) f + 4C + f H σ σ 1 ε ˚ σ ≤ Mt "− − |∇ | h |∇ ||∇ | Z | | 2 2 C3σ fσ 2 p H dµt 2pσn f dµt. 5n ε ˚ 2 σ − − h |∇ | # − Mt | | Z p Now we show that the L -norm of fσ decays exponentially.

Lemma 4.4. There exists a constant C4 depending only on M0 such that for all p 1/ε and σ ε2/√p, we have ≥ ≤ 1 p p 2nσt fσ dµt < C4e− . ZMt Proof. The expression in the square bracket of the right hand side of (4.10) is a qua- dratic polynomial. With p 1/ε, σ ε2/√p and ε small enough, its discriminant 2 ≥ ≤ satisﬁes 4C + C3σp 4(p 1) 2 C3σ < 0. So, we obtain 1 ε − − 5n − ε d f pdµ 2pσn f pdµ . dt σ t ≤− σ t ZMt ZMt p 2pσnt p This implies fσ dµt e− fσ dµ0. Mt ≤ M0 R R 16 LI LEI AND HONGWEI XU

2σt Let gσ = fσe . By the Sobolev inequality on submanifolds [18] and a Stam- pacchia iteration procedure, we obtain that gσ is uniformly bounded for all t (see [19, 25] for details). We then complete the proof of Theorem 4.1.

5. A gradient estimate In the following, we derive an estimate for H 2 along the mean curvature ﬂow. |∇ | Theorem 5.1. If M satisﬁes ˚h 2 < ˚γ , then for all η (0,ε), there exists a 0 | | ε ∈ number Ψ(η) depending on η and M0, such that 2 4 2 σt H < [(η H ) + (Ψ(η)) ]e− . |∇ | | | First, we derive an estimate for the time derivative of H 2. |∇ | Lemma 5.2. There exists a constant B1(> 1) depending only on n, such that ∂ H 2 ∆ H 2 + B ( H 2 + 1) h 2. ∂t|∇ | ≤ |∇ | 1 | | |∇ | Proof. We have the following evolution equation for H 2 (see [2]). |∇ | ∂ H 2 = ∆ H 2 2 2H 2 +2 H 2 + h h h h. ∂t|∇ | |∇ | − |∇ | |∇ | ∗ ∗ ∇ ∗ ∇ Here we use Hamilton’s notation. For tensors T and S, T S means any linear combination of contractions∗ of T and S with the metric. ∗ 2 2 From the Cauchy-Schwarz inequality, we have h h h h B0 h h , | ∗ ∗ ∇ ∗ ∇ |≤ |2 | |∇ | where B0 is a constant depending on n. From the pinching condition h <γ, we obtain 2 H 2 + B h 2 h 2 n is a positive constant. Proof. (i) By Lemma 3.1 (iii), we derive that

∂ 2 H 4 = ∆ H 4 4 H 2 H 2 2 H 2 +4 H 2R +4n H 4. ∂t| | | | − | | |∇ | − ∇| | | | 2 | | 2 From Lemmas 2.1 and 2.2, we have R 1 H 4 and 4 H 2 H 2 +2 H 2 2 ≥ n | | | | |∇ | ∇| | ≤ 8n H 2 h 2. | | |∇ | (ii) The evolution equation of ˚h 2 is | | ∂ 2 ˚h 2 = ∆ ˚h 2 2 ˚h 2 +2R R 2n ˚h 2. ∂t| | | | − |∇ | 1 − n 2 − | | 2 2 2 It follows from Lemma 2.1 that n H h . By Lemma 2.2 (i) and the |∇ | ≤ |∇ | 2 1 ˚ 2 ˚ 2 H 2 ˚ 2 pinching condition, we get R1 n R2 h (3 h + | n| ) < 3n( H + 1) h . Then we obtain the conclusion. − ≤ | | | | | | | | MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 17

(iii) It follows from the evolution equations that ∂ 1 H 2 ˚h 2 = ∆ H 2 ˚h 2 +2 H 2 R R +2 ˚h 2R ∂t | | | | | | | | | | 1 − n 2 | | 2 1 2 H 2 h 2 H 2 2 ˚h 2 H 2 2 H 2, ˚h 2 . − | | |∇ | − n|∇ | − | | |∇ | − ∇| | ∇| | 2 2 2 Here we have n H h . Using Lemma 2.2 and the pinching condition, we have |∇ | ≤ |∇ | 1 2 2 H 2 R R +2 ˚h 2R 2 H 2 ˚h 2 4 ˚h 2 + H 2 < 4n( H 2 + 1)2 ˚h 2. | | 1 − n 2 | | 2 ≤ | | | | | | n| | | | | | By Theorem 4.1 and Young’s inequality, there exists a positive constant B2 such that 1 2 H 2, ˚h 2 8 H H ˚h ˚h B + H 2 h 2. h∇| | ∇| | i ≤ | ||∇ || ||∇ |≤ 2 2| | |∇ | Thus we obtain the conclusion.

Proof of Theorem 5.1. Deﬁne a function f = H 2 +5B B ˚h 2 +4B H 2 ˚h 2 eσt (η H )4, η (0,ε). |∇ | 1 2| | 1| | | | − | | ∈ From Lemmas 5.2 and 5.3, we obtain ∂ ∆ f B ( H 2 + 1) h 2 +5B B h 2 +6n( H 2 + 1) ˚h 2 ∂t − ≤ 1 | | |∇ | 1 2 − |∇ | | | | | h 1 +4B H 2 h 2 + B h 2 +4n( H 2 + 1)2 ˚h 2 1 − 2| | |∇ | 2|∇ | | | | | + σ H 2 +5B B ˚h 2 +4B H 2 ˚h 2 eσt |∇ | 1 2| | 1| | | | 4 i η4 8n H 2 h 2 + H 6 − − | | |∇ | n| | 4η4 B ( H 2 + 1)2 ˚h 2eσt H 6, ≤ 3 | | | | − n | | where B3 is a positive constant depending on B1 and B2. By Theorem 4.1, we get 4 ∂ 2 3 σ 4η 6 σt (5.1) ∆ f C B ( H + 1) − H e− . ∂t − ≤ 0 3 | | − n | | By Young’s inequality, the expression in the bracket of (5.1) is bounded from ∂ σt above. Let Ψ2(η) be its upper bound. Then we have ∂t ∆ f Ψ2(η)e− . It follows from the maximum principle that f is bounded. This− completes≤ the proof of Theorem 5.1.

6. Convergence under sharp pinching condition We will follow Hamilton’s idea in [17] to use the Myers theorem. Theorem 6.1 (Myers). Let Γ be a geodesic of length l on M. If the Ricci curvature 2 π satisﬁes RicM (X) (n 1) l2 , for each unit vector X TxM, at any point x Γ, then Γ has conjugate≥ points.− ∈ ∈ We get the following lemma. 18 LI LEI AND HONGWEI XU

Lemma 6.2. Suppose that M is an n-dimensional (n 6) submanifold in Sn+q 2 2 2 ≥ satisfying ˚h < ˚γε and H < 2η maxM H , where 0 <η<ε and ε is small | | |∇ | 2 | | minM H 1 enough. Then we have max |H| 2 > 1 η and diam M (2η maxM H )− . M | | − ≤ | | Proof. By Proposition 2 of [43], the Ricci curvature of M satisﬁes

n 1 2 2 2 n 2 RicM − n + H h − H ˚h . ≥ n n| | − | | − n(n 1)| || | − From h 2 <γ εω and Lemma 3.3 (iv), we obtainp | | − n 1 Ric − εω >B ε H 2, M ≥ n 4 | | where B4 is a positive constant. Assume that H attains its maximum at point x M. We consider all the | | 1 ∈ 2 2 geodesics of length l = (4η maxM H )− starting from x. Since H < 4η 3 2 | | 2 ∇| | · maxM H , we have H > (1 η)maxM H along such a geodesic. Thus we | | | | − 2 | |2 2 have RicM >B4ε(1 η)maxM H > (n 1)π /l on each of these geodesics. By Myers’ theorem, these− geodesics| can| reach− any point of M. Therefore, we obtain min H 2 > (1 η)max H 2 and diam M 2l. M | | − M | | ≤ In the following we show that the mean curvature flow converges to a point or a totally geodesic sphere under the assumption of Theorem 1.1. 2 Theorem 6.3. If M0 satisfies h < γ and T is finite, then Ft converges to a round point as t T . | | → 2 Proof. If T is finite, we have maxMt h as t T . This can be shown by using an analogous argument as in the proof| | → of ∞ the corresponding→ result in [1, 32]. Let H = min H , H = max H . From the preserved pinching condition, | |min Mt | | | |max Mt | | we get H max as t T . By Theorem| | → 5.1, ∞ for any→ η (0,ε), we have H < (η H )2 + Ψ(η). Since ∈ |∇ | | | H max as t T , there exists a time τ depending on η, such that for t > τ, there| | holds→ ∞H 2 →> Ψ(η)/η2. Then we have H < 2η2 H 2 . Using Lemma | |max |∇ | | |max 6.2, we obtain diam Mt 0 and H min/ H max 1 as t T . To prove the flow converges→ to| a| round| | point,→ we magnify→ the metric of the ambient space such that the submanifold maintains its volume along the flow. Using the same argument as in [32], we can prove that the rescaled mean curvature flow converges to a totally umbilical sphere as the reparameterized time tends to infinity.

2 Theorem 6.4. If M0 satisﬁes h <γ and T = , then Ft converges to a totally geodesic sphere as t . | | ∞ → ∞ Proof. With the assumption T = , we will show that H decays exponentially. 2 σt/2 ∞ | | Suppose H max e is unbounded. Then for a small positive number η, | | · 2 σθ/2 2 there exists a time θ, such that H max(θ) e > Ψ(η)/η . By Theorem 5.1, 2 2 | | · 2 we have H < 2η H max on Mθ. By Lemma 6.2, we have H min(θ) > (1 2 |∇ | 1 η | | σθ/2 | | 2 − η) H max(θ) > η−2 Ψ(η)e− . This together with Theorem 5.1 yields H < | | 4 |∇ | 4 η 4 σ(θ t) 2 (η H ) + (1 η)2 H min(θ) e − . From the evolution equation of H , we have | | − | | · | | ∂ 2 2 1 4 1 4 σ(θ t) (6.1) H > ∆ H + H H (θ) e − . ∂t| | | | n| | − 2n| |min · MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 19

2 2 Using the maximum principle, we get H H min(θ) if t θ. Then (6.1) yields ∂ 2 2 1 4 | | ≥ | 2 | ≥ ∂t H > ∆ H + 2n H for t θ. Hence, H will tend to infinity in finite time. | | | | | | ≥ | | 2 σt/2 This contradicts the infinity of T . Therefore, we obtain H < Ce− . 2 ˚ 2 1 2 | |σt/2 From Theorem 4.1, we have h = h + n H Ce− . Since h 0 as t , M converges to a totally| | geodesic| | submanifold| | ≤ as t . | | → → ∞ t → ∞ 7. Convergence under weakly pinching condition n+q Assume that M0 is a closed submanifold in S whose squared norm of the traceless second fundamental form satisfies ˚h 2 ˚γ. Proof of Theorem 1.4. Recalling the proof of| Theorem| ≤ 3.5, we have ∂ ∆ ˚h 2 ˚γ ∂t − | | − 2(n 1) 2 2 (7.1) − + ˚γ′ +2 H ˚γ′′ H ≤ − n(n + 2) | | |∇ | h i 2 2 1 2 2 2 +2 ˚h ˚γ 2˚γ + H n H ˚γ′ +2P +2 ˚h ˚γ . | | − n| | − − | | 2 | | − The coefficient of H 2 is negative. Using the strong maximum principle, we have 2 |∇ | 2 either ˚h < ˚γ at some t0 [0,T ), or ˚h ˚γ for all t [0,T ). | 2| ∈ | | ≡ ∈ If ˚h < ˚γ at some t0 0, it reduces to the case of Theorem 1.1. | |2 ≥ If ˚h ˚γ for t [0,T ), we have H 0 for all t. Since ˚γ > 0 and ˚γ(0) 1 . 1 √1+λ2 2 √1+λ2 2(n 1) n 1 − − 1 Notice that λ is the (n 1)-multiple principal curvature andq λ is the other one. − 1 2 2 1 − Thus we have H = (n 1)λ and h = (n 1)λ + 2 . Since M is a family | | − − λ | | − λ t of hypersurfaces in Sn+1, the evolution equation of H becomes ∂ ∆ H = | | ∂t − | | H ( h 2 + n). Hence, | | | | d 1 1 1 (n 1)λ = (n 1)λ (n 1)λ2 + + n . dt − − λ − − λ − λ2 This is equivalent to d r2 =2 2n +2nr2. Solving this ODE, we obtain dt 1 − 1 n 1 r2 = − (1 d e2nt), 1 n − · where d (0, 1) is a constant of integration. ∈ From the solution of r , we see that the maximal existence time T = log d . 1 − 2n Hence Mt converges to a great circle as t T . This completes the proof of Theo- rem 1.4. →

References

[1] B. Andrews and C. Baker, Mean curvature ﬂow of pinched submanifolds to spheres, J. Dif- ferential Geom., 85(2010), 357-395. [2] C. Baker, The mean curvature ﬂow of submanifolds of high codimension, arXiv:1104.4409, 2011. 20 LI LEI AND HONGWEI XU

[3] M. Berger, Riemannian geometry during the second half of the twentieth century, University Lecture Series, Vol.17, American Mathematical Society, Providence, RI, 2000. [4] C. Böhm and B. Wilking, Manifolds with positive curvature are space forms, Ann. of Math., 167(2008), 1079-1097. [5] S. Brendle, A general convergence result for the Ricci flow in higher dimensions, Duke Math. J., 145(2008), 585-601. [6] S. Brendle, Ricci Flow and the Sphere Theorem, Graduate Studies in Mathematics, Vol.111, American Mathematical Society, 2010. [7] S. Brendle and R. Schoen, Manifolds with 1/4-pinched curvature are space forms, J. Amer. Math. Soc., 22(2009), 287-307. [8] S. Brendle and R. Schoen, Classification of manifolds with weakly 1/4-pinched curvatures, Acta Math., 200(2008), 1-13. [9] J. Cheeger and T.H. Colding, On the structure of spaces with Ricci curvature bounded below I, J. Differential Geom., 46(1997), 406-480. [10] B. Y. Chen and M. Okumura, Scalar curvature, inequality and submanifold, Proc. Amer. Math. Soc., 38(1973), 605-608. [11] B. L. Chen, S. H. Tang and X. P. Zhu, Complete classification of compact four-manifolds with positive isotropic curvature, J. Differential Geom., 91(2012), 41-80. [12] Q. M. Cheng and K. Nonaka, Complete submanifolds in Euclidean spaces with parallel mean curvature vector, Manuscripta Math., 105(2001), 353-366. [13] S. S. Chern, M. do Carmo and S. Kobayashi, Minimal submanifolds of a sphere with second fundamental form of constant length, In: Functional Analysis and Related Fields, F. E. Browder (ed.), Springer, New York, 1970, 59-75. [14] K. Grove and P. Petersen, A pinching theorem for homotopy spheres, J. Amer. Math. Soc., 3(1990), 671-677. [15] K. Grove and K. Shiohama, A generalized sphere theorem, Ann. of Math., 106(1977), 201- 211. [16] J. R. Gu and H. W. Xu, The sphere theorems for manifolds with positive scalar curvature, J. Differential Geom., 92(2012), 507-545. [17] R. Hamilton, Three-manifolds with positive Ricci curvature, J. Differential Geom., 17(1982), 255-306. [18] D. Hoffman and J. Spruck, Sobolev and isoperimetric inequalities for Riemannian submanifolds, Comm. Pure Appl. Math., 27(1974), 715-727; 28(1975), 765-766. [19] G. Huisken, Flow by mean curvature of convex surfaces into spheres, J. Differential Geom., 20(1984), 237-266. [20] G. Huisken, Ricci deformation of the metric on a Riemannian manifold, J. Differential Geom., 21(1985), 47-62. [21] G. Huisken, Contracting convex hypersurfaces in Riemannian manifolds by their mean curvature, Invent. Math., 84(1986), 463-480. [22] G. Huisken, Deforming hypersurfaces of the sphere by their mean curvature, Math. Z., 195(1987), 205-219. [23] H. B. Lawson, Jr., Local rigidity theorems for minimal hypersurfaces, Ann. of Math., 89(1969), 187-197. [24] H. B. Lawson, Jr. and J. Simons, On stable currents and their application to global problems in real and complex geometry, Ann. of Math., 98 (1973), 427-450. [25] L. Lei and H. W. Xu, A new version of Huisken’s convergence theorem for mean curvature flow in spheres, arXiv:1505.07217, 2015. [26] L. Lei and H. W. Xu, An optimal convergence theorem for mean curvature flow of arbitrary codimension in hyperbolic spaces, arXiv:1503.06747, 2015. [27] A. M. Li and J. M. Li, An intrinsic rigidity theorem for minimal submanifolds in a sphere, Arch. Math., 58(1992), 582-594. [28] H. Z. Li and X. F. Wang, A differentiable sphere theorem for compact Lagrangian submanifolds in complex Euclidean space and complex projective space, Comm. Anal. Geom., 22(2014), 269-288. [29] Y. Li, H. W. Xu and E. T. Zhao, Contracting pinched hypersurfaces in spheres by their mean curvature, Pure Appl. Math. Q., 11 (2015), 329-368. [30] K. F. Liu, H. W. Xu, F. Ye and E. T. Zhao, The extension and convergence of mean curvature flow in higher codimension, Trans. Amer. Math. Soc., 370(2018), 2231-2262. MEAN CURVATURE FLOW AND DIFFERENTIABLE SPHERE THEOREM 21

[31] K. F. Liu, H. W. Xu, F. Ye and E. T. Zhao, Mean curvature flow of higher codimension in hyperbolic spaces, Comm. Anal. Geom., 21(2013), 651-669. [32] K. F. Liu, H. W. Xu and E. T. Zhao, Mean curvature flow of higher codimension in Rie- mannian manifolds, arXiv:1204.0107, 2012. [33] K. F. Liu, H. W. Xu and E. T. Zhao, Some recent results on mean curvature flow of arbitrary codimension, to appear in Proceedings of the Sixth International Congress of Chinese Mathematicians, Taipei, July 14-19, 2013, AMS/IP, Studies in Advanced Math. [34] M. Micallef and J.D. Moore, Minimal two-spheres and the topology of manifolds with positive curvature on totally isotropic two-planes, Ann. of Math., 127(1988), 199-227. [35] M. Okumura, Submanifolds and a pinching problem on the second fundamental tensors, Trans. Amer. Math. Soc., 178 (1973), 285-291. [36] M. Okumura, Hypersurfaces and a pinching problem on the second fundamental tensor, Amer. J. Math., 96 (1974), 207-213. [37] Y. Otsu, K. Shiohama and T. Yamaguchi, A new version of differentiable sphere theorem, Invent. Math., 98(1989), 219-228. [38] G. Perelman, Manifolds of positive Ricci curvature with almost maximal volume, J. Amer. Math. Soc., 7 (1994), 299-305. [39] P. Petersen, On eigenvalue pinching in positive Ricci curvature, Invent. Math., 138 (1999), 1-21; 155(2004), 223. n [40] G. Pipoli and C. Sinestrari, Mean curvature flow of pinched submanifolds of CP , Comm. Anal. Geom., 25(2017), 799-846. [41] W. Santos, Submanifolds with parallel mean curvature vector in spheres, Tohoku Math. J., 46(1994), 403-415. [42] K. Shiohama, Sphere theorems, Handbook of Differential Geometry, Vol. 1, F.J.E. Dillen and L.C.A. Verstraelen (eds.), Elsevier Science B.V., Amsterdam, 2000. [43] K. Shiohama and H. W. Xu, The topological sphere theorem for complete submanifolds, Compositio Math., 107(1997), 221-232. [44] K. Shiohama and H. W. Xu, A general rigidity theorem for complete submanifolds, Nagoya Math. J., 150(1998), 105-134. [45] J. Simons, Minimal varieties in riemannian manifolds, Ann. of Math., 88(1968), 62-105. [46] M. T. Wang, Lectures on mean curvature flows in higher codimensions, Handbook of Geo- metric Analysis, Adv. Lect. Math. (ALM), Vol. 1, No. 1, International Press, Somerville, MA, 2008, 525-543. [47] Y. L. Xin, Application of integral currents to vanishing theorems, Scient. Sinica (A), 27(1984), 233-241. [48] H. W. Xu, Pinching theorems, global pinching theorems, and eigenvalues for Riemannian submanifolds, Ph.D. dissertation, Fudan University, 1990. [49] H. W. Xu, A rigidity theorem for submanifolds with parallel mean curvature in a sphere, Arch. Math., 61(1993), 489-496. [50] H. W. Xu and J. R. Gu, An optimal differentiable sphere theorem for complete manifolds, Math. Res. Lett., 17(2010), 1111-1124. [51] H. W. Xu and J. R. Gu, Geometric, topological and differentiable rigidity of submanifolds in space forms, Geom. Funct. Anal., 23(2013), 1684-1703. [52] H. W. Xu and E. T. Zhao, Topological and differentiable sphere theorems for complete submanifolds, Comm. Anal. Geom., 17(2009), 565-585. [53] S. T. Yau, Submanifolds with constant mean curvature I, II, Amer. J. Math., 96 (1974), 346-366; 97 (1975), 76-100. [54] X. P. Zhu, Lectures on mean curvature flows, Studies in Advanced Mathematics Vol. 32, International Press, Somerville, MA, 2002.

Center of Mathematical Sciences, Zhejiang University, Hangzhou 310027, China, Email address: [email protected]; [email protected]