09.02.2014 Aufrufe

Algebraische Geometrie 2 12.¨Ubungsblatt

Algebraische Geometrie 2 12.¨Ubungsblatt

Algebraische Geometrie 2 12.¨Ubungsblatt

MEHR ANZEIGEN
WENIGER ANZEIGEN

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.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!