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

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

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

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

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

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

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

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

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.