ScalingStacks

Lemma 7.9 . [03JD]

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.9.

For every monopole point pm∈𝒫m0p_{m}\in\mathcal{P}_{m_{0}} and for every fixed positive constant σ>0\sigma>0, we have the following C∞C^{\infty}-convergence

(7.52) (𝒩m04,g~σ,β,pm)→C∞(ℝ4,g~σ,∞,p~m,∞)​as​β→+∞,(\mathcal{N}_{m_{0}}^{4},\tilde{g}_{\sigma,\beta},p_{m})\xrightarrow{C^{\infty}}(\mathbb{R}^{4},\tilde{g}_{\sigma,\infty},\tilde{p}_{m,\infty})\ \text{as}\ \beta\to+\infty,

such that (ℝ4,g~σ,∞,p~m,∞)(\mathbb{R}^{4},\tilde{g}_{\sigma,\infty},\tilde{p}_{m,\infty}) is a Ricci-flat Taub-NUT space with

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

and

(7.54) 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}.

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