ScalingStacks

Proof. [034F]

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​φ∘fj\varphi_{j}=\lambda^{-j}\varphi\circ f^{j}. Observe that φj\varphi_{j} is uniformly bounded from above and that φj+gj∈P​S​H​(ℂ​ℙn,ω)\varphi_{j}+g_{j}\in PSH(\mathbb{C}\mathbb{P}^{n},\omega). It follows from proposition 1.6 that either φj\varphi_{j} converges uniformly towards −∞-\infty or it is relatively compact in L1​(ℂ​ℙn)L^{1}(\mathbb{C}\mathbb{P}^{n}). It is sufficient to show that for A>0A>0 large enough, lim¯j→+∞​Tω​(φj<−A)<Tω​(X)=1\overline{\lim}_{j\rightarrow+\infty}T_{\omega}(\varphi_{j}<-A)<T_{\omega}(X)=1. Observe that fj(φj<−A)={φ<−Aλj}f^{j}(\varphi_{j}<-A)=\{\varphi<-A\lambda^{j}\}. Therefore

[α​Tω​(φj<−A)]λj≤Tω​(φ<−A​λj)≤C​exp⁡(−A​λj),\left[\alpha T_{\omega}(\varphi_{j}<-A)\right]^{\lambda^{j}}\leq T_{\omega}(\varphi<-A\lambda^{j})\leq C\exp(-A\lambda^{j}),

where the last inequality follows from proposition 3.8. We infer

lim¯j→+∞​Tω​(φj<−A)≤1α​exp⁡(−A)<1\overline{\lim}_{j\rightarrow+\infty}T_{\omega}(\varphi_{j}<-A)\leq\frac{1}{\alpha}\exp(-A)<1

for A>−log⁡αA>-\log\alpha large enough. ∎

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