Eilenberg–MacLane spaces

Eilenberg–MacLane spaces
Name	Eilenberg–MacLane spaces
Type	Topological space
Introduced	1940s
Creators	Samuel Eilenberg; Saunders MacLane

Eilenberg–MacLane spaces are topological spaces characterized by having a single nontrivial homotopy group concentrated in one degree, introduced by Samuel Eilenberg and Saunders MacLane in the mid-20th century and used extensively in algebraic topology, homological algebra, and category theory. These spaces provide canonical models for representing cohomology classes and link to the work of Hermann Weyl, Henri Cartan, Norman Steenrod, Jean-Pierre Serre, and John Milnor through constructions that connect homotopy theory, homology theories, and category-theoretic foundations. Their role as building blocks appears in the theories developed at institutions such as Institute for Advanced Study, Princeton University, École Normale Supérieure, and University of Chicago and has influenced later developments by Daniel Quillen and G. W. Whitehead.

Definition and basic properties

An Eilenberg–MacLane space K(G,n) is a pointed CW complex with π_n ≅ G a specified group or abelian group and π_i = 0 for i ≠ n; the existence and uniqueness up to homotopy type were established by Samuel Eilenberg and Saunders MacLane using methods related to J. H. C. Whitehead and Hurewicz theory. For n ≥ 2 the group G must be abelian by the results of Henri Cartan and Jean-Pierre Serre, and the spaces satisfy representability properties in the sense of Brown representability theorem and were used by Norman Steenrod in axiomatizing cohomology operations. Fundamental naturality and functoriality connect K(G,n) to constructions by Emil Artin and Steenrod algebra considerations appearing in the work of J. P. May and G. E. Bredon.

Constructions and models

Classical constructions of K(G,n) include explicit CW complex inductive attachments following techniques of J. H. C. Whitehead and cell attachment methods influenced by Henri Poincaré and L. E. J. Brouwer. Simplicial models arise via the Dold–Kan correspondence and nerve constructions related to Alexander Grothendieck and Henri Cartan, while cosimplicial and differential graded algebra models were developed in the contexts of Daniel Quillen's homotopical algebra and Dennis Sullivan's rational homotopy theory. Other models include simplicial sets from the work of Simpson and the bar construction associated with May, and categorical approaches use classifying objects from Alexander Grothendieck's topos theory and the model category framework of Quillen.

Homotopy and cohomology applications

Eilenberg–MacLane spaces represent singular cohomology functors H^n(–;G) by the Yoneda-type correspondence used by Samuel Eilenberg and Saunders MacLane, enabling the definition and analysis of cohomology operations such as those in the Steenrod algebra developed by Norman Steenrod and collaborators. Spectral sequence computations using the Serre spectral sequence from Jean-Pierre Serre and the Adams spectral sequence influenced by Frank Adams exploit K(G,n) as targets or fibers, while Postnikov tower decompositions introduced by M. M. Postnikov and refined by J. H. C. Whitehead express general spaces in terms of successive K(G,n) stages. The use of Eilenberg–MacLane spaces in obstruction theory connects to work by Edward C. Zeeman and Henry Whitehead on extension and lifting problems.

Classifying spaces and fibrations

K(G,1) spaces coincide with classical notions of classifying spaces for discrete groups and relate to constructions by Emil Artin and G. W. Whitehead; these connections underpin the theory of principal bundles developed by Hermann Weyl and Shiing-Shen Chern and are central in the study of fiber bundles with structure groups studied by Norman Steenrod. Fibration sequences with fibers or bases K(G,n) appear in the analysis of mapping spaces by J. P. May and in work on group cohomology by Jean-Pierre Serre and J. L. Loday, while applications to characteristic classes involve perspectives from Shiing-Shen Chern and Raoul Bott.

Examples and computations

Classical examples include K(ℤ,1) ≃ S^1 studied by Henri Poincaré and W. H. Young, K(ℤ,n) for n ≥ 2 realized by infinite-dimensional complex projective spaces and Eilenberg–MacLane constructions appearing in the literature of Leray and Hurewicz. Computations of homotopy groups of spheres and relationships to K(G,n) were central in the programs of Jean-Pierre Serre and J. H. C. Whitehead; calculations using the Hurewicz theorem and universal coefficient theorems relate homology and cohomology groups via work by Samuel Eilenberg and Norman Steenrod. Explicit cohomology rings H^*(K(G,n);R) with coefficients R were computed in foundational papers by Steenrod and later by J. P. May and Frank Adams using spectral sequences.

Generalizations and related concepts

Generalizations include spectra in stable homotopy theory initiated by Frank Adams and formalized by J. P. May and Daniel Quillen, where Eilenberg–MacLane spectra give rise to ordinary cohomology theories associated to Samuel Eilenberg and Saunders MacLane; higher-categorical analogues appear in the theory of higher toposes developed by Jacob Lurie and Alexander Grothendieck. Related concepts encompass Postnikov systems from M. M. Postnikov, localization and completion techniques due to Dennis Sullivan and G. W. Whitehead, and connections to derived algebraic geometry as advanced by Jacob Lurie and Bertrand Toën.

Category:Algebraic topology