ScalingStacks

Proposition 2.4 . [02B2]

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

Suppose that U,D,u∗,ΛU,D,u_{*},\Lambda are as above and data g0,J0,A0g_{0},J_{0},A_{0} has Property (H). Then there is some ψ>0\psi>0 with the following effect. Suppose that 𝑂𝑃𝐸𝑁X,gX,JX,L,AX)X,g_{X},J_{X},L,A_{X}) is in 𝒦⁡(n,c,V){\mathcal{K}}(n,c,V). If we can find k>0k>0, an open embedding χ:U→X\chi:U\rightarrow X and a bundle isomorphism χ^:Λ→χ∗​(Lk)\hat{\chi}:\Lambda\rightarrow\chi^{*}(L^{k}) such that

‖χ∗​(J)−J0‖U,‖χ∗​(k​g)−g0‖U,‖χ∗​(A⊗k)−A‖U≤ψ,\|\chi^{*}(J)-J_{0}\|_{U},\|\chi^{*}(kg)-g_{0}\|_{U},\|\chi^{*}(A^{\otimes k})-A\|_{U}\leq\psi,

then there is a holomorphic section ss of Lk→XL^{k}\rightarrow X with L2,♯L^{2,\sharp} norm at most (11/10)​(2​π)n(11/10)(2\pi)^{n} and with |s⁡(x)|≥1/4|s(x)|\geq 1/4 at all points xx a distance (in the scaled metric) less than (4​K1)−1(4K_{1})^{-1} from χ⁡(u∗)\chi(u_{*})

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