1547845440-The_Ricci_Flow_-_Techniques_and_Applications_-_Part_III__Chow_

(jair2018) #1
192 22. TOOLS USED IN PROOF OF PSEUDOLOCALITY

(2) The limit (M~, 900 (t), Xoo), the exhaustion {UihEN' the solutions

{(Mf,9i(t),xi)}iEN' the embeddings <l'>i: (Ui,Xoo) -t (Mi,xi),


and their images Vi =<Pi (Ui) are as in Lemma 21.15.

The way that we obtain setup (1) from setup (2) is to let Ui c M 00 be


the same and to let
(i) 900 (t) = 900 (t), Xoo = Xoo,
(ii) 9i (t) = <l'>i [9i (t)lvJ on ui,
(iii) Mi= (Mi 1I Ui) I,....,,, where ,..._,,identifies x E ui with <l'>i (x) E Mi
(this way we have both a natural diffeomorphism Ii : Mi -t Mi
and a natural inclusion of Ui into Mi), and
(iv) ffi (t) =Ii (9i (t)).

2.2. Estimates for the adjoint heat kernel.
In this subsection, based on estimates for the adjoint heat kernel, we
give a proof of Lemma 21.16. For convenience, we formulate a general result
concerning Cheeger-Gromov limits and heat kernels.
Let

{(Mf, 9i(r), (xi, O))}, r E [O, w],


be a pointed sequence of complete solutions of the backward Ricci flow with
bounded curvature; here the bounds for the curvatures of the solutions 9i ( r)

on Mi may depend on i. Suppose that the above sequence converges, in the


C^00 pointed Cheeger-Gromov sense, to a smooth complete limit solution

(M~n 900 (r), (x 00 , 0)), TE [O, w].


By Definition 3.6 in Part I, this means that there exist an exhaustion {UihEN
of Moo by open sets with x 00 E Ui and a sequence of diffeomorphisms

<l'>i : Ui -t Vi ~ <l'>i (Ui) c Mi


with <l'>i (x 00 ) =Xi such that (Ui,gi (r)), where


9i (r) ~<Pi [9i (r)IVi],

converges pointwise in C^00 to (M 00 , 9 00 ( r)) uniformly on compact subsets
of M 00 X [O,w].


Let Hi : Mi x (0, w] -t (0, oo) be the adjoint heat kernel centered at


(xi, 0), i.e., Hi is the minimal positive function such that

(22.29) Di Hi ~ ( : 7 - !J. 9 i + R 9 i) Hi = 0,


T\,0 lim Hi ( · , r) = bx i ..


The existence of Hi will be proved in Chapter 23. As in (21.30) and (21.31),
let Hi~ (47rr)-n/^2 e-fi and let


Vi~ (r ( Rgi + 2!J.gJi - l\79ifi1^2 ) +°Ji - n) Hi

Free download pdf