Kurs:Einführung in die Theorie der Schemata/Vorlesung 2

Ein (affines) Schema hat, verglichen mit einem metrischen Raum, topologisch eher ungewöhnliche Eigenschaften, die wir hier vorstellen wollen. Wir beginnen mit der Irreduzibilität.

Irreduzible Räume

Definition

Ein topologischer Raum ${}V$ heißt irreduzibel, wenn ${}V\neq \emptyset$ ist und es keine Zerlegung ${}V=Y\cup Z$ mit abgeschlossenen Mengen ${}Y,Z\subset V$ gibt.

Lemma

Ein topologischer Raum ${}X\neq \emptyset$ ist genau dann irreduzibel,

wenn für nichtleere offene Teilmengen ${}U,V\subseteq X$ auch der Durchschnitt ${}U\cap V$ nicht leer ist.

Beweis

Dies folgt unmittelbar aus der Definition, da für die abgeschlossenen Teilmengen ${}Y=X\setminus U$ und ${}Z=X\setminus V$ die Beziehung ${}X=Y\cup Z$ genau dann gilt, wenn ${}U\cap V=\emptyset$ ist.

\Box

Eine Teilmenge ${}Y\subseteq X$ eines topologischen Raumes ${}X$ heißt irreduzibel, wenn sie als topologischer Raum mit der induzierten Topologie irreduzibel ist.

Lemma

Es sei ${}R$ ein kommutativer Ring und ${}{\mathfrak {a}}\subseteq R$ ein Ideal.

Dann ist die abgeschlossene Teilmenge

${}V{\left({\mathfrak {a}}\right)}\subseteq \operatorname {Spek} {\left(R\right)}\,$

genau dann irreduzibel, wenn das Radikal zu ${}{\mathfrak {a}}$ ein Primideal ist.

Wir können direkt annehmen, dass ${}{\mathfrak {a}}$ ein Radikal ist. Ferner ist es nicht das Einheitsideal. Wenn ${}V{\left({\mathfrak {a}}\right)}$ nicht irreduzibel ist, so gibt es eine nichttriviale Zerlegung

{}V{\left({\mathfrak {a}}\right)}=Y\cup Z=V{\left({\mathfrak {b}}\right)}\cup V{\left({\mathfrak {c}}\right)}\,,

wobei wir ${}{\mathfrak {b}},{\mathfrak {c}}$ als Radikale ansetzen können. Das bedeutet ${}{\mathfrak {a}}={\mathfrak {b}}\cap {\mathfrak {c}}$ . Wegen ${}V{\left({\mathfrak {b}}\right)},V{\left({\mathfrak {c}}\right)}\subset V{\left({\mathfrak {a}}\right)}$ ist nach Proposition 1.4 (5)

{}{\mathfrak {a}}\subset {\mathfrak {b}},{\mathfrak {c}}\,.

Somit gibt es ${}f\in {\mathfrak {b}}$ ${},f\notin {\mathfrak {a}}$ , und ${}g\in {\mathfrak {c}}$ ${},g\notin {\mathfrak {a}}$ . Daher ist

{}fg\in {\mathfrak {b}}\cap {\mathfrak {c}}={\mathfrak {a}}\,,

und ${}{\mathfrak {a}}$ ist kein Primideal.

Wenn umgekehrt ${}{\mathfrak {a}}$ kein Primideal ist, so gibt es Elemente ${}f,g\notin {\mathfrak {a}}$ und ${}fg\in {\mathfrak {a}}$ . Dann ist ${}D(fg)\subseteq D({\mathfrak {a}})$ und somit

{}D(fg)\cap V({\mathfrak {a}})=\emptyset \,.

Da ${}{\mathfrak {a}}$ ein Radikal ist, ist ${}f^{n}\notin {\mathfrak {a}}$ für alle ${}n\in \mathbb {N}$ . Nach Aufgabe 1.5 gibt es ein Primideal ${}{\mathfrak {p}}$ mit ${}f\notin {\mathfrak {p}}$ und ${}{\mathfrak {a}}\subseteq {\mathfrak {p}}$ . Also ist

{}D(f)\cap V({\mathfrak {a}})\neq \emptyset \,

und entsprechend für ${}D(g)$ . Nach Lemma 2.2 ist ${}V({\mathfrak {a}})$ nicht irreduzibel.

\Box

Es liegt also durch ${}{\mathfrak {p}}\leftrightarrow V({\mathfrak {p}})$ eine Korrespondenz zwischen den Primidealen und den abgeschlossenen irreduziblen Teilmengen des Spektrums vor. Die maximalen Ideale entsprechen den einzelnen abgeschlossenen Punkten, die minimalen Primideale entsprechen den sogenannten irreduziblen Komponenten des Spektrums.

Definition

Zu einem topologischen Raum ${}X$ und einer abgeschlossenen irreduziblen Teilmenge ${}Y\subseteq X$ nennt man einen Punkt ${}\eta \in Y$ mit der Eigenschaft, dass für jede offene Menge ${}U\subseteq X$ die Beziehung ${}U\cap Y\neq \emptyset$ genau dann gilt, wenn ${}\eta \in U$ ist, den generischen Punkt von ${}Y$ .

Die Krulldimension

Definition

Zu einem topologischen Raum ${}X$ nennt man die maximale Länge von abgeschlossenen irreduziblen Teilmengen

{}X_{0}\subset X_{1}\subset \ldots \subset X_{n-1}\subset X_{n}\,

in ${}X$ die Krulldimension des Raumes.

Lemma

Die Krulldimension eines kommutativen Ringes

stimmt mit der Krulldimension seines Spektrums ${}\operatorname {Spek} {\left(R\right)}$ überein.

Beweis

Dies folgt aus Lemma 2.3 und Proposition 1.4 (5).

\Box

Noethersche Räume

Definition

Ein topologischer Raum ${}X$ heißt noethersch, wenn in ihm jede aufsteigende Kette

{}U_{1}\subseteq U_{2}\subseteq U_{3}\subseteq \ldots \,

von offenen Mengen stationär wird, d.h. es gibt ein ${}n$ mit

{}U_{n}=U_{n+1}=U_{n+2}=\ldots \,.

Lemma

Ein topologischer Raum ${}X$

ist genau dann noethersch, wenn in ihm jede offene Teilmenge quasikompakt ist.

Beweis

Zunächst ist in einem noetherschen Raum jede offene Teilmenge selbst noethersch. Für die Hinrichtung genügt es also zu zeigen, dass ${}X$ quasikompakt ist. Sei ${}X=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung und angenommen, es gäbe keine endliche Teilüberdeckung. Dann kann man eine echt aufsteigende unendliche Kette von offenen Teilmengen der Form

{}V_{n}=\bigcup _{i\in I_{n}}U_{i}\,

mit ${}I_{n}\subseteq I$ endlich konstruieren. Es sei umgekehrt jede offene Teilmenge quasikompakt und eine aufsteigende Kette ${}U_{k}\subseteq U_{k+1}$ gegeben. Dann ist

{}U=\bigcup _{k\in \mathbb {N} }U_{k}\,

offen und quasikompakt und daher gibt es eine endliche Teilüberdeckung. Dies bedeutet, dass es einen Index ${}n$ mit ${}U_{n}=U_{k}$ für alle ${}k\geq n$ gibt.

\Box

Für einen noetherschen Raum gilt: jede nichtleere Teilmenge von offenen Mengen (abgeschlossenen Mengen) besitzt ein maximales (minimales) Element. Dies kann man vorteilhaft als Beweisprinzip einsetzen (Beweis durch noethersche Induktion): Man möchte zeigen, dass eine gewisse Eigenschaft ${}E$ für alle abgeschlossenen Teilmengen gilt, und man betrachtet die Menge derjenigen abgeschlossenen Teilmengen, die ${}E$ nicht erfüllen. Man möchte zeigen, dass die Menge leer ist, und nimmt an, dass sie nicht leer ist. Dann besitzt sie auch ein minimales Element, und dies muss man dann zum Widerspruch führen. Die Gültigkeit dieses Beweisprinzips beruht darauf, dass man in einer nichtleeren Menge ohne einem minimalen Element eine unendlich absteigende Kette konstruieren kann. Ein typisches Beispiel für dieses Beweisprinzip liefert der Beweis der folgenden Aussage.

Satz

Für jeden noetherschen topologischen Raum ${}X$

gibt es eine eindeutige Zerlegung ${}X=V_{1}\cup \ldots \cup V_{k}$ in abgeschlossene irreduzible Teilmengen.

Beweis

Die Existenz beweisen wir durch noethersche Induktion über die abgeschlossenen Teilmengen von ${}X$ . Angenommen, nicht jede abgeschlossene Teilmenge habe eine solche Zerlegung. Dann gibt es auch eine minimale Teilmenge, sagen wir ${}V\subseteq X$ , ohne eine solche Zerlegung. Diese Menge ${}V$ kann nicht irreduzibel sein, sondern es gibt eine nicht-triviale Darstellung ${}V=V_{1}\cup V_{2}$ . Da ${}V_{1}$ und ${}V_{2}$ echte Teilmengen von ${}V$ sind, gibt es für diese beiden jeweils endliche Darstellungen als Vereinigung von abgeschlossenen irreduziblen Teilmengen. Diese beiden vereinigen sich zu einer endlichen Darstellung von ${}V$ , was ein Widerspruch ist.
Zur Eindeutigkeit. Seien

{}X=V_{1}\cup \ldots \cup V_{k}=W_{1}\cup \ldots \cup W_{m}\,

zwei Zerlegungen in irreduzible Teilmengen (jeweils ohne Inklusionsbeziehung). Es ist

{}V_{1}=V_{1}\cap X=V_{1}\cap (W_{1}\cup \ldots \cup W_{m})=(V_{1}\cap W_{1})\cup \ldots \cup (V_{1}\cap W_{m})\,.

Da ${}V_{1}$ irreduzibel ist, muss ${}V_{1}\subseteq W_{j}$ für ein ${}j$ sein. Umgekehrt ist mit dem gleichen Argument ${}W_{j}\subseteq V_{i}$ für ein ${}i$ , woraus ${}i=1$ und ${}V_{1}=W_{j}$ folgt. Ebenso findet sich ${}V_{2}$ etc. in der Zerlegung rechts wieder, sodass die Zerlegung eindeutig ist.