Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
Spectral sequences are the primary computational tool in homological algebra. They organise various long exact sequences (`spaghetti') in a sequence of layers (`lasagne') that converge to the target of the computation. However, in practice, this process is very delicate, and experience shows that there are often several ways to organise the same information/computation. For instance, this usually happens for the Leray-Serre and the Eilenberg-Moore spectral sequences of a principal fibration. In this paper, the authors unify these two spectral sequences by defining a spectral system. These systems are to spectral sequences as nets are to ordinary sequences: they are indexed over partially ordered sets. While the resulting structure is likely to exceed the patience of humans when it comes to computations, the authors have the perfect remedy for this. They have implemented this spectral system on a computer, building on the Kenzo software package. The software calculates integral homology and is available at \url{https://github.com/ana-romero/Kenzo-external-modules}. For a different way to relate the Leray-Serre and the Eilenberg-Moore spectral sequences of a principal fibration, using `Zassenhaus squares' inspired by earlier work of Deligne and Miller, see the preprint by \textit{F. Neumann} and the reviewer [``Preludes to the Eilenberg-Moore and the Leray-Serre spectral sequences, Preprint, \url{arXiv:2106.10209}].
- A new Kenzo module for computing the Eilenberg-Moore spectral sequence
- Computational homology
- Computing higher Leray-Serre spectral sequences of towers of fibrations
- Computing invariants for multipersistence via spectral systems and effective homology
- Computing multipersistence by means of spectral systems
- Computing spectral sequences
- Constructing new spectral systems from simplicial fibrations
- Constructive algebraic topology
- Effective computation of generalized spectral sequences
- Groupes d'homotopie et classes de groupes abéliens
- Homology and fibrations I: Coalgebras, cotensor product and its derived functors
- scientific article; zbMATH DE number 5635461 (Why is no real title available?)
- scientific article; zbMATH DE number 3923668 (Why is no real title available?)
- scientific article; zbMATH DE number 3241332 (Why is no real title available?)
- scientific article; zbMATH DE number 3264757 (Why is no real title available?)
- Spectral sequences: uses, problems and computations
- The mod-2 cohomology of metacyclic 2-groups
- Théorie de Hodge. II. (Hodge theory. II)
- Computing spectral sequences
- Spectral sequences: uses, problems and computations
- Constructing new spectral systems from simplicial fibrations
- A new Kenzo module for computing the Eilenberg-Moore spectral sequence
- Effective computation of generalized spectral sequences
- Preludes to the Eilenberg-Moore and the Leray-Serre spectral sequences
This page was built for publication: Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2156362)
