Theorem 22.1.756B2CF0C2744A

Theorem 22.1.75 ([Corollary 12.18, BJ22]).6B2CF0C2744A Let $S$ be an ample line bundle on $X$. Let $\phi \in \mathrm{PSH}(L^{\mathrm{An}})$. Then there is a sequence of rational numbers $\varepsilon _ i\searrow 0$ and a decreasing sequence $\phi _ i\in \mathcal{H}^{\mathrm{gf}}_{\mathbb {Q}}((L+\varepsilon _ i S)^{\mathrm{An}})$ such that $\phi $ is the pointwise limit of $\phi _ i$, as $i\to \infty $.