ScalingStacks

7.1.2. Some notations about the neck region [03IZ]

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

7.1.2. Some notations about the neck region

Now we fix some parameters in the neck region for the convenience of our discussions in the later sections.

Let 𝒫m0≡{p1,…,pm0}\mathcal{P}_{m_{0}}\equiv\{p_{1},\ldots,p_{m_{0}}\} be the set of monopoles on the flat cylinder (𝕋2×ℝ,g0)(\mathbb{T}^{2}\times\mathbb{R},g_{0}) with coordinates (x,y,z)(x,y,z) such that

  1. (1)

    z⁡(p1)=0z(p_{1})=0.

  2. (2)

    There are definite constants

    (7.6) ι0>0,T0>0\iota_{0}>0,\ T_{0}>0

    such that for all k≠lk\neq l, we have

    (7.7) ι0≤dg0​(pk,pl)≤T0.\iota_{0}\leq d_{g_{0}}(p_{k},p_{l})\leq T_{0}.

Around each monopole pm∈𝒫m0p_{m}\in\mathcal{P}_{m_{0}}, we define the associated distance function

(7.8) dm​(𝒙)≡dg​(pm,𝒙),pm∈𝒫m0,𝒙∈(ℳ,g).d_{m}(\bm{x})\equiv d_{g}(p_{m},\bm{x}),\ p_{m}\in\mathcal{P}_{m_{0}},\ \bm{x}\in(\mathcal{M},g).

In our proof, the following notations will also be needed. We fix definite constants

(7.9) ι0′>0,T0′>0\iota_{0}^{\prime}>0,\ T_{0}^{\prime}>0

such that for all 1≤m<l≤m01\leq m<l\leq m_{0}, then in terms of the Gibbons-Hawking metric of the neck region, we have

(7.10) ι0′⋅(β)12≤dg​(pm,pl)≤T0′⋅(β)12.\iota_{0}^{\prime}\cdot(\beta)^{\frac{1}{2}}\leq d_{g}(p_{m},p_{l})\leq T_{0}^{\prime}\cdot(\beta)^{\frac{1}{2}}.

We have already defined in Section 6 the Gibbons-Hawking metric in the neck region 𝒩m04\mathcal{N}_{m_{0}}^{4}. Given a gluing parameter β>0\beta>0, by Theorem 2.6, the defining Green’s function VβV_{\beta} satisfies the asymptotic property that there are constants

(7.11) ϵ¯1>0,ϵ¯2>0\el>0,\ \er>0

such that for any k∈ℕk\in\mathbb{N} we have

(7.12) |∇k(Vβ−(2​π​b−A​z+β))|=O⁡(eϵ¯1⁡z),z→−∞\Big|\nabla^{k}\Big(V_{\beta}-\Big(\frac{2\pi b_{-}}{A}z+\beta\Big)\Big)\Big|=O(e^{\el z}),\qquad z\to-\infty

and

(7.13) |∇k(Vβ−(−2​π​b+A​z+β))|=O⁡(e−ϵ¯2⁡z),z→+∞.\Big|\nabla^{k}\Big(V_{\beta}-\Big(-\frac{2\pi b_{+}}{A}z+\beta\Big)\Big)\Big|=O(e^{-\er z}),\qquad z\to+\infty.

The following functions defined on 𝒩m04\mathcal{N}_{m_{0}}^{4} as well as on the Tian-Yau pieces are crucial in analyzing the rescaled limits and the definition of the weight function in the next section, which naturally comes from the construction of the model metric:

  1. (1)

    On the negative part of the neck region, we define the function

    (7.14) L−​(𝒙)≡(2​π​b−A⋅z⁡(𝒙)+β)12,−T−≤z⁡(𝒙)<0L_{-}(\bm{x})\equiv\Big(\frac{2\pi b_{-}}{A}\cdot z(\bm{x})+\beta\Big)^{\frac{1}{2}},\ -T_{-}\leq z(\bm{x})<0
  2. (2)

    On the positive part of the neck region, we define the function

    (7.15) L+(𝒙)≡(−2​π​b+A⋅z(𝒙)+β)12, 0≤z(𝒙)<T+L_{+}(\bm{x})\equiv\Big(-\frac{2\pi b_{+}}{A}\cdot z(\bm{x})+\beta\Big)^{\frac{1}{2}},\ 0\leq z(\bm{x})<T_{+}
  3. (3)

    For 𝒙∈ℳ\bm{x}\in\mathcal{M} located in the end region of Xb−4X_{b_{-}}^{4} and satisfy ζ0−≤z−​(𝒙)≤T−\zeta_{0}^{-}\leq z_{-}(\bm{x})\leq T_{-}, we define

    (7.16) L¯−​(𝒙)≡(2​π​b−A⋅z−​(𝒙))12\underline{L}_{-}(\bm{x})\equiv\Big(\frac{2\pi b_{-}}{A}\cdot z_{-}(\bm{x})\Big)^{\frac{1}{2}}
  4. (4)

    For 𝒙∈ℳ\bm{x}\in\mathcal{M} located in the end region of Xb+4X_{b_{+}}^{4} and satisfy ζ0+≤z+​(𝒙)≤T+\zeta_{0}^{+}\leq z_{+}(\bm{x})\leq T_{+}, we define

    (7.17) L¯+​(𝒙)≡(2​π​b+A⋅z+​(𝒙))12.\underline{L}_{+}(\bm{x})\equiv\Big(\frac{2\pi b_{+}}{A}\cdot z_{+}(\bm{x})\Big)^{\frac{1}{2}}.

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