ScalingStacks

Remark 2.1 . [03ZH]

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

Remark 2.1.

(Informal discussion on singularity) The vi​jv^{ij} and ww should have very specific singularities along 𝔇1\mathfrak{D}_{1}, 𝔇2\mathfrak{D}_{2}, 𝔇3\mathfrak{D}_{3}. Let us focus on what happens around 𝔇1\mathfrak{D}_{1}. The delta forcing term appears in the component of (2.4) as

−14​π​(∂2w∂μ1​∂μ1+4​∂2v11∂η​∂η¯)​d​μ1∧d​η∧d​η¯=𝔇1.\frac{\sqrt{-1}}{4\pi}\left(\frac{\partial^{2}w}{\partial\mu_{1}\partial\mu_{1}}+4\frac{\partial^{2}v^{11}}{\partial\eta\partial\bar{\eta}}\right)d\mu_{1}\wedge d\eta\wedge d\bar{\eta}=\mathfrak{D}_{1}.

If we denote the Lebesgue measure f↦∫𝔇1f​d​μ2f\mapsto\int_{\mathfrak{D}_{1}}fd\mu_{2} as ∫𝔇1d​μ2\int_{\mathfrak{D}_{1}}d\mu_{2}, we may rewrite this equation as

12​π(∂2w∂μ1​∂μ1+4∂2v11∂η​∂η¯)dμ1∧dμ2∧dReη∧dImη=−∫𝔇1dμ2.\frac{1}{2\pi}\left(\frac{\partial^{2}w}{\partial\mu_{1}\partial\mu_{1}}+4\frac{\partial^{2}v^{11}}{\partial\eta\partial\bar{\eta}}\right)d\mu_{1}\wedge d\mu_{2}\wedge d\text{Re}\eta\wedge d\text{Im}{\eta}=-\int_{\mathfrak{D}_{1}}d\mu_{2}.

Since v12,v22v^{12},v^{22} do not see the forcing term, our best guess is that they are smooth along 𝔇1\mathfrak{D}_{1}. Then modulo smooth terms w∼A​a11​v11=a22​v11w\sim Aa^{11}v^{11}=a_{22}v^{11} along 𝔇1\mathfrak{D}_{1}, from which the distributional equation gives the singularity structure along 𝔇1\mathfrak{D}_{1}:

v11∼12​μ12+a22​|η|2,w∼a222​μ12+a22​|η|2.v^{11}\sim\frac{1}{2\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}},\quad w\sim\frac{a_{22}}{2\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}.

The following base metric encoding the Gibbons-Hawking data has the singularity structure along 𝔇1\mathfrak{D}_{1}

ga+vi​j​d​μi​d​μj+w​|d​η|2∼ga+12​μ12+a22​|η|2​(d​μ12+a22​|d​η|2)=(12​μ12+a22​|η|2+Aa22)​(d​μ12+a22​|d​η|2)+a22​(d⁡(μ2+a12a22​μ1))2\begin{split}&g_{a}+v^{ij}d\mu_{i}d\mu_{j}+w|d\eta|^{2}\sim g_{a}+\frac{1}{2\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}(d\mu_{1}^{2}+a_{22}|d\eta|^{2})\\ =&(\frac{1}{2\sqrt{\mu_{1}^{2}+a_{22}|\eta|^{2}}}+\frac{A}{a_{22}})(d\mu_{1}^{2}+a_{22}|d\eta|^{2})+a_{22}(d(\mu_{2}+\frac{a_{12}}{a_{22}}\mu_{1}))^{2}\end{split}

from which we recognize the Taub-NUT metric appearing in directions transverse to 𝔇1\mathfrak{D}_{1}. See Section 2.3 for further details.

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