ScalingStacks

Proof. [02DA]

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

Proof.

Set ωj:=ω+εj​Ω\omega_{j}:=\omega+\varepsilon_{j}\Omega. We can assume w.l.o.g. that φj≤φ≤0\varphi_{j}\leq\varphi\leq 0. Set

φK:=max⁡(φ,−K)∈P​S​H​(X,ω)​ and ​φjK:=max⁡(φj,−K)∈P​S​H​(X,ωj).\varphi^{K}:=\max(\varphi,-K)\in PSH(X,\omega)\;\text{ and }\;\varphi_{j}^{K}:=\max(\varphi_{j},-K)\in PSH(X,\omega_{j}).

Observe that, KK being fixed, (φjK)j(\varphi_{j}^{K})_{j} is uniformly bounded and decreases towards φK\varphi^{K} as jj goes to infinity. Therefore (ωj+d​dc​φjK)n→(ω+d​dc​φK)n(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n}\rightarrow(\omega+dd^{c}\varphi^{K})^{n}, by a classical result of E.Bedford and A.Taylor [BT 82]. Moreover the sequence of positive measures (−φjK)​(ωj+d​dc​φjK)n(-\varphi_{j}^{K})(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n} has uniformly bounded mass, since by lemma 7.2 in [GZ 2],

0≤∫X(−φjK)​(ωj+d​dc​φjK)n≤2n​∫X(−φj)​(ωj+d​dc​φj)n≤2n​M,0\leq\int_{X}(-\varphi_{j}^{K})(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n}\leq 2^{n}\int_{X}(-\varphi_{j})(\omega_{j}+dd^{c}\varphi_{j})^{n}\leq 2^{n}M,

where M:=supj∫X(−φj)​(ωj+d​dc​φj)n<+∞M:=\sup_{j}\int_{X}(-\varphi_{j})(\omega_{j}+dd^{c}\varphi_{j})^{n}<+\infty.

Since φj\varphi_{j} is u.s.c., a standard argument yields that any cluster point ν\nu of the sequence (−φjK)​(ωj+d​dc​φjK)n(-\varphi_{j}^{K})(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n} satisfies 0≤(−φK)​(ω+d​dc​φK)n≤ν0\leq(-\varphi^{K})(\omega+dd^{c}\varphi^{K})^{n}\leq\nu. In particular

0≤∫X(−φK)​(ω+d​dc​φK)n≤lim infj→+∞∫(−φjK)​(ωj+d​dc​φjK)n≤2n​M0\leq\int_{X}(-\varphi^{K})(\omega+dd^{c}\varphi^{K})^{n}\leq\liminf_{j\rightarrow+\infty}\int(-\varphi_{j}^{K})(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n}\leq 2^{n}M

is bounded from above uniformly with respect to KK. Since φK\varphi^{K} decreases towards φ\varphi, this shows φ∈ℰ1​(X,ω)\varphi\in{\mathcal{E}}^{1}(X,\omega).

It remains to show that (ωj+d​dc​φj)n→(ω+d​dc​φ)n(\omega_{j}+dd^{c}\varphi_{j})^{n}\rightarrow(\omega+dd^{c}\varphi)^{n}. Since (ωj+d​dc​φjK)n→(ω+d​dc​φK)n(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n}\rightarrow(\omega+dd^{c}\varphi^{K})^{n} for any fixed KK, it is enough to get an upper bound on the mass of (ωj+d​dc​φjK)n(\omega_{j}+dd^{c}\varphi_{j}^{K})^{n} in (φj≤−K)(\varphi_{j}\leq-K) which is uniform in jj. This follows from Chebyshev inequality, namely

∫(φj≤−K)(ωj+d​dc​φj)n≤1K​∫X(−φj)​(ωj+d​dc​φj)n≤MK.\int_{(\varphi_{j}\leq-K)}(\omega_{j}+dd^{c}\varphi_{j})^{n}\leq\frac{1}{K}\int_{X}(-\varphi_{j})(\omega_{j}+dd^{c}\varphi_{j})^{n}\leq\frac{M}{K}.

This yields the desired result. ∎

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