ScalingStacks

Theorem 8.11 . [01ZR]

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

Theorem 8.11.

Let M4M^{4} satisfy |RicM4|≤3|{\rm Ric}_{M^{4}}|\leq 3, V​o​l​(M)≥v>0Vol(M)\geq{\rm v}>0 and diam⁡(M)≤D{\rm diam}(M)\leq D. Then there exists a decomposition of M4M^{4}

M4=ℬ1∪⋃j2=1N2𝒩j22∪⋃j2=1N2ℬj22∪⋯∪⋃jk=1Nk𝒩jkk∪⋃jk=1Nkℬjkk,\displaystyle M^{4}=\mathcal{B}^{1}\cup\bigcup_{j_{2}=1}^{N_{2}}\mathcal{N}^{2}_{j_{2}}\cup\bigcup_{j_{2}=1}^{N_{2}}\mathcal{B}^{2}_{j_{2}}\cup\cdots\cup\bigcup_{j_{k}=1}^{N_{k}}\mathcal{N}^{k}_{j_{k}}\cup\bigcup_{j_{k}=1}^{N_{k}}\mathcal{B}^{k}_{j_{k}}\,, (8.51)

into open sets which satisfy the following:

  1. (1)

    If x∈ℬjℓx\in\mathcal{B}^{\ell}_{j} then rh​(x)>r0​(n,v,D)⋅diam⁡(ℬjℓ)r_{h}(x)>r_{0}(n,{\rm v},D)\cdot{\rm diam}(\mathcal{B}^{\ell}_{j}).

  2. (2)

    Each neck 𝒩jℓ\mathcal{N}^{\ell}_{j} is diffeomorphic to ℝ×S3/Γjℓ\mathds{R}\times S^{3}/\Gamma^{\ell}_{j} for some Γjℓ<O⁡(4)\Gamma^{\ell}_{j}<O(4).

  3. (3)

    𝒩jℓ∩ℬjℓ\mathcal{N}^{\ell}_{j}\cap\mathcal{B}^{\ell}_{j} is diffeomorphic to ℝ×S3/Γjℓ\mathds{R}\times S^{3}/\Gamma^{\ell}_{j}.

  4. (4)

    ℬj′ℓ−1∩𝒩jℓ\mathcal{B}^{\ell-1}_{j^{\prime}}\cap\mathcal{N}^{\ell}_{j} are either empty or diffeomorphic to ℝ×S3/Γjℓ\mathds{R}\times S^{3}/\Gamma^{\ell}_{j}.

  5. (5)

    Nℓ≤N⁡(v,D)N_{\ell}\leq N({\rm v},D) and k≤k⁡(v,D)k\leq k({\rm v},D).

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