ScalingStacks

Proof. [02CT]

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.

By the obvious scaling invariance we may assume r=1r=1. Let D=I​m​(f0)∩I​m​(f1)D=Im(f_{0})\cap Im(f_{1}). Since ϵ\epsilon is small, we may assume A^​(3,8)\hat{A}(3,8) is contained in f0−1​(D)f_{0}^{-1}(D). Then there is a constant C1C_{1} independent of ϵ\epsilon such that the map ψ=10−1​f1−1∘f0:A^​(3,8)→ℝ4\psi=10^{-1}f_{1}^{-1}\circ f_{0}:\hat{A}(3,8)\rightarrow\mathbb{R}^{4} satisfies |ψ∗​g0−g0|C4≤C1​ϵ|\psi^{*}g_{0}-g_{0}|_{C^{4}}\leq C_{1}\epsilon, and (1−3​ϵ)​|x|≤|ψ⁡(x)|≤(1+3​ϵ)​|x|(1-3\epsilon)|x|\leq|\psi(x)|\leq(1+3\epsilon)|x|. By Lemma 5.8 there is an isometry PP of ℝ4\mathbb{R}^{4} such that |P∘ψ−I​d|C3≤K⁡(C1​ϵ)|P\circ\psi-Id|_{C^{3}}\leq K(C_{1}\epsilon) on A^​(4,7)\hat{A}(4,7). We write P⁡(x)=R⁡(x+ξ)P(x)=R(x+\xi) for a rotation RR and a translation ξ\xi. Then it is easy to see that |R∘ψ−I​d|C3≤C2​(ϵ)|R\circ\psi-Id|_{C^{3}}\leq C_{2}(\epsilon) with limϵ→0C2​(ϵ)=0\lim_{\epsilon\rightarrow 0}C_{2}(\epsilon)=0, and R​(A^​(1−δ,100+δ))R(\hat{A}(1-\delta,100+\delta)) contains A^​(1,100)\hat{A}(1,100). Choose a cut-off function χ⁡(x)\chi(x) on A^​(1,100)\hat{A}(1,100) with χ⁡(x)=1\chi(x)=1 for |x|≤5|x|\leq 5 and χ⁡(x)=0\chi(x)=0 for |x|≥6|x|\geq 6. Using the map f0f_{0} we get a corresponding cut-off function on B⁡(q,200)B(q,200), still denoted by χ\chi. Then |χ|Cg4≤C3|\chi|_{C^{4}_{g}}\leq C_{3} for a constant C3C_{3} independent of ϵ\epsilon. Clearly χ⁡(p)=0\chi(p)=0 when p∉I​m​(f1)p\notin Im(f_{1}) and χ⁡(p)=1\chi(p)=1 when p∉I​m​(f0)p\notin Im(f_{0}). Define h:I​m​f0∪I​m​f1→ℝ4h:Imf_{0}\cup Imf_{1}\rightarrow\mathbb{R}^{4} sending pp to 10−1​χ​(p)​R∘f1−1​(x)+(1−χ⁡(p))​f0−1​(x)10^{-1}\chi(p)R\circ f_{1}^{-1}(x)+(1-\chi(p))f_{0}^{-1}(x). Then for ϵ\epsilon sufficiently small we have h=f0−1h=f_{0}^{-1} on A⁡(8,100)A(8,100) and h=10−1​R∘f1−1h=10^{-1}R\circ f_{1}^{-1} on A⁡(10−1,3)A(10^{-1},3), and |h∗​g0−g|Cg2≤C⁡(ϵ)|h^{*}g_{0}-g|_{C^{2}_{g}}\leq C(\epsilon) with limϵ→0C⁡(ϵ)=0\lim_{\epsilon\rightarrow 0}C(\epsilon)=0. Define f=h−1f=h^{-1}. Then f⁡(x)f(x) meets the required properties. ∎

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