ScalingStacks

Proof. [03JF]

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

Proof.

To prove this lemma, we need to rescale both the metric and the coordinates. We choose the pull-back region π−1​(Br0g0​(pm))\pi^{-1}(B_{r_{0}}^{g_{0}}(p_{m})) with r0>0r_{0}>0 defined as the above, then for every 𝒙∈π−1​(Br0g0​(pm))\bm{x}\in\pi^{-1}(B_{r_{0}}^{g_{0}}(p_{m})) with π⁡(𝒙)=(x,y,z)\pi(\bm{x})=(x,y,z),

(7.55) Vβ​(𝒙)=12​x2+y2+z2+h⁡(𝒙)+β,V_{\beta}(\bm{x})=\frac{1}{2\sqrt{x^{2}+y^{2}+z^{2}}}+h(\bm{x})+\beta,

where hh is a bounded harmonic function on ℝ3\mathbb{R}^{3}. Let us denote the rescaled coordinates by

(7.56) x~β≡γβ⋅x,y~β≡γβ⋅y,z~β≡γβ⋅z,\displaystyle\tilde{x}_{\beta}\equiv\gamma_{\beta}\cdot x,\ \tilde{y}_{\beta}\equiv\gamma_{\beta}\cdot y,\ \tilde{z}_{\beta}\equiv\gamma_{\beta}\cdot z,

and we choose

(7.57) γβ≡σ2⋅β.\gamma_{\beta}\equiv\sigma^{2}\cdot\beta.

So the rescaled metrics g~σ,β\tilde{g}_{\sigma,\beta} converge to

(7.58) g~σ,∞=Gσ⋅gℝ3+(Gσ)−1​θ2\tilde{g}_{\sigma,\infty}=G_{\sigma}\cdot g_{\mathbb{R}^{3}}+(G_{\sigma})^{-1}\theta^{2}

such that

(7.59) Gσ​(p)=12​d0​(p,03)+1σ2,G_{\sigma}(p)=\frac{1}{2d_{0}(p,0^{3})}+\frac{1}{\sigma^{2}},

where d0d_{0} is the distance function in the Euclidean space ℝ3\mathbb{R}^{3}. This tells us that g~σ,∞\tilde{g}_{\sigma,\infty} is a Taub-NUT metric, and the proof is complete.

∎

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