Serre spectral sequence

In mathematics, the Serre spectral sequence (sometimes Leray-Serre spectral sequence to acknowledge earlier work of Jean Leray in the Leray spectral sequence) is an important tool in algebraic topology. It expresses, in the language of homological algebra, the singular (co)homology of the total space X of a (Serre) fibration in terms of the (co)homology of the base space B and the fiber F. The result is due to Jean-Pierre Serre in his doctoral dissertation. In mathematics, the Serre spectral sequence (sometimes Leray-Serre spectral sequence to acknowledge earlier work of Jean Leray in the Leray spectral sequence) is an important tool in algebraic topology. It expresses, in the language of homological algebra, the singular (co)homology of the total space X of a (Serre) fibration in terms of the (co)homology of the base space B and the fiber F. The result is due to Jean-Pierre Serre in his doctoral dissertation. Let f : X → B {displaystyle fcolon X o B} be a Serre fibration of topological spaces, and let F be the fiber. The Serre cohomology spectral sequence is the following: Here, at least under standard simplifying conditions, the coefficient group in the E 2 {displaystyle E_{2}} -term is the q-th integral cohomology group of F, and the outer group is the singular cohomology of B with coefficients in that group. Strictly speaking, what is meant is cohomology with respect to the local coefficient system on B given by the cohomology of the various fibers. Assuming for example, that B is simply connected, this collapses to the usual cohomology. For a path connected base, all the different fibers are homotopy equivalent. In particular, their cohomology is isomorphic, so the choice of 'the' fiber does not give any ambiguity. The abutment means integral cohomology of the total space X. This spectral sequence can be derived from an exact couple built out of the long exact sequences of the cohomology of the pair ( X p , X p − 1 ) {displaystyle (X_{p},X_{p-1})} , where X p {displaystyle X_{p}} is the restriction of the fibration over the p-skeleton of B. More precisely, using this notation, f is defined by restricting each piece on X p {displaystyle X_{p}} to X p − 1 {displaystyle X_{p-1}} , g is defined using the coboundary map in the long exact sequence of the pair, and h is defined by restricting ( X p , X p − 1 ) {displaystyle (X_{p},X_{p-1})} to X p {displaystyle X_{p}} .