ScalingStacks

Lemma 8.4 . [01H9]

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

Lemma 8.4.

Let P~θ​(u)\widetilde{P}_{\theta}(u) be the pointwise supremum of all θ\theta-psh model functions φ\varphi such that φ≤u\varphi\leq u. Then P~θ​(u)≤Pθ​(u)\widetilde{P}_{\theta}(u)\leq P_{\theta}(u) and equality holds on XqmX^{\mathrm{qm}}.

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