Skip to main content
1 of 6
Manuel Rivera
  • 2k
  • 1
  • 14
  • 23

This is not a complete answer to your question, which I am not sure how to answer without having a precise meaning for what you mean by "computing" and what do you mean by "knowing" $\pi_1(X)$, as indicated in the comments above.

However, I think you may be interesting in taking a look at my paper with Mahmoud Zeinalian "Singular chains and the fundamental group".

In this article, we prove that for any path connected pointed space $(X,b)$, the $E_{\infty}$-coalgebra structure (in fact, the $E_{2}$ part of it) of (a pointed version of) the singular chains $C_*(X,b)$ extending the Alexander-Whitney coproduct determines $\pi_1(X,b)$ functorially and in complete generality. The correct notion of weak equivalence under which this information is preserved is defined via cobar functor.

In particular, the natural algebraic structure on the singular chains $C_*(X,b)$ determines a chain complex (by purely algebraic means) which calculates the homology of the universal cover of $X$ at $b$. The construction is the following: consider the differential graded connected coassociative coalgebra $C=(C_*(X,b), \partial, \Delta)$ and take its cobar construction $\Omega C$. This is a dg associative algebra such that $H_0(\Omega C)\cong \mathbb{Z}[\pi_1(X,b)]$, the fundamental group ring. There is a natural "twisting cochain" (in the sense of Brown) $\tau: C \to H_0(\Omega C)$ through which we may construct a twisted tensor product $(C \otimes_{\tau} H_0(\Omega C), \partial_{\tau})$. The homology of this chain complex is the homology of the universal cover. Note that the differential $\partial_{\tau}$ uses both the dg coassociative coalgebra structure of $C$ and the algebra structure of $H_0(\Omega C)$ (which in turn, was obtained from the dg coassociative coalgebra structure of $C$). Also, this construction is invariant in the following sense $f: C\to C'$ is a map of dg coalgebras such that $\Omega f: \Omega C \to \Omega C'$ is a quasi-isomorphism of dg algebras then the induced map $(C \otimes_{\tau} H_0(\Omega C), \partial_{\tau}) \to (C' \otimes_{\tau} H_0(\Omega C'), \partial_{\tau})$ is a quasi-isomorphism. This notion is stronger that ordinary quasi-isomorphisms of dg coalgebras.

Note that I didn't use the homotopy groups of $X$ directly but I used more information than the homology of $X$, namely, the chain level natural algebraic structure of the singular chains. Again, the question of "how computable this is" is a different one, which I am not sure how to formulate precisely.

This fact can be used to show an extension of classical theorem of Whitehead, namely we can now prove that a continuous map of pointed path connected spaces $f: (X,b) \to (Y,c)$ is a weak homotopy equivalence if and only if the induced map at the level of dg coassociative coalgebras of pointed singular chains $f: C_*(X,b) \to C_*(Y,c)$ becomes a quasi-isomorphism after applying the cobar functor.

Manuel Rivera
  • 2k
  • 1
  • 14
  • 23