Eine lange exakte Sequenz in (Ko)homologie, die einem orientierten Sphärenbündel (oder allgemein einem geeigneten orientierten Faserbündel) zugeordnet ist und die Kohomologie des Gesamtraums, der Basis und der Faser durch Pullback, Pushforward (Faserintegration, Gysin-abbildung) und das Kuponieren mit der Euler-Klasse verknüpft.

Prinzip

Die Integration entlang der Faser (Gysin- oder Pushforward-Abbildung) zusammen mit Kuponierung durch charakteristische Klassen (insbesondere die Euler-Klasse für Sphärenbündel) erzeugt Verbindungsabbildungen, die Exaktheit erzwingen und Gradverschiebungen in der Kohomologie zwischen Gesamtraum und Basis erklären.

Demonstration

Für ein orientiertes S^n-Bündel p: E → B existiert eine lange Gysin-Sequenz ... → H^k(B) → H^{k+n+1}(B) → H^{k+n+1}(E) → H^{k+1}(B) → ... wobei die Verbindungsabbildung das Kuponieren mit der Euler-Klasse ist und das Pushforward als Integration über die Faser auftritt; im Kreisbündel-Fall hängt dies mit der ersten Chern-Klasse zusammen.

Fehlanwendung

Die Gysin-Sequenz auf nicht orientierte Bündel anzuwenden (ohne geeignete lokale Koeffizienten), falsche Gradverschiebungen zu verwenden oder die Euler-Klasse fälschlich als trivial zu behandeln, führt zu inkorrekten kohomologischen Ergebnissen.

Konsequenz

Ermöglicht berechenbare Zusammenhänge, mit denen sich die Kohomologie von E aus der von B (und umgekehrt) bestimmen lässt, sobald die charakteristischen Klassen und Pushforward-Abbildungen bekannt sind; sie liefert Obstruktionen gegen die Trivialität des Bündels und detektiert nichttriviale Klassen aus der Faser.

Umkehrung

Ist das Bündel trivial, so spaltet die Gysin-Sequenz und die Kohomologie des Gesamtraums entspricht dem Tensorprodukt der Kohomologien von Basis und Faser; Umkehr der Orientierung oder des Vorzeichens der Euler-Klasse kehrt bestimmte Verbindungsabbildungen um.

Abgrenzung

Gilt für orientierte Sphärenbündel (oder orientierte Faserbündel unter geeigneten Voraussetzungen) und innerhalb der gewählten Kohomologietheorie und Koeffizienten; sie ist anzupassen für nicht orientierbare Bündel (lokale Koeffizienten), verallgemeinerte Kohomologietheorien oder wenn Basis/Faser nicht die nötigen Voraussetzungen erfüllen.

Semantische Spannung

Spannung zwischen der Nutzung der Gysin-Sequenz als exaktes Rechenwerkzeug und der Verwendung von Spektralsequenzen (z. B. Leray–Serre), die dieselben Gruppen durch Filtrierungen berechnen; beide Werkzeuge heben unterschiedliche strukturelle Aspekte hervor.

Synthese

Die Gysin-Folge beschreibt, wie Kohomologieklassen von Basis und Faser sich im Gesamtraum durch Faserintegration und Kuponierung mit charakteristischen Klassen verbinden und liefert exakte algebraische Relationen, die die Nichttrivialität von Bündeln erkennen und Kohomologie in einer Fibration berechnen.