ScalingStacks

Theorem 8.2 . [01Z6]

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

There exists C=C⁡(n,D)C=C(n,D) with the following property. Let (Mn,g)(M^{n},g) denote a Riemannian manifold and U⊆MU\subseteq M a subset such that rh​(x)>r>0r_{h}(x)>r>0 for all x∈Ux\in U and such that diam⁡(U)≤D⋅r{\rm diam}(U)\leq D\cdot r. Then there exists an open set U′U^{\prime} with Tr/2​(U)⊆U′⊆Tr​(U)T_{r/2}(U)\subseteq U^{\prime}\subseteq T_{r}(U), such that U′U^{\prime} has at most one of CC diffeomorphism types.

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