What can be said about the homotopy groups of a CW-complex in terms of its (co)homology? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T08:02:20Z http://mathoverflow.net/feeds/question/15083 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15083/what-can-be-said-about-the-homotopy-groups-of-a-cw-complex-in-terms-of-its-coho What can be said about the homotopy groups of a CW-complex in terms of its (co)homology? unknown (google) 2010-02-12T07:42:18Z 2010-02-12T12:08:33Z <p>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.)</p> http://mathoverflow.net/questions/15083/what-can-be-said-about-the-homotopy-groups-of-a-cw-complex-in-terms-of-its-coho/15086#15086 Answer by Kevin Lin for What can be said about the homotopy groups of a CW-complex in terms of its (co)homology? Kevin Lin 2010-02-12T08:11:34Z 2010-02-12T09:34:13Z <p>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. </p> <p>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). </p> http://mathoverflow.net/questions/15083/what-can-be-said-about-the-homotopy-groups-of-a-cw-complex-in-terms-of-its-coho/15096#15096 Answer by Don Stanley for What can be said about the homotopy groups of a CW-complex in terms of its (co)homology? Don Stanley 2010-02-12T12:08:33Z 2010-02-12T12:08:33Z <p>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?</p> <p>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. </p>