Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences (Q2156362)

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}].