Theorem 1.3 . [037W]
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
Theorem 1.3.
Let be a projective scheme over a finitely generated -algebra such that is a smooth -dimensional variety over . We assume that is an ample and basepoint-free divisor, is a divisor with for some and is a divisor such that the -divisor is nef for some . Then the sheaf is globally generated for all .