ScalingStacks

Proof. [00S5]

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.

In the star type region case, by Cor. 4.7, we have the upper bound φm−ϕ¯m,w≤Cs−1/2\varphi_{m}-\bar{\phi}_{m,w}\leq Cs^{-1/2}. By Prop. 4.14 and Cor. 4.15, in Uws,∗U^{s,*}_{w} we can replace ϕ¯m,w\bar{\phi}_{m,w} by ψm\psi_{m} up to an error bounded by Cs−1/2Cs^{-1/2}, hence the claim. The face type region follows the same argument, without the translational invariance statement of Cor. 4.15. ∎

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