Eilenberg–Mac Lane

Eilenberg–Mac Lane

Eilenberg–Mac Lane spaces are fundamental objects in algebraic topology introduced by Samuel Eilenberg and Saunders Mac Lane; they provide canonical examples of spaces with prescribed homotopy concentrated in a single degree and play a central role in the classification of cohomology theories and the study of homotopy types. These spaces connect constructions and invariants associated with Henri Poincaré, Emmy Noether, Henri Cartan, and Norman Steenrod, and they serve as targets for classifying maps arising in the work of John Milnor, Raoul Bott, Jean-Pierre Serre, and Leray.

Definition and basic properties

An Eilenberg–Mac Lane space K(G,n) is a connected CW complex whose only nontrivial homotopy group is the nth homotopy group, which is isomorphic to a prescribed group G; this definition was formalized by Samuel Eilenberg and Saunders Mac Lane and further developed by J. H. C. Whitehead and Hatcher. For n = 1 the spaces K(G,1) coincide with classifying spaces of discrete groups and relate to constructions appearing in work by Henri Cartan, Norbert Wiener, and Alfred Tarski. Key properties include uniqueness up to homotopy equivalence (constructed using obstruction theory of Steenrod and Serre), naturality with respect to group homomorphisms explored by Emmy Noether style methods, and connections to Lyndon and Schur cohomology for low-dimensional cases. When G is abelian and n ≥ 2, K(G,n) admits an H-space or infinite loop space structure appearing in the theories of Daniel Quillen and G. W. Whitehead.

Construction and models

Classical constructions of K(G,n) use CW complexes via Postnikov towers developed by Postnikov and used by Jean-Pierre Serre, with cells attached according to obstruction cocycles computed by techniques from Norman Steenrod and Edwin Spanier. Simplicial models arise from simplicial sets and Kan complexes studied by Daniel Kan, and combinatorial presentations connect to the bar construction of Samuel Eilenberg and John Moore and to the nerve construction associated to Grothendieck and Eilenberg–Mac Lane algebraic approaches. For G discrete and n = 1 one uses classifying spaces B G built from nerves of groupoids as in the work of Alexander Grothendieck and Jean Bénabou; for G abelian and n ≥ 2 one often uses Moore spaces and iterated suspension procedures examined by E. H. Brown Jr. and Haynes Miller. Model category formulations due to Quillen provide homotopical models in categories of simplicial sheaves developed further by Vladimir Voevodsky and Jacob Lurie.

Homotopy and cohomology applications

Eilenberg–Mac Lane spaces represent singular cohomology: for any CW complex X and abelian group A there is a natural bijection [X, K(A,n)] ≅ H^n(X; A), a representability result that echoes representable functors in Alexandre Grothendieck-inspired frameworks and foundational work by Henri Cartan and Norman Steenrod. This representability underpins spectral sequence computations such as the Serre spectral sequence used by Jean-Pierre Serre and Jean Leray and links to the Adams spectral sequence developed by Frank Adams and J. F. Adams for stable homotopy groups. Cohomology operations, including Steenrod operations constructed by Norman Steenrod and higher operations studied by G. W. Whitehead and James Stasheff, act naturally on cohomology classes interpreted via maps to K(A,n). Classifying spaces K(G,1) classify principal G-bundles in the sense codified by Ehresmann and Gelfand, and obstruction theory for lifting and extension problems, pioneered by Steenrod and J. H. C. Whitehead, is expressed using mapping spaces into Eilenberg–Mac Lane spaces.

Category-theoretic perspective

From a category-theoretic viewpoint K(G,n) are core examples of representable objects in the homotopy category Ho(Top) and in derived categories considered by Alexander Grothendieck and Jean-Louis Verdier. The Yoneda lemma-style representability of cohomology by K(A,n) bridges to derived functor cohomology as developed by Samuel Eilenberg and Hermann Cartan; Quillen model categories and higher category theory of Jacob Lurie and André Joyal provide modern frameworks in which Eilenberg–Mac Lane spaces appear as fibrant-cofibrant replacements and as E∞-algebra spectra in the stable homotopy category of Boardman and Steinberger. Monoidal and operadic structures studied by May and Gerstenhaber relate K(G,n) to infinite loop space machines of May and to spectra constructed by J. P. May and P. S. Landweber.

Historical context and impact

Introduced in the 1940s by Samuel Eilenberg and Saunders Mac Lane, these spaces arose from efforts to systematize cohomology theories alongside contemporaneous work by Henri Cartan, Norman Steenrod, and Jean-Pierre Serre. Eilenberg–Mac Lane spaces catalyzed development of obstruction theory, Postnikov systems, and classifying space theory influencing mathematicians such as J. H. C. Whitehead, Daniel Quillen, Frank Adams, and Jean-Pierre Serre. Their influence extends to modern homotopical and categorical algebra through the efforts of Alexander Grothendieck, Jacob Lurie, Vladimir Voevodsky, and Daniel Kan, shaping contemporary fields including stable homotopy theory, algebraic K-theory of Quillen, and motivic homotopy theory of Morel and Voevodsky.

Category:Algebraic topology