Zum Inhalt springen

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

Aus Wikiversity



Aufgaben

Es seien und Garben auf dem topologischen Raum . Zeige, dass durch mit den natürlichen Produktabbildungen eine Garbe auf gegeben ist.



Es sei eine Garbe auf einem nicht zusammenhängenden Raum mit einer Zerlegung in disjunkte nichtleere offene Mengen. Zeige .



Es sei ein topologischer Raum mit einer Zerlegung in disjunkte offene nichtleere Teilmengen. Es sei eine Garbe auf und eine Garbe auf . Zeige, dass durch

für eine Garbe auf definiert ist.



Es sei ein Hausdorffraum mit zumindest zwei Punkten und es sei . eine Menge. Zeige, dass die konstante Prägarbe zu keine Garbe ist.



Zeige, dass die Einschränkung einer Garbe auf eine offene Teilmenge eine Garbe ist.



Aufgabe Aufgabe 11.6 ändern

Es sei ein topologischer Raum, ein Punkt und eine kommutative Gruppe. Wir betrachten die Zuordnung

mit den naheliegenden Restriktionsabbildungen zu offenen Teilmengen .

  1. Zeige, dass eine Garbe von kommutativen Gruppen ist.
  2. Bestimme den Halm von im Punkt .
  3. Es sei nun ein abgeschlossener Punkt. Besitmme die Halm für jeden Punkt .


Die in der vorstehenden Aufgabe konstruierte Garbe nennt man Wolkenkratzergarbe (zu im Punkt ).


Es sei ein Garbenmorphismus zwischen Garben auf einem topologischen Raum und es sei surjektiv für jede offene Menge . Zeige, dass dann auch jede Halmabbildung surjektiv ist.



Es sei eine Garbe von kommutativen Gruppen auf einem topologischen Raum . Zeige , also die triviale Gruppe ist.



Es sei ein topologischer Raum und eine Prägarbe auf . Zeige, dass durch die Zuordnung

(die Produktmenge aus allen Halmen zu ) mit den natürlichen Projektionen eine Prägarbe gegeben ist, und dass es einen natürlichen Prägarbenhomomorphismus von in diese Prägarbe gibt.



Aufgabe * Aufgabe 11.10 ändern

Es sei ein topologischer Raum, eine Garbe auf und eine Untergarbe. Es sei mit für alle . Zeige .



Aufgabe Aufgabe 11.11 ändern

Es sei eine riemannsche Fläche und ein Punkt. Wir definieren zu einer offenen Menge

  1. Zeige, dass eine Untergarbe von kommutativen Gruppen der Strukturgarbe der holomorphen Funktionen auf ist.
  2. Zeige, dass zu und auch ist.
  3. Zeige, dass für die Halme

    für alle Punkte gilt.

  4. Zeige, dass

    gleich dem von der Variablen erzeugten Ideal im Ring der konvergenten Potenzreihen ist (vergleiche Lemma 10.12).

  5. Es sei nun kompakt und zusammenhängend. Bestimme .



Aufgabe Aufgabe 11.12 ändern

Es sei ein topologischer Raum und es sei ein Homomorphismus von Garben von kommutativen Gruppen. Zeige, dass durch eine Garbe von Gruppen auf definiert ist.



Es sei ein topologischer Raum und es sei ein Homomorphismus von Garben von kommutativen Gruppen. Zeige, dass genau dann injektiv ist, wenn die Nullgarbe ist.


Die Vergarbung einer konstanten Prägarbe nennt man lokal konstante Garbe und manchmal auch einfach konstante Garbe.


Es sei eine konstante Prägarbe auf einem topologischen Raum zur Menge . Zeige, dass der Halm der Vergarbung von in jedem Punkt gleich ist.



Es sei eine diskrete topologische Gruppe und ein topologischer Raum. Es sei die konstante Prägarbe auf zu . Zeige, dass die Vergarbung von gleich ist.



Zeige, dass auf die folgenden Prägarben verschieden sind.

  1. Die Prägarbe der konstanten Funktionen mit Werten in .
  2. Die Garbe der lokal-konstanten Funktionen mit Werten in .
  3. Die Garbe der stetigen Funktionen mit Werten in .



Aufgabe Aufgabe 11.17 ändern

Es sei eine Garbe von kommutativen Gruppen und eine Untergarbe von Gruppen gegeben, und es sei die Quotientengarbe. Zeige

für jeden Punkt .



Aufgabe * Aufgabe 11.18 ändern

Es sei eine Garbe von kommutativen Gruppen und einer Untergarbe von Gruppen mit der Quotientengarbe . Zeige die folgenden Aussagen.

  1. Jedes Element wird repräsentiert durch eine Familie , , wobei eine offene Überdeckung ist und Schnitte sind mit

    und jede solche Familie liegt ein Element in fest.

  2. Zwei solche Familien (also zur gleichen Überdeckung) definieren genau dann das gleiche Element in , wenn

    für alle ist.

  3. Zwei Familien und definieren genau dann das gleiche Element in , wenn auf einer (jeder) gemeinsamen Verfeinerung der beiden Überdeckungen die Differenzen zu gehören.



Es sei eine Garbe von kommutativen Gruppen und eine Untergarbe von Gruppen gegeben. Zeige, dass es einen kanonischen surjektiven Garbenhomomorphismus von kommutativen Gruppen

gibt.



Es sei ein reelles Intervall. Wir betrachten die kurze exakte Garbensequenz

auf . Es sei eine Überdeckung mit (in ) offenen Intervallen und es sei ein globaler Schnitt in der Quotientengarbe gegeben, der durch Schnitte und repräsentiert werde. Zeige, dass dieser Schnitt durch eine Abbildung repräsentiert wird.



Es sei eine riemannsche Fläche, ein Punkt und sei die in Aufgabe 11.11 konstruierte Untergarbe der Strukturgarbe . Bestimme die Quotientengarbe .

Tipp: Siehe Aufgabe 11.6.


Es sei fixiert, wir betrachten das komplexe Potenzieren

das ein Gruppenhomomorphismus bezüglich der multiplikativen Gruppe ist und dessen Kern die Gruppe der -ten Einheitswurzeln ist. Nach Beispiel 6.2 ist die Abbildung ferner eine Überlagerung ist. Definiere auf einer riemannschen Fläche analog zu Beispiel 11.14 eine Garbenversion zu diesen Gruppen und Gruppenhomomorphismen.