MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a connection between the existence of H-space structures on $S^1$, $S^3$ and $S^7$ and the fact that every (closed) 1-manifold, 3-manifold and oriented 7-manifold is a boundary, or is this a pure numerical coincidence? [It's possible that my question amounts to groundless mysticism, but I had to wonder.]

On a related note: is it known which (oriented or not) cobordism groups are zero?

share|cite|improve this question
Have you looked at ? – S. Carnahan Apr 16 '12 at 5:56
I'm not sure I see a coincidence here. Oriented $2$-manifolds are also boundaries. So it seems like you're being quite hopeful in your selection of data in order to get a relation. – Ryan Budney Apr 16 '12 at 6:16
up vote 13 down vote accepted

The cobordism groups can be calculated using the Adams spectral sequence, which is based on the homological algebra of modules over the Steenrod algebra. This works most nicely for the unoriented cobordism groups, which form a polynomial algebra over $\mathbb{Z}/2$ with one generator in each degree not of the form $2^j-1$. The powers of $2$ enter here as the degrees of the indecomposable generators $Sq^{2^j}$ in the Steenrod algebra.

The fact that $S^k$ can only have an H-space structure if $k$ has the form $2^j-1$ is also a straightforward consequence of the fact that the indecomposables in the Steenrod algebra occur in degrees $2^j$. The fact that only $k=0$, $k=1$, $k=3$ and $k=7$ can appear was originally proved by Adams using the Adams spectral sequence and deeper analysis of the Steenrod algebra. Thus, there are certainly some common themes between your two facts. It would not surprise me if you could establish a more direct connection, but I do not immediately see one.

share|cite|improve this answer

How about $n\ne 0,2,6$ instead of $n=1,3,7$? The Adams theorem on the vanishing of the stable Hopf invariant, which implies the non-existence of an H-structure on $S^n$ for $n\ne 1,3,7$, also implies the theorem of R. L. W. Brown and Liulevicius (and Mahowald) that if $M^n$ immerses in $\Bbb R^{n+1}$, then $M^n$ is a boundary or is cobordant to $\Bbb RP^0$, $\Bbb RP^2$ or $\Bbb RP^6$ (and these three do immerse in $\Bbb R^{n+1}$).

share|cite|improve this answer

Your Answer


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.