Separierter Morphismus

In der algebraischen Geometrie, insbesondere der Theorie der Schemata, ist ein separierter Morphismus ein Morphismus ${\displaystyle f:X\to Y}$ von Schemata, sodass der Diagonalmorphismus ${\displaystyle \Delta _{X/Y}:X\to X\times _{Y}X}$ eine abgeschlossene Immersion ist. Separierte Morphismen sind das Analogon von Hausdorffräumen in der Theorie der Schemata über einem gegebenen Basisschema.

Ein Morphismus von Schemata ${\displaystyle f:(X,{\mathcal {O}}_{X})\to (Y,{\mathcal {O}}_{Y})}$ heißt separiert, falls der Diagonalmorphismus ${\displaystyle \Delta _{X/Y}:X\to X\times _{Y}X}$ eine abgeschlossene Immersion ist. Hier ist der Diagonalmorphismus ${\displaystyle \Delta _{X/Y}}$ der durch die universelle Eigenschaft des Faserproduktes ${\displaystyle X\times _{Y}X}$ induzierte Morphismus, wenn man diese auf das Paar ${\displaystyle \mathrm {id} _{X},\mathrm {id} _{X}:X\to X}$ anwendet.^[1]

Der Diagonalmorphismus ist immer eine Immersion.^[2] Es ist also äquivalent zu fordern, dass die Diagonale abgeschlossenes Bild hat.^[3]

• Die Komposition zweier separierter Morphismen von Schemata ist separiert.^[4]
• Ist ${\displaystyle f:X\to Y}$ ein separierter Morphismus von Schemata und ${\displaystyle g:Z\to Y}$ ein beliebiger Morphismus, so ist der Basiswechsel ${\displaystyle X\times _{Y}Z\to Z}$ separiert.^[4]
• Ist ${\displaystyle f:X\to Y}$ ein separierter Morphismus von Schemata und sind ${\displaystyle U,V\subseteq X}$ affine offene Unterschemata, sodass ${\displaystyle f(U)\cup f(V)}$ in einer affinen offenen Teilmenge von ${\displaystyle Y}$ liegt, so ist ${\displaystyle U\cap V}$ affin.^[5]
• Ist ${\displaystyle f:X\to Y}$ ein separierter Morphismus von Schemata, sodass ${\displaystyle Y}$ separiert über ${\displaystyle \mathrm {Spec} (\mathbb {Z} )}$ ist, und sind ${\displaystyle U,V\subseteq X}$ affine offene Unterschemata, so ist ${\displaystyle U\cap V}$ affin.^[6]
• Jeder affine Morphismus ist separiert.^[7]
• Jede Immersion ist separiert.^[8]

• Ist ${\displaystyle B\to A}$ ein beliebiger Ringhomomorphismus, so ist der induzierte Homomorphismus affiner Schemata ${\displaystyle X:=\mathrm {Spec} (A)\to Y:=\mathrm {Spec} (B)}$ separiert.^[9]
• Der projektive Raum über einem beliebigen Basisschema ist separiert. Insbesondere ist jedes abgeschlossene Unterschema eines projektiven Raums separiert.
• Verklebt man die affine Gerade ${\displaystyle \mathbb {A} ^{1}}$ mit sich selbst an der offenen Teilmenge ${\displaystyle \mathbb {A} ^{1}\setminus \{0\}=\mathrm {Spec} (\mathbb {Z} [x,x^{-1}])}$, so erhält man ein Schema, welches nicht separiert über ${\displaystyle \mathrm {Spec} (\mathbb {Z} )}$ ist.

1. ↑ 01KK
2. ↑ 01KJ
3. ↑ 01IQ
4. ↑ ^{a b} 01KU
5. ↑ 01KP
6. ↑ 01KW
7. ↑ 01S7
8. ↑ 01L7
9. ↑ 01KI