nLab
closed immersion of schemes

Contents

Definition

A homomorphism f:XYf:X\to Y of schemes is a closed immersion if it induces a homeomorphism of the underlying topological spaces (in the Zariski topology) and the comorphism f :𝒪 Yf *𝒪 Xf^\sharp:\mathcal{O}_Y\to f_*\mathcal{O}_X is an epimorphism of sheaves on YY.

More generally, let us consider some category of spaces, i.e. sheaves of sets on C=AffC = Aff equipped with a subcanonical Grothendieck topology. Then a morphism FGF\to G of spaces is said to be closed immersion if it is representable by a strict monomorphism.

References

Discussion in the context of higher geometry/higher algebra is in

Revised on November 26, 2013 23:43:27 by Urs Schreiber (77.251.114.72)