ScalingStacks

Proof. [02CR]

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.

Assume the statement fails, then there is a constant τ>0\tau>0, a sequence ϵi→0\epsilon_{i}\rightarrow 0, and maps ϕi:A^​(30,80)→ℝ4\phi_{i}:\hat{A}(30,80)\rightarrow\mathbb{R}^{4} with |ϕi∗​g0−g0|C4​(A^​(30,80))≤ϵi|\phi_{i}^{*}g_{0}-g_{0}|_{C^{4}(\hat{A}(30,80))}\leq\epsilon_{i}, but for any isometry PP we have |P∘ϕi−I​d|C3​(A^​(40,70))≥τ|P\circ\phi_{i}-Id|_{C^{3}(\hat{A}(40,70))}\geq\tau. Then ϕi\phi_{i} converges to a map ϕ∞\phi_{\infty} in C3​(A^​(40,70))C^{3}(\hat{A}(40,70)), such that ϕ∞∗​g0=g0\phi_{\infty}^{*}g_{0}=g_{0}. So ϕ∞\phi_{\infty} is an isometry of ℝ4\mathbb{R}^{4}. Since |ϕ∞−1∘ϕi−I​d|C3​(A^​(40,70))|\phi_{\infty}^{-1}\circ\phi_{i}-Id|_{C^{3}(\hat{A}(40,70))} converges to zero as ii goes to infinity. We arrive at a contradiction. ∎

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