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.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
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
Homology is one of the most important tools to study topological spaces and it plays an important role in many fields of mathematics. The aim of this course is to introduce this notion, understand its
The goal of this course is to help students learn the basic theory of complex manifolds and Hodge theory.
En théorie de l'homotopie, une fibration est une application continue entre espaces topologiques satisfaisant une propriété de relèvement des homotopies, qui est satisfaite en général par les projections fibrées. Les fibrations de Serre relèvent les homotopies depuis les CW-complexes tandis que les fibrations de Hurewicz relèvent les homotopies depuis n'importe quel espace topologique.
En mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines : où est une résolution injective du faisceau , et désigne le groupe abélien des sections globales de . A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie. Le zéroième groupe est canoniquement isomorphe à .
We construct a spectral sequence converging to the homology of the ordered configuration spaces of a product of parallelizable manifolds. To identify the second page of this spectral sequence, we introduce a version of the Boardman-Vogt tensor product for ...
Classical Serre-Tate theory describes deformations of ordinary abelian varieties. It implies that every such variety has a canonical lift to characteristic zero and equips the base of its universal deformation with a Frobenius lifting and canonical multipl ...
WALTER DE GRUYTER GMBH2021
,
The setup, operational procedures and performance of a cryogen-free device for producing hyperpolarized contrast agents using dissolution dynamic nuclear polarization (dDNP) in a preclinical imaging center is described. The polarization was optimized using ...