Having characterised the structure of \kappa-solutions, we now use them to describe the structure of high curvature regions of Ricci flow, as promised back in Lecture 12, in particular controlling their geometry and topology to the extent that surgery will be applied, which we will discuss in the next (and final) lecture of this class.

The material here is drawn largely from Morgan-Tian’s book and Perelman’s first and second papers; see also Kleiner-Lott’s notes and Cao-Zhu’s paper for closely related material. Due to lack of time, some details here may be a little sketchy.

— Canonical neighbourhoods —

Let us formally define the notions of a canonical neighbourhood that were introduced in Lecture 12. They are associated with the various local geometries that are possible for three-dimensional \kappa-solutions. The first type of neighbourhood is related to the round spherical space forms S^3/\Gamma.

Definition 1. (\varepsilon-round) Let \varepsilon > 0. A compact connected 3-manifold (M,g) is \varepsilon-round if one can identify M with a spherical space form S^3/\Gamma with the constant curvature metric h such that some multiple of g lies within \varepsilon of h in the C^{\lfloor 1/\varepsilon \rfloor} topology.

Note that if a sequence of manifolds (M_n,g_n,p_n), after rescaling, is converging geometrically to a spherical space form, then for any \varepsilon > 0 such manifolds will be \varepsilon-round for sufficiently large n.

The next type of canonical neighbourhood is associated to the small compact manifolds from Proposition 9 of the previous lecture.

Definition 2. (C-component) Let C > 0. A C-component is a connected 3-manifold (M,g) homeomorphic to S^3 or \Bbb{RP}^3, such that after rescaling the metric by a constant, the sectional curvatures, diameter, and volume are bounded between 1/C and C, and first and second derivatives of the curvature are also bounded by C.

[We have deviated slightly here from the definition in Morgan-Tian by adding control of first and second derivatives for minor technical reasons.]

Thus, for instance, every compact \kappa-solution which is small but not round in the sense of Proposition 9 will be a C-component for some C. Also observe that if a sequence of manifolds converge geometrically to a C-component, then these manifolds will be (say) 2C-components once one is sufficiently far along the sequence.

The remaining canonical neighbourhoods are incomplete, corresponding to portions of non-compact (or compact but large) \kappa-solutions. One of them is the \varepsilon-neck defined in Definition 1 of Lecture 17. The other is that of a cap.

Definition 3. ((C,\varepsilon)-cap) Let C, \varepsilon > 0. A (C,\varepsilon)-cap (N \cup Y, g) is an incomplete 3-manifold that is the union of an \varepsilon-neck N with an incomplete core Y along one of the boundaries S^2 of the neck N. The core is homeomorphic to {\Bbb R}^3 or a punctured {\Bbb RP}^3, and has boundary S^2 equal to the above boundary of N. Furthermore, after rescaling g by a constant, the sectional curvatures, diameter, volume in the core are bounded between 1/C and C, and the zeroth, first and second derivatives of curvature in the cap are bounded above by C.

Definition 4. (Canonical neighbourhood) Let C, \varepsilon > 0. We say that a point x in a 3-manifold (M,g) (possibly disconnected) has a (C,\varepsilon)-canonical neighbourhood if one of the following is true:

  1. x lies in an \varepsilon-round component of M.
  2. x lies in a C-component of M.
  3. x is the centre of an \varepsilon-neck in M.
  4. x lies in the core of a (C,\varepsilon)-cap in M.

We remark that if a sequence of pointed manifolds (M_n,g_n,x_n) converges to a limit (M_\infty,g_\infty,x_\infty), and x_\infty has a (C,\varepsilon)-neighbourhood of M_\infty, then for sufficiently large n, x_n has a (2C,2\varepsilon)-neighbourhood (say) of M_n. Also observe from construction that the property of having a canonical neighbourhood is scale-invariant.

Exercise 1. (First derivatives of curvature) Show that if \varepsilon is sufficiently small, and x has a (C,\varepsilon)-canonical neighbourhood, then R(x) is positive, \nabla R(x) = O_C( R(x)^{3/2} ), and \partial_t R(x) = O_C( R(x)^2 ). \diamond

From the theory of the previous lecture we have

Proposition 1. For every \varepsilon > 0 there exists C>0 such that every point in a 3-dimensional \kappa-solution at any given time will have a (C,\varepsilon)-canonical neighbourhood, unless it is a round shrinking {\Bbb R} \times \Bbb{RP}^2.

Note that C and \varepsilon are independent of \kappa; this is thanks to the universality property (Proposition 5 from Lecture 17).

Remark 1. For technical reasons, one actually needs a slightly stronger version of this proposition, in which any canonical neighbourhood which is an \varepsilon-neck is extended backwards to some extent in time in a manner that preserves the neck structure (leading to the notion of a strong \varepsilon-neck and strong canonical neighbourhood); see Chapter 9.8 of Morgan-Tian for details. Technically, the results below need to be stated for strong canonical neighbourhoods \diamond

The objective of this lecture is to establish the analogous claim for high-curvature regions of arbitrary Ricci flows:

Theorem 1. (Structure of high-curvature regions) For every \varepsilon > 0 there exists C > 0 such that the following holds. Let t \mapsto (M,g) be a three-dimensional compact Ricci flow on some time interval [0,T) with no embedded {\Bbb RP}^2 with trivial normal bundle. Then there exists K > 0 such for every time t \in [0,T), every x \in (M,g(t)) with R(x) \geq K has a (C,\varepsilon)-canonical neighbourhood.

This theorem will then allow us to perform surgery on Ricci flows, as we will discuss in the final lecture.

Morally speaking, Theorem 1 follows from Proposition 1 by rescaling and compactness arguments, but there is a rather delicate issue involved, namely to gain enough control on curvature at points in spacetime both near (and far) from the chosen point (t,x) that the Hamilton compactness theorem can be applied.

— Overview of proof —

We begin with some reductions. We can of course take M to be connected. Fix \varepsilon, and take C sufficiently large depending on \varepsilon (but not depending on any other parameters). We first observe that it suffices to prove the theorem for closed intervals [0,T] rather than half-open ones, as long as the bounds on K depend only on an upper bound T_0 on T and the initial metric g(0) and not on T itself (in particular, one cannot just use the trivial fact that R will be bounded on any compact subset of spacetime such as {}[0,T] \times M.) Once one does this, one sees that Theorem 1 is now true for some enormous K that depends on T; the task is to get a uniform K that depends only on the initial metric g(0) and on an upper bound T_0 for T.

Perelman’s argument proceeds by a downward induction on K; assume that K is large (depending on g(0) and T_0), and that Theorem 1 has already been established for 4K (say); and then establish the claim for K. By the previous discussion, this conditional result will in fact imply the full theorem.

By rescaling we may assume that g(0) has normalised initial conditions (curvature bounded in magnitude by 1, volume of unit balls bounded below by some positive constant \omega). We will now show that the conditional version of Theorem 1 holds for K sufficiently large depending only on \omega and T_0.

Suppose this were not the case. Then there would be a \omega and a T_0, and a sequence t \mapsto (M_n, g_n(t), x_n) of pointed Ricci flows on {}[0,T_n] (not containing any embedded \Bbb{RP}^2 with trivial normal bundle) for some 0 \leq T_n \leq T_0 with normalised initial conditions with constant \omega, times t_n \in [0,T_n], and scalars K_n \to \infty such that every point in {}[0,T_n] \times M_n of scalar curvature at least 4K_n has a (C,\varepsilon)-canonical neighbourhood, but that R_n(t_n,x_n) \geq K_n but does not have a (C,\varepsilon)-canonical neighbourhood (in particular, R_n(t_n,x_n) < 4 K_n). We want to extract a contradiction from this.

From the local theory (Lemma 1 from Lecture 11) we know that the curvature is bounded for short times (t less than a universal constant depending only on \omega), so t_n must be bounded uniformly from below.

As usual, we define the rescaled pointed flows t \mapsto (\tilde M_n, \tilde g_n(t), \tilde x_n) by \tilde M_n := M_n, \tilde x_n := x_n, and \tilde g_n(t) := K_n^2 g_n( t_n + K_n^{-2} t ). Thus these flows are increasingly ancient and have scalar curvature between 1 and 4 at the origin (0,\tilde x_n). Also, any point in these flows of curvature at least 4 is contained in a canonical neighbourhood.

By Perelman’s non-collapsing theorem (Theorem 2 from Lecture 7), we know that the flows t \mapsto (M_n, g_n(t)) flow is \kappa-noncollapsed at all scales less than 1 (say) for some \kappa depending only on \omega; by rescaling, the rescaled flows t \mapsto (\tilde M_n, \tilde g_n(t)) are then \kappa-noncollapsed at all scales less than 1/o(1).

Meanwhile, from the Hamilton-Ivey pinching theorem (Theorem 1 from Lecture 3) we have R_n \geq -O(1) and \hbox{Riem}_n \geq -o( R_n ) whenever R_n \to \infty. Rescaling this, we obtain \tilde R_n \geq -o(1) and \widetilde{\hbox{Riem}}_n \geq -o( 1 + |\tilde R_n| ).

Suppose we were able to prove the following statement.

Proposition 2. (Asymptotically globally bounded normalised curvature) For any A,\tau > 0 we have a bound \tilde R_n( t, x ) = O_{C,\varepsilon}(1) for all x \in B_{\tilde g_n(0)}(\tilde x_n, A) and t \in [-\tau,0], if n is sufficiently large depending on A,\tau.

From this and the \kappa-noncollapsing, we see that the Hamilton compactness theorem (Theorem 2 from Lecture 15) applies, and after passing to a subsequence we see that the pointed flows t \mapsto (\tilde M_n, \tilde g_n(t), \tilde x_n) converges geometrically to a Ricci flow t \mapsto (M_\infty, g_\infty, x_\infty) which has bounded scalar curvature on {}[-\tau,0] \times M_\infty for each \tau > 0, and is automatically connected, complete, and ancient, and without an embedded \Bbb{RP}^2 with trivial normal bundle. From pinching we also see that we have non-negative sectional curvature; from the \kappa-noncollapsing of the flows t \mapsto (\tilde M_n, \tilde g_n(t), \tilde x_n) we have \kappa-noncollapsing of the limiting flow t \mapsto (M_\infty, g_\infty, x_\infty). From Hamilton’s Harnack inequality (cf. Lecture 13) we can show \partial_t R \geq 0, and so we in fact have globally bounded curvature. Finally, since \tilde R_n(0, \tilde x_n) is bounded between 1 and 4, so is R_\infty(0,x_\infty); thus the flow is not flat. Putting all this together, we conclude that t \mapsto (M_\infty, g_\infty, x_\infty) is a \kappa-solution (see Definition 1 from Lecture 12). From Proposition 1, (0,x_\infty) has a (C/2,\varepsilon/2)-canonical neighbourhood in M_\infty (if C is chosen large enough depending on \varepsilon); thus (0,\tilde x_n) will have a (C,\varepsilon)-canonical neighbourhood in \tilde M_n for large enough n, and so by rescaling (0,x_n) has a (C,\varepsilon)-canonical neighbourhood in M_n, contradicting the hypothesis, and we are done.

So it remains to prove Proposition 2. If we had the luxury of picking (t_n,x_n) to be a point which had maximal curvature amongst all other points in {}[0,t_n] \times M, then this proposition would be automatic. However, we do not have this luxury (roughly speaking, this would only let us get canonical neighbourhoods for the “highest curvature region” of the Ricci flow, leaving aside the “second highest curvature region”, “third highest curvature region”, etc., unprepared for surgery). So one has to work significantly harder to achieve this aim.

— Bounded curvature at bounded distance —

A key step in the execution of Proposition 2 is the following partial result, in which the bound on curvature is allowed to depend on A, and for which one cannot go backwards in time.

Proposition 3. (Bounded curvature at bounded distance) For any A > 0 we have a bound \tilde R_n( 0, x ) = O_{C,\varepsilon,A}(1) for all x \in B_{\tilde g_n(0)}(\tilde x_n, A), if n is large enough depending on A.

This partial result is already rather tricky; we sketch the proof as follows (full details can be found in Chapter 10 of Morgan-Tian, Section 51 of Kleiner-Lott, or Section 7.1 of Cao-Zhu). If this result failed, then we have a sequence \tilde y_n with d_{\tilde g_n(0)}(x_n,y_n) bounded and \tilde R_n(0,\tilde y_n) \to \infty, thus one can move a bounded distance along a minimising geodesic from \tilde x_n (which has curvature between 1 and 4) to \tilde y_n and reach a point of arbitrarily high curvature. On the other hand, we know that every point of curvature at least 4 has a canonical neighbourhood. Thus there is a bounded length minimising geodesic in (\tilde M_n, \tilde g_n(0)) that goes entirely through canonical neighbourhoods, starts with scalar curvature 4, and ends up with arbitrarily high curvature, with curvature staying 4 or greater throughout this process. This cannot happen if the canonical neighbourhoods are \varepsilon-round or C-components (since these neighhourhoods are already complete and curvatures are comparable to each other on the entire neighbourhood), so this geodesic can only go through \varepsilon-necks and (C,\varepsilon)-caps. One can also rule out the latter possibility (a long geodesic path that goes through the core of a (C,\varepsilon)-cap can easily be shown to not be minimising); thus the geodesic is simply going through a tube of \varepsilon-necks, with the width of these necks starting off being comparable to 1 and ending up being arbitrarily small. It turns out that by using a version of Hamilton’s compactness theorem for incomplete Ricci flows, one can take a limit, which at time zero is a tube (topologically {}[0,1] \times S^2) of non-negative curvature in which the curvature has become infinite at one end. Also, thanks to time derivative control on the curvature (see Exercise 1), the tube can be extended a little bit backwards in time as an incomplete Ricci flow (though the amount to which one can do this shrinks to zero as one approaches the infinite curvature end of the tube).

One can show that as one approaches the infinite curvature end of the cylinder and rescales, the cylinder increasingly resembles a cone. (For instance, one can use the bound \int_\gamma \hbox{Ric}(X,X) = O(1) from Lemma 1 of Lecture 15, where \gamma are geodesics emanating from the infinite curvature end, to establish this sort of thing.) By taking another limit one can then get an incomplete Ricci flow which at time zero is a cone. Because curvature is bounded away from zero, this cone is not flat. At this point, a version of Hamilton’s splitting theorem (Proposition 1 from Lecture 13) for incomplete flows asserts that the manifold locally splits as the product of a line and a two-dimensional manifold. But non-flat cones cannot split like this, a contradiction. This establishes Proposition 3.

Remark 2. More generally, this argument can be used to show that if \tilde R_n(t,x) is bounded by some L \geq 1, then \tilde R_n(t,y) is bounded by O_{A,C,\varepsilon}(L) for all y \in B_{\tilde g_n(t)}(x,A L^{-1/2}). \diamond

— Bounded curvature at all distances —

Now we extend Proposition 3 by making the bound global in A:

Proposition 4. (Bounded curvature at all distances) For any A > 0 we have a bound \tilde R_n( 0, x ) = O_{C,\varepsilon}(1) for all x \in B_{\tilde g_n(0)}(\tilde x_n, A), if n is large enough depending on A.

We sketch a proof as follows. From Proposition 3 and compactness (taking advantage of non-collapsing, of course) we already know (passing to a subsequence if necessary) that (\tilde M_n, \tilde g_n(0), x_n) converges to some limit
(\tilde M_\infty, \tilde g_\infty(0), x_\infty) which has non-negative curvature; it can also be extended a little bit backwards in time as an incomplete Ricci flow. Also, every point in this limit of curvature greater than 4 has a canonical neighbourhood. Our task is to basically to show that (\tilde M_\infty, \tilde g_\infty(0)) has bounded curvature. If this is not the case, then there are points of arbitrarily high curvature, which must be contained in either \varepsilon-necks or (C,\varepsilon)-caps. We conclude that there exist arbitrarily narrow \varepsilon-necks. One can then show that the manifold had strictly positive curvature, since otherwise by Hamilton’s splitting theorem the manifold would split locally into a product of a two-dimensional manifold and a line, which can be shown to be incompatible with having arbitrarily narrow necks.

At this point one uses a general result that complete manifolds of strictly positive curvature cannot have arbitrarily narrow necks. We sketch the proof as follows. Clearly we may assume the manifold is compact, and hence by the soul theorem is diffeomorphic to {\Bbb R}^3. This implies that every neck in fact separates the manifold into a compact part and a non-compact part. In fact, one can show that if p is a soul for the manifold, then there is a minimising geodesic \gamma: [0,+\infty) \to M from p to infinity that passes through all the necks. But if one then considers the Busemann function B(y) := \lim_{s \to \infty} d(y,\gamma(s)) - s, one can show that the gradient field \nabla B is a unit vector which is within O(\varepsilon) to parallel to the necks. This, combined with Stokes theorem, tells us that the area of the level sets of B inside a neck (which, up to errors of O(\varepsilon), are basically slices of that neck) does not fluctuate by more than \varepsilon, even as one compares very distant necks together. But this contradicts the assumption that there are arbitrarily small necks. (For full details see Proposition 2.19 of Morgan-Tian. )

— Bounded curvature at all times —

Now we need to extend Proposition 4 backwards in time. The time derivative bound on curvature (Exercise 1) lets us extend backwards by some fixed amount of time, but at the cost of potentially increasing the curvature, and we cannot simply iterate this (much as one cannot iterate a local existence result for a PDE to obtain a global one without some sort of a priori bound on whatever is controlling the time of existence). But what Exercise 1 does let us do, is reduce matters to establishing an a priori bound:

Proposition 5. (A priori bound) Let \tau > 0, and suppose \tilde R_n is uniformly bounded on {}[-\tau,0] \times \tilde M_n for all sufficiently large n. Then in fact we can bound \tilde R_n on these slabs by a universal bound O_{C,\varepsilon,\tau}(1) (not depending on the previous universal bound).

Indeed, Exercise 1 then lets us extend the uniform bounds a little bit to the past of \tau, and one can continue this procedure indefinitely to establish Proposition 2.

We sketch the proof as follows. We allow all implied constants to depend on C, \varepsilon, \tau for brevity. The bounds are already enough to give a non-ancient limiting flow t \mapsto (M_\infty, g_\infty(t), x_\infty) on {}[-\tau,0] which is complete, connected, and non-negative curvature which is bounded at all times (but with an unspecified bound), and bounded at time zero by O(1). Also, every point with curvature greater than 4 is known to have a canonical neighbourhood. The challenge is now to propagate the quantitative curvature bounds backwards in time, to replace the qualitative bound.

In the case of an ancient flow of non-negative curvature, Hamilton’s Harnack inequality (equation (29) from Lecture 13) gives \partial_t R \geq 0, which automatically does this propagation for us. We are however non-ancient here, and the Harnack inequality in this setting only gives a bound of the form \partial_t R \geq R / (t+\tau). This can be integrated to give R(t,x) = O( 1 / (t+\tau) ), thus our bounds blow up as we approach \tau. However, this is at least enough to get good control on distances; in particular, using Corollary 1 from Lecture 15 we see that

- O( \frac{1}{\sqrt{t+\tau}} ) \leq \frac{d}{dt} d_{g(t)}(x,y) \leq 0 (1)

for all x,y \in M_\infty. Fortunately, the left-hand side here is absolutely integrable, and so we obtain a useful global distance comparison estimate:

d_{g(0)}(x,y) - O(1) \leq d_{g(t)}(x,y) \leq d_{g(0)}(x,y). (2)

To use this, pick a large curvature L \ge 1, then a much larger radius r, then an extremely large curvature L’. Now suppose for contradiction that we have a point (t,x) in {}[\tau,0] \times M of curvature larger than L’. This point is then contained in a canonical neighbourhood. This neighbourhood cannot be compact (i.e. an \varepsilon-round or C-component), since that would mean that the
minimal scalar curvature R_{\min} was comparable to L’ at time t, which by monotonicity of R_{\min} (Proposition 2 of Lecture 3) would mean that the scalar curvature is comparable to L’ at time 0, contradicting the boundedness of curvature there. This argument in fact shows that all large curvature regions are contained in either \varepsilon-necks or (C,\varepsilon)-caps.

Consider the ball B_{g(t)}(x,r). From Remark 2 we see (if L’ is large enough) that the curvature is larger than L on this ball, and so this ball consists entirely of necks and caps of width at most O(L^{-1/2}). From this it is not hard to see that the volume of this ball at time t is O( L^{-1/2} r ). On the other hand, there must be at least one point y on the boundary of this ball, since otherwise R_{\min} would be at least L, which as noted before is not possible.

Applying (2) (and noting that Ricci flow reduces volume when there is non-negative curvature, see equation (33) of Lecture 2) we conclude that B_{g(t)}(x,r-O(1)) also has volume O(L^{-1/2} r). On the other hand, we know that there is a point y at distance r from x at time t, thus y at distance r-O(1) from x at time 0. Thus (by the triangle inequality, and dividing the geodesic from x to y at time zero into unit length segments) B_{g(0)}(x,r) contains \sim r disjoint balls of radius 1/2 (say). By the non-collapsing and curvature bounds at time zero, this forces B_{g(0)}(x,r) to have volume at least comparable to r, a contradiction. This proves Proposition 5 and thus Theorem 1.

Remark 3. Perelman (and the authors who follow him) uses a slight variant of this argument, using the soul theorem to fashion a small S^2 in a narrow neck that separates two widely distant points at time t, which then evolves to a small S^2 separating two widely distant points at time zero (here we use (2)). But this is not possible due to the bounded curvature at that time. \diamond