induces an injection on the level of isomorphy classs when restricted to simply-connected
spaces.

Does this functor have any good properties?
What about homomorphisms (fullness/faithfulness)?
How does it help to study topological spaces?

More generally one can ask:
What kind of topological homotopy categories are related to "algebraic" derived-categories?

The above example can be interpreted as $C_x = R\pi_* (\mathbb{Z}_X)$
where $\pi: X \rightarrow \{pt\}$ is the projetion to a point, and $\mathbb{Z}-Mod$ occures as abelian sheaves on $pt$.
One could try to generalize using sheaved spaces $X \rightarrow B$ over a scheme $B$.

This seem to be quiet obvious questions. However I have seen nobody elaborating
on this so far. Or maybe I am missing a link to something well known?

The map $X \mapsto C_X$ does not induce an injection on isomorphism classes. In order to apply th Whitehead theorem you need a map first.
–
Torsten EkedahlMay 26 '10 at 16:29

1

If you keep track of the algebra structure defined by the cup product of cochains in an adequate sense, you can detect the homotopy type of simply connected spaces (or even of nilpotent spaces), and you can also detect homotopy classes of continuous maps between these. See the paper of M. A. Mandell "Cochains and Homotopy Type", Publ. Math. IHES, 103 (2006), 213-246 (also available on arXiv).
–
Denis-Charles CisinskiMar 6 '14 at 23:52

2 Answers
2

I don't think this is actually an injection on isomorphism classes. We can see this by restricting to extremely nice spaces, say finite simply-connected CW complexes with free homology. In this situation cohomology and homology are dual and we have a Whitehead theorem for cohomology--it makes things easy to think about, though I'm sure you can concoct counterexamples with weaker hypotheses.

First consider two such spaces whose cohomology is the same but whose ring structure is different, for example $\mathbb{C}P^n$ and a wedge of even spheres. The singular complexes are certainly isomorphic, but this could not be induced by a map of spaces. So your functor does not induce an injection on isomorphism classes.

Similarly, one sees that the functor is not full, there are maps that fail to respect the ring structure and so could not be induced by any map of spaces, one example is the map that identifies the homologies of the two spaces above.

To see that the functor is not faithful, consider the Hopf map, $S^3 \to S^2$, which surely induces the zero map in homology.

More generally one can ask: What kind of topological homotopy categories are related to "algebraic" derived-categories?

First, to have a triangulated category analogous to $\mathcal{D}(Mod-\mathbb{Z})$, you should replace $Ho( SimplicialSpaces )$ by $Ho( Spectra )$, i.e. the stable version of the former. This said, there are intrinsic obstructions to express $Ho( Spectra )$ as the derived category of an algebraic one (even a "stable" category). Fo full details, see