Abgeschlossene Immersion

Eine abgeschlossene Immersion ist in der algebraischen Geometrie ein bestimmter Morphismus von geometrischen Objekten. Er ist für jede Klasse von geometrischen Objekten separat definiert. Konzeptionell handelt es sich um abgeschlossene Einbettungen. In der Differentialgeometrie ist der Begriff der Immersion differenzierbarer Mannigfaltigkeiten etwas allgemeiner definiert, der analoge Begriff sind abgeschlossene Einbettungen von differenzierbaren Mannigfaltigkeiten.

Lokal geringte Räume

Eine abgeschlossene Immersion von lokal geringten Räumen ist ein Morphismus lokal geringter Räume $(f,f^{\sharp }):(X,{\mathcal {O}}_{X})\to (Y,{\mathcal {O}}_{Y})$, sodass die folgenden drei Eigenschaften erfüllt sind:

• $f(X)$ ist eine abgeschlossene Teilmenge von $Y$ und $f$ ist ein Homöomorphismus auf $f(X)$.
• Der Garbenmorphismus $f^{\sharp }:{\mathcal {O}}_{Y}\to f_{*}{\mathcal {O}}_{X}$ ist ein surjektiver Garbenmorphismus.
• Für jeden Punkt $x\in X$ gibt es eine offene Umgebung $U\subset X$ von $x$, eine Menge $I$ und einen surjektiven Morphismus von ${\mathcal {O}}_{X}|_{U}$-Modulgarben $\bigoplus _{i\in I}{\mathcal {O}}_{X}|_{U}\to \ker(f^{\sharp })|_{U}$.

Schemata

Eine abgeschlossene Immersion von Schemata ist ein Morphismus von Schemata $(f,f^{\sharp }):(X,{\mathcal {O}}_{X})\to (Y,{\mathcal {O}}_{Y})$, der eine abgeschlossene Immersion lokal geringter Räume ist.

Die folgenden Aussagen sind äquivalent:

• $(f,f^{\sharp })$ ist eine abgeschlossene Immersion von Schemata.
• $f$ ist ein Homöomorphismus auf eine abgeschlossene Teilmenge von $Y$ und $f^{\sharp }$ ist ein surjektiver Garbenmorphismus.
• Es existiert eine offene Überdeckung von $Y$ durch affine offene Teilmengen $U_{i}$, d. h. $(U_{i},{\mathcal {O}}_{Y}|_{U_{i}})\cong \mathrm {Spec} (A_{i})$ für einen kommutativen Ring $A_{i}$, und für jedes $i$ ein Ideal $I_{i}\subset A_{i}$, sodass das Urbild $f^{-1}(U_{i})$ als Schema über $U_{i}$ isomorph zu $\mathrm {Spec} (A_{i}/I_{i})$ ist.
• Für jede offene affine Teilmenge $U\subset Y$ mit $U\cong \mathrm {Spec} (A)$ existiert ein Ideal $I\subset A$, sodass $f^{-1}(U)$ als Schema über $U$ isomorph zu $\mathrm {Spec} (A/I)$ ist.

Eine abgeschlossene Immersion anzugeben ist eine von mehreren Möglichkeiten ein abgeschlossenes Unterschema zu definieren.