ScalingStacks

Theorem 5.6 . [00ST]

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

Theorem 5.6.

(Smooth convergence in generic regions) As s→+∞s\to+\infty along the subsequence, assume the coordinate ball B⁡(x,2​r​(x))⊂ℛB(x,2r(x))\subset\mathcal{R}, then on the region (s−1​Log)−1​(B⁡(x,r⁡(x)))⊂Xs(s^{-1}\text{Log})^{-1}(B(x,r(x)))\subset X_{s}, we have the following higher regularity estimates with respect to the Ck,γC^{k,\gamma}-norm in the s−1​log⁡zmis^{-1}\log z^{m_{i}} coordinates.

  • •

    In the face type region Uws,f​a​c​eU_{w}^{s,face} case

    ‖φC​Y,s,0−u∞∘s−1​Log‖Ck,γ​((s−1​Log)−1​(B⁡(x,r⁡(x)))CLOSE→0.\left\lVert\varphi_{CY,s,0}-u_{\infty}\circ s^{-1}\text{Log}\right\rVert_{C^{k,\gamma}((s^{-1}\text{Log})^{-1}(B(x,r(x)))}\to 0.
  • •

    In the star type region Uws,∗U_{w}^{s,*} case, for ⟨m,w⟩=1\langle m,w\rangle=1,

    ‖φC​Y,s,m−u∞,m∘s−1​Log‖Ck,γ​((s−1​Log)−1​(B⁡(x,r⁡(x)))CLOSE→0.\left\lVert\varphi_{CY,s,m}-u_{\infty,m}\circ s^{-1}\text{Log}\right\rVert_{C^{k,\gamma}((s^{-1}\text{Log})^{-1}(B(x,r(x)))}\to 0.

The convergence rate is uniform for xx on any fixed compact subset of ℛ\mathcal{R}.

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