ScalingStacks

Lemma 4.7 . [02H9]

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

There exists 0<ρ0<14​inj​g𝕋0<\rho_{0}<\tfrac{1}{4}\textrm{inj}\,g_{\mathbb{T}} such that the balls B2​ρ0​(qj)B_{2\rho_{0}}(q_{j}), j=1,…,8j=1,\dots,8, and B2​ρ0​(±pi)B_{2\rho_{0}}(\pm p_{i}), i=1,…,ni=1,\dots,n, in 𝕋\mathbb{T} are all disjoint and such that the following holds.

  1. (i)

    For j=1,…,8j=1,\dots,8 there exists λj∈ℝ\lambda_{j}\in\mathbb{R} such that in B2​ρ0​(qj)B_{2\rho_{0}}(q_{j})

    hϵ=(1+ϵ​λj)+ϵ⁡(mj−2)ρj+O⁡(ϵ​ρj2).h_{\epsilon}=(1+\epsilon\lambda_{j})+\frac{\epsilon(m_{j}-2)}{\rho_{j}}+O(\epsilon\,\rho_{j}^{2}).
  2. (ii)

    For each i=1,…,ni=1,\dots,n there exists λi∈ℝ\lambda_{i}\in\mathbb{R} and a linear function ℓi\ell_{i} on ℝ3\mathbb{R}^{3} with |ℓi|≤C​ρ|\ell_{i}|\leq C\rho such that in B2​ρ0​(±pi)B_{2\rho_{0}}(\pm p_{i})

    hϵ=(1+ϵ​λi)+ϵ​ki2​ρi+ϵ​ℓi+O⁡(ϵ​ρi2).h_{\epsilon}=(1+\epsilon\lambda_{i})+\frac{\epsilon k_{i}}{2\rho_{i}}+\epsilon\,\ell_{i}+O(\epsilon\,\rho_{i}^{2}).

Moreover, ρ0,λj,λi,ℓi\rho_{0},\lambda_{j},\lambda_{i},\ell_{i} depend continuously on the position of the punctures p1,…,pnp_{1},\dots,p_{n} and on the flat metric g𝕋g_{\mathbb{T}} and f=O⁡(ϵ​ρ3)f=O(\epsilon\,\rho^{3}) means that there exists a constant CC depending continuously on these data such that |∇kf|≤C​ϵ​ρ3−k|\nabla^{k}f|\leq C\epsilon\rho^{3-k} for k=0,1,2,3k=0,1,2,3.

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