ScalingStacks

1.2.2. Compactification and distributional equation [03Z3]

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

1.2.2. Compactification and distributional equation

When we partially compactify the principal TnT^{n}-bundle over ℬ0\mathcal{B}^{0} to a singular T𝔫T^{\mathfrak{n}}-bundle over β„¬βŠƒβ„¬0\mathcal{B}\supset\mathcal{B}^{0} by allowing torus fibres to degenerate, we need to encode the topology into the generalised Gibbons-Hawking ansatz, by changing the RHS of (1.11) into a distributional term reflecting the nontriviality of the first Chern class (cf. the Taub-NUT example 1.8). This has been worked out by Zharkov [31] in general dimensions; here we will focus on the vertices in N=3N=3.

Example 1.9.

(Positive vertex and Taub-NUT type β„‚3\mathbb{C}^{3}) Recall from Section 1.1.3 that e1,e2e_{1},e_{2} are the homology classes of the two circle factors in the T2T^{2}-fibre, or equivalently an integral basis in 𝔱\mathfrak{t}. The 𝔱\mathfrak{t}-valued curvature 2-form F=F1​e1+F2​e2F=F_{1}e_{1}+F_{2}e_{2} satisfies (cf. (1.12))

12​π​d​FjβŠ—ej=βˆ’14​π​(βˆ‚2Wβˆ‚ΞΌiβ€‹βˆ‚ΞΌj+4β€‹βˆ‚2Vi​jβˆ‚Ξ·β€‹βˆ‚Ξ·Β―)​d​μi∧dβ€‹Ξ·βˆ§dβ€‹Ξ·Β―βŠ—ej,\frac{1}{2\pi}dF_{j}\otimes e_{j}=\frac{\sqrt{-1}}{4\pi}\left(\frac{\partial^{2}W}{\partial\mu_{i}\partial\mu_{j}}+4\frac{\partial^{2}V^{ij}}{\partial\eta\partial\bar{\eta}}\right)d\mu_{i}\wedge d\eta\wedge d\bar{\eta}\otimes e_{j},

which is a 𝔱\mathfrak{t}-valued 3-current supported on the codimension 3 discriminant locus π”‡βŠ‚β„ΞΌ1,ΞΌ22Γ—(S1×ℝ)Ξ·\mathfrak{D}\subset\mathbb{R}^{2}_{\mu_{1},\mu_{2}}\times(S^{1}\times\mathbb{R})_{\eta}. Now take small 3-balls transverse to 𝔇1,𝔇2,𝔇3\mathfrak{D}_{1},\mathfrak{D}_{2},\mathfrak{D}_{3} respectively. The integrals of 12​π​d​FjβŠ—ej\frac{1}{2\pi}dF_{j}\otimes e_{j} over the balls are equal to the integrals of the Chern class representative 12​π​F\frac{1}{2\pi}F over the S2S^{2} linking 𝔇1,𝔇2,𝔇3\mathfrak{D}_{1},\mathfrak{D}_{2},\mathfrak{D}_{3}, which by Section 1.1.3 are e1,βˆ’e2,βˆ’e1+e2e_{1},-e_{2},-e_{1}+e_{2} up to orientation issues. Thus

(1.16) βˆ’14​π​(βˆ‚2Wβˆ‚ΞΌiβ€‹βˆ‚ΞΌj+4β€‹βˆ‚2Vi​jβˆ‚Ξ·β€‹βˆ‚Ξ·Β―)​d​μi∧dβ€‹Ξ·βˆ§dβ€‹Ξ·Β―βŠ—ej=𝔇1βŠ—e1βˆ’π”‡2βŠ—e2+𝔇3βŠ—(e2βˆ’e1),\frac{\sqrt{-1}}{4\pi}\left(\frac{\partial^{2}W}{\partial\mu_{i}\partial\mu_{j}}+4\frac{\partial^{2}V^{ij}}{\partial\eta\partial\bar{\eta}}\right)d\mu_{i}\wedge d\eta\wedge d\bar{\eta}\otimes e_{j}=\mathfrak{D}_{1}\otimes e_{1}-\mathfrak{D}_{2}\otimes e_{2}+\mathfrak{D}_{3}\otimes(e_{2}-e_{1}),

where the RHS is a 𝔱\mathfrak{t}-valued codimension 3 cycle. The orientation here is decided by comparing with the Taub-NUT example. If d​μ1∧d​μ2∧d​Reβ€‹Ξ·βˆ§d​Im​ηd\mu_{1}\wedge d\mu_{2}\wedge d\text{Re}\eta\wedge d\text{Im}\eta is an orientation form on ℝμ1,ΞΌ22Γ—(S1×ℝ)Ξ·\mathbb{R}^{2}_{\mu_{1},\mu_{2}}\times(S^{1}\times\mathbb{R})_{\eta}, then the orientation forms on 𝔇1,𝔇2,𝔇3\mathfrak{D}_{1},\mathfrak{D}_{2},\mathfrak{D}_{3} are d​μ2,d​μ1,βˆ’d​μ1d\mu_{2},d\mu_{1},-d\mu_{1}, compatible with the directions pointing to infinity.

In the variant situation where Ξ·βˆˆβ„‚\eta\in\mathbb{C} instead of being periodic, to which previous discussions still apply, the generalised Gibbons-Hawking ansatz has a scaling symmetry compatible with the distributional equation (1.16): a new solution ΦΛ\Phi_{\Lambda} may be constructed from an old solution Ξ¦\Phi by

(1.17) {ΦΛ​(ΞΌ1,ΞΌ2,Ξ·)=Ξ›βˆ’1​Φ​(Λ​μ1,Λ​μ2,Ξ›1.5​η),VΞ›i​j​(ΞΌ1,ΞΌ2,Ξ·)=Λ​Vi​j​(Λ​μ1,Λ​μ2,Ξ›1.5​η),WΛ​(ΞΌ1,ΞΌ2,Ξ·)=Ξ›2​W​(Λ​μ1,Λ​μ2,Ξ›1.5​η)\begin{cases}\Phi_{\Lambda}(\mu_{1},\mu_{2},\eta)=\Lambda^{-1}\Phi(\Lambda\mu_{1},\Lambda\mu_{2},\Lambda^{1.5}\eta),\\ V^{ij}_{\Lambda}(\mu_{1},\mu_{2},\eta)=\Lambda V^{ij}(\Lambda\mu_{1},\Lambda\mu_{2},\Lambda^{1.5}\eta),\\ W_{\Lambda}(\mu_{1},\mu_{2},\eta)=\Lambda^{2}W(\Lambda\mu_{1},\Lambda\mu_{2},\Lambda^{1.5}\eta)\end{cases}

These solutions are isometric up to a scaling factor, analogous to Taub-NUT metrics with different asymptotic circle lengths. The presence of the periodicty condition (or more abstractly an integral lattice structure) breaks down scaling symmetry by singling out a special scale.

Example 1.10.

(Negative vertex) By a similar argument, in the negative vertex setting (cf. Section 1.1.5) the curvature 2-form FF satisfies

(1.18) βˆ’12​π​d​F=βˆ’βˆ’14​π​(βˆ‚2Wp​qΒ―βˆ‚ΞΌβ€‹βˆ‚ΞΌ+4β€‹βˆ‚2Vβˆ‚Ξ·pβ€‹βˆ‚Ξ·Β―q)​dβ€‹ΞΌβˆ§d​ηp∧d​η¯q=S,-\frac{1}{2\pi}dF=-\frac{\sqrt{-1}}{4\pi}\left(\frac{\partial^{2}W^{p\bar{q}}}{\partial\mu\partial\mu}+4\frac{\partial^{2}V}{\partial\eta_{p}\partial\bar{\eta}_{q}}\right)d\mu\wedge d\eta_{p}\wedge d\bar{\eta}_{q}=S,

where S={z1+z2=1}={e2​π​i​η1+e2​π​i​η2=1}βŠ‚β„‚z1βˆ—Γ—β„‚z2βˆ—Γ—{0}βŠ‚β„‚z1βˆ—Γ—β„‚z2βˆ—Γ—β„ΞΌS=\{z_{1}+z_{2}=1\}=\{e^{2\pi i\eta_{1}}+e^{2\pi i\eta_{2}}=1\}\subset\mathbb{C}^{*}_{z_{1}}\times\mathbb{C}^{*}_{z_{2}}\times\{0\}\subset\mathbb{C}^{*}_{z_{1}}\times\mathbb{C}^{*}_{z_{2}}\times\mathbb{R}_{\mu} defines a codimension 3 cycle. Here SS is endowed with the complex orientation, and the orientation on β„‚z2βˆ—Γ—β„ΞΌ\mathbb{C}^{*}_{z_{2}}\times\mathbb{R}_{\mu} is defined by the form dβ€‹ΞΌβˆ§d​Re​η1∧d​Im​η1∧d​Re​η2∧d​Im​η2d\mu\wedge d\text{Re}\eta_{1}\wedge d\text{Im}\eta_{1}\wedge d\text{Re}\eta_{2}\wedge d\text{Im}\eta_{2}.

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