**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Serre spectral sequence

Summary

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 be a Serre fibration of topological spaces, and let F be the (path-connected) fiber. The Serre cohomology spectral sequence is the following:
Here, at least under standard simplifying conditions, the coefficient group in the -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 , where 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 to , g is defined using the coboundary map in the long exact sequence of the pair, and h is defined by restricting to
There is a multiplicative structure
coinciding on the E2-term with (−1)qs times the cup product, and with respect to which the differentials are (graded) derivations inducing the product on the -page from the one on the -page.
Similarly to the cohomology spectral sequence, there is one for homology:
where the notations are dual to the ones above.

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related courses (4)

Related concepts (16)

MATH-497: Homotopy theory

We propose an introduction to homotopy theory for topological spaces. We define higher homotopy groups and relate them to homology groups. We introduce (co)fibration sequences, loop spaces, and suspen

MATH-436: Homotopical algebra

This course will provide an introduction to model category theory, which is an abstract framework for generalizing homotopy theory beyond topological spaces and continuous maps. We will study numerous

MATH-510: Modern algebraic geometry

The aim of this course is to learn the basics of the modern scheme theoretic language of algebraic geometry.

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. Let be a Serre fibration of topological spaces, and let F be the (path-connected) fiber.

Fibration

The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics. Fibrations are used, for example, in Postnikov systems or obstruction theory. In this article, all mappings are continuous mappings between topological spaces. A mapping satisfies the homotopy lifting property for a space if: for every homotopy and for every mapping (also called lift) lifting (i.e. ) there exists a (not necessarily unique) homotopy lifting (i.e.

Homotopy groups of spheres

In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute.

Related lectures (22)

Serre model structure on TopMATH-436: Homotopical algebra

Explores the Serre model structure on Top, focusing on right and left homotopy.

Dynamical Approaches to Spectral Theory of Operators

Explores ergodic theory, spectral operators, and almost periodic factors in dynamical systems and spectral theory.

Postnikov tower + cool stuffMATH-497: Homotopy theory

Covers the Postnikov tower, homotopy fibers, suspension, and the James construction.