Gysin-Sequenz

Die Gysin-Sequenz ist in der Mathematik, genauer in der Algebraischen Topologie, eine lange exakte Sequenz, welche die Kohomologieklassen von Basis, Faser und Totalraum eines Sphärenbündels miteinander in Beziehung setzt. Eine Anwendung stellt die Berechnung der Kohomologie aus der Eulerklasse (und umgekehrt) eines Sphärenbündels dar.

Die Sequenz wurde 1942 durch Werner Gysin eingeführt ^[1].

Definition

Sei E ein orientiertes Sphärenbündel, M die zugehörige Basis, S^k die typische Faser und $\pi: E\longrightarrow M$ die Projektionsabbildung. Einem solchen Bündel kann man eine Kohomologieklasse e vom Grad k+1 zuordnen, die man als Eulerklasse des Bündels bezeichnet.

Die Projektionsabbildung π auf die Basis induziert eine Abbildung in der Kohomologie H ^* , den sogenannten Pullback $\pi^*: H^*(M) \longrightarrow H^*(E)$. Ein Pushforward kann analog definiert werden.

Gysin zeigte dass die folgende lange Sequenz exakt ist: $...\longrightarrow H^n(E)\longrightarrow^{\!\!\!\!\!\!\!\!\!\!\pi_*}H^{n-k}(M)\longrightarrow^{\!\!\!\!\!\!\!\!\!\!e\wedge}H^{n+1}(M)\longrightarrow^{\!\!\!\!\!\!\!\!\!\!\pi^*}H^{n+1}(E)\longrightarrow ...$

Am einfachsten lässt sich die Sequenz in de-Rham-Kohomologie beschreiben. Hier sind die Kohomologieklassen durch Differentialformen gegeben, die Eulerklasse kann also durch eine k+1–Form dargestellt werden. Die Pushforward-Abbildung ist durch faserweise Integration von Differentialformen auf der Sphäre gegeben und $\wedge$ in der Sequenz bezeichnet das Wedgeprodukt von Differentialformen. In Integraler Kohomologie dagegen kann man den Pushforward nicht mehr als Integration auffassen und das Wedgeprodukt muss durch das Cupprodukt ersetzt werden.

Literatur

• Raoul Bott, Loring W. Tu: Differential Forms in Algebraic Topology. 4th printing. Springer, New York u. a. 2008, ISBN 978-0-387-90613-3 (Graduate Texts in Mathematics 82).

Quellen

1. ↑ Zur Homologietheorie der Abbildungen und Faserungen von Mannigfaltigkeiten

Siehe auch

• Serre-Spektral-Sequenz (eine Verallgemeinerung der Gysin-Sequenz)