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 is diffeomorphic to in such a way that the Calabi metric becomes the Gibbons-Hawking metric (2.19). Ignoring this diffeomorphism, we have a -form triple and a -form triple such that , , and
| (3.35) |
Since are closed, it follows that
| (3.36) |
Now we define the -form triple
| (3.37) |
Thanks to (3.32), this integral exists and satisfies (3.34). Note that this is not completely obvious because the -form basis on is not parallel with respect to . However, this effect is absorbed by the in (3.34) because all error terms are at worst polynomial in . Property (3.33) now follows in a standard manner by using (3.36). ∎