ScalingStacks

Proposition 9.2 (The Injectivity Estimate for 𝒟 g ) . [03JV]

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

Proposition 9.2 (The Injectivity Estimate for 𝒟g\mathscr{D}_{g}).

Consider (ℳ,gβ)(\mathcal{M},g_{\beta}) with sufficiently large gluing parameter β>0\beta>0. Assume that the parameters δ\delta, μ\mu and ν\nu satisfy

  1. (1)

    0<δ<1103​min⁡{δ¯1,δ¯2,ϵ¯1,ϵ¯2,λ0,δh,δq}0<\delta<\frac{1}{10^{3}}\min\{\underline{\delta}_{1},\underline{\delta}_{2},\underline{\epsilon}_{1},\underline{\epsilon}_{2},\lambda_{0},\delta_{h},\delta_{q}\},

  2. (2)

    μ+ν∈(0,1)\mu+\nu\in(0,1),

where δ¯1,δ¯2,ϵ¯1,ϵ¯2\underline{\delta}_{1},\underline{\delta}_{2},\underline{\epsilon}_{1},\underline{\epsilon}_{2} are the fixed constants specified in Section 7.1, λ0>0\lambda_{0}>0 is in Lemma 9.1, δh>0\delta_{h}>0 is in Theorem 5.1 and δq\delta_{q} is in Corollary 6.5. Then for every α∈(0,1)\alpha\in(0,1), there exists a uniform constant C=C⁡(α,δ,μ,ν)>0C=C(\alpha,\delta,\mu,\nu)>0 which is independent of β\beta such that for every ω∈Ω1​(ℳ)\omega\in\Omega^{1}(\mathcal{M}) it holds that

(9.2) ‖ω‖Cδ,ν,μ1,α​(ℳ)≤C⋅‖𝒟gβ​ω‖Cδ,ν+1,μ0,α​(ℳ).\|\omega\|_{C_{\delta,\nu,\mu}^{1,\alpha}(\mathcal{M})}\leq C\cdot\|\mathscr{D}_{g_{\beta}}\omega\|_{C_{\delta,\nu+1,\mu}^{0,\alpha}(\mathcal{M})}.

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