ScalingStacks

Lemma 7.2 . [03J3]

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

The following uniform curvature estimates hold for every point in ℳ\mathcal{M}:

  1. (1)

    Let r⁡(𝒙)r(\bm{x}) denote the Euclidean distance to the monopole points, then there exists constants C>0C>0 so that such that for each 1≤m≤m01\leq m\leq m_{0} for every 𝒙∈Br0​(pm)\bm{x}\in B_{r_{0}}(p_{m}) with r0≡12​InjRadg0⁡(𝕋2)r_{0}\equiv\frac{1}{2}\InjRad_{g_{0}}(\mathbb{T}^{2}), the following curvature estimates hold,

    (7.22) |Rm|​(𝒙)≤{C​β,0≤r⁡(𝒙)<β−1,Cβ2​r​(𝒙)3,β−1≤r⁡(𝒙)<r0.\displaystyle|\Rm|(\bm{x})\leq\begin{cases}C\beta,&0\leq r(\bm{x})<\beta^{-1},\\ \frac{C}{\beta^{2}r(\bm{x})^{3}},&\beta^{-1}\leq r(\bm{x})<r_{0}.\end{cases}

    In terms of the intrinsic distance function with respect to the Riemannian metric gjg_{j},

    (7.23) |Rm|​(𝒙)≤{C​β,0≤r⁡(𝒙)<β−1,Cβ12​dm​(𝒙)3,β−1≤r⁡(𝒙)<r0.\displaystyle|\Rm|(\bm{x})\leq\begin{cases}C\beta,&0\leq r(\bm{x})<\beta^{-1},\\ \frac{C}{\beta^{\frac{1}{2}}d_{m}(\bm{x})^{3}},&\beta^{-1}\leq r(\bm{x})<r_{0}.\end{cases}
  2. (2)

    If 𝒙\bm{x} is in the neck region but has some definite distance away from the monopoles, the following curvature estimates hold for some uniform constant C>0C>0,

    (7.24) |Rm|​(𝒙)≤{Cβ2​z​(𝒙),r010<|z⁡(𝒙)|<β,Cβ3,−T1≤z⁡(𝒙)≤−β​and​β≤z⁡(𝒙)<T2.\displaystyle|\Rm|(\bm{x})\leq\begin{cases}\frac{C}{\beta^{2}z(\bm{x})},&\frac{r_{0}}{10}<|z(\bm{x})|<\beta,\\ \frac{C}{\beta^{3}},&-T_{1}\leq z(\bm{x})\leq-\beta\text{and}\ \beta\leq z(\bm{x})<T_{2}.\end{cases}
  3. (3)

    For 𝒙∈Xb±​(T±)⊂ℳ\bm{x}\in X_{b_{\pm}}(T_{\pm})\subset\mathcal{M}, there is a constant CC so that

    (7.25) |Rm|​(𝒙)≤{Cd⁡(𝒙)<ζ±Cd​(𝒙)2d⁡(𝒙)≥ζ±,\displaystyle|\Rm|(\bm{x})\leq\begin{cases}C&d(\bm{x})<\zeta_{\pm}\\ \frac{C}{d(\bm{x})^{2}}&d(\bm{x})\geq\zeta_{\pm},\end{cases}

    where d⁡(𝒙)d(\bm{x}) is the distance to a base point in Xb±X_{b\pm}.

  4. (4)

    For 𝒙∈D​Z±⊂ℳ\bm{x}\in DZ_{\pm}\subset\mathcal{M}, there is a constant C>0C>0 so that

    (7.26) |Rm|​(𝒙)≤Cβ3.\displaystyle|\Rm|(\bm{x})\leq\frac{C}{\beta^{3}}.

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