Let be any quasi-coherent sheaf on , and choose from (i). Filter it by the powers of the nilradical sheaf:
Each subquotient
is a quasi-coherent sheaf annihilated by . Apply (ii) to the quasi-coherent sheaf . Since is an affine scheme, vanishing of quasi-coherent cohomology on an affine scheme gives
The short exact sequences
yield the segments of the long exact sequence in sheaf cohomology
Starting from , descending mathematical induction makes every middle group zero, finally giving .
This holds for every quasi-coherent sheaf . Since a Noetherian scheme is a quasi-compact scheme, the Serre criterion for affineness in (a) applies and proves
This is an instance of the general fact that affineness is invariant under nilpotent thickening.

Articles by others on the same topic (0)

There are currently no matching articles.