Let be any quasi-coherent sheaf on , and choose from (i). Filter it by the powers of the nilradical sheaf:Each subquotientis 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 givesThe short exact sequencesyield the segments of the long exact sequence in sheaf cohomologyStarting 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 provesThis is an instance of the general fact that affineness is invariant under nilpotent thickening.
Articles by others on the same topic
There are currently no matching articles.