# Riemannsche Flächen/Kompakt/Riemann-Hurwitz/Textabschnitt
## Definition

Es sei $\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den zusammenhängenden riemannschen Fläche $X$ und $Y$. Man nennt den Divisor $R$, der für jeden Punkt $P\in X$ die Ordnung
    $R_{P}=\operatorname {Verz} {\left(P{|}\varphi (P)\right)}-1\,$
zugewiesen bekommt, den Verzweigungsdivisor von $\varphi$.

## Lemma

Es sei $\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den zusammenhängenden riemannschen Fläche $X$ und $Y$ mit dem Verzweigungsdivisor $R$. Dann gelten folgende Aussagen

### Beweis

$\Box$

## Lemma

Es sei $\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den kompakten zusammenhängenden riemannschen Flächen $X$ und $Y$. Dann gelten folgende Aussagen.

### Beweis

* Der Rückzug von Differentialformen liefert einen Garbenhomomorphismus Lokal liegt auf offenen Kreisscheiben eine Abbildung vor. Die Differentialform $dw$ wird nach $f'(z)dz$ zurückgezogen. Da $f$ nicht konstant ist, ist $f'$ nicht die Nullfunktion. Es liegt somit lokal ein kommutatives Diagramm vor, wobei die vertikalen Abbildungen Isomorphien sind. Da die obige Abbildung als Garbenhomomorphismus injektiv ist, gilt dies auch für die untere.
    $\varphi ^{*}\Omega _{Y}\longrightarrow \Omega _{X}.$
    $f\colon U\longrightarrow V,\,z\longmapsto f(z)=w,$
    ${\begin{matrix}\varphi ^{*}{\mathcal {O}}_{Y}\cong {\mathcal {O}}_{X}&{\stackrel {1\mapsto f'}{\longrightarrow }}&{\mathcal {O}}_{X}&\\\!\!\!\!\!1\mapsto dw\downarrow &&\downarrow 1\mapsto dz\!\!\!\!\!&\\\varphi ^{*}\Omega _{Y}&{\stackrel{\longrightarrow }}&\Omega _{X}&\!\!\!\!\!\\\end{matrix}}$
* Es liegt insgesamt die Situation einer invertierbaren Garbe als Untergarbe einer invertierbaren Garbe vor, damit besitzt auf der kompakten riemannschen Fläche $X$ die Restklassengarbe automatisch endlichen Träger, siehe Fakt. In der Situation von Teil (1) wird die Restklassengarbe lokal als ${\mathcal {O}}_{X}/f'{\mathcal {O}}_{X}$ beschrieben bzw. halmweise durch Dieser Restklassenring ist ein endlichdimensionaler ${\mathbb {C} }$-Vektorraum der Dimension $\operatorname {ord} _{P}\,(f')$. Dies ist nach Fakt die Verzweigungsordnung von $\varphi$ in $P$ weniger $1$.
    ${\left({\mathcal {O}}_{X}/f'{\mathcal {O}}_{X}\right)}_{P}={\mathcal {O}}_{X,P}/f'{\mathcal {O}}_{X,P}\,.$
* Dies folgt aus (2).
$\Box$
Die folgende Aussage heißt Riemann-Hurwitz-Formel.

## Satz

Es sei $\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den kompakten zusammenhängenden riemannschen Flächen $X$ und $Y$.
Dann gilt für die Geschlechter die Beziehung

### Beweis

Dies folgt aus Fakt, Fakt und Fakt.
$\Box$

## Korollar

Es sei $\varphi \colon X\rightarrow {\mathbb {P} }_{\mathbb {C} }^{1}$ eine nichtkonstante holomorphe Abbildung auf einer kompakten zusammenhängenden riemannschen Fläche $X$.
Dann gilt zwischen dem Geschlecht von $X$, dem Grad von $\varphi$ und dem Verzweigungsdivisor $R$ die Beziehung

### Beweis

Dies folgt unmittelbar aus Fakt und Fakt.
$\Box$

## Korollar

Es sei $\varphi \colon {\mathbb {P} }_{\mathbb {C} }^{1}\rightarrow {\mathbb {P} }_{\mathbb {C} }^{1}$ eine nichtkonstante holomorphe Abbildung von der projektiven Geraden in sich.
Dann gilt zwischen dem Grad von $\varphi$ und dem Verzweigungsdivisor $R$ die Beziehung

### Beweis

$\Box$
Die folgende Aussage kann man auch mit Aufgabe erhalten.

## Korollar

Es sei $\varphi \colon X\rightarrow Y$ eine nichtkonstante holomorphe Abbildung zwischen den kompakten zusammenhängenden riemannschen Flächen $X$ und $Y$.
Dann gilt für die Geschlechter die Abschätzung

### Beweis

Wegen der Effektivität des Verzweigungsdivisors besitzt dieser einen nichtnegativen Grad und daher folgt aus Fakt direkt
    $2g(X)-2\geq \operatorname {Grad} \,(\varphi )(2g(Y)-2)\geq (2g(Y)-2)\,$
und somit die Behauptung.
$\Box$
Die folgende Aussage heißt Satz von Lüroth.

## Korollar

Es sei $\varphi \colon {\mathbb {P} }_{\mathbb {C} }^{1}\rightarrow Y$ eine nichtkonstante holomorphe Abbildung, wobei $Y$ eine kompakte zusammenhängende riemannsche Fläche sei.
Dann ist $Y$ ebenfalls die projektive Gerade.

### Beweis

Nach Fakt ist
    $g{\left({\mathbb {P} }_{\mathbb {C} }^{1}\right)}=0\,,$
somit ist nach Fakt auch $g{\left(Y\right)}=0$. Mit Fakt ergibt sich wiederum, dass $Y$ biholomorph zu ${\mathbb {P} }_{\mathbb {C} }^{1}$ ist.
$\Box$

## Korollar

Es sei $\varphi \colon X\rightarrow Y$ eine Überlagerung zwischen kompakten zusammenhängenden riemannschen Flächen $X$ und $Y$.
Dann ist $\varphi$ ein Isomorphismus oder $g(X)=g(Y)=1$ oder $g(X)>g(Y)\geq 2$.

### Beweis

Unverzweigt bedeutet mit Fakt (2), dass der Verzweigungsdivisor trivial ist und damit insbesondere den Grad $0$ besitzt. Aus Fakt ergibt sich die Bedingung
    $g(X)-1=\operatorname {Grad} \,(\varphi )(g(Y)-1)\,.$
Dies führt zu den angegebenen Möglichkeiten.
$\Box$

## Beispiel

Auf einem komplexen Torus ${\mathbb {C} }/\Gamma$ ist die Multiplikationsabbildung
    $[n]\colon {\mathbb {C} }/\Gamma \longrightarrow {\mathbb {C} }/\Gamma ,\,[z]\longmapsto n[z],$
eine Überlagerung vom Grad $n^{2}$, da jeder Punkt genau $n^{2}$ Bildpunkte besitzt, vergleiche Fakt. Ein solches Verhalten ist nach Fakt nur bei Geschlecht $1$ möglich.