UNIQUENESS AND STABILITY OF RICCI FLOW THROUGH SINGULARITIES
RICHARD BAMLER AND BRUCE KLEINER
Abstract. We show that three dimensional “Ricci flows through singularities” are uniquely determined by their initial data. To- gether with the corresponding existence result of the second au- thor and Lott this verifies a conjecture of Perelman, stating that every compact Riemannian manifold can be evolved to a unique and canonical singular Ricci flow. We furthermore show that such flows depend continuously on their initial data and we establish a stability result that also holds for Ricci flows with surgery. Our results have applications to the study of diffeomorphism groups of three manifolds — in particular the Generalized Smale Conjecture, — which will be described in a subsequent paper.
Contents
1. Introduction 2 2. Overview of the proof 13 3. Preliminaries I 26 4. Preliminaries II 31 5. A priori assumptions 37 6. Preparatory results 48 7. Semilocal maximum principle 78 8. Extending maps between Bryant solitons 88 9. Inductive step: extension of the comparison domain. 100 10. Inductive step: extension of the comparison map 122
Date: August 15, 2017. The first author was supported by a Sloan Research Fellowship and NSF grant DMS-1611906. The research was in part conducted while the first author was in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 2016 semester. The second author was supported by NSF grants DMS-1405899 and DMS- 1406394, and a Simons Collaboration grant. 1 2 RICHARD BAMLER AND BRUCE KLEINER
11. Proofs of the main results 166 Appendix A. Ricci-DeTurck flow and harmonic map heat flow 178 Appendix B. Properties of Bryant solitons 194 Appendix C. Properties of κ-solutions 195 Appendix D. Smoothing maps 199 References 200
1. Introduction
1.1. Background and overview. The understanding of many as- pects of Ricci flow has advanced dramatically in the last 15 years. This has led to numerous applications, the most notable being Perel- man’s landmark proof of the Geometrization and Poincar´eConjectures. Nonetheless, from an analytical viewpoint, a number of fundamental questions remain, even for 3-dimensional Ricci flow. One of these con- cerns the nature of Ricci flow with surgery, a modification of Ricci flow that was central to Perelman’s proof. Surgery, an idea initially developed by Hamilton, removes singularities as they form, allowing one to continue the flow. While Perelman’s construction of Ricci flow with surgery was spectacularly successful, it is not entirely satisfying due to its ad hoc character and the fact that it depends on a number of non-canonical choices. Furthermore, from the PDE point of view, Ricci flow with surgery does not provide a theory of solutions to the Ricci flow PDE, since surgery violates the equation. In fact, Perelman himself was aware of these drawbacks and drew attention to them in both of his Ricci flow preprints: “It is likely that by passing to the limit in this construc- tion [of Ricci flow with surgery] one would get a canon- ically defined Ricci flow through singularities, but at the moment I don’t have a proof of that” — [Per02, p.37]. “Our approach. . . is aimed at eventually constructing a canonical Ricci flow . . . a goal, that has not been achieved yet in the present work” — [Per03, p.1]. Motivated by the above, the paper [KL14] introduced a new notion of weak solutions to Ricci flow in dimension 3, and proved the existence of solutions for arbitrary initial data as well as a number of results about their geometric and analytical properties. UNIQUENESS AND STABILITY OF RICCI FLOW 3
The main theorem in this paper implies that the weak solutions of [KL14] are uniquely determined by their initial data. In combination with [KL14], this gives a proof of Perelman’s conjecture, and also shows that the initial value problem has a unique weak solution that depends continuously on its initial data, thereby solving the long-standing prob- lem of finding a satisfactory theory of weak solutions to the Ricci flow equation, in the 3-dimensional case. From a broader perspective, it is interesting to compare the results here with work on weak solutions to some other geometric PDEs. Regarding existence and partial regularity there is a vast literature. As with PDEs in general, proving existence of solutions requires a choice of objects and a topology that is strong enough to respect the equation, but weak enough to have some compactness properties; es- tablishing finer structure of solutions (e.g. partial regularity) requires, generally speaking, a mechanism for restricting blow-ups. For mini- mal surfaces, harmonic maps, and harmonic map heat flow, good no- tions of weak solutions with accompanying existence and partial reg- ularity theorems were developed long ago. By contrast, the theory of weak solutions to mean curvature flow, the Einstein equation and Ricci flow, are at earlier stages of development. For mean curvature flow, for instance, there are different approaches to weak solutions — (en- hanced) Brakke flows, level set flow — introduced over the last 40 years [Bra78, ES91, CGG91, Ilm94]. Yet in spite of deep results for mean convex or generic initial conditions [Whi00, Whi03, Whi05, CM16], to our knowledge the best results known for flows starting from a general compact smooth surface in R3 are essentially those of [Bra78], which are presumably very far from optimal. For the (Riemannian) Einstein equation there are many results in the Kahler case and on limits of smooth Einstein manifolds, but otherwise progress toward even a vi- able definition of weak solutions has been rather limited. Regarding uniqueness, our focus in this paper, much less is known. The paper [Ilm95] describes a mechanism for non-uniqueness stemming from the dynamical instability of cones, which is applicable to a number of geometric flows. This provides examples of non-uniqueness for mean curvature flow in high dimensions, while [Whi02] has examples of non- uniqueness for smooth surfaces in R3. Examples for harmonic map heat flow are constructed in [GR11, HHS14], and for Ricci flow in higher di- mensions, there are examples in [FIK03] which suggest non-uniqueness. Since any discussion of uniqueness must refer to a particular class of admissible solutions, the interpretation of some of the above examples is not entirely clear, especially in the case of higher dimensional Ricci 4 RICHARD BAMLER AND BRUCE KLEINER
flow where a definition of weak solutions is lacking. In the other direc- tion, uniqueness has been proven to hold in only a few cases: harmonic map heat flow with 2-dimensional domain [Str85], mean convex mean curvature flow [Whi03], and K¨ahler-Ricci flow [ST09, EGZ16]. These theorems rely on special features, like the fact that singularities oc- cur at a discrete set of times, and have a very restricted structure, or comparison techniques specific to scalar equations. The method of proving uniqueness used here is quite different in spirit from earlier work. Uniqueness is deduced by comparing two flows with nearby initial condition, and estimating the rate at which they diverge from one another. Due to the nature of the singularities, which might in principle occur at a Cantor set of times, the flows can only be compared after the removal their almost singular regions. Since one knows nothing about the correlation between the almost singular parts, the crux of the proof is to control the influence of effects emanating from the boundary of the truncated flows. In essence, uniqueness is deduced from a new strong stability property, which says that, roughly speaking, if two flows are initially close, away from their almost singular parts, then they remain so. Surprisingly, a consequence is that the strong stability result applies not just to Ricci flows with surgery and the weak solutions of [KL14], but to flows whose almost singular parts are allowed to evolve in an arbitrary fashion, possibly violating the Ricci flow equation. Together with the examples of non-uniqueness alluded to above, the uniqueness argument here suggests the following tentative criterion for when one might expect, and possibly prove, uniqueness for weak solu- tions to a given geometric flow:
(1) There should be a classification of all blow-ups — not just shrinking solitons. (2) The linearized equation should exhibit uniform strict stability on all blow-ups. (3) The blow-ups must have an additional quantitative rigidity prop- erty that allows one to “fill in” solutions to the perturbation equation over recently resolved singularities.
From a philosophical point of view (1) and (2) are completely natu- ral, if not obvious. However, implementation of even (1) can be quite difficult; indeed, to date there are few situations where such a classifi- cation is known. For more discussion of (3), we refer the reader to the overview of the proof in Section 2. In the case of 3-dimensional Ricci flow considered here, (3) turns out to be by far the most delicate point, UNIQUENESS AND STABILITY OF RICCI FLOW 5 and is responsible for much of the complexity in the proof. One may hope that the approach used here may be adapted to other situations to prove the stability and uniqueness of weak solutions, for instance mean curvature flow of 2-spheres in R3. We mention that our main result implies that weak solutions to Ricci flow behave well even when one considers continuous families of initial conditions. This leads to new results for diffeomorphism groups of 3-manifolds, which will be discussed elsewhere [BK].
1.2. History and status quo. We will now give a more detailed overview of Perelman’s “Ricci flow with surgery” and the concept of “weak Ricci flows”, as introduced by the second author and Lott. The reader who is already familiar with these concepts may skip this sub- section and proceed to the presentation of the main results in Subsec- tion 1.3. The Ricci flow equation
∂tg(t) = −2 Ric(g(t)), g(0) = g0. was introduced by Hamilton in his seminal paper [Ham82]. Any Rie- mannian metric g0 on a compact manifold can be evolved into a unique solution (g(t))t∈[0,T ). This solution may, however, develop a singularity in finite time. In [Per02], Perelman analyzed such finite-time singular- ities in the 3-dimensional case and showed that those are essentially caused by two behaviors: extinction (i.e. the flow becomes asymptotic to a shrinking round sphere) and the development of a neck pinch (i.e. a region of the manifold becomes more and more cylindrical, ≈ S2 ×R, modulo rescaling, while the diameter of the cross-sectional 2-sphere shrinks to zero). Based on this knowledge, Perelman specified a surgery process in which extinct components are being removed and neck pinch singular- ities are being excised by cutting along small cross-sectional 2-spheres and filling in the ensuing boundary components with 3-disks that are endowed with a standard cap metric. The metric resulting from this process is non-singular — or, depending on the construction, “less sin- gular” than the original metric — and the flow can be continued from this metric until it develops a new singularity, at which point the pro- cess is repeated. The product of this iterated construction is called a “Ricci flow with surgery”. More specifically, in some implementations of Perelman’s program, a Ricci flow with surgery is a sequence of con- ventional Ricci flows (g1(t))t∈[0,T1], (g2(t))t∈[T1,T2], (g3(t))t∈[T2,T3],... on 6 RICHARD BAMLER AND BRUCE KLEINER
surgery
Figure 1. In a Ricci flow with surgery (left figure) surg- eries are performed at a positive scale, whereas a singular Ricci flow (right figure) “flows through” a singularity at an infinitesimal scale.
compact manifolds M1,M2,M3,..., where (Mi+1, gi+1(Ti)) arises from (Mi, gi(Ti)) by a surgery process, as described before. As mentioned in Subsection 1.1, the construction of a Ricci flow with surgery depends on a variety of auxiliary parameters, for which there does not seem to be a canonical choice, such as: • the scale of the cross-sectional 2-sphere at which a neck pinch singularity is excised; this scale is often called the “surgery scale” • the precise position and number of these 2-spheres • the standard cap metric that is placed on the 3-disks which are glued into the 2-sphere boundary components • the method used to interpolate between this metric and the metric on the nearby necks. Different choices of these parameters may influence the future devel- opment of the flow significantly (as well as the space of future surgery parameters). Hence a Ricci flow with surgery cannot be constructed in a canonical way or, in other words, a Ricci flow with surgery is not uniquely determined by its initial metric. It is therefore a natural question whether a Ricci flow with surgery can be replaced by a more canonical object, which hopefully is uniquely determined by its initial data. This question was first addressed by the second author and Lott in [KL14], where the notion of a “singular Ricci flow” was introduced. In these flows surgeries are performed at an infinitesimal scale, as opposed to a Ricci flow with surgery, in which surgeries can only be performed at a positive scale (see Figure 1). In order to present the definition and summarize the construction of a singular Ricci flow, we need to introduce the spacetime picture of a UNIQUENESS AND STABILITY OF RICCI FLOW 7 t T 3 T M3 × [T2,T3] 3 M4 T2 surgery T2 T2 M2 × [T1,T2]
T1 surgery T1 T1 ∂t
M1 × [0,T1] 0 0
Figure 2. A Ricci flow with surgery (left figure) can be converted to a Ricci flow spacetime (right figure) by identifying pre and post-surgery time-slices and remov- ing surgery points. The white circles in the right figure indicate that surgery points were removed at times T1 and T2.
Ricci flow or a Ricci flow with surgery. So consider a Ricci flow with surgery consisting of the conventional Ricci flows (M1, (g1(t))t∈[0,T1]),
(M2, (g2(t))t∈[T1,T2]),... and form the following 4-dimensional spacetime manifold (see Figure 2 for an illustration): (1.1) M := M1 ×[0,T1]∪φ1 M2 ×[T1,T2]∪φ2 M3 ×[T2,T3]∪φ3 ... \S Here S denotes the set of surgery points, i.e. the set of points that are removed or added during a surgery step and φi : Mi ⊃ Ui → Ui+1 ⊂ Mi+1 are isometric gluing maps, which are defined away on the complement of the surgery points in Mi × {Ti} and Mi+1 × {Ti}. This construction induces a natural “time-function” t : M → [0, ∞), whose level-sets are called “time-slices”, as well as a “time-vector field” ∂t on M with ∂t · t = 1. The Ricci flows (g1(t))t∈[0,T1], (g2(t))t∈[T1,T2],... induce a metric g on the horizontal distribution {dt = 0} ⊂ T M, which satisfies the Ricci flow equation
L∂t g = −2 Ric(g).
The tuple (M, t, ∂t, g) is called a “Ricci flow spacetime” (see Defini- tion 3.1 for further details). We will often abbreviate this tuple by M. 8 RICHARD BAMLER AND BRUCE KLEINER
t M4
∂t
(M, g0)
Figure 3. Example of a 0-complete Ricci flow space- time with initial time-slice (M, g0).
Note that a Ricci flow spacetime M that is constructed from a Ricci flow with surgery by the procedure above is incomplete (see Defini- tion 3.4 for more details). More specifically, the time-slices correspond- ing to surgery times are incomplete Riemannian manifolds, because surgery points, consisting of necks near neck pinches or standard caps are not included in M. So these time-slices have “holes” whose “di- ameters” are ≤ Cδ, where δ is the surgery scale and C is a universal constant. A Ricci flow with this property is called “Cδ-complete” (see again Definition 3.4 for further details). In [KL14], the second author and Lott showed that every Riemannian manifold gives rise to — i.e. is the initial time-slice of — a Ricci flow spacetime M whose time-slices are “0-complete”, which we also refer to as “complete” (see Figure 3 for an illustration). This means that the time-slices of M may be incomplete, but each time-slices can be completed as a metric space by adding a countable set of points. Note that since the curvature after a singularity is not uniformly bounded, we cannot easily control the time until a subsequent singularity arises. In fact, it is possible — although not known at this point — that the set of singular times on a finite time-interval is infinite or even uncountable. Let us briefly review the construction of the (0-complete) Ricci flow spacetime M in [KL14]. Consider a sequence of Ricci flows with surgery with surgery scale δi → 0, starting from the same given initial metric, and construct the corresponding Ricci flow spacetimes Mδi as in (1.1). Using a compactness argument, the second author and Lott showed UNIQUENESS AND STABILITY OF RICCI FLOW 9 that, after passing to a subsequence, we have convergence
(1.2) Mδi −→ M in a certain sense. The Ricci flow spacetime M can then be shown to be 0-complete. We remark that even though the surgery scale in this flow is effec- tively 0, which seems more canonical than in a Ricci flow with surgery, the entire flow may a priori not be canonical; i.e. the flow is a priori not uniquely determined by its initial data. We also remind the reader that, while a Ricci flow spacetime de- scribes a singular flow, the metric tensor field g on M is not singular itself, since the spacetime manifold M does not “contain the singular points”. M describes the flow on away from the singular points. The full, singular, flow can be recovered from M by taking the metric com- pletion of the time-slices, but the Ricci flow equation is not required to hold on the added points in any weak sense. This is in contrast to weak forms of other geometric flows, such as the Brakke flow (generalizing mean curvature flow), which is in fact defined at singular points and therefore not smooth everywhere. In lieu of an interpretation of the Ricci flow equation at the (non- existing) singular points of a Ricci flow spacetime, it becomes necessary to characterize the asymptotic geometry in its almost singular regions. This achieved via the so-called “canonical neighborhood assumption”, which states that regions of high curvature are geometrically close to so-called “κ-solutions”, modulo rescaling (see Definition 3.7 for more details). κ-solutions (see Definition 3.5 for more details) arise naturally as blow-up limits of conventional 3-dimensional Ricci flows and they have also been shown to characterize high curvature regions in Ricci flows with surgery. Oversimplifying slightly, this has the implication that the high curvature part of the flow is locally either neck-like, or cap-like. Moreover, the second author and Lott showed that the (0- complete) Ricci flow spacetimes that arise in their construction in fact satisfy the canonical neighborhood assumption in a certain strong sense (for more details see the discussion after Definition 3.7).
1.3. Statement of the main results. We now state the main results of this paper in their full generality. Some of the terminology used in the following was informally introduced in the previous subsection. For precise definitions and further discussions we refer the reader to Section 4. 10 RICHARD BAMLER AND BRUCE KLEINER
Our first main result is the uniqueness of complete Ricci flow space- times that satisfy the canonical neighborhood assumptions. These flows were also sometimes called “weak Ricci flows” in the previous two subsections. Theorem 1.3 (Uniqueness of Ricci flow space-times, general form). There is a universal constant can > 0 such that the following holds. 0 0 0 Let (M, t, ∂t, g) and (M , t , ∂t0 , g ) be two Ricci flow space-times that are both (0,T )-complete for some T ∈ (0, ∞] and satisfy the can- canonical neighborhood assumption at scales (0, r) for some r > 0. 0 0 If the initial time-slices (M0, g0) and (M0, g0) are isometric, then the 0 0 0 flows (M, t, ∂t, g) and (M , t , ∂t0 , g ) are isometric as well.
More precisely, assume that there is an isometry φ :(M0, g0) → 0 0 0 (M0, g0). Then there is a unique smooth map φb : M[0,T ] → M[0,T ] such that
∗ 0 0 0 φb g = g, φb|M0 = φ, φb∗∂t = ∂t , t ◦ φb = t.
A Ricci flow spacetime is “(0,T )-complete”, if the 0-completeness property holds up to time T (see Definition 3.4). Both properties that are imposed on M and M0 in Theorem 1.3 hold naturally for the Ricci flow spacetimes constructed by the second author and Lott in [KL14]. So we obtain the following corollary.
Corollary 1.4. There is a universal constant can > 0 such that the following holds. For every compact Riemannian manifold (M, g) there is a unique (i.e. canonical) Ricci flow spacetime (M, t, ∂t, g) whose initial time- slice (M0, g0) is isometric to (M, g) and that is 0-complete, such that for every T > 0 the time-slab M[0,T ) satisfies the can-canonical neigh- borhood assumption at scales (0, rT ) for some rT > 0.
Note that by a modification of the arguments in [Bam17e, Bam17a, Bam17b, Bam17c, Bam17d], the flow M becomes non-singular past some time T > 0 and we have a curvature bound of the form |Rm| < C/t. So the scale rT in Corollary 1.4 can even be chosen independently of T . We highlight some aspects that make Theorem 1.3 surprisingly more general than expected: • The time-slices of M and M0 may have infinite diameter or volume. UNIQUENESS AND STABILITY OF RICCI FLOW 11
• The constant can is universal and does not depend on any geo- metric quantities. 0 • The initial time-slices M0, M0 are allowed to be singular. In other words, Theorem 1.3 also covers the case in which the flow starts from a manifold with cylindrical cusps. Theorem 1.3 will follow from an stability — or continuity — result for Ricci flow spacetimes. We first present a slightly less general, but more accessible version of this stability result. In the following theorem, we only require the completeness and the canonical neighborhood assumption to hold above some small scale , −2 i.e. at curvature . . As such, the theorem can also be used to compare two Ricci flows with surgery or a Ricci flow with surgery and and a Ricci flow spacetime, via the construction (1.1). Furthermore, we only require the initial time-slices of M and M0 be close in the sense that there is a sufficiently precise bilipschitz map φ, which may only be defined on regions where the curvature is not too large. As a consequence, the two Ricci flow spacetimes M, M0 can only be shown to be geometrically close. More specifically, the map φb is only bilipschitz and may not be defined on high curvature regions. The map φb is also not necessarily ∂t-preserving (see Definition 4.18), but it satisfies the harmonic map heat flow equation (see Definition 4.19). Theorem 1.5 (Comparing Ricci flow space-times, weak form). For every δ > 0 and T < ∞ there is an = (δ, T ) > 0 such that the following holds. Consider two (, T )-complete Ricci flow space-times M, M0 that each satisfy the -canonical neighborhood assumption at scales (, 1). Let φ : U → U 0 be a diffeomorphism between two open subsets U ⊂ 0 0 −2 M0, U ⊂ M0. Assume that |Rm| ≥ on M0 \ U and ∗ 0 |φ g0 − g0| ≤ . Assume moreover that the -canonical neighborhood assumption holds on U 0 at scales (0, 1). Then there is a diffeomorphism φb : Ub → Ub0 between two open subsets 0 0 Ub ⊂ M[0,T ] and Ub ⊂ M[0,T ] that evolves by the harmonic map heat flow and that satisfies φb = φ on U ∩ Ub and |φb∗g0 − g| ≤ δ.
−2 Moreover, |Rm| ≥ δ on M[0,T ] \ Ub 12 RICHARD BAMLER AND BRUCE KLEINER
We remark that the condition that the -canonical neighborhood assumption holds on U 0 at scales (0, 1) is automatically satisfied if the curvature scale on U 0 is > , which is implied by a bound of the form |Rm| < c−2 on U 0 (see Definition 3.7 for further details). As an application of Theorem 1.5 we obtain: Corollary 1.6. Let (M, g) be a compact Riemannian manifold and construct Ricci flows with surgery starting from (M, g) for a sequence of surgery scales δi. Let Mδi be the corresponding Ricci flow spacetimes, as defined in (1.1). Then the Mδi converge to a unique Ricci flow spacetime as in (1.2).
Lastly, we state the stability theorem for Ricci flow spacetimes in its full generality. The following theorem is an improvement of Theo- rem 1.5 for the following reasons: • It provides additional information on the bilipschitz constant and establishes a polynomial dependence on the curvature. • It states that the precision of the canonical neighborhood as- sumption can be chosen independently of time and bilipschitz constant. • In provides a condition under which the map φb is almost sur- jective. Theorem 1.7 (Comparing Ricci flow space-times). There is a constant E < ∞ such that for every δ > 0, T < ∞ and E ≤ E < ∞ there are constants can = can(E), = (δ, T, E) > 0 such that for all 0 < r ≤ 1 the following holds. Consider two (r, T )-complete Ricci flow space-times M, M0 that each satisfy the can-canonical neighborhood assumption at scales (r, 1). Let φ : U → U 0 be a diffeomorphism between two open subsets U ⊂ 0 0 −2 M0, U ⊂ M0. Assume that |Rm| ≥ (r) on M0 \ U and ∗ 0 2E E |φ g0 − g0| ≤ · r (|Rm| + 1) .
Assume moreover that the can-canonical neighborhood assumption holds on the image of φ at scales (0, 1). Then there is a diffeomorphism φb : Ub → Ub0 between two open subsets 0 0 Ub ⊂ M[0,T ] and Ub ⊂ M[0,T ] that evolves by the harmonic map heat flow and satisfies φb = φ on U ∩ Ub |φb∗g0 − g| ≤ δ · r2E(|Rm| + 1)E. −2 Moreover, we have |Rm| ≥ r on M[0,T ] \ Ub. UNIQUENESS AND STABILITY OF RICCI FLOW 13
−2 0 0 If additionally |Rm| ≥ (r) on M0 \ U , then we also have |Rm| ≥ −2 0 0 r on M[0,T ] \ Ub . 1.4. Acknowledgements. The first named author would like to thank Bennet Chow for pointing out his paper with Greg Anderson (see [AC05]).
2. Overview of the proof
In this section we will discuss the most important ideas of our proofs. We will then give some suggestions for reading the paper. The main part of the paper is concerned with the proof of the Strong Stability Theorem, Theorem 1.7, which asserts that two Ricci flow spacetimes are geometrically close, given that their initial data are geometrically close and we have completeness as well as the canonical neighborhood assumption in both spacetimes above a sufficiently small scale. All other results of this paper will follow from this theorem. In particular, the Uniqueness Theorem, Theorem 1.3, will follow from the Strong Stability Theorem via a limit argument. In the following subsections we will give an overview over the proof of the Strong Stability Theorem. In Subsection 2.1, we will first mo- tivate our construction by reviewing the classical case. After that, in Subsection 2.2, we will give a basic description of our construction in the general setting. We will provide incremental refinements of this description in the subsequent subsections, which will be interspersed with subsections introducing necessary tools. In the following we will mostly consider two Ricci flow spacetimes 0 0 0 M and M , whose initial time-slices, (M0, g0) and (M0, g0), are geo- metrically close or even isometric. Our goal will be the construction of a map φ : M ⊃ U → M0, defined on a sufficiently large domain U, whose bilipschitz constant is sufficiently close to 1. In Theorem 1.7, this map is denoted by φb. However, in the main part of this paper, as well as in this overview, the hat will be omitted.
2.1. The classical case. We will first discuss our main strategy in the setting in in which both Ricci flow spacetimes M and M0 are given by ordinary, non-singular Ricci flows (M, g(t)) and (M 0, g0(t)) on compact manifolds M and M 0. This classical case, which has been well understood, will motivate our construction in the singular case. Consider a smooth family of diffeomorphism φ(t): M → M 0 and consider the family of difference tensors h(t) := (φ(t))∗g0(t) − g(t), 14 RICHARD BAMLER AND BRUCE KLEINER
N 5
N 4
φ N 3 −−−−−−−→
N 2
N 1
M M0
Figure 4. Comparison domain N ⊂ M and compari- son φ between M and M0. which quantify the deviation of φ(t) from being an isometry. It has been observed by DeTurck (see [DeT83]) that if the family of inverse maps φ−1(t) evolves by the harmonic map heat flow, then h(t) satisfies the Ricci-DeTurck equation for perturbations 2 (2.1) ∂th(t) = 4g(t)h(t)+2 Rmg(t)(h(t))+∇h(t)∗∇h(t)+h(t)∗∇ h(t).
Here Rmg(t)(h(t)) is linear in h(t), and we are using the standard con- vention that ∗ denotes a bilinear expression with coefficients given by a universal expression of the metric. The equation (2.1) is non-linear and strongly parabolic. So if h(0) ≡ 0, meaning that φ(0) : (M, g(0)) → (M 0, g(0)) is an isometry, then we must have h(t) ≡ 0 for all t ≥ 0, and therefore the Ricci flows g(t), g0(t) are isometric. On the other hand, if h(0) is small, in a certain sense, then h(t) re- mains small for some time. Moreover, if we also assume that ∇h(t) and ∇2h(t) are small, then we can approximate (2.1) by its linearization, the linearized Ricci-DeTurck equation:
(2.2) ∂th(t) ≈ 4g(t)h(t) + 2 Rmg(t)(h(t)).
Equations (2.1) and (2.2) will play a central role in our paper. They will enable us to view g0(t) as a perturbation g(t) + h(t) of g(t) on M.
2.2. The construction process, I. We will now generalize the con- struction in the classical case, as described in the previous subsection, to the singular setting. For this purpose, let us first express this con- struction using the terminology of Ricci flow spacetimes. Assume for UNIQUENESS AND STABILITY OF RICCI FLOW 15 the moment that M and M0 are non-singular and given by classi- cal Ricci flows (M, g(t)) and (M 0, g0(t)), i.e. M = M × [0,T ) and M = M 0 × [0,T ). Using the spacetime terminology, the family of diffeomorphisms φ(t): M → M 0, as introduced in the previous subsec- tion, can be viewed as a time-preserving diffeomorphism φ : M → M0 and h(t) can be viewd a tensor field on the horizontal (space-like) dis- tribution on M. We will still say that φ−1 satisfies the harmonic map heat flow equation and that h satisfies the Ricci-DeTurck equation for perturbations (2.1). Consider now the general case in which M and M0 may be singular. In this case, we will define φ only in regions of M that are not too singular, i.e. the domain of φ will only consist of points whose curvature is not too large. Note that this means that we will effectively solve the harmonic map heat flow equation with a boundary condition. The main objects of our construction are a subset N ⊂ M, called the comparison domain, and a time-preserving diffeomorphism onto its image φ : N → M0, called the comparison (map) (compare with Figure 4). This map induces the perturbation h := φ∗g0 − g on N , which satisfies the Ricci- DeTurck equation for perturbations (2.1). The comparison φ will be constructed in such a way as to ensure that |h| ≤ ηlin, where ηlin is a sufficiently small constant. This condition will help us approximate the evolution of h by the linearized Ricci-DeTurck equation (2.2). We now provide further details on the construction of N and φ. For this purpose, we will introduce the concept of the curvature scale ρ, which is a function that agrees up to a bounded factor with R−1/2 when | Rm | is sufficiently large; here R denotes the scalar curvature. Note that ρ has the dimension of length. We will now fix a small comparison scale rcomp > 0. The comparison domain N will be constructed such that it roughly contains the points for which ρ & rcomp. So we have −2 −2 R ≤ Crcomp on N and R ≥ crcomp on M\N for some constants C, c > 0. The comparison domain N and comparison φ will be constructed 2 inductively in time-steps of size rcomp, generating a sequence of times 2 of the form tj = jrcomp. In each step we will ensure that N is of the form (2.3) N = N 1 ∪ N 2 ∪ ... ∪ N J ,
j where N is a product domain on the time-interval [tj−1, tj]. That is, the flow restricted to N j can be described by an ordinary Ricci flow parameterized by the time-interval [tj−1, tj] on the initial time- j j tj−1-slice of N . We will sometimes denote the initial time-slice of N 16 RICHARD BAMLER AND BRUCE KLEINER
j j j j by Ntj−1 and its final time-slice by Ntj . Note that Ntj−1 and Ntj are diffeomorphic, as N j is a product domain. The domain N j will be chosen in such a way that its space-like boundary consists of 2-spheres of diameter ≈ rcomp that are central spheres of sufficiently precise necks (see Figure 4 for an illustration). Due to fact that necks are shrinking, this will ensure that the bound- aries of the time-slabs N j are receding in a staircase pattern, as in- dicated in Figure 4. That is, the boundary of the initial time-slice of each N j is contained in the interior of the final time-slice of N j−1. The Ricci flow metric g restricted to each N j can be understood in terms of a classical Ricci flow, as N j is a product domain. As for the comparison domain, the comparison φ itself will restrict to maps
φj : N j → M0 on each product domain N j in such a way that the initial values of j j−1 j φ agree with the final values of φ on most parts of Ntj (we have omitted the exception of so-called cuts here, which we will address in Subsection 2.6). In each step of our construction, we start with a comparison domain N of the form (2.3) and a comparison φ on N and we construct the next time-slab N J+1, as well as the map φJ+1 on it. Once the initial values of φJ+1 have been fixed, the map φJ+1 will be constructed by solving a harmonic map heat flow equation for its inverse. Note here that since N J+1 in general has a space-like boundary (consisting of central 2-spheres of necks), this solution will depend on our choice of φJ+1 on or near these boundary spheres. In order to ensure that φJ+1 can be chosen to be close enough to an isometry near the boundary spheres — meaning that h is small near the boundary spheres, — we have to argue that both flows, M and M0 are sufficiently “neck-like” near the boundary spheres and their images under φJ+1. This will be achieved via a stability argument for necks in κ-solutions, but it will only work up to a certain error. For more details, we refer to Subsection 2.4.
2.3. Controlling the perturbation h. In order to control the per- turbations h, we will use an adaptation of an estimate due to An- derson and Chow (see [AC05]). For the sake of presentation, let us briefly return to the classical setting from Subsection 2.1, in which h is represented by a time-dependent family of perturbations h(t). Let us also assume for a moment that if h(t) satisfies the precise linearized UNIQUENESS AND STABILITY OF RICCI FLOW 17
Ricci-DeTurck equation (2.2). Then Anderson and Chow showed that
|h(t)| R satisfies a maximum principle, implying that its maximum is non- increasing in time. Here C is an arbitrary non-negative constant and R denotes the scalar curvature. This estimate implies that a perturbation h that is supported in a region of large scalar curvature will become small on a region of small scalar curvature at a later time. In the following we will exploit this phenomenon, since, heuristically, a possible deviation between two Ricci flow spacetimes M and M0 with similar or equal initial data can only be caused by the singular or almost singular regions, where the scalar curvature is very large. So even if M and M0 were a priori sig- nificantly different at those almost singular scales — resulting in a large perturbation h(t) there, — then this perturbation would be expected to decay as we move forward in time and towards regions of bounded curvature, which would establish an improved closeness there. More specifically, as remarked in the previous subsection, h may a priori only satisfy a rudimentary bound near the space-like boundary of each j −2 N . However, as R ≈ rcomp near such a boundary and rcomp is assumed to be small, Anderson and Chow’s estimate suggests a significant im- provement of this bound in regions where R ≈ 1. In our proof, it becomes necessary to modify Anderson and Chow’s estimate slightly in order to ensure that it also holds for solutions of the non-linear equation (2.1) and to obtain an improved decay towards regions of bounded curvature. We therefore consider quantities of the form |h| Q ≈ eH(T −t) ≈ eH(T −t)ρE|h| RE/2 for E > 2 and H > 0 (the definition in the case R < 1 is somewhat different, but this is not essential for this overview). It will turn out that if H is chosen sufficiently large and ηlin sufficiently small, depending only on E, then Q satisfies a so-called semi-local maximum principle. By this we mean that if h is defined and |h| ≤ ηlin on a sufficiently large backwards parabolic neighborhood P ⊂ M around some point (x, t), then 1 (2.4) Q(x, t) ≤ sup Q. 10 P 18 RICHARD BAMLER AND BRUCE KLEINER
The semi-local maximum principle can be used to propagate a bound of the form (2.5) Q ≤ Q throughout most parts of the comparison domain N . Here we will choose the constant Q in such a way that (2.5) holds automatically near the space-like boundary of the N j and such that (2.5) implies |h| ≤ ηlin wherever ρ ≥ rcomp. Note again that at scales ρ rcomp, the bound (2.5) implies a more precise bound on |h|, whose quality improves polynomially in ρ. We will also prove a generalization of the semi-local maximum prin- ciple, called the interior decay estimate. This estimate, states that 1 we can replace the factor 10 in (2.4) by an arbitrarily small constant α > 0, as long as we increase the size of the parabolic neighborhood P appropriately. So Q(x, t) ≤ α sup Q. P
The important detail here is that the constant ηlin in the bound |h| ≤ ηlin can be chosen independently of α. The interior decay estimate will enable us to improve an existing estimate on Q, and therefore on h, as long as we work far enough away from the parabolic boundary of the comparison domain N .
2.4. The construction process, II. We can now throw more light on the construction process of the comparison domain N and the com- parison φ, as first introduced in Subsection 2.2. In particular, we will be able to provide more insight into the mechanism that allows us to choose the map φJ+1 near the space-like boundary spheres of each time- slab N J+1 by matching corresponding neck structures in M and M0. Recall that a proper matching is necessary in order to ensure an bound on |h| near the boundary, which implies the bound Q ≤ Q. As explained in Subsection 2.2, geometric closeness of the neck struc- tures near the space-like boundary 2-spheres of N J+1 and their images under φJ+1 follows via a stability argument for necks in κ-solutions. This stability argument, however, relies on an estimate on |h| at time tJ , which requires an improved bound of the form (2.6) Q ≤ αQ for some fixed α 1. A priori this bound does not hold near the space-like boundary of N J . However, it can be obtained via the in- terior decay estimate, as long as the space-like boundaries of N j for j ≤ J are located far enough from the space-like boundary of N J+1, UNIQUENESS AND STABILITY OF RICCI FLOW 19 allowing large enough parabolic neighborhoods around the boundary spheres to be contained in N . This can be ensured by an appropriate construction of the comparison domain due to its staircase shape. More specifically, we will need to choose the product domains N j in such a way that the boundary 2-spheres in Figure 4 recede by a large enough distance compared to rcomp. This is possible, if the necks between two consecutive boundary spheres in any time-tj-slice “open up sufficiently slowly”. Recall that that necks near the boundary spheres belonging j 1 to the final time-slice of N have width ≈ 2 rcomp, while the necks near the boundary spheres belonging to the initial time-slice of N j+1 has width ≈ rcomp. So if the necks between both types of boundary spheres “open up slowly”, then their distance must be large compared with rcomp. The fact that these necks “open up slowly” can be guaranteed if the infimum of the curvature scale ρ on the complement of the ini- j tial time-tj-slice of N in the time-tj-slice of M is sufficiently small compared to rcomp.
2.5. The construction process, III. Next, we need to discuss a fur- ther obstacle in our construction of the comparison domain and map, which we have neglected so far. Namely, it turns out that the staircase construction, as indicated on the bottom half of Figure 4, can in general not be carried out ad infinitum, since the flow will become sufficiently non-singular at some time. So the curvature scale ρ may become larger than rcomp near the staircase region and it may be impossible to find J+1 sufficiently many 2-spheres of diameter ≈ rcomp bounding N . In fact, the staircase construction may be obstructed as soon as there is a cap region of scale comparable to rcomp. Therefore, it becomes necessary to choose N J+1 such that its initial time-slice contains regions that were not part of the final time-slice of N J . Such regions, which turn out to be diffeomorphic to 3-balls, are called extension caps. The main difficulty that extension caps bring J+1 along is that the initial data of the comparison map φ , at time tJ , cannot solely be chosen based on the final time-slice of φJ . So φJ+1 has to be chosen on these extension caps using a different mechanism, whose feasibility depends on whether the extension cap in M is geo- metrically close enough to the corresponding 3-ball region in M0. We emphasize here that the map φJ is not defined on the extension cap. So, a priori, there is no guarantee that the extension cap in M and the corresponding 3-ball region in M0 look alike. In order to overcome this obstacle, we recall that there is a natural candidate that often models the geometry near cap-like regions in Ricci 20 RICHARD BAMLER AND BRUCE KLEINER
flows, called the Bryant soliton. The Bryant soliton is a steady gradient soliton and a κ-solution, which is rotationally symmetric and can be expressed as a warped product
2 2 gBry = dr + a (r)gS2 , √ where a(r) ∼ r as r → ∞. Bryant solitons commonly occur as singularity models of Type-II blowups of singularity models, for example in the formation of a degen- erate neckpinch. Moreover, they also occur in Ricci flow spacetimes, when a singularity resolves. Unfortunately, it is not known to date whether Bryant solitons are the only models that describe such singu- larity formation/resolution processes. However, using a combination of results of Hamilton and Brendle ([Ham93a, Bre13]), it is possible to show that Bryant solitons in fact always describe the geometry at points where the curvature scale increases in time (i.e. where the scalar curvature decreases). Such points are abundant near a resolution of a singularity, as the curvature scale increases from zero to a positive value there in time. This observation will be central to our treatment of cap extensions. We will demonstrate that it is in fact possible to construct each ex- tension extension cap “at the right time”, meaning at a time when the geometry near the extension cap in M and its counterpart in M0 is sufficiently close to the Bryant soliton — at possibly different scales. The main strategy behind this right choice of time will be to choose two different thresholds for the curvature scale on N , specifying when an extension cap may and must be constructed. As curvature scales only grow slowly in time, this extra play will produce sufficiently many time-steps during which an extension cap may, but does not have to be constructed. It can be shown that at one of these time-steps the geometry in M and M0 is in fact close to a Bryant soliton. This time- step will then be chosen as the “right time” for the construction of the extension cap. The fact the the geometry near both the extension caps in M and the corresponding regions in M0 can be described by the same singu- larity model (the Bryant soliton) is necessary in order to construct the initial time-slice of φJ+1. However, it is not sufficient, as it is still not J guaranteed that φ at time tJ extends over the extension caps almost isometrically, due to the following reasons: • The scales at which we have geometric closeness to the Bryant soliton in M and M0 may differ. UNIQUENESS AND STABILITY OF RICCI FLOW 21
W \C C MtJ
φJ ψ
M0 tJ
J Figure 5. Extending the map φW \C over the extension cap C to an almost isometry ψ : W → W 0.
• The geometric closeness to the Bryant soliton may induce an al- most isometry between the extension cap in M and some region in M0 that is far from agreeing with the map φJ on the bound- ary of the extension cap. This would create a discontinuity of the initial data of φJ+1. • It is a priori not clear that this almost isometry and the map φJ are sufficiently close to allow the construction of an interpo- lation near the cap extension. These issues will be resolved by the so-called Bryant Extension Prin- ciple, which will be discussed in the next subsection.
2.6. The Bryant Extension Principle. In the process of determin- J+1 ing the initial data (at time tJ ) of φ on or near the extension caps, as mentioned in the previous subsection, we are faced with the follow- ing task (see Figure 5 for an illustration). We can find two regions W ⊂ M and W 0 ⊂ M0 in the time-t -time-slices of M and M0 that tJ tJ J are each geometrically close to a Bryant soliton modulo rescaling by some constants λ and λ0, respectively. Moreover, the region W con- J tains an extension cap C ⊂ MtJ . The map φ restricted to W \C is an almost isometric map W \ C → W 0. Our task is then to find another almost isometric map ψ : W → W 0, which is defined on the entire region W , and that coincides with φJ away from some neighborhood of C. Note that we do not necessarily require that ψ equal φJ everywhere on W \C; we allow both maps to differ in a neighborhood of C where an interpolation construction may take place. 22 RICHARD BAMLER AND BRUCE KLEINER
A necessary step in the construction of the almost isometry ψ will be showing that that the quotient of the scales λ0/λ nearly equals 1. J Furthermore, it will be necessary to show that the map φ |W \C : W \ C → W 0 is close enough to a homothety of the Bryant soliton models on W and W 0, in order to allow said interpolation construction. J Both steps can be carried out by relying on the fact that φ |W \C : W \ C → W 0 is an almost isometry in the sense that |h| is small. Unfortunately, however, the precision that can be achieved in both J steps deteriorates as we decrease the size of the domain of φ |W \C, or equivalently, as we increase the size of the extension cap C. This situation is analogous to a cantilever: The longer the cantilever, and the less rigid it is, the more its tip may wiggle. However, the rigidity of a cantilever depends not only on its length, but also on the rigidity of the construction at its base. A longer cantilever may be more stable than a short one, as long as the attachment at its base is chosen rigid enough to compensate for the increase in length. In our setup, the “’length of the cantilever” corresponds to the diam- eter of C and the “rigidity at the base” corresponds to the norm of the J perturbation h, which measures how close the map φ |W \C : W \ C → W 0 is to an isometry. Using the bound Q ≤ Q, we obtain a bound of the form
E/2 −E (2.7) |h| . R . ρ . Note that R → 0, i.e. ρ → ∞, as one goes to infinity on the Bryant soliton. So the bound (2.7) on |h| improves as we move further away from the tip of the Bryant soliton. It can now be shown that if the exponent E is chosen large enough, then this improvement compensates J 0 for the fact that it is more difficult to extend φ |W \C : W \C → W over a larger region. Therefore, the map ψ : W → W 0 can be constructed assuming that the extension cap C is large enough, and the larger C the closer ψ will be to an isometry. In fact, we will later even choose a larger 3-disk D ⊃ C and extend J 0 the — further restricted — map φ |W \D : W \ D → W to a map ψ : W → W 0. In doing so, we can improve the quality of the map ψ without having to choose a larger extension cap C. The 3-disk D will be called a cut.
2.7. The construction process, IV. By following the construction process, as described in Subsection 2.5, and applying the Bryant Exten- sion Principle, as described in Subsection 2.6, at each extension cap, we UNIQUENESS AND STABILITY OF RICCI FLOW 23 will be able to successively construct the comparison maps φ1, φ2,..., defined on the product domains N 1, N 2,.... Due to reasons that are beyond the scope of this outline we need to gain improved bounds on the induced perturbation h. For this reason, we will possibly modify the comparison map in a larger neighborhood around each extension cap, as explained at the end of Subsection 2.6. As a result, the initial time-slice of each φj may only agree with the final time-slice of φj−1 away from the union of cuts D around extension caps C. In other words, the maps φ1, φ2,... may only be combined to a continuous map φ on the complement of all cuts in the comparison do- main N . The maps φj−1 and φj restricted to each cut can be recovered from φ by passing to the left and right limits limt%tJ φ and limt&tJ φ. Recall from Subsection 2.6 that our construction hinged on a bound of the form Q ≤ Q. This bound will guarantee a bound of the form |h| ≤ ηlin in most parts of the comparison domain N and will enable us to construct comparison maps φj by solving the harmonic map heat flow equation. The bound Q ≤ Q will be propagated forward in time using the semi-local maximum principle, as described in Subsection 2.3.
While we may guarantee a bound of the form |h| ≤ ηlin on each cut (and therefore each extension cap) during the Bryant Extension pro- cess, the bound Q ≤ Q may not remain preserved; it may deteriorate by a fixed factor. Instead, we will show that a bound of the form
|h| ∗ Q∗ ≈ eH(T −t) ≈ eH(T −t)ρ3|h| ≤ Q R3/2 will still hold on each cut after the Bryant Extension process has been ∗ carried out. The constant Q will be chosen such that this bound is weaker than the bound Q ≤ Q at large scales, but such that it still implies the bound |h| ≤ ηlin wherever it holds on N . ∗ Both bounds, Q ≤ Q and Q∗ ≤ Q will be propagated via the semi- local maximum principle. The bound Q ≤ Q will hold at all points on the comparison domain N that are sufficiently far (in space and ∗ forward in time) from a cut. On the other hand, the bound Q∗ ≤ Q will hold sufficiently far (in space) from the space-like boundary spheres of N . It will follow that for a good choice of parameters at least one of these bounds holds at each point of the comparison domain N . We also ∗ ∗ remark that, more specifically, the bound Q ≤ Q will imply |h| ≤ ηlin wherever it holds on N , while the bound Q ≤ Q only implies |h| ≤ ηlin 1 whenever ρ > 10 rcomp. Again, it will turn out that this will guarantee that |h| ≤ ηlin on all of N . 24 RICHARD BAMLER AND BRUCE KLEINER
∗ In order to propagate the bounds Q ≤ Q and Q∗ ≤ Q via the semi-local maximum principle, it will sometimes become necessary to ∗ deduce a bound on Q from the bound Q∗ ≤ Q or vice versa. For example, a space-like boundary may occur after a Bryant Extension process has been performed at some extension cap. In this case, we may a priori lack the bound Q ≤ Q due to the existence of the ex- tension cap; however this bound is needed in order to construct the next comparison map via a matching of the neck-like structures as ex- plained in Subsection 2.4. In such a situation, we will instead rely on ∗ the bound Q∗ ≤ Q ; we will show that this bound improves as we move forward in time and eventually implies Q ≤ Q. In order to do this, it becomes necessary to ensure that no space-like boundary occurs near this extension cap in the meantime. We will achieve this by carefully choosing the times at which an extension cap is constructed and at which we have to create another space-like boundary component due to the removal of a region from the comparison domain.
2.8. Organization of the argument. The construction of the com- parison domain and comparison map has been outlined in Subsec- tions 2.2–2.7. In order to implement it in detail, formalization and modularity of the argument become central concerns. We will now explain how our arguments are structured on a technical level. The comparison domain N and the comparison map φ will be con- structed inductively on time-intervals of the form [tj−1, tj]. More specif- ically, we will assume inductively that N and φ are defined up to some time tJ (in the case tJ = 0, we will assume the existence of a map between subsets of the initial time-slices of M and M0). We will then extend N and φ to a new comparison domain and map that are de- fined up to time tJ+1. This extension process will be carried out in two steps. In the first step we will extend the comparison domain N J+1 up to time tJ+1 by adding a product domain of the form N (see Section 9). In the second step we will extend φ up to time tJ+1 by a map φJ+1 : N J+1 → M0 (see Section 10). Note that the first step relies both on the geometry of the old comparison domain N and the values of the old comparison map φ, as they will be used to decide whether an extension cap is constructed. Similarly, the second step relies on the choice of the product-domain N J+1 and the old the comparison map φ, which is defined up to time tJ . The results of both steps will be stated as self-contained propositions (Propositions 9.1 and 10.1). In doing so, we hope to facilitate the UNIQUENESS AND STABILITY OF RICCI FLOW 25 validation of our arguments, as the proofs of these propositions can be read independently or in opposite order. In Section 11 we will combine the results of both steps, finish the induction and deduce the main results of this paper. Due to the inductive nature of our construction book-keeping over all properties of newly constructed comparison domains and compar- isons becomes essential, since these properties would be “forgotten” in the subsequent induction step. This is achieved via the a priori as- sumptions, which are introduced in Section 5 along with several other important definitions. In our induction step, we will assume that the comparison domain and map (defined up to time tJ ) that we start out with satisfies these a priori assumptions and we will preserve these assumptions in the extension process. The statements of the a priori assumptions will involve a number of parameters, which will have to be chosen carefully. We will not assume these parameters to be fixed throughout the paper; instead, in each theorem, lemma or proposition we will include a list of restrictions on these parameters that serve as conditions for the hypothesis to hold. When finishing the induction, by combining our two main propositions, we will need to verify that these restrictions on the parameters do not stand in contradiction to one another. This can be verified most easily via the parameter order, as introduced in Subsection 5.5, by checking that the value of each parameter is only influenced by the values of the preceding parameters in this list. Throughout the entire paper, we will adhere to the convention that small (greek or arabic) letters stand for parameters that have to be chosen small enough and capital (greek or arabic) letters stand for parameters that have to be chosen sufficiently large. When stating theorems, lemmas or propositions, we will often express restrictions on parameters in the form
y ≤ y(x),Z ≥ Z(x).
By this we mean that there are constants y and Z, depending only on x such that if 0 < y ≤ y and Z ≥ Z, then the subsequent statements hold. Furthermore, in longer proofs, we will introduce a restriction on parameters in the same form as a displayed equation. This makes it possible for the reader to check quickly that these restrictions are accurately reflected in the preamble of the theorem, lemma or proposi- tion. Therefore, she/he may direct their full attention to the remaining details of the proof during the first reading. 26 RICHARD BAMLER AND BRUCE KLEINER
3. Preliminaries I
In the following we define the notions that are needed in the state- ment of the main results of this paper, as stated in Subsection 1.3. Definition 3.1 (Ricci flow spacetimes). A Ricci flow spacetime is a tuple (M, t, ∂t, g) with the following properties: (1) M is a smooth 4-manifold with (smooth) boundary ∂M. (2) t : M → [0, ∞) is a smooth function without critical points (called time function). For any t ≥ 0 we denote by t−1(t) ⊂ M the time-t-slice of M. −1 (3) M0 = t (0) = ∂M, i.e. the initial time-slice is equal to the boundary of M. (4) ∂t is a smooth vector field (the time vector field), which sat- isfies ∂tt ≡ 1. (5) g is a smooth inner product on the spatial subbundle ker(dt) ⊂ T M. For any t ≥ 0 we denote by gt the restriction of g to the time-t-slice Mt (note that gt is a Riemannian metric on Mt).
(6) g satisfies the Ricci flow equation: L∂t g = −2 Ric(g). Here Ric(g) denotes the symmetric (0, 2)-tensor on ker(dt) that re- stricts to the Ricci tensor of (Mt, gt) for all t ≥ 0. −1 For any interval I ⊂ [0, ∞) we also write MI = t (I) and call this subset the time-slab of M over the time-interval I. Curvature quan- tities on M, such as the Riemannian curvature tensor Rm, the Ricci curvature Ric, or the scalar curvature R will refer to the corresponding quantities with respect to the metric gt on each time-slice. Tensorial quantities will be imbedded using the splitting T M = ker(dt) ⊕ h∂ti. When there is no chance of confusion, we will sometime abbreviate the tuple (M, t, ∂t, g) by M.
Ricci flow spacetimes have been introduced by Kleiner and Lott (see [KL08]). The definition above is almost verbatim that of Kleiner and Lott’s with the exception that we require Ricci flow spacetimes to have initial time-slice at time 0 and no final time-slice. Ricci flows with surgery, as constructed by Perelman in [Per03], can be turned easily into Ricci flow spacetimes by removing a relatively small subset of surgery points. See (1.1) in Subsection 1.2 for further explanation. We emphasize that, while a Ricci flow spacetime may have singu- larities — in fact the sole purpose of our definition is to understand flows with singularities, — such singularities are not directly captured by a Ricci flow spacetime, as “singular points” are not contained in UNIQUENESS AND STABILITY OF RICCI FLOW 27 the spacetime manifold M. Instead, the idea behind the definition of a Ricci flow spacetime is to understand a possibly singular flow by analyzing its asymptotic behavior on its regular part.
Any (classical) Ricci flow of the form (gt)t∈[0,T ), 0 < T ≤ ∞ on a 3-manifold M can be converted into a Ricci flow spacetime by setting M = M × [0,T ), letting t be the projection to the second factor and letting ∂t correspond to the unit vector field on [0,T ). Vice versa, if (M, t, ∂t, g) is a Ricci flow spacetime with t(M) = [0,T ) for some 0 < T ≤ ∞ and the property that every trajectory of ∂t is defined on the entire time-interval [0,T ), then M comes from such a classical Ricci flow. Let us now generalize some basic geometric notions to Ricci flow spacetimes. Definition 3.2 (Length, distance and metric balls in Ricci flow space- times). Let (M, t, ∂t, g) be a Ricci flow spacetime. For any two points x, y ∈ Mt in the same time-slice of M we denote by d(x, y) or dt(x, y) the distance between x, y within (Mt, gt). The distance between points in different time-slices is not defined.
Similarly, we define the length length(γ) or lengtht(γ) of a path γ : [0, 1] → Mt whose image lies in a single time-slice to be the length of this path when viewed as a path inside the Riemannian manifold (Mt, gt).
For any x ∈ Mt and r ≥ 0 we denote by B(x, r) ⊂ Mt the r-ball around x with respect to the Riemannian metric gt. Our next goal is to characterize the (microscopic) geometry of a Ricci flow spacetime near a singularity or at an almost singular point. For this purpose, we will introduce a (curvature) scale function ρ : M → (0, ∞] with the property that (3.3) C−1ρ−2 ≤ |Rm| ≤ Cρ−2 for some universal constant C < ∞. The quantity ρ will be a (point- wise) function of the curvature tensor and therefore it can also be defined on (3-dimensional) Riemannian manifolds. For the purpose of this section, it suffices to assume that ρ = |Rm|−1/2. However, in order to simplify several proofs in subsequent sections, we will work with a slightly more complicated definition of ρ, which we will present in subsection 4.1 (see Definition 4.1). Nonetheless, the discussion in the remainder of this subsection and the main results of the paper, as presented in Subsection 1.3, remain valid for any definition of ρ that satisfies (3.3). 28 RICHARD BAMLER AND BRUCE KLEINER
We now define what we mean by completeness for Ricci flow space- times. Intuitively, a Ricci flow spacetime is called complete if its time slices can be completed by adding countably many “singular points” and if no component appears or disappears suddenly without the for- mation of a singularity. Definition 3.4 (Completeness of Ricci flow spacetimes). We say that a Ricci flow spacetime (M, t, ∂t, g) is (r0, t0)-complete, for some r0, t0 ≥
0, if the following holds: Consider a path γ : [0, s0) → M[0,t0] such that sups∈[0,s0) ρ(γ(s)) > r0 for all s ∈ [0, s0) and such that:
(1) Its image γ([0, s0)) lies in a time-slice Mt and the time-t length of γ is finite or (2) γ is a trajectory of ∂t or of −∂t.
Then the limit lims%s0 γ(s) exists.
If (M, t, ∂t, g) is (r0, t0)-complete for all t0 ≥ 0, then we also say that it is r0-complete. Likewise, if (M, t, ∂t, g) is 0-complete, then we say that it is complete. Note that the Ricci flow spacetimes constructed by Kleiner and Lott are 0-complete. A Ricci flow with surgery and δ-cutoff, as constructed by Perelman in [Per03], can be turned into a Ricci flow spacetime that is cδr-complete for some universal constant c > 0, as long as the cutoff is performed in an appropriate way1. Lastly, we need to characterize the asymptotic geometry of a Ricci flow spacetime near its singularities. This is done by the canoni- cal neighborhood assumption, a notion which is inspired by Perel- man’s work ([Per03]) and which appears naturally in the study of 3- dimensional Ricci flows. The idea is to impose the same asymptotic behavior near singular points in Ricci flow spacetimes as is encoun- tered in the singularity formation of a classical (smooth) 3-dimensional Ricci flow. The same characterization also holds in high curvature re- gions of Perelman’s Ricci flow with surgery that are far enough from “man-made” surgery points. Furthermore, an even stronger asymptotic
1As Perelman’s objective was the characterization of the underlying topology, he allowed (but did not require) the removal of macroscopic spherical components during a surgery step. In contrast, Kleiner and Lott’s version (cf [KL08]) of the cutoff process does not allow this. However, both cutoff approaches allow some flexibility on the choice of the cutoff spheres inside the -horns. Some of these choices may result in the removal of points of scale larger than cδr; in such a case cδr-completeness cannot be guaranteed. Nevertheless, in both approaches it is always possible to perform the cutoff in such a way that the resulting Ricci flow spacetime is cδr-complete. UNIQUENESS AND STABILITY OF RICCI FLOW 29 behavior was shown to hold on Ricci flow spacetimes as constructed by Kleiner and Lott in [KL14]. The singularity formation in 3-dimensional Ricci flows is usually un- derstood via singularity models called κ-solutions (see [Per02]). The definition of a κ-solution consists of a list of properties that are known to be true for 3-dimensional singularity models. Interestingly, these properties are sufficient to allow a qualitative (and sometimes quanti- tative) analysis of κ-solutions. We refer the reader to [Per02] for further details. Let us recall the definition of a κ-solution.
Definition 3.5 (κ-solution). An ancient Ricci flow (M, (gt)t∈(−∞,0]) on a 3-dimensional manifold M is called a (3-dimensional) κ-solution, for κ > 0, if the following holds:
(1)( M, gt) is complete for all t ∈ (−∞, 0], (2) |Rm| is bounded on M × I for all compact I ⊂ (−∞, 0],
(3) secgt ≥ 0 on M for all t ∈ (−∞, 0], (4) R > 0 on M × (−∞, 0], (5)( M, gt) is κ-noncollapsed at all scales for all t ∈ (−∞, 0] (This means that for any (x, t) ∈ M × (−∞, 0] and any r > 0 if |Rm| ≤ r−2 on the time-t ball B(x, t, r), then we have |B(x, t, r)| ≥ κrn for its volume.)
We will compare the local geometry of a Ricci flow spacetime to the geometry of κ-solution using the following concept of pointed closeness. Definition 3.6 (Geometric closeness). We say that a pointed Rie- mannian manifold (M, g, x) is -close to another pointed Riemannian manifold (M, g, x) at scale λ > 0 if there is a diffeomorphism onto its image ψ : BM (x, −1) −→ M such that ψ(x) = x and −2 ∗ λ ψ g − g C[−1](BM (x,−1)) < δ. Here the C[−1]-norm of a tensor h is defined to be the sum of the C0- norms of the tensors h, ∇gh, ∇g,2h,..., ∇g,[−1]h with respect to the metric g.
We can now define the canonical neighborhood assumption. The main statement of this assumption is that regions of small scale (i.e. high curvature) are geometrically close to regions of κ-solutions. 30 RICHARD BAMLER AND BRUCE KLEINER
Definition 3.7 (Canonical neighborhood assumption). Let (M, g) be a (possibly incomplete) Riemannian manifold. We say that (M, g) satisfies the -canonical neighborhood assumption at some point x if there is a κ > 0, a κ-solution (M, (gt)t∈(−∞,0]) and a point x ∈ M such that ρ(x, 0) = 1 and such that (M, g, x) is -close to (M, g0, x) at some (unspecified) scale λ > 0. We say that (M, g) satisfies the -canonical neighborhood as- sumption at scales (r1, r2), for some 0 ≤ r1 < r2, if every point x ∈ M with r1 < ρ(x) < r2 satisfies the -canonical neighborhood assumption.
We say that a Ricci flow spacetime (M, t, ∂t, g) satisfies the -ca- nonical neighborhood assumption at a point x ∈ M if the same is true at x in the time-slice (Mt(x), gt(x)). Moreover, we say that (M, t, ∂t, g) satisfies the -canonical neighborhood assumption at scales (r1, r2) if the same is true for all its time-slices. Lastly, we say that a subset X ⊂ M satisfies the -canonical neighborhood assump- tion at scales (r1, r2), if the -canonical neighborhood assumption holds at all x ∈ X with ρ(x) ∈ (r1, r2). Note that we don’t assume a global lower bound on κ in this defi- nition. This slight generalization from other notions of the canonical neighborhood assummption does not create any serious issues, since by Perelman’s work ([Per02]), every 3-dimensional κ-solution is a κ0- solution for some universal κ0 > 0, unless it homothetic to a quotient of a round sphere (see assertion (a) of Lemma C.1 for further details). We also remark that in Definition 3.6 we have put extra care in describing how the C[−1]-norm has to be understood. The reason for this is that the model metric g in Definition 3.7 is not fixed. So it would be problematic, for example, to define the C[−1]-norm using coordinate charts on M, as the number and sizes of those coordinate charts may depend on the Riemannian manifold (M, g). It may seem more standard to require spacetime closeness to a κ- solution on a backwards parabolic neighborhood — as opposed to close- ness on a ball in a single time-slice — in the definition of the canonical neighborhood assumption. Such a condition would be stronger and, as our goal is to establish a uniqueness property, it would lead to a for- mally less general statement. We point out that spacetime closeness to a κ-solution is a rather straight forward consequence of time-slice close- ness. The main purpose of the use of time-slice closeness in our work is because our uniqueness property also applies to Ricci flow spacetime with singular initial data. For this reason the canonical neighborhood UNIQUENESS AND STABILITY OF RICCI FLOW 31 assumption also has to be applicable to the initial time-slice M0 or to time-slices Mt for small t.
4. Preliminaries II
In this section we present basic definitions and concepts that will be important for the proofs of the main results of this paper.
4.1. Curvature scale. As mentioned in section 3, we will now define a notion of a curvature scale ρ that will be convenient for our proofs. 1 −1/2 The main objective in our definition will be to ensure that ρ = ( 3 R) wherever the sectional curvature is almost positive. For this purpose, observe that there is a constant c0 > 0 such that the following holds. Whenever Rm is an algebraic curvature tensor with the property that its scalar curvature R is positive and all its sectional curvatures are 1 1 bounded from below by − 10 R, then c0|Rm| ≤ 3 R. We will fix c0 for the remainder of this paper. Definition 4.1 (Curvature scale). Let (M, g) be a 3-dimensional Rie- mannian manifold and x ∈ M a point. We define the (curvature) scale at x to be 1 −1/2 −1/2 (4.2) ρ(x) = min 3 R+(x) , c0|Rm|(x) . −1/2 Here R+(x) := max{R(x), 0} and we use the convention 0 = ∞.
If r0 > 0, then we set ρr0 (x) := min{ρ(x), r0}. Lastly, if (M, t, ∂t, g) is a Ricci flow spacetime, then we define ρ, ρr0 : M → R such that they restrict to the corresponding scale functions on the time-slices. Lemma 4.3. There is a universal constant C < ∞ such that (4.4) C−1ρ−2(x) ≤ |Rm|(x) ≤ Cρ−2(x).
Moreover, there is a universal constant 0 > 0 such that if x satisfies the can-canonical neighborhood assumption for some can ≤ 0, then R(x) = 3ρ−2(x).
Proof. The bound (4.4) is obvious. For the second part of the lemma observe that for sufficiently small can we have R(x) > 0 and sec ≥ 1 1 −1/2 −1/2 − 10 R(x) at x. So ( 3 R+(x)) ≤ (c0|Rm|(x)) .
1 The normalization constant 3 in front of the scalar curvature in (4.2) is chosen purely for convenience. More specifically, we will frequently consider the following round shrinking cylinder evolving by Ricci flow: 2 2 S × , (gt = ( − 2t)gS2 + g ) 1 . R 3 R t∈(−∞, 3 ] 32 RICHARD BAMLER AND BRUCE KLEINER
The scale of this cylinder and the normalization of the curvature scale have been chosen in such a way that ρ(·, 0) ≡ 1 and ρ(·, −1) ≡ 2 hold, which can be remembered easily; more generally, we have √ ρ(·, t) ≡ 1 − 3t. Definition 4.5 ((Weakly) thick and thin subsets). Let X be a subset of a Riemannian manifold (M, g) or Ricci flow spacetime (M, t, ∂t, g) and r > 0 a number. We say that X is r-thick if ρ(X) > r and weakly r-thick if ρ(X) ≥ r. Similarly, we say that X is r-thin or weakly r-thin if ρ(X) < r or ρ(X) ≤ r, respectively.
4.2. Basic facts about the Bryant soliton. In the following, we will denote by (MBry, (gBry,t)t∈R) the Bryant soliton and with tip xBry ∈ MBry normalized in such a way that ρ(xBry) = 1. The Bryant soliton was first constructed [Bry05]. A more elementary construction can also be found in [App17]. Recall that (MBry, (gBry,t)t∈R) is a steady gradi- ent soliton all whose time-slices are rotationally symmetric with center xBry. More specifically, (MBry, gBry,t) can be expressed as a warped product of the form 2 2 gBry,t = dσ + wt (σ)gS2 √ where wt(σ) ∼ σ for large σ. We refer to Lemma C.1 for a more extensive list of properties of the Bryant soliton that are being used in this paper.
We will set gBry := gBry,0 for the time-0-slice of the Bryant soliton. Furthermore, we will denote by MBry(r) := B(xBry, r) the r-ball around the tip with respect to gBry and for 0 < r1 < r2, we will denote by MBry(r1, r2) the open (r1, r2)-annulus around xBry.
4.3. Geometry of Ricci flow spacetimes. The goal of this subsec- tion is to introduce several notions that we will frequently use in order to describe points or subsets in Ricci flow spacetimes.
Definition 4.6 (Points in Ricci flow spacetimes). Let (M, t, ∂t, g) be a Ricci flow spacetime and x ∈ M be a point. Set t := t(x). Consider the maximal trajectory γx : I → M, I ⊂ [0, ∞) of the time-vector field 0 0 0 ∂t such that γx(t) = x. Note that then t(γx(t )) = t for all t ∈ I. For any t0 ∈ I we say that x survives until time t0 and we write 0 0 x(t ) := γx(t ).
Similarly, if X ⊂ Mt is a subset in the time-t time-slice, then we say that X survives until time t0 if this is true for every x ∈ X and we set X(t0) := {x(t0): x ∈ X}. UNIQUENESS AND STABILITY OF RICCI FLOW 33
We will also coin the following two notions.
Definition 4.7 (Time-slice of a subset). Let (M, t, ∂t, g) be a Ricci flow spacetime and let X ⊂ M be a subset. For any time t ∈ [0, ∞) we define the time-t-slice of X to be Xt := X ∩ Mt and for any interval I ⊂ [0, ∞) we define the I-time-slab of X to be XI := X ∩ MI .
Definition 4.8 (Product domain). Let (M, t, ∂t, g) be a Ricci flow spacetime and let X ⊂ M be a subset. We call X a product domain if there is an interval I ⊂ [0, ∞) such that for any t ∈ I any point x ∈ X survives until time t and x(t) ∈ X.
Note that a product domain X can be identified with the product
Xt0 × I for an arbitrary t0 ∈ I. If Xt0 is sufficiently regular (e.g. open or a domain with smooth boundary in Mt0 ), then the metric g induces a classical Ricci flow (gt)t∈I on Xt0 . We will often use the metric g and the Ricci flow (gt)t∈I synonymously when our analysis is restricted to a product domain.
Definition 4.9 (Parabolic neighborhood). Let (M, t, ∂t, g) be a Ricci flow spacetime. For any y ∈ M we let Iy ⊂ [0, ∞) be the set of all times until which y survives. Now consider a point x ∈ M and two numbers a ≥ 0, b ∈ R. Set t := t(x). Then we define the parabolic neighborhood P (x, a, b) ⊂ M as follows: [ [ P (x, a, b) := y(t0). 0 y∈B(x,a) t ∈[t,t+b]∩Iy If b < 0, then we replace [t, t + b] by [t + b, t]. We call P (x, a, b) unscathed if B(x, a) is relatively compact in Mt and if Iy ⊃ [t, t + b] or Iy ⊃ [t + b, t] ∩ [0, ∞) for all y ∈ B(x, a). Lastly, for any r > 0 we introduce the simplified notation P (x, r) := P (x, r, −r2).
Note that if P (x, a, b) is unscathed, then it is a product domain of the form B(x, a, b) × Iy for any y ∈ B(x, a). We emphasize that P (x, a, b) can be unscathed even if t + b < 0, that is when it hits the initial time- slice earlier than expected. So an unscathed parabolic neighborhood is not necessarily of the form B(x, a) × [t + b, t] if b < 0.
4.4. Necks. Borrowing from Definition 3.6 we will introduce the no- tion of a δ-neck. Definition 4.10 (δ-neck). Let (M, g) be a Riemannian manifold and U ⊂ M an open subset. We say that U is a δ-neck at scale λ > 0 if 34 RICHARD BAMLER AND BRUCE KLEINER there is a diffeomorphism ψ : S2 × −δ−1, δ−1 −→ U such that −2 ∗ 2 2 λ ψ g − 3 gS + gR C[δ−1](S2×(−δ−1,δ−1)) < δ. We call the image ψ(S2 × {0}) a central 2-sphere of U and every point on a central 2-sphere a center of U.
Note that by our convention (see Definition 4.1) we have ρ ≡ 1 on 2 2 (S × R, 3 gS2 + gR). So on a δ-neck at scale λ we have ρ ≈ λ, where the accuracy depends on the smallness of δ. We also remark that a δ-neck U has infinitely many central 2-spheres, as we may perturb ψ slightly. This is why we speak of a central 2-sphere of U, as opposed to the central 2-sphere. Similarly, the centers of U are not unique, but form an open subset of U.
4.5. Ricci-DeTurck flow and harmonic map heat flow. In this subsection we recall some of the basic facts about the harmonic map heat flow and the Ricci-DeTurck flow equation in the classical setting. More details, including precise statements of short-time existence and regularity of these flows, can be found in Appendix A. Consider two n-dimensional manifolds M,M 0, each equipped with a 0 smooth family of Riemannian metrics (gt)t∈[0,T ],(gt)t∈[0,T ]. Let more- 0 over (χt)t∈[0,T ], χt : M → M be a smooth family of maps.
Definition 4.11. We say that the family (χt)t∈[0,T ] moves by har- 0 0 monic map heat flow between (M , gt) and (M, gt) if it satisfies the following evolution equation: n 0 X gt g (4.12) ∂ χ = 4 0 χ = ∇ dχ (e ) − dχ (∇ t e ) , t t gt,gt t dχt(ei) t i t ei i i=1 n 0 where {ei}i=1 is a local frame on M that is orthonormal with respect 0 to gt.
Assume now for the remainder of this subsection that (gt)t∈[0,T ] and 0 (gt)t∈[0,T ] evolve by the Ricci flow equations 0 ∂ g = −2 Ric , ∂ g = −2 Ric 0 . t t gt t t gt Furthermore, assume for the rest of this subsection that all the maps −1 χt are diffeomorphisms and consider their inverses φt := χt . A basic UNIQUENESS AND STABILITY OF RICCI FLOW 35 calculation (see Appendix A for more details) reveals that the pull back ∗ ∗ 0 gt := φt gt evolves by the Ricci-DeTurck flow equation ∗ ∗ (4.13) ∂ g = −2 Ric ∗ −L ∗ g , t t gt Xgt (gt ) t ∗ where the vector field Xgt (gt ) is defined by n ∗ ∗ X gt g (4.14) X (g ) := 4 ∗ id = ∇ e − ∇ t e , gt t gt ,gt M ei i ei i i=1 n ∗ for a local frame {ei}i=1 that is orthonormal with respect to gt . The advantage of the Ricci-DeTurck flow equation over the Ricci flow equation is that it is a non-linear, strongly parabolic equation ∗ ∗ in the metric gt . More specifically, if we express gt in terms of the ∗ perturbation ht := gt − gt, then (4.13) becomes the Ricci-DeTurck flow equation for perturbations
(4.15) ∇∂t ht = 4gt ht + 2 Rmgt (ht) + Qgt [ht].
Here we view gt is a background metric. All curvature quantities and covariant derivatives are taken with respect to gt. On the left-hand side of (4.15), we moreover use Uhlenbeck’s trick:
pq gt gt (∇∂t ht)ij = (∂tht)ij + gt Ricpj(∂tht)ij + Ricpi(∂tht)ij The expressions on the right-hand side of (4.15) are to be interpreted as follows: pq u Rmgt (ht) ij = gt Rpij (ht)qu 2 and Qgt [ht] is an algebraic expression in gt, ht, ∇ht, ∇ ht of the form
−1 −1 Qgt [ht] = (gt + ht) ∗ (gt + ht) ∗ ∇ht ∗ ∇ht −1 −1 −1 2 + (gt + ht) ∗ Rmgt ∗ht + (gt + ht) ∗ gt ∗ ht ∗ ∇ ht.
See (A.11) in Appendix A for an explicit formula for Qgt . The precise structure of the quantity Qgt will, however, not be of essence in this paper. We remark that in the classical setting and in the compact case, the uniqueness of solutions to the Ricci flow equation follows from the existence of solutions to (4.12) and the uniqueness of solutions to (4.15). 0 More specifically, for any two Ricci flows (gt)t∈[0,T ] and (gt)t∈[0,T ] on M 0 0 0∗ 0 and M for which there is an isometry χ : M → M with χ g0 = g0 one first constructs a solution (χt)t∈[0,τ) of (4.12), for some maximal τ < T , ∗ 0 with initial condition χ0 = χ. The resulting perturbation ht = φt gt−gt, −1 for φt = χt , solves (4.15), as long as it is well defined. As h0 ≡ 0, we obtain by uniqueness that ht ≡ 0, as long as it is defined. It then 36 RICHARD BAMLER AND BRUCE KLEINER follows that χt is an isometry for all t ∈ [0,T ] = [0, τ] and by (4.12) that ∂tχt ≡ 0.
In this paper we will mostly analyze solutions ht to (4.15) of small norm. Via a limit argument, such solutions can be understood in terms the linearized Ricci-DeTurck equation
0 0 0 ∇∂t ht = 4gt ht + 2 Rmgt (ht). For more details on this, see Section 7.
4.6. Maps between Ricci flow spacetimes. In this subsection con- 0 0 0 sider two Ricci flow spacetimes (M, t, ∂t, g) and (M , t , ∂t0 , g ), which we will abbreviate in the following by M and M0. Our goal will be to characterize maps between subsets of these spacetimes. Using the newly coined terminology, we will then generalize the notions intro- duced in the previous subsection to Ricci flow spacetimes. Definition 4.16 (Time-preserving and time-equivariant maps). Let X ⊂ M be a subset and φ : X → M0 be a map. We say that φ is time-preserving if t0(φ(x)) = t(x) for all x ∈ X. We say that φ is a-time-equivariant, for some a ∈ R, if there is some t0 ∈ R such that 0 t (φ(x)) = at(x) + t0 for all x ∈ X.
Observe that a time-preserving map is also 1-time-equivariant. Definition 4.17 (Time-slices of a map). If φ : X ⊂ M → M0 is time-equivariant and t ∈ [0, ∞) such that Xt = X ∩ Mt 6= ∅, then we denote by 0 0 φt := φ|Xt : Xt −→ Mt ⊂ M 0 0 the time-t-slice of φ. Here t is chosen such that φ(Xt) ⊂ Mt0 . 0 Definition 4.18 (∂t-preserving maps). Let φ : X → M be a dif- ferentiable map defined on a sufficiently regular domain X ⊂ M. If (dφ)∗∂t = ∂t0 , then we say that φ is ∂t-preserving.
Note that the image of a product domain under a time-equivariant and ∂t-preserving map is again a product domain. Definition 4.19 (Harmonic map heat flow). Let Y ⊂ M0 be a subset. We say that a map χ : Y → M evolves by harmonic map heat flow 0 if it is 1-time-equivariant and if at all times t, t ∈ [0, ∞) with Yt 6= ∅ 0 and χ(Yt0 ) ⊂ Mt the identity
(4.20) dχ(∂ 0 ) = ∂ + 4 0 χ t t gt,gt t UNIQUENESS AND STABILITY OF RICCI FLOW 37 holds on the interior of Y . The last term in this equation denotes the 0 0 Laplacian of the map ψt :(Mt0 , gt0 ) → (Mt, gt) (see (4.12) for further details). It is not difficult to see that the notions of harmonic map heat flow in Definition 4.19 corresponds to Definition 4.11 in the case in which M 0 and M can be described in terms of classical Ricci flows (M, (gt)t∈I ) 0 0 and (M , (gt)t∈I0 ), respectively. The same is true in the case in which χ is the inverse of a diffeomorphism φ : X → Y ⊂ M0, where X is a product domain in M whose time-slices are domains with smooth boundary. In this case, which will be of main interest for us (see Def- inition 5.2), the equation (4.20) makes sense and holds, by continuity, on all of Y . Next, we generalize the concept of Ricci-DeTurck flow to the setting of Ricci flow spacetimes. Definition 4.21. Consider a smooth symmetric (0, 2)-tensor h on the subbundle ker(dt) ⊂ T M over a sufficiently regular domain N ⊂ M (in this paper we will only consider the case in which N is a domain with smooth boundary or is a product domain whose time-slices are domains with smooth boundary). We say that h is a Ricci-DeTurck perturbation (on N) if
(4.22) L∂t (g + h) = −2 Ric(g + h) − LXg(g+h)(g + h), where Xg(g + h) is defined on each time-slice Xt as in (4.14). If X is a product domain of the form X0 × I, and if we identify g and h with smooth families of the form (gt)t∈I and (ht)t∈I , then (4.22) is equivalent to the classical Ricci-DeTurck equation (4.13). The following lemma is an immediate consequence of our discussion from Subsection 4.5. Lemma 4.23. Let X ⊂ M be open or a product domain whose time- slices are domains with smooth boundary and consider a diffeomor- phism φ : X → Y := φ(X) ⊂ M0. Assume that the inverse map φ−1 : Y → X evolves by harmonic map heat flow. Then the pertur- bation h := φ∗g0 − g is a Ricci-DeTurck perturbation in the sense of Definition 4.21.
5. A priori assumptions
In this section we introduce the objects and conditions that will be used to formulate and prove the main result, Theorem 11.1, which as- serts the existence of a certain type of map between subsets of Ricci 38 RICHARD BAMLER AND BRUCE KLEINER
t5 ··· N 5
t4 N 4
t3 D extension cap N 3
t2 ··· N 2
t1 ···
N 1
t0 ···
Figure 6. Example of a comparison domain defined over the time-interval [0, t5] and a cut. The dark shaded regions indicate the picture of the comparison domain at integral time-steps t0, . . . , t5. The extension cap at time t3 is shaded very dark. This extension cap is contained in a cut D, which has a dashed outline. Note that this cut is part of a comparison and not the comparison do- main.
flow spacetimes. The domain of the map will be called a comparison do- main (Definition 5.1), and the map itself a comparison (Definition 5.2). The comparison and its domain will be subject to a number of a pri- ori assumptions (Definitions 5.4 and 5.5). These definitions have been tailored to facilitate an existence proof by induction over time steps. We recommend reading the overview in Section 2 prior to reading this section, because it provides motivation for the structures defined here, and gives some indication of the role they play in the proof. We refer the reader to Sections 3 and 4 for the definitions relevant to this section.
5.1. Comparison domains. We begin with a definition that collects the qualitative features of the domain of our comparison map. Addi- tional assumptions of a quantitative nature are imposed later, in the a priori assumptions. Loosely speaking, a comparison domain is a UNIQUENESS AND STABILITY OF RICCI FLOW 39 sequence of product regions N 1,..., N J defined on successive time in- tervals, whose time slices have spherical boundary (see Figure 6 for an illustration). One observes two types of behavior near the boundary as one transitions from one product region to the next: boundary com- ponents can either “recede”, or they can be filled in by 3-balls. In the main existence proof, the latter case corresponds to the situation when the comparison map is extended over a cap region lying in a subset that is approximated by a Bryant soliton; for this reason, we call the closures of such 3-balls extension caps. Definition 5.1 (Comparison domain). A comparison domain (de- fined over the time interval [0, tJ ]) in a Ricci flow spacetime M is j J a triple (N , {N }1≤j≤J , {tj}j=0), where:
(1) The times 0 = t0 < . . . < tJ partition the time-interval [0, tJ ]. j Each N (for 1 ≤ j ≤ J) is a subset of M[tj−1,tj ], and N = j ∪1≤j≤J N ⊂ M[0,tJ ]. (2) For all 1 ≤ j ≤ J the subset N j is closed in M, and is a product domain, in the sense of Definition 4.8. j+1 j j (3) For all 1 ≤ j < J, we have ∂Ntj ⊂ Int Ntj . Here Int Ntj j denotes the interior of Ntj inside Mtj . Consequently, the dif- j+1 j ference Ntj \Int Ntj is a closed subset of Mtj that is a domain j with smooth boundary, with boundary contained in Ntj . j+1 j (4) For every 1 ≤ j < J, the components of Ntj \ Int Ntj are 3-disks, which are called extension caps.
For any t < tJ , we define the forward time-t slice Nt+ of N to be the set of accumulation points of Nt¯ as t¯ & t, and if t = tJ we define Nt+ = Nt. We define the backward time slices Nt− similarly, but taking accumulation points as t¯ % t, and when t = 0, we put N0− = N0. j j j+1 Thus if t ∈ (tj−1, tj) then Nt± = Nt and Ntj − = Ntj , Ntj + = Ntj if 1 ≤ j < J.
In the case J = 0 the comparison domain (N = ∅, {}, {t0}) is called the empty comparison domain. When there is no chance of confusion, we will sometimes abbreviate j J J (N , {N }j=1, {tj}j=0) by N .
5.2. Comparisons. Next, we collect the basic properties of our com- parison maps between Ricci flow spacetimes. Roughly speaking, a com- parison is a map between Ricci flow spacetimes that is defined on a comparison domain. Away from the transition times, the inverse of 40 RICHARD BAMLER AND BRUCE KLEINER this map solves the harmonic map heat flow equation for the evolving metrics, or equivalently, the pullback metric satisfies the Ricci-DeTurck equation. At a transition time, the comparison is extended over the extension caps. In order to guarantee a good interpolation, it is neces- sary to adjust the comparison over a region that is much larger than the extension cap. As a consequence, the comparison, when viewed as a map between spacetimes, may have jump discontinuities near every extension cap. The discontinuity locus is contained in a disjoint union of closed disks, which we will call cuts (see Figure 6 for an illustration). In the definition of a comparison, we allow the comparision domain to be defined on a longer time interval than the comparison. This is done for technical reasons having to do with a two part induction argument. More specifically, in Section 9, we will analyze a comparison that is defined on an entire comparison domain (over a time-interval [0, tJ ]) and then extend the comparison domain by one time-step (to the time-interval [0, tJ+1]), without extending the comparison itself. So we will end up with a comparison domain that is defined up to some time tJ+1, while the comparison itself still remains defined up to time tJ .
Definition 5.2 (Comparison). Let M, M0 be Ricci flow spacetimes j J J and consider a comparison domain (N , {N }j=1, {tj}j=0) defined over the time interval [0, tJ ] in M. j J∗ 0 A triple (Cut, φ, {φ }j=1) is a comparison from M to M defined j J J on (N , {N }j=1, {tj}j=0) (over the time interval [0, tJ∗]) if:
(1) J ∗ ≤ J. ∗ (2) Cut = Cut1 ∪ ... ∪ CutJ −1, where each Cutj is a collection of
pairwise disjoint 3-disks inside Int Ntj +. (3) Each D ∈ Cut contains exactly one extension cap of the domain j J J j J (N , {N }j=1, {tj}j=0) and every extension cap of (N , {N }j=1, J {tj}j=0) that is contained in M[0,tJ∗−1] is contained in one ele- ment of Cut. (4) Each φj : N j → M0 is a time-preserving diffeomorphism onto its image. More precisely, φj may be extended to a diffeomor- phism defined on an open neighborhood of N j in the manifold
with boundary M[tj−1,tj ]. ∗ 0 (5) If J ≥ 1, then φ : N[0,tJ∗ ] \∪D∈CutD → M is a continuous map ∗ that is smooth on the interior of N \ ∪D∈CutD. If J = 0, then we assume that φ : ∅ → ∅ is the trivial map. (6) φ = φj on the open time slab N j for all j = 1,...,J ∗. (tj−1,tj ) UNIQUENESS AND STABILITY OF RICCI FLOW 41
(7) For all j = 1,...,J ∗, the inverse map (φj)−1 : φj(N j) → N j evolves by harmonic map heat flow (according to Defini- tion 4.19). j ∗ 1 j We define φtj − to be φ |N if 0 < j ≤ J and φ0 if j = 0. Similarly, we tj j ∗ J∗ ∗ j+1 define φtj + to be φ | if 0 ≤ j < J and φ J∗ if j = J . Nt N j tJ∗ Note that by Definition 5.2, the only comparison in the case J ∗ = 0 is the trivial comparison (Cut = ∅, φ : ∅ → ∅, ∅). As explained in Subsection 4.5, a map whose inverse is evolving by harmonic map heat flow induces a Ricci-DeTurck flow on its domain. We will now use this fact and to define associated Ricci-DeTurck pertur- bation for a comparison, which is defined on a subset of the comparison domain. Definition 5.3 (Associated Ricci-DeTurck perturbation). Consider a j J J comparison domain (N , {N }j=1, {tj}j=0) in a Ricci flow spacetime M that is defined on the time-interval [0, tJ ] and a comparison (Cut, φ, j J∗ 0 {φ }j=1) from M to M defined on this domain over the time-interval ∗ [0, tJ∗ ] for some J ≤ J. ∗ 0 j j ∗ 0 j Define h := φ g − g on N \ ∪D∈CutD and h := (φ ) g − g on N ∗ j J∗ for all 1 ≤ j ≤ J . Then we say that (h, {h }j=1) is the associated j J∗ Ricci-DeTurck perturbation for (Cut, φ, {φ }j=1). Moreover, for ∗ j 1 1 ≤ j ≤ J we set htj − := htj , and define ht0− := h0. Likewise, for 0 ≤ j ≤ J ∗ − 1 we set h := hj+1 and h = hJ∗ . tj + tj tJ∗ + tJ∗ Note that by Lemma 4.23 the tensors h and hj are Ricci-DeTurck perturbations in the sense of Definition 4.21.
5.3. A priori assumptions I: the geometry of the compari- son domain. Next, we introduce a priori assumptions for a compar- j J∗ j J ison (Cut, φ, {φ }j=1) defined on a comparison domain (N , {N }j=1, J {tj}j=0). We first state the first six a priori assumptions, (APA 1)– (APA 6), which characterize the more geometric properties of the com- parison domain and the comparison. These are the only a priori as- sumptions needed to implement the first part of the main induction argument, in Section 9. To make it easier to absorb the list of conditions, we make some informal preliminary remarks. The construction of the comparison do- main and comparison involves a comparison scale rcomp. Most of the a 42 RICHARD BAMLER AND BRUCE KLEINER priori assumptions impose conditions at scales that are defined relative j to rcomp. For instance, the final time-slice of each product region N of the comparison domain is assumed to have boundary components that are central 2-spheres of necks at scale rcomp. Moreover, we assume the comparison domain to be λrcomp-thick and to contain all Λrcomp-thick points at integral time-slices. These and similar characterizations will be made in a priori assumptions (APA 1)–(APA 3). In addition, we impose two assumptions, (APA 4) and (APA 5), that restrict the situations when a component can be discarded or added, respectively. To appreciate the role of these two conditions, the reader may wish to imagine a scenario when a Bryant-like cap region in M evolves through a range of scales, initially well below λrcomp, then well above Λrcomp, possibly fluctuating between these over 2 a time scale rcomp. Then initially the cap region will lie outside the comparison domain, because its scale is too small, and later it will necessarily lie in the comparison domain, because it has scale > Λrcomp. A priori assumptions (APA 4) and (APA 5) ensure that these events occurs when the tip of the cap has scale in the range approximately (λrcomp, 10λrcomp), and that they do not occur unnecessarily too often. Finally, a priori assumption (APA 6) states that the comparison itself is an almost isometry of high enough precision. We mention that a priori assumptions (APA 1)–(APA 6) depend on a number of, which will be chosen in the course of this paper. Also, as with Definition 5.2, in the following definition we do not require a comparison to be defined on the entire comparison domain (see the discussion before Definition 5.2).
Definition 5.4 (A priori assumptions (APA 1)–(APA 6)). Let (N , j J J {N }j=1, {tj}j=0) be a comparison domain in a Ricci flow spacetime M that is defined over the time-interval [0, tJ ] and consider a comparison j J∗ 0 (Cut, φ, {φ }j=1) from M to M on this domain to another Ricci flow 0 spacetime M that is defined over the time-interval [0, tJ∗ ] for some J ∗ ≤ J. j J J j J∗ We say that (N , {N }j=1, {tj}j=0) and (Cut, φ, {φ }j=1) satisfy a priori assumptions (APA 1)–(APA 6) with respect to the tuple of parameters (ηlin, δn, λ, Dcap, Λ, δb, can, rcomp) if the following holds:
2 (APA 1) We have tj = j · rcomp for each 0 ≤ j ≤ J. (APA 2) All points in N are λrcomp-thick. j (APA 3) For every 1 ≤ j ≤ J, the backward time slice Ntj − = Ntj has following properties: UNIQUENESS AND STABILITY OF RICCI FLOW 43
(a) The boundary components of Ntj − are central 2-spheres of δn-necks at scale rcomp.
(b) Ntj − contains all Λrcomp-thick points of Mtj .
(c) Each component of Ntj − contains a Λrcomp-thick point.
(d) Each component of Mtj \Int(Ntj −) with non-empty bound- ary contains a 10λrcomp-thin point. (e) The points on each cut D ∈ Cut are Λrcomp-thin. (APA 4) (Discarded disks become thin) For each 1 ≤ j ≤ J, if C is a
component of Ntj−1− \ Int Ntj−1+ (if j ≥ 2) or M0 \ Int N0+ (if j = 1) such that (a) C is diffeomorphic to a 3-disk.
(b) ∂C ⊂ Ntj−1+. then either C does not survive until tj (as in Definition 4.6) or for some time t ∈ [tj−1, tj] we can find a weakly λrcomp-thin point on C(t) (recall the notation C(t) from Definition 4.6.) (APA 5) (Geometry of cap extensions) For each 1 ≤ j ≤ J ∗ and
every component C of Mtj \ Int Ntj − the following holds. j J J C is an extension cap of (N , {N }j=1, {tj}j=0) if and only if there is a component C0 of M0 \ φ (Int N ) such that tj tj − tj − (a) C and C0 are 3-disks. 0 (b) ∂C = φtj −(∂C).
(c) There is a point x ∈ C such that (Mtj , x) is δb-close to the pointed Bryant soliton (MBry, gBry, xBry) at scale 10λrcomp. (d) There is a point x0 ∈ M0 , at distance ≤ D r from tj cap comp C0, such that (M0 , x0) is δ -close to the pointed Bryant tj b soliton (MBry, gBry, xBry) at some scale in the interval −1 [Dcaprcomp,Dcaprcomp]. 0 (e) C and C have diameter ≤ Dcaprcomp. J∗ (APA 6) Consider the Ricci-DeTurck perturbation (h, {h}j=1) associ- j J∗ ∗ ated to the comparison (Cut, φ, {φ }j=1). If J ≥ 1, then
|h| ≤ ηlin on N[0,tJ∗ ] \ ∪D∈CutD. Moreover, the can-canonical J∗ j j neighborhood assumption holds at scales (0, 1) on ∪j=1φ (N ).
We point out that a priori assumptions (APA 1)–(APA 4) are con- ditions on the comparison domain only. On the other hand, a priori assumption (APA 5) places restrictions on extension caps in terms of the comparison map and the local geometry of the image. This is to ensure that extension caps arise only when the geometry of the domain and target are nice enough to allow an extension of a comparison on that is a precise enough almost isometry. We mention that there may 44 RICHARD BAMLER AND BRUCE KLEINER
no Q-bound cut
··· no Q∗-bound ···
···
Figure 7. The bound Q ≤ Q in (APA 7) holds on all ∗ of N except for the hatched region. The bound Q∗ ≤ Q in (APA 9) holds on all of N except for the dotted region.
j be entire connected components of the backward time slice Ntj whose scale lies within the interval (λrcomp, Λrcomp), and (APA 1)–(APA 6) do not restrict what can happen with these.
5.4. A priori assumptions II: analytic conditions on the com- parison. Lastly, we introduce further set of a priori assumptions, a priori assumptions (APA 7)–(APA 13), which characterize the behav- ior of the perturbation h and the geometry of the cuts more precisely. These assumptions will become important in Section 10, where we will extend the comparison by one time-step onto a larger comparison do- main. We now give a brief overview of a priori assumptions (APA 7)–(APA 13). A priori assumptions (APA 7)–(APA 10) impose global bounds on the Ricci-DeTurck perturbation h via two quantities Q and Q∗. These bounds essentially introduce a pointwise weight, which depends on the curvature scale ρ and time. A priori assumption (APA 7) imposes a bound on Q on the comparison domain, except on the complement of forward parabolic neighborhoods of cuts. Similarly, a priori assumption (APA 9) imposes a bound on Q∗ at points of the comparison domain that are far enough away from its neck-like boundary. For an illustra- tion of the domains on which these bounds hold, or do not hold, see UNIQUENESS AND STABILITY OF RICCI FLOW 45
Figure 7. A priori assumption (APA 8) introduces a bound on Q, which holds essentially everywhere on the comparison domain. Note that the constant W in this bound will be chosen to be large. Therefore, a priori assumption (APA 8) will not directly imply a priori assumption (APA 7). A priori assumption (APA 10) states that Q∗ is small on each cut and a priori assumption (APA 12) guarantees a good bound on Q and Q∗ on the initial time-slice. A priori assumption (APA 11) ensures that the diameters of cuts are sufficiently large. Lastly, a priori assumption (APA 13) imposes a bound on tJ . Definition 5.5 (A priori assumptions (APA 7)–(APA 13)). Let (N , j J J {N }j=1, {tj}j=0) be a comparison domain in a Ricci flow spacetime M that is defined on the time-interval [0, tJ ] and consider a comparison j J∗ 0 (Cut, φ, {φ }j=1) on this domain to another Ricci flow spacetime M that is defined on the same time-interval [0, tJ ]. j J J j J We say that (N , {N }j=1, {tj}j=0) and (Cut, φ, {φ }j=1) satisfy a priori assumptions (APA 7)–(APA 13) with respect to the the tuple of parameters (T, E, H, ηlin, ν, λ, ηcut,Dcut, W, A, rcomp) if the following holds. Define the functions H(T −t) E ∗ H(T −t) 3 Q := e ρ1 |h|,Q := e ρ1|h| on N \ ∪D∈CutD, where t : M → [0, ∞) is the time-function. On Ntj ± ∗ we denote by Q± and Q± the corresponding values for htj ±. We also set Q± := Q on N \ ∪D∈CutD. Set −E−1 E ∗ −1 3 Q := 10 ηlinrcomp, Q := 10 ηlin(λrcomp) . Then
(APA 7) (Q ≤ Q if no cuts in nearby past) For all x ∈ N \ ∪D∈CutD for which P (x, Aρ1(x)) ∩ D = ∅ for all D ∈ Cut we have Q(x) ≤ Q.
Note that the bound is also required to hold if P (x, Aρ1(x)) 6⊂ N . (APA 8) We have
Q ≤ W · Q on N \ ∪D∈CutD. ∗ (APA 9) (Q∗ ≤ Q away from time slice boundary) For all x ∈ N \ ∪D∈CutD for which B(x, Aρ1(x)) ⊂ Nt(x)− we have ∗ Q∗(x) ≤ Q . 46 RICHARD BAMLER AND BRUCE KLEINER
(APA 10) On every cut D ∈ Cut we have
∗ ∗ Q+ ≤ ηcutQ .
(APA 11) For every cut D ∈ Cut, D ⊂ Mtj , the following holds: The diameter of D is less than Dcutrcomp and D contains 1 a 10 Dcutrcomp-neighborhood of the extension cap C = D\
Int Ntj −. ∗ ∗ (APA 12) We have Q ≤ νQ and Q ≤ νQ on N0 (i.e. at time 0). (APA 13) We have tJ ≤ T .
Note that a priori assumptions (APA 7)–(APA 13) are vacuous if J = 0. We briefly comment on the purpose of a priori assumptions (APA 7)–(APA 9). As explained in Section 2, a priori assumption (APA 7), the bound Q ≤ Q, serves as a main ingredient for the Bryant Extension Principle, as long as E is chosen large enough. It will also be used to ensure that |h| ≤ ηlin at most points of the comparison domain. Note however that Q is chosen such that the bound Q ≤ Q only implies |h| ≤ ηlin when ρ1 & rcomp. So it does not imply |h| ≤ ηlin everywhere on the comparison domain. Unfortunately, we will not be able to remedy this issue by replacing Q in a priori assumption (APA 7) by a smaller constant, as our solution of the harmonic map heat flow will introduce an error of magnitude ηlin near the neck-like boundary of N . More specifically, in order to achieve a bound of the form |h| ≤ η0 0 near the neck-like boundary of N , we have to choose δn = δn(η ) and 0 0 λ = λ(δn(η )) = λ(η ) to ensure that the neck-like structures near the boundary spheres of N and their images are sufficiently close. A bound 0 of the form |h| ≤ η at scale ≈ rcomp (e.g. near the neck-like boundary) 0 E would imply that Q . η rcomp. At points of scale ≈ λrcomp, which may −E 0 0 be part of N , this bound on Q would translate to |h| . λ (η )η . The right-hand side of this bound does, however, not necessarily converge to zero as η0 → 0. So it may not be possible to choose η0 such that −E 0 0 λ (η )η ≤ ηlin. In summary, the constant Q cannot be chosen such that a priori assumption (APA 7) is both weak enough to hold near the boundary of N and strong enough to imply |h| ≤ ηlin at all points of scale & λrcomp. ∗ The bound Q ≤ Q in a priori assumption (APA 9), on the other hand, UNIQUENESS AND STABILITY OF RICCI FLOW 47
T
ηcut H
E ν δn λ Dcap Dcut
ηlin
W A Λ δb can
rcomp
Figure 8. All restrictions on the parameters that will be imposed throughout this paper. Each parameter in this graph can be chosen depending only on the param- eters that can be reached by following the arrows back- wards. Note that the graph does not contain any oriented circles. automatically implies |h| ≤ ηlin everywhere on N . However, we are not imposing it near the neck-like boundary of N . Lastly, note that the bound Q ≤ Q may be violated after a Bryant Extension construction. Therefore, we have not imposed it in a priori assumption (APA 7) at points that lie in the future of cuts. At these ∗ ∗ points, the bound Q ≤ Q will be used to guarantee |h| ≤ ηlin. More- over, the bound Q ≤ W Q from a priori assumption (APA 8) will be used to partially retain a priori assumption (APA 7) in the future of a cut. Using the interior decay from Subsection 7, this bound can in turn be improved to the bound Q ≤ Q from a priori assumption (APA 7) after a sufficiently long time.
5.5. Parameter order. As mentioned earlier, the a priori assump- tions, as introduced in the last two subsections, involve several param- eters, which will need to be chosen carefully in the course of this paper. Each step of our construction will require that certain parameters be chosen sufficiently small/large depending on certain other parameters. In order to show that these parameters can eventually be chosen such that all restrictions are met, we need to ensure that these restrictions 48 RICHARD BAMLER AND BRUCE KLEINER are not circular. For this purpose, we introduce the following parameter order:
T, E, H, ηlin, ν, δn, λ, Dcap, ηcut,Dcut, W, A, Λ, δb, can, rcomp In the entire paper, we will require each parameter to be chosen de- pending only on preceding parameters in this list. So parameters can eventually be chosen successively in the order indicated by this list. For a more detailed picture of all the parameter restrictions imposed in this paper see Figure 8. These restrictions also appear in the pre- amble of our main technical result, Theorem 11.1. Note that, as these restrictions are not completely linear, there are several admissible pa- rameter orders. We have chosen the above parameter order, because we found it to be most intuitive. We advise the first-time reader that it is not necessary to follow all parameter restrictions in detail when going through the proofs of this paper. Instead, it suffices to check that the above parameter order is obeyed in each step.
6. Preparatory results
In this section we collect a variety of technical results that will be needed in the proof of the main theorem. These are based on definitions from Sections 3–5. The reader may wish to skim (or skip) this section on a first reading.
6.1. Consequences of the canonical neighborhood assumption. The completeness and canonical neighborhood assumptions, as intro- duced in Definitions 3.4 and 3.7 lead in a straightforward way to local bounds on geometry, including local control on curvature and its derivatives, as well as control on neck and non-neck structure. We begin this subsection with a few such results (Lemmas 6.1–6.14), and then use them to deduce control on scale distortion of bilipschitz maps (Lemma 6.23), self-improvement of necks (Lemma 6.29) and scale bounds near necks (Lemma 6.30). Our first two results are direct consequences of the definition of the canonical neighborhood assumption, and properties of κ-solutions. Lemma 6.1. The following hold: (a) For every A < ∞ there is a constant C = C(A) < ∞ such that if
can ≤ can(A) UNIQUENESS AND STABILITY OF RICCI FLOW 49
and a Riemannian manifold M satisfies the can-canonical neigh- borhood assumption at x ∈ M, then the following holds on the ball B(x, Aρ(x)) for all 0 ≤ m ≤ A √ − 1 −1 ρ = 3R 2 ,C ρ(x) ≤ ρ ≤ Cρ(x), m 1+ m |∇ Rm | ≤ CR 2 (x). (b) There is a C < ∞ such that if
can ≤ can
and M is a Ricci flow spacetime that satisfies the can-canonical neighborhood assumption at some point x ∈ M, then 2 −1 |∂tρ |(x) = 3|∂tR |(x) ≤ C. (c) Given δ > 0, if can ≤ can(δ)
and M is a Ricci flow spacetime that satisfies the can-canonical neighborhood assumption at some point x ∈ M, then 2 −1 ∂tρ (x) = 3∂tR (x) ≤ δ . Proof. Assertion (a) follows from the definition of the canonical neigh- borhood assumption, assertions (c) and (d) of Lemma C.1 and Lemma 4.3. For assertions (b) and (c) we recall that in a Ricci flow the time derivative ∂tR(x) may be expressed as a universal continuous function F (Rm(x), ∇ Rm(x), ∇2 Rm(x)) of spatial curvature derivatives. Now assertions (b) and (c) follow from the definition of the canonical neigh- borhood assumption, and assertion (e) of Lemma C.1.
Lemma 6.2. For every δ > 0 there is a constant C0 = C0(δ) < ∞ such that if can ≤ can(δ), then the following holds.
Assume that (M, g) is a Riemannian manifold that satisfies the can- canonical neighborhood assumption at some point x ∈ M. Then the one of the following hold: (a) x is the center of a δ-neck at scale ρ(x). (b) there is a compact, connected domain V ⊂ Mt with connected (possibly empty boundary) such that the following hold: (1) B(x, δ−1ρ(x)) ⊂ V . (2) ρ(y1) < C0ρ(y2) for all y1, y2 ∈ V . (3) diam V < C0ρ(x). (4) If ∂V 6= ∅, then: 50 RICHARD BAMLER AND BRUCE KLEINER
(i) ∂V is a central 2-sphere of a δ-neck. (ii) Either V is a 3-disk or is diffeomorphic to a twisted interval bundle over RP 2. (iii) Any two points z1, z2 ∈ ∂V can be connected by a continuous path inside ∂V whose length is less than
min{dt(z1, x), dt(x, z2)} − 100ρ(x). (5) If V is diffeomorphic to a twisted interval bundle over RP 2, then ρ(y1) < 2ρ(y2) for all y1, y2.
Proof. This follows immediately from Lemma C.2 using the definition of the canonical neighborhood assumption.
Lemma 6.3. Suppose M is an (r0, t0)-complete Ricci flow spacetime. If for some r > r0 we have ρ > r on a parabolic neighborhood P (x, a, b) ⊂
M[0,t0], then it is unscathed.
Proof. Let t = t(x). From the (r0, t0)-completeness of M, any unit speed geodesic in Mt starting at x can be extended up to a length of at least a. Therefore the exponential map expx : TxMt ⊃ B(0, a) → Mt is well-defined, and has compact image expx(B(0, a)) = B(x, a). If y ∈ B(x, a), then since ρ > r on P (x, a, b), it follows from (r0, t0)- completeness that y(t¯) is defined on [t, t + b] if b > 0 or [t + b, t] ∩ [0, ∞) if b < 0. Next, we derive a few results based on the bounds in Lemma 6.1. Lemma 6.4 (Scale nearly constant on small two-sided parabolic balls). If L > 1 and
η ≤ η(L) , can ≤ can, then the following holds.
Suppose 0 < r ≤ 1 and M is an (canr, t0)-complete Ricci flow space- time satisfying the can-canonical neighborhood assumption at scales (canr, 1). If for some point x ∈ Mt with t ∈ [0, t0] we have ρ1(x) ≥ 2 r, then the parabolic neighborhoods P± := P (x, ηρ1(x), ±(ηρ1(x)) ) ∩
M[0,t0] are unscathed and −1 (6.5) L ρ1(x) ≤ ρ1 ≤ Lρ1(x) on P+ ∪ P−.
Proof. If
can ≤ can, UNIQUENESS AND STABILITY OF RICCI FLOW 51 then by Lemma 4.3 and assertions (a) and (b) of Lemma 6.1 there is a constant C0 < ∞ such that near any point that satisfies the can- canonical neighborhood assumption we have 2 (6.6) |∇ρ|, |∂tρ | ≤ C0 .
Now choose a point y ∈ P±, and let γ : [0, a] → M be a curve from x to y that is a concatenation of curves γ1, γ2, where γ1 is a unit speed curve from x to y(t) of length < ηρ1(x), and γ2 is the integral curve of ±∂t from y(t) to y. Then by (6.6), for i = 1, 2, we have 0 2 0 (6.7) |(ρ1 ◦ γ1) (s1)| ≤ C0 , |(ρ1 ◦ γ2) (s2)| ≤ C0 wherever the derivatives are defined and ρ1 ◦ γi(si) > canr. Therefore if η ≤ η(L), then (6.5) follows by integrating the derivative bound (6.7). The fact that P± are unscathed follows from Lemma 6.3. Lemma 6.8 (Backward survival control). If δ > 0, A < ∞ and
can ≤ can(δ, A) , then the following holds.
Suppose r > 0 and M is an (canr, t0)-complete Ricci flow space- time satisfying the can-canonical neighborhood assumption at scales (canr, r). Let x ∈ Mt with t ∈ [0, t0] and assume that ρ(x) ≥ r. Then x(t0) exists for all t ∈ [t−Ar2, t]∩[0, ∞) and we have ρ(x(t)) > (1−δ)r.
Proof. Set t := t(x) and let δ# > 0 be a constant whose value we will choose at the end of the proof. Recall that ρr = min{ρ, r}. By assertion (c) of Lemma 6.1, and assuming
can ≤ can(δ#), we have d (6.9) ρ2(x(t)) ≤ δ dt r # 2 for all t ≤ t for which both x(t) and the derivative exist and ρr(x(t)) > 2 (canr) . Therefore, if δ# ≤ δ(δ, A), 2 then we may integrate (6.9) to obtain that ρr(x(t)) > (1 − δ)r for all t ≤ t for which t − t ≤ Ar2 and x(t) is defined. Assuming
can < 1 − δ, we can use the (canr, t0)-completeness to show that x(t) is defined for 2 all t ∈ [t − Ar , t] ∩ [0, ∞). 52 RICHARD BAMLER AND BRUCE KLEINER
Lemma 6.10 (Bounded curvature at bounded distance). For every A < ∞ there is a constant C = C(A) < ∞ such that if
can ≤ can(A), then the following holds.
Let 0 < r ≤ 1 and consider an (canr, t0)-complete Ricci flow space- time M that satisfies the can-canonical neighborhood assumption at scales (canr, 1). If x ∈ M[0,t0] and ρ1(x) ≥ r, then P (x, Aρ1(x)) is unscathed and we have
−1 (6.11) C ρ1(x) < ρ1 < Cρ1(x) on P (x, Aρ1(x)).
Proof. We claim that there is a constant C1 = C1(A) < ∞ such that
−1 (6.12) C1 ρ1(x) ≤ ρ1 ≤ C1ρ1(x) on B(x, Aρ1(x)) .
This is immediate if ρ1 ≡ 1 on B(x, Aρ1(x)), so suppose ρ1(y) < 1 for some y ∈ B(x, Aρ1(x)). By the continuity of ρ1, we may choose y such 1 that ρ1(y) > 2 ρ1(x). Applying assertion (a) of Lemma 6.1 to the ball B(y, 4Aρ(y)) ⊃ B(x, Aρ1(x)), we get (6.12). If
can ≤ can(A) then using (6.12), we may apply Lemma 6.8 at any point z ∈ B(x, Aρ1(x)) to conclude that γ(t¯) is defined and ¯ 1 −1 (6.13) ρ1(z(t)) ≥ 2 C1 ρ1(x) > canr 2 for all t¯∈ [t − Aρ1(x) , t] ∩ [0, ∞). Thus P (x, Aρ1(x)) is unscathed by Lemma 6.3. Next, by assertion (a) of Lemma 6.1 there is a universal constant C2 < ∞ such that if
can ≤ can(A), ¯ 2 d 2 ¯ then for all t ∈ [t − Aρ1(x)] ∩ [0, ∞) we have | dt¯(ρ1(z(t))| < C2, pro- 2 ¯ vided the derivative is defined. Integrating this bound yields ρ1(z(t)) ≤ 2 2 C ρ1(x) for C = C(A) < ∞. Thus (6.11) holds.
In the next result we combine the bounded curvature at bounded distance estimate (Lemma 6.10) with a distance distortion estimate to find a parabolic neighborhood centered at a point x that contains all parabolic neighborhoods of the form P (y, A2ρ1(y)), where y varies over some parabolic neighborhood P (x, A1ρ1(x)). UNIQUENESS AND STABILITY OF RICCI FLOW 53
Lemma 6.14 (Containment of parabolic neighborhoods). For any A1, 0 0 0 A2 < ∞ there is a constant A = A (A1,A2) < ∞ with A ≥ A1 + A2 such that if can ≤ can(A1,A2), then the following holds.
Let 0 < r ≤ 1 and consider an (canr, t0)-complete Ricci flow space- time M that satisfies the can-canonical neighborhood assumption at scales (canr, 1). If x ∈ M[0,t0] and ρ1(x) ≥ r, then the parabolic neigh- 0 borhood P (x, A ρ1(x)) is unscathed and we have 0 (6.15) P (y, A2ρ1(y)) ⊂ P (x, A ρ1(x)) for all y ∈ P (x, A1ρ1(x)). Proof. We first use Lemma 6.10, assuming
can ≤ can(A1), to argue that P (x, A1ρ1(x)) is unscathed and
(6.16) ρ1 < C1(A1)ρ1(x) on P (x, A1ρ1(x)) for some C1 = C1(A1) < ∞. The constant A0 will be determined in the course of the proof. Again, by Lemma 6.10, assuming 0 (6.17) can ≤ can(A ), 0 0 we find that P (x, 2A ρ1(x)) is unscathed at that ρ1 > c2(A )ρ1(x) ≥ c2r 0 > canr on it. At any point z ∈ P (x, 2A ρ1(x)) with ρ1(z) < 1 the curvature operator is close to that of a κ-solution. Since κ-solutions have non-negative Ricci curvature, we can argue that 2 0 −2 −2 Ric ≥ −c2(A )ρ (z) ≥ −ρ1 (x) at z if we assume a bound of the form (6.17). On the other hand, at 0 any z ∈ P (x, 2A ρ1(x)) with ρ1(z) = 1 we have ρ(z) ≥ 1 and therefore Ric ≥ −C2 at z for some universal constant C2. So, in summary, we have −2 0 (6.18) Ric ≥ −ρ1 (x) − C2 on P (x, 2A ρ1(x)).
Now consider a point y ∈ P (x, A1ρ1(x)). Set t0 := t(x) and t := t(y). We first claim that 0 (6.19) B(y, A2ρ1(y)) ⊂ P (x, A ρ1(x)). 0 Assume not and choose a smooth curve γ : [0, 1] → (P (x, 2A ρ1(x))t 0 0 between y and a point in z ∈ P (x, 2A ρ1(x)) \ P (x, A ρ1(x)) such that 0 `t(γ) < 2A2ρ1(y). Note that for all t ∈ [t, t0] the curve γt0 : [0, 1] → 54 RICHARD BAMLER AND BRUCE KLEINER
0 Mt with γt(s) := (γ(s))(t ) is defined and its image is contained in 0 P (x, 2A ρ1(x)). So by (6.18) and (6.16) we have