[Math] What are the best known results for the stable homotopy groups of spheres

at.algebraic-topologyhomotopy-theorystable-homotopy

There are a number of proposed ways to compute the stable homotopy groups of spheres. One can rather peculiarly consider stable (co)homotopy of an Eilenberg Maclane spectrum as a generalised (co)homology theory and use the Atiyah–Hirzebruch spectral sequence (in the same way one sometimes uses the Serre spectral sequence knowing information about the $E_{\infty}$ page to deduce it about the $E_{2}$ page). Another approach is to use the Adams spectral sequence. Here one plays off the rigidity of the cohomology of generalised Eilenberg Maclane spectra against this failing in general. This leads to a spectral sequence which converges to the p-part (where $p$ refers to taking cohomology in $\mathbb{Z}/p\mathbb{Z}$) of the stable homotopy group of spheres. A variant is to do this with some (nice enough I guess) generalised cohomology theory which leads to the Adams–Novikov spectral sequence. I think there are probably quite a few other methods which are used to calculate these. My questions are:

  1. What are the best results on this? I see here it says that the best known result as of 2007 was up to the 64th stem.

  2. Which method gives the best known results?

  3. What stops us here? Do we simply not yet know the differentials around 64 in the Adams spectral sequence?

Best Answer

Computing $\pi_\ast(S)$ is a tedious business that to this day can only be done "by hand", i.e. by humans. The $p=2$ computation up to dimension 64 was completed by Kochman (see his SLNM book) with later corrections by Kochman/Mahowald. This was mainly (but not exclusively) based on the Atiyah-Hirzebruch spectral sequence $$H_\ast(BP,\pi_\ast(S)) => \pi_\ast(BP).$$

The available approximations to $\pi_\ast(S)$ try to decompose the problem into two steps:

  1. computation of the approximation, e.g. the $E_2$ term of a spectral sequence.

  2. computation of the differentials.

It's probably not suprising that step 2 requires human intervention; but often even the first step is a difficult computational challenge: for example, nobody seems to know how to compute the $E_2$-term of the Novikov spectral sequence efficiently.

Since this $E_2$-term is the cohomology of the moduli stack of one-dimensional formal groups, this problem should appeal to number theorists as well. And although number theory has a strong computational branch it seems that not much has been done here.