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

Der Beweis der folgenden Aussage erfordert funktionalanalytische Methoden, die wir nicht entwickeln werden.

Satz Satz 26.1 ändern

Es sei ${}X$ eine kompakte zusammenhängende riemannsche Fläche.

Dann ist ${}H^{1}(X,{\mathcal {O}}_{X})$ ein endlichdimensionaler ${}{\mathbb {C} }$- Vektorraum.

Die Dimension dieses Raumes nennt man das (kohomologische) Geschlecht von ${}X$, was wir ab der nächsten Vorlesung systematisch untersuchen werden. Hier werden wir zeigen, wie man mit Satz 26.1 zeigen kann, dass man jede „abstrakte“ kompakte riemannsche Fläche „konkrete“ algebraisch über der projektiven Geraden realisieren kann.

Der Existenzsatz für meromorphe Funktionen

Satz Satz 26.2 ändern

Es sei ${}X$ eine kompakte zusammenhängende riemannsche Fläche und ${}P\in X$ ein Punkt.

Dann gibt es eine nichtkonstante meromorphe Funktion auf ${}X$, die außerhalb von ${}P$ holomorph ist.

Beweis

Nach Satz 26.1 ist ${}H^{1}(X,{\mathcal {O}}_{X})$ endlichdimensional, sei ${}g$ die Dimension. Es sei ${}P\in U$ eine offene Umgebung, die einer offenen Kreisscheibe in ${}{\mathbb {C} }$ mit Koordinate ${}z$ entspreche, und sei

${}V=X\setminus \{P\}\,.$

Dann ist ${}U,V$ eine offene Überdeckung von ${}X$ und ${}U\cap V$ ist eine punktierte Kreisscheibe. Jede auf ${}U\cap V$ definierte holomorphe Funktion definiert via Čech-Kohomologie eine Kohomologieklasse in ${}H^{1}(X,{\mathcal {O}}_{X})$. Dies wenden wir auf die Potenzen ${}z^{-1},z^{-2},z^{-3},\ldots$ an. Wegen der Endlichdimensionalität der Kohomologiegruppe muss es in ${}H^{1}(X,{\mathcal {O}}_{X})$ eine nichttriviale lineare Abhängigkeit zwischen den Klassen ${}[z^{-1}],[z^{-2}],\ldots ,[z^{-g-1}]$ geben. D.h. es gibt eine Linearkombination

${}h=\sum _{i=1}^{g+1}c_{i}z^{-i}\,,$

wo nicht alle Koeffizienten ${}c_{i}$ gleich ${}0$ sind, dessen Klasse die Nullklasse ist. Nach Lemma 22.5 ist die Zuordnung ${}{\check {H}}^{1}(U,V,{\mathcal {O}}_{X})\rightarrow H^{1}(X,{\mathcal {O}}_{X})$ injektiv. Daher ist auch ${}h$ in der Čech-Kohomologie zur gegebenen Überdeckung trivial. Das bedeutet, dass es holomorphe Funktionen

${}f\in \Gamma {\left(U,{\mathcal {O}}_{X}\right)}\,$

und

${}{\tilde {f}}\in \Gamma {\left(V,{\mathcal {O}}_{X}\right)}\,$

gibt mit

${}h=f-{\tilde {f}}\,$

auf ${}U\cap V$. Dann ist

${}{\tilde {f}}=f-h\,$

eine insgesamt meromorphe Funktion auf ${}X$, die auf ${}X\setminus \{P\}$ holomorph ist. Auf ${}U$ liegt eine nichtkonstante meromorphe Funktion mit (eventuell) einem Pol in ${}P$ vor, der nur von ${}h$ abhängt und dessen Polordnung höchstens ${}g+1$ ist.

$\Box$

Die algebraische Realisierbarkeit von kompakten riemannschen Flächen

Satz Satz 26.3 ändern

Es sei ${}X$ eine kompakte zusammenhängende riemannsche Fläche.

Dann gibt es eine surjektive endliche holomorphe Abbildung

$X\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1}.$

Beweis

Nach Satz 26.2 gibt es eine nichtkonstante meromorphe Funktion ${}f$ auf ${}X$. Nach Satz 18.6 entspricht dies einer holomorphen Abbildung von ${}X$ nach ${}{\mathbb {P} }_{\mathbb {C} }^{1}$, die wir ebenfalls mit ${}f$ bezeichnen. Nach Lemma Anhang 3.3 ist die Abbildung eigentlich. Insbesondere sind die Fasern kompakt. Aus der Diskretheit der Fasern bei einer nichttrivialen holomorphen Funktion folgt, dass die Fasern endlich sind. Da das Bild nach Satz Anhang. abgeschlossen und nach Satz 3.15 auch offen ist, folgt, dass die Abbildung surjektiv ist.

$\Box$

Wir wollen ausgehend von Satz 26.3 zeigen, dass jede kompakte riemannsche Fläche sich algebraisch über der projektiven Geraden realisieren lässt. Als Hilfsmittel verwenden wir die elementar-symmetrischen Polynome, siehe den Anhang.

Lemma Lemma 26.4 ändern

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Überlagerung zwischen riemannschen Flächen der Blätterzahl ${}n$. Es sei ${}f$ eine meromorphe Funktion auf ${}Y$. Zu einer offenen Menge ${}U\subseteq X$ mit der Eigenschaft, dass

${}\pi ^{-1}(U)=\biguplus _{i=1}^{n}V_{i}\,$

und ${}\pi _{i}\colon V_{i}\rightarrow U$ biholomorph sind, betrachten wir auf ${}U$ die meromorphen Funktionen

${}f_{i}:=f\circ \pi _{i}^{-1}\,.$

Dann sind die elementar-symmetrischen Polynome ${}E_{j}(f_{1},\ldots ,f_{n})$, ${},j=1,\ldots ,n$, in den ${}f_{i}$ wohldefinierte meromorphe Funktionen auf ganz ${}X$.

Beweis

Auf einer offenen Menge ${}U\subseteq X$ mit der formulierten Eigenschaft kann man ${}f_{i}$ über ${}f_{i}\circ \pi$ auch als Funktionen auf ${}\pi ^{-1}(U)$ auffassen, die invariant unter der Vertauschung der Kopien oberhalb von ${}U$ sind. Die Funktionen ${}E_{j}(f_{1},\ldots ,f_{n})$ sind aufgefasst auf ${}\pi ^{-1}(U)$ ebenfalls invariant unter einer Vertauschung der Indizes ${}i$ und man kann sie daher unmittelbar als meromorphe Funktionen auf ${}U$ auffassen. Zu einer anderen offenen Menge mit der formulierten Eigenschaft erhält man jeweils die gleiche Funktion, da die Nummerierung der Urbilder keine Rolle spielt.

$\Box$

Lemma Lemma 26.5 ändern

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Überlagerung zwischen zusammenhängenden riemannschen Flächen der Blätterzahl ${}n$. Es sei ${}f$ eine meromorphe Funktion auf ${}Y$.

Dann erfüllt ${}f$ eine algebraische Gleichung über dem Körper der meromorphen Funktionen von ${}X$ vom Grad ${}n$.

Beweis

Wir betrachten die meromorphen Funktionen ${}f_{i}$ im Sinne von Lemma 26.4 und das Polynom

$\prod _{i=1}^{n}(T-f_{i})=T^{n}-E_{1}(f)T^{n-1}\pm \ldots \pm E_{n-1}(f_{1},\ldots ,f_{n})T\pm E_{n}(f)\,,$

wobei die ${}E_{j}(f)$ die elementar-symmetrischen Polynome in den ${}f_{i}$ sind, die auf ganz ${}X$ definiert sind. Diese sind meromorphe Funktionen auf ${}X$, das Polynom gehört zum Polynomring über dem Körper der meromorphen Funktionen zu ${}X$ und die Faktorzerlegung existiert über dem Körper der meromorphen Funktionen zu ${}U$ bzw. zu ${}\pi ^{-1}(U)$. Wenn man in dieses Polynom ${}f$ einsetzt, so erhält man die Nullfunktion, da man dies auf den offenen Mengen ${}V_{i}$ lokal überprüfen kann. D.h. ${}f$ erfüllt eine algebraische Gleichung vom Grad ${}n$ über dem Körper der meromorphen Funktionen von ${}X$.

$\Box$

Lemma Lemma 26.6 ändern

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Abbildung zwischen zusammenhängenden riemannschen Flächen der Blätterzahl ${}n$. Es sei ${}f$ eine meromorphe Funktion auf ${}Y$.

Dann erfüllt ${}f$ eine algebraische Gleichung über dem Körper der meromorphen Funktionen von ${}X$ vom Grad ${}n$.

Beweis

Dies kann man nach der Herausnahme von diskreten Punktmengen in ${}X$ und in ${}Y$ auf die unverzweigte Situation ${}Y'\rightarrow X'$ zurückführen und Lemma 26.5 verwenden. Man beachte, dass in dieser Situation die elementar-symmetrischen Funktionen auf ${}X'$ sich auf ganz ${}X$ meromorph fortsetzen lassen. Die Gültigkeit der algebraischen Gleichung liegt nach dem Identitätssatz auf ganz ${}Y$ vor, da sie auf einer offenen Teilmenge gilt.

$\Box$

Lemma Lemma 26.7 ändern

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Abbildung zwischen zusammenhängenden riemannschen Flächen der Blätterzahl ${}n$.

Dann ist

${}{\mathcal {M}}(X)\subseteq {\mathcal {M}}(Y)\,$

eine endliche Körpererweiterung vom Grad ${}\leq n$.

Beweis

Nehmen wir an, dass eine Körpererweiterung

${}{\mathcal {M}}(X)\subseteq {\mathcal {M}}(Y)\,$

vorliegt, deren Grad unendlich ist oder endlich ist mit einem Grad, der größer als ${}n$ ist. Im ersten Fall gibt es nach Lemma 26.6 innerhalb von ${}{\mathcal {M}}(Y)$ eine unendliche Kette von endlichen Körpererweiterungen

${}{\mathcal {M}}(X)\subset {\mathcal {M}}(X)[f_{1}]\subset {\mathcal {M}}(X)[f_{1},f_{2}]\subset \ldots \,,$

es gibt dann also auch (wie sowieso im zweiten Fall) eine endliche Körpererweiterung

${}{\mathcal {M}}(X)\subset L\subseteq {\mathcal {M}}(Y)\,,$

deren Grad über ${}{\mathcal {M}}(X)$ größer als ${}n$ ist. Nach Satz 13.15 (Körper- und Galoistheorie (Osnabrück 2018-2019)) gibt es ein ${}f\in L$, das ${}L$ erzeugt, also

${}L={\mathcal {M}}(X)[f]\,.$

Dabei ist der Grad des irreduziblen Minimalpolynoms von ${}f$ gleich dem Grad der Körpererweiterung im Widerspruch zu Lemma 26.6.

$\Box$

Satz Satz 26.8 ändern

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Abbildung zwischen kompakten zusammenhängenden riemannschen Flächen der Blätterzahl ${}n$.

Dann ist

${}{\mathcal {M}}(X)\subseteq {\mathcal {M}}(Y)\,$

eine endliche Körpererweiterung vom Grad ${}n$.

Beweis

Die Abschätzung, dass der Grad der Körpererweiterung höchstens ${}n$ ist, wurde in Lemma 26.7 bewiesen.

Es sei nun

${}{\mathcal {M}}(Y)={\mathcal {M}}(X)[g]\,$

und es ist zu zeigen, dass das Minimalpolynom von ${}g$ den Grad ${}n$ besitzt. Angenommen, das Minimalpolynom

${}H=T^{m}+a_{m-1}T^{m-1}+\cdots +a_{1}T+a_{0}\,$

mit ${}a_{j}\in {\mathcal {M}}(X)$ (aufgefasst in ${}{\mathcal {M}}(Y)$) hat Grad ${}m<n$. Es sei ${}Q\in X$ ein Punkt, über dem keine Verzweigung stattfindet, wo die ${}a_{j}$ holomorph sind und worüber ${}g$ holomorph ist. Es gibt dann Urbildpunkte ${}P_{1},\ldots ,P_{n}\in Y$. Diese erfüllen die Gleichung

${}0=H(g)(P_{i})={\left(\sum _{j=0}^{m}a_{j}g^{j}\right)}(P_{i})=\sum _{j=0}^{m}a_{j}(P_{i})g^{j}(P_{i})=\sum _{j=0}^{m}a_{j}(Q)g(P_{i})^{j}\,.$

D.h. die Punkte ${}P_{1},\ldots ,P_{n}$ haben die Eigenschaft, dass alle Werte ${}g(P_{i})$ Nullstellen des Polynoms ${}\sum _{j=0}^{m}a_{j}(Q)T^{j}$ sind. Da es nur ${}m$ Nullstellen gibt, muss beispielsweise ${}g(P_{1})=g(P_{2})$ sein. Da ${}g$ jedoch zusammen mit ${}{\mathcal {M}}(X)$ den Körper der meromorphen Funktionen auf ${}Y$ erzeugt, haben ${}P_{1}$ und ${}P_{2}$ für beliebige meromorphe Funktionen den gleichen Wert. Doch das widerspricht dem Beweis von Satz 26.2.

$\Box$

Satz Satz 26.9 ändern

Es sei ${}X$ eine kompakte zusammenhängende riemannsche Fläche.

Dann ist der Körper der meromorphen Funktionen ${}{\mathcal {M}}(X)$ eine endliche Körpererweiterung vom Körper der rationalen Funktionen ${}{\mathbb {C} }(t)$.

Beweis

Nach Satz 26.3 gibt es eine surjektive endliche holomorphe Abbildung

$X\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1},$

sagen wir mit Blätterzahl ${}n$. Nach Satz 26.8 liegt eine endliche Körpererweiterung

${}{\mathcal {M}}({\mathbb {P} }_{\mathbb {C} }^{1})\subseteq {\mathcal {M}}(X)\,$

vom Grad ${}n$ vor und nach Satz 19.19 ist

${}{\mathcal {M}}({\mathbb {P} }_{\mathbb {C} }^{1})\cong {\mathbb {C} }(t)\,.$

$\Box$

Mit Hilfe der vorstehenden Resultate kann man zeigen, dass man jede kompakte riemannsche Fläche als eine glatte projektive Kurve erhalten kann. Dies ist nach diesen Ergebnissen noch eine rein algebraische Aussage, da man jede endliche Körpererweiterung von ${}{\mathbb {C} }(t)$ als Funktionenkörper einer eindeutig bestimmten glatten projektiven Kurve realisieren kann. Der folgende Satz besagt, dass zu einer glatten projektiven Kurve der Funktionenkörper mit dem Körper der meromorphen Funktionen auf der zugehörigen riemannschen Fläche übereinstimmt.

Satz Satz 26.10 ändern

Es sei ${}X$ eine zusammenhängende glatte projektive Kurve über ${}{\mathbb {C} }$ und sei ${}X_{\text{an}}$ die zugehörige kompakte zusammenhängende riemannsche Fläche.

Dann stimmt der Körper der meromorphen Funktionen ${}{\mathcal {M}}(X_{\text{an}})$ mit dem Funktionenkörper der projektiven Kurve überein.

Beweis

Es gibt einen algebraischen endlichen Morphismus

$X\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1},$

dabei ist der Grad ${}n$ der Körpererweiterung der Funktionenkörper ${}{\mathbb {C} }(t)=K({\mathbb {P} }_{\mathbb {C} }^{1})\subseteq K(X)$ nach Satz 13.8 (Elliptische Kurven (Osnabrück 2021-2022)) gleich der generischen Anzahl der Urbildpunkte. Diese Abbildung induziert eine endliche holomorphe Abbildung zwischen den riemannschen Flächen

$X_{\text{an}}\longrightarrow {\mathbb {P} }_{\mathbb {C} }^{1},$

deren Blätterzahl gleich ${}n$ ist. Nach (dem Beweis von) Satz 26.9 besitzt die Körpererweiterung

${}{\mathbb {C} }(t)\subseteq {\mathcal {M}}(X)\,$

ebenfalls den Grad ${}n$. Aus der trivialen Inklusion ${}K(X)\subseteq {\mathcal {M}}(X)$ folgt dann ${}K(X)={\mathcal {M}}(X)$.

$\Box$

Der folgende Satz über Nullstellengebilde schließt an Lemma 14.2 an.

Satz Satz 26.11 ändern

Es sei ${}X$ eine zusammenhängende riemannsche Fläche, es seien ${}a_{0},\ldots ,a_{n-1}$ holomorphe Funktionen auf ${}X$ und es sei das Polynom

$T^{n}+a_{n-1}T^{n-1}+\cdots +a_{2}T^{2}+a_{1}T+a_{0}$

irreduzibel.

Dann ist das Nullstellengebilde ${}Y$ zu ${}P$ über ${}X$ zusammenhängend.

Beweis

Wir argumentieren über die offene Teilmenge von ${}X$, auf der die meromorphen Funktionen holomorph sind, was die Irreduzibilität nicht ändert. Die ${}\alpha _{i}$ seien also holomorph. Die Abbildung ${}Y\rightarrow X$ ist endlich. Nehmen wir an, es gebe eine Zerlegung

${}Y=Y_{1}\uplus \ldots \uplus Y_{k}\,$

in Zusammenhangskomponenten ${}Y_{j}$. Die induzierten Abbildungen ${}Y_{j}\rightarrow X$ sind ebenfalls endlich. Nach Lemma 26.6 erfüllt die auf ${}Y_{1}$ eingeschränkte Funktion ${}T$ eine Ganzheitsgleichung vom Grad ${}<n$. Sie erfüllt aber auch die Ausgangsgleichung auf ${}Y$ und damit auf ${}Y_{1}$. Dies widerspricht der Irreduzibilität.

$\Box$

Satz Satz 26.12 ändern

Es sei ${}\pi \colon Y\rightarrow X$ eine endliche holomorphe Abbildung zwischen kompakten zusammenhängenden riemannschen Flächen der Blätterzahl ${}n$.

Dann lässt sich ${}Y$ über dem Komplement einer diskreten Teilmenge von ${}X$ als Nullstellengebilde zu einem Polynom vom Grad ${}n$ über dem Körper ${}{\mathcal {M}}{\left(X\right)}$ realisieren.

Beweis

Nach Satz 26.8 liegt eine endliche Körpererweiterung ${}{\mathcal {M}}{\left(X\right)}\subseteq {\mathcal {M}}{\left(Y\right)}$ vom Grad ${}n$ vor. Nach Satz 13.15 (Körper- und Galoistheorie (Osnabrück 2018-2019)) ist

${}{\mathcal {M}}{\left(Y\right)}={\mathcal {M}}{\left(X\right)}[g]\cong {\mathcal {M}}{\left(X\right)}[T]/(H)\,$

mit einer meromorphen Funktion ${}g$ auf ${}Y$ und einem Minimalpolynom

${}H=T^{n}+a_{n-1}T^{n-1}+\cdots +a_{1}T+a_{0}\,$

mit meromorphen Funktionen ${}a_{j}\in {\mathcal {M}}{\left(X\right)}$. Es sei ${}X'\subseteq X$ das Komplement einer diskreten Teilmenge derart, dass ${}\pi$ über ${}X'$ unverzweigt ist, dass die ${}a_{j}$ holomorph auf ${}X'$ sind und dass ${}g$ auf

${}Y'=\pi ^{-1}(X')\,$

holomorph ist. Wir betrachten die Abbildung

$\pi \times g\colon Y'\longrightarrow X'\times {\mathbb {C} }.$

Wegen ${}H(g)=0$ als holomorphe Funktion auf ${}Y$ ist

${}H(g)(P)={\left(\sum _{j=0}^{n}a_{j}g^{j}\right)}(P)=\sum _{j=0}^{n}a_{j}(\pi (P))g^{j}(P)=H(\pi (P),g(P))=0\,$

und daher liegt das Bild von ${}\pi \times g$ im Nullstellengebilde ${}V$ zu ${}H$. Die Abbildung ist injektiv (vergleiche den Beweis zu Satz 26.8) und aus Anzahlgründen auch surjektiv. Wir haben also eine Homöomorphie zwischen den beiden holomorphen Überlagerungen ${}Y'\rightarrow X'$ und ${}V\rightarrow X'$ über ${}X'$. Daher ist ${}Y'\rightarrow V$ auch biholomorph.

$\Box$

Bemerkung   Bemerkung 26.13 ändern

Entsprechend zu Satz 26.1 gilt, dass für eine invertierbare Garbe ${}{\mathcal {L}}$ auf einer zusammenhängenden kompakten riemannschen Fläche ${}X$ die Kohomologiegruppen ${}H^{1}(X,{\mathcal {L}})$ endlichdimensional sind. Entsprechend zu Satz 26.2 folgt, dass die invertierbare Garbe einen meromorphen Schnitt besitzt, der abgesehen von einem Punkt holomorph ist. Dies erlaubt es, eine invertierbare Garbe als eine Untergarbe der Garbe der meromorphen Funktionen zu realisieren. Dies bedeutet wegen Lemma 20.16, dass jede invertierbare Garbe die zugehörige invertierbare Garbe ${}{\mathcal {L}}_{D}$ zu einem Divisor ${}D$ ist. Man kann also Konzepte wie den Grad eines Divisors auf jede invertierbare Garbe übertragen. Mit Satz 20.17 folgt

${}\operatorname {DKG} {\left(X\right)}\cong \operatorname {Pic} {\left(X\right)}\cong H^{1}(X,{\mathcal {O}}_{X}^{\times })\,.$

Aus Lemma 25.12 folgt dann wiederum im kompakten Fall, dass ${}H^{1}(X,{\mathcal {M}}_{X}^{\times })$ trivial ist.