Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 3



Die Zariski-Topologie

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.


In einem affinen Raum 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 mit

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.8), während die abgeschlossenen (also die affin-algebraischen Mengen) sehr dünn sind (außer dem ganzen Raum selbst).


Die Zariski-Topologie auf der affinen Geraden über einem Körper lässt sich einfach beschreiben. Als (Zariski)-abgeschlossene Teilmenge haben wir zunächst einmal die gesamte affine Gerade, die durch beschrieben wird. Alle anderen abgeschlossenen Teilmengen werden durch mit beschrieben. Da ein Hauptidealbereich ist, kann man sogar , , ansetzen. Die zugehörige Nullstellenmenge besteht also aus endlich vielen Punkten. Andererseits ist jeder einzelne Punkt mit der Koordinate die einzige Nullstelle des linearen Polynoms , also ist Zariski-abgeschlossen. Eine endliche Ansammlung von Punkten mit den Koordinaten ist die Nullstellenmenge des Polynoms . Die Zariski-abgeschlossenen Mengen der affinen Geraden bestehen also aus allen endlichen Teilmengen (einschließlich der leeren) und der gesamten Menge.




Jeder Punkt

ist Zariski-abgeschlossen, und zwar ist

Punkte sind (neben der leeren Menge und dem gesamten Raum) die einfachsten affin-algebraischen Mengen. Das Ideal (genannt Punktideal) ist maximal, siehe Aufgabe *****.


Der Schnitt von zwei und
von drei Ebenen



Das Verschwindungsideal

Sei eine Teilmenge. Dann nennt man

das Verschwindungsideal zu . Es wird mit bezeichnet.

Es handelt sich dabei in der Tat um ein Ideal: Wenn und ist für alle , so gilt dies auch für die Summe und für jedes Vielfache .

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.


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 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.8.

Ist hingegen der Körper endlich mit Elementen, so ist für jedes . Also verschwindet das Polynom auf jedem Punkt der affinen Geraden und gehört somit zum Verschwindungsideal der affinen Geraden. In höherer Dimension ist das Verschwindungsideal gleich .



Es sei . Dann ist das Verschwindungsideal gleich dem Ideal . Zunächst ist klar, dass die linearen Polynome im Punkt verschwinden (wegen ). Damit gehört auch das von diesen Polynomen erzeugte Ideal zum Verschwindungsideal. Es sei umgekehrt ein Polynom mit . Wir schreiben in den „neuen Variablen“

indem wir durch ersetzen. In den neuen Variablen sei . Dieses Polynom besteht aus der Konstanten , in jedem anderen Monom kommt mindestens eine Variable vor. Also können wir

mit gewissen Polynomen schreiben. Daher ist und .




Seien zwei Teilmengen.

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

Es sei , d.h. es ist für alle Dann ist erst recht für alle . Also ist auch .



Es sei ein Ideal und sei eine Teilmenge. Dann gelten folgende Aussagen.

  1. Es ist .
  2. Es ist .
  3. Es ist .
  4. Es ist .

(1). Es sei ein Punkt. Dann verschwindet nach Definition jedes Polynom auf , also .

(2). Es sei . Dann verschwindet auf ganz und daher ist .

(3). Nach (1), angewandt auf , haben wir die Inklusion „ “. Nach (2) ist . Wendet man darauf an, so ergibt sich nach Lemma 2.7 die andere Inklusion.

(4). Wie (3).



Die Inklusionen in Lemma 3.7 (1), (2) sind echt. Es sei zum Beispiel eine unendliche echte Teilmenge (was voraussetzt, dass unendlich ist). Dann ist , und also ist echt größer als .

Zu (2). Es sei , . Dann ist und , aber . Ein extremeres Beispiel für ist mit . Das Verschwindungsideal zu diesem Punkt ist aber das Ideal .




Sei eine Teilmenge. Dann ist der Zariski-Abschluss von gleich

Die Inklusion wurde in Lemma 3.7  (1) gezeigt. Da nach Definition abgeschlossen ist, folgt daraus .

Es sei umgekehrt und sei angenommen. Dies bedeutet, dass es eine Zariski-offene Menge gibt mit und . Es sei . Die Bedingung bedeutet, dass es ein geben muss mit . Es ist dann und damit . Also ist und somit . Wegen ergibt sich ein Widerspruch zu .



Das Radikal

Ein Ideal in einem kommutativen Ring heißt Radikal (oder Radikalideal), wenn folgendes gilt: Falls ist für ein , so ist bereits .


Es sei ein kommutativer Ring und ein Ideal. Dann nennt man die Menge

das Radikal zu . Es wird mit bezeichnet.

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


Es sei ein kommutativer Ring und ein Ideal.

Dann ist das Radikal zu ein Radikalideal.

Wir zeigen zunächst, dass ein Ideal vorliegt. gehört offenbar zum Radikal und mit , sagen wir , ist auch , also gehört zum Radikal. Zur Summeneigenschaft seien mit und . Dann ist

Es sei nun . Dann ist , also .



Es sei eine Teilmenge.

Dann ist das Verschwindungsideal zu ein Radikal.

Es sei ein Polynom, und sei . Dann ist für alle . Dann ist aber auch für alle , also .


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.


<< | Kurs:Algebraische Kurven (Osnabrück 2008) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)