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.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 113 1 ii Solution Created 2026-10-03 Updated 2026-10-05
Take the dual numbers over any field , let , and let send to zero. Its kernel is the nonzero ideal , but both spectra of rings have exactly one point: every prime ideal contains the nilpotent element , and the only prime of is . Consequently the induced map is a homeomorphism for the Zariski topology, although it is not an isomorphism of schemes:More generally, quotienting by a nilpotent ideal gives a nilpotent thickening with unchanged underlying topology. The structure sheaf retains information that the topology alone cannot recover.