We continue our study of -solutions. In the previous lecture we primarily exploited the non-negative curvature of such solutions; in this lecture and the next, we primarily exploit the ancient nature of these solutions, together with the finer analysis of the two scale-invariant monotone quantities we possess (Perelman entropy and Perelman reduced volume) to obtain a important scaling limit of -solutions, the *asymptotic gradient shrinking soliton* of such a solution.

The main idea here is to exploit what I have called the *infinite convergence principle* in a previous post: that every bounded monotone sequence converges. In the context of -solutions, we can apply this principle to either of our monotone quantities: the *Perelman entropy*

(1)

where is the backwards time variable and

, (2)

or the* Perelman reduced volume*

(3)

where is a fixed base point. As pointed out in Lecture 11, these quantities are related, and both are non-increasing in .

The reduced volume starts off at when , and so by the infinite convergence principle it approaches some asymptotic limit as . (We will later see that this limit is strictly between 0 and .) On the other hand, the reduced volume is invariant under the scaling

, (4)

in the sense that

. (5)

Thus, as we send , the reduced volumes of the rescaled flows (which are also -solutions) converge pointwise to a constant .

Suppose that we could somehow “take a limit” of the flows (or perhaps a subsequence of such flows) and obtain some limiting flow . *Formally*, such a flow would then have a constant reduced volume of . On the other hand, the reduced volume is monotone. If we could have a criterion as to when the reduced volume became stationary, we could thus classify all possible limiting flows , and thus obtain information about the asymptotic behaviour of -solutions (at least along a subsequence of scales going to infinity).

We will carry out this program more formally in the next lecture, in which we define the concept of an *asymptotic gradient-shrinking soliton* of a -solution.

In this lecture, we content ourselves with a key step in this program, namely to characterise when the Perelman entropy or Perelman reduced volume becomes stationary; this requires us to revisit the theory we have built up in the last few lectures. It turns out that, roughly speaking, this only happens when the solution is a gradient shrinking soliton, thus at any given time one has an equation of the form for some and . Our computations here will be somewhat formal in nature; we will make them more rigorous in the next lecture.

The material here is largely based on Morgan-Tian’s book and the first paper of Perelman. Closely related treatments also appear in the notes of Kleiner-Lott and the paper of Cao-Zhu.

— Stationarity of the Perelman entropy —

We begin with a discussion of the Perelman entropy, which is simpler than the Perelman reduced volume but which will serve as a model for the latter. To simplify the exposition we shall argue at a formal level, assuming all integrals converge, that all functions are smooth, all infima are actually attained, etc.

In Exercise 9, we already saw that if solves the nonlinear backwards heat equation

(6)

then the quantity obeyed the monotonicity formula

(7)

where H is the non-negative quantity

. (8)

In terms of the function , we also recall that (6) can be rewritten as the adjoint heat equation . In particular, we see that if is ever stationary at some time , then the solution must obey the gradient shrinking soliton equation

(9)

at that time . Using the uniqueness properties of Ricci flow (and of the backwards heat equation), one can then show that (9) persists for all subsequent times. Formally at least, this argument also shows that the Perelman reduced entropy can only be stationary on gradient shrinking solitons.

Let us analyse the monotonicity formula (7) further. If we write

(10)

then (7) asserts that

(11)

Since , we thus see that must equal plus a quantity which integrates to zero (i.e. a divergence). Given this, and given the fact that u (which is a close relative to v) obeys the adjoint heat equation), the following fact is then not so surprising:

**Exercise 1.** With the above assumptions, show that v obeys the forced adjoint heat equation

. (12)

— Stationarity in the Bishop-Gromov reduced volume —

Before we turn to the monotonicity of the Perelman reduced volume, we first consider the simpler model case of the Bishop-Gromov reduced volume (Corollary 1 of Lecture 9). An inspection of the proof of that result reveals that the key point was to establish the pointwise inequality

(13)

on a manifold of non-negative Ricci curvature , where for some fixed origin . To simplify the exposition let us assume we are inside the injectivity radius, and away from the origin, to avoid any issues with lack of smoothness.

We gave a proof of (13) in Lecture 10 using the second variation formula

(14)

whenever is a geodesic at , with and ; (see equation (17) of Lecture 10). From this (and the first variation formula) we obtain the inequality

(15)

for any vector field Y along the minimising geodesic from to x that equals 0 at and equals v at .

Of course, the only way that (15) can be an equality is if Y minimises the right-hand side subject to the constraints just mentioned. A standard calculus of variations computation lets one extract the Euler-Lagrange equation for this variational problem:

**Exercise 2.** Show that if (15) is obeyed with equality, then Y must obey the Jacobi equation

. (16)

Vector fields obeying (16) are known as *Jacobi fields*.

Recall from Lecture 10 that the inequality (13) was derived by applying (15) for v in an arbitrary orthonormal frame, and with , where v was extended by parallel transport along (thus ). Thus, in order for (13) to be obeyed with equality, the fields must be a Jacobi field for each v. Applying (16), and noting that , we conclude that we must have

(17)

along in order for (13) to be obeyed with equality. The converse is also true:

**Exercise 3. ** Establish the identity

(18)

in the injectivity region, and conclude (13) is true with equality whenever (17) holds along the minimising geodesic .

As a consequence of the above analysis, we see that the Bishop-Gromov reduced volume can only be stationary on a sphere when (17) holds on the ball within that sphere.

We can also use the theory of Jacobi fields to get a more precise formula for (and hence ). The key observation is that the Jacobi equation (16) can be written as the linearisation

(19)

of the geodesic equation . This is ultimately unsurprising, since the geodesic equation and the Jacobi equation come from the Euler-Lagrange equations for the energy functional and a quantity related to a variation of the energy functional. But it allows us (at least inside the injectivity region, which also turns out (again, unsurprisingly) to be the region where the boundary value problem for the Jacobi equation always has unique solutions), to view Jacobi fields as the infinitesimal deformation field of geodesics.

Now let be a family of geodesics from to , so that and so (by (19)) Y is a Jacobi field for each s with Y(s,0)=0 and . (In general one no longer expects to have Y be geodesic in the s direction, i.e. need not be zero, but this will not concern us.) The first variation formula (i.e. the Gauss lemma ) then gives

(20)

and differentiating this again gives

(21)

Expanding out the left-hand side by the product rule and using (20) and the torsion-free identity we conclude the second variation formula

(22)

whenever is a Jacobi field along the minimal geodesic from to with Y(0)=0 and Y(1)=v, and whenever one is inside the injectivity region.

**Exercise 4.** Let Y be a Jacobi field with Y(0)=0 and Y(1)=v, and suppose one is inside the injectivity region. Use (22) and (16) to show that (15) in fact holds with equality, thus providing a converse to Exercise 2. (Hint: apply the fundamental theorem of calculus to the right-hand side of (22).)

— Constancy of the Perelman reduced volume —

We can obtain parabolic analogues of the above elliptic arguments to conclude when the Perelman reduced volume is stationary. Again, let us argue formally and assume that we are working inside the injectivity domain from a point .

Write . Recall from Lecture 10 that the proof of monotonicity of reduced volume relied on the inequality

(23)

which in turn followed from the three equalities and estimates

(24)

(25)

. (26)

Thus, in order for the reduced volume to be stationary at some time , one must have (23) (or equivalently, (26)) holding with equality throughout M at this time.

It is convenient to normalise . Recall from Lecture 10 that the proof of (26) proceeded via the second variation formula

(27)

applied to the vector field , where v obeys the ODE

. (28)

As in the elliptic case, equality in (26) can only hold if Y obeys the Euler-Lagrange equation for the right-hand side of (23), which can be computed to be

. (29)

Solutions of (29) are known as *-Jacobi fields*. As in the elliptic case, this equation can be rewritten as the linearisation

(30)

of the -geodesic equation , where

(31)

was introduced in Lecture 10.

**Exercise 5. ** Verify (29) and (30).

If is now a smooth family of minimising -geodesics from to , then the variation field is an -Jacobi field by (30) (and conversely, inside the region of injectivity, any Jacobi field on a minimising geodesic can be extended locally to such a smooth family. The first variation formula (24) gives

(32)

where , and so on differentiating again and arguing as in the elliptic case we obtain

(33)

whenever Y is an -Jacobi field with Y(0)=0 and Y(1)=v.

**Exercise 6. ** Show (using (31) and the fundamental theorem of calculus, as in Exercise 4) that (33) is equal to (27).

Now we return to our analysis of when the reduced volume is stationary at . We had found in that case that the vector field , where v solved (28), must be a Jacobi field. Combining this with (33) we conclude that

(34)

for any v, or in other words that

. (35)

This is for time ; rescaling the above analysis gives more generally that

. (36)

We thus conclude (formally, at least) that whenever the reduced volume is stationary, then the manifold is a gradient shrinking soliton (at that instant in time, at least) with potential function given by the reduced length. (The computation is only formal at present, because we have not addressed the issue of what to do on the -cut locus.)

**Exercise 7.** If (26) is obeyed 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 stationary on an open time interval.

**Remark 1.** We have just seen that in the case of stationary reduced volume, the function f that appears in the entropy functional can be taken to be equal to the reduced length l. In general, one can take f to be a function bounded from above by the reduced length; see Corollary 9.5 of Perelman’s paper.

— Ricci flows of maximal reduced volume —

Recall that the reduced volume is equal to in the case of Euclidean space, and converges to this value in the limit in the case of complete Ricci flows of bounded curvature

(this can be shown by an analysis of the -exponential map for small values of , as discussed in Lecture 11). From this and the monotonicity of reduced volume we conclude that

(37)

for all such flows. We now characterise when equality occurs:

Theorem 1.Suppose that is a connected Ricci flow of bounded curvature on for some , such that (37) is obeyed with equality at the initial time for some point . Then M is Euclidean.

**Proof.** We give a sketch here only; full details can be found in Proposition 7.27 of Morgan-Tian’s book.

An inspection of the proof of monotonicity of reduced volume (especially as viewed through the -exponential map, as in Lecture 11) reveals that the domain of injectivity of the exponential map must have full measure, otherwise there will be a loss of reduced volume. The previous analysis then reveals that the equation (32) must hold outside of the cut locus; as l is Lipschitz and the manifold is smooth, one can then take limits and conclude that (32) holds globally (and so l is in fact smooth).

Combining (32) with the Ricci flow equation we obtain

, (38)

thus the metric is shrinking and also deforming by a vector field. In particular this gives an analogous equation for the magnitude of curvature (see equations (22), (26)):

. (39)

A maximum principle argument (which of course works in the absence of the dissipation term) then shows that if is strictly positive at one time, then it blows up as (like , in fact), which is absurd; and so this supremum must always be zero. In other words, the manifold is flat, and is therefore the quotient of by some discrete subgroup. But as the exponential map is almost always in the injectivity domain, this subgroup must be trivial, and the claim follows.

## 4 comments

Comments feed for this article

27 May, 2008 at 5:59 pm

285G, Lecture 15: Geometric limits of Ricci flows, and asymptotic gradient shrinking solitons « What’s new[…] nature of such solutions) we extract a limit. Formally, the reduced volume is now constant and so Lecture 14 suggests that this limit is a gradient soliton; however, some care is required to make this […]

10 August, 2008 at 4:05 pm

kyI am having trouble following how the Jacobi equation (16) can be written as (19) and as a consequence how we can view Jacobi fields as as the infinitestimal deformation field of geodesics. Please elaborate.

Somewhat related, and hopefully not off the topic question: I know the conjugate point of a point in a sphere is antipodal point. Is the conjugate point of a point in a RP^n itself?

A lot of the derivations above are under the setting of minimizing geodesic inside the injectivity radius for simplification. What’s the strategy otherwise? If this is to be covered in the succeeding lectures, please ignore this question.

11 August, 2008 at 2:49 pm

Terence TaoDear ky,

If X and Y are the vector fields corresponding to the t and s directions, then [X,Y] = 0, and so and . From this one can easily deduce (19) from (16).

In projective space, a point p is indeed conjugate to itself, and there are no other pairs of conjugate points; this follows from knowledge of conjugate points of the sphere, since projective space is a quotient of the sphere.

Outside the cut locus, the non-uniqueness of minimising geodesics leads to non-smoothness of the distance function, which causes a number of technical difficulties. One can largely resolve this by using the method of barrier functions, estimating the distance function above and below by smoother functions (for instance, by varying the base point a little bit to move the cut locus), as well as the theory of distributions (exploiting the fact that the cut locus has measure zero). This is somewhat technical and I do not cover it in detail in my notes, but you can see Morgan-Tian’s book for details (in the parabolic case).

12 August, 2008 at 9:15 am

kyDear Professor Tao:

Both your answers to my questions have been very appreciated. Thank you very much.