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

Ebene polynomiale Parametrisierungen

Wir betrachten jetzt Abbildungen ${}\varphi \colon {\mathbb {A} }_{K}^{1}\rightarrow {\mathbb {A} }_{K}^{2}$ , die durch zwei Polynome ${}P,Q\in K[T]$ in einer Variablen gegeben sind. Das Bild einer solchen Abbildung liegt in einer affinen algebraischen Kurve, wie der folgende Satz zeigt. Man spricht auch von parametrisierten Kurven oder genauer von polynomial parametrisierten Kurven. Es konkurrieren hier zwei Standpunkte, wie man eine algebraische Kurve beschreiben kann. Die Punkte einer durch eine Kurvengleichung gegebenen Kurve sind nur implizit gegeben. Man kann zwar zu jedem Punkt der Ebene leicht überprüfen, ob er auf der Kurve liegt, es ist aber im Allgemeinen schwierig, Punkte auf der Kurve zu finden oder explizit anzugeben. Eine parametrisierte Kurve ist hingegen explizit gegeben, zu jedem Punkt der affinen Geraden kann man den Bildpunkt einfach ausrechnen und erhält so die Kurvenpunkte explizit. Es ist aber nicht jede algebraische Kurve durch Polynome parametrisierbar.

Satz Satz 6.1 ändern

Es sei ${}K$ ein Körper und seien ${}P,Q\in K[T]$ zwei Polynome.

Dann gibt es ein Polynom ${}F\in K[X,Y]$ , ${}F\neq 0$ , mit ${}F(Q,P)=0$ . D.h. das Bild einer polynomial parametrisierten Kurve liegt in einer ebenen algebraischen Kurve ${}C=V(F)$ .

Wenn ${}K$ unendlich ist und ${}(P,Q)$ nicht beide konstant sind, so ist der Zariski-Abschluss des Bildes eine irreduzible Kurve ${}C$ .

Beweis

Es seien ${}d$ und ${}e$ die Grade von ${}P$ und ${}Q$ . Wir berechnen die Monome

P^{i}Q^{j}.

Dies sind Polynome in ${}T$ vom Grad ${}di+ej$ . Zu ${}i\leq n$ und ${}j\leq m$ gibt es ${}(n+1)(m+1)$ solche Monome. Die Monome ${}P^{i}Q^{j}\,,i\leq n,\,j\leq m$ , leben also allesamt in dem ${}dn+em+1$ -dimensionalen ${}K$ -Vektorraum, der von ${}1=T^{0},T^{1},T^{2},\ldots ,T^{dn+em}$ erzeugt wird. Bei ${}(n+1)(m+1)>dn+em+1$ muss es also eine nicht-triviale lineare Abhängigkeit zwischen diesen ${}P^{i}Q^{j}$ geben. Diese ergibt ein Polynom ${}F(X,Y)\neq 0$ mit ${}F(P,Q)=0$ .

Die angegebene numerische Bedingung ${}(n+1)(m+1)>dn+em+1$ lässt sich mit ${}n,m$ hinreichend groß erfüllen.

Von nun an sei ${}K$ unendlich. Der Zariski-Abschluss des Bildes ${}B=\varphi ({\mathbb {A} }_{K}^{1})$ ist ${}V(\operatorname {Id} \,(B))$ nach Lemma 3.10 und irreduzibel nach Satz 5.10. Da ${}K$ unendlich ist und die Abbildung nicht konstant ist, muss wegen der Irreduzibilität auch ${}V(\operatorname {Id} \,(B))$ unendlich viele Punkte enthalten. Nach Lemma 4.3 ist ${}\operatorname {Id} \,(B)$ ein Primideal und enthält nach dem ersten Teil ein ${}F\in \operatorname {Id} \,(B)$ , ${}F\neq 0$ . Da ${}K[X,Y]$ faktoriell ist, muss auch ein Primfaktor von ${}F$ dazu gehören, sodass wir annehmen können, dass ${}F$ ein Primpolynom ist. Wir haben die Inklusion

{}B\subseteq {\overline {B}}=V(\operatorname {Id} \,(B))\subseteq V(F)\,.

Für ein ${}H\in \operatorname {Id} \,(B)$ ist

{}V(\operatorname {Id} \,(B))\subseteq V(H)\cap V(F)\,

unendlich, sodass es nach Satz 4.8 einen gemeinsamen nichtkonstanten Faktor von ${}H$ und ${}F$ geben muss. Da ${}F$ prim ist, muss ${}H$ ein Vielfaches von ${}F$ sein und ${}\operatorname {Id} (B)=(F)$ .

\Box

Beispiel Referenznummer erstellen

Wir betrachten die Kurve, die durch die Parametrisierung

x=t^{2}+t+1\,\,{\text{  und }}\,\,y=2t^{2}+3t-1

gegeben ist. Es ist ${}x-1=t^{2}+t$ und ${}y+1=2t^{2}+3t$ . Eine einfache Addition ergibt

{}(y+1)-2(x-1)=3t-2t=t\,.

Daher können wir

{}x-1=t^{2}+t=(y-2x+3)^{2}+(y-2x+3)\,

schreiben. Ausmultiplizieren ergibt insgesamt die Gleichung

{}y^{2}+4x^{2}-4xy-15x+7y+13=0\,.

Beispiel Beispiel 6.3 ändern

Wir betrachten die durch

P=t^{2}-1\,\,{\text{  und }}\,\,Q=t^{3}-t=t(t^{2}-1)

gegebene Abbildung

{\mathbb {A} }_{K}^{1}\longrightarrow {\mathbb {A} }_{K}^{2}.

Für die beiden Punkte ${}t=\pm 1$ ergibt sich der Wert ${}(0,0)$ . Für alle anderen Stellen ${}t\neq \pm 1$ kann man

{}t={\frac {t^{3}-t}{t^{2}-1}}={\frac {Q(t)}{P(t)}}\,

schreiben. D.h. dass ${}t$ aus den Bildwerten rekonstruierbar ist, und das bedeutet, dass die Abbildung dort injektiv ist. Die Bildkurve ist also eine Kurve, die sich an genau einer Stelle überschneidet.

Wir bestimmen die Kurvengleichung, und schreiben ${}x=t^{2}-1$ und ${}y=t^{3}-t$ . Es ist ${}t^{2}=x+1$ und

{}y^{2}=t^{2}{\left(t^{2}-1\right)}^{2}=t^{2}x^{2}=(x+1)x^{2}=x^{3}+x^{2}\,.

Das beschreibende Polynom ist also

Y^{2}-X^{3}-X^{2}.

Rationale Parametrisierungen

Betrachten wir eine rationale Funktion

{}Y={\frac {P}{Q}}\,

mit Polynomen ${}P,Q\in K[T]$ in einer Variablen. Hier hat man in natürlicher Weise sofort eine neue Form der Parametrisierung, indem man die Abbildung

{\mathbb {A} }_{K}^{1}\supseteq D(Q)\longrightarrow {\mathbb {A} }_{K}^{2},\,t\longmapsto \left(t,\,{\frac {P(t)}{Q(t)}}\right),

betrachtet. Dabei ist ${}D(Q)$ der Definitionsbereich der Abbildung, und zwar besteht

{}D(Q)={\mathbb {A} }_{K}^{1}\setminus V(Q)\,

aus allen Punkten, wo das Nennerpolynom ${}Q$ nicht ${}0$ ist. Offenbar kann man mit dieser Abbildung wieder alle Punkte des Graphen der rationalen Funktion erfassen, d.h. sie leistet ebenso wie eine polynomiale Parametrisierung eine explizite Beschreibung der Kurve. Es ist also zur Beschreibung von Kurven sinnvoll, auch Parametrisierungen zuzulassen, bei denen die Komponentenfunktionen rational sind.

Definition Referenznummer erstellen

Zwei rationale Funktionen ${}\varphi _{1}={\frac {P_{1}}{Q_{1}}}$ und ${}\varphi _{2}={\frac {P_{2}}{Q_{2}}}$ mit ${}P_{1},P_{2},Q_{1},Q_{2}\in K[T]$ , ${}Q_{1},Q_{2}\neq 0$ , heißen eine rationale Parametrisierung einer algebraischen Kurve ${}C=V(F)$ ( $F\in K[X,Y]$ nicht konstant), wenn

{}F(\varphi _{1}(T),\varphi _{2}(T))=0\,

ist und ${}(\varphi _{1},\varphi _{2})$ nicht konstant ist.

Man beachte, dass die Gleichheit in der vorstehenden Definition im rationalen Funktionenkörper zu verstehen ist, also in ${}K(T)$ . Bei unendlichem ${}K$ ist dies äquivalent damit, dass diese Gleichheit für alle Werte ${}t\in K$ gilt, für die die Nennerpolynome definiert sind.

Definition Referenznummer erstellen

Eine ebene algebraische Kurve ${}C=V(F)$ heißt rational, wenn sie irreduzibel ist und es eine rationale Parametrisierung für sie gibt.

Das folgende einfache Beispiel zeigt, dass man mit rationalen Funktionen mehr Kurven parametrisieren kann, als wenn man nur mit Polynomen arbeitet. Es sei aber schon hier erwähnt, dass dieser Unterschied im Kontext der projektiven Geometrie wieder verschwindet.

Beispiel Referenznummer erstellen

Wir betrachten die Hyperbel ${}H=V(XY-1)$ und behaupten, dass es keine polynomiale Parametrisierung davon gibt. Dies folgt einfach daraus, dass zu zwei Polynomen ${}P(t)$ und ${}Q(t)$ die Bedingung, für jedes ${}t$ auf ${}H$ zu liegen, gerade

P(t)\cdot Q(t)=1{\text{ für alle }}t\in {\mathbb {A} }_{K}^{1}

bedeutet, bzw., dass ${}P(t)\cdot Q(t)=1$ im Polynomring ${}K[t]$ ist (was im Fall eines unendlichen Körpers äquivalent ist; bei einem endlichen Körper ist die zweite Identität die „richtige“ Bedingung). Das bedeutet aber, dass diese Polynome invers zueinander sind und daher Einheiten sind. Im Polynomring sind aber lediglich die Konstanten ${}\neq 0$ Einheiten. Also sind beide Polynome konstant und damit ist die dadurch definierte Abbildung konstant, und es liegt keine polynomiale Parametrisierung vor. Dagegen ist

{\mathbb {A} }_{K}^{1}\setminus \{0\}\longrightarrow {\mathbb {A} }_{K}^{2},\,t\longmapsto \left(t,\,{\frac {1}{t}}\right),

eine rationale Parametrisierung der Hyperbel.

Wir wollen zeigen, dass das Bild einer nicht-konstanten rationalen Abbildung stets eine algebraische Gleichung erfüllt, also stets eine rationale Parametrisierung einer algebraischen Kurve liefert. Im polynomialen Fall ergab sich eine algebraische Gleichung aus einem Zählargument (es musste eine Gleichung geben, da die Anzahl der Monome in zwei Variablen „schneller mit dem Grad wächst“ als die in einer Variablen). Wir werden ein ähnliches Argument verwenden, allerdings in Kombination mit einem weiteren Trick, der „Homogenisierung“. Bei diesem Trick wird unter Hinzunahme einer weiteren Variablen (das ist der Preis, den man dabei zahlen muss) eine nicht-homogene Situation homogen gemacht. Diesen Prozess verwenden wir hier rein algebraisch, dahinter steht aber das Zusammenspiel zwischen affiner und projektiver Geometrie.

Definition Referenznummer erstellen

Sei ${}F\in K[X_{1},\ldots ,X_{n}]$ , ${}F\neq 0$ , ein Polynom in ${}n$ Variablen mit der homogenen Zerlegung

{}F=\sum _{i=0}^{d}F_{i}\,

und sei ${}Z$ eine weitere Variable. Dann nennt man das homogene Polynom

{}{\hat {F}}=\sum _{i=0}^{d}F_{i}Z^{d-i}\in K[X_{1},\ldots ,X_{n},Z]\,

vom Grad ${}d$ die Homogenisierung von ${}F$ .

Aus der Homogenisierung kann man das ursprüngliche Polynom zurückgewinnen, wenn man die zusätzliche Variable ${}Z$ gleich ${}1$ setzt. Man spricht von dehomogenisieren.

Lemma

Es seien ${}P_{1},P_{2},P_{3}\in K[S,T]$ drei homogene Polynome.

Dann gibt es ein homogenes Polynom ${}F\in K[X,Y,Z]$ , ${}F\neq 0$ , mit

${}F(P_{1},P_{2},P_{3})=0\,.$

Beweis

Dies folgt aus einem ähnlichen Abzählargument wie im Beweis zu Satz 6.1.

\Box

Beispiel Referenznummer erstellen

Wir betrachten die Abbildung

(S,T)\longmapsto (S^{2},T^{2},ST)=(X,Y,Z),

die durch homogene Polynome (sogar durch Monome) gegeben ist. Es ist einfach, eine algebraische Relation für das Bild zu finden, es ist nämlich

{}Z^{2}=(ST)^{2}=S^{2}T^{2}=XY\,,

d.h. das Bild der Abbildung liegt in ${}V(Z^{2}-XY)$ . Siehe auch Aufgabe 6.25.

Satz Satz 6.10 ändern

Es seien zwei rationale Funktionen ${}\varphi _{1}={\frac {P_{1}}{Q_{1}}}$ und ${}\varphi _{2}={\frac {P_{2}}{Q_{2}}}$ mit ${}P_{1},P_{2},Q_{1},Q_{2}\in K[T]$ , ${}Q_{1},Q_{2}\neq 0$ , gegeben, die nicht beide konstant seien.

Dann gibt es ein nichtkonstantes Polynom ${}F\in K[X,Y]$ mit

${}F(\varphi _{1}(T),\varphi _{2}(T))=0\,.$

Das bedeutet, dass ${}\varphi _{1}$ und ${}\varphi _{2}$ eine rationale Parametrisierung definieren.

Beweis

Wir können durch Übergang zu einem Hauptnenner annehmen, dass die rationale Abbildung durch

\varphi _{1}={\frac {P_{1}}{Q}}\,\,{\text{  und }}\,\,\varphi _{2}={\frac {P_{2}}{Q}}

mit ${}P_{1},P_{2},Q\in K[T]$ , ${}Q\neq 0$ gegeben ist. Es seien ${}H'_{1},H'_{2},H'_{3}\in K[T,S]$ die Homogenisierungen von diesen Polynomen mit der neuen Variablen ${}S$ und es sei ${}e$ der größte Grad dieser Polynome. Wir setzen ${}H_{i}=S^{e-\operatorname {grad} \,(H_{i}')}H'_{i}$ . Die ${}H_{1},H_{2},H_{3}$ haben dann alle den Grad ${}e$ und ihre Dehomogenisierungen ( ${}S=1$ ) sind nach wie vor ${}P_{1},P_{2},Q$ . Nach Lemma 6.8 gibt es ein homogenes Polynom ${}F\in K[U,V,W]$ , ${}F\neq 0$ , vom Grad ${}d$ (bezüglich ${}U,V,W$ ) mit

{}F(H_{1},H_{2},H_{3})=0\,.

Wir betrachten

{}{\frac {1}{W^{d}}}F(U,V,W)=F{\left({\frac {U}{W}},{\frac {V}{W}},{\frac {W}{W}}\right)}\,,

welches ein Polynom in den beiden rationalen Funktionen ${}{\frac {U}{W}},{\frac {V}{W}}$ ist. Für diesen Übergang ist es wichtig, dass ${}F$ homogen ist. Einsetzen der homogenen Polynome in diese Gleichung ergibt

{}0=F{\left({\frac {H_{1}}{H_{3}}},{\frac {H_{2}}{H_{3}}},1\right)}\,.

Dies ist eine Gleichheit im Quotientenkörper von ${}K[S,T]$ . Wenn man darin ${}S=1$ setzt (also dehomogenisiert), so erhält man

{}0=F{\left({\frac {P_{1}}{Q}},{\frac {P_{2}}{Q}}\right)}\,,

also eine Gleichung für die ursprünglichen rationalen Funktionen.

\Box

Bemerkung

Man kann einen Schritt weiter gehen und sich fragen, ob es noch andere Möglichkeiten gibt, eine algebraische Kurve ${}C=V(F)$ durch eine Abbildung ${}\varphi \colon K\rightarrow K^{2}$ zu beschreiben, wo ${}\varphi$ aus einer größeren Funktionenklasse sein darf. Ein wichtiger Satz ist hier der Satz über implizite Funktionen, der für ${}K=\mathbb {R}$ oder ${}K={\mathbb {C} }$ besagt, dass falls die partiellen Ableitung von ${}F$ an einem Punkt der Kurve nicht beide null sind, dass es dann eine (unendlich oft und sogar analytisch) differenzierbare Abbildung ${}\varphi$ gibt, die die Kurve in einer gewissen kleinen offenen Umgebung des Punktes beschreibt. Eine algebraische Version des Satzes über implizite Funktionen findet sich im Potenzreihenansatz wieder, den wir später behandeln werden.