ScalingStacks

Proof. [0243]

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.

For |x2|+1≪x1|x_{2}|+1\ll x_{1}, Lemma 4.11 says that the volume form error of ϕD1(2)\phi_{D_{1}}^{(2)} is O⁡(x1−2​nn−1​x21n−1)=O⁡(x1−2​n−1n−1)O(x_{1}^{-\frac{2n}{n-1}}x_{2}^{\frac{1}{n-1}})=O(x_{1}^{-\frac{2n-1}{n-1}}). In the gluing region x1∼C~​x2x_{1}\sim\tilde{C}x_{2}, the volume form error is controlled by the metric gluing error, which is again O⁡(x1−2​n−1n−1)O(x_{1}^{-\frac{2n-1}{n-1}}) by Lemma 4.12. What happens near D2D_{2} is completely analogous. Finally, in the compact region x1,x2=O⁡(1)x_{1},x_{2}=O(1), the smoothness of ϕg​l​u​e\phi_{glue} means that the local Ck,αC^{k,\alpha}-norm is O⁡(1)O(1). ∎

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