ScalingStacks

Proof. [05DX]

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

Proof.

Note that

Dσ𝔉k(0,0)ΟƒΛ™=(dΟƒΛ™,βˆ—hdβˆ—hΟƒΛ™)+(DΟƒ(dΞ±k|L)ΟƒΛ™,βˆ—hDΟƒ(dImΞ²k|L)ΟƒΛ™)=(π’Ÿ+Vk)ΟƒΛ™,D_{\sigma}\mathfrak{F}_{k}(0,0)\dot{\sigma}=(d\dot{\sigma},*_{h}d*_{h}\dot{\sigma})+(D_{\sigma}(d\alpha_{k}|_{L})\dot{\sigma},*_{h}D_{\sigma}(d{\rm Im}\beta_{k}|_{L})\dot{\sigma})=(\mathcal{D}+V_{k})\dot{\sigma},

where π’Ÿ=dβˆ’βˆ—hdβˆ—h\mathcal{D}=d-*_{h}d*_{h} is the restriction of the Hodge Dirac operator d+dβˆ—hd+d^{*_{h}} on the space of 1-forms, and, thus, is an elliptic operator of 1-order. By the standard elliptic estimate (c.f. Proposition 1.5.2 in [23] and [20]), we have

β€–ΞΎβ€–C1,α​(L,h)≀CSβ€‹β€–π’Ÿβ€‹ΞΎβ€–C0,α​(L,h),\|\xi\|_{C^{1,\alpha}(L,h)}\leq C_{S}\|\mathcal{D}\xi\|_{C^{0,\alpha}(L,h)},

for any ΞΎβˆˆπ”…1\xi\in\mathfrak{B}_{1}, and a constant CSC_{S} independent of kk. Hence π’Ÿ\mathcal{D} is injective. From the definition of 𝔅2\mathfrak{B}_{2}, π’Ÿ\mathcal{D} is also surjective, which implies that π’Ÿ\mathcal{D} is invertible from 𝔅1\mathfrak{B}_{1} to 𝔅2\mathfrak{B}_{2}. Moreover,

β€–π’Ÿβˆ’1‖≀CS.\|\mathcal{D}^{-1}\|\leq C_{S}.

By (7) and (8),

β€–Vk‖≀C​‖(d​αk,d​βk)β€–C1,α​(Y2​r,g)<12​CS,\|V_{k}\|\leq C\|(d\alpha_{k},d\beta_{k})\|_{C^{1,\alpha}(Y_{2r},g)}<\frac{1}{2C_{S}},

for k≫1k\gg 1, and, thus,

β€–π’Ÿβˆ’1​Vkβ€–<12.\|\mathcal{D}^{-1}V_{k}\|<\frac{1}{2}.

By the standard operator’s theory (c.f. [36]), Dσ​𝔉k​(0,0)=π’Ÿ+VkD_{\sigma}\mathfrak{F}_{k}(0,0)=\mathcal{D}+V_{k} is invertible, and the inverse operator is defined by

Dσ​𝔉k​(0,0)βˆ’1=(βˆ‘j=0∞(βˆ’1)j​(π’Ÿβˆ’1​Vk)j)β€‹π’Ÿβˆ’1.D_{\sigma}\mathfrak{F}_{k}(0,0)^{-1}=(\sum_{j=0}^{\infty}(-1)^{j}(\mathcal{D}^{-1}V_{k})^{j})\mathcal{D}^{-1}.

We obtain

β€–Dσ​𝔉k​(0,0)βˆ’1‖≀(βˆ‘j=0∞2βˆ’j)β€‹β€–π’Ÿβˆ’1‖≀CΒ―,\|D_{\sigma}\mathfrak{F}_{k}(0,0)^{-1}\|\leq(\sum_{j=0}^{\infty}2^{-j})\|\mathcal{D}^{-1}\|\leq\overline{C},

for a constant C¯>0\overline{C}>0 independent of kk. ∎

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