# Recovering torsion in singular homology from cplx of singular chains

For a simply connected simplicial complex, a theorem of Whitehead (Derived categories for the working mathematician, bottom of page 2) explains that the associated chain complexes with coefficients in $\mathbb{Z}$ $$K \textrm{ : } \rightarrow C_n(X) \rightarrow C_{n-1}(X) \cdots$$ contains more information than the singular homology/cohomology groups (two such simplicial complexes are homotopic iff there is a certain relation between their associated chain complexes involving the chain complex of another simplicial complex).

Question: Let $X$ be a compact simplicial complex. Can one recover the torsion in $H^i(X, \mathbb{Z})$ from knowing the complex of simplicial chains (with $\mathbb{Q}$-coefficents)? Is there a procedure to do this?

• I made a mistake (see comments below), so I modified the question.
– LMN
Jan 2, 2013 at 19:53
• Dear LMN, As Fernando Muro says, a cochain complex over $\mathbb Z$ is isomorphic to its cohomology (regarded as a complex with trivial differentials). This is even more evidently true when $\mathbb Z$ is replaced by a field such as $\mathbb Q$. Thus your assertion that "the associated chain complex contains more information ..." is false. Regards, Jan 3, 2013 at 3:22
• LMN, do you mean, for instance, that the cup product on cochains contains more information than its cohomology groups? Otherwise it's not true that the cochain complex has more information than the cohomology groups (as others have said). Jan 3, 2013 at 6:02

1) is false, Whitehead's theorem doesn't say that. Actually, any complex over a hereditary ring, eg the integers, is quasi-isomorphic to its cohomology.

2) No, lens spaces have quasi-isomorphic singular (co)chains but different integral cohomology.

3) Yes, by the answer to 1)

Maybe you're interested in doing all this functorially. Since this is a very important point, if this is what you want you should specify all this explicitly, eg what would be the source category, the target, etc.

• I guess that (3) would be yes if the sentence preceding it in LMN's question were accurate, but it isn't. It is possible to algebraically recover singular cohomology with coefficients in $\hat{\mathbb{Z}}$ or $\mathbb{C}$, but not $\mathbb{Z}$. Jan 2, 2013 at 19:24
• @Donu you are right! Jan 2, 2013 at 19:28