Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Every -model of a projective variety is dominated by a projective -model [Gub03, Proposition 10.5].
Hence we may assume that is projective. There is and a closed immersion of into such that . Then the closure of in is a -model of which has an ample line bundle such that . Then the closure of the diagonal in is a projective -model of and the canonical projection is a projective morphism, hence there is a closed immersion of into a projective space over . Let be the restriction of to . Since is relatively ample with respect to and since is an ample line bundle on , there is such that is ample on . Then is a -model of for .
โ