Toda '

-1
GH
pointed convergence
-

• smooth Cheeger Gromov convergence

-

compactness of Rts
Blow
•
-

up analysis of RFS 1-
Examples
•
Solitons

Det (Xd) is called lengths ( or

intrinsic ) if

dlxiyseint
{ een II ? }
then
The H CX d) , complete ,

{
*

}
×
" 's EX ie > O F me s t
X length
-
.

space # s
dlxi me )
,
ftzdcxi ,
a) te

X.
•

Me
a

X, Xz

Leinma ( X , d)
length space =D B =
DG ,
r ) Fr > 0

Thin Suppose within

correspondence ( Z , ios
)
GH Z
( Xi di ) ( Xo
,

,
-
D
,
des )
i → as

complete complete
length spaces length space
2-
Xi -

D X as

[ → as
Then for any
r > o

dilpaa.me#%1DG-sr7dolDa.,ry)PointedGH-con-vergeue
( Dcxi ,
r )
,

( Xi di
, ,
x ; ) pointed, complete ,
metric
length spaces ,
if -

Suppose that bounded closed

,
subsets of Xi are
compact .

We will write

PGH
(Xi ,
di ,
Xi ) - ( Xo ,
do , x
- )
i → as

if Fr > o

( Dhi ,
r ) , dit Dai m
) ( Dhar ) ,
del Dex )
,
, m

similarly : F
correspondence ( Z , (9)
is as
) btw
Xi ,
i Es s t
-

Xi ¥1 x -
and
for all r > o

4. ( Dcxi
-
,
r ) )
¥14 - CD exam )
- ,

¥
943 )
Mo )
"
"

.
Thin Let ( Xi di , ,
Xi) be ptd complete length spaces
set bounded subsets IN
.

closed are
compact ,
i E
.

I rk St
for each k
Suppose Dcs
-

( Dlxi , K
) , dit Dai ) ( Xo K do,k )
m
.
,

, k

Then F ( Xo ,
dos
,
x - ) S.t.

( Xi di ) ls ( Xo des
, , xi
i -
as
, ,
X-
)

Corollary For fixed Kaos ,

MEIN
phd complete

His .nl :÷÷÷÷÷!

" ,

¥
want
.
.
.

PGH

Ric
Generalize to >
Kcmg Bcp )
-

on r
,

for some K :
Rt →
IRT .

"

EI : ( M ) RM tangent space
, g ← TPM "

(M "
) Rn
, idg ,
p

no Ti -

17
-

Tp 14=1124
Similarly "

(X ,
Aid
, p
) ( Xs ,
d
, p).
III.at
Xi → co

t.jp
7

.p&•p →

,
come

TH
→

Note : A tangent cone does not need to be a

metric cone

{
(M,
dog pas) if pi bounded
Ef
,
( MY )
dog .
pi
Csn ups peg
-

if pi
-
→ as
,

HEE
p .

iI.ph#r-*rCD-
r+
 smoothcheeger-Gromoyconxeo.ge#
Setup ( Mi ) ( Xo ¥)
dgi
:
,
pi do )
,
pas
,
i-D as ,

complete complete metric

length space
within some
correspondence Z .

Question when ( where is Xs smooth

tegular ?

Exe s 'll ) Si ) S'll )

"

collapsing
x "

( M?
dog pi) ¥0 Cone ( Skat)
, "
"
singular pts
,

as 2A

.
.
-
.

Det : txt is said to be

smoothatgosexos
if Fqi C- Xi and r v > o co G Cz C - sat
, , , , ,
.
. . .

② 9i¥ gas

② IBCgi.mg ;
> v

IF
③ Rmlgif Cm on
Begin )

R*={ gas C- Xo ) H)
at
is

gas
smooth
}C Xo ,
S
't

:=XsR*
 't

The R CX topological mf
open ,

Z! smooth structure on R't t Riem metric

gas
.

St
(R
't

dogs ) (Xo dos)

.

-
, ,

is local
a
isometry .

In R't
particular c
R -

{ regular pts } CX • .

"
"

Proof Gromov ( )
inj q) ( Co
:
Z c v 70
,

( DH E)
dilpqi.cz ) ( DG
lpq
"
, - E) d-
,
.
,
,
-

topological
disk

Gomal : Find Coo .

near
gi

XT : B (
go ,
ro ) -D
R
"

'
E
fi
I-

for uniform sit B (E m) Ii ( B Cgi

no > o C
not )
.
,

and
gi Tgi st ) dxisdxit BCF
"
, on r
, )4R
with
10mg i. stl E ch

for uniform ri ,
Cal .
Thea
by A -
A :

gist
=D BCF rye )
gas
on
,
st ,

describes the
geometry near
gas .

Nergal diets E' ! Cm

'

expgi C 'm Ko ,
=

.im)
-

.
. .

Distance ordinates xis-dicy.is ) Cin Cinco .cm , )

. -
.

.
,
.
. .

y's .

H¥¥ .
.

Hearing
eor.de#essgixis=oCin=cinCco.....En,
extra Hilder
+

bound

D
.

Addendum For 't

:
any gas
C- R there is an

nbhd UCR 't

dittos
C-
open gas and
onto their 4,9
'

images :
UH -
Mi St -

( 47
)*g .

go

4i%( y ) i¥b y Hye UH

 #

Gcs

Them ( Smooth Cheeger Gromov -

convergence
)

Then there
consider
setting from before .
are

subsets
open

if
't
U
,
cuz C -
-
-
-

CR sit .
Ui =R*
,

and
diffeos Yi :
Ui →
Vic Mi sit .

47g
'T
i on R
is
gas

Yi ly ) ¥= y Hye Rt

"

Proof Find fx
"

I CR
't
, ,xz , . . . sit .

{Vj 's
}
'

U
locally finite of R*
-

cover

[
form Addendum
 Xo
\

\ #
w : #
xp
yji
.

4 ? 4¥ Vi YI cud )
'

T
from Addendum

XI ftp.j
'
van
'

via
: -
: →

simplifying Asset : SU 's . .

.

.
UNI finite
-

claim ! one ? lvihvizl

nxicvihvig
'
x '
:X -

to
converges idujinujr in Eeoc .

" "

Prod ptwise convergence ,

b/c

4¥ YI? 7¥ id,
within Z
( !
*
x
'

.
Y
gas gas
=D loc in C- norm D
convergence every
.

Choose
partition of unity lzjf ,

subordinate to { UJ }

God
" "

Average
II
a
u

x. →
2jlxdicxnxd.cn
-

E. xoicxi