##  [Thom-Isomorphismus](/de/node/63174) 

 Definition

Aussage der algebraischen Topologie, dass für ein (geeignet orientiertes) Vektorbündel E → B vom Rang k eine Thom‑Klasse in der Kohomologie des Thom‑Raums Th(E) existiert, die ein Isomorphismus H^*(B; R) → H^{*+k}(Th(E); R) induziert (äquivalent H^*(Th(E)) ≅ H^{*-k}(B) nach Gradverschiebung) und so Transfer- und Gysin‑Abbildungen ermöglicht.

 

 

 

 

 

 





## Prinzip

Prinzip

Die Existenz einer distinguierenden Kohomologieklasse (der Thom‑Klasse) in der reduzierten Kohomologie des Thom‑Raums, deren Capprodukt mit Kohomologieklassen der Basis das angegebene Isomorphismus realisiert; die Thom‑Klasse kodiert die Bündelorientierung und ist natürlich gegenüber Bündelmorphismen, die die Orientierung erhalten.

 

 

 

 

 





## Demonstration

Demonstration

Für ein orientiertes reelles Vektorbündel E des Ranges k über einer CW‑Basis B mit Koeffizienten in R konstruiert man die Thom‑Klasse u ∈ H^k(Th(E); R) durch Wahl einer lokalen Orientierung und Vereinigung mittels Zerlegungen der Einheit oder zellulären Argumenten; das Capprodukt mit u liefert den Thom‑Isomorphismus H^*(B; R) → H^{*+k}(Th(E); R).

 

 

 

 

## Fehlanwendung

Fehlanwendung

Die Annahme, das Isomorphismus gelte ohne Orientierungsannahme oder mit ungeeigneten Koeffizientenringen (z. B. Z‑Koeffizienten bei nichtorientierbarem Bündel) führt zu falschen Aussagen; das Vergessen der Gradverschiebung oder die Verwechslung des Thom‑Isomorphismus mit Poincaré‑Dualität sind häufige Fehler.

 

 

 

 

 





## Konsequenz

Konsequenz

Ermöglicht die Definition von Gysin/Push‑forward‑Abbildungen, Beweise orientierungsabhängiger Dualitätssätze, Berechnungen von charakteristischen Klassen mittels Thom‑Klassen und Transfertechniken in der Kohomologie; es ist ein zentrales Werkzeug zur Verbindung von Bündeldaten mit der Kohomologie der Basis.

 

 

 

 

## Umkehrung

Umkehrung

Das Ausbleiben des Thom‑Isomorphismus weist auf das Fehlen einer globalen Thom‑Klasse und damit auf Nichtorientierbarkeit (oder die Notwendigkeit lokaler Koeffizienten) hin; umgekehrt ist die Existenz einer Thom‑Klasse äquivalent zu einer Wahl von Orientierung des Bündels bezüglich der gewählten Koeffizienten.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Trifft auf Vektorbündel (oder Sphärenfaserungen) zu und benötigt die Wahl eines Koeffizientensystems oder lokaler Koeffizienten zur Kodierung der Orientierung; es gilt nicht in der gegebenen Form mit trivialen Koeffizienten für nichtorientierbare Bündel und ersetzt nicht feinere Obstruktionstheorien der Orientierung.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannungen bestehen zwischen dem Thom‑Isomorphismus und anderen Dualitäten (etwa Poincaré‑Dualität) sowie zwischen ganzzahligen und mod p Versionen; die Entscheidung für lokale Koeffizienten oder Stabilisierung ändert die genaue Formulierung und Anwendbarkeit.

 

 

 

 

 





## Synthese

Synthese

Der Thom‑Isomorphismus identifiziert die Kohomologie des Thom‑Raums eines Bündels mit der Kohomologie der Basis bis auf eine Gradverschiebung, indem er Orientierung in einer Thom‑Klasse kodiert; diese einzelne Kohomologieklasse bildet die Grundlage für Transferabbildungen, Orientierungstheorie und zahlreiche Rechnungen, die Bündel mit der Kohomologie der Basis verbinden.