Corollary 18.4.5.B853F2E6C70B If $\theta $ is semipositive and big, then $P_\theta [u]_{\mathcal I}$ has finite extended Monge–Ampère mass for every $u\in \mathrm{PSH}(X,\theta )$.
Corollary 18.4.5B853F2E6C70B
Proof. By the last identity in corollary 18.4.4, $P_\theta [u]_{\mathcal I}$ is an ordinary model, that is, an envelope fixed point. The mass estimate for envelope fixed points in proposition 16.28.7 applies. $\square$
Comments
Corrections, questions, and mathematical discussion are welcome. Sign in with GitHub to comment. Comments are public.