Glatte projektive Kurve/Geschlecht/Textabschnitt

Definition

Zu einer glatten projektiven Kurve ${}C$ über einem algebraisch abgeschlossenen Körper ${}K$ nennt man

${}g:=\dim _{K}{\left(H^{1}{\left(C,{\mathcal {O}}_{C}\right)}\right)}\,$

das Geschlecht der Kurve.

Die Dimension von ${}H^{1}(C,{\mathcal {O}}_{C})$ ist nach Fakt endlich, das Geschlecht einer Kurve ist also eine natürliche Zahl.

Beispiel

Das Geschlecht der projektiven Geraden

${}{\mathbb {P} }_{K}^{1}=\operatorname {Proj} {\left(K[X,Y]\right)}\,$

ist nach Fakt gleich ${}0$.

Definition

Eine glatte projektive Kurve ${}C$ über einem algebraisch abgeschlossenen Körper ${}K$ vom Geschlecht ${}1$ nennt man elliptische Kurve.

Bemerkung  

Wählt man die komplexen Zahlen ${}{\mathbb {C} }$ als Grundkörper, so besitzt das Geschlecht einer glatten projektiven Kurve eine einfache topologische Interpretation. Eine solche Kurve kann man als eine kompakte eindimensionale komplexe Mannigfaltigkeit (Riemannsche Fläche) und als eine reell zweidimensionale kompakte orientierte Mannigfaltigkeit auffassen. Letztere lassen sich topologisch einfach klassifizieren, und zwar ist eine solche Mannigfaltigkeit homöomorph zu einer Kugeloberfläche, an die ${}g$ Henkel angeklebt werden. Diese Zahl nennt man das (topologische) Geschlecht der reellen Fläche und damit auch der Kurve. Man kann zeigen, dass das algebraisch über die erste Kohomologie der Strukturgarbe definierte Geschlecht mit diesem topologischen Geschlecht übereinstimmt. Die komplex-projektive Gerade ist eine zweidimensionale Sphäre und hat keinen Henkel, ihr topologisches Geschlecht ist also ${}0$. Eine Fläche vom Geschlecht ${}1$ ist ein Torus (ein Autoreifen) der homöomorph zu ${}S^{1}\times S^{1}$ ist. Projektive Kurven vom Geschlecht ${}1$, also elliptische Kurven, haben diese topologische Gestalt.

Satz

Es sei ${}C=V_{+}(f)\subset {\mathbb {P} }_{K}^{2}$ eine ebene projektive Kurve über einem algebraisch abgeschlossenen Körper ${}K$ vom Grad ${}d$.

Dann ist

${}\dim _{K}{\left(H^{1}{\left(C,{\mathcal {O}}_{C}\right)}\right)}={\frac {(d-1)(d-2)}{2}}\,.$

Beweis

Wir betrachten die kurze exakte Sequenz (vergleiche Aufgabe)

$0\longrightarrow {\mathcal {O}}_{{\mathbb {P} }_{K}^{2}}(-d){\stackrel {f}{\longrightarrow }}{\mathcal {O}}_{{\mathbb {P} }_{K}^{2}}\longrightarrow {\mathcal {O}}_{C}\longrightarrow 0$

von kohärenten Garben auf der projektiven Ebene. Die Strukturgarbe ${}{\mathcal {O}}_{C}$ der Kurve wird dabei als Garbe auf der projektiven Ebene aufgefasst, ihr Träger ist ${}C$. Wir betrachten den folgenden Ausschnitt der langen exakten Kohomologiesequenz

$H^{1}{\left({\mathbb {P} }_{K}^{2},{\mathcal {O}}_{{\mathbb {P} }_{K}^{2}}\right)}=0\longrightarrow H^{1}{\left({\mathbb {P} }_{K}^{2},{\mathcal {O}}_{C}\right)}\longrightarrow H^{2}{\left({\mathbb {P} }_{K}^{2},{\mathcal {O}}_{{\mathbb {P} }_{K}^{2}}(-d)\right)}\longrightarrow H^{2}{\left({\mathbb {P} }_{K}^{2},{\mathcal {O}}_{{\mathbb {P} }_{K}^{2}}\right)}=0,$

wobei die Gleichung links und rechts auf Fakt beruht. Der Raum ${}H^{2}{\left({\mathbb {P} }_{K}^{2},{\mathcal {O}}_{{\mathbb {P} }_{K}^{2}}(-d)\right)}$ besitzt, ebenfalls wegen Fakt, eine Basis, die aus sämtlichen Monomen ${}x^{i}y^{j}z^{k}$ besteht, deren Exponenten alle negativ sind und die Bedingung ${}i+j+k=-d$ erfüllen. Somit geht es um die Anzahl der Tupel ${}({\alpha },\beta ,\gamma )$ vom Grad ${}d-3$. Nach Aufgabe ist diese Anzahl gleich ${}{\binom {d-3+2}{2}}={\binom {d-1}{2}}={\frac {(d-1)(d-2)}{2}}$. Nach Fakt ist

${}H^{1}{\left({\mathbb {P} }_{K}^{2},{\mathcal {O}}_{C}\right)}=H^{1}{\left(C,{\mathcal {O}}_{C}\right)}\,,$

was die Behauptung ergibt.

$\Box$

Im glatten Fall liefert der vorstehende Satz eine Formel zur Berechnung des Geschlechts von ebenen Kurven. Es ist

	${}d$	${}1$	${}2$	${}3$	${}4$	${}5$
	${}g$	${}0$	${}0$	${}1$	${}3$	${}6$

Für ${}d=1$ liegt eine projektive Gerade mit Geschlecht ${}0$ vor, für ${}d=2$ eine ebene projektive Quadrik (ein Kegelschnitt), die ebenfalls Geschlecht ${}0$ besitzt und in der Tat isomorph zur projektiven Gerade ist. Für ${}d=3$ ist das Geschlecht ${}1$, es handelt sich also um eine elliptische Kurve. Man kann zeigen, dass sich jede elliptische Kurve als eine ebene kubische Kurve realisieren lässt. Es ist keineswegs selbstverständlich, dass es glatte projektive Kurven zu jedem Geschlecht gibt. Aufgrund von Fakt lassen sich nicht alle als ebene Kurve realisieren.

Bemerkung  

Das kohomologisch definierte Geschlecht einer glatten projektiven Kurve über ${}K$ stimmt mit der Vektorraumdimension der kanonischen Garbe überein. Die kanonische Garbe ist im eindimensionalen Fall einfach die Garbe der Kähler-Differentiale ${}\Omega _{C{|}K}$, also die Kotangentialgarbe, also die duale Garbe zur Tangentialgarbe. Es gilt also

${}\dim _{K}{\left(H^{1}{\left(C,{\mathcal {O}}_{C}\right)}\right)}=\dim _{K}{\left(\Gamma {\left(C,\omega _{C}\right)}\right)}\,.$

Im ebenen Fall ergibt sich dies direkt: Wegen Fakt ist das Geschlecht gleich ${}{\frac {(d-1)(d-2)}{2}}$. Aufgrund von Fakt ist ${}\omega _{C}\cong {\mathcal {O}}_{C}(d-3)$ und nach Aufgabe ist die Dimension von ${}\Gamma {\left(C,{\mathcal {O}}_{C}(d-3)\right)}$ ebenfalls gleich ${}{\frac {(d-1)(d-2)}{2}}$.

Im allgemeinen Fall gilt die Serre-Dualität, die unter Anderem besagt, dass für eine lokal freie Garbe ${}{\mathcal {F}}$ auf einer glatten projektiven Kurve ${}C$ die Kohomologiegruppe ${}H^{1}(C,\omega _{C})$ ein eindimensionaler Vektorraum über ${}K$ ist und dass die natürliche Abbildung

$\operatorname {Hom} {\left({\mathcal {F}},\omega _{C}\right)}\times H^{1}(C,{\mathcal {F}})\longrightarrow H^{1}(C,\omega _{C})\cong K$

eine vollständige Dualität liefert. D.h. die Vektorräume ${}\operatorname {Hom} {\left({\mathcal {F}},\omega _{C}\right)}$ und ${}H^{1}(C,{\mathcal {F}})$ sind dual zueinander und haben insbesondere die gleiche Dimension. Für die Strukturgarbe ${}{\mathcal {F}}={\mathcal {O}}_{C}$ ergibt sich wegen ${}\operatorname {Hom} {\left({{\mathcal {\mathcal {O}}}_{C}},\omega _{C}\right)}=\Gamma {\left(C,\omega _{C}\right)}$ (nach Fakt) die Dualität zwischen ${}H^{1}(C,{\mathcal {O}}_{C})$ und ${}\Gamma {\left(C,\omega _{C}\right)}$.