Stable homotopy groups of spheres

Abstract

We discuss the current state of knowledge of stable homotopy groups of spheres. We describe a computational method using motivic homotopy theory, viewed as a deformation of classical homotopy theory. This yields a streamlined computation of the first 61 stable homotopy groups and gives information about the stable homotopy groups in dimensions 62 through 90. As an application, we determine the groups of homotopy spheres that classify smooth structures on spheres through dimension 90, except for dimension 4. The method relies more heavily on machine computations than previous methods and is therefore less prone to error. The main mathematical tool is the Adams spectral sequence.