Ein Schema, das das Trennungsaxiom nicht erfüllt: die Diagonale Δ: X → X×_S X ist keine abgeschlossene Immersion (bzw. nicht abgeschlossen/proper), sodass Punkte oder Morphismen, die in einem getrennten Kontext eindeutig wären, die Eindeutigkeit verlieren können. Nichtgetrennte Schemata zeigen Klebe-Pathologien wie doppelte Ursprünge oder das Scheitern der Eindeutigkeit von Limesbildungen.

Prinzip

Trennung formalisiert ein algebraisches Analogon zu Hausdorff-Eigenschaften: die Diagonale als abgeschlossene Immersion sichert, dass zwei S-Morphismen, die auf einem dichten offenen Teil übereinstimmen, identisch sind, und garantiert Eindeutigkeits-Eigenschaften für Limesbildungen und das valuative Kriterium. Das Versagen dieser Eigenschaft spiegelt ein zu großzügiges Verkleben lokaler Teile wider.

Demonstration

Klassisches Beispiel: die affine Gerade mit doppeltem Ursprung, konstruiert durch Verkleben zweier Kopien von A^1 entlang A^1 \ {0}, ist ein nichtgetrenntes Schema: die beiden Ursprünge lassen sich nicht durch disjunkte offene Umgebungen trennen und zwei Schnitte können außerhalb des Urprungs übereinstimmen, aber am Ursprung differieren. Dies liefert explizite Verstöße gegen die Eindeutigkeit von Morphismen aus Bewertungsringen.

Fehlanwendung

Nichtgetrenntsein mit Nicht-Eigentlichkeit oder topologischem Nicht-Hausdorff zu verwechseln; 'nichtgetrennt' ist eine präzise algebraische Bedingung an die Diagonale und schließt andere Pathologien wie Nicht-Reduziertheit nicht aus. Auch das Anwenden von Konstruktionen, die implizit Trennung benötigen (Picard-Funktoren, Moduli), ohne Prüfung, kann zu falschen Schlüssen führen.

Konsequenz

Nichtgetrennte Schemata brechen die Eindeutigkeit des valuativen Kriteriums, erschweren Moduli-Interpretationen, erzeugen nicht eindeutige Limesbildungen und können die Repräsentierbarkeit von Funktoren (z. B. Picard, Hom) verhindern. Sie erfordern besondere Vorsicht bei Deszendenz und beim Bilden von Quotienten oder Verklebevorgängen.

Umkehrung

Ein getrenntes Schema hat eine abgeschlossene Diagonale: Punkte und Morphismen verhalten sich mit den erwarteten Eindeutigkeits-Eigenschaften, Limesbildungen sind eindeutig wenn vorhanden, und viele Repräsentations- und Deszendenzaussagen vereinfachen sich und gelten unter Standardvoraussetzungen.

Abgrenzung

Trennung ist eine Bedingung für Morphismen von Schemata relativ zu einer Basis S; Nichtgetrenntheit ist in der Regel pathologisch im Moduli-Kontext und bei geometrischen Konstruktionen, kann aber bei Zwischenschritten des Verklebs vorkommen. Algebraische Räume und Stacks haben eigene Trennungsbegriffe; Nichtgetrenntheit bei Schemata ist von topologischem Nicht-Hausdorff zu unterscheiden.

Semantische Spannung

Die Spannung entsteht durch die Differenz zwischen der geometrischen Intuition von 'Trennung' (hausdorffähnlich) und der kategorialen Formulierung (Diagonale als abgeschlossene Immersion). Oft werden topologische Nicht-Hausdorff-Beispiele mit algebraischer Nichtgetrenntheit verwechselt; das schematische Diagonalkriterium ist die maßgebliche Prüfung.

Synthese

Ein Nichtgetrenntes Schema ist eines, dessen schematische Diagonale keine abgeschlossene Immersion ist, was ein Überverkleben lokaler Teile anzeigt und die Eindeutigkeit von Morphismen und Limesbildungen zerstört. Die Bedingung hat konkrete Realisierungen (doppelter Ursprung) und erhebliche Folgen für Moduli, Deszendenz und Repräsentierbarkeit.