ScalingStacks

Theorem 8.12 . [01ZV]

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

There exists δ⁡(v)>0\delta({\rm v})>0 such that if M4M^{4} satisfies |RicM4|<2​δ|{\rm Ric}_{M^{4}}|<2\delta, Vol⁡(B1​(p))>v>0{\rm Vol}(B_{1}(p))>{\rm v}>0, and T0δ​(p)=0T^{\delta}_{0}(p)=0, then there exists B1​(p)⊆U⊆B2​(p)B_{1}(p)\subseteq U\subseteq B_{2}(p) such that UU has at most C⁡(v)C({\rm v}) diffeomorphism types. Further, UU can be chosen so that it’s boundary ∂U\partial U is diffeomorphic to S3/ΓS^{3}/\Gamma and satisfies the second fundamental form estimate |A|≤C⁡(v)|A|\leq C(v).

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