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

Der Tangentialraum

Holomorphe Funktionen auf einer offenen Menge von ${}{\mathbb {C} }$ sind komplex-differenzierbar. Wie „differenziert“ man eine holomorphe Funktion ${}f\colon X\rightarrow {\mathbb {C} }$ auf einer riemannschen Fläche? Nach Lemma 3.2 ist für jede Karte ${}\alpha \colon U\rightarrow V$ mit ${}U\subseteq X$ und ${}V\subseteq {\mathbb {C} }$ offen die Funktion ${}f\circ \alpha ^{-1}$ holomorph auf ${}V$ und somit ist für einen Punkt ${}P\in U$ die Ableitung ${}{\left(f\circ \alpha ^{-1}\right)}'(\alpha (P))$ eine wohldefinierte komplexe Zahl. Diese hängt aber wesentlich von der gewählten Karte ab. Um ein wohlbestimmtes Differenzierbarkeitskonzept für komplexe Mannigfaltigkeiten zu entwickeln, muss man einen anderen Weg gehen. Wir rekapitulieren ohne Beweise die Konstruktion des reellen Tangentialraumes für eine reell-differenzierbare Mannigfaltigkeit mit der Hilfe von tangentialen Kurven und führen dann für eine komplexe Mannigfaltigkeit die entsprechende Konstruktion mit holomorphen Kurven durch, die den komplexen Tangentialraum ergibt, der auf dem zugrunde liegenden reellen Tangentialraum einfach eine zusätzliche komplexe Struktur ergibt.

Definition Definition 4.1 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}P\in M$ ein Punkt. Es seien

$\gamma _{1}\colon I_{1}\longrightarrow M$

und

$\gamma _{2}\colon I_{2}\longrightarrow M$

zwei auf offenen Intervallen ${}0\in I_{1},I_{2}\subseteq \mathbb {R}$ definierte differenzierbare Kurven mit ${}\gamma _{1}(0)=P=\gamma _{2}(0)$. Dann heißen ${}\gamma _{1}$ und ${}\gamma _{2}$ tangential äquivalent in ${}P$, wenn es eine offene Umgebung ${}P\in U$ und eine Karte

$\alpha \colon U\longrightarrow V$

mit ${}V\subseteq \mathbb {R} ^{n}$ derart gibt, dass

${}{\left(\alpha \circ {\left(\gamma _{1}{|}_{\gamma _{1}^{-1}(U)}\right)}\right)}'(0)={\left(\alpha \circ {\left(\gamma _{2}{|}_{\gamma _{2}^{-1}(U)}\right)}\right)}'(0)\,$

gilt.

Wir brauchen einige einfache Lemmata, um nachzuweisen, dass es sich hierbei um einen sinnvollen Begriff handelt.

Lemma Lemma 4.2 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}P\in M$ ein Punkt. Es seien

$\gamma _{1}\colon I_{1}\longrightarrow M$

und

$\gamma _{2}\colon I_{2}\longrightarrow M$

zwei auf offenen Intervallen ${}0\in I_{1},I_{2}\subseteq \mathbb {R}$ definierte differenzierbare Kurven mit ${}\gamma _{1}(0)=P=\gamma _{2}(0)$.

Dann sind ${}\gamma _{1}$ und ${}\gamma _{2}$ genau dann tangential äquivalent in ${}P$, wenn für jede Karte

$\alpha \colon U\longrightarrow V$

mit ${}P\in U$ und ${}V\subseteq \mathbb {R} ^{n}$ die Gleichheit

${}{\left(\alpha \circ {\left(\gamma _{1}{|}_{\gamma _{1}^{-1}(U)}\right)}\right)}'(0)={\left(\alpha \circ {\left(\gamma _{2}{|}_{\gamma _{2}^{-1}(U)}\right)}\right)}'(0)\,$

gilt.

Lemma Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}P\in M$ ein Punkt.

Dann ist die tangentiale Äquivalenz von differenzierbaren Kurven durch ${}P$ eine Äquivalenzrelation.

Aufgrund dieses Lemmas ist die folgende Definition sinnvoll.

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}P\in M$ ein Punkt. Unter einem Tangentialvektor an ${}P$ versteht man eine Äquivalenzklasse von tangential äquivalenten differenzierbaren Kurven durch ${}P$. Die Menge dieser Tangentialvektoren wird mit

$T_{P}M$

bezeichnet.

Lemma Lemma 4.5 ändern

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit, ${}P\in M$ ein Punkt, ${}P\in U=M$ offen und

$\alpha \colon U\longrightarrow V$

eine Karte. Dann gelten folgende Aussagen.

1. Die Abbildung

   $T_{p}M\longrightarrow \mathbb {R} ^{n},\,[\gamma ]\longmapsto {\left(\alpha \circ \gamma {|}_{\gamma ^{-1}(U)}\right)}'(0),$

   ist eine wohldefinierte Bijektion.

2. Die durch diese Abbildung auf ${}T_{p}M$ definierte Vektorraumstruktur ist unabhängig von der gewählten Karte.

Definition Referenznummer erstellen

Es sei ${}M$ eine differenzierbare Mannigfaltigkeit und ${}P\in M$ ein Punkt. Unter dem Tangentialraum an ${}P$, geschrieben ${}T_{P}M$, versteht man die Menge der Tangentialvektoren an ${}P$ versehen mit der durch eine beliebige Karte gegebenen reellen Vektorraumstruktur.

Die Dimension des Tangentialraumes stimmt mit der Dimension der Mannigfaltigkeit überein. Jede Karte induziert einen Isomorphismus zwischen ${}T_{p}M$ und dem ${}\mathbb {R} ^{n}$, aber diese Isomorphismen hängen von der gewählten Karte ab. Insbesondere gibt es auf dem Tangentialraum keine Standardbasis.

Der komplexe Tangentialraum

Da eine komplexe Mannigfaltigkeit ${}M$ der komplexen Dimension ${}n$ insbesondere eine reell-differenzierbare Mannigfaltigkeit der reellen Dimension ${}2n$ ist, gibt es auf ihr zu jedem Punkt ${}P$ einen wohldefinierten reellen Tangentialraum der Dimension ${}2n$. Wir möchten zeigen, dass dieser in kanonischer Weise auch ein komplexer Vektorraum der komplexen Dimension ${}n$ ist. Dazu werden wir zuerst die reelle Konstruktion mit holomorphen Kurven nachbilden und dann den so entstandenen komplexen Tangentialraum mit dem reellen Tangentialraum identifizieren. Für komplexe Mannigfaltigkeiten definiert man holomorphe Abbildungen wie im Fall von riemannschen Flächen unter Bezug auf Karten. Eine holomorphe Kurve auf ${}M$ ist einfach eine holomorphe Abbildung ${}\gamma \colon B\rightarrow M$, die auf einer offenen Kreisscheibe ${}B\subseteq {\mathbb {C} }$ definiert ist. Die Holomorphie bezieht sich auf Karten von ${}M$. Da die folgenden Überlegungen lokal sind, kann man die Kreisscheiben verkleinern und dann annehmen, dass die holomorphe Kurve ganz in einem Kartengebiet landet.

Definition Definition 4.7 ändern

Es sei ${}M$ eine komplexe Mannigfaltigkeit und ${}P\in M$ ein Punkt. Es seien

$\gamma _{1}\colon B_{1}\longrightarrow M$

und

$\gamma _{2}\colon B_{2}\longrightarrow M$

zwei auf offenen Bällen ${}0\in B_{1},B_{2}\subseteq {\mathbb {C} }$ definierte holomorphe Kurven mit ${}\gamma _{1}(0)=P=\gamma _{2}(0)$. Dann heißen ${}\gamma _{1}$ und ${}\gamma _{2}$ tangential äquivalent in ${}P$, wenn es eine offene Umgebung ${}P\in U$ und eine Karte

$\alpha \colon U\longrightarrow V$

mit ${}V\subseteq {\mathbb {C} }^{n}$ derart gibt, dass

${}{\left(\alpha \circ {\left(\gamma _{1}{|}_{\gamma _{1}^{-1}(U)}\right)}\right)}'(0)={\left(\alpha \circ {\left(\gamma _{2}{|}_{\gamma _{2}^{-1}(U)}\right)}\right)}'(0)\,$

gilt.

Wir brauchen einige einfache Lemmata, um nachzuweisen, dass es sich hierbei um einen sinnvollen Begriff handelt.

Lemma Lemma 4.8 ändern

Es sei ${}M$ eine komplexe Mannigfaltigkeit und ${}P\in M$ ein Punkt. Es seien

$\gamma _{1}\colon B_{1}\longrightarrow M$

und

$\gamma _{2}\colon B_{2}\longrightarrow M$

zwei auf offenen Bällen ${}0\in B_{1},B_{2}\subseteq {\mathbb {C} }$ definierte holomorphe Kurven mit ${}\gamma _{1}(0)=P=\gamma _{2}(0)$.

Dann sind ${}\gamma _{1}$ und ${}\gamma _{2}$ genau dann tangential äquivalent in ${}P$, wenn für jede Karte

$\alpha \colon U\longrightarrow V$

mit ${}P\in U$ und ${}V\subseteq {\mathbb {C} }^{n}$ die Gleichheit

${}{\left(\alpha \circ {\left(\gamma _{1}{|}_{\gamma _{1}^{-1}(U)}\right)}\right)}'(0)={\left(\alpha \circ {\left(\gamma _{2}{|}_{\gamma _{2}^{-1}(U)}\right)}\right)}'(0)\,$

gilt.

Beweis

Für eine holomorphe Kurve

$\gamma \colon B\longrightarrow M$

mit ${}0\in B$ und ${}\gamma (0)=P$ und eine Karte

$\alpha \colon U\longrightarrow V$

(mit ${}P\in U$ und ${}V\subseteq {\mathbb {C} }^{n}$) ändert sich der Ausdruck

${\left(\alpha \circ {\left(\gamma {|}_{\gamma ^{-1}(U)}\right)}\right)}'(0)$

nicht, wenn man zu einem kleineren offenen Ball ${}0\in B'\subseteq B$ und einer kleineren offenen Menge ${}P\in U'\subseteq U$ (mit der induzierten Karte) übergeht. Wir können also davon ausgehen, dass ${}\gamma _{1}$ und ${}\gamma _{2}$ auf dem gleichen offenen Ball definiert sind und ihre Bilder in ${}U$ liegen, und dass es für dieses ${}U$ zwei Karten

$\alpha _{1}\colon U\longrightarrow V_{1}$

und

$\alpha _{2}\colon U\longrightarrow V_{2}$

gibt. Dann folgt aus

${}(\alpha _{1}\circ \gamma _{1})'(0)=(\alpha _{1}\circ \gamma _{2})'(0)\,$

nach der Kettenregel unter Verwendung der komplexen Differenzierbarkeit der Übergangsabbildung ${}\alpha _{2}\circ \alpha _{1}^{-1}$ sofort

${}{\begin{aligned}{\left(\alpha _{2}\circ \gamma _{1}\right)}'(0)&={\left({\left(\alpha _{2}\circ \alpha _{1}^{-1}\right)}\circ {\left(\alpha _{1}\circ \gamma _{1}\right)}\right)}'(0)\\&={\left(D\left(\alpha _{2}\circ \alpha _{1}^{-1}\right)\right)}_{\alpha _{1}(P)}{\left({\left(\alpha _{1}\circ \gamma _{1}\right)}'(0)\right)}\\&={\left(D\left(\alpha _{2}\circ \alpha _{1}^{-1}\right)\right)}_{\alpha _{1}(P)}{\left({\left(\alpha _{1}\circ \gamma _{2}\right)}'(0)\right)}\\&={\left(\alpha _{2}\circ \gamma _{2}\right)}'(0).\end{aligned}}$

$\Box$

Lemma Referenznummer erstellen

Es sei ${}M$ eine komplexe Mannigfaltigkeit und ${}P\in M$ ein Punkt.

Dann ist die tangentiale Äquivalenz von holomorphen Kurven durch ${}P$ eine Äquivalenzrelation.

Beweis

Die Reflexiviät und die Symmetrie der Relation sind unmittelbar klar. Zum Nachweis der Transitivität seien drei holomorphe Kurven

$\gamma _{1},\gamma _{2},\gamma _{3}\colon B\longrightarrow M$

gegeben, wobei wir sofort annehmen dürfen, dass sie auf dem gleichen offenen Ball ${}0\in B\subseteq {\mathbb {C} }$ definiert sind. Es seien ${}P\in U_{1},U_{2}$ offene Mengen, mit denen man die tangentiale Gleichheit von ${}\gamma _{1}$ und ${}\gamma _{2}$ bzw. von ${}\gamma _{2}$ und ${}\gamma _{3}$ nachweisen kann. Dann kann man nach Lemma 4.8 mit ${}U=U_{1}\cap U_{2}$ die tangentiale Gleichheit von ${}\gamma _{1}$ und ${}\gamma _{3}$ nachweisen.

$\Box$

Aufgrund dieses Lemmas ist die folgende Definition sinnvoll.

Definition Referenznummer erstellen

Es sei ${}M$ eine komplexe Mannigfaltigkeit und ${}P\in M$ ein Punkt. Unter einem Tangentialvektor an ${}P$ versteht man eine Äquivalenzklasse von tangential äquivalenten holomorphen Kurven durch ${}P$. Die Menge dieser Tangentialvektoren wird mit

$T_{P}M$

bezeichnet.

Lemma Lemma 4.11 ändern

Es sei ${}M$ eine komplexe Mannigfaltigkeit, ${}P\in M$ ein Punkt und ${}\alpha \colon U\rightarrow V$ eine Karte. Dann gelten folgende Aussagen.

1. Die Abbildung

   $T_{p}M\longrightarrow {\mathbb {C} }^{n},\,[\gamma ]\longmapsto {\left(\alpha \circ \gamma {|}_{\gamma ^{-1}(U)}\right)}'(0),$

   ist eine wohldefinierte Bijektion.

2. Die durch diese Abbildung auf ${}T_{p}M$ definierte ${}{\mathbb {C} }$- Vektorraumstruktur ist unabhängig von der gewählten Karte.

Beweis

(1). Die Wohldefiniertheit der Abbildung ist wegen Lemma 4.8 klar. Die Injektivität folgt unmittelbar aus der Definition 4.7. Zur Surjektivität sei ${}v\in {\mathbb {C} }^{n}$. Wir betrachten die affin-lineare Kurve

$\theta \colon {\mathbb {C} }\longrightarrow {\mathbb {C} }^{n},\,z\longmapsto \theta (z)=\alpha (P)+zv,$

dessen Ableitung in ${}0$ gerade ${}v$ ist. Wir schränken diese Kurve auf einen Ball ${}0\in B\subseteq {\mathbb {C} }$ derart ein, dass ${}\theta (B)\subseteq V$ ist und betrachten

$\gamma =\alpha ^{-1}\circ \theta \colon B\longrightarrow M.$

Für diese Kurve gilt

${}\gamma (0)={\left(\alpha ^{-1}\circ \theta \right)}(0)=\alpha ^{-1}(\theta (0))=\alpha ^{-1}(\alpha (P))=P\,$

und

${}{\left(\alpha \circ \gamma \right)}'(0)={\left(\alpha \circ {\left(\alpha ^{-1}\circ \theta \right)}\right)}'(0)=\theta '(0)=v\,.$

(2). Durch Übergang zu kleineren offenen Mengen können wir annehmen, dass zwei Karten

$\alpha _{1}\colon U\longrightarrow V_{1}$

und

$\alpha _{2}\colon U\longrightarrow V_{2}$

vorliegen. Die Übergangsabbildung

$\alpha _{2}\circ \alpha _{1}^{-1}\colon V_{1}\longrightarrow V_{2}$

ist biholomorph und für ihr totales Differential in ${}\alpha _{1}(P)$ gilt nach der Kettenregel die Beziehung

${}{\left(D(\alpha _{2}\circ \alpha _{1}^{-1})\right)}_{\alpha _{1}(P)}{\left((\alpha _{1}\circ \gamma )'(0)\right)}=(\alpha _{2}\circ \gamma )'(0)\,.$

Das bedeutet, dass das Diagramm

${\begin{matrix}T_{P}M&{\stackrel {}{\longrightarrow }}&{\mathbb {C} }^{n}&\\&\searrow &\downarrow &\\&&{\mathbb {C} }^{n}&\!\!\!\!\!\!\!\!,\\\end{matrix}}$

wobei vertikal das totale Differential zu ${}\alpha _{2}\circ \alpha _{1}^{-1}$ steht, kommutiert. Da das totale Differential eine lineare Abbildung ist, die in der gegebenen Situation bijektiv ist, macht es keinen Unterschied, ob man die Addition und die Skalarmultiplikation auf ${}T_{P}M$ unter Bezug auf die obere oder die untere horizontale Abbildung definiert.

$\Box$

Definition Referenznummer erstellen

Es sei ${}M$ eine komplexe Mannigfaltigkeit und ${}P\in M$ ein Punkt. Unter dem Tangentialraum an ${}P$, geschrieben ${}T_{P}M$, versteht man die Menge der Tangentialvektoren an ${}P$ versehen mit der durch eine beliebige Karte gegebenen komplexen Vektorraumstruktur.

Die Dimension des Tangentialraumes als komplexer Vektorraum stimmt mit der komplexen Dimension der Mannigfaltigkeit überein. Jede Karte induziert einen Isomorphismus zwischen ${}T_{p}M$ und dem ${}{\mathbb {C} }^{n}$, aber diese Isomorphismen hängen von der gewählten Karte ab. Insbesondere gibt es auf dem Tangentialraum keine Standardbasis.

Lemma Lemma 4.13 ändern

Es sei ${}M$ eine komplexe Mannigfaltigkeit und ${}P\in M$ ein Punkt.

Dann gibt es eine natürliche Identifizierung zwischen dem komplexen Tangentialraum ${}T_{P}M$ und dem Tangentialraum in ${}P$ von ${}M$ als differenzierbare Mannigfaltigkeit.

Beweis

Wir schreiben ${}T_{P}^{\mathbb {C} }M$ und ${}T_{P}^{\mathbb {R} }M$ für den komplexen bzw. den reellen Tangentialraum. Dabei ist ${}T_{P}^{\mathbb {C} }M$ ein komplexer Vektorraum der komplexen Dimension ${}n$, wobei ${}n$ die komplexe Dimension der komplexen Mannigfaltigkeit ${}M$ ist. Damit ist ${}T_{P}^{\mathbb {C} }M$ insbesondere ein reeller Vektorraum der reellen Dimension ${}2n$. Da ${}M$ als reelle differenzierbare Mannigfaltigkeit die Dimension ${}2n$ besitzt, hat auch ${}T_{P}^{\mathbb {R} }M$ die reelle Dimension ${}2n$. Wir betrachten die Abbildung

$T_{P}^{\mathbb {C} }M\longrightarrow T_{P}^{\mathbb {R} }M,\,[\gamma ]\longmapsto [\gamma {|}_{\mathbb {R} }],$

die einem holomorphen Tangentialvektor, der durch eine holomorphe Kurve ${}\gamma \colon B\rightarrow M$ mit ${}0\in B\subseteq {\mathbb {C} }$ und ${}\gamma (0)=P$ repräsentiert wird, den reellen Tangentialvektor zuordnet, der durch den reellen differenzierbaren Weg ${}\gamma {|}_{B\cap \mathbb {R} }$ repräsentiert wird. Diese Abbildung ist wohldefiniert und ${}\mathbb {R}$- linear. Zum Nachweis der Bijektivität betrachten wir zu einer Karte ${}\alpha \colon U\rightarrow V\subseteq {\mathbb {C} }^{n}\cong \mathbb {R} ^{2n}$ das Diagramm

${\begin{matrix}T_{P}^{\mathbb {C} }M&{\stackrel {}{\longrightarrow }}&{\mathbb {C} }^{n}&\\\downarrow &&\downarrow &\\T_{P}^{\mathbb {R} }M&{\stackrel {}{\longrightarrow }}&\mathbb {R} ^{2n}&\!\!\!\!\!\\\end{matrix}}$

wobei die horizontalen Abbildungen die Bijektionen aus Lemma 4.5 bzw. Lemma 4.11 sind. Wegen

${}(\alpha \circ \gamma )'(0)=(\alpha \circ \gamma {|}_{\mathbb {R} })'(0)\,$

ist das Diagramm kommutativ, daher ist die linke vertikale Abbildung ein reeller Isomorphismus.

$\Box$

Das Tangentialbündel

Definition Referenznummer erstellen

Es sei ${}M$ eine komplexe Mannigfaltigkeit. Dann nennt man die Menge

${}TM=\biguplus _{P\in M}T_{P}M\,,$

versehen mit der Projektionsabbildung

$\pi \colon TM\longrightarrow M,\,(P,v)\longmapsto P,$

das Tangentialbündel von ${}M$.

Definition Referenznummer erstellen

Es sei ${}M$ eine komplexe Mannigfaltigkeit der Dimension ${}n$ und

${}TM=\biguplus _{P\in M}T_{P}M\,$

das Tangentialbündel, versehen mit der Projektionsabbildung

$\pi \colon TM\longrightarrow M,\,(P,v)\longmapsto P.$

Das Tangentialbündel wird mit derjenigen Topologie versehen, bei der eine Teilmenge ${}W\subseteq TM$ genau dann offen ist, wenn für jede Karte

$\alpha \colon U\longrightarrow V$

die Menge ${}(T(\alpha )){\left(W\cap \pi ^{-1}(U)\right)}$ offen in ${}V\times \mathbb {R} ^{n}$ ist.

Das Tangentialbündel zu einer offenen Menge ${}V={\mathbb {C} }^{n}$ ist einfach ${}V\times {\mathbb {C} }^{n}$ mit der Produkttopologie. Zu einer offenen Menge ${}U\subseteq M$ ist ${}TU\subseteq TM$ eine offene Teilmenge. Wenn eine Karte ${}\alpha \colon U\rightarrow V$ vorliegt, so liegt ein kommutatives Diagramm

${\begin{matrix}TU&{\stackrel {}{\longrightarrow }}&V\times {\mathbb {C} }^{n}&\\\downarrow &&\downarrow &\\U&{\stackrel {\alpha }{\longrightarrow }}&V&\!\!\!\!\!\\\end{matrix}}$

vor, wobei die obere horizontale Abbildung für jeden Punkt ${}P\in U$ der natürliche Isomorphismus ${}T_{P}M\cong {\mathbb {C} }^{n}$ ist. Diese Abbildungen kann man wiederum als Karten für ${}TM$ nehmen und erhält dadurch auf dem Tangentialbündel die Struktur einer komplexen Mannigfaltigkeit der Dimension ${}2n$.

Orientierbarkeit

Die sogenannte Kleinsche Flasche ist ein Beispiel für eine nicht orientierbare kompakte Fläche. Das Bild ist nur eine Andeutung, die Kleinsche Flasche kann nicht überschneidungsfrei im ${}\mathbb {R} ^{3}$ realisiert werden. Es ist definitiv keine riemannsche Fläche.

Lemma Referenznummer erstellen

Eine komplexe Mannigfaltigkeit

ist orientierbar.

Beweis

Dies beruht im Wesentlichen darauf, dass zu einer bijektiven ${}{\mathbb {C} }$- linearen Abbildung auf einem endlichdimensionalen komplexen Vektorraum ${}V$ die zugrunde liegende reell-lineare Abbildung nach Aufgabe 4.7 eine positive Determinante besitzt.

$\Box$