A nilpotent thickening is a closed immersion defined by a nilpotent ideal sheaf of a closed subscheme. Its underlying topological map is a homeomorphism, because every prime ideal contains every nilpotent element. For example, quotienting the dual numbers by changes the structure sheaf without changing the single point of the spectrum.
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.

Articles by others on the same topic (0)

There are currently no matching articles.