Nilpotent thickening 2026-10-05
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.
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.