The functor of singular chains detects weak homotopy equivalences

Abstract

The normalized singular chains of a path connected pointed space $X$ may be considered as a connected $E_{\infty }$-coalgebra ${\mathbf{C}}_{\ast }(X)$ with the property that the $0^{\text{th}}$ homology of its cobar construction, which is naturally a cocommutative bialgebra, has an antipode, i.e. it is a cocommutative Hopf algebra. We prove that a continuous map of path connected pointed spaces $f:X\to Y$ is a weak homotopy equivalence if and only if ${\mathbf{C}}_{\ast }(f):{\mathbf{C}}_{\ast }(X)\to {\mathbf{C}}_{\ast }(Y)$ is an $\mathbf{\Omega }$-quasi-isomorphism, i.e. a quasi-isomorphism of dg algebras after applying the cobar functor $\mathbf{\Omega }$ to the underlying dg coassociative coalgebras. The proof is based on combining a classical theorem of Whitehead together with the observation that the fundamental group functor and the data of a local system over a space may be described functorially from the algebraic structure of the singular chains.

This version contains minor changes based on a referee report mostly concerning presentation and typos. We have also added new acknowledgements