Classifying maps into homogeneous spaces up to homotopy - MathOverflow most recent 30 from http://mathoverflow.net2013-05-23T23:47:09Zhttp://mathoverflow.net/feeds/question/2731http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/2731/classifying-maps-into-homogeneous-spaces-up-to-homotopyClassifying maps into homogeneous spaces up to homotopyjc 2009-10-27T00:32:28Z2012-02-09T08:17:08Z
<p>I'm still just a beginner in algebraic topology, but there's a specific problem I'd like to understand, which is how to classify maps from one space into another up to homotopy -- for instance, I've really enjoyed learning about the Pontryagin-Thom construction which yields homotopy classification of maps into S^2. For some applications that I'm interested in, it turns out that the homotopy classification of maps from manifolds into homogeneous spaces (of strictly lower dimension, if that helps) are of interest. </p>
<p>I guess what I'm asking is for a pointer in the right direction, since algebraic topology is such a large subject. I've read scattered results here and there on specific examples of the above, but I haven't found any systematic way of thinking about it yet. Is there one? Someone once said "equivariant cohomology" to me, is that useful?</p>
http://mathoverflow.net/questions/2731/classifying-maps-into-homogeneous-spaces-up-to-homotopy/2737#2737Answer by Anton Geraschenko for Classifying maps into homogeneous spaces up to homotopyAnton Geraschenko2009-10-27T01:25:45Z2009-10-27T01:25:45Z<p>I'm pretty sure that what you're asking for is incredibly hard. In particular, <a href="http://en.wikipedia.org/wiki/Homotopy%5Fgroups%5Fof%5Fspheres" rel="nofollow">homotopy groups of spheres</a> (homotopy classes of maps from S<sup>n</sup> to S<sup>k</sup>) are not yet understood.</p>
http://mathoverflow.net/questions/2731/classifying-maps-into-homogeneous-spaces-up-to-homotopy/2813#2813Answer by Jim Fowler for Classifying maps into homogeneous spaces up to homotopyJim Fowler2009-10-27T13:49:30Z2009-10-27T13:49:30Z<p>Check out the <a href="http://en.wikipedia.org/wiki/Adams_spectral_sequence" rel="nofollow">Adams spectral sequence</a>, which computes (stable) homotopy classes of maps from one space to another (one prime at a time).</p>
http://mathoverflow.net/questions/2731/classifying-maps-into-homogeneous-spaces-up-to-homotopy/31348#31348Answer by Sean Tilson for Classifying maps into homogeneous spaces up to homotopySean Tilson2010-07-11T01:51:43Z2010-07-11T01:51:43Z<p>The adams spectral sequence certainly does compute the desired result. But it sounds like you are looking for something to do/understand. by homogeneous spaces do you mean G/H for two lie groups? in this case it is certainly possible that equivariant invariants would be important to look at.</p>
<p>if you mean things like BO(n) or BU(n) then these are things that we certainly have computations of the homotopy classes of maps into such spaces (which have models as homogeneous spaces in the above mentioned sense.</p>
<p>so if you could give me some more details about the scattered results you mentioned and what you mean by homogeneous space then i will edit this answer.</p>
<p>also to reference your comment on anton's answer, yes there are various filtrations of the homtopy groups of spheres that "we" understand. All these filtrations end up giving different versions of an adams spectral sequence that converge to a certain amount of the $\pi_n^S(S^0)$. the chromatic picture is the most interesting one that comes to my mind. to read a bit about this see tyler lawson's abelian varieties in homotopy theory paper, and perhaps go through his bibliography to find other sources.</p>
http://mathoverflow.net/questions/2731/classifying-maps-into-homogeneous-spaces-up-to-homotopy/31349#31349Answer by Jeff Strom for Classifying maps into homogeneous spaces up to homotopyJeff Strom2010-07-11T02:31:03Z2010-07-11T02:31:03Z<p>Homogeneous spaces tend to be buildable from spheres in finitely many steps by extensions by fibrations. If you pretend you understand $[X, S^n]$ for all $n$, then you can try to
analyze the exact sequences that result from your fibrations.</p>
http://mathoverflow.net/questions/2731/classifying-maps-into-homogeneous-spaces-up-to-homotopy/87971#87971Answer by Mark Grant for Classifying maps into homogeneous spaces up to homotopyMark Grant2012-02-09T08:17:08Z2012-02-09T08:17:08Z<p>Very late, I know, but I just stumbled upon this question and I thought I would point out the reference <a href="http://arxiv.org/abs/0808.0024" rel="nofollow">http://arxiv.org/abs/0808.0024</a>, which gives a nice modern discussion of this problem in the case when the homogeneous space is simply-connected and the space mapping in is $3$-dimensional. (This case was solved by Postnikov, in one of the early triumphs of <a href="http://en.wikipedia.org/wiki/Obstruction_theory" rel="nofollow">obstruction theory</a>). </p>