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

Homogene Komponenten

Wir besprechen den Grad und die Zerlegung in homogene Komponenten von Polynomen in mehreren Variablen.

Definition

Es sei $S$ ein kommutativer Ring und  $R=S[X_1,\dots ,X_n]$  der Polynomring über $S$ in $n$ Variablen. Dann heißt zu einem Monom

$G=X^{\nu }=X_1^{{\nu }_1}\cdots X_n^{{\nu }_n}$

die Zahl

$|\nu |=\sum _{j=1}^n{\nu }_j$

der Grad von $G$. Zu einem Polynom  $F=\sum _{\nu }{a}_{\nu }{X}^{\nu }\ne 0$  heißt das Maximum

$max\{|\nu |:a_{\nu }\ne 0\}$

der Grad von $F$.

Definition

Es sei $S$ ein kommutativer Ring und  $R=S[X_1,\dots ,X_n]$  der Polynomring über $S$ in $n$ Variablen. Zu einem Polynom  $F\in R$  mit  $F=\sum _{\nu }{a}_{\nu }{X}^{\nu }$  heißt die Zerlegung

$F=\sum _{i=0}^d{F}_i$

mit

$F_i=\sum _{\nu ,|\nu |=i}{a}_{\nu }{X}^{\nu }$

die homogene Zerlegung von $F$. Die $F_i$ nennt man die homogenen Komponenten von $F$ zum Grad $i$. Das Polynom $F$ selbst heißt homogen, wenn in der homogenen Zerlegung von $F$ nur ein $F_i$ vorkommt.

Die Nullstellenmenge eines homogenen Polynoms $F$ ist ein (Geraden-)Kegel durch den Nullpunkt. D.h. mit einem Punkt $P$ gehört auch die ganze Gerade durch $P$ und $0$ zu $V(F)$.

Beispiel

Das Polynom

$F=4X^{3}Y{Z}^2+2X^2{Y}^5+5XY{Z}^7-3X^{4}Y{Z}^4+X^8-Y^7+2Y^6{Z}^3+X+5$

hat den Grad $9$ und die homogenen Komponenten sind

$F_9=5XY{Z}^7-3X^{4}Y{Z}^4+2Y^6{Z}^3,$

$F_8=X^8,$

$F_7=2X^2{Y}^5-Y^7,$

$F_6=4X^{3}Y{Z}^2,$

$F_5=F_4=F_3=F_2=0,$

$F_1=X\text{ und }{F}_0=5.$

Wenn man es als Polynom in $(K[Y,Z])[X]$ auffasst und sich nur dafür interessiert, in welcher Potenz $X$ vorkommt, so spricht man vom $X$-Grad. Der $X$-Grad von $F$ ist $8$. Es gibt natürlich auch eine homogene Zerlegung entlang der $X$-Graduierung; dabei ist beispielsweise die Komponente zum $X$-Grad $0$ gleich $-Y^7+2Y^6{Z}^3+5$ und zum $X$-Grad $1$ gleich $5XY{Z}^7+X$.

Zur Anzahl der Punkte auf Kurven II

Emmy Noether (1882-1935)

Der folgende Satz heißt (Satz über die)

Noethersche Normalisierung.

Satz

Es sei $K$ ein algebraisch abgeschlossener Körper und sei  $F\in K[X,Y]$  ein nichtkonstantes Polynom vom Grad $d$, das die algebraische Kurve  $C=V(F)$  definiert.

Dann gibt es eine lineare Koordinatentransformation derart, dass in den neuen Koordinaten $\tilde{X},\tilde{Y}$ das transformierte Polynom die Form

$\tilde{F}={\tilde{X}}^d+\text{ Terme von kleinerem Grad in }\tilde{X}$

besitzt.

Beweis

Wir schreiben $F$ in homogener Zerlegung als

$F=F_d+F_{d-1}+\cdots +F_1+F_0$

mit den homogenen Komponenten

$F_i=\sum _{a+b=i}{c}_{a,b}{X}^a{Y}^b.$

Ein homogenes Polynom in zwei Variablen hat die gleichen Faktorisierungseigenschaften wie ein Polynom in einer Variablen. Da wir uns über einem algebraisch abgeschlossenen Körper befinden, gibt es eine Faktorisierung

$F_d=c(Y-e_{1}X)\cdots (Y-e_{k}X)X^{d-k}.$

Da $c$ eine $d$-te Wurzel besitzt, können wir durch Streckung der Variablen erreichen, dass  $c=1$  ist. Da $K$ insbesondere unendlich ist, finden wir ein $e$, das von allen $e_j$ verschieden ist. Wir schreiben die Gleichung in den neuen Variablen

$\tilde{Y}=Y-eX\text{ und }\tilde{X}=X$

und erhalten eine Gleichung $\tilde{F}$, in der die Linearfaktoren von ${\tilde{F}}_d$ die Gestalt

$\begin{array}{cc}Y-e_{j}X& =Y-eX+eX-e_{j}X\\ & =\tilde{Y}-(e_j-e)X\\ & =\tilde{Y}-(e_j-e)\tilde{X}\end{array}$

(mit $e_j-e\ne 0$) bzw.  $\tilde{X}=X$  haben. Multipliziert man dies aus, so sieht man, dass ${\tilde{X}}^d$ mit einem bestimmten Vorfaktor aus $K$ vorkommt, den wir wieder durch Streckung als $1$ annehmen können. Dann hat ${\tilde{F}}_d$ die Gestalt ${\tilde{X}}^d+$ Terme, in denen maximal ${\tilde{X}}^{d-1}$ vorkommt. Die homogenen Komponenten von kleinerem Grad behalten auch ihren Grad, sodass es in $\tilde{F}$ nur noch weitere Monome vom $\tilde{X}$-Grad $\le d-1$ gibt.

$◻$

Korollar

Es sei $K$ ein algebraisch abgeschlossener Körper und sei  $F\in K[X,Y]$  ein nicht-konstantes Polynom, das die algebraische Kurve  $C=V(F)$  definiert.

Dann besitzt $C$ unendlich viele Elemente.

Beweis

Aufgrund von Satz 5.4 können wir annehmen, dass $F$ die Gestalt hat

$F=X^d+P_{d-1}(Y)X^{d-1}+\cdots +P_1(Y)X+P_0(Y)$

mit Polynomen  $P_i(Y)\in K[Y]$.  Zu jedem beliebig vorgegebenen Wert  $a\in K$  für $Y$ ergibt sich also ein normiertes Polynom in $X$ vom Grad $d$. Da der Körper algebraisch abgeschlossen ist, gibt es jeweils (mindestens) eine Nullstelle in $X$. D.h. zu jedem  $a\in K$  gibt es ein  $b\in K$  derart, dass $(a,b)$ eine Nullstelle von $F$ ist, also zur Kurve gehört. Da $K$ unendlich ist, gibt es also unendlich viele Punkte auf der Kurve.

$◻$

Polynomiale Abbildungen zwischen affinen Räumen

Wir betrachten Abbildungen

$\phi :{𝔸}_K^r⟶{𝔸}_K^n,(t_1,\dots ,t_r)⟼({\phi }_1(t_1,\dots ,t_r),\dots ,{\phi }_n(t_1,\dots ,t_r))=(x_1,\dots ,x_n),$

wobei die Komponentenfunktionen  ${\phi }_i\in K[X_1,\dots ,X_r]$  Polynome sind. Die Abbildung wird also in jeder Komponenten durch ein Polynom in $r$ Variablen gegeben. Der Fall  $n=1$  ist der eines Polynoms in $r$ Variablen, der Fall  $r=1$  und  $n=2$  ist der Fall der Parametrisierung von algebraischen Kurven. Später werden wir allgemeiner Morphismen zwischen affin-algebraischen Mengen definieren.

Eine wichtige „Begleiterscheinung“ einer polynomialen Abbildung $\phi :{𝔸}_K^r\to {𝔸}_K^n$ ist, dass sie einen $K$-Algebrahomomorphismus zwischen den zugehörigen Polynomringen in die entgegengesetzte Richtung induziert, nämlich den durch $X_i\mapsto {\phi }_i$ definierten Einsetzungshomomorphismus. Diesen bezeichnen wir mit

$\tilde{\phi }:K[X_1,\dots ,X_n]⟶K[T_1,\dots ,T_r],F⟼F\circ \phi =F({\phi }_i/X_i)$

(die Schreibweise ${\phi }_i/X_i$ bedeutet, dass die Variable $X_i$ durch ${\phi }_i$ zu ersetzen ist). Als Funktion auf ${𝔸}_K^r$ betrachtet ist $F\circ \phi$ die hintereinandergeschaltete Abbildung

${𝔸}_K^r\stackrel{\phi }{⟶}{𝔸}_K^n\stackrel{F}{⟶}{𝔸}_K^1.$

Für die Nullstellenmenge  $V(F)\subseteq {𝔸}_K^n$  gilt dabei

${\phi }^{-1}(V(F))=V(\tilde{\phi }(F)).$

Die einfachsten polynomialen Abbildungen sind, neben den konstanten Abbildungen, die affin-linearen Abbildungen, die durch affin-lineare Polynome gegeben sind, also

${\phi }_i=a_{i1}{T}_1+\cdots +a_{ir}{T}_r+c_i.$

Man beachte, dass dies keine linearen Abbildungen sind, da der Nullpunkt nicht auf den Nullpunkt gehen muss, sondern auch Verschiebungen zugelassen sind. Eine affin-lineare Abbildung ist die Hintereinanderschaltung einer linearen Abbildung und einer Verschiebung. Im Fall  $r=n$  betrachtet man eine solche affin-lineare Abbildung, wenn sie zusätzlich bijektiv ist, als eine (Koordinaten- oder Variablen-)Transformation des Raumes.

Definition

Es sei $K$ ein Körper. Dann nennt man eine Abbildung $\phi :{𝔸}_K^n\to {𝔸}_K^n$ der Form

$\phi (x_1,\dots ,x_n)=M\left(\begin{array}{c}{x}_1\\ ⋮\\ x_n\end{array}\right)+(v_1,\dots ,v_n),$

wobei $M$ eine invertierbare Matrix ist, eine affin-lineare Variablentransformation .

Man kann sich dabei darüber streiten, ob bei einer linearen Variablentransformation im Raum etwas bewegt wird oder ob sich nur die Koordinaten ändern. Jedenfalls sind solche Transformationen wichtige Hilfsmittel, um ein Polynom, ein algebraisches Gleichungssystem oder eine affin-algebraische Menge auf eine einfachere Gestalt zu bringen. Unter einer Variablentransformation wird eine affin-algebraische Menge  $V=V(F_1,\dots ,F_m)$  zu  $\tilde{V}=V({\tilde{F}}_1,\dots ,{\tilde{F}}_m)$  (mit ${\tilde{F}}_i=\tilde{\phi }(F_i)$) transformiert, und zwar ist dann $\tilde{V}$ das Urbild unter der Abbildung $\phi$.

Definition

Zwei affin-algebraische Mengen  $V,\tilde{V}\subseteq {𝔸}_K^n$  heißen affin-linear äquivalent, wenn es eine affin-lineare Variablentransformation $\phi :{𝔸}_K^n\to {𝔸}_K^n$ mit

${\phi }^{-1}(V)=\tilde{V}$

gibt.

Dies ist also ein Begriff, der Bezug darauf nimmt, wie die Situation eingebettet ist. Wir werden später sehen, dass die Parabel und eine Gerade in der Ebene „isomorph“ sind (da sie beide isomorph zur affinen Geraden sind), aber nicht linear-äquivalent.

Die wesentlichen algebraischen und topologischen Eigenschaften einer affin-algebraischen Menge bleiben unter einer affin-linearen Variablentransformation erhalten: Irreduzibilität, Singularitäten, Überschneidungen, Zusammenhang, Kompaktheit. Dagegen verändern sich typische Eigenschaften der reell-metrischen Geometrie: Winkel, Längen und Längenverhältnisse, Volumina, Formen. Diese zuletzt genannten Begriffe sind nicht relevant für die algebraische Geometrie. Wir werden von nun an ohne große Betonung eine Situation in eine gewünschte Gestalt transformieren, sofern das möglich ist.

Satz

Es sei $K$ ein Körper und seien  $V,\tilde{V}\subseteq {𝔸}_K^n$  zwei affin-algebraische Teilmengen, die affin-linear äquivalent seien. Es seien $\mathrm{Id}(V),\mathrm{Id}(\tilde{V})$ die zugehörigen Verschwindungsideale.

Dann sind die Restklassenringe (als $K$-Algebren) isomorph, also

$K[X_1,\dots ,X_n]/\mathrm{Id}(V)\cong K[X_1,\dots ,X_n]/\mathrm{Id}(\tilde{V}).$

Beweis

Nach Definition von affin-linear äquivalent gibt es eine affin-lineare Variablentransformation

${𝔸}_K^n⟶{𝔸}_K^n,P⟼\phi (P),$

mit ${\phi }^{-1}(V)=\tilde{V}$. Es sei $\tilde{\phi }$ der zugehörige Automorphismus des Polynomrings $K[X_1,\dots ,X_n]$. Dabei ist

${\tilde{\phi }}^{-1}(\mathrm{Id}(\tilde{V}))=\mathrm{Id}(V).$

Nach dem Isomorphiesatz folgt die Isomorphie der Restklassenringe.

$◻$

Bemerkung  

In Satz 5.8 kommt ein wichtiges Prinzip der algebraischen Geometrie zum Ausdruck, nämlich, dass das algebraische Objekt, das zu einer Nullstellenmenge gehört, der Restklassenring des Polynomringes nach dem Verschwindungsideal ist. Dies ist eine „intrinsische Invariante“ der Nullstellenmenge, d.h., unabhängig von einer Einbettung. Unter dieser Betrachtungsweise rückt auch die Noethersche Normalisierung im ebenen Fall in ein neues Licht. Man kann unter den Voraussetzungen der Aussage annehmen, dass die Kurvengleichung die Form

$F=X^d+P_{d-1}(Y)X^{d-1}+\cdots +P_1(Y)X+P_0(Y)$

besitzt. Wenn man dieses Polynom „gleich null setzt“, so bedeutet dies eine Ganzheitsgleichung für $X$. Genauer, über dem Polynomring $K[Y]$ in einer Variablen ist die Restklasse von $X$ im Restklassenring $K[X,Y]/(F)$ ganz. Diese Begriffe sind vielleicht aus der elementaren Zahlentheorie bekannt und werden auch hier wieder eine wichtige Rolle spielen. Da $X$ über $K[Y]$ den Polynomring erzeugt, liegt überhaupt eine ganze (sogar endliche) Ringerweiterung

$K[Y]⟶K[X,Y]/(X^d+P_{d-1}(Y)X^{d-1}+\cdots +P_1(Y)X+P_0(Y))$

vor. Damit kann man den Noetherschen Normalisierungssatz auch so formulieren, dass sich über einem algebraisch abgeschlossenen Körper zu jeder algebraischen Kurve der zugehörige Restklassenring als endliche Erweiterung des Hauptidealbereiches $K[Y]$ realisieren lässt. Dies ist eine direkte Analogie zu den Ganzheitsringen der Zahlentheorie, die ebenfalls endliche Erweiterungen über dem Hauptidealbereich $\mathbb{Z}$ sind.

Unter beliebigen polynomialen Abbildungen zwischen affinen Räumen können sich, im Gegensatz zu affin-linearen Transformationen, viele algebraische Eigenschaften ändern, die Dimension kann sich ändern, Singularitäten können entstehen, etc. Dagegen überträgt sich die Irreduzibilität auf (den Zariski-Abschluss des) das Bild der Abbildung.

Satz

Es sei $K$ ein unendlicher Körper und

$\phi :{𝔸}_K^r⟶{𝔸}_K^n$

sei eine durch $n$ Polynome in $r$ Variablen gegebene Abbildung.

Dann ist der Zariski-Abschluss des Bildes der Abbildung irreduzibel.

Beweis

Es sei  $B=\phi ({𝔸}_K^r)$  das Bild der Abbildung. Nach Lemma 3.10 ist

$\bar{B}=V(\mathrm{Id}(B)).$

Nun gilt für  $P=\phi (Q)$  mit  $Q\in {𝔸}_K^r$  und für  $F\in K[X_1,\dots ,X_n]$  die Beziehung

$F(P)=F(\phi (Q))=(F\circ \phi )(Q),$

wobei  $F\circ \phi \in K[T_1,\dots ,T_r]$  das Polynom ist, das sich ergibt, wenn man in $F$ die Variable $X_i$ durch die $i$-te Koeffizientenfunktion  ${\phi }_i\in K[T_1,\dots ,T_r]$  ersetzt. Daher ist  $F(P)=0$  genau dann, wenn  $(F\circ \phi )(Q)=0$  ist, und $F$ verschwindet auf ganz $B$ genau dann, wenn $F\circ \phi$ auf dem ganzen ${𝔸}_K^r$ verschwindet. Da $K$ unendlich ist, bedeutet dies, dass $F\circ \phi$ das Nullpolynom ist. Daher gilt, dass  $F\in \mathrm{Id}(B)$  genau dann ist, wenn $F$ unter dem zugehörigen Ringhomomorphismus

$\tilde{\phi }:K[X_1,\dots ,X_n]⟶K[T_1,\dots ,T_r]$

auf $0$ abgebildet wird. Damit ist $\mathrm{Id}(B)$ das Urbild eines Primideals (nämlich des Nullideals) und somit nach Aufgabe 4.16 selbst ein Primideal. Aufgrund von Lemma 4.3 ist $V(\mathrm{Id}(B))$ irreduzibel.

$◻$

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