homotopy group — LLMpedia

homotopy group
Name	Homotopy group
Field	Algebraic topology
Introduced	1930s
Notable people	Henri Poincaré;Hassler Whitney;André Weil;Emil Artin;Jean Leray

Contents

homotopy group

Homotopy groups are algebraic invariants assigning groups to topological spaces to classify continuous maps up to homotopy, introduced in the early 20th century by figures such as Henri Poincaré, Heinz Hopf, Solomon Lefschetz and developed further by Alfred H. Wallace and Samuel Eilenberg. They extend the ideas behind the Poincaré conjecture and the Brouwer fixed-point theorem and play central roles in the work of Karol Borsuk, Jean Leray, and later contributors like Michael Atiyah, Daniel Quillen, Jean-Pierre Serre, and John Milnor.

Definition and basic properties

A homotopy group is defined for a pointed space using maps from spheres; classical contributors include Henri Poincaré, Pieter J. Zeeman, Lev Pontryagin, Andrey N. Kolmogorov, and Norman E. Steenrod. The first nontrivial example is the fundamental group defined by loops; higher groups use spheres studied by Leonhard Euler in early topology and formalized by J. H. C. Whitehead. Basic properties such as functoriality were emphasized by Samuel Eilenberg and Norman Steenrod, while exact sequences and long exact sequences were deployed by Jean Leray, Jean-Pierre Serre, and Henri Cartan. Key notions like abelianity in dimensions greater than one are linked to results of Poincaré, Emil Artin, and Hassler Whitney.

The fundamental group was the focus of Henri Poincaré's original investigations and was pivotal in the work of William Thurston and Alexander Grothendieck on geometric structures and moduli, while higher homotopy groups were systematized by J. H. C. Whitehead and Raoul Bott. Interactions with the Seifert–van Kampen theorem credited to Hassler Whitney and Isadore M. Singer clarified calculations for knot theory developments by Vladimir I. Arnold and John H. Conway. The higher groups are inherently abelian as shown in work connected to Eilenberg–Mac Lane space constructions by Samuel Eilenberg and Saunders Mac Lane, while nonabelian phenomena in low dimensions influenced research by William Thurston, Michael H. Freedman, and Simon K. Donaldson.

Calculations of homotopy groups of spheres were advanced by Henri Poincaré, Lev Pontryagin, Jean-Pierre Serre, Raoul Bott, and J. F. Adams, and remain central in the work of J. P. May, Douglas C. Ravenel, and George W. Whitehead. Stable homotopy theory, pivotal for the Adams spectral sequence by J. F. Adams and the Brown–Peterson cohomology by E. H. Brown and Frank Peterson, connects to the Bott periodicity theorem by Raoul Bott and to chromatic homotopy theory developed by D. C. Ravenel and Jacob Lurie. Landmark results like the solution of the Hopf invariant one problem by J. F. Adams intersected with insights from Michael Atiyah and Isadore Singer.

Computational tools owe much to the Serre spectral sequence of Jean-Pierre Serre, the Adams spectral sequence of J. F. Adams, and methods introduced by F. R. Cohen and G. Gaudens. Homotopical algebra via Quillen model category theory by Daniel Quillen and higher category frameworks by Jacob Lurie provide machinery used alongside the Hurewicz theorem attributed to W. Hurewicz and techniques from Stable homotopy groups investigations by Douglas Ravenel and Haynes Miller. Computational advances also draw on ideas from Category theory pioneers such as Saunders Mac Lane and Alexander Grothendieck and algorithmic implementations influenced by Donald E. Knuth and John Conway.

Relations between homotopy groups and homology are embodied in the Hurewicz theorem of W. Hurewicz and in spectral sequence techniques developed by Jean Leray and Jean-Pierre Serre. Cohomology operations like the Steenrod algebra by Norman Steenrod and Eduard Čech's work link to obstruction theory from Solomon Lefschetz and Leray–Serre spectral sequence applications studied by Jean Leray. Connections to K-theory were explored by Michael Atiyah and F. Hirzebruch, while dualities involving Poincaré duality trace back to Henri Poincaré and influenced the research of William Browder and Dennis P. Sullivan.

Homotopy groups underpin classification problems in manifolds studied by Michael Freedman, Simon Donaldson, and William Thurston, and inform invariants in knot theory pursued by Vaughan F. R. Jones and Louis H. Kauffman. They appear in obstruction problems addressed by Jean Leray, algebraic geometry contexts touched by Alexander Grothendieck, and mathematical physics developments involving Edward Witten and G. Segal. Explicit examples include computations for spheres driven by Jean-Pierre Serre, for Lie groups explored by Élie Cartan and Hermann Weyl, and for CW complexes central to work by J. H. C. Whitehead and George W. Whitehead.