We now set aside our discussion of the finite time extinction results for Ricci flow with surgery (Theorem 4 from Lecture 2), and turn instead to the main portion of Perelman’s argument, which is to establish the global existence result for Ricci flow with surgery (Theorem 2 from Lecture 2), as well as the discreteness of the surgery times (Theorem 3 from Lecture 2).

As mentioned in Lecture 1, *local* existence of the Ricci flow is a fairly standard application of nonlinear parabolic theory, once one uses de Turck’s trick to transform Ricci flow into an explicitly parabolic equation. The trouble is, of course, that Ricci flow can and does develop singularities (indeed, we have just spent several lectures showing that singularities must inevitably develop when certain topological hypotheses (e.g. simple connectedness) or geometric hypotheses (e.g. positive scalar curvature) occur). In principle, one can use surgery to remove the most singular parts of the manifold at every singularity time and then restart the Ricci flow, but in order to do this one needs some rather precise control on the geometry and topology of these singular regions. (In particular, there are some hypothetical bad singularity scenarios which cannot be easily removed by surgery, due to topological obstructions; a major difficulty in the Perelman program is to show that such scenarios in fact cannot occur in a Ricci flow.)

In order to analyse these singularities, Hamilton and then Perelman employed the standard nonlinear PDE technique of “blowing up” the singularity using the scaling symmetry, and then exploiting as much “compactness” as is available in order to extract an “asymptotic profile” of that singularity from a sequence of such blowups, which had better properties than the original Ricci flow. [The PDE notion of a blowing up a solution around a singularity, by the way, is vaguely analogous to the algebraic geometry notion of blowing up a variety around a singularity, though the two notions are certainly not identical.] A sufficiently good classification of all the possible asymptotic profiles will, in principle, lead to enough structural properties on general singularities to Ricci flow that one can see how to perform surgery in a manner which controls both the geometry and the topology.

However, in order to carry out this program it is necessary to obtain geometric control on the Ricci flow which does not deteriorate when one blows up the solution; in the jargon of nonlinear PDE, we need to obtain bounds on some quantity which is both *coercive* (it bounds the geometry) and either *critical* (it is essentially invariant under rescaling) or *subcritical* (it becomes more powerful when one blows up the solution) with respect to the scaling symmetry. The discovery of controlled quantities for Ricci flow which were simultaneously coercive and critical was Perelman’s first major breakthrough in the subject (previously known controlled quantities were either supercritical or only partially coercive); it made it possible, at least *in principle*, to analyse general singularities of Ricci flow and thus to begin the surgery program discussed above. (In contrast, the main reason why questions such as Navier-Stokes global regularity are so difficult is that no controlled quantity which is both coercive and critical or subcritical is known.) The mere existence of such a quantity does not by any means establish global existence of Ricci flow with surgery immediately, but it does give one a non-trivial starting point from which one can hope to make progress.

To be a more precise, recall from Lecture 1 that the Ricci flow equation , in any spatial dimension d, has two basic symmetries (besides the geometric symmetry of diffeomorphism invariance); it has the obvious time-translation symmetry (keeping the manifold M fixed), but it also has the scaling symmetry

(1)

for any (again keeping M fixed as a topological manifold). When applied with , this scaling shrinks all lengths on the manifold M by a factor (recall that the length of a tangent vector v is given by the *square root* of ), and also speeds up the flow of time by a factor ; conversely, when applied with , the scaling expands all lengths by a factor , and slows down the flow of time by .

Suppose now that one has a Ricci flow which becomes singular at some time T > 0. To analyse the behaviour of the flow as one approaches the singular time T, one picks a sequence of times approaching T from below, a sequence of marked points on the manifold, and a sequence of length scales which go to zero as . One then considers the blown up Ricci flows , where is equal to M as a topological manifold (with as a marked point or “origin” O), and is the flow of metrics given by the formula

. (2)

Thus the flow represents a renormalised flow in which the time has been redesignated as the temporal origin 0, the point has been redesignated as the spatial origin O, and the length scale has been redesignated as the unit length scale (and the time scale

has been redesignated as the unit time scale). Thus the behaviour of the rescaled flow at unit scales of space and time around the spacetime origin (thus and ) correspond to the behaviour of the original flow at spatial scale and time scale around the spacetime point , thus and .

Because the original Ricci flow existed on the time interval , the rescaled Ricci flow will exist on the time interval . In particular, in the limit (leaving aside for the moment the question of what “limit” means precisely here), these Ricci flows become increasingly *ancient*, in that they will have existed on the entire past time interval in the limit.

The strategy is now to show that these renormalised Ricci flows (with the marked origin O) exhibit enough “compactness” that there exists a subsequence of such flows which converge to some asymptotic limiting profile in some sense. (We will define the precise notion of convergence of such flows later, but pointed Gromov-Hausdorff convergence is a good first approximation of the convergence concept to keep in mind for now.) If the notion of convergence is strong enough, then we will be able to conclude that this limiting profile of Ricci flows is also a Ricci flow. (Actually, due to the parabolic smoothing effects of Ricci flow, we will be able to automatically upgrade weak notions of convergence to strong ones, and so this step is in fact rather easy.) This limiting Ricci flow has better properties than the renormalised flows; for instance, while the renormalised flows are almost ancient, the limiting flow actually *is* an ancient solution. Also, while the Hamilton-Ivey pinching phenomenon from Lecture 3 suggests that the renormalised flows have mostly non-negative curvature, the limiting flow will have everywhere non-negative curvature (provided that the points and scales are chosen properly; we will return to this “point-picking” issue later in this course).

If one was able to classify all possible asymptotic profiles to Ricci flow, this would yield quite a bit of information on singularities to such flows, by the standard and general nonlinear PDE method of *compactness and contradiction*. This method, roughly speaking, runs as follows. Suppose we want to claim that whenever one is sufficiently close to a singularity, some scale-invariant property P eventually occurs. (In our specific application, P is roughly speaking going to assert that the geometry and topology of high-curvature regions can be classified as belonging to one of a short list of possible “canonical neighbourhood” types, all of which turn out to be amenable to surgery.) To prove this, we argue by contradiction, assuming we can find a Ricci flow in which P fails on a sequence of points in spacetime that approach the singularity, and on some sequence of scales going to zero. We then rescale the flow to create a sequence of rescaled Ricci flows as discussed above, each of which exhibits failure of P at unit scales near the origin (here we use the hypothesis that P is scale-invariant). Now, we use compactness to find a subsequence of flows converging to an asymptotic profile . If the convergence is strong enough, the asymptotic profile will also exhibit failure of P. But now one simply goes through the list of all possible profiles in one’s classification and verifies that each of them obeys P; and one is done.

Unfortunately, just knowing that a Ricci flow is ancient and has everywhere non-negative curvature does not seem enough, by itself, to obtain a full classification of asymptotic profiles (though one can definitely say some non-trivial statements about ancient Ricci flows with non-negative curvature, most notably the *Li-Yau-Hamilton inequality*, which we will discuss later). To proceed further, one needs further control on asymptotic profiles . The only reasonable way to obtain such control is to obtain control on the rescaled flows which is uniform in n. While some control of this sort can be established merely by choosing the points and scales in a clever manner, there is a limit as to what one can accomplish just by point-picking alone (especially if one is interested in establishing properties P that apply to quite general regions of spacetime and general scales, rather than specific, hand-picked regions and scales). To really get good control on the rescaled flows , one needs to obtain control on the original flow which does not deteriorate when one passes from the original flow to the rescaled flow.

One can express what “does not deteriorate” means more precisely using the language of dimensional analysis, or more precisely using the concepts of subcriticality, criticality, and supercriticality from nonlinear PDE. Suppose we have some (non-negative) scalar quantity that measures some aspect of a flow . [Dimensional analysis becomes trickier when considering tensor-valued quantities, though in practice one can use the magnitude of such quantities as a scalar-valued proxy for these tensor-valued objects; see my paper on Perelman’s argument for some further discussion.] In many situations, this quantity has some specific *dimension* k, in the sense that one has a scaling relationship

(3)

that measures how that quantity changes under the rescaling (1). In dimensional analysis language, (3) asserts that F has the units .

Assuming that F is also invariant under time translation (and under changes of spatial origin), (3) implies that

. (4)

Thus, if F is *critical* or dimensionless (which means that k=0) or *subcritical* (which means that ), any upper bound on F for the original Ricci flow will imply uniform bounds on the rescaled flows , and thus (assuming the convergence is strong enough, and F has some good continuity properties) on the asymptotic profile . In the subcritical case, F should in fact now vanish in the limit. On the other hand, if F is *supercritical* (which means that ) then no information about the asymptotic profile is obtained.

In order for control of to be truly useful, we would like the quantity F to be *coercive*. This term is not precisely defined (though it is somewhat analogous to the notion of a proper map), but coercivity basically means that upper bounds on translate to some upper bounds on various norms or similar quantities measuring the “size” of , and (hopefully) to then obtain useful bounds on the topology and geometry of .

Let us give some examples of various such quantities F for Ricci flow. We begin with some supercritical quantities:

- Any length-type quantity, e.g. the diameter of the manifold, or the injectivity radius, has dimension 1 and is thus supercritical.
- The various widths of 3-dimensional Ricci flows from the previous lectures, which were based on areas of minimal surfaces, have dimension 2 and are also supercritical. Thus the various bounds we have on these quantities from Lectures 4, 5, 6 do not directly tell us anything about asymptotic profiles.
- The volume of 3-manifolds has dimension 3 and is thus also supercritical. Thus upper bounds on volume, such as Corollary 2 from Lecture 3, do not directly tell us anything about asymptotic profiles (though they are useful for other tasks, most notably for ensuring that surgery times are discrete, see Theorem 3 from Lecture 2).

As for subcritical quantities, one notable one is the minimal scalar curvature . One can check (cf. the dimensional analysis at the end of Lecture 0)

that scalar curvature has dimension -2 and is thus subcritical. The quantity , that measures the maximal amount of negative scalar curvature present in a Ricci flow, is then bounded (by the maximum principle, see Proposition 2 of Lecture 3), and so by the previous discussion will vanish for asymptotic profiles; in other words, asymptotic profiles always have non-negative scalar curvature. Unfortunately, this quantity is only partially coercive; it prevents scalar curvature from becoming arbitrarily large and negative, but does not prevent scalar curvature from becoming arbitrarily large and positive. (Also, it is possible for other curvatures, such as Ricci and Riemann curvatures, to be large even while the scalar curvature is small or even zero.) So this quantity does say something non-trivial about asymptotic profiles, but is insufficient by itself to fully control such profiles.

In the next lecture we shall see that the least eigenvalue of the modified Laplace-Beltrami operator, which can be viewed as an analytic analogue of the geometric quantity related to Poincaré inequalities, also enjoys a monotonicity property (which is connected to a certain gradient flow interpretation of (modified) Ricci flow); like , the least eigenvalue has dimension -2 and is thus also subcritical, but again it is not fully coercive, as it only prevents scalar curvature from becoming too negative.

So far we have not discussed any critical quantities. (One can create some trivial examples of critical quantities, such as the dimension or topological quantities such as , but these are not obviously coercive (the topological coercivity of the latter quantity being, of course, precisely the Poincaré conjecture that we are trying to prove!).) One way to create critical quantities is to somehow combine subcritical and supercritical examples together. Here is one simple example, due to Hamilton:

**Exercise 1. ** Show that the quantity is critical (scale-invariant) and monotone non-increasing in time under d-dimensional Ricci flow, where denotes the volume of at time t. (This quantity can be used, for instance, to show that Ricci flow admits no “breather” solutions, i.e. non-constant periodic solutions; see the discussion in Perelman’s paper. Unfortunately, as with previous examples, it is not fully coercive.)

In the next few lectures, we will see two more advanced versions of critical controlled quantities of an analytic nature, the *Perelman entropy* (a scale-invariant version of the minimal eigenvalue , which is to log-Sobolev inequalities as the latter quantity is to Poincaré inequalities) and the *Perelman reduced volume* (which measures how heat-type kernels on Ricci flows compare against heat kernels on Euclidean space). These quantities were both introduced in Perelman’s first paper. The key feature of these new critical quantities, which distinguishes them from previously known examples, is that they are now *coercive*: they provide a crucial scale-invariant geometric control on a flow , which is now known as *-noncollapsing*. This control, which describes a relationship between the supercritical quantities of length and volume and the subcritical quantities of curvature, will be discussed next.

– Length, volume, curvature, and collapsing –

Let p be a point in a d-dimensional complete Riemannian manifold (M,g) (we make no assumptions on the dimension d here). We will establish here some basic results in *comparison geometry*, which seeks to understand the relationship between the Riemann curvature of the manifold M, and various geometric quantities of M such as the volume of balls and the injectivity radius, especially when compared against model geometries such as the sphere and hyperbolic space. (This is only a brief introduction; see e.g. Chapters 6, 9, and 10 of Petersen’s book for a more detailed treatment.)

Of course, in the case of Euclidean space with the Euclidean metric, the Riemann curvature is identically zero, and the volume of B(p,r) is for some explicit constant depending only on dimension. For Riemannian manifolds, it is easy to see that the volume of B(p,r) is in the limit ; for more precise asymptotics, see Exercises 7 and 8 below.

One of the most effective tools to study these questions comes from normal coordinates, or more precisely from the exponential map from the tangent space to M, defined by setting to be the value of , where is the unique constant-speed geodesic with and . By the Hopf-Rinow theorem, M is complete (in the metric sense) if and only if the exponential map is defined on all of . Henceforth we will always assume M to be complete. The ball of radius in M centred at p is then the image under the exponential map of the ball of the tangent space of the same radius (using the metric , of course):

. (5)

Thus we can study the balls centred at p by using the exponential map to pull back to the tangent space and analysing the geometry there. Two radii become relevant for this approach:

- The
*injectivity radius*at p is the supremum of all radii r such that is injective on . - The
*conjugate radius*at p is the supremum of all radii r such that is an immersion on .

In many situations, these two radii are equal, but there are cases in which the injectivity radius is smaller. In fact the injectivity radius is always less than or equal to the conjugate radius; see Exercise 4 below.

**Example 1.** (Sphere) Let , and let be the sphere of radius , with the metric induced from the metric of Euclidean space . Then at every point p of M, the injectivity radius and conjugate radius are both equal to , which is also the diameter of the manifold. Note also that this manifold has constant sectional curvature K.

**Example 2.** (Hyperbolic space) Let , and let be hyperbolic space of hyperbolic radius , with the metric induced from the metric of Minkowski space. Then at any point p in M, e.g. p = (1,0), the injectivity radius, conjugate radius, and diameter are infinite. This manifold has constant sectional curvature -K.

**Example 3. **(Torus) Let , and let be the d-torus which is the product of d circles of length r. Then for any point p in M, the injectivity radius is r/2 and the conjugate radius is infinite. Here the sectional curvature is of course 0 everywhere.

The metric g on M induces a pullback metric on , which by abuse of notation we shall also call g. This metric can degenerate once one passes the conjugate radius, but let us ignore this issue for the time being. On , we have the radial variable r (defined as the magnitude of a tangent vector with respect to g(p)), and the radial vector field (defined as the dual vector field to r using polar coordinates), which is smooth away from the origin.

In Euclidean space, the vector field is the gradient of r. Happily, the same fact is true for more general Riemannian manifolds:

Lemma 1.(Gauss lemma)

- Away from the origin, we have and .
- Away from the origin, is the gradient of r with respect to the metric g, thus .

**Exercise 2.** Prove Lemma 1. (Hint: part 1 follows from the geodesic flow equation . For part 2, one way to proceed is to establish the ODE

(6)

and then apply Gronwall’s inequality.

Lemma 1 gives some important relationships between the radial vector field and the Hessian (which can be viewed as the second fundamental form of the spheres centred at p):

**Exercise 3. **Away from the origin, obtain the deformation formula

(7)

and the Riccati-type equation

. (8)

Also, show that has as a null eigenvector.

**Exercise 4.** Show that the injectivity radius of a point p cannot exceed the conjugacy radius . (Hint: there are several ways to establish this. Here is one: suppose for contradiction that , thus for some small . Let be a vector of magnitude at most . Observe that the function achieves a global minimum at whenever and so has non-negative Hessian. Use this to obtain a lower bound on on , and combine this with Exercise 3 to show that the exponential map is in fact immersed on a neighbourhood of , a contradiction. Another approach is based on Klingenberg’s inequality (see Lemma 2 below), while a third approach is based on the second variation formula for the energy of a geodesic.)

Let us now impose the bound that all sectional curvatures are bounded by some on a ball , thus

(9)

for all orthonormal tangent vectors X, Y at any point in . From Example 1 we know that the exponential map can become singular past the radius , so let us also assume that

. (10)

Note that the sectional curvature bound also implies a Ricci curvature bound for all unit tangent vectors based in .

From (9) and (10) we see that on the ball . When this latter property occurs, let us informally say that M has *bounded normalised curvature* at scale at p. Our analysis here can thus be interpreted as a study of the volume of balls (and of related quantities, such as the injectivity radius) under assumptions of bounded normalised curvature.

**Remark 1.** If one wishes, one can rescale to normalise K (or ) to equal 1, although this does not significantly simplify the computations that follow below.

Using equation (8), one can obtain sharp upper and lower bounds for :

**Exercise 5.** (Comparison estimates for ) Assume that (9) and (10) hold. At any non-zero point in , let be the least and greatest eigenvalues of on the orthogonal complement of . Use (8) to establish the differential inequalities

(11)

and

(12)

for and also establish the infinitesimal bound

(13)

for all sufficiently small positive r. From (11), (12), (13), conclude the bounds

(14)

and in particular that

. (15)

Using (7) and (14), deduce the bound

(16)

where are the usual Euclidean polar coordinates on , thus the Euclidean metric (induced by g(p)) is given by ).

**Remark 2. ** Each of the above bounds are attained by either the sphere of constant sectional curvature +K (Example 1) or the hyperbolic space of constant sectional curvature -K (Example 2). More generally, one should think of these two examples as the two extreme geometries obeying the assumption (9). In the limit K=0 one recovers the formulae for Euclidean space or for the torus (Example 3).

**Exercise 6.** (Bounded curvature implies lower bound on conjugacy radius) Using Exercise 3, show that if (9) and (10) hold, then the conjugacy radius of p is at least .

**Remark 3. **A converse of sorts to Exercise 6 is provided by Myers’ theorem, which asserts that if , then the diameter of M is at most . Another result in a somewhat similar spirit is the 1/4-pinched sphere theorem. The Ricatti-type equations and inequalities developed above play a key role in the proof of such theorems.

Now we relate the Hessian of r to the volume metric and the Laplacian :

**Exercise 7**. Away from the origin, obtain the deformation formula

(17)

and the Riccati-type inequality

. (18)

**Exercise 8.** (Absolute volume comparison) Assume (9) and (10). Using Exercises 5 and 7, show that the volume of is maximised in the case of hyperbolic space (Example 2) and minimised in the case of the sphere (Example 1). In particular, if , conclude that the volume of is comparable to , with the comparability constants depending only on d and on the implied constant in the O() notation.

**Remark 4. **Later on in this course we will need a relative variant of this comparison inequality, known as the *Bishop-Gromov comparison inequality*, which will assert that certain ratios between volumes of balls are monotone in the radius .

**Exercise 9. **Show that the volume of is for sufficiently small r, where R(p) is the scalar curvature at p. Thus we see that scalar curvature distorts the infinitesimal volume growth of balls. Develop a similar interpretation of the Ricci curvature as the volume distortion of infinitesimal sectors with apex p and direction v.

If is less than the injectivity radius, we see from (5) that has the same volume as . From Exercise 8, we thus conclude that

(19)

whenever (9) holds, and is less than both and the injectivity radius of p.

What happens if exceeds the injectivity radius? We still obtain the upper bound in (18), but can lose the lower bound, as can already be seen by considering the torus example (Example 3) with the injectivity radius r small. Thus we see that failure of injectivity can lead to collapse in the volume of balls.

A deep result of Cheeger shows that in fact injectivity failure *always* collapses the volume of balls (assuming bounded normalised curvature), or equivalently that non-collapsing of volume is equivalent to a lower bound on the injectivity radius:

Theorem 1.(Cheeger’s lemma) Suppose that on and that for some . Then the injectivity radius of p is at least for some depending only on .

**Remark 5.** This lemma is closely related to the Cheeger finiteness theorem, which asserts that the number of possible topologies for the ball under the assumptions of Theorem 1 is finite, as well as Gromov’s compactness theorem, which essentially asserts that the metrics on these balls form a compact set in a certain topology.

I may discuss the proof of Cheeger’s lemma at a later point in this course, if time permits. Cheeger’s original proof relies on the following inequality which is also of interest:

Lemma 2.(Klingenberg’s inequality) Assume the conjugacy radius is at least . Then exactly one of the following holds:

- The injectivity radius of p is at least .
- There exists a non-trivial geodesic starting and ending at p of length less than .

**Proof. ** (Sketch) It is clear that 1. and 2. cannot both be true. Now suppose that the injectivity radius r is strictly less than , then there exist two distinct geodesic rays from p to another point q, one of length r and the other of length at most r. On the other hand, by hypothesis the exponential map is an immersion on . From the inverse function theorem (and Lemma 1) we can then perturb the rays from p to have lengths slightly less than r but still ending up at the same point (thus contradicting the definition of r), unless have length exactly r and have equal and opposite tangent vectors at q. But then we have formed a geodesic path from p to p of length 2r, and the claim follows.

**Exercise 10. ** Show that the injectivity radius of p is equal to the minimum of the conjugacy radius of p, and half the length of the shortest non-trivial geodesic path from p to itself (or if no such path exists).

**Exercise 11. ** Let M be a compact manifold whose sectional curvatures are all bounded in magnitude by K. Show that if the injectivity radius r of M (defined as the infimum of the injectivity radii of every point p in M) is less than , then there exists a closed geodesic loop of length exactly 2r.

Let us informally say that a Riemannian manifold M is *non-collapsed* at scale at a point p if has volume . The above discussion then says that, under the assumption of bounded normalised curvature at scale at p, that non-collapsing is equivalent to a lower bound of on the injectivity radius, which is in turn equivalent to a lower bound of on the length of any non-trivial geodesic paths from p to itself. Thus we see that the non-collapsing property is quite coercive; it implies some important control on the local geometry of the Riemannian manifold.

**Example 4. **The sphere (example 1) of dimension 2 and higher and hyperbolic space (example 2) are non-collapsed at every point and scale for which one has bounded normalised curvature. (For the sphere, volume collapses at scales bigger than the diameter of the sphere, but one no longer has bounded normalised curvature in this regime.) Similarly for Euclidean space, or for products of any of these three examples. On the other hand, the torus (example 2) (or the sphere of dimension 1) is collapsed at large scales even though one still retains normalised bounded curvature. Similarly for the cylinder .

Now we adapt this concept to Ricci flows. The following definition is fundamental to Perelman’s arguments:

Definition 1.(-collapsing) Let be a d-dimensional Ricci flow, and let . We say that the Ricci flow is-collapsedat a point in spacetime at scale if the following statements hold:

- (Bounded normalised curvature) We have for all the spacetime cylinder (in particular, we assume that the lifespan of the Ricci flow includes the time interval );
- (Collapsed volume) At time , the ball has volume at most .
Otherwise, we say that the Ricci flow is

-noncollapsedat this point and scale.

(One should view here as a small dimensionless quantity, in order to make the notion of -noncollapsing scale-invariant.)

It turns out that Perelman’s critical quantities are controlled enough, and coercive enough, to establish -noncollapsing at non-zero times assuming some noncollapsing at time zero. There are many ways to formulate this important non-collapsing result; here is one typical phrasing.

Theorem 2.(Perelman’s non-collapsing theorem, first version) Let be a Ricci flow on compact 3-manifolds on a time interval such that at time zero, we have the normalised non-collapsing hypotheses and for all , where is fixed. Then the Ricci flow is -noncollapsed for all and all scales , where depends only on and .

Note that the conclusion here is scale-invariant and will therefore persist to asymptotic profiles as discussed in the beginning of this lecture.

**Remark 6. ** Actually, to establish the global existence results for Ricci flow with surgery, we will need to extend Definition 1 and Theorem 2 to Ricci flows with surgery; we shall return to this point later in this course.

**Remark 7. **This non-collapsing theorem in fact holds in all dimensions, not just 3, but of course many other aspects of our analysis will only work in three dimensions.

The next few lectures will be devoted to the proof of Theorem 2, and then we will discuss how Theorem 2 can be used to analyse asymptotic profiles near a Ricci flow singularity.

[*Update*, Apr 21: Some corrections.]

## 14 comments

Comments feed for this article

20 April, 2008 at 11:56 pm

Pedro Lauridsen RibeiroDear Prof. Tao,

A bit of a layman’s question: which good references would you

recommend for one to learn about blowup techniques and

asymptotic profiles of solutions near singularities in PDE’s?

Thanks in advance.

21 April, 2008 at 12:12 am

Pedro Lauridsen RibeiroDear Prof. Tao,

In the sentence “This control, which describes a relationship between the subcritical quantities of length and volume and the supercritical quantities of curvature, will be discussed next” (just before the first appearance of “-noncollapsing”), shouldn’t the “quantities of length and volume” be _super_critical, and the “quantities of curvature” be _sub_critical?

Judging by your previous discussion on these examples, it seems so…

21 April, 2008 at 12:40 am

Pedro Lauridsen RibeiroOn the aside: the desired relation between the radius of injectivity and the conjugate radius is in Lemma 5.9.16 of Petersen’s book (it’s due to Klingenberg).

It roughly states that if is the first cut point of along the geodesic , then either is

conjugate to along or there’s another minimal

geodesic linking to . In the second case,

if is not a critical point of , then there are exactly two

geodesic segments linking to , and they fit together into

a smooth geodesic loop (e.g. think about the 2-dimensional cylinder).

21 April, 2008 at 10:01 am

DanRegarding your aside: Doesn’t it just follow from the fact that geodesics cease to be minimizing once you pass the first conjugate point? This fact appears in Jost and do Carmo, and I would imagine that it’s in Petersen, but I don’t have it on hand.

Also, your discussion motivating the definition of -noncollapsing is very nice, but I think there is a typo in Definition 1.

21 April, 2008 at 11:02 am

Terence TaoThanks for the comments and corrections! Regarding literature for asymptotic profiles and the compactness method in nonlinear PDE, the method exists in dozens of papers in the subject, but I am not sure whether there is an introductory treatment of it anywhere (part of the problem is that nonlinear PDE, like many other analysis-heavy areas of mathematics, tends to use rather loosely defined “methods” and “strategies” rather than applying general and formal theorems which can be cleanly stated and proved). But I discuss this method (albeit in slightly different contexts than the one discussed here) in my survey articles

http://arxiv.org/abs/0802.2408

and Section 8 of

http://arxiv.org/abs/math.AP/0608293

21 April, 2008 at 1:20 pm

DanI just wanted to clarify that the theorem I mentioned above (that geodesics cease to be minimizing beyond the first conjugate point) is not the same as the Klingenberg lemma described by Pedro (although, for all I know, it could also be due to Klingenberg). Do Carmo attributes it to Jacobi. The proof just uses the index form, and one can think of it as a piece of the Morse Index Theorem. Specifically, we only need that the index jumps up when you pass a critical point; the Morse Index Theorem says that the jump is exactly equal to the multiplicity of the conjugate point.

22 April, 2008 at 8:19 am

Pedro Lauridsen RibeiroIn the particular case of Petersen’s book, this result follows from the second variation of the energy formula and the discussion following it (Section 6.2),

although he doesn’t seem to state this explicitly. However, indeed he makes no use of that in proving Klingenberg’s lemma 5.9.16, so they are really independent ways of seeing that the injectivity radius is less than or equal to the conjugate radius. The second variation formula, however, is due to Synge.

22 April, 2008 at 8:52 am

Terence TaoThanks for the comments! I ended up using an alternate argument that I found in Petersen’s book, based on the fact that if x and y are joined by a segment then f(z)=d(x,z)+d(z,y) attains a minimum for all z in that segment, and in particular the Hessian of this function must be non-negative on that segment, which can be used to show that the exponential map from x cannot develop critical points on this segment.

It does seem that there are many different proofs of this result; I’ll ask Peter tomorrow what his favourite one is. :)

23 April, 2008 at 4:10 am

MohammadDear Prof,Tao

I am very grateful of founding this website.

Actually this question is not related to this lecture, I would like to you personally you think what is the best approach for proving backward uniqueness of ricci flow?

24 April, 2008 at 4:11 pm

285A, Lecture 8: Ricci flow as a gradient flow, log-Sobolev inequalities, and Perelman entropy « What’s new[…] any scale – precisely what is needed to carry out the first phase of the strategy outlined in the previous lecture to establish global existence of Ricci flow with […]

27 April, 2008 at 6:08 pm

285G, Lecture 9: Comparison geometry, the high-dimensional limit, and Perelman reduced volume « What’s new[…] p be a point in a complete d-dimensional Riemannian manifold . As noted in Lecture 7, we can use the exponential map to pull back M and g to the tangent space , which is also equipped […]

16 May, 2008 at 12:43 pm

285G, Lecture 12: High curvature regions of Ricci flow and κ-solutions « What’s new[…] a -noncollapsing of Ricci flows with surgery (which, except for the surgery part, is Theorem 2 of Lecture 7). Now we come to the heart of the entire argument: the topological and geometric control of the […]

19 May, 2008 at 10:39 am

285G, Lecture 11: κ-noncollapsing via Perelman reduced volume « What’s new[…] 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 […]

22 May, 2010 at 8:00 pm

AnonymousIt should be “slows down the flow of time by 1/\lambda^2″.

[Corrected, thanks – T.]