ScalingStacks

Lemma 7 [029H]

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

Lemma 7

. Let XX be a compact complex manifold, let Ω>0\Omega>0 be a smooth volume form and let σj∈H0​(X,Ej)\sigma_{j}\in H^{0}(X,E_{j}), τr∈H0​(X,Fr)\tau_{r}\in H^{0}(X,F_{r}), j=1,…,Nj=1,...,N, r=1,…,Mr=1,...,M be, non identically zero, holomorphic sections of some holomorphic vector bundles over XX such that the integral condition

∫X∏j=1N|σj|2​lj⋅∏r=1M|τr|−2​hr​Ω<+∞\displaystyle\int\limits_{X}\,\prod\limits_{j=1}^{N}|\sigma_{j}|^{2l_{j}}\cdot\prod\limits_{r=1}^{M}|\tau_{r}|^{-2h_{r}}\,\Omega<+\infty

holds for some real numbers lj≥0,hr≥0l_{j}\geq 0,\,h_{r}\geq 0. Then the integrand function belongs to some LpL^{p} space, p>1p>1 and the family of functions

Gε:=∏j=1N(|σj|2+εA)lj⋅∏r=1M(|τr|2+ε)−hr,\displaystyle G_{\varepsilon}:=\prod\limits_{j=1}^{N}(|\sigma_{j}|^{2}+\varepsilon^{A})^{l_{j}}\cdot\prod\limits_{r=1}^{M}(|\tau_{r}|^{2}+\varepsilon)^{-h_{r}}\,,

ε∈[0,1)\varepsilon\in[0,1), A:=(∑rhr+1)/(minj⁡lj)A:=(\sum_{r}h_{r}+1)/(\min_{j}l_{j}), converges in LpL^{p}-norm to function G0G_{0} when ε→0\varepsilon\rightarrow 0.

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