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

Projektion weg von einem Punkt

Definition

Die Abbildung

${\mathbb {P} }_{K}^{n}\setminus \{(1,0,\ldots ,0)\}\longrightarrow {\mathbb {P} }_{K}^{n-1},\,(x_{0},x_{1},\ldots ,x_{n})\longmapsto (x_{1},\ldots ,x_{n}),$

heißt die Projektion weg vom Punkt ${}(1,0,\ldots ,0)$.

Diese Abbildung ist ein wohldefinierter Morphismus, der außerhalb des Zentrums ${}(1,0,\ldots ,0)$ der Projektion definiert ist. Jedem anderen Punkt wird derjenige Punkt des ${}{\mathbb {P} }_{K}^{n-1}$ zugeordnet, der der Geraden durch den Punkt und dem Zentrum entspricht. Daher ist die Abbildung surjektiv und jede Faser ist eine projektive Gerade ohne den Zentrumspunkt, also eine affine Gerade (es liegt ein sogenanntes Geradenbündel über dem ${}{\mathbb {P} }_{K}^{n-1}$ vor).

Es handelt sich um die Fortsetzung der Kegelabbildung ${}{{\mathbb {A} }_{K}^{n}}\setminus \{(0,\ldots ,0)\rightarrow {\mathbb {P} }_{K}^{n-1}$ auf den projektiven Raum über die Einbettung ${}{{\mathbb {A} }_{K}^{n}}=D_{+}(X_{0})\subseteq {\mathbb {P} }_{K}^{n}$. Die entsprechende Abbildung kann man zu jedem Zentrumspunkt definieren, siehe Aufgabe 29.21.

Abbildungen nach ${}{\mathbb {P} }_{K}^{1}$

Der folgende Satz liefert eine neue Version der Noetherschen Normalisierung.

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}C\subset {\mathbb {P} }_{K}^{2}$ eine ebene projektive Kurve vom Grad ${}d$.

Dann gibt es einen surjektiven Morphismus

$C\longrightarrow {\mathbb {P} }_{K}^{1}$

derart, dass alle Fasern aus maximal ${}d$ Punkten bestehen.

Beweis

Es sei ${}P\in {\mathbb {P} }_{K}^{2}$ ein Punkt, der nicht auf der Kurve liegt. Einen solchen Punkt gibt es, da der Körper insbesondere unendlich ist. Wir betrachten die Projektion weg von ${}P$, die insgesamt einen Morphismus

$C\hookrightarrow {\mathbb {P} }_{K}^{2}\setminus \{P\}\longrightarrow {\mathbb {P} }_{K}^{1}$

induziert. Die Faser dieses Morphismus über einem Punkt ${}Q\in {\mathbb {P} }_{K}^{1}$ (der eine Richtung in $P\in {\mathbb {P} }_{K}^{2}$ repräsentiert) besteht genau aus den Punkten der Kurve, die auf der durch ${}Q$ definierten Geraden

${}G=V_{+}(aX+bY+cZ)\cong {\mathbb {P} }_{K}^{1}\subset {\mathbb {P} }_{K}^{2}\,$

liegen. Daher wird die Faser über ${}Q$ auf ${}G$ beschrieben, indem man in der Kurvengleichung ${}C=V_{+}(F)$ mittels der Geradengleichung eine Variable eliminiert. Das Ergebnis ist ein homogenes Polynom ${}{\bar {F}}$ in zwei Variablen vom Grad ${}d$, das nicht ${}0$ ist, denn sonst wäre ${}P$ ein Punkt der Kurve. Da wir über einem algebraisch abgeschlossenen Körper sind, besitzt dieses Polynom ${}{\bar {F}}$ mindestens eine und höchstens ${}d$ Nullstellen, die alle von ${}P$ verschieden sind. Dies ergibt die Surjektivität und die Abschätzung für die Faser.

$\Box$

Satz

Es sei ${}K$ ein Körper und ${}C\subset {\mathbb {P} }_{K}^{2}$ eine glatte irreduzible ebene projektive Kurve. Es sei ${}D=C\cap D_{+}(Z)\cong K\!\!-\!\operatorname {Spek} \,{\left(R\right)}$ ein affines Teilstück davon. Es sei ${}q=g/h\in Q(R)$ eine rationale Funktion (mit $g,h\in R,\,h\neq 0$).

Dann gibt es einen eindeutigen Morphismus

$\varphi \colon C\longrightarrow {\mathbb {P} }_{K}^{1}$

derart, dass das Diagramm

${\begin{matrix}D(h)&{\stackrel {g/h}{\longrightarrow }}&{\mathbb {A} }_{K}^{1}\cong D_{+}(s)&\\\downarrow &&\downarrow &\\C&{\stackrel {\varphi }{\longrightarrow }}&{\mathbb {P} }_{K}^{1}&\!\!\!\!\!\\\end{matrix}}$

kommutiert.

Beweis

Wir definieren zunächst auf ${}D$ eine Fortsetzung

$\varphi \colon D\longrightarrow {\mathbb {P} }_{}^{1}$

der rationalen Funktion ${}g/h$. Es sei hierzu ${}P\in D$ ein Punkt der Kurve. Bei ${}P\in D(h)$ ist nichts zu tun, sei also ${}h(P)=0$. Da die Kurve glatt ist, ist nach Satz 23.7 der lokale Ring ${}B$ der Kurve im Punkt ${}P$ ein diskreter Bewertungsring. Daher hat der Quotient ${}g/h$ dort eine Beschreibung als

${}{\frac {g}{h}}=u\pi ^{n}\,$

mit $u\in B^{\times }$ und $n\in \mathbb {Z}$ (${}\pi$ sei eine Ortsuniformisierende). Es gibt eine offene Umgebung ${}P\in D(\psi )\subseteq D$ derart, dass ${}\pi$ und ${}u$ über ${}D(\psi )$ definiert sind und ${}u$ dort eine Einheit ist. Bei ${}n\geq 0$ ist ${}g/h\in R_{\psi }$ und die Undefiniertheitsstelle ist also sogar als Abbildung nach ${}{\mathbb {A} }_{K}^{1}$ „hebbar“. Bei ${}n\leq 0$ ist der umgekehrte Bruch ${}h/g=u^{-1}\pi ^{-n}$ auf ${}D(\psi )$ definiert als eine Abbildung nach ${}{\mathbb {A} }_{K}^{1}$. Mittels der „verdrehten Einbettung“ ${}{\mathbb {A} }_{K}^{1}\cong D_{+}(t)\hookrightarrow {\mathbb {P} }_{K}^{1}$ erhält man eine Abbildung nach ${}{\mathbb {P} }_{K}^{1}$.

Wir müssen zeigen, dass diese zwei Morphismen in die projektive Gerade dort, wo beide definiert sind, übereinstimmen. Das sind die Punkte ${}P$, in denen ${}\varphi$ weder eine Nullstelle noch einen Pol besitzt. Die Verträglichkeit folgt daraus, dass in einer offenen Umgebung ${}P\in U$ eine Abbildung

$g/h\colon U\longrightarrow ({\mathbb {A} }_{K}^{1})^{\times }={\mathbb {A} }_{K}^{1}\setminus \{0\}$

vorliegt, und dass das Diagramm

${\begin{matrix}({\mathbb {A} }_{K}^{1})^{\times }&{\stackrel {i^{-1}}{\longrightarrow }}&{\mathbb {A} }_{K}^{1}\cong D_{+}(t)&\\\downarrow &&\downarrow &\\{\mathbb {A} }_{K}^{1}\cong D_{+}(s)&{\stackrel {}{\longrightarrow }}&{\mathbb {P} }_{K}^{1}&\!\!\!\!\!\\\end{matrix}}$

kommutiert. Dies ergibt einen wohldefinierten Morphismus auf dem affinen Stück ${}D$.

Für einen beliebigen Punkt der projektiven Kurve ${}C$ und eine affine Umgebung ${}P\in D'\subset C$ liegt die gleiche Situation vor, da ${}D_{+}(h)\cap D'\neq \emptyset$ ist, und somit auf einer offenen nichtleeren Menge die rationale Funktion (mit anderen Zählern und Nennern) definiert ist. Damit lässt sich das vorhergehende Argument genauso anwenden.

Die Eindeutigkeit folgt daraus, dass auf jeder affinen offenen Menge ${}P\in U$ der Durchschnitt ${}U\cap D_{+}(h)$ nicht leer ist. Ein Morphismus auf einer integren Varietät in die affine Gerade ${}{\mathbb {A} }_{K}^{1}$ ist durch die rationale Funktion eindeutig festgelegt.

$\Box$

Bemerkung  

Man kann Satz 29.3 insbesondere auf ${}C={\mathbb {P} }_{K}^{1}$ und eine rationale Funktion ${}F=G/H$ auf ${}D={\mathbb {A} }_{K}^{1}\subset {\mathbb {P} }_{K}^{1}$ anwenden (die projektive Ebene spielt in diesem Fall keine Rolle). Die Fortsetzung von ${}F\colon D(H)\rightarrow {\mathbb {A} }_{K}^{1}$ auf die projektive Gerade hat die Form

${\mathbb {P} }_{K}^{1}\longrightarrow {\mathbb {P} }_{K}^{1},\,(x,y)\longmapsto (H_{1},H_{2}),$

wobei ${}H_{1},H_{2}$ die (minimal) gleichgradig gemachten Homogenisierungen von ${}G$ und ${}H$ sind. Dabei werden die Polstellen von ${}F$ auf ${}\infty$ abgebildet, das Bild von ${}\infty$ hängt von den Graden und den Leitkoeffizienten von ${}G$ und ${}H$ ab.

Beispiel

Die Inversenbildung

${\mathbb {A} }_{K}^{1}\supset D(z)\longrightarrow {\mathbb {A} }_{K}^{1},\,z\longmapsto z^{-1},$

lässt sich zu einem bijektiven Morphismus

${\mathbb {P} }_{K}^{1}\longrightarrow {\mathbb {P} }_{K}^{1},\,(x,y)\longmapsto (y,x),$

fortsetzen. Dies folgt direkt aus Satz 29.3. Dabei geht ein Punkt ${}z\neq 0$ auf ${}1/z$ und der Nullpunkt geht auf den unendlich fernen Punkt ${}\infty$.

Parametrisierte projektive ebene Kurven

Sei eine rational parametrisierte affine Kurve ${}s\mapsto {\left({\frac {\varphi _{1}(s)}{\psi (s)}},{\frac {\varphi _{2}(s)}{\psi (s)}}\right)}$ gegeben. Wir haben in Satz 6.10 gesehen, dass das Bild eine algebraische Gleichung erfüllt. Dabei haben wir im dortigen Beweis schon die homogenisierte Parametrisierung verwendet, die jetzt als projektive Fortsetzung wieder auftaucht.

Satz

Es sei

${\mathbb {A} }_{K}^{1}\supseteq D(\psi )\longrightarrow {\mathbb {A} }_{K}^{2},\,s\longmapsto {\left({\frac {\varphi _{1}(s)}{\psi (s)}},{\frac {\varphi _{2}(s)}{\psi (s)}}\right)},$

eine rationale Parametrisierung in gekürzter (d.h. die $\varphi _{1},\varphi _{2},\psi$ haben keinen gemeinsamen Teiler) Darstellung. Es sei ${}d$ der maximale Grad der beteiligten Polynome und es seien ${}{\hat {\varphi _{1}}},{\hat {\varphi _{2}}},{\hat {\psi }}$ die Homogenisierungen (bezüglich der neuen Variablen ${}t$) davon. Es seien ${}H_{i}$ die Produkte dieser Homogenisierungen mit einer Potenz von ${}t$ derart, dass ${}H_{1},H_{2},H_{3}$ alle den Grad ${}d$ besitzen.

Dann definieren die ${}H_{1},H_{2},H_{3}$ einen Morphismus

$H\colon {\mathbb {P} }_{K}^{1}\longrightarrow {\mathbb {P} }_{K}^{2},\,(s,t)\longmapsto \left(H_{1}(s,t),\,H_{2}(s,t),\,H_{3}(s,t)\right),$

derart, dass das Diagramm

${\begin{matrix}{\mathbb {A} }_{K}^{1}\supseteq D(\psi )&{\stackrel {}{\longrightarrow }}&{\mathbb {A} }_{K}^{2}\cong D_{+}(Z)&\\\downarrow &&\downarrow &\\{\mathbb {P} }_{K}^{1}&{\stackrel {H}{\longrightarrow }}&{\mathbb {P} }_{K}^{2}&\!\!\!\!\!\\\end{matrix}}$

kommutativ ist.

Dabei liegt das Bild unter ${}H$ auf dem projektiven Abschluss der affinen Bildkurve.

Beweis

Die Abbildung ${}H$ ist aufgrund von Aufgabe 28.32 wohldefiniert, und zwar auf ganz ${}{\mathbb {P} }_{K}^{1}$, da ${}\varphi _{1},\varphi _{2},\psi$ insgesamt teilerfremd sind. Zur Kommutativität muss man lediglich beachten, dass ${}s\in D(\psi )\subseteq {\mathbb {A} }_{K}^{1}$ einerseits über ${}(s,1)$ auf

${}(H_{1}(s,1),H_{2}(s,1),H_{3}(s,1))=\left(\varphi _{1}(s),\,\varphi _{2}(s),\,\psi (s)\right)\,$

abgebildet wird und andererseits auf

${}{\left({\frac {\varphi _{1}(s)}{\psi (s)}},{\frac {\varphi _{2}(s)}{\psi (s)}},1\right)}=\left(\varphi _{1}(s),\,\varphi _{2}(s),\,\psi (s)\right)\,.$

Für den Zusatz sei ${}C$ der affine Abschluss des Bildes und ${}{\bar {C}}\subset {\mathbb {P} }_{K}^{2}$ der projektive Abschluss davon. Wir betrachten das offene Komplement ${}U={\mathbb {P} }_{K}^{2}\setminus {\bar {C}}$. Da die Abbildung stetig ist, ist das Urbild ${}H^{-1}(U)$ offen in ${}{\mathbb {P} }_{K}^{1}$, und es kann nur Punkte aus ${}{\mathbb {P} }_{K}^{1}\setminus D(\psi )$ enthalten. Eine endliche und offene Teilmenge der projektiven Geraden muss aber leer sein.

$\Box$

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und sei ${}F\in K[X]$ ein Polynom in einer Variablen vom Grad ${}d\geq 1$.

Dann wird der projektive Abschluss ${}C$ des Graphen ${}V(Y-F(X))$ durch ${}V{\left(YZ^{d-1}-{\hat {F}}(X,Z)\right)}$ beschrieben, wobei ${}{\hat {F}}(X,Z)$ die Homogenisierung von ${}F$ bezeichnet. Dabei gibt es in ${}C$ bei ${}d=1$ (mit $F=aX+b$) noch den glatten Punkt ${}(1,a,0)$ und bei ${}d\geq 2$ noch den Punkt ${}(0,1,0)$, der bei ${}d\geq 3$ singulär ist.

Bei ${}d\geq 2$ besitzt der Punkt im Unendlichen die Multiplizität ${}d-1$.

Beweis

Die Gleichung für den projektiven Abschluss folgt direkt aus Korollar 28.10. Den Schnitt von ${}C$ mit der projektiven Geraden ${}V_{+}(Z)$ im Unendlichen erhält man, wenn man in der Gleichung ${}Z=0$ setzt. Bei ${}d=1$ liegt insgesamt die Geradengleichung ${}V_{+}(Y-aX-bZ)$ vor, und der Schnitt mit ${}V_{+}(Z)$ legt den einzigen Punkt ${}(1,a,0)$ fest. Bei ${}d\geq 2$ liegt die Kurvengleichung

$V_{+}{\left(YZ^{d-1}-s_{d}X^{d}-s_{d-1}X^{d-1}Z-\cdots -s_{0}Z^{d}\right)}$

mit ${}s_{d}\neq 0$ vor. Setzt man ${}Z=0$, so bleibt ${}V_{+}(-s_{d}X^{d})$ übrig, woraus ${}X=0$ folgt. Dies entspricht dem einzigen unendlich fernen Punkt ${}(0,1,0)$.

Für die Multiplizität betrachtet man die affine Gleichung der Kurve auf ${}D_{+}(Y)$. D.h. man setzt ${}Y=1$ und erhält die affine Gleichung

$V{\left(Z^{d-1}-s_{d}X^{d}-s_{d-1}X^{d-1}Z-\cdots -s_{0}Z^{d}\right)},$

und der Punkt ist in diesen Koordinaten der Nullpunkt. Daher ist die Multiplizität gleich ${}d-1$ mit der einzigen durch ${}Z=0$ gegebenen Tangente. Bei ${}g\geq 3$ ist die Multiplizität ${}\geq 2$ und daher liegt ein singulärer Punkt vor.

$\Box$

Dieser Satz ist so zu verstehen, dass bei ${}d\geq 2$ die ${}y$-Achse (dafür steht der Punkt $(0,1,0)$) „asymptotisch“ zum Graphen gehört (und auch die einzige Asymptote des Graphen ist). Die unendlich ferne Gerade ${}V_{+}(Z)$ ist die (einzige) Tangente an diesem Punkt. Die Normalisierung von ${}C$ ist der ${}{\mathbb {P} }_{K}^{1}$, und zwar ist die Normalisierungsabbildung nach Satz 29.6, angewendet auf die affine Parametrisierung des Graphen

${\mathbb {A} }_{K}^{1}\longrightarrow {\mathbb {A} }_{K}^{1}\times {\mathbb {A} }_{K}^{1}={\mathbb {A} }_{K}^{2}\cong D_{+}(Z)\subset {\mathbb {P} }_{K}^{2},\,x\longmapsto (x,F(x))=(x,F(x),1),$

durch

${\mathbb {P} }_{K}^{1}\longrightarrow C\subset {\mathbb {P} }_{K}^{2},\,(x,t)\longmapsto (xt^{d-1},{\hat {F}}(x,t),t^{d})$

gegeben. Dabei geht der unendlich ferne Punkt ${}(1,0)$ auf ${}(0,s_{d},0)=(0,1,0)$.

Satz

Es sei ${}K$ ein algebraisch abgeschlossener Körper und seien ${}G,H\in K[X]$ Polynome in einer Variablen vom Grad ${}d,e\geq 1$ ohne gemeinsame Nullstelle. Es sei ${}H\neq 0$ und sei ${}F(X)=G(X)/H(X)$ die zugehörige rationale Funktion. Es seien ${}{\hat {G}}(X,Z)$ und ${}{\hat {H}}(X,Z)$ die zugehörigen Homogenisierungen

Dann wird der projektive Abschluss ${}C$ des Graphen von ${}F(X)$ bei ${}d>e$ durch

$V_{+}{\left({\hat {H}}(X,Z)YZ^{d-e-1}-{\hat {G}}(X,Z)\right)}$

und bei ${}d\leq e$ durch

$V_{+}{\left({\hat {H}}(X,Z)Y-{\hat {G}}(X,Z)Z^{e-d+1}\right)}$

beschrieben.

Beweis

Die affine Beschreibung der Kurve ist ${}V(YH-G)$. Nach Korollar 28.10 wird der projektive Abschluss durch die Homogenisierung von ${}YH-G$ beschrieben. Für diese ist der maximale Grad von $YH$ und $G$ ausschlaggebend, der Summand mit kleinerem Grad muss durch eine geeignete Potenz von ${}Z$ „aufgefüllt“ werden. Dies ergibt die angegebenen Gleichungen.

$\Box$

Bemerkung  

Der affine Graph ${}V(YH-G)$ einer rationalen Funktion ${}G/H$ wird durch

${\mathbb {A} }_{K}^{1}\supseteq D(H)\longrightarrow {\mathbb {A} }_{K}^{2},\,x\longmapsto \left(x,\,{\frac {G(x)}{H(x)}}\right)=\left({\frac {xH(x)}{H(x)}},\,{\frac {G(x)}{H(x)}}\right),$

parametrisiert. Wir wenden darauf Satz 29.6 an. Bei

${}d=\operatorname {grad} \,(G)>\operatorname {grad} \,(H)=e\,$

ist die projektive Parametrisierung gleich

${\mathbb {P} }_{K}^{1}\longrightarrow {\mathbb {P} }_{K}^{2},\,(x,y)\longmapsto \left({\hat {H}}(x,y)xy^{d-e-1},\,{\hat {G}}(x,y),\,{\hat {H}}(x,y)y^{d-e}\right),$

bei

${}d=\operatorname {grad} \,(G)\leq \operatorname {grad} \,(H)=e\,$

ist die projektive Parametrisierung gleich

${\mathbb {P} }_{K}^{1}\longrightarrow {\mathbb {P} }_{K}^{2},\,(x,y)\longmapsto \left({\hat {H}}(x,y)x,\,{\hat {G}}(x,y)y^{e-d+1},\,{\hat {H}}(x,y)y\right).$

Monomiale projektive Kurven

Zu einer ebenen monomialen Kurve ${}s\mapsto (s^{e},s^{d})=(x,y)$ mit teilerfremden Exponenten ${}e>d$ gehört nach Satz 29.6 die monomiale projektive Kurve

$(s,t)\longmapsto (s^{e},s^{d}t^{e-d},t^{e}).$

Auf der offenen Menge ${}D_{+}(t)$ ist dies die ursprüngliche Abbildung und auf ${}D_{+}(s)$ ist dies die affine Abbildung

$t\longmapsto (t^{e-d},t^{e}).$

Satz

Seien ${}e>d$ teilerfremd. Für die durch

$(s,t)\longmapsto \left(s^{e},\,s^{d}t^{e-d},\,t^{e}\right)$

gegebene ebene projektive monomiale Kurve ${}C$ vom Grad ${}e$ gelten folgende Aussagen.

1. Die Kurve wird durch die homogene Gleichung ${}Y^{e}=X^{d}Z^{e-d}$ vom Grad ${}e$ beschrieben.
2. Die Kurve ist glatt für alle Punkte $\neq (0,0,1)$ und $\neq (1,0,0)$.
3. Die Kurve hat im Punkt ${}(0,0,1)$ die Multiplizität ${}d$ und im Punkt ${}(1,0,0)$ die Multiplizität ${}e-d$.
4. Bei ${}e\geq 3$ ist die Kurve nicht glatt.

Beweis

1. Die affine Gleichung ist ${}X^{d}-Y^{e}$, und nach Korollar 28.10 wird der projektive Abschluss durch die Homogenisierung, also durch ${}V(X^{d}Z^{e-d}-Y^{e})$ beschrieben.
2. Auf der affinen Kurve ${}V(X^{d}-Y^{e})\subset {\mathbb {A} }_{K}^{2}\subset {\mathbb {P} }_{K}^{2}$ ist nach Satz 20.13 nur der Nullpunkt, der dem projektiven Punkt ${}(0,0,1)$ entpricht, (eventuell) nicht glatt. Die Punkte auf der Kurve außerhalb von ${}D_{+}(Z)$ erhält man, indem man in der Gleichung ${}Z=0$ setzt. Dies erzwingt ${}Y=0$, sodass es lediglich noch den Punkt ${}(1,0,0)$ gibt.
3. Die Multiplizität in einem Punkt ist eine lokale Eigenschaft. Der Punkt ${}(0,0,1)$ entspricht dem Nullpunkt auf der affinen monomialen Kurve ${}V(X^{d}-Y^{e})$, deren Multiplizität im Nullpunkt nach Korollar 23.9 gleich dem kleineren Exponenten, also gleich ${}d$ ist. Der Punkt ${}(1,0,0)$ liegt auf ${}D_{+}(X)$ und dort ist ${}V(Y^{e}-Z^{e-d})$ die affine Gleichung. Die Multiplizität ist wieder der kleinere Exponent, also gleich ${}e-d$.
4. Folgt aus (3).

$\Box$

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