Proof. [023M]
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 exponential type decay is because the deviation between the Tian-Yau metric and the Calabi ansatz is exponentially small, and on the Calabi ansatz model is precisely harmonic. This is the intimately connected to the freedom to add a constant to in the Calabi ansatz, without affecting the complex Monge-Ampère measure.
To evaluate , we take a very large compact set , and consider the limit. We have up to exponentially suppressed errors
Computing in the Calabi ansatz model, this is
which is
Taking the gives the total integral. ∎