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
Proof.
We argue as in the last part of the proof of Theorem B.3. Let be sufficiently ample to guarantee:
- (i)
is nef.
- (ii)
is globally generated on .
- (iii)
.
Note that the first condition can be achieved since is -globally generated. The degeneration of the Leray spectral sequence shows that
|
|
|
which vanishes by Theorem B.3. It follows that by global generation, whence the result.
∎