Skip to main content
3 of 3
added 151 characters in body
user avatar
user avatar

Functorial subscheme structure on non-locally closed subsets

If we have a scheme and a locally closed subset of the underlying topological space, then there is a canonical way to put a scheme structure on it so that the inclusion map can be upgraded to a morphism of schemes with the map on the structure sheaves $\mathcal{O}_X\rightarrow f_*\mathcal{O}_U$ being surjective.

I think this is not true for e.g. finite disjoint unions of locally closed subsets (take the affine plane and the complement of the punctured axes); correct me if I am wrong.

However, in the example above there is a scheme structure on the subset under consideration. We just can not choose it compatibly with the scheme structure on the affine plane.

Which brings me to the question: are locally closed subsets somehow "the most general" class of subsets that can be functorially endowed with a scheme structure so that the inclusion map can be upgraded to a morphism of schemes with the map on the structure sheaves being surjective? Or are there more general subsets with this property?

EDIT: the examples given in the comments (at the time of the edit) are all monomorphisms in the category of schemes, I think. Is there an example that is not a monomorphism?

user138661