ScalingStacks

Proposition 2.23 . [0411]

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

Suppose (δ,τ)(\delta,\tau) stays within a compact subset of the good range of weight exponents. Then the operator ℛ′=∇g(2)2Gg(2)\mathcal{R}^{\prime}=\nabla^{2}_{g^{(2)}}G_{g^{(2)}} extends to bounded linear operators between the weighted Hölder spaces

ℛ′:Cδ,τk,α​(ℂ3)→Cδ,τk,α​(ℂ3,Sym2),‖ℛ′‖≤C\mathcal{R}^{\prime}:C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3})\to C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3},\text{Sym}^{2}),\quad\left\lVert\mathcal{R}^{\prime}\right\rVert\leq C

where the constant depends only on k,αk,\alpha, the compact region of exponents (δ,τ)(\delta,\tau), and the scale invariant ellipticity bound (2.11). The composition with the natural projection

ℛ:Cδ,τk,α​(ℂ3)→ℛ′Cδ,τk,α​(ℂ3,Sym2)→Cδ,τk,α​(ℂ3,Λ1,1)\mathcal{R}:C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3})\xrightarrow{\mathcal{R}^{\prime}}C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3},\text{Sym}^{2})\to C^{k,\alpha}_{\delta,\tau}(\mathbb{C}^{3},\Lambda^{1,1})

extends the operator ℛ=−1​∂∂¯​Gg(2),\mathcal{R}=\sqrt{-1}\partial\bar{\partial}G_{g^{(2)}}, which takes value in closed real (1,1)-forms and is inverse to taking trace.

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