ScalingStacks

Lemma 5.8 . [02CQ]

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.8.

For ϵ>0\epsilon>0 sufficiently small, there is a constant K⁡(ϵ)>0K(\epsilon)>0 which goes to zero as ϵ\epsilon tends to zero, such that for any smooth map ϕ:A^​(30,80)→ℝ4\phi:\hat{A}(30,80)\rightarrow\mathbb{R}^{4} with |ϕ∗​g0−g0|C4​(A^​(30,80))≤ϵ|\phi^{*}g_{0}-g_{0}|_{C^{4}(\hat{A}(30,80))}\leq\epsilon, there is an isometry PP of ℝ4\mathbb{R}^{4} such that |P∘ϕ−I​d|C3​(A^​(40,70))≤K⁡(ϵ)|P\circ\phi-Id|_{C^{3}(\hat{A}(40,70))}\leq K(\epsilon).

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