ScalingStacks

Proposition 7.7 . [0564]

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

Proposition 7.7.

In the Region 𝐈𝐈−∩Uβ,t1{\bf{II}_{-}}\cap U_{\beta,t}^{1}, we have for all k≥0k\geq 0

(7.107) |∇k(ϕt,𝐈𝐈−∘(πβ𝒩)−1−ϕ−)|=ϵ¯T2,|\nabla^{k}(\phi_{t,\bf{II}_{-}}\circ(\pi_{\beta}^{\mathcal{N}})^{-1}-\phi_{-})|=\underline{\epsilon}_{T^{2}},

where derivative and norm are taken with respect to the metric ωT\omega_{T}.

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