In der Mathematik ist ein Kreisbündel ein Faserbündel, bei dem die Faser der Kreis ist. .
Orientierte Kreisbündel werden auch als Prinzipal U (1) -bundles bezeichnet. In der Physik sind Kreisbündel die natürliche geometrische Einstellung für den Elektromagnetismus. Ein Kreisbündel ist ein Sonderfall eines Kugelbündels.
Als 3-Mannigfaltigkeiten [ edit ]
Kreisbündel über Flächen sind ein wichtiges Beispiel für 3-Mannigfaltigkeiten. Eine allgemeinere Klasse von 3-Mannigfaltigkeiten sind Seifert-Faserräume, die als eine Art "singuläres" Kreisbündel oder als Kreisbündel über einem zweidimensionalen Orbifold betrachtet werden können.
Beziehung zur Elektrodynamik [ edit ]
Die Maxwell-Gleichungen entsprechen einem elektromagnetischen Feld, das durch eine 2-Form dargestellt wird F mit kohomologe bis null. Insbesondere existiert immer eine 1-Form A wobei das elektromagnetische Vierpotential (äquivalent die affine Verbindung) derart ist
Dazu ein Kreisbündel P über M und seine Projektion
man hat den Homomorphismus von
Beispiele edit ]
- und die charakteristischen Klassen ziehen sich zurück Es ist nicht trivial, dass das Linienbündel mit der Garbe hat die Chern-Klasse .
Klassifizierung [ edit ]
Die Isomorphismusklassen von Principal -Bündel über eine Mannigfaltigkeit M stehen in einer Eins-zu-Eins-Entsprechung zu den Homotopieklassen von Karten genannt wird ] Raum für U (1) klassifizieren. Es ist zu beachten, dass ist der unendlich-dimensionale komplexe Projektionsraum, und es ist ein Beispiel für den Eilenberg-Maclane space Solche Bündel werden durch ein Element der zweiten Gruppe mit integraler Kohomologie von M seit
- .
Dieser Isomorphismus ist verwirklicht von der Euler-Klasse ; Äquivalent ist es die erste Chern-Klasse eines glatten komplexen Linienbündels (im Wesentlichen, weil ein Kreis homotopisch äquivalent ist zu die komplexe Ebene mit entferntem Ursprung; daher ist ein komplexes Linienbündel mit entferntem Nullabschnitt homotopisch äquivalent zu einem Kreisbündel.)
Ein Kreisbündel ist ein Principal wenn die zugehörige Karte ist null-homotopisch, was genau dann der Fall ist, wenn das Bündel fibrewise-orientierbar ist. Für den allgemeineren Fall, in dem das Kreisbündel über M möglicherweise nicht orientierbar ist, stehen die Isomorphismusklassen in einer Eins-zu-Eins-Entsprechung zu den Homotopieklassen von Karten
Deligne-Komplexe [ edit ]
Die obige Klassifizierung gilt nur für Kreisbündel im Allgemeinen; die entsprechende klassifizierung für glatte kreisbündel, oder die kreisbündel mit einer affinen verbindung, erfordert eine komplexere kohomologietheorie. Die Ergebnisse schließen ein, dass die glatten Kreisbündel durch die zweite Deligne-Kohomologie ; Kreisbündel mit einer affinen Verbindung werden klassifiziert durch während klassifiziert Linienbündel gerbes
Siehe auch [ edit ]
Referenzen [ edit ]
No comments:
Post a Comment