ScalingStacks

Theorem 2.3 ( [ A90 ] , [ ChCo1 ] ) . [01XY]

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 2.3 ([A90], [ChCo1]).

There exists ϵ⁡(n,v)>0\epsilon(n,{\rm v})>0 such that if MnM^{n} satisfies |RicMn|≤ϵ|{\rm Ric}_{M^{n}}|\leq\epsilon, Vol⁡(B1​(p))>v>0{\rm Vol}(B_{1}(p))>{\rm v}>0, and

dG​H​(B2​(p),B2​(0))<ϵ⁡(n),\displaystyle d_{GH}(B_{2}(p),B_{2}(0))<\epsilon(n)\,, (2.9)

where 0∈ℝn−1×C⁡(Z)0\in\mathds{R}^{n-1}\times C(Z), then the harmonic radius rh​(x)r_{h}(x) satisfies

rh​(x)≥1.\displaystyle r_{h}(x)\geq 1\,. (2.10)

If MnM^{n} is further assumed to be Einstein, then the regularity scale rxr_{x} satisfies rx≥1r_{x}\geq 1.

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