Chain complex vs simplicial set

514 Views Asked by At

I am trying to understand what the singular chain complex $C(X)$ of a topological space $X$ remembers about $X$. For example, suppose that $C(X)= C(Y)$. Does this imply that $X,Y$ are homotopy equivalence? Are there counterexamples?

I ask because I know that a related construction to the chain complex does remember the homotopy type of $X$. We form the simplicial set of singular chains and its geometric realization will be homotopy equivalent to $X$. From this simplicial set we can form the singular chain complex of $X$ (with differential equal to the alternating sum of face maps) but it seems to be a strictly weaker notion (and I am trying to understand the relationship between the two).

Is the main difference between the simplicial set and the singular chain complex that the former remembers all the face maps (in giving order) but the latter forgets the order of the face maps? I can try to construct the following chain complex that does remember all the faces: $$ \oplus^2_{i=1} C_0(X) \leftarrow \oplus^3_{i=1} C_1(X) \leftarrow \oplus^4_{i=1} C_2(X) \leftarrow \oplus^5_{i=1} C_3(X) \leftarrow \oplus^6_{i=1} C_4(X) \leftarrow \cdots $$ For example, each component $\oplus^4_{i=1} C_2(X) \leftarrow C_3(X)$ of the map $\oplus^4_{i=1} C_2(X) \leftarrow \oplus^5_{i=1} C_3(X)$ is given by taking a 3-chain to its four 2-chain faces. I think this is still a chain complex. Does this new chain complex remember the homotopy type of $X$?

In general, I am wondering if there are any algebraic objects (chain complexes, dga) that trivially remember the homotopy type of a space. I know that all simplicial spaces are the classifying spaces of certain categories so this is an example.