Namespaces
Variants
Actions

Closed subscheme

From Encyclopedia of Mathematics
Revision as of 17:44, 4 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


A subscheme of a scheme $ X $ defined by a quasi-coherent sheaf of ideals $ J $ of the structure sheaf $ {\mathcal O} _ {X} $ as follows: The topological space of the subscheme, $ V ( J ) $, is the support of the quotient sheaf $ {\mathcal O} _ {X} / J $, and the structure sheaf is the restriction of $ {\mathcal O} _ {X} / J $ to its support. A morphism of schemes $ f : Y \rightarrow X $ is called a closed imbedding if $ f $ is an isomorphism of $ Y $ onto some closed subscheme in $ X $; a closed imbedding is a monomorphism in the category of schemes. For any closed subset $ Y \subset X $ there exists a minimal closed subscheme in $ X $ with space $ Y $, known as the reduced closed subscheme with space $ Y $. If $ Y $ is a subscheme of $ X $, then the smallest closed subscheme $ Y _ {1} $ of $ X $ containing $ Y $ is known as the (schematic) closure of the subscheme $ Y $ in $ X $.

Comments

References

[a1] R. Hartshorne, "Algebraic geometry" , Springer (1977) MR0463157 Zbl 0367.14001
How to Cite This Entry:
Closed subscheme. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Closed_subscheme&oldid=46366
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article