ScalingStacks

Proposition 1.2 . [02D9]

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

Fix Ω\Omega a Kähler form on XX, and let (εj)(\varepsilon_{j}) be a sequence of positive real numbers decreasing to zero. Let φj∈ℰ1​(X,ω+εj​Ω)\varphi_{j}\in{\mathcal{E}}^{1}(X,\omega+\varepsilon_{j}\Omega) be a sequence of functions which decrease pointwise towards φ\varphi, and such that

supj≥1∫X|φj|​(ω+εj​Ω+d​dc​φj)n<+∞.\sup_{j\geq 1}\int_{X}|\varphi_{j}|(\omega+\varepsilon_{j}\Omega+dd^{c}\varphi_{j})^{n}<+\infty.

Then φ∈ℰ1​(X,ω)\varphi\in{\mathcal{E}}^{1}(X,\omega), and (ω+εj​Ω+d​dc​φj)n→(ω+d​dc​φ)n(\omega+\varepsilon_{j}\Omega+dd^{c}\varphi_{j})^{n}\rightarrow(\omega+dd^{c}\varphi)^{n}.

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