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

Lokale Beschreibung von holomorphen Funktionen

Satz  

Es sei${\displaystyle {}U\subseteq {\mathbb {C} }}$einezusammenhängendeoffene Teilmenge,${\displaystyle {}P\in U}$ein Punkt und ${\displaystyle {}f\colon U\rightarrow {\mathbb {C} }}$eine nichtkonstanteholomorphe Funktion.

Dann gibt es eine offene Umgebung${\displaystyle {}P\in V\subseteq U}$derart, dass die Einschränkung von ${\displaystyle {}f}$ auf ${\displaystyle {}V}$ biholomorph äquivalent zu einer Potenzabbildung ist.

Das bedeutet, dass es ein${\displaystyle {}k\in \mathbb {N} _{+}}$und biholomorphe Abbildungen

${\displaystyle \theta \colon V\longrightarrow V'}$

mit${\displaystyle {}V'\subseteq {\mathbb {C} }}$eine offene Kreisscheibe um ${\displaystyle {}0}$ und eine Verschiebung

${\displaystyle \varphi \colon {\mathbb {C} }\longrightarrow {\mathbb {C} }}$

derart gibt, dass

${\displaystyle {}\varphi \circ f\circ \theta ^{-1}=w^{k}\,}$

auf ${\displaystyle {}V'}$ gilt(wobei ${\displaystyle {}w}$ die Variable auf ${\displaystyle {}V'}$ bezeichnet).

Beweis  

Wir wählen für ${\displaystyle {}V}$ eine Kreisscheibenumgebung von ${\displaystyle {}P}$, auf der ${\displaystyle {}f}$ durch eine Potenzreihedargestellt wird. Die Potenzreihe sei ${\displaystyle {}c_{0}+\sum _{n=k}^{\infty }c_{n}(z-P)^{n}}$ mit${\displaystyle {}c_{1},\ldots ,c_{k-1}=0}$und${\displaystyle {}c_{k}\neq 0}$.Durch eine Verschiebung im Ausgangsbereich und im Bildbereich können wir${\displaystyle {}P=0}$und${\displaystyle {}c_{0}=0}$annehmen. Die Potenzreihe kann man also als

${\displaystyle {}\sum _{n=k}^{\infty }c_{n}z^{n}=z^{k}{\left(\sum _{m=0}^{\infty }c_{m+k}z^{m}\right)}=z^{k}g(z)\,}$

mit${\displaystyle {}g(0)\neq 0}$schreiben. NachSatz 1.13gibt es eine holomorphe Funktion ${\displaystyle {}h}$ mit${\displaystyle {}g=h^{k}}$und damit ist auch${\displaystyle {}f=(zh)^{k}}$.Die Abbildung${\displaystyle {}\theta (z)=zh(z)}$ besitzt die Ableitung ${\displaystyle {}h(z)+zh'(z)}$ und hat in ${\displaystyle {}0}$ den Wert${\displaystyle {}h(0)\neq 0}$.Daher ist ${\displaystyle {}\theta }$ nachKorollar 1.11in einer geeigneten offenen Umgebung ${\displaystyle {}V}$ von ${\displaystyle {}0}$ biholomorph zu einer offenen Kreisscheibe ${\displaystyle {}V'}$. Mit der Variablen ${\displaystyle {}w}$ auf ${\displaystyle {}V'}$ ist dann

${\displaystyle {}f(\theta ^{-1}(w))={\left(\theta ^{-1}(w)h(\theta ^{-1}(w))\right)}^{k}={\left(\theta {\left(\theta ^{-1}(w)\right)}\right)}^{k}=w^{k}\,.}$

${\displaystyle \Box }$

Man kann also sagen, dass nach einem biholomorphen Koordinatenwechsel lokal jede holomorphe Abbildung ${\displaystyle {}\neq 0}$ eine Potenzierung ist. Diese lokale Beschreibung der Funktion nennen wir ihre lokale Normalform, und das ${\displaystyle {}k}$ nennen wir den lokalen Exponenten der Funktion im Punkt ${\displaystyle {}P}$. Man spricht, je nach Kontext, auch vom Verzweigungsindex oder von der Ordnung. Wenn die Ableitung${\displaystyle {}f'(P)\neq 0}$ist, so kann man den Satz über die lokale Umkehrabbildung anwenden und in einem solchen Punkt ist${\displaystyle {}k=1}$,dies ist der Standardfall. Nur für die Punkte einer diskreten Teilmenge kann ${\displaystyle {}k\geq 2}$sein, sieheAufgabe 2.5.

Satz  

Es sei${\displaystyle {}f\colon U\rightarrow {\mathbb {C} }}$eine nichtkonstanteholomorphe Funktionauf einerzusammenhängendenoffenen Teilmenge${\displaystyle {}U\subseteq {\mathbb {C} }}$.

Dann ist ${\displaystyle {}f}$ offen.

Beweis  

Der Zusammenhang stellt in Verbindung mitSatz 1.3sicher, dass die Funktion nirgendwo konstant ist. Es sei${\displaystyle {}V\subseteq U}$eine offene Teilmenge und${\displaystyle {}P\in V}$ein Punkt. Aufgrund vonSatz 2.1gibt es eine offene Umgebung${\displaystyle {}P\in W\subseteq V}$,auf der die Abbildung biholomorph äquivalent zu einer Potenzabbildung ist. Das Bild einer Kreisscheibe ${\displaystyle {}U{\left(0,r\right)}}$ unter ${\displaystyle {}z\mapsto z^{k}}$ ist aber

${\displaystyle {}{\left\{z^{k}\mid \vert {z}\vert <r\right\}}={\left\{w\mid \vert {w}\vert <r^{k}\right\}}\,}$

und somit selbst eine offene Kreisscheibe. Daher ist ${\displaystyle {}\varphi (W)}$ offen in ${\displaystyle {}{\mathbb {C} }}$. Die Vereinigung solcher offener Mengen zeigt, dass das Bild von ${\displaystyle {}V}$ offen ist.

${\displaystyle \Box }$

Satz  

Es seien${\displaystyle {}U,V\subseteq {\mathbb {C} }}$offenund sei${\displaystyle {}f\colon U\rightarrow V}$einebijektiveholomorphe Funktion.

Dann ist auch dieUmkehrfunktion${\displaystyle {}f^{-1}\colon V\rightarrow U}$holomorph.

Beweis  

Aufgrund der Bijektivität ist die Funktion ${\displaystyle {}f}$ nirgendwo konstant, wir können alsoSatz 2.1anwenden. Da die Funktionen ${\displaystyle {}z\mapsto z^{k}}$ bei${\displaystyle {}k\geq 2}$in keiner offenen Umgebung des Nullpunktes injektiv sind, muss stets${\displaystyle {}k=1}$sein. Damit ist nachFakt *****${\displaystyle {}f'(P)\neq 0}$in jedem Punkt${\displaystyle {}P\in U}$und somit ist nachKorollar 1.11die Umkehrfunktion ebenfalls holomorph.

${\displaystyle \Box }$

Riemannsche Flächen

Die Abbildungen ${\displaystyle {}\alpha _{i}}$ nennt man die Karten der Mannigfaltigkeit und ${\displaystyle {}U_{i}}$ heißt auch das Kartengebiet und ${\displaystyle {}V_{i}}$ das Kartenbild. Die passende Vorstellung ist, dass die Mannigfaltigkeit die (komplizierte, gekrümmte)„Wirklichkeit“ ist, die man ausschnittsweise mit der Hilfe von flachen Karten erfassen kann. Einen Homöomorphismus

${\displaystyle \alpha \colon U\longrightarrow V}$

mit${\displaystyle {}U\subseteq X}$und${\displaystyle {}V\subseteq {\mathbb {C} }^{n}}$offen nennt man eine(zu dem gegebenen Atlas)kompatible Karte, wenn für jedes Kartengebiet ${\displaystyle {}U_{i}}$

${\displaystyle \alpha \circ \alpha _{i}^{-1}\colon V_{i}\cap \alpha _{i}(U_{i}\cap U)\longrightarrow V}$

komplex-differenzierbar ist. Die Hinzunahme von kompatiblen Karten ändert die Mannigfaltigkeit nur unwesentlich, allerdings brauchen wir den Holomorphiebegriff für komplexe Mannigfaltigkeiten, um dies präzise zu machen.

Lokal sieht also eine komplexe Mannigfaltigkeit wie eine offene Teilmenge im ${\displaystyle {}{\mathbb {C} }^{n}}$ aus. Eine komplexe Mannigfaltigkeit ist insbesondere einereelle Mannigfaltigkeitder reellen Dimension ${\displaystyle {}2n}$. Hiervon gilt nicht die Umkehrung, da entscheidend bei einer komplexen Mannigfaltigkeit ist, dass die Übergangsabbildungen komplex-differenzierbar ist. Dies ist eine deutlich stärkere Forderung, als dass die Übergangsabbildungen reell-differenzierbar sind.

Eine riemannsche Fläche hat die komplexe Dimension ${\displaystyle {}1}$ und die reelle Dimension ${\displaystyle {}2}$, deshalb spricht man von Flächen. Es handelt sich somit um zweidimensionale Gebilde, bei denen zusätzlich eine komplexe Struktur vorliegt und fixiert ist. Jede offene Teilmenge von ${\displaystyle {}{\mathbb {C} }}$, und insbesondere ${\displaystyle {}{\mathbb {C} }}$ selbst und ein offener Ball ${\displaystyle {}U{\left(P,r\right)}}$ ist eine riemannsche Fläche. Es sei schon jetzt erwähnt, dass${\displaystyle {}{\mathbb {C} }\cong \mathbb {R} ^{2}}$ und ${\displaystyle {}U{\left(0,1\right)}}$als topologische Räume und als reelle Mannigfaltigkeiten homöomorph bzw. diffeomorph sind, aber nicht als riemannsche Flächen isomorph(das nennt man dann biholomorph)sind. Die komplexe Struktur ist also eine neue entscheidende Struktur. Andererseits ist jeder offene Ball ${\displaystyle {}U{\left(P,r\right)}}$ zur Standardkreisscheibe ${\displaystyle {}U{\left(0,1\right)}}$ biholomorph, da man das eine durch verschieben und strecken ineinander überführen kann.

Wenn eine Karte mit dem Kartenbild${\displaystyle {}U\subseteq {\mathbb {C} }}$gegeben ist und ${\displaystyle {}z}$ die Variable auf ${\displaystyle {}{\mathbb {C} }}$ ist, so nennt man ${\displaystyle {}z}$ auch einen lokalen Parameter für ${\displaystyle {}X}$, insbesondere dann, wenn man sich auf einen Punkt${\displaystyle {}P\in X}$bezieht, für den ${\displaystyle {}z}$ den Wert ${\displaystyle {}0}$ besitzt.

Die komplexe Struktur verkompliziert einerseits die topologische bzw. reelle Situation, indem topologisch äquivalente Sachen verschiedene komplexe Strukturen haben können, andererseits vereinfacht sie aber auch die Situation, da man beispielsweise die Übergangsabbildungen und die relevanten Funktionen mit nur einer komplexen Variablen beschreiben kann und da die komplexe Differenzierbarkeit bereits die Analytizität, also die lokale Entwickelbarkeit in einer Potenzreihe, bedeutet. In der Welt der riemannschen Flächen gibt es eine viele engere Beziehung zwischen dem lokalen und dem globalen Verhalten von Funktionen.

Beispiel  

Auf der reell zweidimensionalen Sphäre${\displaystyle {}S^{2}\subseteq \mathbb {R} ^{3}}$erhält man über die stereographischen Projektionen(${\displaystyle {}N}$ und ${\displaystyle {}S}$steht für Nordpol und Südpol)

${\displaystyle \alpha \colon S^{2}\setminus \{N\}\longrightarrow {\mathbb {C} }\cong \mathbb {R} ^{2}}$

und

${\displaystyle \beta \colon S^{2}\setminus \{S\}\longrightarrow {\mathbb {C} }\cong \mathbb {R} ^{2}}$

die Übergangsabbildung

${\displaystyle {\mathbb {C} }\setminus \{0\}\longrightarrow {\mathbb {C} }\setminus \{0\},\,z\longmapsto z^{-1},}$

die komplex differenzierbarist und reell durch ${\displaystyle {}(x,y)\mapsto \left({\frac {x}{x^{2}+y^{2}}},\,{\frac {-y}{x^{2}+y^{2}}}\right)}$ gegeben ist(bei den inBeispiel 75.1 (Analysis (Osnabrück 2014-2016))beschriebenen Projektionen muss man einmal komplex konjugieren, damit alles passt).Dadurch ist auf der Kugeloberfläche die Struktur einer eindimensionalen komplexen Mannigfaltigkeitgegeben. Diese heißt die komplex-projektive Gerade ${\displaystyle {}{\mathbb {P} }_{\mathbb {C} }^{1}}$ oder auch die riemannsche Zahlenkugel. Die Überdeckung mit den beiden zu ${\displaystyle {}{\mathbb {C} }}$ biholomorphen offenen Mengen nennt man auch die affine Standardüberdeckung, siehe auchSatz 5.6.Wenn man eine dieser offenen Mengen fixiert hat, so nennt man den einzigen fehlenden Punkt auch den unendlich fernen Punkt. In der anderen offenen Menge ist dieser der Nullpunkt.

Oft fixiert man eine komplexe Ebene ${\displaystyle {}{\mathbb {C} }}$ und bezeichnet dann den einzigen Punkt, der bei der Einbettung${\displaystyle {}{\mathbb {C} }\subseteq {\mathbb {P} }_{\mathbb {C} }^{1}}$hinzukommt, als unendlich fernen Punkt ${\displaystyle {}\infty }$.

Eine wichtige Quelle für komplexe Mannigfaltigkeiten eröffnet sich durch den Satz über implizite Abbildungen.

Dabei ergibt sich eine riemannsche Fläche, wenn die Differenz der Dimensionen gleich ${\displaystyle {}1}$ ist. Wir erwähnen speziell die folgende Situation.

Korollar  

Es sei${\displaystyle {}f\in {\mathbb {C} }[Z]}$ein Polynom ohne mehrfache Nullstelle.

Dann ist${\displaystyle {}V={\left\{(z,w)\mid w^{2}=f(z)\right\}}\subseteq {\mathbb {C} }^{2}}$eine riemannsche Fläche.

Beweis  

Es ist ${\displaystyle {}V}$ die Nullstellenmenge der polynomialen Abbildung

${\displaystyle \varphi \colon {\mathbb {C} }^{2}\longrightarrow {\mathbb {C} },\,(z,w)\longmapsto f(z)-w^{2}.}$

Die Jacobi-Matrixvon ${\displaystyle {}\varphi }$ ist ${\displaystyle {}\left(f'(z),\,2w\right)}$. Sei${\displaystyle {}(z,w)\in V}$.Bei${\displaystyle {}f'(z)=0}$ist${\displaystyle {}f(z)\neq 0}$und damit ist${\displaystyle {}w\neq 0}$.Die Jacobi-Matrix ist also auf ganz ${\displaystyle {}V}$ regulärund damit zeigtder Satz über implizite Abbildungen,dass ${\displaystyle {}V}$ eine komplexe Mannigfaltigkeit ist.

${\displaystyle \Box }$

Durch die Projektion auf die erste Komponente liegt eine fixierte Abbildung${\displaystyle {}V\longrightarrow {\mathbb {C} }}$, ${\displaystyle {}(z,w)\longmapsto z}$,vor. Diese ist surjektiv und besitzt über den Nullstellen von ${\displaystyle {}f}$ ein Urbild und sonst überall zwei Urbilder. Man spricht von der Wurzelfläche zu ${\displaystyle {}f}$ und sagt, dass diese „ausgebreitet“ über ${\displaystyle {}{\mathbb {C} }}$ vorliegt. Solche mit einer festen Projektion auf ${\displaystyle {}{\mathbb {C} }}$ versehenen riemannschen Flächen nennt man auch konkrete riemannsche Flächen, während man dann die durch einen Atlas gegebenen Flächen abstrakte riemannsche Flächen nennt. Diesen Unterschied sollte man aber nicht überbewerten. Wir werden uns inLemma 14.13mit der Frage beschäftigen, inwiefern man eine solche Wurzelfläche zu einer riemannschen Fläche über die projektive Gerade ${\displaystyle {}{\mathbb {P} }_{\mathbb {C} }^{1}}$ fortsetzen kann.