Homology is computable because it is stable under suspension - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T16:13:21Z http://mathoverflow.net/feeds/question/41369 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/41369/homology-is-computable-because-it-is-stable-under-suspension Homology is computable because it is stable under suspension Beren Sanders 2010-10-07T05:24:15Z 2010-10-10T05:33:11Z <p>I've heard it said that the reason why the homology groups of a space are a <em>computable</em> invariant is because they are a <em>stable invariant</em> in the sense that they are stable under suspension.</p> <p>I'm familiar with the standard computation which shows that for reduced homology ${\tilde H_n}(S X)\simeq {\tilde H_{n-1}}(X)$ for all $n$, where $S X$ denotes the suspension of a topological space $X$; just let $A$ be $S X$ with the top vertex removed and $B$ be $S X$ with the bottom vertex removed, and apply Mayer-Vietoris, noting that $A$ and $B$ are contractible, and that $A \cap B$ is homotopy equivalent to $X$.</p> <p>Is this computation the sense in which my first sentence should be understood? That it enables us to compute the homology of certain spaces (such as spheres) which are built out of each other by suspension, by some kind of inductive argument? But other than the obvious example of spheres, are there many other examples of spaces whose homology can be computed by taking suspensions in this way? Are there other reasons why this "stability" of homology groups under suspension makes it much more computable than other invariants?</p> http://mathoverflow.net/questions/41369/homology-is-computable-because-it-is-stable-under-suspension/41382#41382 Answer by Lennart Meier for Homology is computable because it is stable under suspension Lennart Meier 2010-10-07T08:37:17Z 2010-10-07T08:37:17Z <p>Stability alone surely does not give you much. It gives you just the values on the spheres if you have the value on $S^0$. But many interesting spaces (eg all smooth manifolds) are CW-complexes and can be built out of spheres. And if you have a way to handle cofiber sequence $X\to Y \to CX\cup_X Y$ with your theory, you have some hope to compute something. In essence, you have then (togehter with homotopy invariance) exactly the notion of a reduced homology theory. And homology theories are comparatively computable.</p> <p>But as said already in the comments above, that might be deceptive. Because</p> <p>1) you need to know the value on $S^0$. This is, of course, the case in singular homology, but in a general theory stable under suspension it is far from true. Eg the stable homotopy groups of spheres are unknown in general (but far better known than the unstable ones). </p> <p>2) not every space has a CW-structure and even if it has one, you need not know it. For example, you can write down smooth manifolds by giving it as a zero-set of suitable polynomial equations. It might be quite hard to compute its homology then. </p> <p>3) even if you have a CW-structure and can compute singular homology of the space, you may not be able to compute other homology theories of it (even if you know their coefficients), although these are stable under suspension, of course, as well; you need to go to the Atiyah-Hirzebruch spectral sequence, which need not collapse. </p>