Arxiv:1912.09431V3 [Math.DG]

arXiv:1912.09431v3 [math.DG] 3 Aug 2020 encraueflwsnuaiisin singularities flow curvature mean ae,acoe imninmnfl sacmatReana aiodwit manifold Riemannian compact a is manifold Riemannian closed a paper, h nrp stespeu mn l h osbeitgaso h h the of integrals possible the all among constant. supremum correction the dimensional is entropy The td fma uvtr o.I skonthat known imp is an It is entropy flow. the curvature Therefore mean of [CM1]. submanif of study and flow [Hu] curvature see mean formula, the tonicity along monotone is entropy The sjs h etkre tafie time fixed a at kernel heat the just is clso umnfl in submanifold a of scales manifold en h nrp fsbaiod nagnrlabetReana m Riemannian ambient manifold general a in submanifolds of entropy the define (1.1) NRP NACOE AIODADPRILREGULARITY PARTIAL AND MANIFOLD CLOSED A IN ENTROPY h encraueflwetoy rtyitoue yColding-Min by introduced firstly entropy, flow curvature mean The Date nprdb odn-iioz’ ento,i general a in definition, Colding-Minicozzi’s by Inspired e sfis ealteetoydfie yCligMnczi o a For Colding-Minicozzi. by defined entropy the recall first us Let uut4 2020. 4, August : encraueflwo ufcsi he iesoa imninm Riemannian dimensional three curvature. reg Ricci a partial parallel in and the curvatures surfaces show sectional we of negative application, flow an curvature sect mon As non-negative mean is with curvature. close manifold entropy Ricci Riemannian a this parallel closed in Moreover, a submanifold in closed flow curvature. a curvature Ricci of growth non-negative area with to manif equivalent Riemannian ambient is general entropy a in submanifolds for entropy flow) Abstract. M N FMA UVTR LWLMTO SURFACES OF LIMIT FLOW CURVATURE MEAN OF edfieteetoyo a of entropy the define we , ⊂ R n h entropy the , nprdb h dao odn-iioz n[M] edfie(encurv (mean define we [CM1], in Colding-Minicozzi of idea the by Inspired λ ( M sup = ) R n nti ae,w olwteie fCligMnczito Colding-Minicozzi of idea the follow we paper, this In . x ρ λ 0 x ∈ 0 of R ,t n 0 M ,t 1. ( R x 0 ∈ n = ) R Introduction sdfie by defined is savr motn uniycaatrzn l the all characterizing quantity important very a is , t + 0 m OSUN AO (4 n xdpoint fixed a and (4 dmninlsubmanifold -dimensional πt πt 1 1 0 1 0 ) ) m/ n/ 2 2 e Z − M | x e − 4 n − t x 0 0 dmninlabetRiemannian ambient -dimensional | | x 2 − 4 t x x 0 0 0 | 2 dµ nteEcienspace Euclidean the in tn ln h mean the along otone l.I atclr this particular, In old. lrt ftelmtof limit the of ularity M oa uvtrsand curvatures ional lsb use’ mono- Huisken’s by olds min manifold ambient d . nfl ihnon- with anifold ratqatt nthe in quantity ortant czi[M]t study to [CM1] icozzi M anifold. m hogotthis Throughout . a enl iha with kernel, eat dmninlsub- -dimensional otboundary. hout ature R n . 2 AO SUN

Definition 1.1. Let be a n-dimensional closed or complete Riemannian manifold. Let M be a m-dimensionalN submanifold of . Then we define the entropy λ of M to be N (1.2) λ(M) = sup t(n−m)/2 (x, y, t)dy. x∈N ,t∈R+ ZM H Here is the heat kernel on the manifold . H N To the author’s knowledge, this is first intrinsic generalization of Colding-Minicozzi’s entropy to a curved ambient space. There are some extrinsic generalizations of Colding- Minicozzi’s entropy have been studied before, see [M] and [Z]. These definitions are extrinsic because they are defined by isometrically embedding the ambient manifold into RN , and then using Colding-Minicozzi’s theory in RN . These quantities are not monotone decreasing along a mean curvature flow. We also remark that very recently Bernstein [B] defined a version of Colding-Minicozzi’s entropy in a hyperbolic space.

The entropy will be used to study mean curvature flow in a closed Riemannian manifold. In particular, we highlight the following theorem of the partial regularity of the limit of long-time mean curvature flow. Recall that a mean curvature flow Mt is called a long-time mean curvature flow if it is defined for t [0, ). ∈ ∞ Theorem 1.2. Let be a closed 3-dimensional Riemannian manifold with non-negative N sectional curvatures and parallel Ricci curvature. Suppose Mt is a long-time mean curvature

flow of closed embedded surfaces in , then there exists sequence ti such that Mti converges to a varifold V in the sense ofN varifolds, and spt V is a smoothly→ embedded ∞ minimal surface. For the definitions of varifolds and the support of a varifold (spt V ), we refer the readers to the standard context in geometric measure theory, for example [Si]. Remark 1.3. There are many closed manifolds which satisfy the curvature condition in the statement of Theorem 1.2, for example the sphereN S3 and the torus T 3 with standard metrics. Therefore suppose Mt is a long-time mean curvature flow of closed embedded surfaces in S3 or T 3 with standard metrics, then there exists a sequence t such that i → ∞ Mti converges to a varifold V in the sense of varifolds, and spt V is a smoothly embedded minimal surface.

Recall that a mean curvature flow Mt is ancient if it is defined for t ( , 0). If we assume the entropy bound of an ancient mean curvature flow is finite, we obtain∈ −∞ the following partial regularity of the backward limit of the flow. Theorem 1.4. Let be a closed 3-dimensional Riemannian manifold with non-negative N sectional curvatures and parallel Ricci curvature. Suppose Mt is an ancient mean curvature flow of closed embedded surfaces in , and λ(M ) < . Then there exists sequence t N t ∞ i → −∞ such that Mti converges to a varifold V in the sense of varifolds, and spt V is a smoothly embedded minimal surface. ENTROPY AND PARTIAL REGULARITY 3

Since mean curvature flow is the gradient flow of area functional, it is believed that there would be a Morse theory based on the area functional that can be studied by mean curvature flow. Nevertheless, the singular behaviour of mean curvature flow is very complicated, hence this approach is far from well understood. Our main theorems show that if there is no singularity appearing during the mean curvature flow surfaces in a closed Riemannian manifold with certain curvature assumptions, and then such a flow really connects two crit- ical points (i.e. minimal surfaces). This might serve as a step towards the understanding of mean curvature flow in a closed Riemannian manifold. The partial regularity follows Ilmanen’s idea in [I]. [I], Ilmanen proved the partial regularity of the tangent flow of mean curvature flow of closed embedded surfaces in R3. For the sake of completeness, we discuss the proof of Ilmanen and how to use it to prove our main theorem in Section 5. 1.1. Monotonicity. The monotonicity of entropy in a closed Riemannian manifold relies on a monotonicity formula proved by Hamilton in [H2]. Unlike the monotonicity formula of mean curvature flow in Rn proved by Huisken in [Hu], Hamilton’s monotonicity requires the ambient manifold having some curvature assumptions. Let be a closed Riemannian man- N ifold and Mt be a mean curvature flow in . The monotonicity formula requires that has non-negative sectional curvatures and parallelN Ricci curvature. In fact, in the computationsN to obtain the monotonicity formula, one term has to be non-negative, and it is non-negative if a Harnack estimate holds. This Harnack estimate has been studied by Hamilton in [H1], and the curvature assumption is necessary. In conclusion, we obtain the monotonicity of entropy along the mean curvature flow in a special family of closed manifolds. Theorem 1.5. Suppose has non-negative sectional curvatures and parallel Ricci cur- N vatures. Let Mt be a mean curvature flow in . Then the entropy λ(Mt) is monotone non-increasing along the mean curvature flow. N In a general Riemannian manifold, we still have an almost monotonicity formula of entropy. However when t , the entropy becomes unbounded, and we cannot use it to study the limit behaviour of→∞ mean curvature flows. All the details are discussed in Section 3. 1.2. Area growth. In this paper, we will use “area” to denote the m-dimensional Haus- dorff measure of a m-dimensional submanifold, and “volume” to denote the n-dimensional Hausdorff measure of the n-dimensional ambient Riemannian manifold. The following property is essential when we use entropy to study mean curvature flow in a closed Riemannian manifold. Theorem 1.6. Let be a closed Riemannian manifold with non-negative Ricci curvature. There exists a constantN C only depending on the geometry of such that the following inequality holds: for any m-dimensional submanifold Σ , N ⊂N −1 Area(Σ Br(x)) Area(Σ Br(x)) (1.3) C sup ∩m λ(Σ) C sup ∩m . x∈N ,r>0 r ≤ ≤ x∈N ,r>0 r 4 AO SUN

Here B (x) is the geodesic ball in . r N Area(Σ∩Br(x)) We call supx∈N ,r>0 rm the area growth of a submanifold Σ. In other words, the area growth and the entropy of a submanifold bound each other in a Ricci non-negative closed Riemannian manifold. In the Euclidean space Rn, this fact has been realized by Colding-Minicozzi in [CM1]. In Rn, the Gaussian density function can be viewed as a regularization of the characteristic function of a ball, so the integral of the Gaussian density is very similar to the integral of a characteristic function of a ball. This is the intuition about the equivalence of the entropy and the area growth. There are many studies about the heat kernel in a closed Riemannian manifold. In [CY], Cheeger-Yau studied the lower bound of the heat kernel on a closed Riemannian manifold. Later in an inﬂuential paper [LY] by Li-Yau, a very precise upper bound and lower bound of heat kernel on a closed Riemannian manifold with non-negative Ricci curvature have were developed. The heat kernel on a closed Riemannian manifold with non-negative Ricci curvature is bounded by some Gaussian distribution from above and below. Therefore, the entropy on a closed Riemannian manifold with non-negative Ricci curvature is also equivalent to the area growth. We show this in Section 4. We want to mention that the relation between Perelman’s entropy and the volume growth of Ricci ﬂow has been studied in [Pe] by Perelman and in [Ni] by Ni. Acknowledgement. The author wants to thank Professor Bill Minicozzi for his helpful comments. The author is also grateful to Zhichao Wang, Jinxin Xue and Xin Zhou for the invaluable discussions. Finally, the author thanks the anonymous referees for the comments and suggestions.

2. Entropy Let us first recall some basic properties of the heat kernel in a closed or complete Rie- mannian manifold. Theorem 2.1 ([SY], Section 3 Theorem 2.1). Let be a closed or complete Riemannian manifold. There exists a heat kernel (x, y, t) C∞N( R+) satisfying the following properties: H ∈ N×N× (1) (x, y, t)= (y, x, t), H H (2) lim + (x, y, t)= δ (y), t→ 0 H x (3) ∂t = ∆y , (4) H(x, y, t)=H (x, z, t s) (z,y,s)dz. H H − H We define the backwardR heat kernel ρ (x, t)= (x, y, T t). y,T H − Then ρy,T satisfies the backward heat equation for t ( , T ). We follow Colding- Minicozzi’s idea in [CM1] to define F -functional and entropy.∈ −∞ ENTROPY AND PARTIAL REGULARITY 5

Definition 2.2. Let be a n-dimensional Riemannian manifold and Σ be a m- dimensional submanifold.N Given (x, t) R+, we define ⊂ N ∈ N × (n−m)/2 (n−m)/2 (2.1) Fx,t(Σ) = t ρx,t(y, 0)dy = t (x, y, t)dy. ZΣ ZΣ H We define the entropy λ of Σ to be

(2.2) λ(Σ) = sup Fx,t(Σ). x∈M,t∈R+

Next let us discuss some basic properties of the entropy. If the ambient space is the Euclidean space Rn, these properties have been studied by Colding-Minicozzi in [CM1]. We will use λN to denote the entropy of a submanifold in if we want to specify the ambient space . N N Proposition 2.3 (Product property). Let be a n-dimensional Riemannian manifold and ′ be a n′-dimensional Riemannian manifold.N Let M be a m-dimensional submanifold Nand M ′ ′ be a m′-dimensional submanifold. Then⊂N ⊂N ′ ′ (2.3) λN×N (M M ′)= λN (M)λN (M ′). × Proof. This is an easy consequence of the fact that on a product Riemannian manifold, the heat kernel satisfies the product property: suppose x, y , x′,y′ ′, then ′ ∈N ′ ∈N (2.4) N×N ((x, x′), (y,y′), t)= N (x, y, t) N (x′,y′, t). H H H Proposition 2.4 (Group action invariance). Suppose G is an isometric group action on , then N (2.5) λ(M)= λ(G(M)). Proof. This is an easy consequence of the fact that the entropy is the supremum among all F -functionals, and G induces a natural group action on the space of all F -functionals. 3. Monotonicity Formula We first recall the monotonicity formula of mean curvature flow in a closed Riemannian manifold by Hamilton [H2]. We say a function k is a backward solution to the heat equation on a Riemannian manifold if it solves the equation N ∂ k = ∆k. t − Theorem 3.1 ([H2], Theorem B). Let Mt be a m-dimensional mean curvature flow in a n-dimensional closed Riemannian manifold , defined on 0 t < T . If k is any positive backward solution to the scalar heat equationN on with k≤= 1, then the quantity N N R (m−n)/2 Z(t)=(T t) kdµt − ZMt 6 AO SUN

is monotone decreasing in t when is Ricci parallel with non-negative sectional curvatures. On a general we have N N Z(t) CZ(s)+ C(t s)A ≤ − 0 whenever T 1 s t T , where A0 is the initial area at time 0 and C is a constant depending only− on≤ the≤ geometry≤ of . N Remark 3.2. The curvature condition is used in the computation of the monotonicity formula. Actually we have 2 d (m−n)/2 Dk (m−n)/2 (3.1) Z(t)= (T t) H~ kdµt (T t) Qdµt, dt − − Z − k − − Z Mt Mt

where Q is the Harnack form

D kD k 1 (3.2) Q = gαβ D D l α β + kg . α β − k (T t) αβ − Here we use indices α, β, for local coordinates on Mt to write Q as Hamilton did in [H2]. Hamilton proved that Q··· 0 if has non-negative sectional curvatures and parallel Ricci curvatures, see [H1]. The≥ generalN case follows from a weak version of the Harnack inequality. Then by adapting Hamilton’s monotonicity formula, we obtain the following monotonicity of F -functional and entropy. Theorem 3.3. Suppose has non-negative sectional curvatures and parallel Ricci curvatures. Let M be a meanN curvature ﬂow in . Then for any x , t t , we have t N ∈N 1 ≤ 2 (3.3) F (M ) F (M ) x,s t2 ≤ x,s+(t2−t1) t1 if the terms in the inequality are well-deﬁned. Taking supremum among x and s R+ gives the monotonicity of entropy ∈N ∈

(3.4) λ(M ) λ(M ). t2 ≤ t1 Note that if the ambient Riemannian manifold is Rn, then the above monotonicity formula is just the famous monotonicity formula by Huisken, see [Hu] and [CM1]. We also have the following monotonicity formula in a general closed Riemannian manifold.

Theorem 3.4. Let be a closed Riemannian manifold, and let Mt be a mean curvature ﬂow in . Then forN any x , t 1 t t , we have N ∈N 2 − ≤ 1 ≤ 2 (3.5) F (M ) CF (M )+ C(t t )A , x,s t2 ≤ x,s+(t2−t1) t1 2 − 1 0 if the terms in the inequality are well-deﬁned. Taking supremum among x and s R+ gives ∈N ∈ (3.6) λ(M ) Cλ(M )+ C(t t )A . t2 ≤ t1 2 − 1 0 ENTROPY AND PARTIAL REGULARITY 7

So far we obtain some nice monotonicity formula for the entropy. However, if the entropy of a closed embedded submanifold is inﬁnite, then the monotonicity is meaningless. We will prove in the next section that the entropy of a closed embedded submanifold in a closed Ricci non-negative Riemannian manifold is always ﬁnite. See Proposition 4.7.

4. Area Growth The goal of this section is to prove Theorem 1.6, which says that the entropy can bound the area growth of a submanifold. In particular, together with monotonicity of entropy, we obtain a uniform area growth bound for mean curvature ﬂow. Throughout this section, the constant C varies line to line, but only depends on the geometry of . We use the notation that B (x) is a geodesic ball in N r N Deﬁnition 4.1. The area growth bound κ of a m-dimensional submanifold Σ is

Area(Σ Br(x)) κ(Σ) = sup ∩m x∈N ,r>0 r Before we prove Theorem 1.6, let us recall the lower bound of the heat kernel on a Rie- mannian manifold with non-negative Ricci curvature. We use Vx(r) to denote the volume of the geodesic ball B (x), and we use r to denote the distance function on . r d N Theorem 4.2 ([LY], Section 3 & Section 4). Let be a closed Riemannian manifold with non-negative Ricci curvature. The heat kernel onN satisﬁes the following inequalities H N 2 1 1 rd(x,y) − 2 − 2 − (4.1) (x, y, t) CVx (√t)Vy (√t)e 3t , H ≥ and for any ǫ (0, 1), ∈ 2 1 1 rd(x,y) − 2 − 2 − (4.2) (x, y, t) C(ǫ)Vx (√t)Vy (√t)e (4+ǫ)t . H ≤ Proof of Theorem 1.6. On one hand, given x , r > 0, we have ∈N r2(x,y) 2 − d H(x,y,r ) e 3r2 2 Fx,r (Σ) = m−n dµ(y) C1 1/2 1/2 m−n dµ(y) ZΣ r ≥ ZΣ Vx(r) Vy(r) r r2(x,y) − d e 3r2 C n m−n dµ(y) (4.3) ≥ ZΣ r r e−1/3 C m dµ(y) ≥ ZΣ∩Br(x) r Area(Σ B (x)) C ∩ r . ≥ rm In the ﬁrst inequality, we use the lower bound of the heat kernel; in the second inequality, we use Bishop-Gromov volume comparison inequality for a Riemannian manifold with non- negative Ricci curvature (See [P, Section 7]); in the third inequality, we restricted the integral 8 AO SUN

on Σ Br(x) and rd r on this domain. By taking supremum of x and r > 0 we get that the∩ area growth≤ is bounded from above by entropy. ∈N Next we show that the entropy is bounded from above by the area growth. Given x , r > 0. Let r be the injective radius of , D be the diameter of , and nK > ∈N0 be in N N a Ricci curvature upper bound of . Then by [Cr, Proposition 14], for any s rin/2, n N ≤ Vol(Bs(y)) Cs for some dimensional constant C. Therefore, we have the heat kernel upper bound≥ by taking ǫ =1/2 (note 4+1/2 5): ≤ r2(x,y) − d −n r2 2 Cr e 5 , r

Case 2. If r

In the ﬁrst inequality we use the upper bound of the heat kernel and note r

A standard argument shows that 1 (⋆) r2(x, y) (r (x, x ) r (y, x ))2 r2(x, x )+ r2(y, x ). − d ≤ − d j − d j ≤ −2 d j d j Then we can estimate r2(x,y) − d 2 r2 r (x,x ) e 5 −m − d j 10r2 m dµ(y) Cr e dµ(y) Z r ≤ Z k Σ∩Ak Xj Σ∩Bj

r2(x,x ) (4.7) − d j Cκ(Σ) e 10r2 ≤ Xj 2 Cκ(Σ)kn−1e−Ck . ≤ In the ﬁrst inequality, we use (⋆); in the third inequality we use the bound on the number of balls covering Ak, and note that rd(x, xi) k(r 1), and we use (⋆) again. Thus, we have ≥ − ∞ n−1 −Ck2 F 2 (Σ) Cκ(Σ) k e Cκ(Σ) x,r ≤ ≤ Xk=0 when r 0 gives in ∈N λ(Σ) Cκ(Σ). ≤

Together with the monotonicity formula, Theorem 1.6 gives the following area growth bound of mean curvature flows. Corollary 4.3. Suppose is a closed Riemannian manifold with non-negative sectional N curvatures and parallel Ricci curvatures. Let Mt t∈[0,T ) be a m-dimensional mean curvature flow in . Then there is a constant C only depending{ } on the initial entropy such that N (4.8) κ(M ) C t ≤ for any t [0, T ). ∈ Proof. By Theorem 3.3 and Theorem 1.6. For a general closed Riemannian manifold, we can still get an area growth bound, but it depends on the time interval on which the mean curvature flow exists.

Corollary 4.4. Suppose is a closed Riemannian manifold. Let Mt t∈[0,T ) be a m- dimensional mean curvatureN ﬂow in . Then there is a constant C only{ depending} on the initial entropy and T such that N (4.9) κ(M ) C t ≤ for any t [0, T ). ∈ 10 AO SUN

Remark 4.5. In order to apply the monotonicity formula of entropy to get the area growth bound, we require the ambient Riemannian manifold having non-negative sectional curvatures, hence we have proved Theorem 1.6 only for closed Riemannian manifolds with non-negative Ricci curvature. Nevertheless, Theorem 1.6 should hold true for much larger class of Riemannian manifolds. In fact, we only use the heat kernel bound (Theorem 4.2) to get the area growth bound. There are much research on the estimate of heat kernel bound, and some of them may be used to improve Theorem 4.2. This is out of the scope of this paper, and we only refer the readers to some nice surveys on this topic, see [G], [S]. Remark 4.6. It is hard to imagine that Corollary 4.3 can only hold for Riemannian manifolds with such a curvature constraint. We conjecture that Corollary 4.3 is true without any curvature assumption. Let us conclude this section by showing that the entropy of a closed embedded submanifold in a closed Riemannian manifold with non-negative Ricci curvature is finite. N Proposition 4.7. Suppose is a closed Riemannian manifold with non-negative Ricci curvature. Let Σ be a closedN embedded submanifold in . Then λ(Σ) < . N ∞ Proof. By Theorem 1.6, we only need to show the area growth of Σ is finite. Since Σ is compact, it has bounded mean curvature. Moreover, if is isometrically embedded into RN , the mean curvature of Σ in RN is also bounded. ThenN a monotonicity of the area growth and a comparison of intrinsic and extrinsic balls gives the finiteness of the area growth bound of Σ (see [Si, Section 17]).

5. Partial Regularity Throughout this section, we will concentrate on the case that the submanifolds are closed embedded surfaces in a closed three Riemannian manifold . We follow the idea of Ilmanen in [I]. Let us ﬁrst state an approximate graphical decompositionN Lemma by Simon in [Si2]. Theorem 5.1 ([Si2], Lemma 2.1; also see [I], Theorem 10). For n 3, D > 0, there exists ≥ ǫ1 = ǫ1(n, D) > 0 such that if ǫ < ǫ1 and if M is a smoothly embedded closed 2-dimensional manifold in Rn such that

2 2 2 (5.1) A dµ ǫ , Area(M BR) DπR , ZM∩BR | | ≤ ∩ ≤ then there are pairwise disjoint closed disks P , ,P in M B such that 1 ··· N ∩ R (5.2) diam(P ) C(n, D)ǫ1/2R, j ≤ Xj and for any S [R/4,R/2] such that M is transverse to ∂BS and ∂BS ( mPm) = , we have ∈ ∩ ∪ ∅ M B = m D ∩ S ∪l=1 l ENTROPY AND PARTIAL REGULARITY 11

where each D is an embedded disk. Furthermore, for each D there is a 2-plane L Rn, l l l ⊂ a simply connected domain Ωl Ll, disjoint closed balls Bl,p Ωl, p = 1, ,pl and a function ⊂ ⊂ ··· u : Ω B L⊥ l l\ ∪ l,p → l such that ul 1/2(2n−3) (5.3) sup + Dul C(n, D)ǫ R | | ≤

and (5.4) D P = Graph(u ). l\ ∪m m l|Ωl\∪pBl,p

Intuitively, this theorem illustrates the following picture: imagine we have a surface in Rn, intersecting a ball BR, with small total curvature and area growth bound. Then in a slightly smaller ball BS, it is the union of embedded disks Di. Moreover, besides some bad regions 1,α Pj (which are called “pimples” by Simon), Di’s are very nice C graphs. In addition, the bad regions are still topological disks, and their diameters are bounded. Theorem 5.1 is stated for surfaces in a Euclidean space rather than a closed Riemannian manifold. In order to use this theorem, we first isometrically embed into an Euclidean RN N N space . From now on we will fix such an isometric embedding, and we will use Br (x) to denote the ball with radius r in RN . The following lemma allows us to compare the area growth bound of a surface in with the area growth bound in RN . N Lemma 5.2. There exists τ > 0 such that for any x and r < τ,(BN (x) ) B (x). ∈N r ∩N ⊂ 2r Proof. Since is compact, its second fundamental forms are uniformly bounded in RN . Then there existsN τ > 0 and α > 0, C > 0 such that at each point x , is a smooth N 1∈,α N N graph over its tangent space Tx R in a ball of radius τ, and the C norm of the graph is bounded by C. Then by suitablyN ⊂ choose smaller τ, we will see that such a τ satisfies the statement in the lemma. Using Lemma 5.2, we obtain an area bound of the disks in Simon’s Theorem 5.1. Corollary 5.3 ([I], Corollary 11). Let M RN be a closed embedded surface. Assume the area growth κ(M) D for a constant⊂D N.⊂ Then under the hypotheses in Theorem 5.1, ≤ ′ for any x M BR such that B2r(x) BR, the connected component M of M of M Br(x) containing∈x is∩ embedded and satisfies⊂ ∩ πr2(1 Cǫ1/(2n−3)) Area(M) πr2(1 + Cǫ1/2(2n−3)). − ≤ ≤ Here C is a constant only depending on N and D. Proof. The lower bound comes from (5.3) and (5.4), and ′ Area(M ) Area(Graph(u ′ )). ≥ l|Ω 12 AO SUN

The upper bound comes from (5.3) and (5.4) again, and

′ Area(M ) Area(Graph(u ′ )) + Area(P ). ≤ l|Ω m Xm RN Moreover, (5.2) implies that m diam(Pm) has an upper bound as diameters in , and Lemma 5.2 implies that Pdiam(Pm) has an upper bound as diameters in . Then m N the above equations togetherP with the area growth bound give the desired upper bound of Area(M ′). Next we recall Allard’s regularity theorem.

Theorem 5.4 ([A], Section 8; also see [I], Theorem 9). There exists ǫ2 = ǫ2(n, k) and δ = δ(n, k) with the following signiﬁcance. Suppose µ is an integer k-rectiﬁable Radon measure such that H L1 (µ). If ǫ < ǫ , 0 spt and r> 0 such that | | ∈ loc 2 ∈ ǫ H , for µ-a.e. x B , | | ≤ r ∈ r and µ(B ) (1 + ǫ)ω rk, r ≤ k then there is a k-plane T containing 0 and a domain Ω T , and a C1,α vector valued function u : Ω T ⊥ such that ⊂ → spt µ B = Graph u B , ∩ δr ∩ δr and u α 1/4n sup + sup Du + r [Du]α Cǫ . r | | ≤ |Du(x)−Du(y)| Here [Du]α = sup |x−y|α . The following theorem is due to Ilmanen [I, Section 4]. The similar idea has been used by Choi-Schoen in [CS] to obtain the partial regularity of the limit of a sequence of minimal surfaces in a three manifold, cf. [W], [CM2]. However, in [CS], [W] and [CM2], all the surfaces in the sequence satisfy an equation, hence they all have nice locally graphical bounds. In Ilmanen’s theorem, there is no such a graphical bound, so one needs [Si2] to obtain a layer decomposition and an almost graphical bound on the limit. We sketch the proof for the sake of convenience of the readers.

Theorem 5.5. Let be a closed Riemannian manifold. Suppose Mi is a family of closed smoothly embeddedN surfaces with uniformly bounded genus, and⊂ there N is a constant D such that 2 κ(Σ) D, H dµMi 0. ≤ ZMi | | →

Then there exists a subsequence (still denoted by Mi) converging to a varifold V in the sense of varifold, and spt V is a smoothly embedded minimal surface. ENTROPY AND PARTIAL REGULARITY 13

Proof. Let us fix an isometric embedding of into a Euclidean space RN , and we will use AN and HN to denote the mean curvature andN the second fundamental forms of a surface N in R respectively. Since the genus of Mi’s are uniformly bounded, Gauss-Bonnet theorem 2 shows that A dµM is uniformly bounded by a constant C. Gauss-Codazzi identity Mi | | i shows that R AN 2dµ is also uniformly bounded by a constant C. Mi Mi | N| 2 2 2 Define σjR = A H Mi, which is a Radon measure. Here H is the 2-dimensional Hausdorff measure| in| RN⌊. Then σ has uniformly bound σ (RN ) C, and a subsequence j j ≤ of σj (still denoted by σj) converges to a limit σ by the compactness of Radon measure. N Moreover σ(R ) C. Define ǫ0 = min ǫ1, ǫ2 in Theorem 5.1 and Theorem 5.4. Then we define the concentration≤ set { } N = x R : σ(x) > ǫ0 . N S { ∈ } Since σ(R ) C, is a finite set. For any p , there exists ǫ < ǫ0 and r sufficiently small so that ≤ S 6∈ S 2 (5.5) σ(Br(p)) < ǫ . Then for k sufficiently large, σ (B (p)) < ǫ2. Then by Theorem 5.1, there are r [r/4,r/2] j r k ∈ and a decomposition of Mk Brk (p) into the union of disks Dk,l. Each Dk,l is an embedded disk, and by Corollary 5.3 it∩ satisfies the area growth bound Area(D B (x)) (1 + C(n, D)ǫγ)ρ2, x D , x p + ρ r . k,l ∩ ρ ≤ ∈ k,l | − | ≤ k Then passing to a further subsequence (still denoted by the subscription k) we may assume that the limit of the number of the disks are bounded by l , and H2 D converging to a 0 ⌊ k,l limit νl as varifolds for l = 1, ,l0 by the compactness of varifolds. Moreover, by the mean curvature bounds of M , ···ν weakly solves the minimal surface equation in . Then k l N νl satisfies the assumptions in Allard’s regularity Theorem 5.4, and we can apply Allard’s regularity Theorem to show that ν B (p) is a graph of C1,α function u defined over l ∩ σr∞ a domain in a 2-plane. Furthermore, since νl weakly solves the minimal surface equation, Schauder estimates shows that u is actually smooth. In conclusion, we have proved that the limit varifold V of Mk (after passing to a subse-

quence) is supported on a union of smoothly closed embedded disks in Bσr∞ (p). Then the maximum principle of minimal surfaces shows that V is supported on a closed embedded minimal surface Σ, besides . Then a removable of isolated singularities theorem by Gulliver [Gu] (also see [CS, PropositionS 1]) shows that V is supported on a closed embedded minimal surface Σ in . N 6. Applications to Mean Curvature Flow In this section, we apply the partial regularity theorem in the previous section to mean curvature flow. Recall that a mean curvature flow is ancient if it is defined for t ( , 0), and a mean curvature flow is long-time if it is defined for t [0, ). The simplest∈ examples−∞ of ancient and long-time mean curvature flows are minimal∈ submanifo∞ lds, which are static solutions to mean curvature flow. 14 AO SUN

Ancient mean curvature flow and long-time mean curvature flow always has a weak limit as t or t respectively. → −∞ →∞ Theorem 6.1. Suppose Mt is an ancient mean curvature flow in a closed Riemannian manifold . If lim Area(M ) < , then there exists a sequence t and a N t→−∞ t ∞ i → −∞ stationary varifold V , such that Mti V in the sense of varifolds. Suppose M is a long-time mean curvature→ flow in a closed Riemannian manifold . Then t N there exists a sequence ti and a stationary varifold V , such that Mti V in the sense of varifolds. →∞ →

Proof. By the first variational formula formula, the derivative of the area of Mt satisfies the following identity 2 ∂t Area(Mt)= H dµMt . − ZMt | | This identity together with lim Area(M ) < implies that Area(M ) < . Hence we t→−∞ t ∞ t ∞ could pick a sequence of ti, converging to if Mt is long-time or ancient respectively, such that H 2dµ 0. Then the compactness±∞ of varifolds implies that M has a varifold M Mti ti ti | | → limitRV , which is stationary according to the mean curvature bound. In general the regularity of the limit V is not known. Now we can apply the partial regularity Theorem 5.5 to obtain a partial regularity of the limit of mean curvature flow of surfaces in special 3-dimensional Riemannian manifolds, which is our Theorem 1.2.

Proof of Theorem 1.2. Suppose λ(M0)= λ0. Proposition 4.7 implies that λ0 is ﬁnite. Mono- tonicity formula of entropy implies that λ(M ) λ , hence Theorem 1.6 implies that the t ≤ 0 area growth of Mt is uniformly bounded (cf. Corollary 4.3). Monotonicity of area of Mt implies that we could a sequence of t such that H 2dµ 0. Then Theorem 5.5 i M Mti ti | | → implies that there is a subsequence of ti (still denotedR by ti) such that Mti converges to a varifold V in the sense of varifolds, and spt V is a smoothly embedded minimal surface. Almost exactly the same proof shows Theorem 1.4. We omit the proof here.

7. Some Questions Let us conclude this paper by asking some questions. Question 7.1. Can we obtain an area growth bound for long-time mean curvature flows in a closed Riemannian manifold without the curvature assumptions? If this is true, then we can still obtain the partial regularity of the long-time limit of mean curvature flow of surfaces. The rescaled mean curvature flow (see [Hu], [CIMW, Section 2]) is the gradient flow of Gaussian area in Rn, which has finite area growth bound as t . The Gaussian measured space is far from the assumptions in Theorem 3.1. Although the→∞ rescaled mean curvature flow is not a mean curvature flow, it shares some similarities to mean curvature flow. Therefore ENTROPY AND PARTIAL REGULARITY 15

we conjecture that there might be some weaker assumptions to ensure that a mean curvature flow has long-time area growth bound. Otherwise, there exists a closed Riemannian manifold such that the long-time mean curvature flow would become “complicated” as time goes to infinity.

Question 7.2. Does the equivalence of the entropy and area growth still hold in other ambient Riemannian manifolds? It would also be interesting to know that whether the results in Section 4 are still valid for more general Riemannian manifolds. It seems plausible because there are many studies on heat kernel and there might be some useful properties of heat kernel which are out of our scope.

Question 7.3. What is the multiplicity of the convergence of Mti to V in Theorem 1.2 and Theorem 1.4? If the convergence has multiplicity 1, Brakke’s regularity theorem implies that the convergence of Mti to V is actually smooth. Moreover, with the multiplicity 1 assumtion, the tangent flows of mean curvature flow are unique in many cases, see [Sch], [CM3] and [CSch]. We guess that the uniqueness of the limit of a long-time mean curvature flow may be true as well. This conjecture is inspired by the famous multiplicity 1 conjecture by Ilmanen in [I]. In the rescaled mean curvature flow case, Ilmanen conjecture that the multiplicity 1 of the tangent flow is always 1. This conjecture is still open.

References [A] Allard, William K. On the first variation of a varifold. Ann. of Math. (2) 95 (1972), 417491. [B] Bernstein, Jacob. Colding Minicozzi Entropy in Hyperbolic Space Preprint. arXiv:2007.10218, 2020. [CSch] Chodosh O, Schulze F. Uniqueness of asymptotically conical tangent flows. arXiv preprint arXiv:1901.06369, 2019. [CS] Choi, Hyeong In; Schoen, Richard. The space of minimal embeddings of a surface into a three- dimensional manifold of positive Ricci curvature. Invent. Math. 81 (1985), no. 3, 387394. [CY] Cheeger, Jeff; Yau, Shing Tung. A lower bound for the heat kernel. Comm. Pure Appl. Math. 34 (1981), no. 4, 465480. [CIMW] Colding, Tobias Holck; Ilmanen, Tom; Minicozzi, William P., II; White, Brian. The round sphere minimizes entropy among closed self-shrinkers. J. Differential Geom. 95 (2013), no. 1, 5369. [CM1] Colding, Tobias H.; Minicozzi, William P., II. Generic mean curvature flow I; generic singularities. Annals of mathematics (2012): 755-833. [CM2] Colding, Tobias H.; Minicozzi, William P., II. Smooth compactness of self-shrinkers. Comment. Math. Helv. 87 (2012), no. 2, 463475. [CM3] Colding, Tobias Holck; Minicozzi, William P., II. Uniqueness of blowups and ojasiewicz inequalities. Ann. of Math. (2) 182 (2015), no. 1, 221285. [Cr] Croke, Christopher B. Some isoperimetric inequalities and eigenvalue estimates. Ann. Sci. cole Norm. Sup. (4) 13 (1980), no. 4, 419435. 16 AO SUN

[Gr] Grayson, Matthew A. Shortening embedded curves. Ann. of Math. (2) 129 (1989), no. 1, 71111. [G] Grigor’yan, Alexander. Heat kernel and analysis on manifolds. AMS/IP Studies in Advanced Mathe- matics, 47. American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009. xviii+482 pp. ISBN: 978-0-8218-4935-4 [Gu] Gulliver, Robert. Removability of singular points on surfaces of bounded mean curvature. J. Differ- ential Geometry 11 (1976), no. 3, 345350. [H0] Hamilton, Richard S. Four-manifolds with positive curvature operator. J. Differ. Geom. 24, 153179 (1986) [H1] Hamilton, Richard S. A matrix Harnack estimate for the heat equation. Comm. Anal. Geom. 1 (1993), no. 1, 113126. [H2] Hamilton, Richard S. Monotonicity formulas for parabolic flows on manifolds. Comm. Anal. Geom. 1 (1993), no. 1, 127137. [Hu] Huisken, Gerhard. Asymptotic behavior for singularities of the mean curvature flow. J. Differential Geom. 31 (1990), no. 1, 285299. [I] Ilmanen, Tom. Singularities of Mean Curvature Flow of Surfaces. Preprint. (1995). [LY] Li, Peter; Yau, Shing-Tung. On the parabolic kernel of the Schrdinger operator. Acta Math. 156 (1986), no. 3-4, 153201. [M] Mramor, Alexander. Entropy and generic mean curvature flow in curved ambient spaces. Proc. Amer. Math. Soc. 146 (2018), no. 6, 26632677. [Ni] Ni, Lei. The entropy formula for linear heat equation. J. Geom. Anal. 14 (2004), no. 1, 87100. [Pe] Perelman, Grisha. The entropy formula for the Ricci flow and its geometric applications. arXiv preprint math/0211159 (2002). [P] Petersen, Peter. Riemannian geometry. Second edition. Graduate Texts in Mathematics, 171. Springer, New York, 2006. xvi+401 pp. ISBN: 978-0387-29246-5; 0-387-29246-2 [S] Saloff-Coste, Laurent. The heat kernel and its estimates. Probabilistic approach to geometry, 405436, Adv. Stud. Pure Math., 57, Math. Soc. Japan, Tokyo, 2010. [SY] Schoen, R.; Yau, S.-T. Lectures on differential geometry. Lecture notes prepared by Wei Yue Ding, Kung Ching Chang [Gong Qing Zhang], Jia Qing Zhong and Yi Chao Xu. Translated from the Chinese by Ding and S. Y. Cheng. With a preface translated from the Chinese by Kaising Tso. Conference Proceedings and Lecture Notes in Geometry and Topology, I. International Press, Cambridge, MA, 1994. v+235 pp. [Sch] Schulze, Felix. Uniqueness of compact tangent flows in mean curvature flow. J. Reine Angew. Math. 690 (2014), 163172. [Si] Simon, Leon. Lectures on geometric measure theory. Proceedings of the Centre for Mathematical Analysis, Australian National University, 3. Australian National University, Centre for Mathematical Analysis, Canberra, 1983. vii+272 pp. ISBN: 0-86784-429-9 [Si2] Simon, Leon. Existence of surfaces minimizing the Willmore functional. Comm. Anal. Geom. 1 (1993), no. 2, 281326. [W] White, B. Curvature estimates and compactness theorems in 3-manifolds for surfaces that are stationary for parametric elliptic functionals. Invent. Math. 88 (1987), no. 2, 243256. [W2] White, Brian A local regularity theorem for mean curvature flow. Ann. of Math. (2) 161 (2005), no. 3, 14871519. [Z] Zhu, Jonathan J. Geometric Variational Problems for Mean Curvature. Ph.D. thesis, Harvard Uni- versity, 2018.

Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, USA E-mail address: [email protected]