Having established the monotonicity of the Perelman reduced volume in the previous lecture (after first heuristically justifying this monotonicity in Lecture 9), we now show how this can be used to establish -noncollapsing of Ricci flows, thus giving a second proof of Theorem 2 from Lecture 7. Of course, we already proved (a stronger version) of this theorem already in Lecture 8, using the Perelman entropy, but this second proof is also important, because the reduced volume is a more localised quantity (due to the weight in its definition and so one can in fact establish local versions of the non-collapsing theorem which turn out to be important when we study ancient -noncollapsing solutions later in Perelman’s proof, because such solutions need not be compact and so cannot be controlled by global quantities (such as the Perelman entropy).
The route to -noncollapsing via reduced volume proceeds by the following scheme:
Non-collapsing at time t=0 (1)
Large reduced volume at time t=0 (2)
Large reduced volume at later times t (3)
Non-collapsing at later times t (4)
The implication is the monotonicity of Perelman reduced volume. In this lecture we discuss the other two implications , and ).
Our arguments here are based on Perelman’s first paper, Kleiner-Lott’s notes, and Morgan-Tian’s book, though the material in the Morgan-Tian book differs in some key respects from the other two texts. A closely related presentation of these topics also appears in the paper of Cao-Zhu.
– Definitions –
Let us first recall our definitions. Previously we defined Perelman reduced length and reduced volume for ancient flows for , centred at a point on the final time slice , but one can also define these quantities for flows on the time interval and for points as follows. We introduce the backward time variable . Given any path , we define its length
and for any with , with , we define the reduced length
where ranges over all paths from to (which can also be viewed as trajectories in the spacetime manifold from to . The reduced volume is then defined as
[Note: some authors normalise the reduced volume by using instead of , in order to give Euclidean space a reduced volume of 1, but this makes no essential difference to the analysis.]
The arguments of the previous lecture show that if is a Ricci flow, then the reduced volume is a non-increasing function of for fixed . In particular, the reduced volume at later times is bounded from below by the reduced volume at time 0 (which is the implication ).
– Heuristic analysis –
In the case of the trivial Euclidean flow, the reduced length is given by the formula
with the minimising geodesic given by the formula
Here, we briefly argue why we expect heuristically to have a similar relationship
for the reduced length on more general Ricci flows, under an assumption of bounded normalised curvature.
Specifically, suppose that we have a normalised curvature bound . Then we have , and so over the time scale , we see that the metric only changes by a multiplicative constant. If we ignore such constants for now, we see that the distance function does not change much over the time interval of interest.
Let be a minimising -geodesic from to . This path has to traverse a distance roughly in time , and so its speed should be at least . Also, the scalar curvature R should be by the bounded normalised curvature assumption. Putting all this into (5) and (6) we heuristically obtain (10).
From (10), we expect the expression to be comparable to 1 when is inside the ball , and to be exponentially small outside of this ball. Using (7), we thus obtain a heuristic approximation for the Perelman reduced volume:
Thus the Perelman reduced volume is heuristically equivalent to the Bishop-Gromov reduced volume at at scale . Since the latter measures non-collapsing, we heuristically obtain the implications and .
– From non-collapsing to lower bounds on reduced volume –
Now we discuss implications of the form in more detail. Specifically, we show
Proposition 1. Let be a d-dimensional Ricci flow on a complete manifold M for such that we have the normalised initial conditions and at time t=0 for some and all x (so in particular, the geometry is non-collapsed at scale 1 at all points at time zero). Then we have for some and all .
The main task in proving implications of the form is to show the existence of some large ball at time zero on which is bounded from above.
Turning to the specific proposition above, we first observe that we can reduce to the large time case . Indeed, if , then we can rescale the Ricci flow until (this increases T, but we can simply truncate T to compensate for this). This rescaling reduces the size of the initial Riemann curvature, and the volume of balls of unit radius are still bounded from below thanks to the Bishop-Gromov inequality.
The next observation we need is that the control on the geometry at time zero persists for a short amount of additional time:
Lemma 1. (Local persistence of controlled geometry) Let the hypotheses be as in Proposition 1. Then there exists an absolute constant c > 0 (depending only on d) such that for all times and . Also we have for all and , and some depending only on .
Proof. We recall the nonlinear heat equation
for the Riemann curvature tensor under Ricci flow (see equation (31) of Lecture 1). The bound on Riemann curvature can then obtained by an application of Hamilton’s maximum principle (Proposition 1 from Lecture 3); we leave this as an exercise to the reader. [Technically, one needs to first generalise the maximum principle from compact manifolds to complete manifolds of bounded curvature. This can be done using barrier functions, but it is somewhat technically involved: see Chapter 12 of Chow et al. for details.] As in the heuristic discussion, the bounds on the Riemann curvature (and hence the Ricci curvature) show that the metric g and the distance function only change by at most a multiplicative constant; this also implies that the volume measure only changes by a multiplicative constant as well. From this we see that the lower bound on the volume of unit balls at time zero implies a lower bound on the volume of balls of radius O(1) at times ; one can then get back to balls of radius 1 by invoking the Bishop-Gromov inequality.
The next task is to find a point such that the reduced length from to is small, since this should force y (and the points close to y) to give a large contribution to the reduced volume. In the Euclidean case, one would just take (see (8)), but this does not necessarily work for general Ricci flows: note from (5), (6) that the reduced length from to could in principle be as large as
which could be quite large if the scalar curvature becomes large and positive (which is certainly within the realm of possibility, especially if one is approaching a singularity).
Fortunately, we can use the parabolic properties of the reduced length , combined with the maximum principle, to locate a good point y with the required properties. From the analysis of the previous lecture, and some rescaling and time translation, we obtain the identities and inequalities
(cf. equations (29), (33), (47) from the previous lecture), where is the final velocity vector of the minimising -geodesic from to . [We only derived (14)-(16) rigorously inside the domain of injectivity, but as discussed in the previous lecture, one can establish the above inequalities in the sense of distributions on the whole manifold M.] From (15), (16) we obtain in particular that l is a supersolution of a heat equation:
[Note that (17) holds with equality in the Euclidean case (8).] From the maximum principle (Corollary 1 from Lecture 3), we see that if we have the uniform lower bound at some time , then this bound will persist for all times between t and . On the other hand, by using the upper bound (12) for we see that the bound breaks down for times t sufficiently close to . We therefore conclude that for all . In particular we can find a point y such that
where c is the small constant in Lemma 1. Given the bounded geometry control in Lemma 1 (and in particular the fact that g(t) is comparable to g(0) for ), it is thus not hard to see (by concatenating the minimising path from to with a geodesic segment (in the g(0) metric) from to ) that
for some depending only on d, where. The hypotheses on the geometry of g(0), combined with the Bishop-Gromov inequality, give a uniform lower bound for the volume of , and Proposition 1 now follows directly from the definition (7) of reduced volume.
– From lower bounds on reduced volume to non-collapsing –
Now we consider the reverse type of implication from those just discussed. Here, the task is reversed; rather than establishing upper bounds on l on a ball of radius comparable to one, the main challenge is now to establish lower bounds (of the form ) on l on such a ball, as well as some growth bounds on l away from this ball.
We begin by formally stating the result of the form that we shall establish.
Proposition 2. Let be a d-dimensional Ricci flow on a complete manifold M for , and let and be such that for and , and such that for some and all . Then one has for some c depending only on d and .
Exercise 1. Use Proposition 1, Proposition 2, and the monotonicity of Perelman reduced volume to deduce Theorem 2 from Lecture 7.
We now prove Proposition 2. We first observe by time translation (and by removing the portion of the Ricci flow below that we may normalise , and then by scaling we may normalise . Thus we now have a Ricci flow on [0,1] with on and
for all , where is the reduced length function. Our task is to show that is bounded away from zero.
We first observe (as in Lemma 1) that the metrics g(t) for are all comparable to each other up to multiplicative constants on , and so the balls in these metrics also differ only up to multiplicative constants.
Next, we would like to localise the reduced volume (20) to the ball (since this is the only place where we really control the geometry). To do this it is convenient to work in the parabolic counterpart of normal coordinates around and exploit the pointwise version of the Perelman reduced volume monotonicity. To motivate this, recall from the pointwise inequality
that we had the Bishop-Gromov inequality
where is the sphere of radius r centred at with area element dS. Indeed, we can rewrite the left-hand side of (21′) as
where is the standard sphere with the standard area element , and is the Jacobian of the exponential map ; in the Euclidean case, . [Actually, once the radius r exceeds the injectivity radius, one has to restrict to the portion of that has not yet encountered the cut locus, but let us ignore this technical issue for now.] The inequality (21) (when combined with the Gauss lemma) is equivalent to the pointwise inequality
which certainly implies (22), but also implies the stronger fact that the Bishop-Gromov inequality can be localised to arbitrary sectors in the sense that (which can be viewed as the Bishop-Gromov reduced volume of the sector ) is non-increasing in .
Now we develop parabolic analogues of the above observations. Recall from the previous lecture that we have an -exponential map for that sends a tangent vector v to , where is the unique -geodesic starting at with initial condition . In the Euclidean case, this map is given by the formula
as can be seen from (9). We can then rewrite the reduced volume in terms of “normal coordinates” as
where is the Jacobian of the map . (Again, one has to restrict to the portion of the tangent manifold lies inside the injectivity domain, but this domain turns out to be non-increasing in (for much the same reason that the region inside the cut locus of a point in a Riemannian manifold is star-shaped) and so this effect works in our favour as far as monotonicity is concerned.)
In the previous lecture we saw that the monotonicity of Perelman reduced volume followed from the pointwise inequality
which of course also follows from (14)-(16).
Exercise 2. Use (14), (26), and the identity
(which basically follows from the fact that any segment of a minimising -geodesic is again a -geodesic) to derive the pointwise inequality
Exercise 2 reproves the monotonicity of Perelman reduced volume (25), but also proves a stronger local version of this monotonicity in which the region of integration is replaced by an arbitrary region (intersected with the injectivity region, as mentioned earlier).
In the Euclidean case, a computation using (8) and (24) shows that and . Also, one can use some basic analysis arguments to show that in the limit , the expressions in (25) converge pointwise to their Euclidean counterparts. As a consequence we obtain the pointwise domination
for any v and any . As a consequence, the far part of (25) (corresponding to “fast” geodesics) is negligible: we have
for some C depending only on d and . From this and the hypothesis (19) we thus obtain lower bounds on local Perelman reduced volume, or more precisely that
for all .
Now, we have bounded curvature on the cylinder . Using the heat equation (12) and standard parabolic regularity estimates, we thus conclude that any first derivatives of the curvature are also bounded on the cylinder . (In fact, all higher derivatives are controlled as well; see this paper of Shi for full details.) In particular we have in this cylinder. Thus the equation G=0 for an -geodesic (where G was defined in equation (27) of the previous lecture) becomes
or equivalently that
as long as the geodesic stays inside this smaller cylinder. From this and Gronwall’s inequality one easily verifies that for sufficiently small (depending on C, d), the exponential map does not exit the cylinder for . On the other hand, at time , we see from (5), (6) and the bounds on curvature in this cylinder that the reduced length l of the associated -geodesic is bounded below by some constant depending on . We thus see (from the change of variables formula) that the left-hand side of (41) is bounded above by . Choosing to be a small number depending on C, d, we thus conclude from (41) that the volume of with respect to (and hence g(1), by comparability of metrics) is bounded from below by some constant depending on C and d, and thus ultimately on and d, giving Proposition 2 as desired.
– Extensions –
The pointwise nature of the monotonicity of Perelman reduced volume allows one to derive local versions of the non-collapsing result, in which one only needs a portion of the geometry to be non-collapsed at the initial time. A typical version of such a local noncollapsing result reads as follows.
Theorem 1 (Perelman’s non-collapsing theorem, second version) Let be a d-dimensional Ricci flow on the time interval , and suppose that one has the bounded normalised curvature condition on a cylinder for some . Suppose also that we have the volume lower bound for some . Then for any , the Ricci flow is -noncollapsed at for any and at any scale , for some depending only on d, c, A.
The novelty here is that the geometry is controlled in a cylinder, rather than on the initial time slice, but one gets to conclude -noncollapsing at points some distance away from the cylinder. In view of Lemma 1, we see that this result is more or less a strengthening of the previous -noncollapsing theorem.
This theorem (or more precisely, a generalisation of it involving Ricci flow with surgery) is used in the original argument of Perelman (and then in the later treatments by Kleiner-Lott and Cao-Zhu) in order to deal with the long-time behaviour of Ricci flow with surgery, which is needed for the geometrisation conjecture. For proving the Poincaré conjecture, though, one has finite time extinction, and it turns out that the above theorem is not needed for the proof of that conjecture (for instance, it does not appear in treatment of Morgan-Tian). Nevertheless I will sketch how the above theorem is proven below, since there are one or two interesting technical tricks that get used in the argument.
The proof of Theorem 1 is, unsurprisingly, a modification of the previous arguments . The implications and are basically unchanged, but one needs to replace Proposition 1 by the following variant.
Proposition 3. Let the hypotheses be as in Theorem 1. Then for any one has for some depending on A, c, d.
We sketch the proof of Proposition 3. It is convenient to rescale so that . In view of the non-collapsed nature of the geometry in , it suffices to establish a lower bound of the form for all for some depending on A,c,d. Actually, because of the bounded geometry in the cylinder, it suffices to show that for just one point for some depending on A,c,d, since one can join (1/2,y) by a geodesic to (1,z) much as in the proof of Proposition 1.
The task is now analogous to that of finding a point y that obeyed the relation (18), so we expect the heat equation (17) to again play a role. We do not need the sharp bound of n/2 which occurs in (18); on the other hand, y is now constrained to lie in a ball, which defeats a direct application of the maximum principle. To fix this one has to multiply the reduced length l by a penalising weight to force the minimum to lie in the desired ball at time 1/2, and then rapidly relax this weight as one moves from time 1/2 to time 1 so that it incorporates the point x at time 1. It turns out the maximum principle can then be applied with a suitable choice of weights, as long as one knows that the distance function is a supersolution to a heat equation, and more precisely that when r is bounded away from the origin. But this can be established by the first and second variation formulae for the distance function, and in particular using the non-negativity of the second variation for minimising geodesics. Details can be found in Section 8 of Perelman’s paper, Sections 26-27 of Kleiner-Lott, or Section 3.4 of Cao-Zhu.
Remark 1. One can also interpret the above analysis in terms of heat kernels, and using (26) instead of (17). The former inequality is equivalent to the assertion that the function is a subsolution of the adjoint heat equation: . As , v approaches a Dirac mass at x (indeed, v asymptotically resembles the Euclidean backwards heat kernel from ) and the task is to obtain upper bounds on v at some point on a ball at time 1/2. This is basically equivalent to establishing lower bounds of Gaussian type for the fundamental solution of the adjoint heat equation at some point in . Similar analysis in the case of a static manifold with potential (and a lower bound on Ricci curvature) was carried out somewhat earlier by Li and Yau.
As mentioned previously, in order to apply the non-collapsing result beyond the first surgery time, it is necessary to develop analogues of the above theory for Ricci flows with surgery. This turns out to be remarkably technical, but the main ideas at least are fairly clear. Firstly, one has to delete all -geodesics which pass through surgery regions when defining the Perelman reduced volume; such curves are called “inadmissible”. Note that if is in a surgery region to begin with, then every curve is inadmissible but in this case the geometry can be controlled directly from the surgery theory. As it turns out, one can similarly deal with the case when has extremely high curvature because one can control the geometry of such regions. So we can easily eliminate these bad cases.
Because of the pointwise nature of the monotonicity formula for reduced volume, this restriction of admissibility does not affect the “” stage of the argument. The “” step is also largely unaffected, since removing inadmissible components of the reduced volume only serves to strengthen the hypothesis (3). But significant new technical difficulties arise in the “” portion of the argument, when one has to argue that not too much of the reduced volume has been deleted by all the various surgeries that take place between time t=0 and time . In particular, we still need to find a point y obeying (18) (or something very much like (18)) which is admissible. To do this, the basic idea is to establish that inadmissible curves have large reduced length (and so removing them will not impact the search for a solution to (18)). For technical reasons it is better to restrict attention to barely admissible curves – curves which just touch the border of the surgery region, but do not actually enter it. In this case it is possible to use the geometric control of the surgery regions to give some non-trivial lower bounds on the reduced length of such curves, although there are still significant technical issues to resolve beyond this. I hope to return to this point later in the course, when we have defined surgery properly.
– Epilogue: a connection between Perelman entropy and Perelman reduced volume –
We have shown two routes towards establishing -non-collapsing of Ricci flows, one using the (parameterised) Perelman entropies
and one using the reduced volumes mentioned above. Actually, the two quantities are related to each other (this is hinted at in Section 9 of Perelman’s paper); very roughly speaking, the potential function f in the theory of Perelman entropy plays the same role that reduced length l does in the theory of Perelman volume. Indeed, using (44) and shifting f by a constant if necessary, we have the log-Sobolev inequality
An integration by parts reveals that we can replace the on the left -hand side by , and hence one can also replace this quantity by .
We now apply this inequality with and for some spacetime point in the Ricci flow. Using (14), (16) we see that
and thus the left-hand side of (45) is non-positive. Using (7) we thus conclude a simple relationship between entropy and reduced volume:
[As usual, we have equality in physical space; this inequality also reinforces the suggestion that one normalise the reduced volume by an additional factor of .]
Thus the Perelman entropy can be viewed as a global analogue of the Perelman reduced volume, in which we allow the base point to vary (thus it measures the global non-collapsing nature of the manifold, as opposed to the local nature; we already saw this in Lecture 8; compare in particular equation (62) from Lecture 8 with the heuristic (11) using (47).)
There are other connections between entropy and reduced volume; compare for instance the flow equation for the potential f (equation (46) from Lecture 8) with equation (26) here. The adjoint heat equation also makes essentially the same appearance in both theories. See Section 9 of Perelman’s paper for further discussion.
Remark 2. As remarked above, the flow equation for f can be viewed as a pointwise versions of the entropy monotonicity formula, which in principle leads to localised monotonicity formulae for the Perelman entropy; some analysis in this direction appears in Section 9 of Perelman’s paper. But I do not know if these localised entropy formulae can substitute to give a different proof of Theorem 1.