Stable homotopy groups of spheres and motivic homotopy theory (Q6200260)

The computation of stable homotopy groups of spheres is one of the most fundamental and important problems in topology. It has connections to many topics in topology, such as the cobordism theory of framed manifolds, the classification of smooth structures on spheres, obstruction theory, the theory of topological modular forms, algebraic \(K\)-theory, and equivariant homotopy theory. Despite their simple definition, which was available 80 years ago, the stable homotopy groups are notoriously hard to compute. All known methods only give a complete answer through a range, and then reach an obstacle that can only be surmounted by the introduction of a new method. This paper describes a new technique that yields streamlined computations through dimension 61 and gives new computations through dimension 90 with very few exceptions. The authors also discuss questions and conjectures for further study, including a new approach to the computation of motivic stable homotopy groups over arbitrary base fields. Finally, the authors have provided complete charts for the Adams spectral sequence through dimension 90. Reviewer's remark: The findings presented in the paper are highly non-trivial and prove to be invaluable for the study of stable homotopy groups of spheres as well as the classification of homotopy types between topological spaces. For the entire collection see [Zbl 07816358].