ScalingStacks

Proof. [0311]

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.

This estimate is contained in the second-named author’s work [38], although it is not explicitly stated there. To see this, start from [38, (3.24)], which gives a constant CC so that on UU we have

C−1​(t​ωM)⩽ω~t.C^{-1}(t\omega_{M})\leqslant\tilde{\omega}_{t}.

Then use [38, Lemma 3.1] to get

C−1​ω0⩽ω~t,C^{-1}\omega_{0}\leqslant\tilde{\omega}_{t},

and so adding these two inequalities we get

C−1​(ω0+t​ωM)⩽ω~t,C^{-1}(\omega_{0}+t\omega_{M})\leqslant\tilde{\omega}_{t},

or in other words trω~t​ωt⩽C\textrm{tr}_{\tilde{\omega}_{t}}\omega_{t}\leqslant C on UU, where ωt=ω0+t​ωM\omega_{t}=\omega_{0}+t\omega_{M} as before. To get the reverse inequality, we note that on UU we have

trωt​ω~t⩽(trω~t​ωt)n−1​ω~tnωtn⩽C​ω~tnωtn⩽C,\textrm{tr}_{\omega_{t}}\tilde{\omega}_{t}\leqslant(\textrm{tr}_{\tilde{\omega}_{t}}\omega_{t})^{n-1}\frac{\tilde{\omega}_{t}^{n}}{\omega_{t}^{n}}\leqslant C\frac{\tilde{\omega}_{t}^{n}}{\omega_{t}^{n}}\leqslant C,

where the last inequality follows from [38, (3.23)]. We thus get the reverse inequality

ω~t⩽C⁡(ω0+t​ωM),\tilde{\omega}_{t}\leqslant C(\omega_{0}+t\omega_{M}),

thus proving (4.1). ∎

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