ScalingStacks

Corollary 5.2 . [01YK]

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

Corollary 5.2.

Let (Mjn,gj,pj)(M^{n}_{j},g_{j},p_{j}) be a sequence of Riemannian manifolds satisfying |RicMjn|≤n−1|{\rm Ric}_{M^{n}_{j}}|\leq n-1, Vol⁡(B1​(pj))>v>0{\rm Vol}(B_{1}(p_{j}))>{\rm v}>0 and such that

(Mjn,dj,pj)→(X,d,p).\displaystyle(M_{j}^{n},d_{j},p_{j})\to(X,d,p)\,. (5.7)

Then there exists a subset, 𝒮⊆X\mathcal{S}\subseteq X, with dim𝒮≤n−3\dim\mathcal{S}\leq n-3, such that for each x∈X∖𝒮x\in X\setminus\mathcal{S}, we have rh​(x)>0r_{h}(x)>0. In particular, x∈X∖𝒮x\in X\setminus\mathcal{S} is a C1,αC^{1,\alpha} Riemannian manifold.

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