ScalingStacks

Lemma 7.7 . [03J9]

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

Let (Mjn,gj,pj)(M_{j}^{n},g_{j},p_{j}) be a sequence of Einstein manifolds with |Ricgj|≤ϵj→0|\Ric_{g_{j}}|\leq\epsilon_{j}\to 0 such that

(7.41) (Mjn,gj,pj)→G​Hℝn−1(M_{j}^{n},g_{j},p_{j})\xrightarrow{GH}\mathbb{R}^{n-1}

and Γ2(pj)≡Image[π1(B2(pj))→π1(Mjn)]\Gamma_{2}(p_{j})\equiv\Image[\pi_{1}(B_{2}(p_{j}))\to\pi_{1}(M_{j}^{n})] is of infinite order. Then for any R>0R>0,

(7.42) supBR​(pj)|Rm|≤C0​(n)R2.\sup\limits_{B_{R}(p_{j})}|\Rm|\leq\frac{C_{0}(n)}{R^{2}}.

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