ScalingStacks

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 C−1​δi​j≤ai​j≤C​δi​jC^{-1}\delta_{ij}\leq a_{ij}\leq C\delta_{ij} which can be relaxed by scaling. It suffices to solve the complex Monge-Ampère equation

(ω(3)+−1​∂∂¯​ϕ′)3=34​−1​Ω∧Ω¯.(\omega^{(3)}+\sqrt{-1}\partial\bar{\partial}\phi^{\prime})^{3}=\frac{3}{4}\sqrt{-1}\Omega\wedge\overline{\Omega}.

In Hein’s analytic package (cf. Section 2.7), the conditions on the ambient metric including Ck,αC^{k,\alpha} quasi-atlas, existence of a distance-like function with Hessian bounds, and the weighted Sobolev inequality, are robust conditions which are inherited by ω(3)\omega^{(3)} from ω(2)\omega^{(2)}. The volume form error E(3)E^{(3)} has faster than quadratic decay by construction:

|E(3)|≤C​(|μ→|a+1)−4+ϵ.|E^{(3)}|\leq C(|\vec{\mu}|_{a}+1)^{-4+\epsilon}.

Thus Hein’s package provides a potential ϕ′\phi^{\prime} solving the complex Monge-Ampère equation with decay estimate |ϕ′|≤C​(|μ→|a+1)−2+2​ϵ|\phi^{\prime}|\leq C(|\vec{\mu}|_{a}+1)^{-2+2\epsilon}. Elliptic bootstrap gives the bound ‖ϕ′‖C0,−2+2​ϵk+2,α≤C,\left\lVert\phi^{\prime}\right\rVert_{C^{k+2,\alpha}_{0,-2+2\epsilon}}\leq C, so ‖d​ϕ′‖C−1,−2+2​ϵk+1,α​(ℂ3,Λ1)≤C\left\lVert d\phi^{\prime}\right\rVert_{C^{k+1,\alpha}_{-1,-2+2\epsilon}(\mathbb{C}^{3},\Lambda^{1})}\leq C, which combined with Lemma 2.25 implies the metric deviation estimate. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.