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

Auswertung von Kohomologieklassen längs eines Weges

Es sei ${}X$ eine topologische Mannigfaltigkeit, wir betrachten die Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$, wobei ${}{\mathbb {K} }$ für ${}\mathbb {R}$ oder für ${}{\mathbb {C} }$ steht. Das Symbol ${}{\mathbb {K} }$ verwenden wir auch für die zugehörige Garbe. Eine erste Kohomologieklasse ${}c\in H^{1}(X,{\mathbb {K} })$ wird repräsentiert durch einen Čech-Kozykel, also durch eine offene Überdeckung

${}X=\bigcup _{i\in I}U_{i}\,$

und lokal konstante Funktionen ${}f_{ij}$ auf ${}U_{i}\cap U_{j}$ mit der Eigenschaft, dass

${}f_{ij}-f_{ik}+f_{jk}=0\,$

auf ${}U_{i}\cap U_{j}\cap U_{k}$ gilt. Die lokale Konstanz bedeutet insbesondere, dass ${}f_{ij}$ auf den Zusammenhangskomponenten von ${}U_{i}\cap U_{j}$ konstant ist. Auch wenn die ${}U_{i}$, die man oft als homöomorph zu Bällen ansetzt, zusammenhängend sind, gilt dies in der Regel nicht für die Durchschnitte. Die Trivialität einer Kohomologieklasse ${}c$ bedeutet, dass es lokal konstante Funktionen ${}g_{i}$ auf ${}U_{i}$ gibt mit ${}f_{ij}=-g_{i}+g_{j}$. Wir wollen diese Trivialität mit der Hilfe von geschlossenen Wegen charakterisieren.

Definition Referenznummer erstellen

Zu einer offenen Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ eines topologischen Raumes nennt man eine geordnete endliche Auswahl ${}V_{1},\ldots ,V_{n}$ mit ${}V_{k}=U_{\alpha (k)}$ (mit einer Abbildung ${}\alpha \colon \{1,\ldots ,n\}\rightarrow I$) und ${}V_{k}\cap V_{k+1}\neq \emptyset$ eine topologische Kette der Überdeckung.

Lemma Lemma 23.2 ändern

Es sei ${}X$ eine topologische Mannigfaltigkeit und sei ${}z\in {\check {Z}}^{1}(X,{\mathbb {K} })$ ein erster Čech-Kozykel in der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$, der durch ${}f_{ij}$ zur Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ mit ${}U_{i}$ zusammenhängend repräsentiert sei.

Dann gilt für die zugehörige Kohomologieklasse ${}[z]=0$ genau dann, wenn für jede topologische Kette ${}V_{1},\ldots ,V_{n}$ zur Überdeckung und jede Auswahl von Punkten ${}P_{k}\in V_{k}\cap V_{k+1}$ die Summe ${}\sum _{k=1}^{n-1}f_{\alpha (k+1)\alpha (k)}(P_{k})$ nur von ${}V_{1}$ und ${}V_{n}$ abhängt.

Beweis

Es sei zuerst ${}[z]=0$. Dann gibt es lokal konstante Funktionen ${}g_{i}$ auf ${}U_{i}$ mit ${}f_{ij}=g_{j}-g_{i}$. Dann ist

${}{\begin{aligned}\sum _{k=1}^{n-1}f_{\alpha (k+1)\alpha (k)}(P_{k})&=\sum _{k=1}^{n-1}{\left(-g_{\alpha (k)}(P_{k})+g_{\alpha (k+1)}(P_{k})\right)}\\&=-g_{\alpha (1)}(P_{1})+\sum _{k=1}^{n-2}{\left(g_{\alpha (k+1)}(P_{k})-g_{\alpha (k+1)}(P_{k+1})\right)}+g_{\alpha (n)}(P_{n-1})\\&=-g_{\alpha (1)}(P_{1})+g_{\alpha (n)}(P_{n-1}),\end{aligned}}$

da ${}g_{\alpha (k+1)}$ auf ${}V_{k+1}=U_{\alpha (k+1)}$ konstant ist.

Es sei nun umgekehrt die Unabhängigkeitseigenschaft erfüllt. Wir können annehmen, dass ${}X$ zusammenhängend ist. Zunächst sind die Funktionen ${}f_{ij}$ auf ${}U_{i}\cap U_{j}$ konstant, da andernfalls sich für die Kette ${}U_{i},U_{j}$ sofort ein Widerspruch zur Unabhängigkeit der Punktwahl ergeben würde. Wir definieren konstante Funktionen ${}g_{i}$ auf den ${}U_{i}$ in folgender Weise. Wir fixieren eine offene Menge ${}U_{i_{0}}$ als ${}V_{1}$ und legen darauf den Wert ${}0$ fest. Zu einer offenen Menge ${}U_{i}$ gibt es einen stetigen Weg von ${}V_{1}$ nach ${}U_{i}$ und damit auch eine topologische Kette ${}V_{1},\ldots ,V_{n}=U_{i}$. Wir wählen Punkte ${}P_{k}\in V_{k}\cap V_{k+1}$ und setzen

${}g_{i}=-\sum _{k=1}^{n-1}f_{\alpha (k+1)\alpha (k)}(P_{k})=\sum _{k=1}^{n-1}f_{\alpha (k)\alpha (k+1)}(P_{k})\,.$

Nach Voraussetzung ist dies unabhängig von der gewählten Kette und den gewählten Punkten. Wir behaupten, dass der Korand zu den ${}g_{i}$ den gegebenen Kozykel realisiert. Es haben ${}U_{i}$ und ${}U_{j}$ einen nichtleeren Durchschnitt, andernfalls ist nichts zu zeigen. Dann können wir eine topologische Kette von ${}V_{1}$ nach ${}V_{n}=U_{i}$ um ${}V_{n+1}=U_{j}$ zu einer Kette von ${}V_{1}$ nach ${}U_{j}$ erweitern. Dabei gilt

${}{\begin{aligned}g_{j}-g_{i}&=-\sum _{k=1}^{n-1}f_{\alpha (k+1)\alpha (k)}(P_{k})-f_{\alpha (n+1)\alpha (n)}(P_{n})+\sum _{k=1}^{n-1}f_{\alpha (k+1)\alpha (k)}(P_{k})\\&=-f_{\alpha (n+1)\alpha (n)}(P_{n})\\&=f_{\alpha (n)\alpha (n+1)}(P_{n})\\&=f_{ij}(P_{n}).\end{aligned}}$

$\Box$

Definition Referenznummer erstellen

Es sei ${}X$ eine topologische Mannigfaltigkeit und sei ${}z\in {\check {Z}}^{1}(X,{\mathbb {K} })$ ein erster Čech-Kozykel in der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$, der durch ${}f_{ij}$ zur Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ mit ${}U_{i}$ zusammenhängend repräsentiert sei. Zu einem stetigen Weg

$\gamma \colon [0,1]\longrightarrow X$

definiert man die Auswertung des Kozykels längs des Weges in folgender Weise. Man wählt eine topologische Kette ${}V_{1},\ldots ,V_{n}$ aus der Überdeckung mit ${}\gamma (0)\in V_{1}$ und ${}\gamma (1)\in V_{n}$ und Punkte ${}P_{k}\in V_{k}\cap V_{k+1}\cap \gamma ([0,1])$ und setzt

${}\int _{\gamma }z:=\sum _{k=1}^{n-1}f_{\alpha (k+1),\alpha (k)}(P_{k})\,.$

Beispiel Referenznummer erstellen

Wir betrachten auf dem Kreis die Überdeckung mit zwei offenen (zu reellen Intervallen homöomorphen) Kreissegmenten ${}S^{1}=U_{1}\cup U_{2}$, deren Durchschnitt ${}U_{1}\cap U_{2}=S\cup T$ die disjunkte Vereinigung von zwei Intervallen ist. Die Kohomologieklasse ${}c\in H^{1}(X,{\mathbb {K} })$ sei auf dem Durchschnitt durch

${}f_{12}={\begin{cases}a{\text{ auf }}S\,,\\b{\text{ auf }}T\,,\end{cases}}\,$

gegeben. Für den Weg ${}\gamma$, der den Kreis einfach durchläuft, ist ${}V_{1}=U_{1}$, ${}V_{2}=U_{2}$, ${}V_{3}=U_{1}$ eine topologische Kette für den Weg. Beim Übergang von ${}V_{1}$ nach ${}V_{2}$ werde ${}S$ und beim Übergang von ${}V_{2}$ nach ${}V_{3}$ werde ${}T$ durchlaufen. Die Auswertung ist dann ${}-a+b$, das Minuszeichen vorne beruht darauf, dass man ${}f_{21}$ nimmt, unten hinten muss man beim Übergang von ${}V_{2}=U_{2}$ nach ${}V_{3}=U_{1}$ die Funktion ${}f_{32}=f_{12}$ nehmen.

Die Wohldefiniertheit der Auswertung ergibt sich aus der folgenden Aussage.

Lemma Lemma 23.5 ändern

Es sei ${}X$ eine topologische Mannigfaltigkeit und sei ${}z\in {\check {Z}}^{1}(X,{\mathbb {K} })$ ein erster Čech-Kozykel in der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$, der durch ${}f_{ij}$ zur Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ mit ${}U_{i}$ zusammenhängend repräsentiert sei. Es sei

$\gamma \colon [0,1]\longrightarrow X$

ein stetiger Weg. Dann gelten folgende Aussagen.

1. Die Auswertung ${}\int _{\gamma }z$ ist wohldefiniert.
2. Die Auswertung ist linear im Kozykel.
3. Die Auswertung ist additiv bezüglich der Verknüpfung von Wegen.
4. Wenn man den Weg in umgekehrter Richtung durchläuft, so negiert sich die Auswertung.
5. Für einen geschlossenen Weg und einen Kozykel, der die triviale Kohomologieklasse repräsentiert, ist ${}\int _{\gamma }z=0$.
6. Die Auswertung hängt nur von der Homotopieklasse des Weges ab.

Beweis

1. Es sei ${}V_{1},\ldots ,V_{n}$ eine gewählte topologische Kette um den Weg. Die Auswertung ist zunächst einmal unabhängig von der Wahl der Punkte ${}P_{k}\in V_{k}\cap V_{k+1}\cap \gamma ([0,1])$, da der Ausschnitt des Weges zusammenhängend ist. Es sei ${}U_{s}$ eine zusätzliche offene Umgebung ${}U_{s}$ (aus der Überdeckung), die ${}\gamma ([0,1])$ trifft, und mit der wir die Kette erweitern wollen. Es sei ${}U_{s}\cap V_{k}\cap \gamma ([0,1])\neq \emptyset$. Bei ${}U_{s}\cap V_{k}\cap V_{k+1}\cap \gamma ([0,1])=\emptyset$ können wir die Kette zu ${}\ldots V_{k},U_{s},V_{k},V_{k+1},\ldots$ abändern. Für die beiden Übergänge können wir den gleichen Punkt wählen und erhalten den gleichen Funktionswert mit unterschiedlichem Vorzeichen (da sich die Reihenfolge des Überganges ändert), was sich weghebt. Es sei nun ${}U_{s}\cap V_{k}\cap V_{k+1}\cap \gamma ([0,1])\neq \emptyset$. Wir betrachten die abgeänderte Kette ${}V_{1},\ldots ,V_{k}=U_{r},U_{s},V_{k+1}=U_{t},\ldots ,V_{n}$ Wir können davon ausgehen, dass ${}P_{k}$ zu den drei Mengen gehört. Die Gesamtänderung der Auswertung bei dieser Abänderung ist dann

   ${}-f_{r,t}(P_{k})+f_{r,s}(P_{k})+f_{s,t}(P_{k})=0\,.$

   In dieser Weise können wir sukzessive von jeder Kette zu jeder Kette übergehen. Wenn man die Klasse durch eine andere Überdeckung repräsentiert, so kann man annehmen, dass es sich um eine Verfeinerung (im Sinne von es kommen offene Mengen hinzu) handelt und dann wie soeben schließen.

2. Ist klar.
3. Ist klar.
4. Ist klar.
5. Folgt aus Lemma 23.2.
6. Es seien ${}\gamma$ und ${}\gamma '$ homotope Wege mit dem gleichen Start- und Zielpunkt und sei

   $H\colon [0,1]\times [0,1]\longrightarrow X$

   eine Homotopie zwischen den Wegen. D.h. ${}H$ ist stetig und eingeschränkt auf den linken Rand des Quadrates gleich ${}\gamma$ und eingeschränkt auf den rechten Rand gleich ${}\gamma '$. Wegen der Kompaktheit von ${}[0,1]\times [0,1]$ besitzt die offene Überdeckung ${}H^{-1}(U_{i})$, ${}i\in I$, eine endliche Teilüberdeckung. Daher gibt es auch eine Gittereinteilung des Quadrates in ${}m\cdot m$ Teilquadrate der Seitenlänge ${}{\frac {1}{m}}$ derart, dass sie ganz in einem der ${}H^{-1}(U_{i})$ liegen. Es ist also stets

   ${}H([{\frac {r}{m}},{\frac {r+1}{m}}]\times [{\frac {s}{m}},{\frac {s+1}{m}}])\subseteq U_{i}\,.$

   Wir verkleinern nochmal die Teilquadrate, um sicherzustellen, dass benachbarte Quadrat in einer der offenen Mengen landen. Um die Gleichheit zwischen ${}\int _{\gamma }z$ und ${}\int _{\gamma '}z$ zu zeigen, können wir sukzessive Wege auf einem einzigen kleinen Quadrat abändern. Wir betrachten Wege der Form

   ${}\delta _{r,s}(t)={\begin{cases}H({\frac {r}{m}},t){\text{ für }}t<{\frac {s}{m}}\,,\\H({\frac {r}{m}}+t-{\frac {s}{m}},t){\text{ für }}{\frac {s}{m}}\leq t\leq {\frac {s+1}{m}}\,,\\H({\frac {r+1}{m}},t){\text{ für }}t>{\frac {s+1}{m}}\,,\end{cases}}\,$

   und den Übergang von ${}\delta _{r,s}$ nach ${}\delta _{r,s+1}$. Es sei ${}U_{i}$ die offene Umgebung, in der das Rechteck ${}[{\frac {r}{m}},{\frac {r+1}{m}}]\times [{\frac {s}{m}},{\frac {s+2}{m}}]$ landet, in dem sich die Abänderung des Weges abspielt. Diese offene Umgebung können wir als Teil einer topologischen Kette ${}V_{1},\ldots ,V_{n}$ nehmen mit ${}V_{k}=U_{i}$, die beide Wege umfasst. Da ${}V_{k}\cap V_{k+1}\cap \delta _{r,s}([0,1])$ und ${}V_{k}\cap V_{k+1}\cap \delta _{r,s+1}([0,1])$ Punkte gemeinsam haben und da eine einfache Wegverzweigung zusammenhängend ist, stimmen beide Auswertungen überein. Durch eine endlich Anzahl solcher kleinen Abwandlungen können wir ${}\gamma$ in ${}\gamma '$ überführen.

$\Box$

Lemma Lemma 23.6 ändern

Es sei ${}X$ eine topologische Mannigfaltigkeit, sei ${}c\in H^{1}(X,{\mathbb {K} })$ eine erste Kohomologieklasse in der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$ und sei

$\gamma \colon [0,1]\longrightarrow X$

ein stetiger geschlossener Weg. Dann gelten folgende Aussagen.

1. Die Auswertung ${}\int _{\gamma }c$ ist wohldefiniert.
2. Die Auswertung ist linear in der Kohomologieklasse.
3. Die Auswertung ist additiv bezüglich der Verknüpfung von Wegen.
4. Wenn man den Weg in umgekehrter Richtung durchläuft, so negiert sich die Auswertung.
5. Die Auswertung hängt nur von der Homotopieklasse des Weges ab.

Beweis

(1) folgt aus Lemma 23.5  (5), alles weitere folgt ebenfalls aus dem Lemma.

$\Box$

Lemma Lemma 23.7 ändern

Es sei ${}X$ eine topologische Mannigfaltigkeit und ${}c\in H^{1}(X,{\mathbb {K} })$ eine erste Kohomologieklasse in der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$.

Dann ist ${}c=0$ genau dann, wenn ${}\int _{\gamma }c=0$ für alle geschlossenen Wege ${}\gamma$ in ${}X$ ist.

Beweis

Die Hinrichtung ist klar. Für die Rückrichtung verwenden wir Lemma 23.2. Es sei ${}z$ ein repräsentierender Kozykel der Klasse. Aus der Eigenschaft, dass ${}\int _{\gamma }z$ für alle geschlossenen Wege gleich ${}0$ ist, folgt, dass die Auswertung ${}\int _{\gamma }z$ für jeden Weg nur vom Anfangs- und Endpunkt abhängt (zwei Wege ergeben einen geschlossenen Weg, indem man den zweiten in umgekehrter Richtung durchläuft). In jede topologische Kette lässt sich ein stetiger Weg hineinlegen derart, dass die Auswertung des Kozykels an der Kette mit der Auswertung des Kozykels am Weg übereinstimmt. Daher hängt die Auswertung längs der Kette auch nur von der Anfangs- und der Endmenge ab.

$\Box$

Definition Referenznummer erstellen

Es sei ${}X$ eine zusammenhängende topologische Mannigfaltigkeit und ${}c\in H^{1}(X,{\mathbb {K} })$ eine erste Kohomologieklasse der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$. Dann nennt man den Gruppenhomomorphismus

$\pi _{1}(X)\longrightarrow {\mathbb {K} },\,\gamma \longmapsto \int _{\gamma }c,$

die Periodenabbildung zu ${}c$.

Die Periodenabbildung ist wegen Lemma 23.6  (3) ein Gruppenhomomorphismus. Da ${}{\mathbb {K} }$ eine kommutative Gruppe ist, wird die Kommutatoruntergruppe der Fundamentalgruppe unter jeder Periodenabbildung auf ${}0$ abgebildet. Daher faktorisiert die Periodenabbildung durch die erste Homologiegruppe (die man als die Fundamentalgruppe modulo der Kommutatoruntergruppe definieren kann), also

$H_{1}(X,{\mathbb {K} })\longrightarrow {\mathbb {K} },\,[\gamma ]\longmapsto \int _{\gamma }c.$

Für die Gesamtzuordnung gilt die folgende Aussage.

Korollar Korollar 23.9 ändern

Es sei ${}X$ eine zusammenhängende topologische Mannigfaltigkeit.

Dann gibt es einen natürlichen injektiven Gruppenhomomorphismus

$H^{1}(X,{\mathbb {K} })\longrightarrow \operatorname {Hom} {\left(\pi _{1}(X),{\mathbb {K} }\right)},\,c\longmapsto {\left(\gamma \mapsto \int _{\gamma }c\right)},$

von der ersten Kohomologie der Garbe der lokal konstanten Funktionen auf ${}X$ mit Werten in ${}{\mathbb {K} }$ in den Homorphismenraum von der Fundamentalgruppe ${}\pi _{1}(X)$ nach ${}{\mathbb {K} }$.

Beweis

Die Homomorphieeigenschaft ist Lemma 23.6  (2), die Injektivität ergibt sich aus Lemma 23.7.

$\Box$

Korollar Referenznummer erstellen

Es sei ${}X$ eine einfach zusammenhängende topologische Mannigfaltigkeit.

Dann ist ${}H^{1}(X,{\mathbb {K} })=0$.

Beweis

Auf einem einfach zusammenhängenden Raum ist ${}\pi _{1}(X)=0$, daher folgt die Aussage aus Korollar 23.9.

$\Box$