ScalingStacks

Lemma 8.10 . [01ZP]

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

For every δ>0\delta>0, there exists r0​(v,δ),N⁡(v,δ)>0r_{0}({\rm v},\delta),N({\rm v},\delta)>0 with the following properties. Let M4M^{4} satisfy |RicMj4|≤3​δ|{\rm Ric}_{M^{4}_{j}}|\leq 3\delta, Vol⁡(B1​(p))>v>0{\rm Vol}(B_{1}(p))>{\rm v}>0. Then there exists points {xj}1N\{x_{j}\}_{1}^{N} with N≤N⁡(v,δ)N\leq N({\rm v},\delta), and scales αj∈ℕ\alpha_{j}\in\mathds{N} with rj≡rαj>r0r_{j}\equiv r_{\alpha_{j}}>r_{0}, such that

  1. (1)

    Tαjδ​(xj)=0T^{\delta}_{\alpha_{j}}(x_{j})=0,

  2. (2)

    If x∈B1​(p)∖⋃jBrj​(xj)x\in B_{1}(p)\setminus\bigcup_{j}B_{r_{j}}(x_{j}) then rh​(x)>r0r_{h}(x)>r_{0},

  3. (3)

    If βj∈ℕ\beta_{j}\in\mathds{N} denotes the largest integer such that 𝒱rβj/4δ​(xj)≥ln⁡|Γj|−δ\mathcal{V}^{\delta}_{r_{\beta_{j}}/4}(x_{j})\geq\ln|\Gamma_{j}|-\delta, then for every x∈B2​rβj​(xj)x\in B_{2r_{\beta_{j}}}(x_{j}) we have

    𝒱rβj/8δ​(x)<ln⁡|Γj|−δ.\displaystyle\mathcal{V}^{\delta}_{r_{\beta_{j}}/8}(x)<\ln|\Gamma_{j}|-\delta\,. (8.49)

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