Kurs:Riemannsche Flächen (Osnabrück 2022)/Arbeitsblatt 21/kontrolle

Aufgaben

Aufgabe Aufgabe 21.1 ändern

Es sei ${}X=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung eines topologischen Raumes ${}X$ und sei ${}{\mathcal {G}}$ eine Garbe von kommutativen Gruppen auf ${}X$. Zeige

${}{\check {H}}^{0}(U_{i},i\in I,{\mathcal {G}})=\Gamma {\left(X,{\mathcal {G}}\right)}\,.$

Aufgabe Referenznummer erstellen

Es sei ${}X=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung eines topologischen Raumes ${}X$ und sei ${}{\mathcal {G}}$ eine Garbe von kommutativen Gruppen auf ${}X$. Es sei ${}s\in {\check {C}}^{k}({U_{i}},{\mathcal {G}})$ ein Čech-Kozykel, der für ein bestimmtes ${}J=\{i_{0},i_{1},\ldots ,i_{k}\}\subseteq I$ den Wert ${}a\in \Gamma {\left(U_{J},{\mathcal {G}}\right)}$ und für alle anderen ${}(k+1)$-elementigen Teilmengen ${}J'\neq J$ den Wert ${}0$ besitzt. Bestimme ${}\delta (s)\in {\check {C}}^{k+1}({U_{i}},{\mathcal {G}})$.

Aufgabe * Aufgabe 21.3 ändern

Zeige, dass der Čech-Komplex in der Tat ein Komplex ist.

Aufgabe Referenznummer erstellen

Wir betrachten auf dem Kreis ${}S^{1}$ die Überdeckung mit drei offenen (zu reellen Intervallen homöomorphen) Kreissegmenten ${}S^{1}=U_{1}\cup U_{2}\cup U_{3}$, deren Durchschnitte ${}U_{i}\cap U_{j}$ Intervalle seien. Es sei ${}G$ eine diskrete topologische Gruppe und ${}{\mathcal {G}}$ die Garbe der lokal konstanten ${}G$-wertigen Funktionen auf dem Kreis. Bestimme ${}{\check {H}}^{1}(U_{1},U_{2},U_{3},{\mathcal {G}})$.

Aufgabe Referenznummer erstellen

Es sei ${}X=A\cup B$ die Vereinigung von zwei Kreisen, die sich in einem Punkt ${}P$ treffen (also eine „Acht“). Wir betrachten die offene Überdeckung ${}U_{1},U_{2},U_{3}$ von ${}X$, wobei ${}U_{1}$ eine offener Dreiviertelkreis von ${}A$ ist, der ${}P$ nicht enthält, wobei ${}U_{2}$ ein offener Dreiviertelkreis von ${}B$ ist, der ${}P$ nicht enthält, und wobei ${}U_{3}$ den Punkt ${}P$ enthält und von beiden Kreisen einen offenen Halbkreis ausschneidet. Es sei ${}G$ eine diskrete topologische Gruppe und ${}{\mathcal {G}}$ die Garbe der lokal konstanten ${}G$-wertigen Funktionen auf ${}X$. Bestimme ${}{\check {H}}^{1}(U_{1},U_{2},U_{3},{\mathcal {G}})$.

Aufgabe * Aufgabe 21.6 ändern

Auf der Kugeloberfläche ${}S^{2}$ fixieren wir ein „Dreieck“, etwa eines, das ein Achtel der Oberfläche einnimmt. Es seien ${}K_{1},K_{2},K_{3}$ die Kanten des Dreieckes. Dann ist

${}U_{i}=S^{2}\setminus K_{i}\,$

homöomorph zum ${}\mathbb {R} ^{2}$, der Durchschnitt

${}U_{1}\cap U_{2}=S^{2}\setminus {\left(K_{1}\cup K_{2}\right)}\,$

ist ebenfalls homöomorph zum ${}\mathbb {R} ^{2}$, dagegen zerfällt der Dreierdurchschnitt ${}U_{1}\cap U_{2}\cap U_{3}$ in zwei Teile, nämlich das offene innere Dreieck und die offene Restfläche, die beide homöomorph zum ${}\mathbb {R} ^{2}$ sind. Es sei ${}G$ eine diskrete topologische Gruppe und ${}{\mathcal {G}}$ die zugehörige Garbe der lokal konstanten Funktionen mit Werten in ${}G$. Bestimme den Čech-Komplex zu dieser Überdeckung und berechne ${}{\check {H}}^{1}(U_{i},{\mathcal {G}})$ und ${}{\check {H}}^{2}(U_{i},{\mathcal {G}})$.

Aufgabe Referenznummer erstellen

Wir betrachten einen Torus

${}X\cong S^{1}\times S^{1}\,$

und darauf einen Kreis ${}Z=S^{1}\times \{P\}$. Es sei ${}W\cong S^{1}\times I$ ein offener Streifen um ${}Z$ und es sei

${}W=U_{1}\cup U_{2}\,,$

wobei ${}U_{1},U_{2}$ homöomorph zu offenen Rechtecken seien und sich an den jeweiligen Enden überlappen (es liegt also um den Kreis eine Verdickung der Situation aus Beispiel 21.7 vor). Es sei

${}U_{3}=T\setminus Z\,.$

Berechne ${}{\check {H}}^{1}(U_{1},U_{2},U_{3},{\mathcal {G}})$, wobei ${}{\mathcal {G}}$ die Garbe der lokal konstanten Funktionen mit Werten in einer kommutativen Gruppe ${}G$ bezeichnet.

Aufgabe Referenznummer erstellen

Es sei ${}X$ eine zusammenhängende riemannsche Fläche und ${}{\mathcal {L}}$ eine invertierbare Untergarbe der Garbe der meromorphen Funktionen auf ${}X$. Bestimme eine Beschreibung von ${}{\mathcal {L}}$ als Čech-Kozykel von ${}{\mathcal {O}}_{X}^{\times }$.

Aufgabe Referenznummer erstellen

Es sei ${}{\mathcal {G}}$ eine welke Garbe auf einem topologischen Raum ${}X$ und sei ${}X=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung. Zeige

${}{\check {H}}^{1}(U_{i},i\in I,{\mathcal {G}})=0\,.$

Aufgabe Referenznummer erstellen

Es seien

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

offene Überdeckungen eines topologischen Raumes ${}X$. Zeige, dass

${}W_{ij}:=U_{i}\cap V_{j}\,$

mit der Indexmenge ${}I\times J$ eine gemeinsame Verfeinerung der beiden Überdeckungen ist.

Aufgabe Aufgabe 21.11 ändern

Es sei ${}X$ ein topologischer Raum und ${}{\mathcal {G}}$ eine Garbe von kommutativen Gruppen auf ${}X$. Es sei ${}U_{i}$, ${}i\in I$, eine offene Überdeckung von ${}X$, die eine Verfeinerung der offenen Überdeckung ${}V_{j}$, ${}j\in J$, sei. Zeige, dass die Verfeinerungsabbildung

${\check {H}}^{1}({\mathfrak {V}},{\mathcal {F}})\longrightarrow {\check {H}}^{1}({\mathfrak {U}},{\mathcal {F}})$

unabhängig von der Indexabbildung ${}\alpha \colon I\rightarrow J$ ist.

Aufgabe * Referenznummer erstellen

Es sei ${}{\mathcal {G}}$ eine Garbe von kommutativen Gruppen auf einem topologischen Raum ${}X$, es sei ${}X=\bigcup _{i\in I}U_{i}$ eine offene Überdeckung und sei ${}g_{ij}\in \Gamma {\left(U_{i}\cap U_{j},{\mathcal {G}}\right)}$ ein Čech-Kozykel zur gegebenen Garbe und Überdeckung. Es sei ${}\alpha ,\beta \in I$ mit

${}g_{\alpha ,\beta }=h_{\alpha }{|}_{U_{\alpha }\cap U_{\beta }}-h_{\beta }{|}_{U_{\alpha }\cap U_{\beta }}\,$

mit ${}h_{\alpha }\in \Gamma {\left(U_{\alpha },{\mathcal {G}}\right)}$ und ${}h_{\beta }\in \Gamma {\left(U_{\beta },{\mathcal {G}}\right)}$. Es sei ${}J=I\setminus \{\alpha ,\beta \}$ und ${}W=U_{\alpha }\cup U_{\beta }$. Zeige die folgenden Aussagen.

1. Die Familie ${}U_{j}$, ${}j\in J$, zusammen mit ${}W$ ist ebenfalls eine offene Überdeckung von ${}X$.
2. Zu ${}i\in J$ sind

   ${}f_{i}={\begin{cases}g_{i\alpha }+h_{\alpha }{\text{ auf }}U_{i}\cap U_{\alpha }\,,\\g_{i\beta }+h_{\beta }{\text{ auf }}U_{i}\cap U_{\beta }\,,\end{cases}}\,$

   wohldefinierte Schnitte aus ${}\Gamma {\left(U_{i}\cap W,{\mathcal {G}}\right)}$.

3. Die Familie ${}g_{ij}$, ${}i,j\in J$ und ${}f_{i}$ aus ${}\Gamma {\left(U_{i}\cap W,{\mathcal {G}}\right)}$ zu ${}i\in J$ ist ein Kozykel zu ${}{\mathcal {G}}$ zur Überdeckung aus (1).
4. Der Kozykel aus (2) definiert die gleiche erste Čech-Kohomologieklasse wie der ursprüngliche Kozykel.

In den folgenden Aufgaben beschreiben wir eine Interpretation der ersten Kohomologiegruppe zur Garbe der lokal konstanten Funktionen in einer diskreten Gruppe mit Hilfe von Überlagerungen.

Es sei ${}X$ ein topologischer Raum und ${}G$ eine Gruppe. Eine Überlagerung ${}p\colon Y\rightarrow X$ heißt eine Überlagerung, wenn eine fasertreue Gruppenoperation ${}G\times Y\rightarrow Y$ fixiert ist derart, dass es eine offene Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ gibt und ${}G$- invariante Homöomorphismen

$G\times U_{i}\longrightarrow p^{-1}(U_{i})$

über ${}U_{i}$.

In der folgenden Aufgabe wird die triviale ${}G$-Überlagerung beschrieben.

Aufgabe Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum und ${}G$ eine Gruppe. Zeige, dass ${}G\times X$, wobei ${}G$ mit der diskreten Topologie versehen wird, in natürlicher Weise eine ${}G$- Überlagerung von ${}X$ ist.

Aufgabe * Referenznummer erstellen

Zeige, dass zwei ${}G$- Überlagerungen ${}p_{1},p_{2}\colon Y\rightarrow X$ als Überlagerungen isomorph sein können, ohne dass sie als ${}G$-Überlagerungen isomorph sind.

Aufgabe Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum, ${}G$ eine Gruppe und ${}p\colon Y\rightarrow X$ eine ${}G$- Überlagerung. Zeige, dass es sich um eine normale Überlagerung handelt.

Aufgabe Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum, ${}G$ eine Gruppe und ${}p\colon Y\rightarrow X$ eine ${}G$- Überlagerung. Zeige, dass ${}G$ eine Untergruppe der Decktransformationsgruppe ist.

Ohne weitere Voraussetzung kann bei einer ${}G$-Überlagerung die Decktransformationsgruppe größer als ${}G$ sein, wie schon die triviale ${}G$-Überlagerung zeigt.

Aufgabe Referenznummer erstellen

Es sei ${}p\colon Y\rightarrow X$ eine normale Überlagerung mit ${}Y$ hausdorffsch, lokal wegzusammenhängend und zusammenhängend. Es sei ${}G$ die Decktransformationsgruppe. Zeige, dass ${}Y$ eine ${}G$- Überlagerung ist.

Aufgabe Referenznummer erstellen

Es sei ${}p$ eine Primzahl, ${}G=\mathbb {Z} /(p)$ und ${}k\in \mathbb {Z} /(p)$. Es sei ${}X={\mathbb {C} }^{\times }$. Wir ordnen ${}k$ eine ${}G$- Überlagerung ${}p\colon Y\rightarrow X$ in der folgenden Weise zu: Wenn ${}k=0$ ist, so nimmt man die ${}p$-fache disjunkte Vereinigung von ${}{\mathbb {C} }^{\times }$ und lässt den Erzeuger der Gruppe durch eine zyklische Vertauschung der Kopien operieren. Wenn ${}k$ eine Einheit modulo ${}p$ ist, so ist ${}Y={\mathbb {C} }^{\times }$, die Abbildung ist die Potenzierung ${}z\mapsto z^{p}$ und die ${}G$-Operation ist dadurch gegeben, dass der Erzeuger der Gruppe als Multiplikation mit ${}\zeta ^{k}$ wirkt, wobei ${}\zeta$ eine fixierte ${}p$-te primitive Einheitswurzel ist. Zeige, dass dabei nichtisomorphe ${}G$-Überlagerungen entstehen.

Aufgabe * Referenznummer erstellen

Es sei ${}X$ ein topologischer Raum und ${}G$ eine kommutative Gruppe. Zeige, dass die Menge der ${}G$- Überlagerungen (wobei ${}G$-isomorphe Überlagerungen miteinander identifiziert werden) in einer natürlichen Bijektion mit der ersten Kohomologiegruppe ${}{\check {H}}^{1}(X,G)$, wobei ${}G$ hier die Garbe der lokal konstanten Funktionen mit Werten in ${}G$ bezeichnet.

Aufgabe Aufgabe 21.12 ändern

Es sei ${}X$ ein topologischer Raum und sei ${}\varphi \colon {\mathcal {F}}\rightarrow {\mathcal {G}}$ ein Homomorphismus zwischen den Garben von kommutativen Gruppen ${}{\mathcal {F}}$ und ${}{\mathcal {G}}$ auf ${}X$. Zeige die folgenden Aussagen.

1. Zu einer offenen Überdeckung ${}X=\bigcup _{i\in I}U_{i}$ gibt es einen natürlichen Gruppenhomomorphismus

   ${\check {H}}^{1}(U_{i},{\mathcal {F}})\longrightarrow {\check {H}}^{1}(U_{i},{\mathcal {G}}).$

2. Es gibt einen natürlichen Gruppenhomomorphismus

   ${\check {H}}^{1}(X,{\mathcal {F}})\longrightarrow {\check {H}}^{1}(X,{\mathcal {G}}).$

Aufgabe Aufgabe 21.13 ändern

Es sei

$0\,{\stackrel {}{\longrightarrow }}\,{\mathcal {F}}\,{\stackrel {}{\longrightarrow }}\,{\mathcal {G}}\,{\stackrel {}{\longrightarrow }}\,{\mathcal {H}}\,{\stackrel {}{\longrightarrow }}\,0$

eine kurze exakte Sequenz von Garben von kommutativen Gruppen auf einem topologischen Raum ${}X$. Zeige, dass dann eine lange exakte Sequenz

$0\longrightarrow \Gamma {\left(X,{\mathcal {F}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {G}}\right)}\longrightarrow \Gamma {\left(X,{\mathcal {H}}\right)}{\stackrel {\delta }{\longrightarrow }}{\check {H}}^{1}(X,{\mathcal {F}})\longrightarrow {\check {H}}^{1}(X,{\mathcal {G}})\longrightarrow {\check {H}}^{1}(X,{\mathcal {H}})$

vorliegt.