Riemannsche Fläche/Einführung/Textabschnitt

Definition

Ein topologischer Hausdorff-Raum ${}M$ zusammen mit einer offenen Überdeckung ${}M=\bigcup _{i\in I}U_{i}$ und Homöomorphismen

$\alpha _{i}\colon U_{i}\longrightarrow V_{i}$

mit ${}V_{i}\subseteq {\mathbb {C} }^{n}$ derart, dass die Übergangsabbildungen

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

Diffeomorphismen sind, heißt komplexe Mannigfaltigkeit der Dimension ${}n$. Die Menge der Karten ${}(U_{i},\alpha _{i})$, ${}i\in I$, nennt man auch den Atlas der Mannigfaltigkeit.

Die Abbildungen ${}\alpha _{i}$ nennt man die Karten der Mannigfaltigkeit und ${}U_{i}$ heißt auch das Kartengebiet und ${}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

$\alpha \colon U\longrightarrow V$

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

$\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 ${}{\mathbb {C} }^{n}$ aus. Eine komplexe Mannigfaltigkeit ist insbesondere eine reelle Mannigfaltigkeit der reellen Dimension ${}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.

Definition

Eine riemannsche Fläche ist eine komplexe Mannigfaltigkeit der (komplexen) Dimension ${}1$.

Eine riemannsche Fläche hat die komplexe Dimension ${}1$ und die reelle Dimension ${}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 ${}{\mathbb {C} }$, und insbesondere ${}{\mathbb {C} }$ selbst und ein offener Ball ${}U{\left(P,r\right)}$ ist eine riemannsche Fläche. Es sei schon jetzt erwähnt, dass ${}{\mathbb {C} }\cong \mathbb {R} ^{2}$ und ${}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 ${}U{\left(P,r\right)}$ zur Standardkreisscheibe ${}U{\left(0,1\right)}$ biholomorph, da man das eine durch verschieben und strecken ineinander überführen kann.

Wenn eine Karte mit dem Kartenbild ${}U\subseteq {\mathbb {C} }$ gegeben ist und ${}z$ die Variable auf ${}{\mathbb {C} }$ ist, so nennt man ${}z$ auch einen lokalen Parameter für ${}X$, insbesondere dann, wenn man sich auf einen Punkt ${}P\in X$ bezieht, für den ${}z$ den Wert ${}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 ${}S^{2}\subseteq \mathbb {R} ^{3}$ erhält man über die stereographischen Projektionen (${}N$ und ${}S$ steht für Nordpol und Südpol)

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

und

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

die Übergangsabbildung

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

die komplex differenzierbar ist und reell durch ${}(x,y)\mapsto \left({\frac {x}{x^{2}+y^{2}}},\,{\frac {-y}{x^{2}+y^{2}}}\right)$ gegeben ist (bei den in Beispiel beschriebenen Projektionen muss man einmal komplex konjugieren, damit alles passt). Dadurch ist auf der Kugeloberfläche die Struktur einer eindimensionalen komplexen Mannigfaltigkeit gegeben. Diese heißt die komplex-projektive Gerade ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ oder auch die riemannsche Zahlenkugel. Die Überdeckung mit den beiden zu ${}{\mathbb {C} }$ biholomorphen offenen Mengen nennt man auch die affine Standardüberdeckung, siehe auch Fakt. 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 ${}{\mathbb {C} }$ und bezeichnet dann den einzigen Punkt, der bei der Einbettung ${}{\mathbb {C} }\subseteq {\mathbb {P} }_{\mathbb {C} }^{1}$ hinzukommt, als unendlich fernen Punkt ${}\infty$.

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

Satz

Es sei ${}G\subseteq {\mathbb {C} }^{n}$ offen und sei

$\varphi \colon G\longrightarrow {\mathbb {C} }^{m}$

eine stetig differenzierbare Abbildung. Es sei ${}Z=\varphi ^{-1}(Q)$ die Faser über einem Punkt ${}Q\in {\mathbb {C} }^{m}$. Das totale Differential ${}\left(D\varphi \right)_{P}$ sei surjektiv für jeden Punkt ${}P\in Z$.

Dann ist ${}Z$ eine komplexe Mannigfaltigkeit der Dimension ${}n-{m}$.

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

Korollar

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

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

Beweis

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

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

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

$\Box$

Durch die Projektion auf die erste Komponente liegt eine fixierte Abbildung ${}V\longrightarrow {\mathbb {C} }$, ${}(z,w)\longmapsto z$, vor. Diese ist surjektiv und besitzt über den Nullstellen von ${}f$ ein Urbild und sonst überall zwei Urbilder. Man spricht von der Wurzelfläche zu ${}f$ und sagt, dass diese „ausgebreitet“ über ${}{\mathbb {C} }$ vorliegt. Solche mit einer festen Projektion auf ${}{\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 in Fakt mit der Frage beschäftigen, inwiefern man eine solche Wurzelfläche zu einer riemannschen Fläche über die projektive Gerade ${}{\mathbb {P} }_{\mathbb {C} }^{1}$ fortsetzen kann.