# Verzweigungstheorem

Das Verzweigungstheorem ist ein zentrales Resultat aus der Theorie der Riemannschen Flächen, welches besagt, dass sich holomorphe Funktionen lokal als Potenz darstellen lassen. Dabei kann der natürliche Exponent für die Definition des Abbildungsgrades und des Verzweigungsindexes einer holomorphen Funktion verwendet werden.

## Aussage

Sei $f\colon X\rightarrow Y$ eine nicht konstante holomorphe Funktion zwischen zusammenhängenden Riemannschen Flächen $X$ und $Y$. Für jeden Punkt $x\in X$ gibt es eine eindeutige natürliche Zahl $k_{x}\in \mathbb {N}$, sodass um $x\in X$ und $f(x)\in Y$ lokale Karten existieren, in denen sich $f$ als Potenz $z\mapsto z^{k_{x}}$ darstellen lässt. Die Punkte $x\in X$ mit $k_{x}>1$ werden Verzweigungspunkte genannt, sie bilden eine diskrete Teilmenge $R\subset X$ (insbesondere eine endliche Teilmenge, wenn $X$ kompakt ist) und ist die Funktion $f$ zusätzlich eigentlich, dann ist deren Bild $\Delta =f(R)$ zudem eine diskrete Teilmenge von $Y$. Ist $f$ eigentlich, dann ist für einen Punkt $y\in Y$ zudem das Urbild $f^{-1}(y)\in X$ endlich. Die Einschränkung von $f$ auf $X\setminus R$ ist ein lokaler Homöomorphismus und die Einschränkung auf $X\setminus R^{+}$mit $R^{+}=f^{-1}(\Delta )=f^{-1}(f(R))\supset R$ ist zusätzlich eigentlich. Daraus ergibt sich eine Überlagerung $f\colon X\setminus R^{+}\rightarrow Y\setminus \Delta$.

## Beispiel

Die Funktion $f\colon \mathbb {C} \rightarrow \mathbb {C} ,z\mapsto z^{k}$ hat einen einzigen Verzweigungspunkt bei $z=0$ mit $k_{0}=k$. Es gilt $R=R^{+}=\{0\}$und $\Delta =\{0\}$. Tatsächlich ist die Einschränkung
    $f\colon \mathbb {C} \setminus \{0\}\rightarrow \mathbb {C} \setminus \{0\},\quad z\mapsto z^{k}$
eine Überlagerung vom Grad $k$.

## Abbildungsgrad

Sei $f\colon X\rightarrow Y$ eine nicht konstante eigentliche holomorphe Funktion zwischen zusammenhängenden Riemannschen Flächen $X$ und $Y$. Ihr Abbildungsgrad ist die von der Wahl von $y\in Y$ unabhängige natürliche Zahl:
    $\operatorname {deg} (f):=\sum _{x\in f^{-1}(y)}k_{x}.$
Sei $g\colon Y\rightarrow Z$ eine weitere nicht konstante eigentliche holomorphe Funktion zwischen zusammenhängenden Riemannschen Flächen $Y$ und $Z$. Dann gilt:
    $\operatorname {deg} (g\circ f)=\operatorname {deg} (f)\operatorname {deg} (g).$
Seien $z\in Z$ und $g^{-1}(z)=\{y_{1},\ldots ,y_{m}\}\subset Y$ sowie $k_{1},\ldots ,k_{m}\in \mathbb {N}$, sodass $g$ um $y_{i}$ lokal die Darstellung $z\mapsto z^{k_{i}}$ nach dem Verzweigungstheorem hat. Dann ist:
    $\operatorname {deg} (g)=\sum _{i=1}^{m}k_{i}.$
Seien $f^{-1}(y_{i})=\{x_{i1},\ldots ,x_{in_{i}}\}$ sowie $l_{i1},\ldots ,l_{in_{i}}\in \mathbb {N}$, sodass $f$ um $x_{ij}$ lokal die Darstellung $z\mapsto z^{l_{ij}}$ hat. Dann ist (unabhängig von $i$):
    $\operatorname {deg} (f)=\sum _{j=1}^{n_{i}}l_{ij}.$
Um $x_{ij}$ hat $f\circ g$ lokal die Darstellung $z\mapsto z^{k_{i}l_{ij}}$, womit:
    $\operatorname {deg} (g\circ f)=\sum _{i=1}^{m}\sum _{j=1}^{n_{i}}k_{i}l_{ij}=\operatorname {deg} (f)\sum _{i=1}^{m}k_{i}=\operatorname {deg} (f)\operatorname {deg} (g).$

## Verzweigungsindex

Sei $f\colon X\rightarrow Y$ eine nicht konstante holomorphe Funktion zwischen kompakten zusammenhängenden Riemannschen Flächen $X$ und $Y$. Ihr Verzweigungsindex ist die Anzahl der Verzweigungspunkte, also die natürliche Zahl:
    $R_{f}:=\sum _{x\in X}(k_{x}-1).$
Bei Überlagerungen ist die Euler-Charakteristik des hinteren Raumes genau die mit ihrem Grad multiplizierte Euler-Charakteristik des vorderen Raumes. Bei holomorphen Funktionen zwischen Riemannschen Flächen gilt ähnliches mit dem Abbildungsgrad, wobei es jedoch zu einem genau durch den Verzweigungsindex gemessenen Defekt kommt:
    $\chi (Y)=\operatorname {deg} (f)\chi (X)+R_{f}.$
Alternativ lässt sich der Zusammenhang mit dem Genus ausdrücken, Mit $\chi (X)=2-2g(X)$ und $\chi (Y)=2-2g(Y)$ ist:
    $2-2g(Y)=\operatorname {deg} (f)(2-2g(X))+R_{f}.$