arXiv:2104.10300v3 [math.DG] 31 Aug 2021 osdracoe ic o ihsm nerlbud.Hr,w sta we following. Here, the is bounds. integral one p some First this with co results. In flow and main Ricci ones. 2008] closed [Wang point-wise a Wang c that consider by the rather adopted extend bounds was integral to approach considering sufficies different tensor A curvature flow. Riemannian full the than Seˇsum [ fteflw fadol ftemxmmo h norm the of maximum the if only and if flow) the of n[aitn19] aitnpoe htaRciflwo lsdmanifold closed a me on initial flow the time Ricci finite to a a t respect w at that with is singularity proof proved flow a question his Hamilton develops Ricci and immediate 1995], the time next [Hamilton for short The In a time for existence 1983]. uniquely [DeTurck maximal an DeTurck exist for by will that proved flow simplified first the 1982] metric, [Hamilton met initial canonical Hamilton some to metric. metric Einstein Riemannian as any deform will flow Ricci the fteReana uvtr esrR Rm = Rm tensor curvature Riemannian the of hr Ric where ntetm nevl[0 interval time the on rics Introduction 1 aiod ie a Given manifold. ˇ nti ae,w ilcnie xeso rbe o h ic o on flow Ricci the for problem extension consider will we paper, this In ∗ upre ndcoa rga nCu nvriy Japan. University, Chuo in program doctoral in supported g ( ieitra [0 interval time ons oevr eso htsc oscnb xeddover extended be can flows flow. such inte Ricci that asser of orbifold show same conditions an we another the Moreover, satisfying dimensions, flow converge higher bounds. Ricci flow in closed that such orbifol a show for many four, also finitely dimension We for in except ities. that manifold prove Riemannian We smooth finite. are t on ) es m20]poe htide on nteRcicrauer curvature Ricci the on bound a indeed that proved Seˇsum 2005] ˇ nti ae,w td h ic o nacoe aiodadfi and manifold closed a on flow Ricci the study we paper, this In ic o ihbuddcraueintegrals curvature bounded with flow Ricci g ( M t ) ( = scle ic o itoue yHmlo n[aitn1982]) [Hamilton in Hamilton by (introduced flow Ricci a called is R ij n T , -manifold eoe h ic uvtr esrof tensor curvature Ricci the denotes ) ∂g ( ) T , ∂t ( t < T ) ) ⊂ = R ∞ ht Hamanaka Shota − M nwihcranitga uvtr energies curvature integral certain which on ) Ric 2 fi satisfies it if ( n Abstract g ≥ ( t ) T 2) 1 , , (i.e., o all for aiyo mohReana met- Riemannian smooth of family a T t g stemxmleitnetime existence maximal the is ∗ ( ∈ t ) [0 ( = T , | Rm ) R , | ijkl g = ( rlcurvature gral t ) lw pat up blows ) . singular- d R n oe that hopes One in hold tions ijkl pr ealso we aper, oa to s oe Ricci losed eortwo our te T · smooth y nite R sssof nsists i,such ric, by closed a ijkl ather tric. 1 he T. as / 2 4 Main Theorem 1 (cf. [Bamler and Zhang 2017, Corollary 1.11]). Let (M ,g(t))t [0,T ) (T < ) be a 4-dimensional closed (i.e., M is smooth compact and connected mani- ∈ ∞fold without boundary) Ricci flow satisfying
( ) sup Rg(t) L1([0,T )) C < + ∗ M | | ≤ ∞
for some positive constant C, where Rg(t) denotes the scalar curvature of g(t). Then there exists a positive constsnat ε = ε(M,g(0),T ) such that the following holds : ( ) For fixed p > 2, assume that there exists r> 0 such that ∗ p0,ε 0
sup Rg(t) Lp0 (B(x,r,t)) ε t [0,T ) || || ≤ ∈ for all x M, where B(x, r, t) denotes the geodesic open ball centered at x of radius r ∈with respect to g(t). Then (M,g(t)) converges to an orbifold in the smooth Cheeger-Gromov sense. More specifically, we can find a decomposition M = M reg M sing with the following properties: (1) M reg is open and connected in M, sing S (2) M is a zero set with respect to the Riemannian volume measure dvolg(t) for all t [0,T ), ∈ reg (3) g(t) smoothly converges to a Riemannian metric gT on M as t T. reg reg → (4) (M ,gT ) can be compactified to a metric space (M¯ , d¯) by adding finitely many points and the differentiable structure on M reg can be extended to a smooth orbifold structure on M¯ reg such that the orbifold singularities are of cone type, reg (5) Around every orbifold singularity of (M¯ , d¯) the metric gT satisfies
m 2 m m 1 m 2 Rm < o(ρ− − ) and Ric < O(ρ− − − p0 ) as ρ 0, |∇ | |∇ | → where ρ denotes the distance to the singularity. Furtheremore, for every ε > 0 reg we can find a smooth orbifold metric g¯ε on M¯ such that the following holds:
g g¯ 0 reg + g g¯ 2,2 reg < ε. || T − ε||C (M ,g¯ε) || T − ε||W (M ,g¯ε) 0 2,2 Here, the C and W -norms are taken with respect to g¯ε. Remark 1.1. (1) In Main Theorem 1, the metric space as limit of the flow is a singular space in the sense of [Bamler 2020c, Definition 1.16] (it follows that the space is also length space by the same argument in [Simon 2015a, Proof of Theorem 6.7]. See also [Burago et al. 2001, Theorem 2.4.16]). (2) Bamler and Zhang [Bamler and Zhang 2017] proved that the similar result in Main Theorem 1 under the uniformly bounded scalar curvature assumption (see [Bamler and Zhang 2017, Corollary 1.11] for more detail). Later, Bamler [Bamler 2018] generalized this result to higher dimensions. The assumption (b) in Main Theorem 1 admits the possibility that the scalar curvature blows up α at most (T t)− (0 <α< 1)-rate. So the assumption (b) may be weaker than one in− [Bamler and Zhang 2017]. Note also that, as far as we know, there are no examples that satisfy the assumptions and have some singularities as
2 in Main Theorem 1, [Bamler and Zhang 2017, Corollary 1.11] or [Bamler 2018, Theorem 1.1]. On the other hand, at least in dimension 4 n 7, it has been conjectured that a bound on the scalar curvature could potentia≤ ≤lly be sufficient to extend the flow (see [Buzano and Di Matteo 2020]). Second one is the following.
n Main Theorem 2 (cf. [Ye 2008, Theorem A]). Let (M ,g(t))t [0,T ) (T < ) be a n-dimensional (n 5) closed Ricci flow satisfying ( ) in∈ Main Theorem∞ 1. Then there exists a≥ positive constsnat ε = ε(M,g(0)∗,n,T ) such that the following holds : Suppose that
sup Rmg(t) Ln/2(M) < + t [0,T ) || || ∞ ∈ and ( )p0,ε for some p0 > n/2 in Main Theorem 1 holds. Then the assertions (1)-(5)∗ as in Main Theorem 1 hold. Remark 1.2. In [Ye 2008, Theorem A], Ye proved an extension theorem under a smallness assumption on the (n/2, + )-mixed norm. But we know nothing ∞ about the relationship between the constant δ0 in [Ye 2008, Theorem A] and the constant ε in Main Theorem 2. See also related work by Chen and Wang [Chen and Wang 2012]. In the rest of this section, we shall explain backgrounds. As stated above, Wang [Wang 2008] considered integral bounds rather that point-wise ones. First one consists of integral bound of the Riemannian curvature tensor:
n Theorem 1.1 ([Wang 2008, Theorem 1.1]). Let (M ,g(t))t [0,T ) (T < + ) be a closed Ricci flow. If ∈ ∞ n +2 Rm( ,t) Lα(M [0,T )) < + , α , || · || × ∞ ≥ 2 then this flow can be extended smoothly over T. Second one consists of the integral bound of sclar curvature and uniformly Ricci curvature bound from below:
n Theorem 1.2 ([Wang 2008, Theorem 1.2]). Let (M ,g(t))t [0,T ) (T < + ) be a closed Ricci flow. If ∈ ∞
(1) Ric(x, t) A g(x, t), for all (x, t) M [0,T ), for some A R, ≥− · ∈ × ∈ n +2 (2) R( ,t) Lα(M [0,T )) < + , α , || · || × ∞ ≥ 2 then this flow can be extended smoothly over T. Remark 1.3. In Theorem 1.1, 1.2, let α = + , one can recover Hamilton’s [Hamilton 1995] and Seˇsum’sˇ [Seˇsumˇ 2005] results.∞ Recently, Di Matteo [Di Matteo 2020] generalized these results using mixed integral norms.
3 n Theorem 1.3 ([Di Matteo 2020, Theorem 1.2]). Let (M ,g(t))t [0,T ) (T < + ) be a smooth Ricci flow such that (M,g(t)) is complete and has∈ bounded curvature∞ for every t in [0,T ). Assume that the initial slice (M,g(0)) satisfies inj(M,g(0)) > 0. Assume also that
Rm( ,t) α < + || · ||L (M) Lβ ([0,T )) ∞ for some pair (α, β) (1 , + ) R with ∈ ∞ ⊂ n β α . ≥ 2 β 1 − Then this flow can be extended smoothly over T. n Theorem 1.4 ([Di Matteo 2020, Theorem 1.3]). Let (M ,g(t))t [0,T ) (T < + ) be a smooth Ricci flow such that (M,g(t)) is complete and has∈ bounded curvature∞ for every t in [0,T ). Assume that the initial slice (M,g(0)) satisfies inj(M,g(0)) > 0. Assume also that the following conditions hold: (1) Ric(x, t) A g(x, t) for all (x, t) M [0,T ), ≥− · ∈ × (2) R( ,t) α < + || · ||L (M) Lβ([0,T )) ∞ for some A R and pair ( α, β) (1, + ) R with ∈ ∈ ∞ ⊂ n β α . ≥ 2 β 1 − Then this flow can be extended smoothly over T. In the present paper, we will consider a closed n-dimensional Ricci flow under the conditions correspoinding to (α, β) =“(+ , 1)” and “(n/2, + )” in the above Theorem 1.3 or 1.4. These conditions∞ are listed as follows∞ : Let n (M ,g(t))t [0,T ) (T < + ) be a closed n-dimensional Ricci flow satisfying the following (A∈) (B) or (a)-(c):∞ − n/2 (A) sup Rm g(t) Ln/2(M) A1, t [0,T ) | | ≤ ∈
(B) sup Rm g(t) L1([0,T )) A2 M | | ≤ for some positive constants A 1, A2, or n/2 (a) sup Rg(t) Ln/2(M) C1 t [0,T ) || || ≤ ∈ for some positive constant C1,
(b) sup Rg(t) L1([0,T )) C2 M | | ≤ for some positive constant C 2 , and (c) Ric(g(t)) C g(t) ≥− 3 · for some constant C3.
4 Remark 1.4. (1) Under the assumption (c), the condition (b) implies the fol- lowing condition (b′):
(b′) sup Ricg(t) L1([0,T )) C4 := n(C2 + (n 1)C3). M | | ≤ −
(2) As in [Wang 2008, Example], under the condition (a) only, we can not expect that such flow can be extended smoothly over T. The same example also shows that we can not expect that Ricci flow satisfying (a) and
log(sup Rg(t) ) L1([0,T )) < + M | | ∞ can be extended smoothly over T. As mentioned above, T < + is the maximal exsitence time if and only if ∞
lim sup Rmt t =+ . t T | | ∞ → Moreover, this condition is equivalent to 1 sup Rm t [0,T ) | t|t ≥ 8(T t) ∀ ∈ M − from the evolution of Rm 2 under the Ricci flow and Hamilton’s long-existence theorem (see [Chow and| Knopf| 2008, Corollary 7.7]). This condition implies that
sup Rm g(t) L1([0,T )) =+ . M | | ∞ n Therefore, if (M ,g(t))t [0,T ) (T < + ) satisfies (B), then the flow can be smoothly extended over ∈T. Hence we will∞ consider the following weaker condi- tions (A), (B′): n/2 (A) sup Rm g(t) Ln/2(M) A1, t [0,T ) | | ≤ ∈
(B′) sup Ric g(t) L1([0,T )) A2. M | | ≤
However, under the assumption (B′) (or equivalently (b′)), the flow can be extended smoothly over T by the following result (He [He 2014]) :
Theorem 1.5 ([He 2014, Theorem 1.1]). If a closed Ricci flow (M,g(t))t [0,T ) satisfies ∈
sup Ric g(t) L1([0,T )) < + , M | | ∞ then the flow can be extended smoothly over T. Hence we will consider the assumptions (A), (b) or (a), (b). Main Theorem 1 relates to (a), (b) and Main Theorem 2 relates to (A), (b). In dimension two, there is no difference between scalar curvature and Ricci curvature. Hence, from the above observation, closed two-dimensional Ricci flow
5 satisfying (a) and (b) can be smoothly extended over T. In dimension three, we have Hamilton-Ivey pinching result([Topping 2006, Theorem 10.2.1]). Hence, from the above observation, closed three-dimensional Ricci flow satisfying (a) and (b) can be smoothly extended over T. Therefore we will consider in dimen- sion 4. Some results about closed Ricci flow on which the scalar curvature is uniformly≥ bounded in space and time are already known (see [Simon 2015a], [Bamler and Zhang 2017], [Bamler 2018], [Bamler and Zhang 2019], [Buzano and Di Matteo 2020]). We will borrow ideas in [Bamler and Zhang 2017] in some respects of the proof of Main Theorems. This paper is organized as follows. In section 2, we firstly prepare some basic properties and secondly show necessary lemmas. Finally, we will prove Main Theorem 1 by using these lemmas. In section 3, we will prove Main Theorem 2 by the same method used in the proof of Main Theorem 1. In section 4, we will prove that the flow considered in section 2, 3 can be extended by an orbifold Ricci flow. Finally, in section 5, we will describe a well-known lemma which is necessary for the proof of Main Theorems.
2 Under scalar curvature integral bounds
We begin to discuss some basic estimates. We will write the Riemannian volume measure of g(t) by volg(t) or volt briefly. Lemma 2.1 (Volume bounds). Assume (b). Then there exist positive constants V1 = V1(M,g(0), C2), V2 = V2(M,g(0),T ) such that the following holds
0 < V Vol(M,g(t)) V 1 ≤ ≤ 2 for all t [0,T ), where Vol(M,g(t)) denotes the volume of (M,g(t)). Here, C2 denotes the∈ upper bound in (b) stated in section 1. Proof. The proof is almost same as in [Simon 2015a, p.6 (3.8)]. To be self- contained, we will describe the proof without omitting. We firstly prove the volume estimate from below. Under the Ricci flow (see [Hamilton 1982], [Simon 2015a]), d Vol(M,g )= R dvol (sup R ) Vol(M,g ) dt t − gt gt ≥− | gt | · t ZM M Integrating this and from the assumption (b), we obtain
Vol(M,gt) log C2. Vol(M,g0) ≥− Hence we obtain that
C Vol(M,g ) e− 2 Vol(M,g ) > 0 t ≥ 0 for all t [0,T ). ∈
6 Next, we will prove the estimate from above. By the evolution of the scalar curvature and maximum principle (see [Bamler 2020c, Lemma 3.36]), we obtain that d Vol(M,gt)= Rgt dvolgt (inf Rgt ) Vol(M,gt) dt − M ≤− M · n Z Vol(M,g ) ≤ 2t t Hence we obtain that
Vol(M,g ) en/2t Vol(M,g ) Lemma 2.2 (Non-inflating estimate). Assume (a) and (b). Then there exists a positive constant κ1 = κ1(M,g(0),n,T,C2) > 0 such that dvol =: Vol (B(x, t, r)) κ rn g(t) t ≤ 1 ZB(x,t,r) for all r (0, 1]. Here, C denotes the upper bound in (b) stated in section 1. ∈ 2 Proof. The proof of Zhang [Zhang 2011, Theorem 1.1 (a)] in the uniformly bounded scalar curvature case can be adapted to this case with some minor modifications. We only indicate the necessary changes. Step 1 and 2 in it also hold in this situation (Note that they used the logarithmic Sobolev inequality under the Ricci flow in Step 2, but since we can take ε arbitrarily at that point, we do not need the uniform scalar curvature bound). In Step 3, we have to modify the arguments in the following (we will use the same notation as in [Zhang 2011]): for x M such that d (x , x) r where d denotes the natural distance ∈ t0 0 ≤ t0 function with respect to g(t0), 1 t0 2 c1J(t0) 2c r R 2 √t0 sR(x,s)ds G(x ,t r ; x, t ) e− 2 e− t0−r − 0 0 − 0 ≥ rn 1 2 t0 c1J(t0) 2c r √t0 (t0 r ) R 2 supM R( ,s) ds e− 2 e− − − t0−r | • | ≥ rn c1J(t0) 2c C e− 2 e− 2 . ≥ rn Here G(y,s; x, t) (x, y M, 0 Vol (B(x ,t , r)) κ rn t 0 0 ≤ 1 7 1 for all r (0, √t0 ]. And we consider the parabollic rescaling flow (√t0)− g(√t0 ), then we∈ can obtain the desired result since the volume growth estimate is in-· variant under the rescaling. Lemma 2.3 (Diameter bounds). Assume (a) and (b). Then there exist positive constants D1 = D1(M,g(0),n,T,C2) and D2 = D2(M,g(0),n,T,C1, C2) such that 0 n−1 n−1 1/n n−1 1/n R 2 dvol R 2 Vol(M,g(t)) C n V < + . gt ≤ || ||Ln/2 · ≤ 1 · 2 ∞ ZM Hence, using Theorem 2.4 in [Topping 2006], we obtain a diameter bound from above. Next, we will show that the non-collapsing estimate. To do this, we firstly prepare the following Sobolev inequality under the closed Ricci flow : Lemma 2.4 (The Sobolev inequaltiy under the Ricci flow([Ye 2007, Theo- n rem D∗])). Let (M ,g(t))t [0,T (T < + , n 3) be a closed n-dimensional Ricci flow. Then there are∈ some positive∞ constants≥ A and B depending only on the dimension n, min inf R , 0 , a positive lower bound for Vol(M,g ), { g(0) } 0 an upper bound for the Sobolev constant of (M,g0) , and T, such that for each t [0,T ) and all u W 1,2(M) there holds ∈ ∈ n−2 n 2n 2 R 2 2 u n−2 dvol A u + u dvol + B u dvol, | | ≤ |∇ | 4 ZM ZM ZM where all geometric quantities, except A and B, are associated with g(t). Thus, we can show that closed Ricci flow with small Ln/2-norm of the scalar curvature is local non-collapsed. Lemma 2.5. Let (M n,g) be a Riemannian n-manifold (n 3) which satis- fies the Sobolev inequality as in the previous lemma. Then the≥ re is a positive constant ε = ε(A) > 0 such that the following holds: for x M and r > 0, if ∈ R n/2 ε, then || g||Ln/2(B(x,r)) ≤ Vol (B(x, l)) δln, l (0, min 1, r ] g ≥ ∀ ∈ { } for some δ = δ(A, B) > 0. Here A, B denote the corresponding constants in Lemma 2.4. 8 Proof. Since R n/2 ε holds for all 0 n−2 n 2 2/n 2n u dvol δ u n−2 dvol . ≤ | | ZB(x,1) ZB(x,1) ! And, from H¨older’s inequality and the assumption (Note that the Ln/2-assumption is scale invariant), we have n−2 2/n n R 2 ε 2n u dvol u n−2 dvol . 4 ≤ 4 | | ZB(x,1) ZB(x,1) ! Hence we deduce n−2 n 2n 2 u n−2 dvol A u dvol | | ≤ |∇ | ZB(x,1) ! ZB(x,1) n−2 2/n n Aε 2/n 2n + + Bδ u n−2 dvol 4 | | ZB(x,1) ! n−2 n 2 2n A u dvol + a u n−2 dvol . ≤ |∇ | | | ZB(x,1) ZB(x,1) ! 9 It follows that n−2 n 2n A 2 u n−2 dvol u dvol. | | ≤ 1 a |∇ | ZB(x,1) ! − ZB(x,1) Then, we have the following volume bound as in [Akutagawa 1994, Proof of Propo- sition 2.1] or [Carron 1994] (cf. [Ye 2007, Theorem E∗]). 1 a n/2 Vol(B(x, ρ)) − ρn ≥ 2n+2A for all B(x, ρ) B(x, 1). Consequently we have ⊂ 1 a n/2 Vol(B(x, 1)) − . ≥ 2n+2A This contradict the above upper volume bound ( ). ∗ Thus, we will consider the following assumption (a′) which is stronger than (a): n/2 (a′) Forsome r> 0, sup Rg Ln/2(B(x,r,t)) ε, x M, t [0,T ) || || ≤ ∀ ∈ ∈ where ǫ denotes the positive constant as in the previous lemma. Note that (a′), (b) implies (a) from the above non-collapsing estimate and volume upper bound. Indeed, fix any t [0,T ) and let N N be the maximal ∈ ∈ number of collection of balls so that B(xi,r/2,t) 1 i N are disjoint each other { } ≤ ≤ and B(xi,r,t) 1 i N are a covering of M. Then, from the non-collapsing esti- { } ≤ ≤ mate and volume upper bound, N V2 , where V , δ, r denote respectively ≤ δ (r/2)n 2 the upper volume bound in Lemma 2.1,· the non-collapsing constant in Lemma 2.5 and the radius in the definition of (a′). Moreover, by the definition of N, N 2 2 V2 R 2 R 2 εN ε . || g(t)||L (M) ≤ || g(t)||L (B(x,r,t)) ≤ ≤ · δ (r/2)n i=1 X · Remark 2.1. By [Bamler 2020b, Theorem 8.1], the pointed Nash entropy at (x, t) is bounded by the volume growth of geodesic ball centered at (x, t) from n below. Hence, for closed Ricci flow (M ,g(t))t [0,T ) satisfying (a′), we can ∈ adapt the theory in [Bamler 2020c]. That is, take a sequence of points (xi,ti) M [0,T ) with t T, then after application of a time-shift by t , the flows∈ × i → − i (M,gi(s) := g(s + ti))s [ ti,0] satisfies the non-collapsedness assumption (1.3) in [Bamler 2020c] as mentioned∈ − above (see [Bamler 2020c, Part 1]). Next, we will show a distance distortion estimate. n Lemma 2.6 (cf. [Bamler and Zhang 2017, Theorem 1.1]). Suppose that (M ,g(t))t [0,T ) ∈ satisfies (a′) and (b). Then there exists a constant α = α(g0,n,T,C2) such that 10 the following holds: Suppose that t0 [0,T ), 0 r0 √t0. Let x0,y0 M with d (x ,y ) r and let t [t αr2∈, min t + ≤αr2,T≤ ). Then ∈ t0 0 0 ≥ 0 ∈ 0 − 0 { 0 0 } 1 αdt0 (x0,y0) < dt(x0,y0) < α− dt0 (x0,y0). Here, C2 denotes the upper bound in (b) stated in section 1. Proof. The proof of [Bamler and Zhang 2017, Theorem 1.1] can be adapted to this case with some minor modifications. Step 1 :Assume that r d (x ,y ) 2r . We shall find the upper bound on 0 ≤ t0 0 0 ≤ 0 dt(x0,y0). From [Perelman 2002, End of 7.1] or [Morgan and Tian 2007, Chap 7] (see [Bamler and Zhang 2017, Proof of Theorem 1.1]), there exists a point z M such that ∈ 1 n l (z,t r2) , (x0,t0) 0 − 2 0 ≤ 2 1 2 where l(x0,t0)(z,t0 2 r0) denotes the reduced distance between (x0,t0) and − 2 1 2 r0 (z,t0 2 r0). Consider the heat kernel K(x, t) = K(x, t; z,t0 2 ) centered at − 2 − r0 (z,t0 2 ) (i.e., ∂tK = ∆K). Then, from the scalar maximum principle, we obtain− d K( ,t)dvol = ∆K( ,t) R( ,t)K( ,t)dvol dt • t • − • • t ZM ZM = R( ,t)K( ,t)dvol − • • t ZM min R( ,t)K( ,t)dvol ≤ − • • t ZM min R( , 0)K( ,t)dvol . ≤ − • • t ZM Hence r2 min R(g )(t (t 0 )) K( ,t)dvol e− 0 − 0− 2 • t ≤ ZM 2 2 for all t [t r0 ,t + r0 ]. From the heat kernel estimate (2.9), (2.10) in ∈ 0 − 2 0 2 [Bamler and Zhang 2017], there is some positive constant B0, such that for all 2 2 t [t r0 ,t + r0 ], ∈ 0 − 4 0 4 B0 K( ,t) < n/2 on M • t (t r2/2) − 0 − 0 and 2 l (z,t0 r /2) n/2 e− (x0,t0) − 0 e− K(x0,t0) n/2 2 n/2 . ≥ 4π(t (t r2/2)) ≥ (2πr0 ) 0 − 0 − 0 Hence we obtain 2 2 n r0 r0 K 11 for some positive constant B. And, from the derivative estimate (2.8) in [Bamler and Zhang 2017], n K( ,t′) 1 B r0− |∇ • | < 2 log · K( ,t′) t′ (t0 r /8)s K( ,t′) • s − − 0 • 2 2 r0 r0 on M for t′ [t ,t + ]. We can rewrite this as ∈ 0 − 8 0 8 n B r− 1 log · 0 < . ∇ K( ,t ) 2 s ′ 2 t′ (t0 r0/8) • − − p Let γ : [0, 1] M be a minimizing geodesic between x and y with respect → 0 0 to g(t0). Integrating the above bound at time t0 along γ and using the lower bound in the above yields that n K( ,t ) > cr− on γ ([0, 1]) • 0 0 for some constant c > 0. Assume that α min 1/8, α(B, C2,a) and fix some 2 2 ∈ { } t [t0 αr0,t0 + αr0] then, by [Bamler and Zhang 2017, Lemma 3.1 (a)] and the∈ assumption− (b), for all z γ([0, 1]), ∈ t n t Br0− n sgn(t t) ( K(z,t ) K(z,t) ) < ds + (Br− ) R(z,s) ds 0 − | 0 | − | | s 0 Zt0 Zt0 and n cr− K( ,t) > 0 on γ ([0, 1]) . • 2 We expalin this in more detail here. From the assumption (b) and the dominated convergence theorem, for any p M, ∈ T [0,T ] t R(p,s)ds ∋ 7→ Zt is continuous. And, since (gt)t [0,T ) is a smooth Ricci flow, ∈ T F : [0,T ] M R ; (t,p) R(p,s)ds × → 7→ Zt is continuous. Since M is compact, F is also uniformly continuous. Hence there cB−1 is a constant δ = δ 4 such that t cB 1 R(z,s) ds − if t t < δ. ≤ 4 | − 0| Zt0 We go back to the proof. From the above derivative estimate, for all s [0, 1], ∈ n cr− K( ,t) > 0 on B (γ(s),t,βr ) • 4 0 12 for some uniform β > 0. Then, there is a positive integer N, dt(x0,y0) max 0, min R T e g0 N < { − } =: N δβn(c/4) 0 Then, from the asumption r d (x ,y ) 2r , 0 ≤ t0 0 0 ≤ 0 d (x ,y ) < 4N βr 4N βd (x ,y ). t 0 0 0 0 ≤ 0 t0 0 0 Therefore we have proven the upper bound for 1 1 α min , α(B, C ,a), (4N β)− ≤ 8 2 0 in the case in which r d (x ,y ) 2r . 0 ≤ t0 0 0 ≤ 0 Step 2 :The upper bound in the case in which r0 dt0 (x0,y0). This is proven in the same way as in Step 2 in the≤ proof of [Bamler and Zhang 2017, Theorem 1.1]. Step 3 :The lower bound. This is proven in the same way as in Step 3 in the proof of [Bamler and Zhang 2017, Theorem 1.1]. Then, we have a corollary in the following: Corollary 2.1 (cf. [Bamler and Zhang 2017, Corollary 1.2]). Assume a closed Ricci flow (M n,g(t)) satisfies the same assumption in the previous lemma. Then, there exists a constant A = A(n,g(0),T,C2) the following holds: Sup- 2 pose that t0 [0,T ), x0,y0 M and r0 := dt0 (x0,y0). For any t [r0,T ) with A2(r2 + t ∈t ) t , we have∈ ∈ 0 | − 0| ≤ 0 d (x ,y ) < A r2 + t t . t 0 0 0 | − 0| q Here, C2 denotes the upper bound in (b) stated in section 1. Proof. This is proven in the same way as in the proof of Corollary 1.2 in [Bamler and Zhang 2017] by using the previous lemma. Next, we prepare a key lemma to estimate the Ricci curvature pointwise by the Riemann scale. To do this, we also need an additional assuumption (a′′) which is equivalent to the condition ( )p0,ε in our Main Theorems: Fix p0 > n/2 for dimension n 4. ∗ ≥ n/2 ε˜ (a′′) Forsome r> 0, sup Rt Lp0 (B(x,t,r)) 1 n , x M t [0,T ) || || ≤ − 2p0 ∀ ∈ ∈ V2 13 1 n − 2p0 withε ˜ = min ε, V2 , where ε, V2 denote respectively the constant in the condition (a′)n and the uppero volume bound in Lemma 2.1. Note that (a′′) im- plies (a′) by H¨older’s inequality since p0 > n/2. Then we can obtain the useful es- timates which is similar to one by Bamler and Zhang [Bamler and Zhang 2017]. In paticular, this is essential to show that the blow-up limits are Ricci flat (see Lemma 2.13 below): Lemma 2.7 ([Jian 2020, Proposition 2.1] (cf. [Bamler and Zhang 2017, Lemma 6.1])). Assume (a′′) and (b). Then there exist 0 <α< 1, 0 < A , A , < + which 0 1 ··· ∞ are universal constants depend on n,g0,T,C2,p0 (where C2 denotes the upper bound in (b) stated in section 1) such that the following holds : Assume that 2 x0 M,t0 [0,T ), 0 < r0 < min 1,t0 and assume that B(x0,t0, r0) is rela- ∈ ∈ 2 { } 2 tively compact and Rm r0− on P (x0,t0, r0, r0). Then the following holds : | | ≤ − 1 n Ric (x ,t ) < A r− − 2p0 , | | 0 0 0 0 3 n ∂ Rm (x ,t ) < A r− − 2p0 . | t | 0 0 0 0 Here, P (x ,t , r , r2) denotes the backward parabolic ball centered at (x ,t ) 0 0 0 − 0 0 0 of radius r0 defined as P (x ,t , r , r2) := B(x ,t , r ) ([t r2,t ] [0,T )). 0 0 0 − 0 0 0 0 × 0 − 0 0 ∩ 1 m n Moreover, mRic (x ,t ) < A r− − − 2p0 for all m 0. |∇ | 0 0 m 0 ≥ Remark 2.2. Since Ric (x, t) √n(n 1) Rm (x, t), we only have Ric (x0,t0) 2 | | ≤ − | | | | 4 ≤ √n(n 1)r− . And, by Shi’s estimate, we only have ∂ Rm (x , r ) < Cr− . − 0 | t | 0 0 0 Proof of Lemma 2.7. The proof of [Jian 2020, Proposition 2.1] can be adapted to this case with minor modification. We only indicate the necessary change. In the proof of [Jian 2020, Proposition 2.1], take α (the radius of the domain of the exponential map) so that α min 1, r (where r > 0 is the one in (a′′)), then we can argue in the same way≤ in{ [Jian} 2020, Proposition 2.1] and obtain desired assertions. Definition 2.1 (Curvature radius ([Bamler and Zhang 2017, Definition 1.7])). For Riemannian manifold (M,g) and a point x M we define ∈ 2 r Rm (x) := sup r> 0 Rm < r− on B(x, r) . | | | | n If (M,g) is flat, then we set r Rm = . If (M ,g(t)t [0,T )) is a Ricci flow and | | ∞ ∈ (x, t) M [0,T ), then r Rm (x, t) is defined to the radius r Rm (x) on the Riemannian∈ × manifold (M,g(|t)).| | | Remark 2.3. The curvature radius r Rm (x, t) is 1-Lipschitz in the variable x (see [Bamler 2018, p. 768], see also [Buzano| | and Di Matteo 2020, Theorem 2.2]). On the other hand, Buzano and Di Matteo [Buzano and Di Matteo 2020] recently defined Riemann and Ricci scales of certain different notions. 14 Next, we will state the following backward pseudolocality theorem by Bamler which will be needed in the proof of Main Theorem 1: Lemma 2.8 (Backward Pseudolocality [Bamler 2020c, Theorem 1.48]). For any n N and α > 0 there exists an ε(n, α) > 0 such that the following holds: Let ∈n (M ,g(t))t [0,T ) be a Ricci flow on a closed, n-dimensional smooth manifold and ∈ 2 let (x0,t0) M [0,T ) a point and r> 0 a scale such that [t0 r ,t0] [0,T ) and ∈ × − ⊂ n 2 Vol (B(x ,t , r)) αr , Rm (αr)− on B(x ,t , r). t0 0 0 ≥ | |≤ 0 0 Then 2 2 Rm (εr)− on P x ,t ; (1 α)r, (εr) , | |≤ 0 0 − − 2 where P x0,t0; (1 α)r, (εr) denotes the backward parabolic ball centered at (x ,t ) of radius (1− α)r−defined as in Lemma 2.7. 0 0 − We also need the following lemma to analyse the singularities: Lemma 2.9 ([Bamler and Zhang 2017, Lemma 7.1]). Assume (a′) with n 4. Then there exists a constant δ > 0, which only depends on n, g(0) and T such≥ 2 that the following holds: Let (x, t) M [0,T ) and assume that r Rm (x, t) t. Then there exists a point y M such∈ that× | | ≤ ∈ (1) dt(x, y) < 2r Rm (x, t), | | (2) r Rm (y,t) r Rm (x, t), | | ≤ | | 2 (3) Rm dvolt > δ. B(y,t, 1 r (y,t)) | | Z 8 |Rm| Proof. Since we have the non-collapsing estimate Lemma 2.5, we can prove this assertion in exactly the same way as in [Bamler and Zhang 2017, Proof of Lemma 7.1]. Lemma 2.10 (L2-curvature estimate in dimension 4 (cf. [Bamler and Zhang 2017, Theorem 1.8])). Assume (a′′), (b) and n = 4. Then there exists A,B < + , ∞ which depend on C2,p0 and (M,g(0)) such that the following holds (Here, C2,p0 denote respectively the upper bound in (b) stated in section 1 and the exponent of norm in the assumption (a′′)): For all t [T/2,T ) the following bounds hold: ∈ Rm( ,t) 2 Aχ(M)+ B Vol (M), || · ||L (M,g(t)) ≤ 0 where χ(M) denotes the Euler characteristic of M. For any p (0, 4) and t [0,T ), ∈ ∈ p B r− (x, t)dvol Aχ(M)+ Vol (M), Rm t ≤ 4 p 0 ZM | | − 15 and for any p (0, 4p0 ), ∈ 2+p0 B Ric p(x, t)dvol Aχ(M)+ Vol (M). | | t ≤ 4 p 0 ZM − Finally, for all 0 2 S := y M r Rm (y,t) < r¯ and Rm dvolt >δ . ∈ | | B(y,t, 1 r ) | | ( Z 8 |Rm| ) Here,r ¯ is a fixed parameter determined later. By the Vitali’s covering theorem (see Lemma 5.1 in Appendix of this paper), the upper volume bound(Lemma 2.1) and the non-collapsing estimate(Lemma 2.5), there exist finitely many points y , ,y S such that for 1 ··· N ∈ ri := r Rm (yi,t) < r,¯ | | 1 the balls B y, t, 8 ri are pairwise disjoint and N 1 1 B(yi, t, ri) B(y, t, r Rm (y,t)) S. 2 ⊃ 8 | | ⊃ i=1 y S [ [∈ Then, for every x M with r Rm (x, t) r¯ there exists an i 1, ,N for which ∈ | | ≤ ∈ { ··· } 1 dt(x, yi) < 2r Rm (x, t)+ ri. | | 2 In fact, let x M with r Rm (x, t) r.¯ By Lemma 2.9, there exists a point ∈ | | ≤ y M with dt(x, y) < 2r Rm (x, t) and r Rm (y,t) r Rm (x, t) < r¯ that satisfies the∈ lower bound on the integral| | in the definition| | ≤ of S.| So| y S. By the above ∈ 16 inclusion for covering of S, there exists an index i 1, ,N for which y B y , t, 1 r . Hence we conclude that ∈ { ··· } ∈ i 2 i 1 dt(x, yi) dt(x, y)+ dt(y,yi) < 2r Rm (x, t)+ ri. ≤ | | 2 Next, observe that for any p> 0, by Fubini’s theorem, r¯ p p p 1 r−Rm (x, t)dvolt = r¯− + ps− − ds dvolt(x) M | | r (x,t) Z M Z |Rm| ! Z r¯ p p 1 r¯− Volt(M)+ ps− − Volt r Rm ( ,t) s ds. ≤ | | · ≤ Z0 Set for i =1, ,N, ··· Di = x M r Rm (x, t) r¯ and ∈ | | ≤ 1 1 d (x, y ) r d (x, y ) r for all j =1, ,N . t i − 2 i ≤ t j − 2 j ··· Then r Rm ( ,,t) r¯ = D1 DN . { | | · ≤ } ∪···∪ [The inclusion ( ) is trivial. The opposite inclusion ( ) is proved as fol- ⊃ ⊂ 1 lows: For any x r Rm ( ,,t) r¯ , take yi such that dt(x, yi) 2 ri = ∈ {1| | · ≤ } − min1 j N dt(x, yj ) rj .] It follows from the above claim that for all x Di, ≤ ≤ − 2 ∈ 1 1 r Rm (x, t) > dt(x, yi) ri . | | 2 − 2 3 1 1 4 Hence, if dt(x, yi) 4 ri, then r Rm (x, t) > 2 dt(x, yi) 2 3 dt(x, yi) > 1 ≥ | | − · 8 dt(x, yi). On the other hand, by the definition of the curvature radius, we ob- 3 3 1 1 tain that if dt(x, yi) < 4 r Rm (yi,t)= 4 ri, then r Rm (x, t) 4 ri > 3 dt(x, yi) > 1 | |1 2 | 1 | 2 ≥ 8 dt(x, yi) [Rem.: On B(x, t, 4 ri), Rm < ri− < ( 4 ri)− , hence, by the defini- 1 | | tion of r Rm , r Rm (x, t) ri ]. Therefore, in either cases, | | | | ≥ 4 1 r Rm (x, t) > dt(x, yi) if x Di. | | 8 ∈ Using this inequality, we can compute that for any s r,¯ ≤ N Volt( r Rm ( ,t) s ) Volt( r Rm ( ,t) s Di) { | | · ≤ } ≤ { | | · ≤ } ∩ i=1 X N Vol ( d ( ,y ) 8s D ) ≤ t { t · i ≤ } ∩ i i=1 X N Vol (B(y , t, 8s)) (84 κ ) Ns4. ≤ t i ≤ · 1 · i=1 X 17 Here, we used the non-inflating estimate(Lemma 2.2) and κ1 denotes the positive constant in it. Hence, using the above expression, for any 0 r¯ p p p 1 r−Rm (x, t)dvolt r¯− Volt(M)+ ps− − Volt( r Rm ( ,t) s ) ds M | | ≤ 0 { | | · ≤ } Z Z r¯ p 3 p r¯− Vol (M)+ C(κ )Np s − ds ≤ t 1 Z0 p p 4 p r¯− Vol (M)+ CN r¯ − . ≤ t 4 p − Next, we assume thatr< ¯ min 1, T/2 and observe that by the non-collapsing estimate(Lemma 2.5), the backward{ pseudolocality} theorem (Lemma 2.8) and p Lemma 2.7, there exists a universal constant C˜ such that for all x M for ∈ which r Rm (x, t) r,¯ we have | | ≤ 1 2 ˜ − − p0 Ric (x, t) Cr Rm (x, t). | | ≤ | | Hence by the above inequality for p =2+ 4 , p0 2 4 Ric(x, t) 2dvol C˜2 r− − p0 (x, t)dvol | | t ≤ Rm t ZM ZM | | 2 2 4 2 2 4 C˜ r¯− − p0 Vol (M)+ CC˜ Nr¯ − p0 . ≤ t On the other hand, recall that by the choice of the yi S we have that for all i =1, ,N, ∈ ··· 2 Rm(x, t) dvolt(x) >δ B(y,t, 1 r ) | | Z 8 i and the domains of these integrals are pairwise disjoint. Therefore Nδ < Rm(x, t) 2dvol (x). | | t ZM Finally, we apply the Chern-Gauss-Bonnet theorem (in dimension 4): Rm(x, t) 2dvol (x)=32π2χ(M)+ (4 Ric(x, t) 2 R2(x, t)) dvol (x). | | t | | − t ZM ZM Combinig this equality and the above inequalities gives us 4 4 2 2 2 p 2 2 p Nδ < 32π χ(M)+4C˜ r¯− − 0 Volt(M)+4CC˜ Nr¯ − 0 . We now chooser> ¯ 0 small enough such that 2 2 4 1 4CC˜ r¯ − p0 < δ. 2 18 Then, by the proof of Lemma 2.1, 2 4 2 ˜2 p 32π χ(M)+4C r¯− − 0 Volt(M) ˜ N < 1 =: Aχ(M)+ B Volt(M) 2 δ Aχ(M)+ B Vol (M). ≤ 0 The assertion follows from the above inequalities (see [Bamler and Zhang 2017, proof of Theorem 1.8]). From the proof of the above L2-estimate, we obtain the following. Lemma 2.11 (cf. [Bamler and Zhang 2017, Lemma 7.2]). Assume (a′′), (b) and n =4. Then there exists a natural number N N such that for every time ∈ t [0,T ), we can find points y1,t, ,yN,t M such that for any x M we have∈ ··· ∈ ∈ 1 r Rm (x, t) > min dt(x, yi,t). | | 8 i=1, ,N ··· Proof. This lemma can be proven in the same way as in [Bamler and Zhang 2017, Lemma 7.2]. Consider the points y1, ,yN and the radii ri = r Rm (yi,t) as constructed ···2 | | in the proof of the above L -estimate forr ¯ := maxM r Rm ( ,t). Then, from | | · 2 its definition, we have D1 DN = M. So, from the proof of the L - estimate again, we obtain the∪···∪ desired inequality. And, from the L2-estimate of the Riemannian curvature, we obtain that N is bounded by a constant which is independent of time. Here, we will make sure definitions of convergence. Definition 2.2 ([Bamler and Zhang 2017, Definition 7.3]). Let (M,g(t))t [0,T ) (T < + ) be a Ricci flow. A pointed, complete metric space (X, d, x ), x ∈ X is called∞ a limit of (M,g(t)) if there exists a sequence of times t ∞T, a∞ sequence∈ k → of points xk M and a sequence of numbers λk 1 such that the sequence ∈ 2 ≥ of length metric spaces (M, λkgtk , xk) converge to (X, d, x ) in the Gromov- { } ∞ Hausdirff sence. If limk λk = , then (X, d, x ) is called a blowup limit. →∞ ∞ ∞ From the non-inflating and non-collapsing estimates which are scaling in- variant, (blowup) limits always exists: 4 Lemma 2.12 (Existence of a limit). Let (M ,g(t))t [0,T ) (T < ) be a 4- ∈ ∞ dimensional closed Ricci flow satisfying (a′′) and (b). Consider arbitrary se- quence tk T, xk M and λk 1. Then, after passing to a subsequence, 2 → ∈ ≥ (M, λkgtk , xk) converges to a complete limit (X, d, x ) in the Gromov-Hausdorff sense. ∞ Proof. From the non-collapsing estimates, the diameter upper bound and the volume upper bound, we can show that every sequence taken from the flow is uniformly totally bounded (see [Burago et al. 2001, Definition 7.4.13] for the definition of this notion). Hence, using Theorem 7.4.15 in [Burago et al. 2001], 19 we can show that every sequence has a limit. From the non-inflating and non- collapsing estimates, we can check that every rescaling sequence satisfies the assumption in Theorem 8.1.10 of [Burago et al. 2001]. Then we use this theorem and obtain the assertion for blowup limits. 4 Lemma 2.13. Let (M ,g(t))t [0,T ) (T < ) be a 4-dimensional closed Ricci ∈ ∞ flow satisfying (a′′) and (b). Let (X, d, x ) be a limit of (M,g(t)). ∞ Then diam(X, d) > 0 and there exist points y1, , ,yN, X such that the ∞ ··· ∞ ∈ metric d restricted to X y1, , ,yN, is induced by a smooth Riemannian metric g . Moreover, for\{ all ∞x ···X, ∞} ∞ ∈ 2 Rm (x) 64 max d− (x, yi, ) | | ≤ i=1, ,N ∞ ··· and 2 Rmg∞ L (X y , ,y ) < + . || || \{ 1,∞ ··· N,∞} ∞ If (X, d, x ) is even a blowup limit, then Ricg 0. ∞ ∞ ≡ 1 Proof. For any fixed scaling factor λ 1, consider the rescaling flow (λ g(λ− )). Then the non-inflating estimate (Lemma≥ 2.2) also holds for the same· constant· κ1. Moreover, in the proof of Lemma 2.1, Vol(M,λgt) Vol(M,gt) log = log C2. Vol(M,λg0) Vol(M,g0) ≥− Hence we have the same volume-lower-bound as in Lemma 2.1 for the same constant V1 > 0. Therefore we obtain the diameter lower bound (from the proof of the diameter lower bound as above). Consider the points y , ,y from Lemma 2.9. After passing to a sub- 1,tk ··· N,tk sequence, we may assume that these points converge to points y1, , ,yN, X. By the backward pseudolocality(Lemma 2.8) and Shi’s estimates,∞ ··· we h∞ave∈ uniform bounds on the covariant derivatives of the curvature tensor at uniform distance away from yi,tk . Hence (M,gtk ) smoothly converges to a Riemannian metric g on X y1, , ,yN, . The curvature bounds decend to the limit. ∞ \{ ∞ ··· ∞} The vanishing of Ricg∞ in the blowup case is a consequence of Lemma 2.7. 4 Lemma 2.14. Let (M ,g(t))t [0,T ) and (X, d, x ) be ones as in the previous lemma. Then the tangent cone∈ at every point of ∞(X, d) is isometric to a finite quotient of Euclidean space R4. So (X, d) is diffeomorphic to an orbifold with cone singularities. Proof. The proof is similar to that of [Bamler and Zhang 2017, Lemma 7.6]. It follows from the second estimate in the previous lemma, the non-inflating estimate(Lemma 2.2) and the non-collapsing estimate(Lemma 2.5) that the tan- gent cones around any y are flat away from the tip and unique (see [Simon 2015a, Section 8], [Tian 1990,∞ Section 3]). It follows that the cross-section of each of these tangent cones is connected in the almost same way as in [Bamler and Zhang 2017, Proof of Lemma 7.6] with slight modification. We only indicate the necessary 20 changes. To lead to a contradiction for the proof of this fact, it is sufficient 3 2 to show that if (R N , dt + gN ) is a Ricci flat, then the whole space is flat. × 3 2 But, since N is theree dimensional, (N,gN ) is flat. Hence (R N , dt + gN ) is flat. × We can prove Main Theorem 1. Proof of Main Theorem 1. The proof is similar to that of [Bamler and Zhang 2017, Corollary 1.11]. We define the function r∞Rm : M [0, ] as follows: | | → ∞ r∞Rm (x) := lim sup r Rm (x, t). | | t T | | → Consider a point x M with r := r∞Rm (x) > 0. So there exists a sequence of ∈ | | times tk T such that r Rm (x, tk) > r/2. Using the backward pseudolocality theorem→ (Lemma 2.8), we| find| that ∞ 2 1 1 2 Rm < 4Kr− on P (x, t , εr, ( εr) ). | | k 2 − 2 k[=1 By the distance distortion estimate (Lemma 2.6), there exists a small τ > 0, and universal constant C > 0 such that 1 ∞ 1 1 P (x, T τ, εr, τ) P (x, t , εr, ( εr)2), − 2C ⊂ k 2 − 2 k[=1 1 where P (x, T τ, 2C εr, τ) denotes the forward parabolic ball centered at (x, T −1 − τ) of radius 2C εr defined as 1 1 P x, T τ, εr, τ := B x, T τ, εr ([T τ,T ] [0,T )) . − 2C − 2C × − ∩ Hence as t T, the metric g(t) converges smoothly to a Riemannian metric g → T in a neighborhood of x. Moreover, from this inclusion, it follows that r∞Rm is reg | | positive in this small neighborhood of x. Hence we obtain that M := r∞ > { Rm 0 M is an open subset and that g(t) smoothly converges to a Riemannian| | } ⊂ reg reg metric gT on M as t T. Moreover, r∞Rm restricted to M is 1-Lipschitz → | | with respect to gT (being the limsup of a family of 1-Lipschitz functions (see the above Remark 2.3)). So by this 1-Lipschitz property and continuity of g(t) reg reg (on M ), for any x M and δ > 0 the ball B(x, t, r Rm (x) δ) is contained reg ∈ | | − 2 in M for t sufficiently close to T. We also have Rm ( ,T ) (r∞Rm (x))− on | | · ≤ | | B(x, t, r Rm (x) δ) for each δ > 0. Hnece we obtain | | − r∞Rm (x) = lim r Rm (x, t) for all x M. | | t T | | ∈ → sing reg Next, we will show that M := M M = r∞ = 0 is a zero set with \ { Rm } respect to the Riemannian volume measure dvol | for| any t [0,T ). Since g(t) ∈ 21 sing limt T r Rm ( ,t)=0on M , we have with Lemma 2.10 that for any 0 sing Volt(M ) Volt( r∞Rm N M sing B(y ,t,s). ⊂ i,t i=1 [ 1 1 4 Fix s and chooses ˜ > 0 such thats ˜ < 40 s and Volt( r∞Rm < s˜ ) < κ2( 2 s) { | | } for any t [0,T ) (this is possible because M sing is zero set with respect to ∈ dvolg(t) and volume distortion). Here, κ2 denotes the positive constant in the non-collapsing estimate (Lemma 2.5). Define U := r∞Rm s˜ M and choose 1 { | | ≥ }⊂ τ > 0 small enough such that r Rm > 2 s˜ on U [T τ,T ) and r Rm < 2˜s on | | ×sing − | | ∂U [T τ,T ). Let t [T τ,T ) and x M M U(= r∞Rm < s˜ ). × − ∈ − ∈ ⊂ \ 1{ | | } We claim that there exists a point z ∂U such that dt(z, x) < 2 s. Otherwise B(x, t, 1 s) U = , which would imply∈ that 2 ∩ ∅ 1 1 κ ( s)4 <κ s4 Vol (B(x,t,s)) Vol (M U) <κ ( s)4 2 2 2 ≤ t ≤ t \ 2 2 1 which is a contradiction. Since r Rm (z,t) < 2˜s < s, there exists an i | | 20 ∈ 1, ,N such that d (z,y ) < 8 1 s < 1 s by Lemma 2.11. It follows { ··· } t i,t · 20 2 that x B(yi,t,t,s). This proves the above inclusion. This inclusion implies that (M,g∈ (t)) converges to a metric space (X, d) in the Gromov-Hausdorff reg sense which is isometric to (M ,gT ) away from at most N points. By the above Lemma 2.14, the tangent cone of (X, d) are finite quotients of R4. It fol- lows that M reg is connected and that (X, d) isometric to the metric completion ¯ reg reg ¯ reg (M , dgT ) of (M ,gT ). Therefore M can be endowed with a smooth orb- ifold structure such that gT is a smooth metric away from the singular points. This shows assertions (1)-(4). The assertion (5) is also proved in the same way as in [Bamler and Zhang 2017, proof of Corollary 1.11(e)] after slight modifica- tions. So we shall only indicate the necessary changes. Under our assumptions, (7.19) and (7.20) in [Bamler and Zhang 2017, proof of Corollary 1.11(e)] hold with n i 2 i 1 2p δi := C(2− ) Rm L∞(A A A ;g ) + C(2− ) − 0 || || i−1∪ i∪ i+1 T 22 (where n = 4 in this case). Moreover, as in the same way in [Bamler and Zhang 2017, proof of Corollary 1.11(e)], we have n 2 2 i 2 2p δi C Rm L2(A A ;g ) + C(2− ) − 0 ≤ || || i−2∪···∪ i+2 T 2 (where n = 4 in this case). Hence i∞=1 δi < . Therefore we can show (5) by the same arguments in [Bamler and Zhang 2017,∞ proof of Corollary 1.11(e)] P with δi being replaced with the above one. 3 Under Riemannian curvature integral bounds Next, we will consider closed Ricci flow satisfying the conditions (A), (a′′) and (b) stated in section 1. And prove the second main result (= Main Theorem 2). Proof of Main Theorem 2. Firstly, we have a volume upper bound from the proof of Lemma 2.1. And, from (b), we can obtain a volume lower bound. Since (A) implies (a), we can obtain diameter bounds and non-inflating estimate in the same way. By the volume upper bound and H¨older’s inequality, (a′′) implies (a′). Hence the non-collapsing estimate holds by Lemma 2.5. Moreover, if we assume the condition (a′′), we can also obtain exactly the same assertion in Lemma 2.7. We can also obtain the lemma corresponding to Lemma 2.9 but we have to replace (3) in Lemma 2.9 with the following Ln/2-condition n/2 Rm dvolt > δ. B(y,t, 1 r (y,t)) | | Z 8 |Rm| We already have Ln/2-estimate from the condition (A), but the proof of Lemma 2.10 is still useful. From the proof of Lemma 2.10, we can obtain the lemma corresponding to Lemma 2.11. From non-inflating, non-collapsing estimates and the above corresponding lemmas, we obtain the lemmas corresponding to Lemma 2.12 and 2.13. But we have to replace the second estimate in Lemma 2.13 with the Ln/2-estimate Rmg∞ Ln/2(X y , ,y ) C < + . || || \{ 1,∞ ··· N,∞} ≤ ∞ From this lemma corresponding to Lemma 2.13, non-inflating estimate and non- collapsing estimate, we obtain that the tangent cone at every point of the limit is isometric to a finite quotient of Rn and the limit is diffeomorphic to an orbifold with cone singularities (in the same way in [Tian 1990, Section 3]). To lead to a contradiction for the proof of the claim corresponding to Lemma 2.14, it is n 1 2 sufficient to show that if (R N − , dt +gN ) is a Ricci flat n-dimensional(n 4) Riemannian manifold, then× the space is flat. Moreover, by Corollary 3.1 below,≥ 2 we also assume that (R N,dt + gN ) is an ALE space (see [Bando et al. 1989] × n for definition of ALE). If n is odd, then the space is isometric to (R ,geucl.) from [Bando et al. 1989, Theorem (1.5)](see [Bando et al. 1989, Remarks. 2)]). n 1 If n is even, then it follows that (N,gN ) is isometric to (R − ,geuci.) as in the 23 n 1 2 case that n is odd. Hence the space (R N − , dt + gN ) is flat in the both cases. Therefore we can obtain Main Theorem× 2 from the above corresponding lemmas and backward pseudolocality(Lemma 2.8) in the same way as in the proof of Main Theorem 1. Since the L2-bound of Rm is scaling invariant and descends to geometric limits, we immediately obtain the following corollary from [Bando et al. 1989, Theorem 1.5]: Corollary 3.1 (cf. [Bamler and Zhang 2017, Corollary 1.9], [Bando et al. 1989]). n Let (M ,g(t))t [0,T ) (T < + ) be a Ricci flow on a closed n-manifold. Suppose ∈ 4 ∞ n that n =4 and (M ,g(t))t [0,T ) satisfies (a′′), (b), or n 4 and (M ,g(t))t [0,T ) ∈ ≥ ∈ satisfies (A′), (a′′) and (b). Let (xk,tk) M [0,T ) be a sequence with Qk = Rm (x ,t ) and suppose that the∈ pointed× sequence of rescaling flows | | k k → ∞ (M,QkgQ−1t+t , xk) converges to some ancient Ricci flow (M , (g ,t)t ( ,0], xk) k k ∞ ∞ ∈ −∞ in the smooth Cheeger-Gromov-Hamilton sense. Then g ,t = g is constant in time and (M ,g ) is Ricci-flat and asymptotically locally∞ Euclidean.∞ ∞ ∞ A direct consequence of the previous corollary is the following (cf. [Anderson 2008, Proposition 5.6], [Bamler and Zhang 2017, Corollary 1.10] ): 4 Corollary 3.2 (cf. [Bamler and Zhang 2017, Corollary 1.10]). Let (M ,g(t))t [0,T ) (T < + ) be a Ricci flow on a closed 4-manifold M satisfying the following topo-∈ logical∞ condition: the second homology group over every field vanishes, i.e., H2(M; F)=0 for every field F. Then at least one of conditions (a′′), (b) fails. 4 Extend the flow Next, we will state that the Ricci flow as above can be extended over T as an n orbifold Ricci flow. Let (X, d) be a limit of a closed Ricci flow (M ,g(t))t [0,T ) satisfying the assumptions of Main Theorem 1 or 2. Then, as we seen above,∈ (X, d) is a C0 Riemannian orbifold. This can be extended as an orbifold Ricci flow in the following sense : Theorem 4.1 (Extendable as an orbifold Ricci flow ([Simon 2015a, Theo- rem 9.1])). There exists a smooth solution to the orbifold Ricci flow (X,h(t))t (0,S) for some S > 0 such that (X, d(h(t))) (X, d) in the Gromov-Hausdorff sense∈ as t 0. → → Proof. We can prove this claim by using the argument in [Simon 2015a, Sec- tion 9]. Firstly, we can flow each (Xi, g¯i−1 ) by the orbifold Ricci flow (X,Zi(t)t (0,S)) (where S is independent of i) satisfying higher order derivative (Shi type)∈ es- timates. Here,g ¯i−1 denotes the smooth orbifold metric constructed in (5) in 1 Main Theorem 1 or 2 with ε = i− . Then, using this derivative estimates and the compactness theorem for orbifold Ricci flows, as i , we obtain a smooth → ∞ orbifold Ricci flow (X,h(t)t (0,S)) such that ∈ d ((X, d), (X, d )) 0 GH h(t) → 24 as t 0. This (X,h(t)t (0,S)) is desired orbifold Ricci flow. See [Simon 2015a, Section→ 9] for more detail.∈ Remark 4.1. Under the assumptions (a′′) and (c), if we assume additionally that the volume or the diameter of (M,g(t))t [0,T ) are bounded from below away from zero, then the same result as in Main∈ Theorem 1 holds. The proof is as follows. : The non-inflating estimate comes from (c) by Bishop-Gromov volume comparison. Moreover, from (c), we have C3(t−s) ( ) B(x, r, s) B(x, e 2 ,t), s t, r> 0, x M. ∗ ⊂ ≤ ∈ Hence, we use ( ) instead of distance distortion in the proof of Main Theorem 1 and obtain the∗ claim in the same way as in the proof of Main Theorem 1. As we stated in the introduction, in dimension 2 and 3, the conditions (a) and (b) are sufficient to extend the flow smoothly over T. From Main Theorem 1, in dimension 4, we hope that the conditions (a) and (b) are sufficient to extend the flow over T in the sense of Theorem 4. 5 Appendix To be self-contained, we will describe the Vitali’s covering lemma used in the proof of Lemma 2.10 : Lemma 5.1 (Vitali’s covering lemma). Let be a collection of (nondegener- ate) balls in a metric space, with bounded radii.F Then there exists a disjoint subcollection of with the following property: every ball B in intersects a ball C in suchG thatF B 4C, where 4C denotes the ball with theF same center of C and fourG times the radius⊂ of C. Proof. Let R := sup rad(B) B and define { | ∈F} n 1 n := B rad(B) ((3/2)− − R, (3/2)− R ] (0 n N). Fn ∈F ∈ ≤ ∈ Here, rad(B) denotes the radius of B in the metric space. n n and n n are defined inductively as follows: G ⊂F H ⊂F 0 := 0 and 0 := the maximal disjoint subcollection of 0 . AssumingH F , G , {, have been defined, let H } G0 G1 ··· Gn := B B C = , C Hn+1 ∈Fn+1 ∩ ∅ ∀ ∈ G0 ··· Gn [ [ and be the maximal disjoint subcollection of . Then Gn+1 Hn+1 ∞ := G Gn ⊂F n=0 [ satisfies the requirements. Indeed, let n be such that B belongs to n. Either B does not belong to , which implies n > 0 and means that B intersenctsF Hn 25 a ball from the union of 0, , n 1, or B n and by maximality of n, G ··· G − ∈ H G B intersects a ball in n. In any case, B intersect a ball C that belongs to the G 3 n 1 union of 0, , n. Such a ball C has radius > ( 2 )− − R. Since the radius of 3G n··· G 3 B is ( )− R, we obtain that B (1+2 ( ))C =4 C. ≤ 2 ⊂ · 2 · Acknowledgement I would like to thank my supervisor Kazuo Akutagawa for helpful conversations and support. I would also like to thank the referee for pointing out the lack of explanation and typos in the first draft of this paper. References [Akutagawa 1994] K. Akutagawa, Yamabe metrics of positive scalar curva- ture and conformally flat manifolds, Differential Geom. Appl. 4 (1994), 239–258. [Anderson 2008] M. Anderson, A survey of Einstein metrics on 4-manifolds, arXiv preprint arXiv:0810.4830, 2008. [Bamler 2018] R. H. Bamler, Convergence of Ricci flows with bounded scalar curvature, Ann. of Math. 188 (2018), 753–831. [Bamler 2020a] R. H. Bamler, Compactness theory of the space of Super Ricci flows, arXiv preprint arXiv:2008.09298, 2020. [Bamler 2020b] R. H. Bamler, Entropy and heat kernel bounds on a Ricci flow background, arXiv preprint arXiv:2008.07093, 2020. [Bamler 2020c] R. H. Bamler, Structure theory of non-collapsed limits of Ricci flows, arXiv preprint arXiv:2009.03243, 2020. [Bamler and Zhang 2017] R. H. Bamler and Q. S. Zhang, Heat kernel and curva- ture bounds in Ricci flows with bounded scalar curvature, arXiv preprint arXiv:1501.01291, 2015. [Bamler and Zhang 2019] R. H. Bamler and Q. S. Zhang, Heat kernel and cur- vature bounds in Ricci flows with bounded scalar curvature–Part II Calc. Var. Partial Differential Equations 58 (2019), 1–14. [Bando et al. 1989] S. Bando, A. Kasue and H. Nakajima, On a construction of coordinates at infinity on manifolds with fast curvature decay and maximal volume growth, Invent. Math. 97 (1989), 313–349. [Burago et al. 2001] D. Burago, Y. Burago andS. Ivanov, A course in metric geometry, AMS 33, 2001. 26 [Buzano and Di Matteo 2020] R. Buzano and G. Di Matteo, A Local Sin- gularity Analysis for the Ricci Flow and its Applications to Ricci Flows with Bounded Scalar Curvature, arXiv preprint arXiv:2006.16227, 2020. [Carron 1994] G. Carron, In´egalit´es isop´erim´etriques sur les vari´et´es riemanni- ennes, Th´ese de doctorat en Math´ematiques (1994). [Chen and Wang 2012] X. Chen and B. Wang, Space of Ricci flows I, Comm. Pure Appl. Math. 65 (2012), 1399–1457. [Chow and Knopf 2008] B. Chow and D. Knopf, The Ricci flow: An introduc- tion, Mathematical surveys and monographs 110, AMS, 2008. [DeTurck 1983] D. DeTurck, Deforming metrics in the direction of their Ricci tensors, J. Differential Geom. 18 (1983), 157–162. [Hamilton 1982] R. S. Hamilton, Three-manifolds with positive Ricci curvature, J. Differential Geom. 17 (1982), 255–306. [Hamilton 1995] R. S. Hamilton, The formation of singularities in the Ricci flow, Surv. Differ. Geom. 2 (1995), 7–136. [He 2014] F.He, Remarksontheextensionofthericciflow, J.Geom. Anal. 24 (2014), 81–91. [Jian 2020] W. Jian, Global ǫ-regularity for 4-dimensional Ricci flow with in- tegral scalar curvature bound, arXiv preprint arXiv:2008.06881, 2020. [Di Matteo 2020] G. Di Matteo, Mixed integral norms for Ricci flow, J. Geom. Anal. 185 (2020), doi:10.1007/s12220-020-00456-5. [Morgan and Tian 2007] J. W. Morganand G. Tian, Ricci flow and the Poincar´e conjecture, AMS 3, 2007. [Seˇsumˇ 2005] N. Seˇsum,ˇ Curvature tensor under the Ricci flow, Amer. J. Math. 127 (2005), 1315–1324. [Perelman 2002] G. Perelman, The entropy formula for the Ricci flow and its geometric applications, arXiv preprint math/0211159, 2002. [Simon 2015a] M. Simon, Extending four dimensional Ricci flows with bounded scalar curvature, arXiv preprint arXiv:1504.02910, 2015. [Simon 2015b] M. Simon, Some integral curvature estimates for the Ricci flow in four dimensions, arXiv preprint arXiv:1504.02623, 2015. [Tian 1990] G. Tian, On Calabi’s conjecture for complex surfaces with posi- tive first Chern class, Invent. Math. 101 (1990), 101–172. 27 [Topping 2006] P. Topping, Diameter control under Ricci flow, Comm. Ana. Geom. 13 (2005), 1039–1055. [Topping 2006] P. Topping, Lectures on the Ricci flow, London Mathematical Society Lecture Note Series 325, 2006. [Wang 2008] B. Wang, On the conditions to extend Ricci flow, Int. Math. Res. Not. 2008 (2008), 2349–2367. [Ye 2007] R. Ye, The logarithmic Sobolev inequality along the Ricci flow, arXiv preprint arXiv:0707.2424, 2007. [Ye 2008] R. Ye, Curvature estimates for the Ricci flow I, Calc. Var. Partial Differential Equations 31 (2008), 417–437. [Zhang 2011] Q. S. Zhang, Bounds on volume growth of geodesic balls under Ricci flow, arXiv preprint arXiv:1107.4262, 2011. E-mail adress: [email protected] Department Of Mathematics, Chuo University, Tokyo 112-8551, Japan 28 0 be the positive constant from Lemma 2.9 and set ∈