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

(5)

and for any with , with , we define the reduced length

(6)

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

. (7)

[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

(8)

with the minimising geodesic given by the formula

with (9)

Here, we briefly argue why we expect heuristically to have a similar relationship

(10)

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:

. (11)

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

(12)

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

, (13)

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

(14)

(15)

(16)

(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:

. (17)

[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

, (18)

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

(19)

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

(20)

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

(21)

that we had the Bishop-Gromov inequality

(21′)

where is the sphere of radius r centred at with area element dS. Indeed, we can rewrite the left-hand side of (21′) as

(22)

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

(23)

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

(24)

as can be seen from (9). We can then rewrite the reduced volume in terms of “normal coordinates” as

(25)

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

(26)

which of course also follows from (14)-(16).

**Exercise 2.** Use (14), (26), and the identity

(27)

(which basically follows from the fact that any segment of a minimising -geodesic is again a -geodesic) to derive the pointwise inequality

. (38)

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

(39)

for any v and any . As a consequence, the far part of (25) (corresponding to “fast” geodesics) is negligible: we have

(40)

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

(41)

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

(42)

or equivalently that

(43)

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

(44)

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

. (45)

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

(46)

and thus the left-hand side of (45) is non-positive. Using (7) we thus conclude a simple relationship between entropy and reduced volume:

. (47)

[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.

## 9 comments

Comments feed for this article

17 May, 2008 at 4:35 am

Sylvain MaillotTheorem 1 (extending -noncollapsedness forward in time and to

a larger ball) can be viewed as a simpler version of some results in Section 6 of

Perelman’s second paper, where Ricci flow with surgery is considered. This material

is concerned with the long time behavior of Ricci flow with surgery. Hence it is

crucial in the proof of the geometrization conjecture. For the Poincare conjecture,

however, it is not necessary, which is probably why Morgan-Tian do not discuss it.

18 May, 2008 at 7:30 pm

This past two weeks… « It’s Equal, but It’s Different…[…] Lecture 10: Variation of L-geodesics, and monotonicity of Perelman reduced volume, 285G, Lecture 11: κ-noncollapsing via Perelman reduced volume, 285G, Lecture 12: High curvature regions of Ricci flow and […]

19 May, 2008 at 8:58 am

DanFor the proof of Lemma 1, you cite the maximum principle (Proposition 1 from Lecture 3), but I don’t think the maximum principle applies directly, since the manifold might not be compact. Is there an easy way to get around this difficulty?

For example, in proving Proposition 1 you use a maximum principle argument for the reduced length, but I think this is non-problematic since the reduced length is big near infinity.

19 May, 2008 at 9:55 am

Terence TaoDear Sylvain: Thanks very much for the clarification, it all makes sense now.

Dear Dan: It’s true that the maximum principle I established in Lecture 3 is restricted to the compact case. It turns out that one can extend the maximum principle (in both scalar and tensor forms) to complete manifolds of bounded curvature by a barrier method (basically, one subtracts a small multiple of a smooth weight that grows exponentially at infinity) but it is somewhat technical (see e.g. Chapter 12 of “The Ricci Flow… part II” by Chow et al.). To oversimplify a little, maximum principles continue to hold in this case as long as the solution does not grow super-exponentially fast at infinity.

It might also be possible to establish the curvature bound by a Gronwall (or ODE comparison) type argument: starting with the heat equation one should be able to obtain an integral inequality of the form from the -boundedness of the heat propagator on tensors, and ODE comparison would then do the rest. Of course this is in some sense the maximum principle in disguise, since that is the easiest way to establish the above boundedness property, but if one has another way to get a handle on the heat propagator then one might possibly be able to avoid the maximum principle altogether.

19 May, 2008 at 10:36 am

285G, Lecture 13: Li-Yau-Hamilton Harnack inequalities and κ-solutions « What’s new[…] as l. Using the first variation formulae for reduced length (see equations (14), (15) from Lecture 11), as well as the nonnegativity of R (and hence of l), we obtain the useful […]

23 May, 2008 at 7:12 pm

285G, Lecture 14: Stationary points of Perelman entropy or reduced volume are gradient shrinking solitons « What’s new[…] with equality, show that the function obeys (6) and that (cf. the computations at the end of Lecture 11). From this and (7), deduce another (formal) proof of (36) whenever the reduced volume is […]

28 May, 2008 at 1:54 pm

285G, Lecture 15: Geometric limits of Ricci flows, and asymptotic gradient shrinking solitons « What’s new[…] pick an arbitrary point and consider the reduced length function . Recall (see equation (18) from Lecture 11) that we […]

3 June, 2008 at 10:01 am

285G, Lecture 17: The structure of κ-solutions « What’s new[…] Using monotonicity of reduced volume, we thus have this lower bound for all times. The arguments in Lecture 11 then give -noncollapsing for some other universal […]

6 June, 2008 at 9:10 am

285G, Lecture 19: The structure of Ricci flow at the singular time, surgery, and the Poincaré conjecture « What’s new[…] 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 […]