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 -action on obviously preserves , so must be given by the Gibbons-Hawking construction. It suffices to determine the hyperkähler moment map and the potential . We already know that the -moment map is given by , and it is easy to check that the -moment map equals the bundle projection followed by the Abel-Jacobi isomorphism , , for an arbitrary but fixed basepoint . Also, is the norm-squared of the Killing field, so that
The Calabi construction provides us with an explicit realization of the total space of the -bundle and with a specific choice of connection form given by the Chern connection of with respect to . The diffeomorphism equivalence to the model with connection form (after rotating to if necessary) follows from the discussion before Remark 2.4. ∎