Kurs:Algebraische Kurven (Osnabrück 2012)/Arbeitsblatt 27
- Aufwärmaufgaben
Aufgabe
Definiere eine Äquivalenzrelation auf der Menge derart, dass der Quotient unter der Äquivalenzrelation der projektive -dimensionale Raum ist.
Aufgabe
Man definiere den Begriff projektiv-linearer Unterraum eines projektiven Raumes .
Aufgabe
Es sei ein Ideal. Zeige, dass genau dann ein homogenes Ideal ist, wenn es von homogenen Elementen erzeugt wird.
Aufgabe
Es sei ein endlicher Körper mit Elementen. Berechne auf zwei verschiedene Arten, wie viele Elemente der projektive Raum besitzt.
Die folgenden drei Aufgaben besprechen die Zariski-Topologie auf den projektiven Räumen.
Aufgabe
Zeige, dass die Zariski-Topologie auf dem projektiven Raum wirklich eine Topologie ist.
Aufgabe
Es sei ein unendlicher Körper und der projektive Raum. Charakterisiere die homogenen Ideale , für die ist.
Aufgabe
Es sei ein unendlicher Körper. Zeige, dass der projektive Raum irreduzibel ist.
- Aufgaben zum Abgeben
Aufgabe (3 Punkte)
Zeige, dass zwei verschiedene Punkte und in der projektiven Ebene eindeutig eine projektive Gerade definieren, auf der beide Punkte liegen. Wie berechnet man die Geradengleichung aus den Koordinaten der Punkte?
Bestimme die homogene Geradengleichung für die beiden Punkte und .
Aufgabe (3 Punkte)
Es sei ein projektiver Raum der Dimension und es seien projektiv-lineare Unterräume der Dimension und . Es sei . Zeige, dass dann ist.
Aufgabe (3 Punkte)
Es sei ein unendlicher Körper und sei eine endliche Ansammlung von Punkten in einem projektiven Raum . Zeige: Dann gibt es eine homogene Linearform derart, dass all diese Punkte auf der durch definierten offenen Teilmenge liegen.
Die nächste Aufgabe benötigt noch die folgende Definition:
Für ein homogenes Ideal in mit der Standardgraduierung definiert man die Sättigung (oder Saturierung) von als
Dabei ist das irrelevante Ideal .
Aufgabe (3 Punkte)
Es sei ein kommutativer Ring und der Polynomring mit der Standardgraduierung. Zeige, dass die Sättigung eines homogenen Ideals wieder ein homogenes Ideal ist.
<< | Kurs:Algebraische Kurven (Osnabrück 2012) | >> |
---|