Proof. [041B]
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.
We assume which can be relaxed by scaling. It suffices to solve the complex Monge-Ampère equation
In Hein’s analytic package (cf. Section 2.7), the conditions on the ambient metric including quasi-atlas, existence of a distance-like function with Hessian bounds, and the weighted Sobolev inequality, are robust conditions which are inherited by from . The volume form error has faster than quadratic decay by construction:
Thus Hein’s package provides a potential solving the complex Monge-Ampère equation with decay estimate . Elliptic bootstrap gives the bound so , which combined with Lemma 2.25 implies the metric deviation estimate. ∎