154 30. TYPE I SINGULARITIES AND ANCIENT SOLUTIONS
n n £
Since u 00 ~ (47r)-2 (w 00 - t)-^2 e-= satisfies D~u 00 = 0 by (30.80), we have
by Lemma 6.8 in Part I (i.e., the original Proposition 9.1 in Perelman [312]) that
0 = D~v 00 = -2 (w 00 - t) IRc 9 = +V'^9 = \i'^9 =t' 00 - 2 (w~ _ t)9ool
2
Uoo·
We conclude that
1
Re 9 +V'^9 = \i'^9 =t' - g = 0
=^00 2 (w 00 - t)^00
on M 00 x [t 1 , t2]· Now Theorem 30.13 is proved. D
3. Type I solutions have shrinker singularity models
In this section, by applying the reduced volume monotonicity based at the
singular time and Perelman's pseudolocality theorem, we show that any Type I
singular solution must have a nonfl.at shrinking GRS as a singularity model. Of
course, this does not rule out the possibility of other types of singularity models
associated to a Type I solution.
Let (Mn,g (t)), t E [O,w), be a Type I singular solution on a closed manifold.
Given any Ai ---+ oo, we may rescale the solution by defining
(30.83)
fort E [->.iw, 0). This is equivalent to the "parabolic rescaling" corresponding to
the sequence of times ti ~ w - >-i^1 , which is defined by rescaling by the inverse of
the time to blow up:
gi ( t) ~ ( w - ti) -l g (ti + ( w - ti) t).
In particular, we have the correspondence
Note that since IRml (x, t) ::; w~t for some M < oo,
(30.84)
for t E [->.iw, 0). Hence, given any sequence Pi E M, by Perelman's no local
collapsing theorem and Hamilton's Cheeger- Gromov compactness theorem, there
exists a subsequence { (M, gi (t), Pi)} which converges to a complete a ncient solution
(30.85) (M~,g 00 (t) , p 00 ), t E (-oo, O),
with 1Rm 9 = I (x , t) ::; Jtl'; i.e., g 00 (t) is a Type I ancient solution. For this Cheeger-
Gromov convergence, let {Ui} be the corresponding exhaustion of M 00 and let
(30.86) i: (Ui,Poo)---+ (M, pi)
be the corresponding embeddings, so that igi(t)---+ g 00 (t) in the C^00 -topology on
compact subsets of M 00 x (-oo, 0).
We first obtain limits of Type I solutions which may possibly be fl.at. The rough
idea is to exploit the equality case of reduced volume monotonicity.