# Gysin sequence

Template:Mergefrom
In the field of mathematics known as algebraic topology, the **Gysin sequence** is a long exact sequence which relates the cohomology classes of the base space, the fiber and the total space of a sphere bundle. The Gysin sequence is a useful tool for calculating the cohomology rings given the Euler class of the sphere bundle and vice versa. It was introduced by Template:Harvs, and is generalized by the Serre spectral sequence.

## Definition

Consider a fiber-oriented sphere bundle with total space *E*, base space *M*, fiber *S*^{k} and projection map

Any such bundle defines a degree *k* + 1 cohomology class *e* called the Euler class of the bundle.

### De Rham cohomology

Discussion of the sequence is most clear in de Rham cohomology. There cohomology classes are represented by differential forms, so that *e* can be represented by a (*k* + 1)-form.

The projection map π induces a map in cohomology H^{*} called its pullback π^{*}

In the case of a fiber bundle, one can also define a pushforward map π_{*}

which acts by fiberwise integration of differential forms on the sphere (cf. integration in fiber) – note that this map goes "the wrong way": it is a covariant map between objects associated with a contravariant functor.

Gysin proved that the following is a long exact sequence

where is the wedge product of a differential form with the Euler class *e*.

### Integral cohomology

The Gysin sequence is a long exact sequence not only for the de Rham cohomology of differential forms, but also for cohomology with integral coefficients. In the integral case one needs to replace the wedge product with the Euler class with the cup product, and the pushforward map no longer corresponds to integration.

## Related concepts

Template:Rellink
The Gysin map, is a *co*variant map between objects associated with a *contra*variant functor – it goes "the wrong way". Other such maps are called "wrong way maps", **Gysin maps** – because of their occurrence in this sequence – or other terms such as shriek maps or "transfer maps".

## References

- Raoul Bott and Loring Tu,
*Differential Forms in Algebraic Topology.*Springer-Verlag, 1982. - {{#invoke:citation/CS1|citation

|CitationClass=citation }}

## See also

- Serre spectral sequence, a generalization
- Logarithmic form