12.07.2015 Aufrufe

Die Sätze von de Rham und Dolbeault

Die Sätze von de Rham und Dolbeault

Die Sätze von de Rham und Dolbeault

MEHR ANZEIGEN
WENIGER ANZEIGEN
  • Keine Tags gefunden...

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

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

heißt exakt, wenn für je<strong>de</strong>s x ∈ X(f i−1 )···−→ (F i−1 )xx−→exakt ist, d.h. Bild(f i ) x= Kern(f i+1 ) xfür alle i.(f i )(Fi )x(f i+1 )x−→ (Fi+1 )xx−→ ···Definition 5.9 (Lokal freie Garben) Sei R eine Garbe <strong>von</strong> (kommutativen) Ringen <strong>und</strong> F eine Garbe<strong>von</strong> R-Moduln über X. F heißt frei, wennF ∼ = R ⊕ R ⊕ ···⊕ R ⊕ R| {z }p-mal=: R pfür ein p ≥ 0. (Für p =0soll F trivial sein). F heißt lokal frei, wenn je<strong>de</strong>r Punkt x ∈ X eine <strong>de</strong>rartigeUmgebung besitzt, daß F | U frei ist.Proposition 5.10 Sei X eine zusammenhängen<strong>de</strong> differenzierbare o<strong>de</strong>r komplexe Mannigfaltigkeit. Danngibt es eine Bijektion½¾ ½¾Isomorphieklassen <strong>von</strong> differenzierbaren 1:1 Isomorphieklassen <strong>von</strong> lokal freien←→(bzw. holomorphen) Vektorbün<strong>de</strong>ln über X Garben <strong>von</strong> E - (bzw. O-) Moduln über XBeweis. Zuerst ordnet man je<strong>de</strong>m differenzierbaren (bzw. holomorphen) Bün<strong>de</strong>l π : E −→ Xdie Garbeüber XU 7−→ E X (E)(U) :={diffenzierbare Abbildungen γ : U −→ E mit π ◦ γ = Id U }bzw.U 7−→ O X (E)(U) :={holomorphe Abbildungen γ : U −→ E mit π ◦ γ = Id U }(für alle offenen Teimengen U <strong>von</strong> X). Für je<strong>de</strong>s x ∈ X gibt es eine Umgebung <strong>von</strong> U <strong>von</strong> x, sodaß⎧⎨ E X (E)(U) ∼ = E X (U × R r ) falls K = RE | U∼ = U × Kr(r = Rang (E)) =⇒⎩O X (E)(U) ∼ = O X (U × C r ) falls K = CD.h.⎧⎨⎩E X (U × R r ) ∼ = (E X | U ) rfalls K = RO X (U × C r ) ∼ = (O X | U ) r falls K = C.Ist umgekehrt F eine lokal freie (oBdA nicht triviale) Garbe, so kann man immer eine offene Über<strong>de</strong>ckung(U i ) i∈I<strong>von</strong> X ein r>0 fin<strong>de</strong>n, so daß für alle i ∈ I, Isomorphismeng i : F | Ui∼ =−→ E p X | U i(bzw. O p X | U i).existieren. (r hängt nicht <strong>von</strong> i ab, <strong>de</strong>nn X ist zusammenhängend). Definiereg ij := g i ◦ g −1j: E p X¯ ∼ = ¯Ui∩U j−→ E p ¯X¯Ui∩U j(bzw. O p X¯ ∼ = ¯Ui∩U j−→ O p ¯X¯Ui∩U j)<strong>und</strong> ordne F das differenzierbare (bzw. holomorphe) Bün<strong>de</strong>l (E,g ij ) zu. ¤21

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!