ScalingStacks

Proposition 2.3 . [02B1]

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

Suppose (X,g,J,L,A)(X,g,J,L,A) is in 𝒦⁑(n,c,V){\mathcal{K}}(n,c,V) and (U,D,uβˆ—)(U,D,u_{*}) are as above. Suppose that Ο‡:Uβ†’X\chi:U\rightarrow X is an open embedding and the data

Ο‡βˆ—β€‹(J),Ο‡βˆ—β€‹(k​g),Ο‡βˆ—β€‹(Lk),Ο‡βˆ—β€‹(AβŠ—k)\chi^{*}(J),\chi^{*}(kg),\chi^{*}(L^{k}),\chi^{*}(A^{\otimes k})

has Property (H). 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/2(11/10)(2\pi)^{n/2} 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.