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 quasi-atlas (cf. section 4.1, 4.2).
The volume form error for decays like (cf. (36)). On the other hand, the volume growth rate is with . In particular the volume error is bounded by . Applying Hein’s package, we can find a bounded solution , such that
with decay estimate . Since the charts on the local universal covers have harmonic radius scale , elliptic regularity improves the decay estimate to local -norms. ∎