Kurs:Riemannsche Flächen (Osnabrück 2022)/Arbeitsblatt 10/kontrolle
- 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.
Interpretiere Beispiel 10.2 im Sinne von Beispiel 10.5.
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.
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.
Es sei ein topologischer Raum und seien Prägarben auf . Zeige die folgenden Aussagen.
- Die Identität
ist ein Homomorphismus von Prägarben.
- Wenn und Homomorphismen von Prägarben sind, so ist auch die Verknüpfung ein Homomorphismus von Prägarben.
- 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.
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.
- Die Verzweigungsordnung von in .
- Der Exponent von einer lokalen Beschreibung von im Sinne von Satz 2.1.
- 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.