1547845439-The_Ricci_Flow_-_Techniques_and_Applications_-_Part_I__Chow_

(jair2018) #1

  1. GENERAL SOLITONS AND THEIR CANONICAL FORMS 5


(1) cp(t) : M --t M is the 1-parameter family of diffeomorphisms gen-

erated by X(t) ~ 7 Ct) grad 90 fo; that is,

8 1
at Cf! (t) (x) = T (t) (grad 90 fo) (cp (t) (x)),

(2) g (t) is the pull-back by cp (t) of go up to the scale factor T (t),
(1.11) g( t) = T ( t) cp( t)* go,
(3) f (t) is the pull-back by cp (t) of Jo:
(1.12) f (t) =Joo cp(t) = cp(t)* fo.
Moreover,

(1.13) Re (g (t)) + \J^9 (t)\Jg(t) f (t) + !___g (t) = O
2T '
where \Jg(t) denotes the covariant derivative with respect to g (t), and

(1.14) of I
1
~ (t) = gradg(t) f (t)^2.
ut g~)
EXERCISE 1.8. Prove Proposition 1.7. HINT: Verify the equations in the
order in which they are presented.


Because of the proposition above, we shall at some times· consider gra-
dient Ricci soliton structures and at other times consider gradient Ricci
solitons in canonical form.
Now we give a couple of examples of Ricci solitons in canonical form.
We are already acquainted with solutions which evolve purely by homothety,
e.g., these solutions correspond to Einstein metrics. If go is an Einstein
metric with Einstein constant .A (i.e., Rc(go) =.Ago), then


g(t) = (1 - 2.At)go


satisfies the Ricci flow
8
otg = -2Rc(g),


since Rc(g) = Rc(go) =.Ago. An Einstein manifold with .A> 0 is necessarily
compact (thanks to Myers's theorem) and, as the metric approaches zero,
the manifold shrinks to a point in finite time. Einstein metrics are stationary
points for the normalized Ricci flow on a closed manifold. Following up on
our previous discussion of static Euclidean space, we have the following.


EXAMPLE 1.9 (Gaussian soliton). Regard Euclidean space as a Ricci
soliton in canonical form, so that (1.4) holds with O"(t) = 1 +Et for some
E E R For E =/::. 0, the Euclidean solution is called the Gaussian soliton.
By differentiating (1.4) and multiplying the result by O"(t), we obtain


(1.15) 0 = -2Rc(gcan) = .C\Jfgcan + Egcan,


where


(1.16) f (x) = -E lxl2 4
Free download pdf