Kurs:Algebraische Kurven (Osnabrück 2012)/Vorlesung 11

Hilbertscher Nullstellensatz - geometrische Version

Wir wollen nun die geometrische Version des Hilbertschen Nullstellensatzes beweisen, der für den Fall eines algebraisch abgeschlossenen Körpers eine eindeutige Beziehung zwischen den affin-algebraischen Mengen im affinen Raum ${}{{\mathbb {A} }_{K}^{n}}$ und den Radikalidealen im Polynomring stiftet.

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}V=V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge, die durch das Ideal ${}{\mathfrak {a}}$ beschrieben werde. Es sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom, das auf ${}V$ verschwindet.

Dann gehört ${}F$ zum Radikal von ${}{\mathfrak {a}}$, d.h. es gibt ein ${}r\in \mathbb {N}$ mit ${}F^{r}\in {\mathfrak {a}}$.

Beweis

Angenommen, ${}F$ gehöre nicht zum Radikal von ${}{\mathfrak {a}}$. Dann gibt es nach Satz 10.9 auch ein maximales Ideal ${}{\mathfrak {m}}\subset K[X_{1},\ldots ,X_{n}]$ mit ${}{\mathfrak {a}}\subseteq {\mathfrak {m}}$ und mit ${}F\not \in {\mathfrak {m}}$. Nach Satz 10.10 ist

${}{\mathfrak {m}}=(X_{1}-a_{1},\ldots ,X_{n}-a_{n})\,$

für gewisse ${}a_{1},\ldots ,a_{n}\in K$. Die Eigenschaft ${}F\not \in {\mathfrak {m}}$ bedeutet, dass ${}F$ im zugehörigen Restekörper nicht ${}0$ ist, und das bedeutet ${}F(a_{1},\ldots ,a_{n})\neq 0$. Wegen ${}{\mathfrak {a}}\subseteq {\mathfrak {m}}$ ist aber ${}(a_{1},\ldots ,a_{n})$ ein Punkt von ${}V$, sodass dort nach Voraussetzung ${}F$ verschwindet. Das ist also ein Widerspruch.

$\Box$

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper mit dem Polynomring ${}K[X_{1},\ldots ,X_{n}]$ und dem affinen Raum ${}{{\mathbb {A} }_{K}^{n}}$.

Dann gibt es eine natürliche Korrespondenz zwischen affin-algebraischen Mengen in ${}{{\mathbb {A} }_{K}^{n}}$ und Radikalidealen in ${}K[X_{1},\ldots ,X_{n}]$.

Dabei gehen Radikale auf ihre Nullstellengebilde und affin-algebraische Mengen auf ihre Verschwindungsideale.

Beweis

Sei ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ affin-algebraisch. Dann gilt ${}V=V(\operatorname {Id} \,(V))$ nach Lemma 3.8  (3). Für ein Radikal ${}I\subseteq K[X_{1},\ldots ,X_{n}]$ gilt die Inklusion ${}I\subseteq \operatorname {Id} \,(V(I))$ ebenfalls nach Lemma 3.8  (2). Die umgekehrte Inklusion, also ${}\operatorname {Id} \,(V(I))\subseteq I$, ist der Inhalt des Hilbertschen Nullstellensatzes.

$\Box$

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}F_{i}\in K[X_{1},\ldots ,X_{n}]$, ${}i\in I$, Polynome mit

${}{{\mathbb {A} }_{K}^{n}}=\bigcup _{i\in I}D(F_{i})\,.$

Dann erzeugen die ${}F_{i}$ das Einheitsideal in ${}K[X_{1},\ldots ,X_{n}]$.

Beweis

Es sei ${}{\mathfrak {b}}$ das von den ${}F_{i}$ erzeugte Ideal. Die Voraussetzung besagt, dass

${}\bigcap _{i\in I}V(F_{i})=V({\mathfrak {b}})\,$

leer ist. Dann ist ${}V({\mathfrak {b}})\subseteq V(1)$. Aus dem Hilbertschen Nullstellensatz folgt, dass eine Potenz von ${}1$, also ${}1$ selbst, zu ${}{\mathfrak {b}}$ in ${}K[X_{1},\ldots ,X_{n}]$ gehört. D.h. dass ${}{\mathfrak {b}}$ das Einheitsideal ist.

$\Box$

Der Hilbertsche Nullstellensatz, wie wir ihn für den affinen Raum und den Polynomring formuliert haben, gilt entsprechend für jedes ${}V({\mathfrak {a}})$ und den zugehörigen Restklassenring ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$.

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}R=K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$ eine endlich erzeugte ${}K$-Algebra mit Nullstellengebilde ${}V=V({\mathfrak {a}})\subseteq {\mathbb {A} }_{K}^{n}$. Es sei ${}{\mathfrak {b}}$ ein Ideal in ${}R$ und ${}F\in R$ ein Element, das auf ${}V({\mathfrak {b}})\subseteq V$ verschwindet.

Dann gibt es ein ${}r\in \mathbb {N}$ mit ${}F^{r}\in {\mathfrak {b}}$ in ${}R$.

Beweis

Die Verschwindungsbedingung ${}V({\mathfrak {b}})\subseteq V(F)$ in ${}V=V({\mathfrak {a}})$ besagt zurückübersetzt in den affinen Raum, dass dort ${}V({\mathfrak {a}}+{\mathfrak {b}})=V({\mathfrak {a}})\cap V({\mathfrak {b}})\subseteq V(F)$ gilt, wobei jetzt ${}F$ ein repräsentierendes Polynom aus ${}K[X_{1},\ldots ,X_{n}]$ und ${}{\mathfrak {b}}$ das Urbildideal in ${}K[X_{1},\ldots ,X_{n}]$ sei. Nach dem Hilbertschen Nullstellensatz (für den affinen Raum) gibt es ein ${}r\in \mathbb {N}$ mit ${}F^{r}\in {\mathfrak {a}}+{\mathfrak {b}}$. Dies bedeutet modulo ${}{\mathfrak {a}}$, dass in ${}R$ die Beziehung ${}F^{r}\in {\mathfrak {b}}$ gilt.

$\Box$

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}V=V({\mathfrak {a}})\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge, die durch das Ideal ${}{\mathfrak {a}}$ beschrieben werde. Es seien ${}F_{i}\in K[X_{1},\ldots ,X_{n}]$, ${}i\in I$, Polynome mit

${}V=\bigcup _{i\in I}D(F_{i})\,.$

Dann erzeugen die ${}F_{i}$ das Einheitsideal in ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$.

Beweis

Es sei ${}{\mathfrak {b}}$ das von allen ${}F_{i}$, ${}i\in I$, erzeugte Ideal in ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$. Die Voraussetzung besagt, dass

${}V({\mathfrak {b}})=\bigcap _{i\in I}V(F_{i})\,$

(auf ${}V$) leer ist. Dann ist ${}V(1)\subseteq V({\mathfrak {b}})$, da ja ${}V(1)$ ebenfalls leer ist. Aus dem Hilbertschen Nullstellensatz folgt, dass eine Potenz von ${}1$, also ${}1$ selbst, zu ${}{\mathfrak {b}}$ in ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$ gehört.

$\Box$

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}V=V({\mathfrak {a}})\subseteq {\mathbb {A} }_{K}^{n}$ eine affin-algebraische Menge, die durch das Ideal ${}{\mathfrak {a}}$ beschrieben werde. Es sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom, das auf ${}V$ keine Nullstelle besitzt.

Dann ist ${}F$ im Restklassenring ${}K[X_{1},\ldots ,X_{n}]/{\mathfrak {a}}$ eine Einheit.

Beweis

Dies ist ein Spezialfall von Korollar 11.5.

$\Box$

Korollar

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}V_{1}$ und ${}V_{2}$ zwei affin-algebraische Mengen in ${}{{\mathbb {A} }_{K}^{n}}$.

Dann gilt

${}\operatorname {Id} \,(V_{1}\cap V_{2})=\operatorname {rad} \,(\operatorname {Id} \,(V_{1})+\operatorname {Id} \,(V_{2}))\,.$

Beweis

Sei ${}{{\mathfrak {a}}_{1}}=\operatorname {Id} \,(V_{1})$ und ${}{{\mathfrak {a}}_{2}}=\operatorname {Id} \,(V_{2})$. Die Aussage ergibt sich aus

${}\operatorname {rad} \,({{\mathfrak {a}}_{1}}+{{\mathfrak {a}}_{2}})=\operatorname {Id} \,(V(\operatorname {rad} \,({{\mathfrak {a}}_{1}}+{{\mathfrak {a}}_{2}})))=\operatorname {Id} \,(V({{\mathfrak {a}}_{1}}+{{\mathfrak {a}}_{2}}))=\operatorname {Id} \,(V({{\mathfrak {a}}_{1}})\cap V({{\mathfrak {a}}_{2}}))\,,$

wobei die erste Gleichung auf dem Hilbertschen Nullstellensatz beruht.

$\Box$

Auch diese Eigenschaften gelten nicht ohne die Voraussetzung algebraisch abgeschlossen, wie das folgende Beispiel zeigt.

Beispiel

Wir betrachten die beiden algebraischen Kurven

$V_{1}=V(X^{2}+Y^{2}-2)\,\,{\text{ und }}\,\,V_{2}=(X^{2}+2Y^{2}-1)\subseteq {\mathbb {A} }_{K}^{2}.$

Bei ${}K=\mathbb {R}$ sind das beides irreduzible Quadriken. Der Durchschnitt wird beschrieben durch das Ideal

${}(X^{2}+Y^{2}-2,X^{2}+2Y^{2}-1)=(Y^{2}+1,X^{2}-3)\,.$

Da das Polynom ${}Y^{2}+1$ im Reellen keine Nullstelle hat, ist der Durchschnitt ${}V_{1}\cap V_{2}=\emptyset$ leer. Das Verschwindungsideal des (leeren) Durchschnittes ist natürlich das Einheitsideal, die Summe der beiden Verschwindungsideale ist aber nicht das Einheitsideal.

Der Koordinatenring zu einer affin-algebraischen Menge

Sei ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge mit Verschwindungsideal ${}\operatorname {Id} \,(V)$. Ein Polynom ${}F\in K[X_{1},\ldots ,X_{n}]$ definiert eine Funktion auf dem affinen Raum und induziert damit eine Funktion auf der Teilmenge ${}V$.

${\begin{matrix}{{\mathbb {A} }_{K}^{n}}&{\stackrel {F}{\longrightarrow }}&K\\\uparrow &\nearrow &\\V&&\end{matrix}}$

Dabei induziert ein Element aus dem Verschwindungsideal (nach Definition 3.4) die Nullfunktion auf ${}V$, und zwei Polynome ${}G,H\in K[X_{1},\ldots ,X_{n}]$, deren Differenz zum Verschwindungsideal gehören, induzieren auf ${}V$ die gleiche Funktion. Es ist daher naheliegend, den Restklassenring ${}K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,(V)$ als Ring der polynomialen (oder algebraischen) Funktionen auf ${}V$ zu betrachten.

Definition

Zu einer affin-algebraischen Menge ${}V\subseteq {{\mathbb {A} }_{K}^{n}}$ mit Verschwindungsideal ${}\operatorname {Id} \,(V)$ nennt man ${}R(V)=K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,(V)$ den Koordinatenring von ${}V$.

Dieser Begriff ist nicht völlig unproblematisch, insbesondere, wenn ${}K$ nicht algebraisch abgeschlossen ist, siehe die Beispiele weiter unten. Wir erwähnen zunächst einige elementare Eigenschaften.

Proposition

Es sei ${}V={{\mathbb {A} }_{K}^{n}}$ eine affin-algebraische Menge und sei ${}R=K[X_{1},\ldots ,X_{n}]/\operatorname {Id} \,{\left(V\right)}$ der zugehörige Koordinatenring. Dann gelten folgende Aussagen.

1. ${}R$ ist reduziert.
2. ${}V=\emptyset$ genau dann, wenn ${}R$ der Nullring ist.
3. ${}V$ ist genau dann irreduzibel, wenn ${}R$ ein Integritätsbereich ist.
4. ${}V$ besteht genau dann aus einem einzigen Punkt, wenn ${}R=K$ ist.
5. Ist ${}K$ algebraisch abgeschlossen, und ${}V=V({\mathfrak {a}})$, so ist ${}R=K[X_{1},\ldots ,X_{n}]/\operatorname {rad} \,({\mathfrak {a}})$.

Beweis

Es sei ${}I=\operatorname {Id} \,(V)$ das Verschwindungsideal zu ${}V$.

(1). Dies folgt aus Lemma 3.14 und Aufgabe 3.6.

(2). ${}V=\emptyset$ ist äquivalent zu ${}1\in I$, und das ist äquivalent zu ${}R=0$.

(3). Dies folgt aus Lemma 4.3 und Satz Anhang 3.4.

(4). Es sei ${}V=\{P\}$, ${}P=(a_{1},\ldots ,a_{n})$. Dann ist ${}I=(X_{1}-a_{1},\ldots ,X_{n}-a_{n})$ und der Koordinatenring ist

${}K[X_{1},\ldots ,X_{n}]/(X_{1}-a_{1},\ldots ,X_{n}-a_{n})\cong K\,.$

Umgekehrt, wenn der Koordinatenring ${}K$ ist, so muss der zugehörige Restklassenhomomorphismus ein Einsetzungshomomorphismus ${}X_{i}\mapsto a_{i}$ sein, und das Verschwindungsideal zu ${}V$ muss ein Punktideal sein, und es ist ${}P=(a_{1},\ldots ,a_{n})\in V$. Wenn es noch einen weiteren Punkt ${}Q\in V$, ${}Q\neq P$, gibt, so hat man einen Widerspruch, da nicht alle ${}X_{i}-a_{i}$ in ${}Q$ verschwinden.

(5). Bei ${}K$ algebraisch abgeschlossen ist ${}\operatorname {Id} \,(V)=\operatorname {rad} \,({\mathfrak {a}})$ nach dem Hilbertschen Nullstellensatz.

$\Box$

Satz

Es sei ${}K$ ein unendlicher Körper.

Dann ist das Verschwindungsideal des affinen Raumes ${}{{\mathbb {A} }_{K}^{n}}$ das Nullideal und der zugehörige Koordinatenring ist der Polynomring ${}K[X_{1},\ldots ,X_{n}]$.

Beweis

Wir beweisen die Aussage durch Induktion über die Anzahl der Variablen. Bei ${}n=1$ folgt die Aussage daraus, dass ein Polynom vom Grad ${}d$ maximal ${}d$ Nullstellen besitzt. Zum Induktionsschritt sei ${}F\in K[X_{1},\ldots ,X_{n}]$ ein Polynom, das an allen Punkten von ${}{{\mathbb {A} }_{K}^{n}}=K^{n}$ verschwindet. Wir schreiben ${}F$ als

${}F=P_{d}X_{n}^{d}+P_{d-1}X_{n}^{d}+\cdots +P_{1}X_{0}+P_{0}\,$

mit Polynomen ${}P_{d},\ldots ,P_{0}\in K[X_{1},\ldots ,X_{n-1}]$. Wir müssen zeigen, dass ${}F=0$ ist, was zu ${}P_{i}=0$ für alle ${}i=0,\ldots ,d$ äquivalent ist. Es sei also (ohne Einschränkung) angenommen, dass ${}P_{d}$ nicht das Nullpolynom ist. Nach Induktionsvoraussetzung ist es dann auch nicht die Nullfunktion, d.h. es gibt einen Punkt ${}(a_{1},\ldots ,a_{n-1})$ mit ${}P_{d}(a_{1},\ldots ,a_{n-1})\neq 0$. Damit ist ${}F(a_{1},\ldots ,a_{n-1})$ ein Polynom in der einen Variablen ${}X_{n}$ vom Grad ${}d$ und ist nach dem Fall einer Variablen nicht die Nullfunktion.

$\Box$

Beispiel

Satz 11.11 ist nicht richtig für endliche Körper. Für einen endlichen Körper besteht ein affiner Raum nur aus endlich vielen Punkten und es gibt viele Polynome, die auf all diesen Punkten verschwinden. Typische Beispiele werden durch die Polynome ${}X_{i}^{q}-X_{i}$ gegeben, wobei ${}q$ die Anzahl der Körperelemente bezeichnet.

Beispiel

Es sei ${}R=\mathbb {R} [X,Y]/(X^{2}+Y^{2})$. Da Quadrate im Reellen nie negativ sind, besteht die Nullstellenmenge des Polynoms ${}X^{2}+Y^{2}$ einzig aus dem Nullpunkt, ${}V(X^{2}+Y^{2})=\{(0,0)\}$. Das zugehörige Verschwindungsideal ist das maximale Ideal ${}(X,Y)$, und der zugehörige Restklassenring (der Koordinatenring) ist dann ${}\mathbb {R} [X,Y]/(X,Y)\cong \mathbb {R}$. Der Koordinatenring kann also vom Restklassenring, mit dem man startet und dessen Ideal das Nullstellengebilde definiert, sehr verschieden sein.

<< | Kurs:Algebraische Kurven (Osnabrück 2012) | >> PDF-Version dieser Vorlesung Arbeitsblatt zur Vorlesung (PDF)