ScalingStacks

Proof. [024B]

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 have verified the weighted Sobolev inequality (cf. section 5.2), the existence of the distance-like function (cf. section 4.7), and the existence of Ck,αC^{k,\alpha} quasi-atlas (cf. section 4.1, 4.2).

The volume form error for d​dc​ϕg​l​u​edd^{c}\phi_{glue} decays like O⁡(ρ~−2​n​(2​n−1)(n−1)​(n+2))O(\tilde{\rho}^{-\frac{2n(2n-1)}{(n-1)(n+2)}}) (cf. (36)). On the other hand, the volume growth rate is O⁡(ρ~p′)O(\tilde{\rho}^{p^{\prime}}) with 2<p′=4​nn+2<2​n​(2​n−1)(n−1)​(n+2)2<p^{\prime}=\frac{4n}{n+2}<\frac{2n(2n-1)}{(n-1)(n+2)}. In particular the volume error is bounded by O⁡(ρ~−p′)O(\tilde{\rho}^{-p^{\prime}}). Applying Hein’s package, we can find a Ck,αC^{k,\alpha} bounded solution ϕr​e​l\phi_{rel}, such that

(d​dc​ϕg​l​u​e+d​dc​ϕr​e​l)n=(1+E​r​r2)−1​(d​dc​ϕg​l​u​e)n=K0​−1n2​Ω∧Ω¯,(dd^{c}\phi_{glue}+dd^{c}\phi_{rel})^{n}=(1+Err_{2})^{-1}(dd^{c}\phi_{glue})^{n}=K_{0}\sqrt{-1}^{n^{2}}\Omega\wedge\overline{\Omega},

with decay estimate |ϕr​e​l|=O⁡(ρ~2−p0+ϵ)=O⁡(ρ~−q)|\phi_{rel}|=O(\tilde{\rho}^{2-p_{0}+\epsilon})=O(\tilde{\rho}^{-q}). Since the charts on the local universal covers have harmonic radius scale O⁡(ρ)O(\rho), elliptic regularity improves the decay estimate to local Ck,αC^{k,\alpha}-norms. ∎

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