Proof. [041M]
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 strategy is to improve the decay rate of iteratively, until it becomes sufficiently fast. We rewrite the equation as a Poisson equation
Notice that lives in , so its square lives in . As long as stays in the good range of weight exponents, Corollary 2.24 and the above vanishing lemma imply that the solution to this Poisson equation must satisfy . This is an improved decay estimate because and . Since each iteration improves the decay rate by a definite amount, within a finite number of steps we can assume and . Then implies that after adjusting by a constant. Then we can use the standard integration by part argument for the complex Monge-Ampère equation to see
Hence is a constant, and the metric is unique. ∎