In the previous lecture, we studied high curvature regions of Ricci flows t \mapsto (M,g(t)) on some time interval {}[0,T), and concluded that (as long as a mild topological condition was obeyed) they all had canonical neighbourhoods. This is enough control to now study the limits of such flows as one approaches the singularity time T. It turns out that one can subdivide the manifold M into a continuing region C in which the geometry remains well behaved (for instance, the curvature does not blow up, and in fact converges smoothly to an (incomplete) limit), and a disappearing region D, whose topology is well controlled. (For instance, the interface \Sigma between C and D will be a finite union of disjoint surfaces homeomorphic to S^2.) This allows one (at the topological level, at least) to perform surgery on the interface \Sigma, removing the disappearing region D and replacing them with a finite number of “caps” homeomorphic to the 3-ball B^3. The relationship between the topology of the post-surgery manifold and pre-surgery manifold is as is described way back in Lecture 2.

However, once surgery is completed, one needs to restart the Ricci flow process, at which point further singularities can occur. In order to apply surgery to these further singularities, we need to check that all the properties we have been exploiting about Ricci flows – notably the Hamilton-Ivey pinching property, the \kappa-noncollapsing property, and the existence of canonical neighbourhoods for every point of high curvature – persist even in the presence of a large number of surgeries (indeed, with the way the constants are structured, all quantitative bounds on a fixed time interval [0,T] have to be uniform in the number of surgery times, although we will of course need the set of such times to be discrete). To ensure that surgeries do not disrupt any of these properties, it turns out that one has to perform these surgeries deep in certain \varepsilon-horns of the Ricci flow at the singular time, in which the geometry is extremely close to being cylindrical (in particular, it should be a \delta-neck and not just a \varepsilon-neck, where the surgery control parameter \delta is much smaller than \varepsilon; selection of this parameter can get a little tricky if one wants to evolve Ricci flow with surgery indefinitely, although for the purposes of the Poincaré conjecture the situation is simpler as there is a fixed upper bound on the time for which one needs to evolve the flow). Furthermore, the geometry of the manifolds one glues in to replace the disappearing regions has to be carefully chosen (in particular, it has to not disrupt the pinching condition, and the geometry of these glued in regions has to resemble a (C,\varepsilon)-cap for a significant amount of (rescaled) time). The construction of the “standard solution” needed to achieve all these properties is somewhat delicate, although we will not discuss this issue much here.

In this, the final lecture, we shall present these issues from a high-level perspective; due to lack of time and space we will not cover the finer details of the surgery procedure. More detailed versions of the material here can be found in Perelman’s second paper, the notes of Kleiner-Lott, the book of Morgan-Tian, and the paper of Cao-Zhu. (See also a forthcoming paper of Bessières, Besson, Boileau, Maillot, and Porti.)

— Ricci flow at the singular time —

Suppose we have a compact 3-dimensional Ricci flow t \mapsto (M,g(t)) on the time interval {}[0,T) without any embedded \Bbb{RP}^2 with trivial normal bundle; for simplicity we can take M to be connected (otherwise we simply treat each of the finite number of connected components of M separately). We are interested in the extent to which we can define a limiting geometry g(T) on M (or on some subset of M) at the final time T, and to work out the topological structure of the portions of M for which such a limit cannot be defined.

From Theorem 1 of Lecture 18, we know that any point (t,x) \in [0,T) \times M for which the curvature R(t,x) exceeds a certain threshold K, will lie in a canonical neighbourhood. (For sake of discussion we shall suppress the constants C and \varepsilon, as they will not play a major role in what follows.) One consequence of this is that one has the pointwise bounds

\nabla R = O( R^{3/2} ); \quad R_t = O(R^2) (1)

whenever R \geq K. Also recall from the maximum principle that we have R \geq -O(1) throughout.

These simple regularity properties of the scalar curvature R are already enough to classify the limiting behaviour of R(t,x) as t \to T for each fixed x:

Exercise 1. Using (1), show that for every x \in M there are either two possibilities: either R(t,x) remains bounded as t \to T (with a bound that can depend on x), or that R(t,x) goes to infinity as t \to T, and in the latter case we even have the stronger statement \lim_{t \to T} (T-t) R(t,x) > c for some c depending only on the implied constant in (1). If we let \Omega \subset M be the set of x for which R(t,x) remains bounded, show that \Omega is open, and R(t,\cdot) converges uniformly on compact subsets of \Omega to some limit R(T,\cdot) as t \to T. \diamond

The pinching property also lets us establish bounds of the form \hbox{Riem} = O(1 + |R|). Using this and Shi’s regularity estimates (and the non-collapsing property), one can show that (\Omega, g(t)) converges in C^\infty on compact subsets of \Omega to an incomplete limit (\Omega, g(T)).

Our main tasks here are to understand the geometry of the limit (\Omega, g(T)), and the topology of the remaining region M \backslash \Omega (and how the two regions connect to each other).

If \Omega is all of M, then the Ricci flow continues smoothly to time T, and we can continue onwards beyond T by the local existence theory for that flow. Now let us instead consider the other extreme case in which \Omega is empty. In this case, from Exercise 1 we see that we have R(t,x) \geq K for all x \in M, if t is sufficiently close to T. In particular, this means that every point in M lies in a canonical neighbourhood: an \varepsilon-round component (topologically S^3/\Gamma), a C-component (topologically S^3 or \Bbb{RP}^3), a \varepsilon-neck (topologically {}[-1,1] \times S^2), or a (C,\varepsilon)-cap (topologically a 3-ball or punctured \Bbb{RP}^3). If any point lies in the first type of canonical neighbourhoods, then M is topologically a spherical space form S^3/\Gamma. Similarly, if any point lies in the second type, M is either an S^3 or \Bbb{RP}^3 this way. So the only remaining case left is when every point lies in a neck or a cap. Since each cap contains at least one neck in it, we have at least one neck; following this neck in both directions, we either must end up with a doubly capped tube, or the tube must eventually connect back to itself. In the former case we obtain an S^3, \Bbb{RP}^3, or \Bbb{RP}^3 \# \Bbb{RP}^3 (depending on whether zero, one, or two of the caps are punctured \Bbb{RP}^3‘s rather than 3-balls); in the latter case, we get an S^2 bundle over S^1, which as discussed back in Lecture 2 comes in only two topological types, oriented and unoriented.

To summarise, if \Omega is empty, then M is either a spherical space form,
\Bbb{RP}^3 \# \Bbb{RP}^3, or an S^2 bundle over S^1. In this case, the surgery procedure is simply to delete the entire manifold; this respects the topological compatibility condition required for Theorem 2 of Lecture 2. (The geometric compatibility condition is moot in this case.) In this case, the disappearing region is the whole manifold M, and the continuing region is empty.

Similar considerations occur if \Omega is non-empty, but that R(T,x) \geq 2K (say) for all x \in \Omega. So we may assume that there is at least one x for which R(T,x) < 2K, and thus R(t,x) < 2K for all t sufficiently close to T. Thus we are guaranteed at least one point of bounded curvature in M, even at times close to the singular time. We can also assume that no canonical neighbourhood in M is an \varepsilon-round or C-component, since again in this case we could delete the entire manifold by surgery. Thus every point of curvature greater than K lies in a neck or a cap.

Because of this, it is not hard to show that every boundary point of \Omega (where R(T,x) becomes infinite) lies at the end of an \varepsilon-horn:a tube of \varepsilon-necks of curvature at least 4K (say) throughout, with the curvature becoming infinite at one or both ends (thus the width of the necks go to zero as one approaches the boundary of \Omega). (Note that if the tube is ever capped off by a (C,\varepsilon)-cap, then the curvature does not go to infinity in this tube.) If the curvature goes to infinity at both ends, we have a double \varepsilon-horn; otherwise, we have a single \varepsilon-horn will have one infinite curvature end and one end with bounded curvature.

The single \varepsilon-horns are all disjoint from each other, and their volume is bounded from below, and so they are finite in number. So the geometric picture of (\Omega,g(T)) is that of a (possibly infinite) number of double \varepsilon-horns, together with a finite number of additional connected incomplete manifolds, with boundary consisting of a finite number of disjoint spheres S^2, with a single \varepsilon-horn glued on to each one of these spheres.

Suppose one performs a topological surgery on each single \varepsilon-horn, by taking a sphere S^2 somewhere in the middle of each horn, removing the portion between that S^2 and the boundary, and replacing it by a 3-ball. We also remove all the double \varepsilon-horns; all the removed regions form the disappearing region of M, and the remainder is the continuing region. This creates a new compact (but possibly disconnected) manifold M(T), formed by gluing finitely many 3-balls to the continuing region. To see the topological relationship between this new manifold and the previous manifold M, we move backwards in time a slight amount to an earlier time t, so that the horn is no longer singular at its boundary and instead connects to the remainder M\backslash \Omega of the manifold. If t is close enough to T, then (by (1)), the portion of the horn between the S^2 and the boundary of the horn will still have curvature at least K, and thus every point here will lie in a neck or cap. Also, all the points in M \backslash \Omega, and in particular the portion of the manifold beyond the boundary of the horn, will also have curvature at least K and thus lie in a neck or cap if t is close enough to T. If we then follow this desingularised horn from the surgery sphere S^2 towards its boundary and beyond (possibly passing through any number of double \varepsilon-horns in the process), we will either discover a capped tube (which is thus topologically either a 3-ball or a punctured \Bbb{RP}^3), or else the tube will eventually connect to another surgery sphere, which may or may not lie in the same connected component of M(T). Topologically, the first case corresponds to taking a connected sum of (one component of) M(T) with either a sphere S^3 or a projective space \Bbb{RP}^3; the second case corresponds to taking a connected sum of one component of M(T) with either another component of M(T), or with an S^2-bundle over S^1. Putting all this together we see that M is the connected sum of the components of M(T), together with finitely many S^3‘s, \Bbb{RP}^3‘s, and S^2-bundles over S^1, which again gives the topological compatibility condition required for Theorem 2 of Lecture 2.

We have thus successfully performed a single (topological) surgery. However, in doing so we have lost a lot of quantitative properties of the geometry, such as Hamilton-Ivey pinching, \kappa-noncollapsing, and the canonical neighbourhood property, which means that we cannot yet ensure that we can perform any further surgeries. To resolve this problem, we need to be more precise about the surgery process, in particular using our freedom to choose the surgery sphere as deep inside the \varepsilon-horn as we please, and to prescribe the metric on the cap that we attach to that sphere.

— Surgery —

To do surgery, a key observation of Perelman is that the geometry of the horn becomes increasingly cylindrical as one goes deeper into the horn:

Lemma 1. Let H be a single \varepsilon-horn which has width scale comparable to r at the finite curvature end, and let \delta > 0. Then there exists a \delta-neck of width scale comparable to h inside the horn H, where h = h(r,\delta) > 0 is a small quantity depending only on r and \delta.

Proof. (Sketch) Suppose this was not the case; then one could find a sequence of horns H_n of this type, and a sequence of points x_n inside these horns inside \varepsilon-necks of width scale comparable to h_n which are not inside \delta-necks of this scale, where h_n \to 0. We can find a minimising geodesic from the finite curvature end to the infinite curvature end that goes through the neck near x_n. We then rescale (H_n, x_n) to have width 1 at x_n, and then apply the machinery from Lecture 18 to obtain a limit (H_\infty,x_\infty); the bounded curvature at bounded distance property (Proposition 3 from Lecture 18) shows that both the bounded curvature end and the infinite curvature end of the horn must recede to be infinitely far away from x_n in the limit, and so H_\infty becomes complete; it also has non-negative curvature, by pinching. The minimising geodesic becomes a minimising line in H_\infty, and so by the Cheeger-Gromoll theorem it splits H_\infty into the product of a line and a two-dimensional manifold (which is \varepsilon-close to a sphere). It turns out that we can continue all these manifolds backwards in time and repeat these arguments (much as in Lecture 18) to eventually give H_\infty the structure of a \kappa-solution; but then the vanishing curvature forces it to be a round cylinder, by Proposition 2 of Lecture 17. This implies that the rescaled H_n are eventually \delta-necks, a contradiction. \Box

In order to successfully perform Ricci flow with surgery up to some specified time T (starting from controlled initial conditions, and as always assuming that no embedded \Bbb{RP}^2 with trivial normal bundle is present), we shall pick \delta to be a very small number depending on T and the initial condition parameters, and perform our surgery on the \delta-necks the scale h provided by Lemma 1, where r^{-2} is (essentially) the curvature threshold beyond which the canonical neighbourhood condition holds. (In order to avoid a circular dependence of constants, one needs to check that even after surgery, that the curvature threshold for the canonical neighbourhood condition remains bounded even after arbitrarily many surgeries, as long as \delta is chosen sufficiently small depending on this scale, on T, and on the initial conditions.)

Remark 1. Thanks to finite time extinction in the simply connected case, being able to perform Ricci flow with surgery up to a preassigned finite time T is sufficient for proving the Poincaré conjecture (cf. Remark 1.4 of Perelman’s third paper). For the full geometrisation conjecture, however, one needs to perform Ricci flow with surgery for an infinite amount of time. For this, one cannot pick a single \delta; instead, one has to divide the time interval into bounded intervals (e.g. dyadic intervals), and pick a different \delta for each one (which depends on a number of parameters, including the curvature threshold for the canonical neighbourhbood property on the previous dyadic interval). This selection of constants becomes a little subtle; see e.g. the notes of Kleiner-Lott for further discussion. \diamond

Having located a \delta-neck inside each single \varepsilon-horn, we remove the half of the neck from the centre sphere to the infinite curvature region, and smoothly interpolate in its place a copy of an (appropriately rescaled) standard solution. There is some choice as to how to set up this solution (much as there is some freedom when selecting a cutoff function), but roughly speaking this solution should resemble the manifold formed by attaching a hemispherical cap to a round unit cylinder, except that one needs to smooth out the transition between the two portions of this solution; also, one needs to ensure that one has positive curvature throughout the standard solution in order not to disrupt the Hamilton-Ivey pinching property. It is also technically convenient to demand that this solution is spherically symmetric (at which point Ricci flow collapses to a system of two scalar equations in one spatial dimension). One can show that such standard solutions exist for unit time (just as the round unit cylinder does), and asymptotically matches the round shrinking solution at spatial infinity. As one consequence of this, one can check that all points in spacetime on the standard solution have canonical neighbourhoods; and, with some effort, one can also show that the same will be true in the spacetime vicinity of the region in which a standard solution has been inserted via surgery into a Ricci flow, as long as \delta is sufficiently small. This is an essential tool to ensure that the canonical neighbourhood solution persists after multiple surgeries.

Remark 2. Suppose that M is irreducible with respect to connected sum (one can easily reduce to this case for the purposes of the Poincaré conjecture, thanks to Kneser’s theorem on the existence of the prime decomposition). Then all surgeries must be topologically trivial, which means that every \varepsilon-horn, when viewed just before the singular time, only connects to a tube capped off with a ball. Then one can show that the surgery procedure is almost distance decreasing in the sense that for any \eta > 0, there exists a 1 +\eta-Lipschitz diffeomorphism from the pre-surgery manifold to the post-surgery manifold. This property is useful for ensuring that various arguments for establishing finite time extinction for Ricci flows, also work for Ricci flows with surgery, as discussed for in Lecture 5 and Lecture 6. Even if the manifold is not irreducible, one can show that there are only finitely many surgeries that change the topology of the manifold; this can be established either using the prime decomposition, or by constructing a topological invariant (namely, the maximal number of homotopically non-trivial and homotopiclly distinct embedded 2-spheres in M) which is finite, non-negative, decreases by at least one with non-trivial surgery; see Section 18.2 of Morgan-Tian for details. \diamond

Remark 3. The various properties listed above of the standard solution and its insertion into surgery regions are the “geometric compatibility conditions” alluded to in Theorem 2 of Lecture 2. \diamond

— Controlling the geometry after multiple surgeries —

Suppose that we have already performed a large (but finite) number of surgeries. In order to be able to continue Ricci flow with surgery, it is necessary that we maintain quantitative control on the geometry of the manifold which is uniform in the number of surgeries. Specifically, we need to extend the following existing controls on Ricci flow, to Ricci flow with surgery:

  1. Lower bounds on R_{\hbox{min}}.
  2. Hamilton-Ivey pinching type bounds that lower bound \hbox{Riem} in terms of R.
  3. \kappa-noncollapsing of the manifold.
  4. Canonical neighbourhoods for all high curvature points in the flow.

The first two controls are quite easy to establish, because they are propagated by Ricci flow (thanks to the maximum principle), and are easily preserved by surgery (basically because 1. and 2. are primarily concerned with negative curvature, and surgery is only performed in regions of high positive curvature by construction). It is significantly trickier however to preserve 3., because the proof of \kappa-noncollapsing is more global, requiring the use of {\mathcal L}-geodesics through spacetime. The key new difficulty is that thanks to the presence of surgery, the manifold can become “parabolically disconnected”; not every point in the initial manifold (M,g(0)) can be reached from a future point in a later manifold (M(t),g(t)) by an {\mathcal L}-geodesic, because an intervening surgery could have removed the region of spacetime that the geodesic ought to have passed through. This forces one to introduce the notion of an admissible curve – curves that avoid the surgery regions completely – and barely admissible curves, which are admissible curves which touch the boundary of the surgery regions. Roughly speaking, the monotonicity of reduced volume now controls the \kappa-noncollapsing at future times in terms of the non-collapsing of the portion of the initial manifold (M,g(0)) which can be reached by admissible curves; this region is bordered by points which can be reached by barely admissible curves.

Now suppose we knew that all barely admissible curves had large reduced length. Then the maximum principle argument that located points of small reduced length for Ricci flows (cf. equation (18) from Lecture 11), would continue to work for Ricci flows with surgery, with the points located being inside the admissible region. It turns out that the arguments of Lecture 11 could then be adapted to this setting without much difficulty to establish the desired \kappa-noncollapsing.

It is not too difficult to show that if a path did pass through a \delta-neck inside an \varepsilon-horn in which surgery was taking place, then the portion of the path near to that surgery region would have a large contribution to the reduced length (unless the starting point of the path was very close to the surgery region, but then one could verify the non-collapsing property directly, essentially due to the non-collapsed nature of the standard solution). This almost settles the problem immediately, except for the technical issue that there might be regions of negative curvature elsewhere in spacetime which could drag the reduced length back down again (note that the reduced length is not guaranteed to be non-negative!). There is a technical fix for this, defining a modified reduced length in which the curvature term R is replaced by \max(R,0) (and using the lower bounds on R_{\min} to measure the discrepancy between the two notions), but we will not discuss the details here; see Lemma 5.2 of Perelman’s second paper (and Chapter 16 of Morgan-Tian for a very detailed treatment).

Remark 4. A recent paper of Zhang uses Perelman’s entropy (as in Lecture 8) to establish \kappa-noncollapsing for Ricci flow with surgery, using the distance-decreasing property to keep control of the entropy functional after each (topologically trivial) surgery. This should provide a way to simplify this part of the argument, at least in the case of irreducible manifolds M. \diamond

Finally, one has to check that all high-curvature points of Ricci flows with surgery lie in canonical neighbourhoods, where the threshold for “high curvature” is uniform in the number of surgeries performed. Very roughly speaking, there are two cases, depending on whether there was a surgery performed near (in the spacetime sense) such a region or not. If there was no nearby surgery, then the arguments in Lecture 18 (which are local in nature) essentially go through, exploiting heavily the \kappa-noncollapsing and pinching properties that we have just established. If instead there was a nearby surgery in the recent past, then one needs to approximate the geometry here by the geometry of the standard solution, for which all points have canonical neighbourhoods. See for instance Section 17.1 of Morgan-Tian for details.

— Surgery times do not accumulate —

The very last thing one needs to do to establish the Poincaré conjecture is to establish Theorem 3 from Lecture 2, which asserts that the set of surgery times is discrete. It turns out that this is in fact rather easy to establish. One first observes that each surgery removes at least some constant amount of c(h) > 0 of
volume from the manifold (as can be seen by looking at what happens to a single \delta-neck of width roughly h under surgery; all other removals under surgery of course only decrease the volume further). On the other hand, using the volume variation formula (equation (33) from Lecture 1) we have an upper bound on the growth of volume during non-surgery times:

\frac{d}{dt} \hbox{Vol}(M(t)) \leq -R_{\min}(t) \hbox{Vol}(M(t)). (2)

Since we have a uniform lower bound on R_{\min}, this implies that volume can grow at most exponentially, and in particular can only grow by a bounded amount on any fixed time interval. Hence there can be at most finitely many surgeries on each such time interval, and we are done.

Remark 5. The number of surgeries performed in a given time interval, while finite, could be incredibly large; it depends on the length scale h of the surgery, which in turn depends on the parameter \delta, which needs to be very small in order not to disrupt the \kappa-noncollapsing or canonical neighbourhood properties of the flow. This is why it is essential that our control of such properties is uniform with respect to the number of surgeries. \diamond

Remark 6. Note also that there is no lower bound as to how close two surgery times could be to each other; indeed, there is nothing preventing two completely unrelated surgeries from being instantaneous. However, if there are an infinite number of singularities occurring at (or very close to) a single time, what tends to happen is that the earliest surgeries will not only remove the immediate singularities being formed, but will also pre-emptively eradicate a large number of potential future singularities (in particular, due to the removal of all the double \varepsilon-horns, which were not immediately singular but were threatening to become singular very shortly), thus keeping the surgery times discrete. \diamond

This concludes the lecture notes on the Poincaré conjecture. Have a good summer!