10.07.2015 Aufrufe

Hochheben von Kurven in positiver Charakteristik nach ... - D-BSSE

Hochheben von Kurven in positiver Charakteristik nach ... - D-BSSE

Hochheben von Kurven in positiver Charakteristik nach ... - D-BSSE

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

ist als <strong>in</strong>duktiver Limes <strong>von</strong> freien Moduln flach.Alle bisherigen Überlegungen gelten genauso für t −1 an Stelle <strong>von</strong> t, dawir nur vorausgesetzt haben, daß t transzendent über K ist und F/K(t) e<strong>in</strong>eseparable Erweiterung ist. Also ist auch der ganze Abschluß R t −1 <strong>von</strong> O v [t −1 ]<strong>in</strong> F e<strong>in</strong> flacher O v -Modul und damit˜P 1 O v= Spec(R t ) ∪ Spec(R t −1),entlang (Spec(O v [t, t −1 ]))˜ verklebt, flach über Spec(O v ).Bemerkung 2. Wir haben e<strong>in</strong>gangs schon erwähnt, daß man mehr über diezu e<strong>in</strong>er eigentlichen Menge <strong>von</strong> Konstantenreduktionen V assoziierten O v -KurveSpec(R t ) ∪ Spec(R t −1)(t e<strong>in</strong> Element mit der E<strong>in</strong>deutigkeitseigenschaft für V ) weiß. In der Tat giltmit den obigen Bezeichnungen ([G-M-P2, Theorem 1.1])Spec(R t ) ∪ Spec(R t −1) ∼ = Proj ⊕ m≥0L w (mD).Aber auch über den ganzen Abschluß R t des Ploynomr<strong>in</strong>ges O v [t] übere<strong>in</strong>em (beliebigen) Bewertungsr<strong>in</strong>g O v <strong>in</strong> e<strong>in</strong>er endlichen, separablen ErweiterungF/K(t) ist mehr bekannt: Nach Lemma 1 ist R t e<strong>in</strong> endlicher O v [t]-Modul. Dies ist <strong>nach</strong> [Kna, Theorem 3.1] (s. auch [G-M-P2, Lemma 1.2])bereits äquivalent dazu, daß R t e<strong>in</strong> freier O v [t]-Modul vom Rang [F : K(t)]ist. Daraus folgt <strong>in</strong>sbesondere die Flachheit <strong>von</strong> R t über O v .17

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!