Vektorbündel

aus Wikipedia, der freien Enzyklopädie

Vektorbündel (oder manchmal ausführlicher Vektorraumbündel) sind Familien von Vektorräumen, die durch die Punkte eines topologischen Raumes parametrisiert sind.

Anschaulich besteht ein Vektorbündel aus je einem Vektorraum für jeden Punkt des Basisraumes. Da Vektorräume gleicher Dimension jedoch stets isomorph sind, liegt die wesentliche Information in den Beziehungen zwischen diesen Vektorräumen.

Das bekannteste Beispiel für ein Vektorbündel ist das Tangentialbündel einer differenzierbaren Mannigfaltigkeit. Der Zusammenhang zwischen den verschiedenen Tangentialräumen, also den Vektorräumen zu den einzelnen Punkten, äußert sich beispielsweise in der Frage, ob ein Vektorfeld differenzierbar ist.

Die Frage, wie Vektorbündel auf einem Raum aussehen können, hängt eng mit globalen topologischen Eigenschaften des Raumes zusammen.

Inhaltsverzeichnis 1 Definitionen 2 Lokalfreie Garben 2.1 Lokalfreie Garben und Vektorbündel 3 Weiterführende Begriffe

[Bearbeiten] Definitionen

Ein (topologisches) reelles bzw. komplexes Vektorbündel vom Rang n ist ein Tripel (E,B,π), bestehend aus topologischen Räumen E (Totalraum) und B (Basis) sowie einer stetigen surjektiven Abbildung π: E → B, so dass gilt:

• Für jeden Punkt x von B trägt die Faser E_x := π⁻¹(x) von E über x die Struktur eines reellen bzw. komplexen n-dimensionalen Vektorraums.
• "Lokale Trivialität": Zu jedem Punkt x von B existiert eine Umgebung U von x und ein Homöomorphismus

ψ: U × Rⁿ → E|_U := π⁻¹(U) ⊆ E,

der mit π kompatibel ist, d.h. π ψ = pr₁, und für den

ψ_y: {y} × Rⁿ → E_y

für jedes y in B ein Isomorphismus von Vektorräumen ist.

Sind E und B differenzierbare Mannigfaltigkeiten, und sind π sowie die Trivialisierungen ψ differenzierbar, so heißt das Vektorbündel differenzierbar.

Für (algebraische) Vektorbündel in der algebraischen Geometrie sind E und B Schemata, E_x ist für alle Punkte x von B ein κ(x)-Vektorraum, und die lokalen Trivialisierungen sind Isomorphismen

U × Aⁿ → E|_U.

Meist ist mit "Vektorbündel" in der algebraischen Geometrie jedoch eine lokal freie Garbe gemeint (s.u.).

Ist U eine offene Teilmenge von B, so heißt eine Abbildung

s: U → E|_U,

für die π s = id_U gilt, ein Schnitt von E über U. Die Menge Γ(U,E) aller Schnitte von E über U bildet einen Vektorraum.

[Bearbeiten] Lokalfreie Garben

Es sei (X, O_X) ein lokal geringter Raum, z.B. ein topologischer Raum mit der Garbe der stetigen reell- oder komplexwertigen Funktionen, eine differenzierbare Mannigfaltigkeit mit der Garbe der C^∞-Funktionen oder ein Schema.

Eine lokal freie Garbe ist ein O_X-Modul M, der lokal isomorph zu einem freien O_X-Modul ist, d.h. X kann durch offene Mengen U überdeckt werden, für die M|_U isomorph zu einer direkten Summe von Kopien von O_X|_U ist.

[Bearbeiten] Lokalfreie Garben und Vektorbündel

Die beiden folgenden Konstruktionen liefern im Fall von topologischen Räumen oder differenzierbaren Mannigfaltigkeiten eine Äquivalenz der Kategorien von lokal freien Garben sowie Vektorbündeln auf X (der Einfachheit der Notation halber ist der Fall von reellen Vektorbündeln über einem topologischen Raum beschrieben):

• Einem Vektorbündel wird die Garbe seiner Schnitte zugeordnet.
• Einer lokal freien Garbe M wird die disjunkte Vereinigung E ihrer Fasern M_x/m_xM_x zugeordnet. Wir wählen eine offene Überdeckung (U_i) von X, so dass M auf jedem U_i trivial wird. Eine Trivialisierung definiert n nirgends verschwindende Schnitte von M über U_i, die fasernweise eine Basis bilden. Diese definieren eine Abbildung

U_i × Rⁿ → E,

und wir definieren die Topologie auf E dadurch, dass wir fordern, dass diese Abbildungen Homöomorphismen sind. Sie ist wohldefiniert, da sich diese Abbildungen über dem Schnitt zweier Mengen U_i und U_j nur um einen Homöomorphismus (genauer gesagt einen stetig variierenden Vektorraumautomorphismus von Rⁿ) unterscheiden.

Im Fall der algebraischen Geometrie ist diese Konstruktion etwas einfacher: das Bündel zu einer lokalfreien Garbe E ist

V(E^∨) := Spec S(E^∨)

dabei bezeichnet S die symmetrische Algebra und Spec das Algebrenspektrum.

[Bearbeiten] Weiterführende Begriffe

• Die Untersuchung so genannter stabiler Äquivalenzklassen von Vektorbündeln ist Gegenstand der K-Theorie.
• Auf algebraischen Kurven haben (semi-)stabile Vektorbündel besonders gute Eigenschaften.