Verzweigte Überlagerung

In der Mathematik ist eine verzweigte Überlagerungen eine spezielle stetige Funktion, die man in der Regel zwischen riemannschen Flächen betrachtet. Sie kann in einem gewissen Sinne als Verallgemeinerung der ansonsten aus der Topologie bekannten Überlagerung betrachtet werden.

Motivation

Eine in der Topologie sehr gebräuchliche Definition lautet folgendermaßen:

Seien

X

,

Y

zwei topologische Räume. Eine stetige Funktion

p:X\to Y

heißt Überlagerung, falls zu jedem Punkt

y\in Y

eine Umgebung

U

existiert, sodass

p^{-1}[U]

eine disjunkte Vereinigung von offenen Mengen

V_{i}

ist und jedes

V_{i}

durch

p

homöomorph auf

U

abgebildet wird. Die

V_{i}

nennen wir Blätter.^[1]

Die Definition hat zur Folge, dass ein Monom $p:B_{1}(0)\to B_{1}(0),z\mapsto z^{d}$ , $B_{1}(0)\subseteq \mathbb {C}$ , für ein natürliches $d>1$ keine Überlagerung mehr sein kann. Denn die Ableitung $p'(z)=dz^{d-1}$ ist für $z\neq 0$ zwar ungleich 0 und lässt sich daher nach dem Satz über die Umkehrabbildung homöomorph auf einzelne disjunkte Blätter abbilden, aber im Punkt $z=0$ verzweigen sich die Punkte, d. h. man wird keine Umgebung finden, sodass das Urbild als disjunkte Vereinigung offener Bilder darstellen lässt. Das ist für die Theorie der Riemannschen Flächen ungünstig, da jede nicht-konstante holomorphe Funktion lokal die Gestalt eines Monoms aufweist. Das heißt: Ist $f\colon X\rightarrow Y$ eine holomorphe Abbildung zwischen riemannschen Flächen, so gibt es für jeden Punkt $x\in X$ Karten $\phi _{x}^{-1}$ und $\phi _{f(x)}$ , sodass $\phi _{f(x)}\circ f\circ \phi _{x}^{-1}=z^{k}$ gilt. Somit kann nach der Definition keine nicht-konstante holomorphe Funktion eine Überlagerung sein. Anschaulich gesagt ist das Hauptproblem die „Verzweigung“ eines Monoms im Ursprung, was den Begriff der verzweigten Überlagerung motiviert.

Definitionen

Im Folgenden ist eine Riemannsche Fläche stets zusammenhängend. Je nach Literatur gibt es unterschiedliche Definitionen und Zugänge zu verzweigten Überlagerungen. Die nachfolgende orientiert sich an die aus dem Buch Riemannsche Flächen von Otto Forster.^[2] $^{S.18}$ In der Literatur findet man noch andere Definitionen, die sich aber auf riemannschen Flächen in der Regel nur geringfügig unterscheiden.^[3]

Allgemeine topologische Räume

Seien $X,Y$ topologische Räume und $p:X\to Y$ eine Abbildung.

Eine Abbildung $p:X\to Y$ nennen wir Überlagerung, falls sie stetig, offen und diskret ist, d. h. es handelt sich um eine stetige Abbildung, die offene Mengen auf offene Mengen abbildet und jedes einelementige Urbild nur aus isolierten Punkten besteht.
$x\in X$ nennen wir Verzweigungspunkt einer Überlagerung $p$ , falls keine Umgebung $U$ von $x$ existiert, sodass $p\vert _{U}$ injektiv ist.
Eine Überlagerung $p:X\to Y$ ist unverzweigt, falls sie keine Verzweigungspunkte besitzt. Ansonsten ist sie verzweigt.

Holomorphe Abbildungen zwischen Riemannschen Flächen

Es lässt sich zeigen, dass genau dann eine stetige Funktion $f\colon X\rightarrow Y$ zwischen riemannschen Flächen eine Überlagerung ist, wenn die Funktion nichtkonstant ist.

Eine nicht-konstante stetige Funktion $f\colon X\rightarrow Y$ zwischen riemannschen Flächen nennen wir holomorphe Überlagerung, falls sie holomorph ist.

Für jedes $x\in X$ gibt es Karten für $x$ und $f(x)$ und es existiert ein $k_{x}\in \mathbb {N_{>0}}$ , sodass die lokale Darstellung von $f$ in $x$ von der Form $z\mapsto z^{k_{x}}$ ist.^[2] $^{S.10}$ Dieses $k_{x}\in \mathbb {N}$ wird als Verzweigungsindex von $f$ in $x$ bezeichnet. Ein Punkt $y=f(x)\in Y$ heißt Verzweigungspunkt von $f$ , wenn $k_{x}\geq 2$ .

Der Grad $\mathrm {deg} (f)$ einer nicht-konstante, holomorphe Abbildung $f\colon X\rightarrow Y$ zwischen kompakten Riemannschen Flächen ist die Kardinalität der Faser eines nicht-Verzweigungspunktes $y\in Y$ , i. e. $deg(f):=|f^{-1}(y)|$ . Diese Zahl ist endlich, da für jedes $y\in Y$ die Faser $f^{-1}(y)$ diskret ist^[2] $^{S.20}$ und sie ist wohldefiniert, da für je zwei $y_{1},y_{2}\in Y$ , welche keine Verzweigungspunkte sind, gilt: $|f^{-1}(y_{1})|=|f^{-1}(y_{2})|$ .^[2] $^{S.29}$ Für den Grad gilt:

d:=\mathrm {deg} (f)=\sum _{x\in f^{-1}(y)}k_{x}

^[2]

^{S.29}

Wir sagen dann auch, dass $f$ eine $d$ -blättrige Überlagerung sei.

Beispiele

Jede beliebige nicht-konstante holomorphe Funktion ist eine Überlagerung. Verzweigte Überlagerungen spielen in der komplexen Geometrie vor allem im Kontext von Hurwitz-Zahlen eine große Rolle. Dort betrachtet man insbesondere holomorphe Überlagerungen über der Riemannschen Zahlenkugel.

Unverzweigte Überlagerungen entsprechen nicht der Definition der Überlagerung, die im Abschnitt „Motivation“ beschrieben wurde. Solche Überlagerungen nennt man unverzweigte, unbegrenzte Überlagerungen. Entgegen der Intuition sind nicht automatisch alle unverzweigte Überlagerungen unbegrenzt: Die kanonische Inklusion $\iota :B_{1}(0)\to \mathbb {C}$ ist zwar eine unverzweigte Überlagerung, aber nicht unbegrenzt. Es lässt sich aber zeigen, dass für lokal-kompakte topologische Räume durch die Entfernung aller Verzweigungspunkte und deren Bilder eine unverzweigte, unbegrenzte Überlagerung entsteht.

Eigenschaften

Für eine holomorphe Überlagerung zwischen Riemannschen Flächen gilt folgendes:

Die Menge aller Verzweigungspunkte ist diskret.
Jede eigentliche, holomorphe Überlagerung ist surjektiv.
Für eine $d$ -blättrige Überlagerung gilt

\chi (X)=d\cdot \chi (Y)-\sum _{x\in X}(\mathrm {mult} _{x}(f)-1),

wobei

\chi (X)

die Euler-Charakteristik und

\mathrm {mult} _{x}(f)

den Verzweigungsindex von

f

an der Stelle

x

bezeichnet. Das ist die Formel von Riemann-Hurwitz. Bezeichnen wir mit

g

und mit

g'

jeweils die Geschlechter von

X

und

Y

, so wird die Formel von Riemann-Hurwitz häufig in der Form

2-2g=d(2-2g')-\sum _{x\in X}(\mathrm {mult} _{x}(f)-1),

oder

2g-2=b+d(2g'-2)

dargestellt. (Hier macht man sich zunutze, wie die Euler-Charakteristik für eine Mannigfaltigkeit eines bestimmten Geschlechtes ausgerechnet wird).

Siehe auch

Verzweigung (Algebra)

Literatur

Otto Forster: Riemannsche Flächen. Springer Berlin, München, 1977, ISBN 978-3-540-08034-3
Klaus Lamotke: Riemannsche Flächen. Springer-Verlag Berlin Heidelberg, 2009, ISBN 978-3-642-01711-7

Einzelnachweise

↑ Allen Hatcher: Algebraic Topology, Cambridge University Press 2002, S. 56.
↑ ^a ^b ^c ^d ^e Otto Forster: Riemannsche Flächen. Springer, 1977.
↑ Eine andere Definition, die auf den Riemannschen Flächen äquivalent ist, wird zum Beispiel im Buch Riemannsche Flächen von Lamotke vorgestellt (siehe Literatur).

[1] Allen Hatcher: Algebraic Topology, Cambridge University Press 2002, S. 56.

[Forster-2] Otto Forster: Riemannsche Flächen. Springer, 1977.

[3] Eine andere Definition, die auf den Riemannschen Flächen äquivalent ist, wird zum Beispiel im Buch Riemannsche Flächen von Lamotke vorgestellt (siehe Literatur).

[1]

[2]

[3]