CHAPTER 17
Entropy, μ-invariant, and Finite Time Singularities
I'll tip rny hat to the new constitution.
- Frorn "Won't Get Fooled Again" by The Who
Monotonicity formulas may be used to understand the qualitative be-
havior of solutions of the Ricci fl.ow. As an example, in this chapter we
consider the μ-invariant monotonicity formula and its applications to singu-
larity analysis.
In §1 we discuss lower and upper bounds for the μ-invariant. As an
application, there is a lower bound for the volume of solutions g (t) of the
Ricci fl.ow with nonpositive A-invariant. This implies that the corresponding
finite time singularity models are noncompact in this case. As a further
application, we discuss the classification of compact finite time singularity
models as shrinking gradient Ricci solitons with no assumption on the sign
of the A-invariant.
In §2 we prove the fact that limr-+O+ μ (g, T) = 0. This result was stated
as Lemma 6.33(ii) in Part I but was not proved there. As an application we
show that, for a closed Riemannian manifold on which the isometry group
acts transitively, the minimizer for W is not unique for sufficiently small T.
In §3 we revisit the proof of the existence of a smooth minimizer for W
while completing some additional details not discussed earlier in this book
series.
One may hope to extend Perelman's energy and entropy monotonic-
ity formulas. In §4 we discuss formulas relating Perelman's energy F, the
linear trace Harnack quadratic, Hamilton's matrix quadratic, the 2-tensor
Rlem Rjk£m, and the functional JM IRml^2 e-f dμ.
Throughout this chapter we assume that Mn is a closed manifold unless
otherwise indicated.
1. Compact finite time singularity models are shrinkers
In this section and the next we discuss properties of the μ-invariant of a
metric g at a scale T > 0. This invariant is the infimum of Perelman's entropy
functional W (g, f, T), under a constraint, considered in Chapter 6 of Part I.
In this section we present the results and proofs of Z.-1. Zhang on bounds
for the μ-invariant and their geometric application to the classification of
compact finite time singularity models.
1