ScalingStacks

Lemma 5.13 . [02D0]

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

There is a sequence ϵi→0\epsilon_{i}\rightarrow 0 and a sequence of smooth embeddings fif_{i} from S3S^{3} to BB with the properties

  1. (1)

    dG​H​(Si,∂B⁡(i−1))≤i−1​ϵid_{GH}(S_{i},\partial B(i^{-1}))\leq i^{-1}\epsilon_{i} where Si=fi​(S3)S_{i}=f_{i}(S^{3}).

  2. (2)

    |i2​fi∗​g−h0|Ch04≤ϵi|i^{2}f_{i}^{*}g-h_{0}|_{C^{4}_{h_{0}}}\leq\epsilon_{i}, where h0h_{0} is the standard round metric on S3S^{3}.

  3. (3)

    |i−1​ASi+I​d|Ch03≤ϵi,|i^{-1}A_{S_{i}}+Id|_{C^{3}_{h_{0}}}\leq\epsilon_{i}, where ASi:T​Si→T​SiA_{S_{i}}:TS_{i}\rightarrow TS_{i} is the shape operator.

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