# closed immersion

A morphism of schemes $f:(X,\mathcal{O}_{X})\longrightarrow(Y,\mathcal{O}_{Y})$ is a if:

1. 1.

As a map of topological spaces, $f:X\longrightarrow Y$ is a homeomorphism from $X$ into a closed subset of $Y$, and

2. 2.

the morphism of sheaves $\mathcal{O}_{Y}\longrightarrow\mathcal{O}_{X}$ associated with $f$ is an epimorphism (http://planetmath.org/AbelianCategory) in the category of sheaves.

This notion is the analog of the notion of closed immersion (http://planetmath.org/Immersion) in the category of differential manifolds.

Title closed immersion ClosedImmersion 2013-03-22 12:50:21 2013-03-22 12:50:21 djao (24) djao (24) 6 djao (24) Definition msc 14A15