Stable homotopy groups of spheres

Stable homotopy groups of spheres
Salix alba · CC BY-SA 3.0 · source
Name	Stable homotopy groups of spheres
Field	Algebraic topology
Introduced	20th century
Notation	π_n^S
Related	Homotopy groups, Cobordism, Spectra

Contents

Stable homotopy groups of spheres The stable homotopy groups of spheres are the groups π_n^S capturing stable homotopy classes of maps between spheres after suspension; they form central invariants in modern algebraic topology and influence work in Princeton University, University of Chicago, Harvard University, University of Cambridge, and École Normale Supérieure. They connect deep results of Élie Cartan, James Clerk Maxwell (historical physics motivating topology), Henri Poincaré, Jean-Pierre Serre, René Thom, and John Milnor with computational frameworks developed at Institute for Advanced Study, Brown University, Massachusetts Institute of Technology, and University of California, Berkeley.

Introduction

The subject studies the groups π_n^S = lim_{k→∞} π_{n+k}(S^k) and their role in classifying stable maps between spheres in contexts such as Princeton University seminars by Hassler Whitney and programs at National Science Foundation-funded institutes. Important foundational contributors include Henri Poincaré, Solomon Lefschetz, Hassler Whitney, René Thom, and Jean-Pierre Serre, while later structural understanding draws on methods from Alexander Grothendieck-inspired homological algebra and perspectives associated with Michael Atiyah, Raoul Bott, Beno Eckmann, and researchers at Institut des Hautes Études Scientifiques. Related constructs include the stable homotopy category developed by Daniel Quillen and formalized by J. P. May and G. W. Whitehead.

Early work by Henri Poincaré and Solomon Lefschetz initiated homotopy theory, refined by results of Hassler Whitney and L. E. J. Brouwer; the stable viewpoint emerged through the influence of René Thom and Jean-Pierre Serre in the mid-20th century. Breakthroughs by Frank Adams using the Adams spectral sequence connected computations to the Steenrod algebra and spurred projects at University of Cambridge and Imperial College London. Subsequent developments by J. F. Adams, Douglas C. Ravenel, Mark Mahowald, Michael J. Hopkins, Haynes Miller, and Isadore M. Singer advanced chromatic approaches and localizations promoted at Institute for Advanced Study and Mathematical Sciences Research Institute.

Computational approaches rely on the Adams spectral sequence, the Adams–Novikov spectral sequence, and chromatic homotopy theory championed by Douglas C. Ravenel and Michael J. Hopkins. Tools include the Steenrod algebra, formal group laws inspired by John Honda and Michel Lazard, the Brown–Peterson cohomology developed in work connected to Edgar H. Brown, Jr., and machinery from Morava K-theory introduced by Jack Morava. Foundational categorical frameworks come from the stable homotopy category formalized by J. P. May and G. W. Whitehead, while computational platforms and collaborations at Lawrence Berkeley National Laboratory and Max Planck Institute for Mathematics assist large-scale charting projects.

Low-dimensional stable homotopy groups have been computed by chains of work involving Frank Adams, J. F. Adams, Mark Mahowald, Michael J. Hopkins, Haynes Miller, Douglas C. Ravenel, and teams at University of Chicago; classic charts list π_0^S ≅ Z, π_1^S ≅ Z/2Z (related to H. Hopf constructions), π_2^S ≅ Z/2Z, and other values up to moderate stems compiled in atlases curated by researchers at Mathematical Sciences Research Institute and Fields Institute. The image of the J-homomorphism computed by J. F. Adams links to work at Institute for Advanced Study and to the representation theory contexts studied at Princeton University. Large-scale tables use the Adams–Novikov spectral sequence contributions from Novikov and chromatic layers labeled by Morava stabilizer group data studied in groups at Max Planck Institute for Mathematics.

The algebraic structure organizes π_*^S via chromatic filtration and vn-periodicity results formulated by Douglas C. Ravenel, with heights tied to formal groups in the program influenced by Alexander Grothendieck and Michel Lazard. Key invariants include the image of the J-homomorphism studied by J. F. Adams, the action of the Steenrod algebra analyzed by Norman Steenrod and John Milnor, and Ext-groups appearing in spectral sequences developed by Frank Adams and Serre. Important calculations use Brown–Peterson cohomology and Morava E-theory associated with Jack Morava and localization frameworks promoted by Michael J. Hopkins and Haynes Miller.

Stable homotopy groups inform classification problems in differential topology initiated by René Thom and expanded by John Milnor and Mikhail Gromov; they are relevant to cobordism theories developed at Princeton University and to index theory associated with Atiyah–Singer index theorem by Michael Atiyah and Isadore M. Singer. Connections reach into algebraic geometry through the motivic analogues pursued by groups at Institut des Hautes Études Scientifiques and Princeton University, and into mathematical physics via topological field theory considerations at Perimeter Institute and CERN collaborations involving researchers influenced by Edward Witten.

Major open questions include the full determination of π_n^S in arbitrary stems pursued by teams at Institute for Advanced Study and conjectures in chromatic homotopy theory formulated by Douglas C. Ravenel and refined by Michael J. Hopkins and Haynes Miller. The Telescope Conjecture, the Chromatic Splitting Conjecture, and precise behavior of vn-periodic families remain central; progress involves methods from work at Mathematical Sciences Research Institute and collaborative projects spanning Princeton University, Harvard University, and University of Chicago.