ScalingStacks

Lemma 5.9 . [02CS]

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

Lemma 5.9.

Suppose two maps f0:A^​(1,100)→B⁡(q,200)f_{0}:\hat{A}(1,100)\rightarrow B(q,200), f1:A^​(1−δ,100+δ)→B⁡(q,200)f_{1}:\hat{A}(1-\delta,100+\delta)\rightarrow B(q,200) satisfy that for i=0,1i=0,1 and some r>0r>0, (1−ϵ)​|x|≤10i​r−1​d​(q,fi​(x))≤(1+ϵ)​|x|,(1-\epsilon)|x|\leq 10^{i}r^{-1}d(q,f_{i}(x))\leq(1+\epsilon)|x|, and |102​i​r−2​fi∗​g−g0|C4≤ϵ|10^{2i}r^{-2}f_{i}^{*}g-g_{0}|_{C^{4}}\leq\epsilon on A^​(10i,10i+1)\hat{A}(10^{i},10^{i+1}). Then there is a constant G=G⁡(ϵ)G=G(\epsilon) with limϵ→0G⁡(ϵ)=0\lim_{\epsilon\rightarrow 0}G(\epsilon)=0, a rotation R∈O⁡(4)R\in O(4), and a map f:A^​(10−1,100)→B⁡(q,200)f:\hat{A}(10^{-1},100)\rightarrow B(q,200), with f​(x)=f0​(x)f(x)=f_{0}(x) on A^​(9,100)\hat{A}(9,100), f⁡(x)=f1​(10​R−1​(x))f(x)=f_{1}(10R^{-1}(x)) on A^​(10−1,2)\hat{A}(10^{-1},2), and |r−2​f∗​g−g0|C2≤C⁡(ϵ)|r^{-2}f^{*}g-g_{0}|_{C^{2}}\leq C(\epsilon) on A^​(10−1,100)\hat{A}(10^{-1},100).

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