ScalingStacks

Proof. [02EH]

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:=max⁡(ψ,−j)∈P​S​H​(X,ω)∩L∞​(X)\psi_{j}:=\max(\psi,-j)\in PSH(X,\omega)\cap L^{\infty}(X). Observe that the probability measures (ω+d​dc​ψj)n(\omega+dd^{c}\psi_{j})^{n} converge in X∖EX\setminus E towards the measure ν=et​ψ​μ\nu=e^{t\psi}\mu. Since ν⁡(X)=ν⁡(X∖E)=1\nu(X)=\nu(X\setminus E)=1, it follows that (ω+d​dc​φj)n(\omega+dd^{c}\varphi_{j})^{n} converges to ν\nu on all of XX.

Fix ε>0\varepsilon>0 and set vε:=(ψ+ε​v)/(1+ε)∈P​S​H​(X,ω)v_{\varepsilon}:=(\psi+\varepsilon v)/(1+\varepsilon)\in PSH(X,\omega), where v∈P​S​H​(X,ω)v\in PSH(X,\omega), v≤0v\leq 0, is such that eve^{v} is continuous and (v=−∞)=E(v=-\infty)=E. It follows from lemma 2.2 that for all s>0s>0,

Capω(ψj<−s−1)≤∫(ψj<−s)(ω+ddcψj)n≤∫(vε≤−s/(1+ε))(ω+ddcψj)n.Cap_{\omega}(\psi_{j}<-s-1)\leq\int_{(\psi_{j}<-s)}(\omega+dd^{c}\psi_{j})^{n}\leq\int_{(v_{\varepsilon}\leq-s/(1+\varepsilon))}(\omega+dd^{c}\psi_{j})^{n}.

Observe that evεe^{v_{\varepsilon}} is continuous on XX, hence the sublevel sets (vε≤c)(v_{\varepsilon}\leq c) are compact. We infer, letting j→+∞j\rightarrow+\infty,

Capω(ψ<−s−1)≤∫(vε≤−s/(1+ε))et​ψdμ.Cap_{\omega}(\psi<-s-1)\leq\int_{(v_{\varepsilon}\leq-s/(1+\varepsilon))}e^{t\psi}d\mu.

Letting ε\varepsilon go to zero and using that μ⁡(X)=1\mu(X)=1 yields

C​a​pω​(ψ<−s−1)≤∫(ψ<−s)et​ψ​𝑑μ≤e−s.Cap_{\omega}(\psi<-s-1)\leq\int_{(\psi<-s)}e^{t\psi}d\mu\leq e^{-s}.

Therefore the capacity of the sublevel sets of ψ\psi decreases fast as s→+∞s\rightarrow+\infty, hence by lemma 6.2 in [GZ 2] we get ψ∈ℰ1​(X,ω)\psi\in{\mathcal{E}}^{1}(X,\omega). Since e−t​φ​(ω+d​dc​φ)n≡e−t​ψ​(ω+d​dc​ψ)ne^{-t\varphi}(\omega+dd^{c}\varphi)^{n}\equiv e^{-t\psi}(\omega+dd^{c}\psi)^{n}, it follows from proposition 4.3 that φ≡ψ\varphi\equiv\psi. ∎

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