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

Divisoren

Eine meromorphe Funktion ${}f\neq 0$ auf einer riemannschen Fläche ${}X$ besitzt in jedem Punkt ${}x\in X$ eine wohldefinierte Ordnung, die durch eine ganze Zahl gegeben ist. In einer lokalen Beschreibung als Laurentreihe mit dem lokalen Parameter ${}z$ ist die Ordnung die ganze Zahl ${}n$ mit

${}f(z)=z^{n}\cdot h\,$

mit einer holomorphen nullstellenfreien Funktion ${}h$. Bei positiven ${}n$ liegt in dem Punkt eine Nullstelle der Ordnung ${}n$ vor und im negativen Fall liegt eine Polstelle der Ordnung ${}-n$ vor. Dieses für die meromorphe Funktion charakteristische Null- und Polstellenverhalten fasst man in dem folgenden Konzept zusammen.

Definition Referenznummer erstellen

Es sei ${}X$ eine zusammenhängende riemannsche Fläche und ${}f\neq 0$ eine meromorphe Funktion auf ${}X$. Dann nennt man die formale Summe

$\sum _{x\in X}\operatorname {ord} _{x}(f)\cdot x$

den Hauptdivisor zu ${}f$. Er wird mit ${}\operatorname {div} {\left(f\right)}$ bezeichnet.

Beispiel Referenznummer erstellen

Es seien ${}P,Q\in {\mathbb {C} }[T]$ Polynome ${}\neq 0$ mit den Faktorzerlegungen ${}P=c\prod _{a\in A}(T-a)^{r_{a}}$ bzw. ${}Q=d\prod _{a\in A}(T-a)^{s_{a}}$, wobei ${}A$ eine endliche Menge sei, die alle Nullstellen von ${}P$ und von ${}Q$ umfasse. Dann ist der Hauptdivisor zur rationalen Funktion ${}P/Q$ gleich

${}\operatorname {div} {\left(P/Q\right)}=\sum _{a\in A}(r_{a}-s_{a})\cdot a\,.$

Beispiel Referenznummer erstellen

Die Identität auf der projektiven Geraden ${}{\mathbb {P} }_{\mathbb {C} }^{1}$, also die meromorphe Funktion ${}z$, besitzt den Hauptdivisor ${}0-\infty$, wenn wir mit ${}z$ die Variable auf ${}{\mathbb {C} }\subset {\mathbb {P} }_{\mathbb {C} }^{1}$ und mit ${}\infty$ den unendlich fernen Punkt bezüglich dieser Einbettung bezeichnen.

Wegen Satz 3.5 bzw. der Definition von meromorphen Funktionen ist die Menge der Punkte, in denen die Ordnung nicht ${}0$ ist, wo also eine Nullstelle oder ein Polstelle vorliegt, eine diskrete abgeschlossene Menge. Außerhalb dieser diskreten Menge ist die Funktion holomorph und invertierbar. Der Hauptdivisor ist also ein Divisor im Sinne der folgenden Definition.

Definition Referenznummer erstellen

Es sei ${}X$ eine riemannsche Fläche. Man nennt eine formale Summe

$\sum _{x\in X}n_{x}\cdot x$

mit ${}n_{x}\in \mathbb {Z}$ und der Eigenschaft, dass außerhalb einer diskreten Teilmenge ${}T\subset X$ die Zahlen ${}n_{x}=0$ sind, einen Divisor auf ${}X$.

Man spricht auch von einem Weildivisor. Einen Divisor kann man also schreiben als

${}D=\sum _{x\in T}n_{x}x\,$

mit einer diskreten Teilmenge ${}T\subseteq X$ und mit ${}n_{x}\neq 0$ für ${}x\in T$. Man nennt ${}T$ dann den Träger des Divisors. Für einen konkreten Divisor in ${}{\mathbb {C} }$ oder einer Teilmenge davon oder in ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ besteht eine Verwechslungsgefahr zwischen den ganzzahligen Vorfaktoren und den Bezeichnungen für die Punkte. Diese kann man umgehen, indem man beispielsweise ${}7\cdot \{1\}-5\cdot \{4\}+3\cdot \{\infty \}$ schreibt.

Definition Referenznummer erstellen

Es sei ${}X$ eine riemannsche Fläche. Man nennt die Menge aller Divisoren auf ${}X$ mit der punktweisen Addition die Divisorengruppe von ${}X$. Sie wird mit ${}\operatorname {Div} \,(X)$ bezeichnet.

Die Theorie unterscheidet sich wesentlich danach, ob die riemannsche Fläche kompakt oder nichtkompakt ist. Der Träger des Divisors ist stets eine abgeschlossene diskrete Teilmenge, im kompakten Fall bedeutet dies aber bereits, dass diese Menge endlich ist.

Definition Referenznummer erstellen

Man nennt einen Divisor

$\sum _{x\in X}n_{x}\cdot x$

auf einer riemannschen Fläche ${}X$ effektiv, wenn ${}n_{x}\geq 0$ für alle ${}x\in X$ ist.

Lemma Lemma 19.7 ändern

Es sei ${}f\neq 0$ eine meromorphe Funktion auf einer zusammenhängenden riemannschen Fläche ${}X$.

Dann ist ${}f$ genau dann holomorph, wenn der Hauptdivisor ${}\operatorname {div} {\left(f\right)}$ effektiv ist.

Beweis

Siehe Aufgabe 19.1.

$\Box$

Lemma Referenznummer erstellen

Es sei ${}X$ eine zusammenhängende riemannsche Fläche mit dem Körper ${}{\mathcal {M}}{\left(X\right)}$ der meromorphen Funktionen.

Dann ist die Zuordnung

${\mathcal {M}}{\left(X\right)}^{\times }\longrightarrow \operatorname {Div} \,(X),\,f\longmapsto \operatorname {div} {\left(f\right)},$

ein Gruppenhomomorphismus.

Beweis

Siehe Aufgabe 19.3.

$\Box$

Das Bild dieses Gruppenhomomorphismus ist die Gruppe der Hauptdivisoren, sie wird mit ${}\operatorname {HDiv} \,(X)$ bezeichnet.

Definition Referenznummer erstellen

Zwei Divisoren ${}D_{1}$ und ${}D_{2}$ auf einer zusammenhängenden riemannschen Fläche heißen linear äquivalent, wenn ihre Differenz ${}D_{1}-D_{2}$ ein Hauptdivisor ist.

Definition Referenznummer erstellen

Es sei ${}X$ eine zusammenhängende riemannsche Fläche mit dem Körper ${}{\mathcal {M}}{\left(X\right)}$ der meromorphen Funktionen. Man nennt die Restklassengruppe

$\operatorname {Div} \,(X)/\operatorname {HDiv} \,(X)$

die Divisorenklassengruppe von ${}X$. Sie wird mit ${}\operatorname {DKG} {\left(X\right)}$ bezeichnet.

Über die Zuordnung

$U\longmapsto \operatorname {Div} {\left(U\right)}$

ist eine Garbe von kommutativen Gruppen auf ${}X$ gegeben, die wir mit ${}{{\mathcal {D}}iv}_{X}$ bezeichnen, siehe Aufgabe 19.5.

Lemma Lemma 19.11 ändern

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

Dann liegt eine kurze exakte Garbensequenz

$1\,{\stackrel {}{\longrightarrow }}\,{\mathcal {O}}_{X}^{\times }\,{\stackrel {}{\longrightarrow }}\,{\mathcal {M}}_{X}^{\times }\,{\stackrel {\operatorname {div} {\left(-\right)}}{\longrightarrow }}\,{{\mathcal {D}}iv}_{X}\,{\stackrel {}{\longrightarrow }}\,0$

vor, wobei in der Mitte die Garbe der meromorphen Funktionen ${}\neq 0$ und rechts die Garbe der Divisoren steht. Insbesondere ist

${}{\mathcal {M}}_{X}^{\times }/{\mathcal {O}}_{X}^{\times }\cong {{\mathcal {D}}iv}_{X}\,.$

Beweis

Siehe Aufgabe 19.7.

$\Box$

Die Divisorenklassengruppe werden wir später als die erste Kohomologiegruppe der Einheitengarbe interpretieren.

Der Rückzug von Divisoren

Definition Referenznummer erstellen

Zu einer nichtkonstanten holomorphen Abbildung ${}\varphi \colon X\rightarrow Y$ zwischen zusammenhängenden riemannschen Flächen ${}X$ und ${}Y$ und einem Divisor ${}D=\sum _{y\in Y}n_{y}\cdot y$ nennt man

${}\varphi ^{*}(D)=\sum _{x\in X}\operatorname {Verz} {\left(x{|}\varphi (x)\right)}n_{\varphi (x)}\cdot x\,$

den zurückgezogenene Divisor zu ${}D$.

Zu einem einzelnen Punkt ${}y\in Y$, aufgefasst als Divisor, ist der zurückgezogene Divisor gleich ${}\sum _{x\in \varphi ^{-1}(y)}\operatorname {Verz} {\left(x{|}y\right)}\cdot x$. Dies ist also im Wesentlichen die Faser über ${}y$, wobei allerdings die Verzweigungspunkte, also Punkte, wo die Verzweigungsordnung ${}\geq 2$ ist, mehrfach gezählt werden. Der Rückzug ist ein Gruppenhomomorphismus ${}\operatorname {Div} {\left(Y\right)}\rightarrow \operatorname {Div} {\left(X\right)}$, siehe Aufgabe 19.9.

Lemma Lemma 19.13 ändern

Zu einer nichtkonstanten holomorphen Abbildung

$\varphi \colon X\longrightarrow Y$

zwischen zusammenhängenden riemannschen Flächen und einem Hauptdivisor ${}D=\sum _{y}n_{y}\cdot y=\operatorname {div} {\left(f\right)}$ auf ${}Y$ zu einer meromorphen Funktion ${}f\neq 0$ auf ${}Y$

stimmt der zurückgezogene Divisor ${}\varphi ^{*}(D)$ mit dem Hauptdivisor zu ${}f\circ \varphi$ überein.

Beweis

Sei ${}x\in X$ fixiert und ${}y=\varphi (x)$ der Bildpunkt. Die Ordnung des zurückgezogenen Divisors ${}\varphi ^{*}D$ in ${}x$ ist nach Definition gleich ${}\operatorname {Verz} {\left(x{|}y\right)}n_{y}$, wobei ${}n_{y}$ die Ordnung von ${}D$ in ${}y$ ist, also die Ordnung ${}k$ der meromorphen Funktion ${}f$ auf ${}Y$ in ${}y$. Mit einem lokalen Parameter ${}z$ um ${}y$, mit dessen Hilfe ja die Verzweigungsordnung von ${}\varphi$ definiert wird, kann man in einer offenen Umgebung von ${}y$

${}f=uz^{k}\,$

mit einer holomorphen Einheit ${}u$ schreiben. Dann ist die Ordnung von ${}f\circ \varphi$ in ${}x$ gleich

${}{\begin{aligned}\operatorname {ord} _{x}(f\circ \varphi )&=\operatorname {ord} _{x}(uz^{k}\circ \varphi )\\&=\operatorname {ord} _{x}((u\circ \varphi )(z\circ \varphi )^{k})\\&=\operatorname {ord} _{x}((z\circ \varphi )^{k})\\&=k\operatorname {ord} _{x}(z\circ \varphi )\\&=k\operatorname {Verz} {\left(x{|}y\right)}.\end{aligned}}$

$\Box$

Korollar Korollar 19.14 ändern

Zu einer meromorphen Funktion ${}f\neq 0$ auf einer zusammenhängenden riemannschen Fläche

stimmt der Hauptdivisor ${}\operatorname {div} {\left(f\right)}$ mit dem zurückgezogenen Divisor ${}f^{*}(0-\infty )$ zum Divisor ${}0-\infty$ auf der projektiven Geraden unter der nach Satz 18.6 zugehörigen holomorphen Abbildung ${}f\colon X\rightarrow {\mathbb {P} }_{\mathbb {C} }^{1}$ überein.

Beweis

Dies folgt aus Lemma 19.13, angewendet auf die Identität auf der projektiven Geraden. Wenn man diese als meromorphe Funktion auffasst, so ist deren Hauptdivisor gleich ${}0-\infty$.

$\Box$

Lemma Referenznummer erstellen

Eine nichtkonstante holomorphe Abbildung

$\varphi \colon X\longrightarrow Y$

zwischen zusammenhängenden riemannschen Flächen

induziert über das Zurückziehen von Divisoren einen Gruppenhomomorphismus

$\operatorname {DKG} {\left(Y\right)}\longrightarrow \operatorname {DKG} {\left(X\right)},\,[D]\longmapsto [\varphi ^{*}(D)].$

Beweis

Dies folgt aus Lemma 19.13.

$\Box$

Der Grad eines Divisors

Definition Referenznummer erstellen

Es sei ${}X$ eine kompakte riemannsche Fläche und

${}D=\sum _{x\in X}n_{x}\cdot x\,$

ein Divisor auf ${}X$. Man nennt ${}\sum _{x\in X}n_{x}$ den Grad des Divisors.

Satz Satz 19.17 ändern

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

Dann ist der Grad eines Hauptdivisors gleich ${}0$.

Beweis

Dies folgt aus Korollar 18.7 oder aus Korollar 19.14 in Verbindung mit Korollar 9.9.

$\Box$

Satz Satz 19.18 ändern

Die Divisorenklassengruppe der projektiven Geraden ${}{\mathbb {P} }_{\mathbb {C} }^{1}$

ist ${}\mathbb {Z}$.

Beweis

Wir zeigen, dass jeder Divisor vom Grad ${}0$ ein Hauptdivisor ist. Es sei also ${}\sum _{x\in {\mathbb {P} }_{\mathbb {C} }^{1}}n_{x}\cdot x$ ein Divisor mit ${}\sum _{x\in {\mathbb {P} }_{\mathbb {C} }^{1}}n_{x}=0$. Wir können annehmen, dass die Ordnung am unendlich fernen Punkt ${}\infty$ gleich ${}0$ ist, sodass die relevanten Punkte sich in

${}{\mathbb {C} }\subset {\mathbb {P} }_{\mathbb {C} }^{1}\,$

befinden. Wir trennen nach Nullstellen- und Polstellendivisor und schreiben

${}\sum _{x\in {\mathbb {P} }_{\mathbb {C} }^{1}}n_{x}\cdot x=\sum _{x\in A}r_{x}\cdot x-\sum _{x\in B}s_{x}\cdot x\,$

mit disjunkten endlichen Mengen ${}A$ und ${}B$ und mit ${}r_{x},s_{x}\geq 1$, wobei wegen der Gradvoraussetzung die beiden Teildivisoren den gleichen Grad besitzen. Wir betrachten die rationale Funktion

${\frac {\prod _{x\in A}(T-x)^{r_{x}}}{\prod _{x\in B}(T-x)^{s_{x}}}}.$

Diese besitzt in den Punkten aus ${}{\mathbb {C} }$ die vorgegebenen Ordnungen. Sie kann als meromorphe Funktion auf der gesamten projektiven Geraden aufgefasst werden und hat im unendlich fernen Punkt wegen der Gleichgradigkeit von Zähler und Nenner den Wert ${}1$ als Limes und somit dort die Ordnung ${}0$.

$\Box$

Satz Satz 19.19 ändern

Auf der projektiven Geraden ist jede meromorphe Funktion

rational.

Beweis

Es sei ${}f$ eine meromorphe Funktion ${}\neq 0$ auf ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ und sei ${}D$ der zugehörige Hauptdivisor zu ${}f$. Nach Satz 19.17 ist sein Grad gleich ${}0$ und nach dem Beweis zu Satz 19.18 gibt es eine rationale Funktion ${}g$, die ebenfalls diesen Divisor als Hauptdivisor besitzt. Also ist ${}{\frac {f}{g}}$ eine meromorphe Funktion, die weder Pol- noch Nullstellen besitzt und insbesondere nach Lemma 19.7 überall definiert ist, also holomorph. Nach Satz 3.7 ist sie konstant und somit ist ${}f=cg$ mit ${}c\in {\mathbb {C} }$.

$\Box$

Der Körper der meromorphen Funktionen auf der projektiven Geraden (siehe Satz 18.3) ist also einfach gleich ${}{\mathbb {C} }(z)$, dem Körper der rationalen Funktionen in einer Variablen. Offene Teilmengen davon, beispielsweise ${}{\mathbb {C} }$ selbst, besitzen einen deutlich größeren Körper der meromorphen Funktionen. Dies ist ein wesentlicher Unterschied zwischen der Theorie der riemannschen Flächen und der Theorie der algebraischen Kurven über ${}{\mathbb {C} }$, wo jede offene Menge den gleichen Funktionenkörper besitzt.

Lemma Lemma 19.20 ändern

Es sei ${}\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den zusammenhängenden kompakten riemannschen Fläche ${}X$ und ${}Y$.

Dann gilt für einen Divisor ${}D$ auf ${}Y$ die Beziehung

${}\operatorname {Grad} \,(\varphi ^{*}(D))=\operatorname {Grad} \,(\varphi )\cdot \operatorname {Grad} \,(D)\,.$

Beweis

Es genügt, die Aussage für einen Divisor der Form ${}D=1y$ mit einem Punkt ${}y\in Y$ zu zeigen, da der Rückzug eines Divisors und ebenso der Grad eines Divisors additiv ist. Daher folgt die Aussage aus Satz 9.8.

$\Box$

Aufgrund von Satz 19.17 besitzt jeder Hauptdivisor auf einer kompakten zusammenhängenden riemannschen Fläche den Grad ${}0$. Dies bedeutet insbesondere, dass linear äquivalente Divisoren den gleichen Grad besitzen und dass der Grad eine Eigenschaft der Divisorklasse ist. Deshalb ist die folgende Definition sinnvoll.

Definition Referenznummer erstellen

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

${}\operatorname {DKG} _{0}{\left(X\right)}=\operatorname {Div} _{0}\,(X)/\operatorname {HDiv} \,(X)\,$

die Divisorenklassengruppe vom Grad 0 zu ${}X$.

Für die projektive Gerade ist nach Satz 19.18 die Divsiorenklassengruppe vom Grad ${}0$ trivial, siehe auch Aufgabe 19.12.