Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 3/kontrolle

Die Zariski-Topologie

Oscar Zariski (1899-1986)

In Proposition 2.8 haben wir gezeigt, dass die affin-algebraischen Teilmengen eines affinen Raumes die Axiome für abgeschlossene Mengen einer Topologie erfüllen. Diese Topologie nennt man die Zariski-Topologie.

Definition Referenznummer erstellen

In einem affinen Raum ${}{{\mathbb {A} }_{K}^{n}}$ versteht man unter der Zariski-Topologie diejenige Topologie, bei der die affin-algebraischen Mengen als abgeschlossen erklärt werden.

Die offenen Mengen der Zariski-Topologie sind also die Komplemente der affin-algebraischen Mengen. Sie werden zu einem Ideal ${}{\mathfrak {a}}$ mit

${}D({\mathfrak {a}})={{\mathbb {A} }_{K}^{n}}\setminus V({\mathfrak {a}})\,$

bezeichnet. Die Zariski-Topologie weicht sehr stark von anderen Topologien ab, insbesondere von solchen, die durch eine Metrik gegeben sind. Insbesondere ist die Zariski-Topologie nicht hausdorffsch. Generell kann man sagen, dass die offenen Mengen (außer der leeren Menge) in der Zariski-Topologie sehr groß sind (siehe Aufgabe 3.19), während die abgeschlossenen (also die affin-algebraischen Mengen) sehr dünn sind (außer dem ganzen Raum selbst).

Beispiel Referenznummer erstellen

Die Zariski-Topologie auf der affinen Geraden ${}{\mathbb {A} }_{K}^{1}$ über einem Körper ${}K$ lässt sich einfach beschreiben. Als (Zariski)-abgeschlossene Teilmenge haben wir zunächst einmal die gesamte affine Gerade, die durch ${}V(0)$ beschrieben wird. Alle anderen abgeschlossenen Teilmengen werden durch ${}V({\mathfrak {a}})$ mit ${}{\mathfrak {a}}\neq 0$ beschrieben. Da ${}K[X]$ ein Hauptidealbereich ist, kann man sogar ${}{\mathfrak {a}}=(f)$, ${}f\neq 0$, ansetzen. Die zugehörige Nullstellenmenge besteht also aus endlich vielen Punkten. Andererseits ist jeder einzelne Punkt ${}P$ mit der Koordinate ${}a$ die einzige Nullstelle des linearen Polynoms ${}X-a$, also ist ${}\{P\}=V(X-a)$ Zariski-abgeschlossen. Eine endliche Ansammlung von Punkten ${}P_{1},\ldots ,P_{k}$ mit den Koordinaten ${}a_{1},\ldots ,a_{k}$ ist die Nullstellenmenge des Polynoms ${}(X-a_{1})\cdots (X-a_{k})$. Die Zariski-abgeschlossenen Mengen der affinen Geraden bestehen also aus allen endlichen Teilmengen (einschließlich der leeren) und der gesamten Menge.

Beispiel Referenznummer erstellen

Jeder Punkt

${}P=(a_{1},\ldots ,a_{n})\in {{\mathbb {A} }_{K}^{n}}\,$

ist Zariski-abgeschlossen, und zwar ist

${}P=V(X_{1}-a_{1},X_{2}-a_{2},\ldots ,X_{n}-a_{n})\,.$

Punkte sind (neben der leeren Menge und dem gesamten Raum) die einfachsten affin-algebraischen Mengen. Das Ideal (genannt Punktideal) ${}(X_{1}-a_{1},X_{2}-a_{2},\ldots ,X_{n}-a_{n})$ ist maximal, siehe Aufgabe 2.12.

Der Schnitt von zwei und

von drei Ebenen

Nach Proposition 2.8  (3) sind somit alle endlichen Teilmengen des affinen Raumes Zariski-abgeschlossen und somit sind die Komplemente ${}{{\mathbb {A} }_{K}^{n}}\setminus E$, wenn ${}E$ eine endliche Punktemenge bezeichnet, Zariski-offen. Ferner ist zu einer rationalen Funktion ${}P/Q$ mit ${}P,Q\in K[X_{1},\ldots ,X_{n}]$ und ${}Q\neq 0$ der Definitionsbereich, nämlich ${}D(Q)$, offen.

Das Verschwindungsideal

Definition Definition 3.4 ändern

Sei ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$ eine Teilmenge. Dann nennt man

${\left\{F\in K[X_{1},\ldots ,X_{n}]\mid F(P)=0{\text{ für alle }}P\in T\right\}}$

das Verschwindungsideal zu ${}T$. Es wird mit ${}\operatorname {Id} \,(T)$ bezeichnet.

Es handelt sich dabei in der Tat um ein Ideal: Wenn ${}F(P)=0$ und ${}G(P)=0$ ist für alle ${}P\in T$, so gilt dies auch für die Summe ${}F+G$ und für jedes Vielfache ${}HF$.

Damit haben wir zwei Zuordnungen in entgegengesetze Richtung: Einer Teilmenge im affinen Raum wird das Verschwindungsideal zugeordnet und einem Ideal im Polynomring das zugehörige Nullstellengebilde. Wir interessieren uns dafür, inwiefern sich Ideale und Nullstellengebilde entsprechen.

Beispiel Referenznummer erstellen

Das Verschwindungsideal zur leeren Menge ist das Einheitsideal, da es keinen Punkt gibt, auf dem die Nullstellenbedingung überprüft werden müsste.

Das Verschwindungsideal zum Gesamtraum ${}{{\mathbb {A} }_{K}^{n}}$ hängt vom Körper ab. Wenn dieser unendlich ist, so gibt es nur das Nullpolynom, das überall verschwindet, und folglich ist das Verschwindungsideal gleich dem Nullideal. Dies folgt aus Aufgabe 3.19.

Ist hingegen der Körper endlich mit ${}q$ Elementen, so ist ${}x^{q}-x=0$ für jedes ${}x\in K$. Also verschwindet das Polynom ${}X^{q}-X$ auf jedem Punkt der affinen Geraden und gehört somit zum Verschwindungsideal der affinen Geraden. In höherer Dimension ist das Verschwindungsideal gleich ${}(X_{1}^{q}-X_{1},X_{2}^{q}-X_{2},\ldots ,X_{n}^{q}-X_{n})$.

Beispiel Referenznummer erstellen

Es sei ${}P=(a_{1},\ldots ,a_{n})\in {{\mathbb {A} }_{K}^{n}}$. Dann ist das Verschwindungsideal ${}\operatorname {Id} \,(P)$ gleich dem Ideal ${}(X_{1}-a_{1},\ldots ,X_{n}-a_{n})$. Zunächst ist klar, dass die linearen Polynome ${}X_{i}-a_{i}$ im Punkt ${}P$ verschwinden (wegen $(X_{i}-a_{i})(P)=a_{i}-a_{i}=0$). Damit gehört auch das von diesen Polynomen erzeugte Ideal zum Verschwindungsideal. Es sei umgekehrt ${}F$ ein Polynom mit ${}F(P)=0$. Wir schreiben ${}F$ in den „neuen Variablen“

${\tilde {X}}_{1}=X_{1}-a_{1},\ldots ,{\tilde {X}}_{n}=X_{n}-a_{n}\,,$

indem wir ${}X_{i}$ durch ${}X_{i}-a_{i}+a_{i}$ ersetzen. In den neuen Variablen sei ${}F=\sum _{\nu }b_{\nu }{\tilde {X}}^{\nu }$. Dieses Polynom besteht aus der Konstanten ${}b_{0}$, in jedem anderen Monom kommt mindestens eine Variable vor. Also können wir

${}F=F_{1}{\tilde {X}}_{1}+\cdots +F_{n}{\tilde {X}}_{n}+c\,$

mit gewissen Polynomen ${}F_{i}$ schreiben. Daher ist ${}F(P)=c=0$ und ${}F\in ({\tilde {X}}_{1},\ldots ,{\tilde {X}}_{n})$.

Lemma Lemma 3.7 ändern

Seien ${}V\subseteq W\subseteq {{\mathbb {A} }_{K}^{n}}$ zwei Teilmengen.

Dann gilt für die zugehörigen Verschwindungsideale die Inklusion

${}\operatorname {Id} \,(W)\subseteq \operatorname {Id} \,(V)\,.$

Beweis

Es sei ${}F\in \operatorname {Id} \,(W)$, d.h. es ist ${}F(P)=0$ für alle ${}P\in W$ Dann ist erst recht ${}F(P)=0$ für alle ${}P\in V$. Also ist auch ${}F\in \operatorname {Id} \,(V)$.

$\Box$

Lemma Lemma 3.8 ändern

Es sei ${}I\subseteq K[X_{1},\ldots ,X_{n}]$ ein Ideal und sei ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$ eine Teilmenge. Dann gelten folgende Aussagen.

1. Es ist ${}T\subseteq V(\operatorname {Id} (T))$.
2. Es ist ${}I\subseteq \operatorname {Id} (V(I))$.
3. Es ist ${}V(I)=V(\operatorname {Id} (V(I)))$.
4. Es ist ${}\operatorname {Id} (T)=\operatorname {Id} (V(\operatorname {Id} (T)))$.

Beweis

(1). Es sei ${}P\in T$ ein Punkt. Dann verschwindet nach Definition jedes Polynom ${}F\in \operatorname {Id} (T)$ auf ${}T$, also ${}P\in V(\operatorname {Id} (T))$.

(2). Es sei ${}F\in I$. Dann verschwindet ${}F$ auf ganz ${}V(I)$ und daher ist ${}F\in \operatorname {Id} \,(V(I))$.

(3). Nach (1), angewandt auf ${}T=V(I)$, haben wir die Inklusion „${}\subseteq$ “. Nach (2) ist ${}I\subseteq \operatorname {Id} \,(V(I))$. Wendet man darauf ${}V(-)$ an, so ergibt sich nach Lemma 2.7 die andere Inklusion.

(4). Wie (3).

$\Box$

Beispiel Referenznummer erstellen

Die Inklusionen in Lemma 3.8 (1), (2) sind echt. Es sei zum Beispiel ${}T\subset {\mathbb {A} }_{K}^{1}$ eine unendliche echte Teilmenge (was voraussetzt, dass ${}K$ unendlich ist). Dann ist ${}\operatorname {Id} (T)=0$, und also ist ${}V(0)={\mathbb {A} }_{K}^{1}$ echt größer als ${}T$.

Zu (2). Es sei ${}I=(X^{2})$, ${}R=K[X]$. Dann ist ${}V(I)=\{0\}$ und ${}\operatorname {Id} \,(\{0\})=(X)$, aber ${}X\notin (X^{2})$. Ein extremeres Beispiel für ${}R=\mathbb {R} [X,Y]$ ist ${}I=(X^{2}+Y^{2})$ mit ${}V(I)=\{(0,0)\}$. Das Verschwindungsideal zu diesem Punkt ist aber das Ideal ${}(X,Y)$.

Lemma Lemma 3.10 ändern

Sei ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$ eine Teilmenge. Dann ist der Zariski-Abschluss von ${}T$ gleich

${}{\overline {T}}=V(\operatorname {Id} \,(T))\,.$

Beweis

Die Inklusion ${}T\subseteq V(\operatorname {Id} \,(T))$ wurde in Lemma 3.8  (1) gezeigt. Da ${}V(\operatorname {Id} \,(T))$ nach Definition abgeschlossen ist, folgt daraus ${}{\overline {T}}\subseteq V(\operatorname {Id} \,(T))$.

Es sei umgekehrt ${}P\in V(\operatorname {Id} \,(T))$ und sei ${}P\not \in {\overline {T}}$ angenommen. Dies bedeutet, dass es eine Zariski-offene Menge ${}U$ gibt mit ${}P\in U$ und ${}U\cap T=\emptyset$. Es sei ${}U=D({\mathfrak {a}})$. Die Bedingung ${}P\in U$ bedeutet, dass es ein ${}G\in {\mathfrak {a}}$ geben muss mit ${}G(P)\neq 0$. Es ist dann ${}P\in D(G)\subseteq U$ und damit ${}T\cap D(G)=\emptyset$. Also ist ${}T\subseteq V(G)$ und somit ${}G\in \operatorname {Id} \,(T)$. Wegen ${}G(P)\neq 0$ ergibt sich ein Widerspruch zu ${}P\in V(\operatorname {Id} \,(T))$.

$\Box$

Das Radikal

Definition Referenznummer erstellen

Ein Ideal ${}{\mathfrak {a}}$ in einem kommutativen Ring ${}R$ heißt Radikal (oder Radikalideal), wenn folgendes gilt: Falls ${}f^{n}\in {\mathfrak {a}}$ ist für ein ${}n\in \mathbb {N}$, so ist bereits ${}f\in {\mathfrak {a}}$.

Definition Referenznummer erstellen

Es sei ${}R$ ein kommutativer Ring und ${}{\mathfrak {a}}\subseteq R$ ein Ideal. Dann nennt man die Menge

${\left\{f\in R\mid {\text{es gibt ein }}r{\text{ mit }}f^{r}\in {\mathfrak {a}}\right\}}$

das Radikal zu ${}{\mathfrak {a}}$. Es wird mit ${}\operatorname {rad} {\left({\mathfrak {a}}\right)}$ bezeichnet.

Das Radikal zu einem Ideal ist selbst ein Radikal und insbesondere ein Ideal.

Lemma Referenznummer erstellen

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

Dann ist das Radikal zu ${}{\mathfrak {a}}$ ein Radikalideal.

Beweis

Wir zeigen zunächst, dass ein Ideal vorliegt. ${}0$ gehört offenbar zum Radikal und mit ${}f\in \operatorname {rad} {\left({\mathfrak {a}}\right)}$, sagen wir ${}f^{r}\in {\mathfrak {a}}$, ist auch ${}(af)^{r}=a^{r}f^{r}\in {\mathfrak {a}}$, also gehört ${}af$ zum Radikal. Zur Summeneigenschaft seien ${}f,g\in \operatorname {rad} {\left({\mathfrak {a}}\right)}$ mit ${}f^{r}\in {\mathfrak {a}}$ und ${}g^{s}\in {\mathfrak {a}}$. Dann ist

${}(f+g)^{r+s}=\sum _{i+j=r+s}{\binom {r+s}{i}}f^{i}g^{j}=\sum _{i+j=r+s,\,i<r}{\binom {r+s}{i}}f^{i}g^{j}+\sum _{i+j=r+s,\,i\geq r}{\binom {r+s}{i}}f^{i}g^{j}\in {\mathfrak {a}}\,.$

Es sei nun ${}f^{k}\in \operatorname {rad} {\left({\mathfrak {a}}\right)}$. Dann ist ${}(f^{k})^{r}=f^{kr}\in {\mathfrak {a}}$, also ${}f\in \operatorname {rad} {\left({\mathfrak {a}}\right)}$.

$\Box$

Lemma Lemma 3.14 ändern

Es sei ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$ eine Teilmenge.

Dann ist das Verschwindungsideal zu ${}T$ ein Radikal.

Beweis

Es sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom, und sei ${}F^{s}\in \operatorname {Id} \,(T)$. Dann ist ${}F^{s}(P)=0$ für alle ${}P\in T$. Dann ist aber auch ${}F(P)=0$ für alle ${}P\in V$, also ${}F\in \operatorname {Id} \,(T)$.

$\Box$

Wir werden später sehen, dass über einem algebraisch abgeschlossenen Körper sich Radikale und algebraische Nullstellengebilde entsprechen. Das ist der Inhalt des Hilbertschen Nullstellensatzes.