I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct counterexamples.
[Math] Maps which induce the same homomorphism on homotopy and homology groups are homotopic
at.algebraic-topologycw-complexeshomologyhomotopy-theory
Related Solutions
Homology groups and homotopy groups are two sides of the same story. Homotopy groups tell us all the ways we can have a map Sn → X, and in particular describe all ways we can attach a new cell to our space. On the other side, the homology groups of a space change in a very understandable way each time we attach a new cell, and so they tell us all the ways that we could build a homotopy-equivalent CW-complex. In cases where we can understand both of them, we can get things like complete theorems about classification of spaces.
Here's an example where we can compute: classification of the homotopy types of compact, orientable, simply-connected 4-manifolds. (I originally saw this is Neil Strickland's bestiary of topological spaces.)
Poincare duality tells us that the homology groups are finitely generated free in degree 2, ℤ in degrees 0 and 4, and zero elsewhere. We can cut out a closed ball, and get an expression of the manifold as obtained from a manifold-with-boundary N by attaching a 4-cell. The Hurewicz theorem tells us that we can construct a map from a wedge of copies of S2 to N which induces an isomorphism on H*, and by the (homology) Whitehead theorem this is a homotopy equivalence. So our original manifold is obtained, up to homotopy equivalence, by attaching a 4-cell to $\bigvee S^2$.
How many ways are there to do this? It is governed by $\pi_3 (\bigvee S^2)$, which we can compute because it's low down enough. This homotopy group is naturally identified with the set of symmetric bilinear pairings $H^2(\bigvee S^2) \to \mathbb{Z}$, and this identification is given by seeing how the cup product acts after you attach a cell. So these 4-manifolds are classified up to homotopy equivalence by the nondegenerate symmetric bilinear pairing in their middle-dimensional cohomology.
Some of what we used here is general and well-understood machinery about homology, homotopy, and their relationships. Wouldn't it be nice if the standard tools were always so effective? But the real meat is that we have a complete understanding of homology and homotopy in the relevant ranges. It turns our questions about classification into questions about pure algebra. For questions that require specific knowledge about higher homotopy groups of spheres (or even lower homotopy groups of complicated spaces), it is much harder to get answers. There aren't a lot of spaces where we have complete understanding of both the homology groups and the homotopy. We have tools for reconstructing the former from the latter but their effectiveness wears down the farther out you try to go.
There are categories that are somewhat like the homotopy category of spaces where we can get an immediate and specific understanding of both sides of the coin.
One such example is the category of chain complexes over a ring R. There, our fundamental building block is R itself. The homology of any chain complex tells us both how R can be mapped in modulo chain homotopy, and how complicated any construction of the underlying chain complex must be. A more complicated example would be the category of differential graded modules over a DGA, where the divide between how things can be constructed and how things can have new cells attached is, at the very least, governed by the complexity of H* A as a ring, and then by the secondary algebraic operations if A is far from being anything like formal.
Another such example is the rational homotopy theory of simply-connected spaces you mentioned. There, homology and homotopy are roughly something like the difference between a ring's underlying abelian group structure and how you build it using generators and relations.
So you might think of the complexity of homotopy groups as telling us how much more complicated spaces are than chain complexes.
Homology also has complicated and unintuitive aspects if one goes beyond nice spaces like CW complexes. A surprising example of this is the subspace of Euclidean 3-space consisting of the union of a countable number of 2-spheres with a single point in common and the diameters of the spheres approaching zero. (This is the 2-dimensional analog of the familiar "Hawaiian earring" space.) Then the amazing fact is that the n-th homology group of this space with rational coefficients is nonzero, and even uncountable, for each n > 1. This was shown by Barratt and Milnor in a 1962 paper in the AMS Proceedings.
The result holds also with integer coefficients, with homology classes that are in the image of the Hurewicz homomorphism. So one could say that this strange behavior comes from homotopy groups but just happens to persist in homology. I would guess that there are also examples where the homology is not in the image of the Hurewicz homomorphism, so it does not come directly from homotopy groups.
Best Answer
Take the composition of a degree one map $f:T^3\to S^3$ with the Hopf map $g:S^3\to S^2$, where $T^3$ is the 3-torus. This composition is trivial on homotopy groups since $T^3$ is aspherical and $\pi_1S^2=0$. It is trivial on $H_i$ for $i>0$ since this is true for $g$. If $gf$ were nullhomotopic we could lift a nullhomotopy to a homotopy of $f$ to a map to a circle fiber of $g$, which would imply that $f$ had degree 0, a contradiction. Thus $gf$ induces the same maps on homology and homotopy groups as a constant map, but it isn't homotopic to a constant map. (I forget where I first saw this example, maybe in something of Arnold.)