Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|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) math.stackexchange.com/questions/80331/…;. –  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
add comment

Your Answer


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

Browse other questions tagged or ask your own question.