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

Aus Wikiversity



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.


Definition  

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


Beispiel  

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.




Beispiel  

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 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 , wenn eine endliche Punktemenge bezeichnet, Zariski-offen. Ferner ist zu einer rationalen Funktion mit und der Definitionsbereich, nämlich , offen.



Das Verschwindungsideal

Definition  

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.


Beispiel  

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

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 .



Beispiel  

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 .




Lemma  

Seien zwei Teilmengen.

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

Beweis  

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



Lemma  

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

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

Beweis  

(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).



Beispiel  

Die Inklusionen in Lemma 3.8 (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 .




Lemma  

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

Beweis  

Die Inklusion wurde in Lemma 3.8  (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

Definition  

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


Definition  

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.


Lemma  

Es sei ein kommutativer Ring und ein Ideal.

Dann ist das Radikal zu ein Radikalideal.

Beweis  

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 .



Lemma  

Es sei eine Teilmenge.

Dann ist das Verschwindungsideal zu ein Radikal.

Beweis  

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 2017-2018) | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF)