Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We note first that restriction gives a canonical injective homomorphism and the ample part of is the preimage of the ample part of (see the proof of Proposition 4.12).
By assumption, can be represented by with line bundles and . We recall that the isomorphism classes of -models of form a directed set and that any -model of the projective variety is dominated by a projective -model. So we may assume that all live on a common projective model . We approximate the real numbers by sufficiently close rational numbers . Then the restriction of to the generic fibre is a -line bundle which is sufficiently close to in . Since the ample cone in is open, we may assume that is ample as well. By Proposition 4.11, we may assume that admits an ample extension . Let be the model function corresponding to . Let now be the closed -form on represented by . Since is represented by , we conclude that is -positive.
Since the ample cone of is open and since the restrictions of to the special fibre are sufficiently close, it follows from our remark at the beginning that is -ample.
Since is represented by , we see that is -positive.
Now let be semipositive. Since a function in is continuous on , it is bounded and hence is bounded. We may replace by without changing . Since is in the value group of the algebraic closure of , this is still a model function and hence we may assume . Since the sum of a nef and an ample -line bundle remains -ample (as we can check that on the special fibre, see the proof of Proposition 4.12), we know that
is also -positive for all . Using a rational sufficiently close to , we get the claim.
β