ScalingStacks

Proof. [033R]

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.

The first assertion follows from theorem 3.2. Let φ∈P​S​H​(X,ω)\varphi\in PSH(X,\omega), t∈ℝt\in\mathbb{R} and set Kt={φ<−t}K_{t}=\{\varphi<-t\}. Then φ+t≤0\varphi+t\leq 0 on KtK_{t} hence φ+t≤VKt,ω∗\varphi+t\leq V_{K_{t},\omega}^{*}. We infer supXφ+t≤supXVKt,ω∗\sup_{X}\varphi+t\leq\sup_{X}V_{K_{t},\omega}^{*} which yields Tω(Kt)≤exp(−supXφ)exp(−t)T_{\omega}(K_{t})\leq\exp(-\sup_{X}\varphi)\exp(-t). ∎

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