ScalingStacks

Proof. [03H1]

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.

By Proposition 3.1, the Calabi space 𝒞\mathcal{C} is diffeomorphic to Nilb3×(0,∞)\Nil^{3}_{b}\times(0,\infty) in such a way that the Calabi metric g𝒞g_{\mathcal{C}} becomes the Gibbons-Hawking metric (2.19). Ignoring this diffeomorphism, we have a 22-form triple ϕ{\bm{\phi}} and a 11-form triple 𝝍{\bm{\psi}} such that ∂z⌟​ϕ=0\partial_{z}\,\lrcorner\,{\bm{\phi}}=0, ∂z⌟​𝝍=0\partial_{z}\,\lrcorner\,{\bm{\psi}}=0, and

(3.35) Φ∗​𝝎T​Y−𝝎𝒞=ϕ+d​z∧𝝍.\Phi^{*}\bm{\omega}_{TY}-\bm{\omega}_{\mathcal{C}}=\bm{\phi}+dz\wedge\bm{\psi}.

Since 𝝎T​Y,𝝎𝒞\bm{\omega}_{TY},\bm{\omega}_{\mathcal{C}} are closed, it follows that

(3.36) dNilb3​ϕ=0,∂zϕ−dNilb3​𝝍=0.d_{\Nil^{3}_{b}}\bm{\phi}=0,\;\,\partial_{z}\bm{\phi}-d_{\Nil^{3}_{b}}\bm{\psi}=0.

Now we define the 11-form triple

(3.37) 𝒂≡−∫z∞𝝍dz.\bm{a}\equiv-\int_{z}^{\infty}{\bm{\psi}}\,dz.

Thanks to (3.32), this integral exists and satisfies (3.34). Note that this is not completely obvious because the 11-form basis d​x,d​y,d​t−x​d​ydx,dy,dt-xdy on Nilb3{\rm Nil}^{3}_{b} is not parallel with respect to g𝒞g_{\mathcal{C}}. However, this effect is absorbed by the ϵ\epsilon in (3.34) because all error terms are at worst polynomial in zz. Property (3.33) now follows in a standard manner by using (3.36). ∎

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