Stabiles Normalenbündel

Das stabile Normalenbündel einer Mannigfaltigkeit ist ein wichtiges Hilfsmittel in der Differentialtopologie, einem Teilgebiet der Mathematik.

Idee

Nach dem Satz von Whitney hat jede Mannigfaltigkeit eine Einbettung in einen euklidischen Raum, für die man dann das Normalenbündel betrachten kann. Diese Einbettung ist in niedrigen Kodimensionen nicht eindeutig, in hinreichend hohen Kodimensionen aber eindeutig bis auf Isotopie, so dass man für Einbettungen in hochdimensionale euklidische Räume ein bis auf Isomorphismus eindeutiges Normalenbündel definieren kann.

Definition

Es sei $M$ eine differenzierbare n-Mannigfaltigkeit mit Tangentialbündel $TM$. Es sei

$\tau _{M}\colon M\to BO(n)$

die klassifizierende Abbildung des Tangentialbündels. Hierbei bezeichnet $BO(n)$ die Graßmann-Mannigfaltigkeit, den klassifizierenden Raum für n-dimensionale Vektorbündel.

Für eine Einbettung $M\to \mathbb {R} ^{n+k}$ hat das Normalenbündel eine klassifizierende Abbildung

$\nu _{M}\colon M\to BO(k)$,

so dass die Whitney-Summe

$\tau _{M}\oplus \nu _{M}\colon M\to BO(n+k)$

zu einer konstanten Abbildung homotop ist.

Es sei $BO$ die unendlich-dimensionale Graßmann-Mannigfaltigkeit, der klassifizierende Raum für stabile Vektorbündel. Man kann zeigen, dass die Homotopieklasse der Zusammensetzung $\nu _{M}\colon M\to BO(k)\to BO$ nicht von der gewählten Einbettung abhängt. Das durch diese klassifizierende Abbildung definierte stabile Vektorbündel heißt das stabile Normalenbündel von $M$.

Literatur

Spivak, Michael: Spaces satisfying Poincaré duality. Topology 6 1967 77–101.