Theorem 4.6 . [039A]
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 4.6.
Let be a -algebra of finite type over a perfect field of characteristic . Let be an integral scheme of dimension which is projective over the spectrum of and smooth over . Let , , and be divisors on and such that
- (i)
is an ample, globally generated line bundle,
- (ii)
for some , and
- (iii)
the -divisor is nef.
Then the sheaf is globally generated for all .