ScalingStacks

7.3.2. Fixing the constants in the definition of weighted spaces [0560]

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.3.2. Fixing the constants in the definition of weighted spaces

From now on, we will fix weight parameters in the definition of weight spaces, which allows us to prove the uniform injectivity estimate in Proposition 7.15 and apply the implicit function theorem to complete the proof the main theorem in Section 7.4. The parameters δ\delta, μ\mu, ν\nu are fixed as follows (similar to the specification of the parameters in Section 6.1):

  1. (GP1)

    (Fix ν\nu) The parameter ν∈ℝ\nu\in\mathbb{R} is chosen such that

    (7.74) ν∈(−1,0).\displaystyle\nu\in(-1,0).
  2. (GP2)

    (Fix α\alpha) The Hölder constant α∈(0,1)\alpha\in(0,1) is chosen such that

    (7.75) ν+α<0.\displaystyle\nu+\alpha<0.
  3. (GP3)

    (Fix δ\delta) The constant δ>0\delta>0 is chosen such that

    (7.76) 0<δ<δG≡1n⋅(|k−|+|k+|)⋅min⁡{δe,δZ1,δZ2,ϵZ1,ϵZ2,λD},0<\delta<\delta_{G}\equiv\frac{1}{n\cdot(|k_{-}|+|k_{+}|)}\cdot\min\{\delta_{e},\delta_{Z_{1}},\delta_{Z_{2}},\epsilon_{Z_{1}},\epsilon_{Z_{2}},\sqrt{\lambda_{D}}\},

    where λD\sqrt{\lambda_{D}} is in Lemma 6.7 (Liouville theorem on QQ), δe>0\delta_{e}>0 is in Proposition 4.23, δZ1,δZ2\delta_{Z_{1}},\delta_{Z_{2}} are the constants in Proposition 7.4 applied to Z1,Z2Z_{1},Z_{2}, and ϵZ1,ϵZ2\epsilon_{Z_{1}},\epsilon_{Z_{2}} are the constants in Theorem 5.2 applied to Z1,Z2Z_{1},Z_{2}.

  4. (GP4)

    (Fix μ\mu) The parameter μ>0\mu>0 is chosen as

    (7.77) μ=(1−1n)​(ν+2+α).\mu=(1-\frac{1}{n})(\nu+2+\alpha).

As a comparison, on the neck region ℳT\mathcal{M}_{T}, the corresponding choice of parameters are given in (6.10), (6.11), (6.12) and (6.13).

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