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.
more »
« less
Stable homotopy groups of spheres and motivic homotopy theory
We consider the problem of computing the stable homotopy groups of spheres, including applications and history. We describe a new technique that yields streamlined computations through dimension 61 and gives new computations through dimension 90 with very few exceptions. We discuss questions and conjectures for further study, including a new approach to the computation of motivic stable homotopy groups over arbitrary base fields. We provide complete charts for the Adams spectral sequence through dimension 90.
more »
« less
- Award ID(s):
- 2105462
- PAR ID:
- 10538996
- Editor(s):
- Beliaev, Dmitry; Smirnov, Stanislav
- Publisher / Repository:
- European Mathematical Society Press
- Date Published:
- ISBN:
- 978-3-98547-562-9
- Format(s):
- Medium: X
- Location:
- International Congress of Mathematicians
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Using techniques in motivic homotopy theory, especially the theorem of Gheorghe, the second and the third author on the isomorphism between motivic Adams spectral sequence for $$C\tau $$ C τ and the algebraic Novikov spectral sequence for $$BP_{*}$$ B P ∗ , we compute the classical and motivic stable homotopy groups of spheres from dimension 0 to 90, except for some carefully enumerated uncertainties.more » « less
-
null (Ed.)We introduce a computationally tractable way to describe the $$\mathbb Z$$-homotopy fixed points of a $$C_{n}$$-spectrum $$E$$, producing a genuine $$C_{n}$$ spectrum $$E^{hn\mathbb Z}$$ whose fixed and homotopy fixed points agree and are the $$\mathbb Z$$-homotopy fixed points of $$E$$. These form the bottom piece of a contravariant functor from the divisor poset of $$n$$ to genuine $$C_{n}$$-spectra, and when $$E$$ is an $$N_{\infty}$$-ring spectrum, this functor lifts to a functor of $$N_{\infty}$$-ring spectra. For spectra like the Real Johnson--Wilson theories or the norms of Real bordism, the slice spectral sequence provides a way to easily compute the $RO(G)$-graded homotopy groups of the spectrum $$E^{hn\mathbb Z}$$, giving the homotopy groups of the $$\mathbb Z$$-homotopy fixed points. For the more general spectra in the contravariant functor, the slice spectral sequences interpolate between the one for the norm of Real bordism and the especially simple $$\mathbb Z$$-homotopy fixed point case, giving us a family of new tools to simplify slice computations.more » « less
An official website of the United States government

