Higher order derived functors and the Adams spectral sequence

DOI10.1016/J.JPAA.2014.04.018MaRDI QIDQ404364zbMATH OpenOpenAlexFDO

Publication date 4 September 2014

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1108.3376

Spectral sequences, hypercohomology (18G40) Nonabelian homological algebra (category-theoretic aspects) (18G50) Secondary and higher cohomology operations in algebraic topology (55S20) Adams spectral sequences (55T15)

Abstract: Classical homological algebra considers chain complexes, resolutions, and derived functors in additive categories. We describe "track algebras in dimension n", which generalize additive categories, and we define higher order chain complexes, resolutions, and derived functors. We show that higher order resolutions exist in higher track categories, and that they determine higher order Ext-groups. In particular, the E_m-term of the Adams spectral sequence (m<n+3) is a higher order Ext-group, which is determined by the track algebra of higher cohomology operations.

Review text

The famous Adams spectral sequence [\textit{J. F. Adams}, Comment. Math. Helv. 32, 180--214 (1958; Zbl 0083.17802)] was first used to obtain partial results on the Hopf Invariant One Problem. While that problem was completely resolved by Adams later, the sequence remained a powerful technique to calculate homotopy groups of spheres. The sequence begins with an Ext group arising from the Steenrod algebra, but the higher terms involve more. One may think of this as involving the homotopy groups of a mapping space.NEWLINENEWLINEIn this fascinating paper, the authors consider the point of view of the ``Eilenberg MacLane Map\((X,K(F_p,n))\), on which Map\((K(F_p,n),K(F_p,n))\) acts. They use a generalization of singular homology based on cubical balls, made up of cubes glued to form a ball; this gives a combinatorial structure and also permits products since a product of cubes is a cube. They also generalize chain complexes to consider higher null homotopies. Their first major theorem states that higher order resolutions exist for an algebra of left cubical balls. Before getting to this result (Theorem 14.5), there is considerable algebra. A higher order chain complex is defined as a functor from an elaborate indexing category. This then leads to higher order Ext groups.NEWLINENEWLINEFrom the point of view of the Adams sequence, this gives a new and interesting way to look at the higher order terms in the spectral sequence. For specific calculations, one might look at [\textit{H.-J. Baues} and \textit{M. Jibladze}, J. K-Theory 7, No. 2, 203--347 (2011; Zbl 1231.18009)]. There are also interesting asides relating to the WK construction and ordinary complexes equivalent to higher order complexes. The reviewer is not happy with the word ``strictification but cannot think of an improvement.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Higher order derived functors and the Adams spectral sequence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q404364)