Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

To what degree can we dualize theorems regarding homotopy into theorems about cohomotopy (or is there a good source that tries to do this)?

For instance, is there some kind of Hurewicz theorem relating cohomotopy and ordinary cohomology? Is there a "cohomotopy extension property" (something that applies when relative cohomotopy groups are trivial)? If two spaces are cohomologically equivalent and have some property in cohomotopy analogous to simply-connected, are they cohomotopy equivalent?

Thanks, this is primarily a reference request, however there is the possibility that all this is impossible so no such reference exists, which would also be an acceptable answer.

share|cite|improve this question
There is a result of Hopf: if $X$ is an $n-1$-connected space (say, CW complex), then maps of $X$ into the $n$-sphere are the same as cohomology classes in $H^n(X; \mathbb{Z})$. (You can prove this quickly by noting that the relevant property is true when $S^n$ is replaced by the Eilenberg-MacLane space $K(\mathbb{Z}, n)$, and that can be obtained from $S^n$ by attaching $n+2$-cells and higher.) – Akhil Mathew Nov 9 '11 at 0:36
Thanks so much! This is actually an immensely useful fact, and this result solves the problem that prompted the asking of this question (at least I think it does, I will have to check all the details)…;. – Jon Beardsley Nov 9 '11 at 0:47
Akhil, do you mean $n-1$ dimensional or something? Or even $n$ dimensional... and then CW approximation. For example, $K(\mathbb{Z},n)$ is $n-1$ connected, but certainly it's cohomology is not the same as it's cohomotopy... – Dylan Wilson Nov 9 '11 at 2:57
@Dylan: Thanks! I forgot $n$-dimensional, and you're right about the proof. – Akhil Mathew Dec 9 '11 at 14:59
@Dylan: And, moreover, I was being very silly -- what I meant was that maps into any $n-1$-connected space from an $n$-dimensional space. – Akhil Mathew Dec 9 '11 at 15:03

The homotopy groups can be written as covariant homotopy invariant functors $\pi_n:\mathrm{Top}_\ast\to\mathrm{Set}$. If we were to consider contravariant homotopy invariant functors $\pi^n:\mathrm{Top}_\ast^{op}\to\mathrm{Set}$, we would obtain the cohomotopy sets. How dual is it? Well, $\pi^n(S^m)=\pi_m(S^n)$. If $X$ is a CW-complex of dimension (at most) $n$, then $\pi^p(X)\to H^p(X)$ is a bijection. See the nlab. As for whether or not a "cohomotopy extension property" exists, I don't know; it seems like an interesting thing!

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.