Proof. [03A2]
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.
By Proposition 2.9(vi), we may assume that . By Proposition 2.9(vii), we may replace by a positive tensor power and by the corresponding multiple, and so we may assume that is very ample. In the notation of Definition 8.1, the assumption that is of geometric origin means that is the pull-back of a line bundle on the projective variety over . It follows easily from [Har77, Prop. III.9.3] and [EGAIV, Prop. 2.7.1(xii)] that is very ample. Then extends to a very ample line bundle on a projective -model of for the discrete valuation ring from Definition 8.1. By base change to , we conclude that there is a closed -form on with de Rham class such that is of geometric origin from a -dimensional family over .
By the -lemma in [BFJ16a, Thm. 4.3] (see also the second author’s thesis [Jel16, Thm. 4.2.7] for generalizations) and using the rationality assumption on from the beginning of the proof, there is such that . It follows from Proposition 2.9(iv) that
By Lemma 8.4, the function is a uniform limit of -psh functions. Adding , we get the claim for . ∎