MathOverflow is a question and answer site for professional mathematicians. 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

One example is the Hurewicz theorem which tells us that (e.g) a CW-cx with only one 0-cell has a nontrivial fundamental group if H_1 is nontrivial. What other examples are there? (The CW-complexes I have in mind always have exactly one 0-cell, but for the sake of a more wide discussion one could assume this is not generally true. However, I am mostly interested in the higher homotopy groups as I already know everything about the fundamental group.)

share|cite|improve this question
The cohomology of $S^n$ doesn't contain much information (nonzero only in degrees 0 and n), but its homotopy groups are really crazy in general, so do you have more specific details about your CW complexes? – Steven Sam Feb 12 '10 at 7:50
There's a bunch that can be said. To start getting a feel for your question, look at the Adams spectral sequence and, say, the Kan-Thurston theorem. The first will get your hopes up and the second will (partially) dash them. – Ryan Budney Feb 12 '10 at 7:54
up vote 4 down vote accepted

Try looking up some references on rational homotopy theory. Rational homotopy theory studies the homotopy groups tensor Q, so basically you kill all torsion information. If we focus only on homotopy groups tensor Q, the question you ask becomes easier. As Steven Sam mentions in the comments, the homotopy groups of spheres are really crazy. But the rational homotopy groups of spheres are quite tractable (in fact completely known, by a theorem of Serre) and can be more or less obtained from cohomology, if I recall correctly.

One particularly impressive theorem, of Deligne-Griffiths-Morgan-Sullivan, says that if your space is a compact Kähler manifold (e.g. a smooth complex projective variety), and if you know its rational cohomology ring, then you can compute for instance the ranks of all of its homotopy groups (maybe you need an extra assumption that the space is simply connected or has nilpotent fundamental group).

share|cite|improve this answer

If you don't want to make any assumptions about $\pi_1$, then I think the question is hard. Maybe Hurewicz is most of what you can say. If assume something like simply connected, you can say a lot more. There are many things you can say rationally, some of which were pointed bout my Kevin, but even integrally or mod p there are a lot of techniques. Can you be more precise about the setup you are interested in?

You can always replace a connected CW complex with a homotopy equivalent one that has a single 0-cell, so this is not really an issue.

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.