ScalingStacks

Lemma 1.7 ( [ ChCo1 ] ) . [01XN]

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

Lemma 1.7 ([ChCo1]).

For every ϵ,R>0\epsilon,R>0 there exists δ=δ⁡(n,ϵ,R)>0\delta=\delta(n,\epsilon,R)>0 such that if RicMn≥−(n−1)​δ{\rm Ric}_{M^{n}}\geq-(n-1)\delta then:

  1. (1)

    If u:B2​R​(p)→ℝku:B_{2R}(p)\to\mathds{R}^{k} is a δ\delta-splitting map, then there exists a map f:BR​(p)→u−1​(0)f:B_{R}(p)\to u^{-1}(0) such that

    (u,f):BR​(p)→ℝk×u−1​(0),(u,f):B_{R}(p)\to\mathds{R}^{k}\times u^{-1}(0)\,,

    is an ϵ\epsilon-Gromov Hausdorff map, where u−1​(0)u^{-1}(0) is given the induced metric.

  2. (2)

    If

    dG​H​(Bδ−1​(p),Bδ−1​(0))<δ,\displaystyle d_{GH}(B_{\delta^{-1}}(p),B_{\delta^{-1}}(0))<\delta, (1.13)

    where 0∈ℝk×Y0\in\mathds{R}^{k}\times Y, then there exists an ϵ\epsilon-splitting map u:BR​(p)→ℝku:B_{R}(p)\to\mathds{R}^{k}.

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