Kurs:Algebraische Kurven (Osnabrück 2012)/Arbeitsblatt 16
- Aufwärmaufgaben
Es sei das -Spektrum einer endlich erzeugten kommutativen -Algebra. Zeige, dass ein irreduzibler Filter durch offene Mengen der Form erzeugt wird.
Es sei eine quasiaffine Varietät über einem algebraisch abgeschlossenen Körper . Zeige, dass die Einheiten in den Morphismen von nach entsprechen.
Es sei eine quasiaffine Varietät über einem algebraisch abgeschlossenen Körper und sei
ein Morphismus. Zeige, dass genau dann durch die abgeschlossene Menge faktorisiert, wenn im Kern des globalen Ringhomomorphismus
liegt.
Es sei eine affine Varietät und eine abgeschlossene Teilmenge. Zeige, dass der Umgebungsfilter von offenen Mengen der Form erzeugt wird.
Es sei ein topologischer Raum. Zeige, dass ein Ultrafilter irreduzibel ist.
Man beschreibe einen - Algebrahomomorphismus derart, dass die induzierte Spektrumsabbildung der - Spektren die Addition auf beschreibt.
Es sei ein algebraisch abgeschlossener Körper. Zeige, dass die Addition, die Multiplikation, das Negative, das Inverse und die Division in sich als Morphismen realisieren lassen.
Es sei ein kommutatives Monoid. Finde eine allgemeine Definition von Filter derart, dass einerseits die topologischen Filter und andererseits die saturierten multiplikativen Systeme sich als Spezialfälle ergeben.
Es sei ein kommutativer Ring und sei ein endlich erzeugtes Ideal. Es sei ein weiteres Element. Dann nennt man die -Algebra
die erzwingende Algebra zu den . Zeige, dass folgende Eigenschaft erfüllt: Zu jedem Ringhomomorphismus in einen kommutativen Ring mit der Eigenschaft gibt es einen - Algebrahomomorphismus . Zeige ebenso, dass dieser Homomorphismus nicht eindeutig bestimmt ist.
Es sei eine kommutative -Algebra von endlichem Typ über einem algebraisch abgeschlossenen Körper. Es seien Elemente in und es sei
die erzwingende Algebra zu diesen Daten. Charakterisiere die Fasern des zugehörigen Morphismus
- Aufgaben zum Abgeben
Aufgabe (4 Punkte)
Es sei ein algebraisch abgeschlossener Körper und seien und integre -Algebren von endlichem Typ. Es sei ein - Algebrahomomorphismus mit zugehörigem Morphismus . Zeige, dass folgende Aussagen äquivalent sind.
- ist injektiv.
- Das Bild von ist dicht in .
- induziert einen Ringhomomorphismus .
Aufgabe (4 Punkte)
Es sei ein algebraisch abgeschlossener Körper und seien und zwei integre - Algebren von endlichem Typ. Es sei ein - Algebrahomomorphismus
zwischen den Quotientenkörpern gegeben. Zeige, dass es eine offene Teilmenge und einen Morphismus
gibt, der induziert.
Aufgabe (5 Punkte)
Man gebe ein Beispiel von zwei affin-algebraischen Kurven und über und einem Morphismus
der bijektiv ist, wo aber die Umkehrabbildung nicht stetig in der metrischen Topologie ist.
Aufgabe (8 Punkte)
Man gebe ein Beispiel von zwei affinen Varietäten und und einem Morphismus
der bijektiv ist, wo aber die Umkehrungabbildung nicht stetig (in der Zariski-Topologie) ist.
(und daher auch kein Morphismus)
Aufgabe (3 Punkte)
Es sei eine quasiaffine Varietät und sei eine algebraische Funktion. Es seien , , lokale Darstellungen von auf . Zeige, dass das Urbild gleich der abgeschlossenen Menge ist.
<< | Kurs:Algebraische Kurven (Osnabrück 2012) | >> |
---|