Geometric Interpretations of Homotopy Theoretical Constructions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T03:18:30Z http://mathoverflow.net/feeds/question/101018 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/101018/geometric-interpretations-of-homotopy-theoretical-constructions Geometric Interpretations of Homotopy Theoretical Constructions Jon Beardsley 2012-06-30T20:30:40Z 2012-06-30T23:05:55Z <p>In homotopy theory there are lots of nice constructions that seem designed to have some effect on the homotopy of a space, i.e. completing, localizing, and taking various homotopy (co)limits. It seems like some of these (for instance Quillen's + construction) have moderately visual interpretations by attaching cells and things like that. In general, does anyone out there have interest in constructing such things geometrically, i.e. drawing a picture of what a sphere looks like after you, I don't know, complete it at a prime, or something like that? Are there sensible ways to visually represent mod p Moore spaces? Do such constructions usually cause things to have to leap into higher, non-visual, dimensions or something? Or is it simply that this kind of thing doesn't really serve any purpose, and we can just prove that it works and that it exists? In general it also seems very interesting to me to know what a sphere localized at a given homology theory might look like. </p> http://mathoverflow.net/questions/101018/geometric-interpretations-of-homotopy-theoretical-constructions/101022#101022 Answer by Konrad Voelkel for Geometric Interpretations of Homotopy Theoretical Constructions Konrad Voelkel 2012-06-30T22:21:17Z 2012-06-30T22:28:01Z <p>Many operations on the homotopy groups of a CW complex can be realized by a "geometric" (rather, topological) construction on the space itself. A popular example is the rationalization, studied in rational homotopy theory.</p> <p>The general idea is to write down a CW model for your space, with explicit attaching maps, and doing the construction on spheres, then re-glue by the attaching maps.</p> <p>An easy example to look at is the following construction on the 1-sphere: take the covering $z \mapsto z^n$ from the 1-sphere to itself. A path on the "lower" circle that generates the fundamental group $\pi_1(S^1,1)=\mathbb{Z}$ can be multiplied with $n$ (going around $n$ times) and then lifted to the covering space and there it corresponds to the generator. Attaching a 2-cell along this covering map kills this $n$-times going around map on the homotopy level (since it is liftable, so contractible in the newly attached 2-cell). The result on the fundamental group is that you get $\pi_1(S^1 \cup_{z^n} e^2) = \mathbb{Z}/n\mathbb{Z}$.</p> <p>You can iterate this with a mapping telescope construction to get an inverse limit over these groups, thus the fundamental group becomes the profinite completion $\hat{\mathbb{Z}}$ of the integers.</p> <p>Since you asked for how to visualize this, I tend to draw pictures on the blackboard and imagine the paths and the contractions quite visually.</p> <p>To address the question whether this is useful or just good to know it exists: Sometimes it can be crucial to know how many cells in which dimensions you need to attach to change the homotopy groups, and knowledge about the attaching maps can be important too. For example, from all attaching maps you can compute CW (co)homology, so you can look at how the (co)homology changes if you, say localize at a prime. Maybe the Quillen + construction is a good example for this, since one really has to attach only a 2-cell and then a 3-cell, to get it right.</p> http://mathoverflow.net/questions/101018/geometric-interpretations-of-homotopy-theoretical-constructions/101024#101024 Answer by cdouglas for Geometric Interpretations of Homotopy Theoretical Constructions cdouglas 2012-06-30T23:05:55Z 2012-06-30T23:05:55Z <p>Though it is often satisfying and useful to have an appropriate way to visualize a construction, in fact the real innovation in homotopy theory that lead to the constructions you mention, among many others, was the realization that you need not limit your attention to geometric, visualizable operations and spaces but can be content knowing only certain relevant properties. </p> <p>This realization led to what Mike Hopkins (and perhaps others before him) called <em>designer homotopy theory</em>. The simplest example of a designer homotopy type is the Eilenberg-MacLane spaces---once you convince yourself they exist, you don't concern yourself with what they look like (a horrendous infinite CW complex, perhaps), but use only their characteristic relationship to homotopy groups. Needless to say this particular example led to spectacular advances in the hands of Serre and others.</p>