ScalingStacks

Proposition 9.4 . [03JZ]

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

For (ℳ,gβ)(\mathcal{M},g_{\beta}) with sufficiently large gluing parameter β≫1\beta\gg 1, then there exists some constant C>0C>0, independent of β\beta, such that for every triple

(9.101) 𝝃+≡(ξ1+,ξ2+,ξ3+)∈𝔅,\bm{\xi}^{+}\equiv(\xi_{1}^{+},\xi_{2}^{+},\xi_{3}^{+})\in\mathfrak{B},

there exists a unique pair

(9.102) (𝜼,𝝃¯+)≡((η1,η2,η3),(ξ¯1+,ξ¯2+,ξ¯3+))∈𝔄(\bm{\eta},\bar{\bm{\xi}}^{+})\equiv\Big((\eta_{1},\eta_{2},\eta_{3}),(\bar{\xi}_{1}^{+},\bar{\xi}_{2}^{+},\bar{\xi}_{3}^{+})\Big)\in\mathfrak{A}

which satisfies

(9.103) ℒg​(𝜼,𝝃¯+)=𝝃+\mathscr{L}_{g}(\bm{\eta},\bar{\bm{\xi}}^{+})=\bm{\xi}^{+}

and

(9.104) ‖𝜼‖Cδ,ν,μ1,α​(ℳ)+‖𝝃¯+‖L2≤C​e10​δ⋅β⋅‖𝝃+‖Cδ,ν+1,μ0,α​(ℳ),\|\bm{\eta}\|_{C_{\delta,\nu,\mu}^{1,\alpha}(\mathcal{M})}+\|\bar{\bm{\xi}}^{+}\|_{L^{2}}\leq Ce^{10\delta\cdot\beta}\cdot\|\bm{\xi}^{+}\|_{C_{\delta,\nu+1,\mu}^{0,\alpha}(\mathcal{M})},

where δ\delta, ν\nu and μ\mu are the constants in Proposition 9.2.

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