ScalingStacks

Lemma 7.13 . [03JJ]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Lemma 7.13.

In Case (b) of Region II\II, the Gromov-Hausdorff map

(7.117) Fj:(ℳ,gj,𝒙j)⟶(ℝ3,g0,𝒙∞)F_{j}:(\mathcal{M},g_{j},\bm{x}_{j})\longrightarrow(\mathbb{R}^{3},g_{0},\bm{x}_{\infty})

can be given by the rescaled coordinate functions

(7.118) xj≡γj⋅x,yj≡γj⋅y,zj≡γj⋅z,\displaystyle x_{j}\equiv\gamma_{j}\cdot x,\ y_{j}\equiv\gamma_{j}\cdot y,\ z_{j}\equiv\gamma_{j}\cdot z,

where γj>0\gamma_{j}>0 is defined in the proof of Lemma 7.11. Moreover, F≡(xj,yj,zj)F\equiv(x_{j},y_{j},z_{j}) satisfies

(7.119) Δg~j​xj=Δg~j​yj=Δg~j​zj=0\Delta_{\tilde{g}_{j}}x_{j}=\Delta_{\tilde{g}_{j}}y_{j}=\Delta_{\tilde{g}_{j}}z_{j}=0

and satisfy

(7.120) |∇g~jxj|g~j=|∇g~jyj|g~j=|∇g~jzj|g~j→1|\nabla_{\tilde{g}_{j}}x_{j}|_{\tilde{g}_{j}}=|\nabla_{\tilde{g}_{j}}y_{j}|_{\tilde{g}_{j}}=|\nabla_{\tilde{g}_{j}}z_{j}|_{\tilde{g}_{j}}\to 1

and away from the monopoles,

(7.121) |∇g~j2xj|g~j=|∇g~j2yj|g~j=|∇g~j2zj|g~j→0.|\nabla_{\tilde{g}_{j}}^{2}x_{j}|_{\tilde{g}_{j}}=|\nabla_{\tilde{g}_{j}}^{2}y_{j}|_{\tilde{g}_{j}}=|\nabla_{\tilde{g}_{j}}^{2}z_{j}|_{\tilde{g}_{j}}\to 0.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.