Zum Inhalt springen

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

Aus Wikiversity



Aufgaben

Es seien und Prägarben auf dem topologischen Raum . Zeige, dass durch mit den natürlichen Produktabbildungen eine Prägarbe auf gegeben ist.



Es sei eine Indexmenge und sei , , eine Familie von Prägarben auf dem topologischen Raum . Zeige, dass durch mit den natürlichen Produktabbildungen eine Prägarbe auf gegeben ist.





Es sei eine topologische Gruppe und eine Untergruppe. Zeige, dass auf jedem topologischen Raum die Prägarbe eine Unterprägarbe von ist.



Zeige, dass der Halm des Tangentialbündels einer differenzierbaren Mannigfaltigkeit in einem Punkt nur von der Dimension der Mannigfaltigkeit (in diesem Punkt) abhängt.



Aufgabe Aufgabe 10.6 ändern

Es sei eine Überlagerung zwischen topologischen Räumen und , wobei lokal zusammenhängend sei. Bestimme den Halm zur Garbe der stetigen Schnitte in .



Es seien und Prägarben auf dem topologischen Raum und ihre Produktprägarbe. Zeige, dass für den Halm in jeden Punkt die Beziehung

gilt.



Aufgabe Aufgabe 10.8 ändern

Es sei ein topologischer Raum und seien Prägarben auf . Zeige die folgenden Aussagen.

  1. Die Identität

    ist ein Homomorphismus von Prägarben.

  2. Wenn und Homomorphismen von Prägarben sind, so ist auch die Verknüpfung ein Homomorphismus von Prägarben.
  3. Zu einer Unterprägarbe ist die natürliche Inklusion ein Homomorphismus von Prägraben.


Zu einem injektiven Ringhomomorphismus zwischen diskreten Bewertungsringen nennt man die Ordnung einer Ortsuniformisierenden von in die Verzweigungsindex der Erweiterung.



Aufgabe Aufgabe 10.9 ändern

Es sei eine nichtkonstante holomorphe Abbildung zwischen den zusammenhängenden riemannschen Flächen und und sei . Es sei

der zugehörige Ringhomomorphismus der Halme. Zeige, dass die folgenden Zahlen übereinstimmen.

  1. Die Verzweigungsordnung von in .
  2. Der Exponent von einer lokalen Beschreibung von im Sinne von Satz 2.1.
  3. Die Verzweigungsordnung von .


Den Tangentialraum einer komplexen Mannigfaltigkeit kann man auch mit Derivationen im lokalen Ring charakterisieren.


Es sei ein kommutativer Ring, eine kommutative - Algebra und ein - Modul. Dann heißt eine - lineare Abbildung

mit

für alle eine Derivation (mit Werten in ).



Es sei eine komplexe Mannigfaltigkeit und ein Punkt. Zeige, dass es einen natürlichen - Vektorraumisomorphismus

gibt.