m-structures determine integral homotopy type

arXivmath/9809151MaRDI QIDQ6501030FDOQ6501030

Authors: Justin R. Smith 

Abstract: This paper proves that the functor $C(*)$ that sends pointed, simply-connected CW-complexes to their chain-complexes equipped with diagonals and iterated higher diagonals, determines their integral homotopy type --- even inducing an equivalence of categories between the category of CW-complexes up to homotopy equivalence and a certain category of chain-complexes equipped with higher diagonals. Consequently, $C(*)$ is an algebraic model for integral homotopy types similar to Quillen's model of rational homotopy types. For finite CW complexes, our model is finitely generated. Our result implies that the geometrically induced diagonal map with all ``higher diagonal maps (like those used to define Steenrod operations) collectively determine integral homotopy type.

Mathematics Subject Classification ID

Equivariant fiber spaces and bundles in algebraic topology (55R91)

This page was built for publication: m-structures determine integral homotopy type

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