Algebraische Geometrie 2 12.¨Ubungsblatt
Algebraische Geometrie 2 12.¨Ubungsblatt
Algebraische Geometrie 2 12.¨Ubungsblatt
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Prof. Dr. Torsten Wedhorn SS 09<br />
Elena Fink<br />
<strong>Algebraische</strong> <strong>Geometrie</strong> 2<br />
12. Übungsblatt<br />
Abgabe: Am Montag, den 13.07.09 bis 14 Uhr im Briefkasten 8 vor D1.348.<br />
Bei jeder Aufgabe kann man 10 Punkte erreichen.<br />
Aufgabe 45:<br />
Betrachte das folgende kartesische Diagramm von Schemata:<br />
X ′<br />
g ′<br />
X<br />
.<br />
f ′ <br />
Y ′<br />
g<br />
Y<br />
f<br />
Zeige:<br />
(a) Ist g surjektiv, so gilt: f ′ surjektiv bzw. injektiv =⇒ f surjektiv bzw. injektiv.<br />
(b) Ist g treu flach, so gilt: f ′ flach bzw. treu flach =⇒ f flach bzw. treu flach.<br />
Aufgabe 46:<br />
Sei S ein Schema, sei G ein O S -Modul vom endlichen Typ, und sei u: F → G ein Homomorphismus<br />
von O S -Moduln.<br />
Zeige, dass ein offenes Unterschema ι: V ↩→ S existiert, so dass für alle S-Schemata f : T → S gilt:<br />
f ∗ u: f ∗ F → f ∗ G ist surjektiv ⇐⇒<br />
f faktorisiert durch V, d.h.<br />
∃f ′ : T → V, so dass f = ι ◦ f ′<br />
Hinweis: Betrachte S \ (Supp Coker u) und benutze Aufgabe 22.<br />
Aufgabe 47:<br />
Sei S ein Schema, seien F und G lokal freie O S -Moduln vom Rang n und sei u: F → G ein<br />
O S -Modulhomomorphismus. Zeige, dass u ein Isomorphismus ist genau dann, wenn u surjektiv ist.
Aufgabe 48:<br />
Seien 1 ≤ d ≤ n ganze Zahlen, und sei I ⊂ {1, . . . , n} eine Teilmenge mit n − d Elementen.<br />
Definiere einen Funktor X I : (Schemata) −→ (Sets) durch<br />
⎧<br />
⎫<br />
⎨<br />
die Komposition der Morphismen ⎬<br />
X I (T ) =<br />
⎩ U ∈ Grass d,n(T ) | OT I ↩→ On T → On T /U<br />
⎭<br />
ist ein Isomorphismus<br />
wobei O I T ⊂ On T der Untermodul ist erzeugt von den Basisvektoren {e i, i ∈ I}.<br />
Zeige:<br />
(a) X I ist darstellbar durch ein offenes Unterschema von Grass d,n .<br />
(b) ⋃ I XI = Grass d,n .<br />
(c) X I ∼ = A d(n−d) .<br />
(d) Folgere, dass Grass d,n ein glattes Z-Schema der relativen Dimension d(n − d) ist.<br />
Hinweis zu (a): Benutze Aufgaben 46 und 47.