Affineness is invariant under nilpotent thickening
ID: affineness-is-invariant-under-nilpotent-thickening
Let be a nilpotent thickening defined by . If is an affine scheme, its closed subscheme is an affine scheme. Conversely, suppose is an affine scheme. The underlying topological spaces are identical, so is a quasi-compact scheme. For any quasi-coherent sheaf , each subquotient is naturally a quasi-coherent sheaf on . By sheaf cohomology under a closed inclusion and vanishing of quasi-coherent cohomology on an affine scheme, its first sheaf cohomology on vanishes. The long exact sequence in sheaf cohomology and descending mathematical induction through this finite filtration prove . The Serre criterion for affineness now makes an affine scheme.
New to topics? Read the docs here!