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.

A stable homotopy category can be obtained by modifying the category of pointed CW-complexes: objects are pointed CW-complexes, and for two CW-complexes $X$ and $Y$, we take $$\lbrace X,Y \rbrace = \mathrm{colim}[\Sigma^kX,\Sigma^kY]$$ as a hom-set from $X$ to $Y$. Here $\Sigma X = X \wedge S^1$.

What is the motivation of studying such a category (more widely stable homotopy theory)?

For me, the definition of the hom-set looks very fancy, and I can not see why such a category is so important (or useful to topology).

share|improve this question
1  
Perhaps a good place to start is these notes of Strickland: neil-strickland.staff.shef.ac.uk/research/stableintro.pdf –  Drew Jun 9 '13 at 21:51

2 Answers 2

up vote 13 down vote accepted

Motivation can be broken up into essentially two parts: (i) Stable homotopy groups of things appear in nature, and (ii) the stable category is technically convenient. I'll try to give some indication of these below, but none of the bullet points do the topic justice... There's lots of love to be had here.

Stable Homotopy Groups Appear in Nature

  1. Cobordism. Suppose you're studying manifolds. The first question you might ask is: can I find a list of all manifolds up to diffeomorphism? The answer is no. So you weaken to 'homeomorphism', and the answer is still no. So you weaken to 'homotopy' and the answer is still pretty much no (though you're getting better), so finally you demand a really weak notion: cobordism. Two compact $n$-manifolds are cobordant if their disjoint union is the boundary of some $(n+1)$-manifold (google this to see a picture of a pair of pants, or just look at your pants.) Another way of thinking about it (if you're into deformations), is that a cobordism is a smooth family or 'deformation' of manifolds (fibered over $\mathbb{R}$), and so we might want to know what the various deformations of a given manifold are, in this sense. Anyway, it turns out that the answer to this question (and more structured versions of this question, where you might require the manifolds to be oriented, or have a Spin structure on their stable normal bundle, or be almost complex, or stably framed, etc.) is a certain stable homotopy group. That is, there is a sequence of spaces, $MO(n)$, and maps $\Sigma MO(n) \rightarrow MO(n+1)$ such that the $k$th stable homotopy groups of this spectrum are isomorphic to the cobordism group of $k$-manifolds (under disjoint union). If you require your manifolds to be stably framed you get the stable homotopy groups of spheres! I find this incredible... this was done by Pontryagin (stably framed case), and in general by Thom in the greatest thesis of all time.

  2. Hopf Invariant Hopf famously discovered an essential (i.e. non-nullhomotopic) map $S^3 \rightarrow S^2$, which you can think of as the being defined via $S^3 \rightarrow \mathbb{C}P^1$ and then choosing an identification of $\mathbb{C}P^1$ with the sphere. The mapping cone of this map is a CW-complex and asking whether or not the map $S^3 \rightarrow S^2$ is non-nullhomotopic is equivalent to asking whether or not this mapping cone is homotopy equivalent to a wedge $S^4 \vee S^2$. We can see that it is not since the mapping cone is actually just $\mathbb{C}P^2$ and the cup square of the generator in $H^2$ is the generator in $H^4$. More generally, given a map $S^{2n-1} \rightarrow S^n$ we can form the 2-cell complex given by gluing $D^{2n}$ along this map and ask if the cup square of the generator in degree $H^n$ squares to the generator in degree $2n$. If it does we say this map has Hopf invariant one, otherwise it has Hopf invariant 0. It's natural to ask how many maps of Hopf invariant one can we build, and the answer is: not many. They only exist when $n = 1, 2, 4,$ or $8$. While nowadays we usually learn the proof of this fact using $K$-theory (which is very short), the first proof was inspired very much by the observation that this question is equivalent to asking whether certain elements in a spectral sequencing converging to the stable homotopy groups of spheres (the Adams spectral sequence) are permanent cycles. (To see why the question is stable in the first place, one might note that the Hopf invariant, while defined using the cup square, could have been defined using Steenrod operations, and then it would be a suspension invariant, hence stable, question- so one can attack it via stable homotopy theory.)

  3. Surgery Theory/ Kervaire Invariant. In 1956, Milnor found a curious example of a manifold. He was studying sphere bundles over spheres, and found that there was a bundle of the form $S^3 \rightarrow X \rightarrow S^4$, and that $X$ is homeomorphic to $S^7$, but it is not diffeomorphic to $S^7$. In other words, there exist exotic smooth structures on manifolds. Since the simplest compact manifolds are spheres, it makes sense to study this phenomenon for all spheres, and Milnor and Kervaire did just that. They related the group of homotopy spheres (read: h-cobordism spheres, read: topological spheres by the Poincare conjecture) to the stable homotopy groups of spheres and used this to reduce the problem of classifying exotic structures on spheres to a single problem: When does there exist a manifold of Kervaire invariant one? (The Kervaire invariant is an invariant of a certain quadratic form defined on the middle homology of a framed manifold.) This is kind of vague, but the punchline is that this problem was eventually resolved (up to one case in dimension 126) and the two biggest steps (including the final step) used heavy, heavy stable homotopical machinery. For example, Browder reduced the problem to deciding whether certain elements in the Adams spectral sequence were permanent cycles (this looks familiar...), and this was the method of attack in the Hill-Hopkins-Ravenel approach to resolve all cases except dimension 126.

  4. Cohomology Theories You're probably familiar with ordinary cohomology, and maybe even $K$-theory, but the fact is that there are lots and lots of interesting cohomology theories out there, and the most convenient way to talk about them is to talk about spectra. The basic result is Brown representability. If I have some graded homotopy invariant of spaces that takes cofiber sequences to long exact sequences and has a suspension isomorphism and takes wedges to products, then this is represented by a sequence of spaces $\{E_n\}$ with weak equivalences $E_n \cong \Omega E_{n+1}$ coming from the existence of the suspension isomorphism and the Yoneda lemma. Conversely, given a sequence of spaces $\{E_n\}$ with maps $\Sigma E_n \rightarrow E_{n+1}$, you can cook up a cohomology theory. This means that one can do some pretty formal manipulations inside the category of spectra and produce lots of different cohomology theories, even ones that have no geometric interpretation a priori. These cohomology theories, however, might be very computable and help solve problems or detect nontriviality of certain maps. For example, there is a cohomology theory called tmf which has, as of now, no geometric interpretation, but can detect many nontrivial maps between spheres, and can even be used to prove results in number theory! I should also point out that while the correspondence 'cohomology theory <---> spectrum' is not sharp, it doesn't take much to make it sharp: if by '(co)homology theory' we really mean an invariant on finite CW-complexes that spits out a space and this spitting out of a space takes a point to a point and cofiber sequences to fiber sequences, then the correspondence is an equivalence (of homotopy theories... let's not get into that.)

  5. Cohomology Operations By the previous bullet point, we see that self maps $E \rightarrow E$ of a spectrum give natural transformations of the corresponding cohomology theory. Any map of spaces has to preserve this transformation (by definition of natural), and so we can cook up cohomology operations by cooking up maps of spectra. There's even a machine (you've met it in previous bullet points, it's called the Adams spectral sequence) which computes all maps between spectra, and you can use it to figure out what the cohomology operations for a given theory look like.

  6. Infinite Loop Spaces. When a space has the structure of a group we get extra structure on its homology groups, namely a product structure (called the Pontryagin product). In fact, we only need a weak notion of group: an 'H-space' will do, i.e. a group up to homotopy. The more we ask of this multiplication, the more structure we get on the product (I won't get into how this is done, but it's pretty neat). It turns out we get homology operations if our space is associative 'up to coherent homotopy.' You might ask what this means, and it turns out that it's equivalent to being the loopspace of some other space. Being associative and commutative 'up to coherent homotopy' buys you something more: you're an infinite loop space! That is, given such a space $X$, there is a sequence of spaces $\{X_n\}$ such that $X \cong \Omega^nX_n$, in a compatible way. In formulating what you might mean by 'a map which respects all the multiplication, up to coherent homotopy' you'll probably just write down what it means to have a map between spectra. So studying infinite loop spaces, and constructing operations on them, etc. involves a lot of studying spectra.

  7. Spanier-Whitehead Duality (This is one of the motivations given in Adams' book, which you should read... modulo the part on smash products.) Given a finite $CW$-complex, $X$, I can embed it into a large sphere $S^n$ in a nice way so that the complement deformation retracts onto a finite $CW$-complex, $Y$. This is called the 'Spanier-Whitehead dual' of $X$. The thing is, $Y$ is not determined up to homotopy by $X$. However, the stable homotopy type of $Y$ is determined by $X$, independent of the choice of embedding or sphere (this basically follows from Alexander duality). So if we want to make arguments exploiting duality, it's best to work in the stable category.

  8. Kan-Priddy Map This might not be so useful now, but eventually you'll read the general definition of a map of CW-spectra in the stable category. It's confusing and the word 'cofinal' is used, and people tell you 'cells now- maps later!' and all that jazz. Here's an example I learned from Paul Goerss justifying why one might want to define maps in this crazy way. There is a map in the stable category called the 'Kan-Priddy map', defined as follows. We have a map $\mathbb{R}P^{n-1}_+ \rightarrow O(n)$ given by sending a line to the reflection it defines. We also have a map $O(n) \rightarrow \Omega^nS^n$ given by sending each map to the corresponding symmetry of the sphere, combining gives a map $\mathbb{R}P^{n-1}_+ \rightarrow \Omega^nS^n$, and hence a map $\Sigma^n\mathbb{R}P^{n-1}_+ \rightarrow S^n$ and putting these together for all $n$ and letting $n \rightarrow \infty$ we get a map of spectra $\Sigma^{\infty}\mathbb{R}P^{\infty}_+ \rightarrow S$. This map has the property that the obvious restriction on the source to $\Sigma^n \mathbb{R}P^{\infty}_+$ is nullhomotopic for every $n$, so the map is only defined stably.

The Stable Homotopy Category is Convenient

  1. Categorical Constructions This one is kinda silly but: being in an additive category is pretty nice. We can add maps, subtract them, finite wedges and products agree... We can think about things as if we're in an abelian category and apply that intuition, and it's really helpful! We can also construct cohomology theories that measure differences between things by taking fibers of maps. For example, there is a cohomology theory called $J$ which, morally, measures the difference between what the homotopy groups of spheres can see and what $K$-theory can see. When I want to construct spectral sequences (which I do), I can do so using really general categorical machinery that doesn't quite work at the level of spaces.

  2. Fiber and Cofiber sequences Agree There is a theorem of Blakers and Massey, sometimes called 'homotopy excision' which says: even though taking homotopy groups does not take cofiber sequences to long exact sequences, it does do so in a certain range depending on the connectivity of the cofiber sequence. In particular, if we keep suspending the cofiber sequences (in which case we're asking about stable homotopy groups) then this is the case. This turns out to be enormously useful (think about every time you make an argument in homology using the long exact sequence of a pair... you can now make that argument with stable homotopy groups, or any other nice spectrum, etc.)

  3. The Stable Category ties together Algebra and Topology Rings, chain complexes over any ring, or differential-graded ring, etc. all live inside the stable homotopy category (they appear as $HR$, Eilenberg-MacLane spectra, and modules over them). You can make constructions like Tor and Ext entirely within the stable category (these correspond to smash products and homotopy classes of maps), and you can generalize these to various ring-y types of spectra as well. The story of localizing a ring or inverting elements also carries over to cohomology theories, and is best played out inside the stable category- this allows one to do homotopy theory and study spaces 'one prime at a time,' which is technically very convenient (working modulo a prime is often much easier than proving things over the integers.)

Anyway, I've certainly left lots and lots out... but this should get you started.

tl;dr: The stable category was a really, really good idea, and we're glad we made it.

share|improve this answer
1  
Wow, this answer is so brilliant, I had to favorite the question so that I would find it, and come back to your answer, later. –  Olivier Bégassat Jun 10 '13 at 2:56
1  
This is beautiful. –  Piotr Pstrągowski Jun 11 '13 at 23:49
    
@Dylan: This is a great answer. In "1.Cobordism" I understand that it is possible to completely classify (topological?) manifolds into cobordism classes using stable homotopy groups. Assume the manifold is a sphere $S^n$ then, if I understand correctly, the stable homotopy groups are those $\pi_{n+k}(S^n)$ with $n >k +1$. What happens to the cobordism classes in the other dimensions? –  snailspace Jul 1 '13 at 7:47
    
@snailspace: The classification is for smooth manifolds (we need to use things like transversality, and normal bundles). I don't understand your question though. What do you mean by "assume the manifold is a sphere"? The classification goes {cobordism classes of k-dimensional manifolds} are in bijection with $\pi_{n+k}S^n$ for any $n$ with $n>k+1$. What do you mean by "cobordism classes in other dimensions"? –  Dylan Wilson Jul 1 '13 at 12:23
    
@DylanWilson Thank you for your comment. With the "assume the manifold is a sphere" I meant to ask what happens for the cobordism classes of spheres. By now I gather that the cobordism class of $S^n$ is isomorphic to the corresponding homotopy group. With "cobordism classes in other dimensions" I meant to ask if we know anything about cases $n \le k + 1$. –  snailspace Jul 8 '13 at 10:33

Many facets of homotopy theory arose from the work of J.H.C. Whitehead. Once it was realised that the classification up to homotopy type of say finite simplicial complexes was essentially a countable problem, the question of arose of trying various special cases, as a step to the general problem. The idea was to model such homotopy types by algebraic models. He and Mac Lane proved that connected pointed homotopy $2$-types (which they called $3$-types) were classified by crossed modules. Whitehead also managed to classify all simply connected $4$-dimensional complexes. He also looked to classify $A^n_2$-complexes, i.e. which were $n$-connected and of dimension $\leqslant n+2$, $n \geqslant 4$.

Further work on these problems has been done by Baues, and others.

So one kind of answer is that stable homotopy theory is one approximation to homotopy theory, is convenient for many reasons, as well explained by Dylan Wilson, but there are all sorts of other problems and techniques around, particularly those where the fundamental group plays an essential role.

share|improve this answer

Your Answer

 
discard

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.