A chain coalgebra model for the James map (Q2381449)

Let \(K\) be a pointed simplicial set and \(EK\) be its simplicial suspension. We denote by \(C(K)\) the integral normalized chains on \(K\) and by \(\widetilde{C}(K)=\frac{C(K)}{C(*)}\). The main result of this paper is the following. There exists a natural isomorphism of chain Hopf algebras: \(T(\widetilde{C}(K) \cong \Omega C(EK)\). In an appendix of the paper, the authors prove that the Milgram map: \( \Omega (A \otimes B) \rightarrow \Omega A \otimes \Omega B \) is a chain homotopy equivalence whenever \(A\) and \(B\) are coaugmented coalgebras (not necessarily \(1\)-connected).