Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 5/kontrolle

Die Tangentialabbildung

Zu einer holomorphen Abbildung

$\varphi \colon G\longrightarrow {\mathbb {C} }^{n}$

mit ${}G\subseteq {\mathbb {C} }^{m}$ offen ist zu einem Punkt ${}P\in G$ das totale Differential

$\left(D\varphi \right)_{P}\colon {\mathbb {C} }^{m}\longrightarrow {\mathbb {C} }^{n}$

die lineare Approximation der Abbildung in dem Punkt. Auf einer komplexen Mannigfaltigkeit kann man ebenfalls eine holomorphe Abbildung durch eine lineare Abbildung zwischen den Tangentialräumen approximieren.

Lemma Lemma 5.1 ändern

Es seien ${}M$ und ${}N$ komplexe Mannigfaltigkeiten und es sei

$\varphi \colon M\longrightarrow N$

eine holomorphe Abbildung. Es sei ${}P\in M$ und ${}Q=\varphi (P)$ und es seien

$\gamma _{1},\gamma _{2}\colon B\longrightarrow M$

zwei holomorphe Kurven mit einem offenen Ball ${}0\in B$ und ${}\gamma _{1}(0)=\gamma _{2}(0)=P$. Es seien ${}\gamma _{1}$ und ${}\gamma _{2}$ im Punkt ${}P$ tangential äquivalent.

Dann sind auch die Verknüpfungen ${}\varphi \circ \gamma _{1}$ und ${}\varphi \circ \gamma _{2}$ tangential äquivalent in ${}Q$.

Beweis

Siehe Aufgabe 5.1.

$\Box$

Aufgrund dieses Lemmas ist der folgende Begriff wohldefiniert.

Definition Referenznummer erstellen

Es seien ${}M$ und ${}N$ komplexe Mannigfaltigkeiten und es sei

$\varphi \colon M\longrightarrow N$

eine holomorphe Abbildung. Es sei ${}P\in M$ und ${}Q=\varphi (P)$. Dann nennt man die Abbildung

$T_{P}M\longrightarrow T_{\varphi (P)}N,\,[\gamma ]\longmapsto [\varphi \circ \gamma ],$

die zugehörige Tangentialabbildung im Punkt ${}P$. Sie wird mit ${}T_{P}(\varphi )$ bezeichnet.

Lemma Lemma 5.3 ändern

Es seien ${}M$ und ${}N$ komplexe Mannigfaltigkeiten und es sei

$\varphi \colon M\longrightarrow N$

eine holomorphe Abbildung. Es sei ${}P\in M$ , ${}Q=\varphi (P)$ und es sei

$T_{P}(\varphi )\colon T_{P}M\longrightarrow T_{Q}N$

die zugehörige Tangentialabbildung. Dann gelten folgende Aussagen.

1. Wenn ${}M\subseteq {\mathbb {C} }^{m}$ und ${}N\subseteq {\mathbb {C} }^{n}$ offene Teilmengen sind und die Tangentialräume mit den umgebenden komplexen Räumen identifiziert werden, so ist die Tangentialabbildung gleich dem totalen Differential ${}\left(D\varphi \right)_{P}$.
2. Wenn

   $\alpha \colon U\longrightarrow V$

   mit ${}P\in U$ und ${}V\subseteq {\mathbb {C} }^{m}$ und

   $\beta \colon U'\longrightarrow W$

   mit ${}Q\in U'$ und ${}W\subseteq {\mathbb {C} }^{n}$ Karten sind, so ist das Diagramm

   ${\begin{matrix}T_{p}M&{\stackrel {T_{P}\varphi }{\longrightarrow }}&T_{Q}N&\\\downarrow &&\downarrow &\\{\mathbb {C} }^{m}&{\stackrel {\left(D{\left(\beta \circ \varphi \circ \alpha ^{-1}\right)}\right)_{\alpha (P)}}{\longrightarrow }}&{\mathbb {C} }^{n}&\!\!\!\!\!\\\end{matrix}}$

   kommutativ, wobei die vertikalen Abbildungen durch die Isomorphismen ${}[\gamma ]\mapsto (\alpha \circ \gamma )'(0)$ bzw. ${}[\delta ]\mapsto (\beta \circ \delta )'(0)$ gegeben sind.

3. ${}T_{P}(\varphi )$ ist ${}{\mathbb {C} }$- linear.
4. Wenn ${}L$ eine weitere komplexe Mannigfaltigkeit, ${}R\in L$ und

   $\psi \colon L\longrightarrow M$

   eine weitere holomorphe Abbildung mit ${}\psi (R)=P$ ist, so gilt

   ${}T_{R}(\varphi \circ \psi )=T_{P}(\varphi )\circ T_{R}(\psi )\,.$

5. Wenn ${}\varphi$ eine biholomorphe Abbildung ist, dann ist ${}T_{P}(\varphi )$ ein Isomorphismus.
6. Für eine holomorphe Kurve

   $\gamma \colon B\longrightarrow M$

   mit einem offenen Ball ${}B\subseteq {\mathbb {C} }$, ${}0\in B$ und ${}\gamma (0)=P$ gilt im Tangentialraum ${}T_{P}M$ die Gleichheit

   ${}[\gamma ]=(T_{0}(\gamma ))(1)\,.$

Beweis

(1). Jeder Tangentialvektor wird repräsentiert durch einen affin-linearen Weg ${}z\mapsto \gamma (z)=P+zv$ mit einem Vektor ${}v\in {\mathbb {C} }^{m}$, sodass wir zwischen diesen Vektoren und den durch sie definierten Tangentialvektoren hin- und herwechseln können. Für den zusammengesetzten Weg ${}\varphi \circ \gamma$ gilt nach der Kettenregel

${}(T_{P}\varphi )([\gamma ])=[\varphi \circ \gamma ]=(\varphi \circ \gamma )'(0)=(D\varphi )_{P}\left({\left(D\gamma \right)}_{0}{\left(1\right)}\right)={\left(D\varphi \right)}_{P}{\left(v\right)}\,.$

(2). Die Kettenregel angewendet auf (wobei man eventuell ${}B$ und ${}V$ durch kleinere offene Mengen ersetzen muss)

$B{\stackrel {\alpha \circ \gamma }{\longrightarrow }}V{\stackrel {\beta \circ \varphi \circ \alpha ^{-1}}{\longrightarrow }}W$

liefert

${\left(D\left(\beta \circ \varphi \circ \alpha ^{-1}\right)\right)}_{\alpha (P)}{\left((\alpha \circ \gamma )'(0)\right)}=(\beta \circ (\varphi \circ \gamma ))'(0)\,,$

was gerade die Kommutativität des Diagramms ist.
(3). Die Aussage folgt aus (2) und der Linearität des totalen Differentials.
(4). Durch Übergang zu Karten folgt dies aus (2) und der Kettenregel.
(5) folgt aus (4) angewendet auf die Umkehrabbildung ${}\varphi ^{-1}$.
(6). Das Element ${}1\in {\mathbb {C} }$ ist als Tangentenvektor an einem Punkt ${}a\in B$ als der Weg ${}s\mapsto a+s$ zu interpretieren. Bei ${}a=0$ ist dies der identische Weg. Daher ist

${}(T_{0}(\gamma ))(1)=(T_{0}(\gamma ))(\operatorname {Id} )=[\gamma \circ \operatorname {Id} ]=[\gamma ]\,.$

$\Box$

Die Tangentialabbildungen in den einzelnen Punkten kann man zu einer gesamtabbildung zwischen den Tangentialbündeln zusammenfassen.

Definition Referenznummer erstellen

Es seien ${}M$ und ${}N$ komplexe Mannigfaltigkeiten und

$\varphi \colon M\longrightarrow N$

eine holomorphe Abbildung. Es seien ${}TM$ und ${}TN$ die zugehörigen Tangentialbündel. Dann versteht man unter der Tangentialabbildung

$T(\varphi )\colon TM\longrightarrow TN$

die disjunkte Vereinigung der Tangentialabbildungen in den einzelnen Punkten, also

${}T(\varphi )=\biguplus _{P\in M}T_{P}(\varphi )\,.$

Diese Abbildung zwischen den Tangentialbündel ist selbst eine holomorphe Abbildung. Es liegt ein kommutatives Diagramm

${\begin{matrix}TM&{\stackrel {T(\varphi )}{\longrightarrow }}&TN&\\\downarrow &&\downarrow &\\M&{\stackrel {\varphi }{\longrightarrow }}&N&\!\!\!\!\!\\\end{matrix}}$

von holomorphen Abbildungen zwischen komplexen Mannigfaltigkeiten vor.

Der projektive Raum

Die Geraden durch einen Punkt

Jede riemannsche Fläche besitzt lokal die gleichen Eigenschaften, da sie über die Karten lokal biholomorph zu einer offenen Kreisscheibe von ${}{\mathbb {C} }$ ist. Daher stehen die globalen Eigenschaften einer riemannschen Fläche im Mittelpunkt. Da wir riemannsche Flächen häufig als zusammenhängend voraussetzen (bei einer nicht zusammenhängenden riemannschen Fläche kann man die einzelnen Zusammenhangskomponenten hintereinander untersuchen), ist die Kompaktheit die wichtigste globale Eigenschaft. Kompakte riemannsche Flächen nennt man auch „geschlossen“, die nicht kompakten dann auch offen, und in der Tat sind diese insofern offen, dass man sie unter gewissen Bedingungen zu einer kompakten riemannschen Fläche auffüllen kann und diese dann nicht mehr weiter sinnvoll aufgefüllt werden können und daher abgeschlossen sind. Offene Teilmengen von ${}{\mathbb {C} }$ sind nicht kompakt. Als einzige kompakte riemannsche Fläche kennen wir bisher die projektive Gerade ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ (die riemannsche Zahlenkugel) aus Beispiel 2.6. Wir besprechen die Konstuktion von komplex-projektiven Räumen ${}{\mathbb {P} }_{\mathbb {C} }^{n}$, die kompakte komplexe Mannigfaltigkeiten in jeder Dimension ${}n$ liefern. Mit einer geeigneten Version des Satzes über implizite Abbildungen erhält man dann als abgeschlossene Teilmengen der projektiven Räume eine Vielzahl an kompakten riemannschen Flächen. Die Konstruktion der projektiven Räume kann man zunächst für jeden Körper durchführen, später konzentrieren wir uns auf die Grundkörper ${}\mathbb {R}$ und ${}{\mathbb {C} }$. Im Kontext der projektiven Geometrie bezeichnet man zur Abgrenzung den „üblichen“ Raum ${}K^{n}$ auch als den affinen Raum über ${}K$ und schreibt dafür auch ${}{{\mathbb {A} }_{K}^{n}}$.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper. Der projektive ${}n$-dimensionale Raum ${}{\mathbb {P} }_{K}^{n}$ besteht aus allen Geraden des ${}{{\mathbb {A} }_{K}^{n+1}}$ durch den Nullpunkt, wobei diese Geraden als Punkte aufgefasst werden. Ein solcher Punkt wird repräsentiert durch homogene Koordinaten ${}(a_{0},a_{1},\ldots ,a_{n})$, wobei nicht alle ${}a_{i}=0$ sein dürfen, und wobei zwei solche Koordinatentupel genau dann den gleichen Punkt repräsentieren, wenn sie durch Multiplikation mit einem Skalar ${}\lambda \in K^{\times }$ ineinander übergehen.

Satz Satz 5.6 ändern

Es sei ${}K$ ein Körper und sei ${}{\mathbb {P} }_{K}^{n}$ ein projektiver Raum. Es sei ${}i\in \{0,1,\ldots ,n\}$ fixiert.

Dann gibt es eine natürliche Abbildung

$\varphi _{i}\colon {{\mathbb {A} }_{K}^{n}}\longrightarrow {\mathbb {P} }_{K}^{n},\,(u_{1},\ldots ,u_{n})\longmapsto (u_{1},\ldots ,u_{i},1,u_{i+1},\ldots ,u_{n}).$

Diese Abbildung ist injektiv und induziert eine Bijektion zu denjenigen Punkten des projektiven Raumes, bei denen die ${}i$-te homogene Koordinate nicht ${}0$ ist. Die Umkehrabbildung wird durch

${\mathbb {P} }_{K}^{n}\supset D_{+}(X_{i}):={\left\{(x_{0},x_{1},\ldots ,x_{n})\mid x_{i}\neq 0\right\}}\longrightarrow {{\mathbb {A} }_{K}^{n}},\,(x_{0},x_{1},\ldots ,x_{n})\longmapsto {\left({\frac {x_{0}}{x_{i}}},{\frac {x_{1}}{x_{i}}},\ldots ,{\frac {x_{i-1}}{x_{i}}},{\frac {x_{i+1}}{x_{i}}},\ldots ,{\frac {x_{n}}{x_{i}}}\right)},$

gegeben.

Der projektive Raum wird überdeckt von diesen ${}n+1$ affinen Räumen. Das Komplement eines solchen affinen Raumes ${}{{\mathbb {A} }_{K}^{n}}\cong D_{+}(X_{i})\subset {\mathbb {P} }_{K}^{n}$ ist ein ${}(n-1)$-dimensionaler projektiver Raum.

Beweis

Die Abbildung ist offensichtlich wohldefiniert, da die ${}1$ sicher stellt, dass mindestens eine homogene Koordinate nicht ${}0$ ist. Die Abbildung ist injektiv, da aus einer Gleichung der Form (für homogene Koordinaten)

${}(u_{1},\ldots ,u_{i},1,u_{i+1},\ldots ,u_{n})=\lambda (v_{1},\ldots ,v_{i},1,v_{i+1},\ldots ,v_{n})\,$

sofort ${}\lambda =1$ wegen der ${}1$ folgt. Die Umkehrabbildung ist auf der angegebenen Teilmenge wohldefiniert, und ist invers zu der Abbildung. Die Überdeckungseigenschaft ist klar, da für jeden Punkt des projektiven Raumes mindestens eine homogene Koordinate nicht ${}0$ ist. Das Komplement zu ${}D_{+}(X_{i})$ ist

${}V_{+}(X_{i})={\left\{(x_{0},x_{1},\ldots ,x_{i-1},0,x_{i+1},\ldots ,x_{n})\mid x_{j}\in K,\,x_{j}\neq 0{\text{ für ein }}j\right\}}\,$

mit keinerlei weiteren Einschränkung an die übrigen ${}n$ Variablen und mit der Identifizierung von zwei solchen Tupeln, wenn sie durch Multiplikation mit einem Skalar ineinander übergehen.

$\Box$

Die offenen Mengen ${}D_{+}(X_{i})$ werden wir gleich als Kartengebiete und die Umkehrabbildungen ${}\varphi ^{-1}$ als Kartenabbildungen auffassen, um auf den projektiven Räumen eine Mannigfaltigkeitssstruktur zu erhalten.

Definition Referenznummer erstellen

Die Abbildung

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

die einem Punkt ${}\neq 0$ die durch diesen Punkt und den Nullpunkt bestimmte Gerade zuordnet, heißt Kegelabbildung.

Wir beschränken uns nun auf den Fall ${}K=\mathbb {R} ,{\mathbb {C} }$. Mit der Kegelabbildung definieren wir zunächst eine Topologie auf den projektiven Räumen.

Definition Definition 5.8 ändern

Der reell-projektive Raum ${}{\mathbb {P} }_{\mathbb {R} }^{n}$ und der komplex-projektive Raum ${}{\mathbb {P} }_{\mathbb {C} }^{n}$ wird mit der Quotiententopologie zur Kegelabbildung

${{\mathbb {A} }_{\mathbb {K} }^{n+1}}\setminus \{0\}\longrightarrow {\mathbb {P} }_{\mathbb {K} }^{n}$

versehen.

Lemma Lemma 5.9 ändern

Für den reell-projektiven und den komplex-projektiven Raum sind

die Teilmengen ${}D_{+}(X_{i})$ offen in der natürlichen Topologie und homöomorph zu ${}\mathbb {R} ^{n}$ bzw. ${}{\mathbb {C} }^{n}$.

Insbesondere sind die reell- und komplex-projektiven Räume topologische Mannigfaltigkeiten.

Beweis

Das Urbild von ${}D_{+}(X_{i})$ unter der kanonischen Abbildung ${}{{\mathbb {A} }_{\mathbb {K} }^{n+1}}\setminus \{0\}\rightarrow {\mathbb {P} }_{\mathbb {K} }^{n}$ ist ${}D(X_{i})$, also das Komplement eines ${}n$-dimensionalen Untervektorraumes und damit offen in der natürlichen Topologie. Wir betrachten die stetigen Abbildungen

${\mathbb {K} }^{n}\cong V(X_{i}-1)\subset D(X_{i})\longrightarrow D_{+}(X_{i}).$

Die Gesamtabbildung ist eine Bijektion und ${}D_{+}(X_{i})$ trägt die Quotiententopologie unter der zweiten Abbildung. Wir müssen zeigen, dass die Bijektion eine Homöomorphie ist. Dazu genügt es, die Offenheit der Abbildung zu zeigen. Es sei also ${}U\subseteq V(X_{i}-1)\cong {\mathbb {K} }^{n}$ offen und ${}U'$ das zugehörige Bild in ${}D_{+}(X_{i})$. Die Offenheit von ${}U'$ ist nach Definition der Quotiententopologie äquivalent dazu, dass das Urbild ${}U^{\prime \prime }\subseteq D(X_{i})$ von ${}U'$ offen ist. Diese Menge ${}U^{\prime \prime }$ besteht aus allen Punkten in ${}D(X_{i})$, die auf einer Geraden durch den Nullpunkt und durch einen Punkt aus ${}U$ liegen. Es sei ${}Q$ ein solcher Punkt, und $Q=\lambda P$ mit $P\in U$ und ${}\lambda \in {\mathbb {K} }^{\times }$. Es sei ${}B$ eine offene Ballumgebung um ${}P$ in ${}V(X_{i}-1)$. Dann ist auch der dadurch definierte Kegel in ${}D(X_{i})$ offen und liegt ganz in ${}U^{\prime \prime }$.

$\Box$

Lemma Lemma 5.10 ändern

Man kann den reell-projektiven Raum ${}{\mathbb {P} }_{\mathbb {R} }^{n}$ durch die ${}n$-dimensionale Sphäre ${}S^{n}\subset \mathbb {R} ^{n+1}$ modulo der Äquivalenzrelation repräsentieren, die antipodale Punkte miteinander identifiziert.

Den komplex-projektiven Raum ${}{\mathbb {P} }_{\mathbb {C} }^{n}$ kann man durch die ${}(2n+1)$-dimensionale Sphäre ${}S^{2n+1}\subset \mathbb {R} ^{2n+2}\cong {\mathbb {C} }^{n+1}$ modulo der Äquivalenzrelation repräsentieren, die zwei Punkte ${}z,w\in S^{2n+1}$ miteinander identifiziert, wenn man ${}z=\lambda w$ mit einem ${}\lambda \in S^{1}\subseteq {\mathbb {C} }$ schreiben kann.

Beweis

Wir behandeln die beiden Fälle parallel. Jeder Punkt der Sphäre ${}S$ definiert eine (reelle oder komplexe) Gerade durch den Nullpunkt im umliegenden Raum $\mathbb {R} ^{n+1}$ oder ${\mathbb {C} }^{n+1}$ und damit einen Punkt im projektiven Raum. Zwei Punkte ${}z,w\in S$ definieren genau dann die gleiche Gerade, wenn es einen Skalar ${}\lambda \in {\mathbb {K} }$ mit ${}z=\lambda w$ gibt. Wegen der Multiplikativität der Norm ist dann auch ${}\Vert {z}\Vert =\vert {\lambda }\vert \cdot \Vert {w}\Vert$, woraus sich wegen ${}z,w\in S$ sofort ${}\vert {\lambda }\vert =1$ ergibt. Dies bedeutet im reellen Fall ${}\lambda =\pm 1$ und im komplexen Fall, dass ${}\lambda \in S^{1}\subset {\mathbb {C} }$ ist, also zum Einheitskreis gehört.

$\Box$

Lemma Lemma 5.11 ändern

Die reell-projektiven und die komplex-projektiven Räume sind kompakt und hausdorffsch in der natürlichen Topologie.

Beweis

Es gibt eine surjektive stetige Abbildung von einer Sphäre auf einen jeden projektiven Raum. Die Sphäre ist eine abgeschlossene und beschränkte Teilmenge eines reellen endlichdimensionalen Vektorraumes und daher nach dem Satz von Heine-Borel kompakt. Da das Bild einer kompakten Menge unter einer stetigen Abbildung nach Satz Anhang 2.9 wieder kompakt ist, folgt, dass die projektiven Räume kompakt sind.

Für die Hausdorff-Eigenschaft seien ${}P,Q\in {\mathbb {P} }_{\mathbb {K} }^{n}$ zwei verschiedene Punkte. Man kann annehmen, dass sie beide auf einem der affinen überdeckenden Räume ${}D_{+}(X_{i})$ liegen. Damit gibt es nach Lemma 5.9 trennende Umgebungen.

$\Box$

Lemma Referenznummer erstellen

Die reell-projektiven Räume sind reell ${}C^{\infty }$- differenzierbare Mannigfaltigkeiten und die komplex-projektiven Räume sind komplexe Mannigfaltigkeiten.

Beweis

Topologische Mannigfaltigkeiten liegen aufgrund von Lemma 5.9 vor. Wir betrachten zwei Kartengebiete ${}D_{+}(X_{i})$ und ${}D_{+}(X_{j})$ mit ${}i<j$. Nach Satz 5.6 wird der Kartenwechsel durch

$\varphi _{j}^{-1}\circ \varphi _{i}\colon {\mathbb {K} }^{n}\supseteq {\left\{\left(u_{1},\ldots ,u_{n}\right)\mid u_{j}\neq 0\right\}}\longrightarrow {\left\{\left(v_{1},\ldots ,v_{n}\right)\mid v_{i}\neq 0\right\}}\subseteq {\mathbb {K} }^{n}$

mit der Gesamtzuordnung

$\left(u_{1},\ldots ,u_{n}\right)\longmapsto \left(u_{1},\ldots ,u_{i},\,1,\,u_{i+1},\ldots ,u_{n}\right)\longmapsto \left({\frac {u_{1}}{u_{j}}},\ldots ,{\frac {u_{i}}{u_{j}}},\,{\frac {1}{u_{j}}},\ldots ,{\frac {u_{j-1}}{u_{j}}},\,{\frac {u_{j+1}}{u_{j}}},\ldots ,{\frac {u_{n}}{u_{j}}}\right)$

gegeben. Als rationale Abbildungen sind diese Kartenwechsel unendlich oft differenzierbar bzw. holomorph.

$\Box$

Glatte ebene Kurven und riemannsche Flächen

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper. Zu einem homogenen Polynom ${}F\in K[X_{0},X_{1},\ldots ,X_{n}]$ bezeichnet man die Menge

$V_{+}(F)={\left\{P=(x_{0},\ldots ,x_{n})\in {\mathbb {P} }_{K}^{n}\mid F(x_{0},\ldots ,x_{n})=0\right\}}\,$

als die projektive Nullstellenmenge zu ${}F$.

Aufgrund der Homogenität ist diese Nullstellenmenge wohldefiniert, siehe Aufgabe 5.11.

Wenn man ${}V_{+}(F)\subseteq {\mathbb {P} }_{K}^{n}$ bestimmen möchte, so kann man die disjunkte Zerlegung

${}{\mathbb {P} }_{K}^{n}=D_{+}(X_{0})\uplus V_{+}(X_{0})\,$

(ebenso für jede andere Variable) ausnutzen. Zur Bestimmung von ${}V_{+}(F)\cap D_{+}(X_{0})$ setzt man in ${}F$ die Variable ${}X_{0}$ gleich ${}1$ (das nennt man Dehomogenisierung) und muss die Lösungen im affinen Raum ${}{{\mathbb {A} }_{K}^{n}}\cong D_{+}(X_{0})$ von ${}F{\frac {1}{X_{0}}}=0$ finden. Dabei wird das Polynom inhomogen, gleichzeitig eliminiert man eine Variable. Die Dimension bleibt gleich, die Situation wird aber affin. Zur Bestimmung von ${}V_{+}(F)\cap V_{+}(X_{0})$ setzt man in ${}F$ die Variable ${}X_{0}$ gleich ${}0$ und muss die Lösungen im projektiven Raum ${}{\mathbb {P} }_{K}^{n-1}\cong V_{+}(X_{0})$ von ${}F{\frac {0}{X_{0}}}=0$ finden. Hier eliminert man eine Variable, das Polynom bleibt homogen, man bleibt projektiv, die Dimension reduziert sich um ${}1$.

Wir beschränken uns nun auf die Situation ${}V_{+}(F)\subseteq {\mathbb {P} }_{\mathbb {C} }^{2}$, man spricht von komplex-projektiven ebenen Kurven (wobei Kurven hier komplex-eindimensional bedeutet, reell gesehen handelt es sich um Flächen).

Satz Satz 5.14 ändern

Es sei ${}F\in {\mathbb {C} }[X,Y,Z]$ ein homogenes Polynom vom Grad ${}d$. Für jeden Punkt ${}P\in V_{+}(F)\subset {\mathbb {P} }_{\mathbb {C} }^{2}$ sei zumindest eine partielle Ableitung ${}{\frac {\partial F}{\partial X}}(P),{\frac {\partial F}{\partial Y}}(P),{\frac {\partial F}{\partial Z}}(P)$ ungleich ${}0$.

Dann ist ${}V_{+}(F)$ eine kompakte riemannsche Fläche.

Beweis

Wir betrachten die Situation auf dem affinen Stück

${}{\mathbb {C} }^{2}\cong D_{+}(X)\subseteq {\mathbb {P} }_{\mathbb {C} }^{2}\,.$

Dabei ist ${}V_{+}(F)\cap D_{+}(X)=V({\tilde {F}})$, wobei ${}{\tilde {F}}$ hier die Dehomogenisierung von ${}F$ bezüglich der Variablen ${}X$ bezeichnet, also in ${}F$ einfach ${}X=1$ gesetzt wird und die verbleibenden Variablen ${}Y$ und ${}Z$ sich auf ${}{\mathbb {C} }^{2}$ beziehen. Bei diesem Prozess ist (siehe Aufgabe 5.13)

${}{\left({\frac {\partial F}{\partial Y}}\right)}{\left({\frac {1}{X}}\right)}={\frac {\partial {\tilde {F}}}{\partial Y}}\,$

und

${}{\left({\frac {\partial F}{\partial Z}}\right)}{\left({\frac {1}{X}}\right)}={\frac {\partial {\tilde {F}}}{\partial Z}}\,.$

Wegen Aufgabe 5.12 ist in jedem Punkt der Kurve zumindest eine dieser partiellen Ableitungen ${}\neq 0$. Somit sind auf ${}V_{+}(F)\cap D_{+}(X)=V({\tilde {F}})\subseteq {\mathbb {C} }^{2}$ und ebenso auf den beiden anderen affinen Ausschnitten die Bedingungen aus Satz 2.7 erfüllt und die ${}V({\tilde {F}})$ sind jeweils eine riemannsche Fläche. Auf ${}D_{+}(X)\cap D_{+}(Y)$ passen die komplexen Strukturen zusammen, da der Satz über implizite Abbildungen eine eindeutige komplexe Struktur festlegt.

Die Kompaktheit ergibt sich aus Lemma 5.11.

$\Box$

Wir geben dazu zwei konkrete Korollare.

Korollar Referenznummer erstellen

Zu ${}d\in \mathbb {N} _{+}$ ist die ebene projektive Kurve ${}C=V_{+}(X^{d}+Y^{d}+Z^{d})\subset {\mathbb {P} }_{\mathbb {C} }^{2}$ eine kompakte riemannsche Fläche.

Beweis

Wir verwenden Satz 5.14. Die partiellen Ableitungen sind ${}dX^{d-1},dY^{d-1},dZ^{d-1}$. Diese Ableitungen sind nur bei ${}x=y=z=0$ simultan gleich ${}0$, doch diese Koordinaten repräsentieren keinen Puntk der projektiven Ebene und keinen Punkt der Kurve.

$\Box$

Solche Kurven nennt man Fermat-Kurven.

Korollar Korollar 5.16 ändern

Es sei ${}G\in {\mathbb {C} }[X,Z]$ ein homogenes Polynom vom Grad ${}d+1$, das in (homogen) verschiedene homogene Linearfaktoren der Form ${}\alpha _{i}X+\beta _{i}Z$ mit ${}\alpha _{i}\neq 0$ zerfalle.

Dann ist die durch die Gleichung ${}Y^{d}Z=G(X,Z)$ gegebene projektive Kurve im ${}{\mathbb {P} }_{\mathbb {C} }^{2}$ eine kompakte riemannsche Fläche.

Beweis

Wir verwenden Satz 5.14. Auf der offenen Menge ${}D_{+}(Z)$ erhält man die Gleichung ${}Y^{d}-G(X)=0$, wobei ${}G$ als Polynom in der einen Variablen ${}X$ keine mehrfache Nullstelle besitzt. Die partiellen Ableitungen sind ${}dY^{d-1}$ und ${}G'$. Wenn diese beiden in einem Punkt ${}(x,y)$ der Kurve verschwinden, so ist ${}y=0$ und damit ${}G(x)=0=G'(x)$, was wegen der Nullstellenbedingung nicht sein kann. Auf dem Komplement ${}V_{+}(Z)$ wird die Gleichung zu

${}0=G(X,0)=\alpha X^{d+1}\,$

mit einem Vorfaktor ${}\alpha \neq 0$, woraus ${}X=0$ folgt. Es gibt also nur noch den weiteren Punkt ${}P$ mit den Koordinaten ${}(0,1,0)$. Eine affine Umgebung dieses Punktes ist ${}D_{+}(Y)$, die dehomogenisierte Version der Gleichung auf diesem Teilstück ist ${}Z=G(X,Z)$. Die partielle Ableitung nach ${}Z$ ist ${}1+\sum \gamma _{ij}X^{i}Z^{j}$ mit ${}i+j=d$. Im Nullpunkt, der dem Punkt ${}P$ entspricht, ist dies gleich ${}1$, daher verschwinden dort ebenfalls nicht alle partiellen Ableitungen.

$\Box$