Direkt zum Inhalt

Lexikon der Mathematik: Hauptfaserbündel

spezielles Schema.

Es sei G ein Gruppenschema über einem Schema S. Ein G-Hauptfaserbündel ist ein G-SchemaP mit einem G-äquivarianten Morphismus \(P\mathop{\to }\limits^{p}X\) auf ein S-Schema X (mit trivialer G-Wirkung), so daß der Morphismus \begin{eqnarray}P{\times }_{S}G\to P{\times }_{X}P,(y,g)\mapsto (yg,y)\end{eqnarray} ein Isomorphismus ist, und so daß PX „lokal isomorph” ist zu X ×sG (als G-Schema). „Lokal isomorph” ist hier im Sinne einer Grothendieck-Topologie zu verstehen.

Sinngemäß überträgt sich die Definition auch auf die Kategorie komplexer Räume mit einer komplexen Lie-Gruppe G.

  • Die Autoren
- Prof. Dr. Guido Walz

Schreiben Sie uns!

Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.

Partnerinhalte

Bitte erlauben Sie Javascript, um die volle Funktionalität von Spektrum.de zu erhalten.