ScalingStacks

Proposition 6.10 (Uniform injectivity estimate on the neck) . [055A]

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 6.10 (Uniform injectivity estimate on the neck).

Given a large parameter T≫1T\gg 1, let ℳT\mathcal{M}_{T} be the neck region with an S1S^{1}-symmetric Kähler metric ωT\omega_{T} constructed in Section 4.1. Let the parameters μ\mu, ν\nu, α\alpha, δ\delta satisfy satisfying

(6.63) −1<ν<0,ν+α<0,0<δ<δN,μ=(1−1n)​(ν+2+α)\displaystyle-1<\nu<0,\quad\nu+\alpha<0,\quad 0<\delta<\delta_{N},\ \mu=(1-\frac{1}{n})(\nu+2+\alpha)

as fixed in (6.10), (6.11), (6.12) and (6.13), then there exists a uniform constant C>0C>0 (independent of TT) such that for every u∈C2,α​(ℳT)u\in C^{2,\alpha}(\mathcal{M}_{T}) satisfying the boundary condition ∂u∂n|∂ℳT=0\frac{\partial u}{\partial n}|_{\partial\mathcal{M}_{T}}=0, we have

(6.64) ‖∇u‖Cδ,ν+1,μ0​(ℳT)+‖∇2u‖Cδ,ν+2,μ0​(ℳT)≤C⋅‖Δ​u‖Cδ,ν+2,μ0,α​(ℳT),\displaystyle\|\nabla u\|_{C_{\delta,\nu+1,\mu}^{0}(\mathcal{M}_{T})}+\|\nabla^{2}u\|_{C_{\delta,\nu+2,\mu}^{0}(\mathcal{M}_{T})}\leq C\cdot\|\Delta u\|_{C_{\delta,\nu+2,\mu}^{0,\alpha}(\mathcal{M}_{T})},
(6.65) [u]Cδ,ν,μ2,α​(ℳT)≤C⋅‖Δ​u‖Cδ,ν+2,μ0,α​(ℳT).\displaystyle[u]_{C_{\delta,\nu,\mu}^{2,\alpha}(\mathcal{M}_{T})}\leq C\cdot\|\Delta u\|_{C_{\delta,\nu+2,\mu}^{0,\alpha}(\mathcal{M}_{T})}.

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