ScalingStacks

Proof. [03GT]

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.

The natural S1S^{1}-action on 𝒞\mathcal{C} obviously preserves 𝝎𝒞{\bm{\omega}}_{\mathcal{C}}, so 𝝎𝒞{\bm{\omega}}_{\mathcal{C}} must be given by the Gibbons-Hawking construction. It suffices to determine the hyperkähler moment map π=(π1,π2,π3)\pi=(\pi_{1},\pi_{2},\pi_{3}) and the potential VV. We already know that the ω𝒞\omega_{\mathcal{C}}-moment map is given by π1=(−log⁡|ξ|h2)1/2=z\pi_{1}=(-{\log|\xi|_{h}^{2}})^{1/2}=z, and it is easy to check that the Ω𝒞\Omega_{\mathcal{C}}-moment map π2+i​π3\pi_{2}+i\pi_{3} equals the bundle projection p:𝒞→Ep:\mathcal{C}\to E followed by the Abel-Jacobi isomorphism E→ℂ/periodsE\to\mathbb{C}/\text{\emph{periods}}, x↦∫x0xi​ΩEx\mapsto\int_{x_{0}}^{x}i\Omega_{E}, for an arbitrary but fixed basepoint x0∈Ex_{0}\in E. Also, V−1V^{-1} is the norm-squared of the Killing field, so that

V−1=(−log|ξ|h2)−1/2=z−1.V^{-1}=(-{\log|\xi|^{2}_{h}})^{-1/2}=z^{-1}.

The Calabi construction provides us with an explicit realization 𝔐=𝒞\mathfrak{M}=\mathcal{C} of the total space of the S1S^{1}-bundle and with a specific choice of connection form θ\theta given by the Chern connection of LL with respect to hh. The diffeomorphism equivalence to the model Nilb3​(ϵ,τ)×(0,∞){\rm Nil}_{b}^{3}(\epsilon,\tau)\times(0,\infty) with connection form θb\theta_{b} (after rotating Ω𝒞\Omega_{\mathcal{C}} to ei​α​Ω𝒞e^{i\alpha}\Omega_{\mathcal{C}} if necessary) follows from the discussion before Remark 2.4. ∎

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