ScalingStacks

Proof. [01CT]

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.

For all m≫1m\gg 1 set φm:=1m​log⁡|𝔞m|=1m​φFm\varphi_{m}:=\tfrac{1}{m}\log|\mathfrak{a}_{m}|=\tfrac{1}{m}\varphi_{F_{m}}. This is a θ\theta-psh model function, and [BFJ11, Theorem 8.5] states that φm→Pθ​(0)\varphi_{m}\to P_{\theta}(0) uniformly on XX. Unravelling the definitions, we find

−(1mℳm)n⋅(1mFm)=∫φm(θ+ddcφm)n.-\left(\tfrac{1}{m}\mathcal{M}_{m}\right)^{n}\cdot\left(\tfrac{1}{m}F_{m}\right)=\int\varphi_{m}\,(\theta+dd^{c}\varphi_{m})^{n}.

By Theorem 3.1 the right-hand side converges to ∫Pθ​(0)​(θ+d​dc​Pθ​(0))n\int P_{\theta}(0)\left(\theta+dd^{c}P_{\theta}(0)\right)^{n}, which proves the result. ∎

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