Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
We may assume that is a piecewise linear metric. Let be an algebraic model of on which has an algebraic model . The section of extends to a meromorphic section of and then for the vertical Cartier divisor on . By [GW10, Theorem 13.98] we may assume that is a vertical blowup of . Denote by the canonical map . We show first that is -nef, i.e. for any closed curve which is contracted by .
So let be a closed point and a curve. Then by the semipositivity assumption . But since we have and hence .
Now let be a -ample vertical Cartier divisor on , e.g. for the exceptional divisor of the blowup (this is -ample by [GW10, Proposition 13.96]). Then is -ample by the relative version of Kleiman’s criterion ([Deb01, Remark 7.41]). Furthermore, since and are coherent vertical fractional ideal sheaves, also is a coherent vertical fractional ideal sheaf on for any by [Ull95, Theorem 5.3].
By the characterization of -ampleness in [Gro61, Proposition 4.6.8] there exists some such that is surjective. This implies
and hence . Since we can replace by for arbitrary small this concludes the proof. ∎