ScalingStacks

Example 1.9 . [03Z4]

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

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.

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