Eilenberg–MacLane space

Eilenberg–MacLane space Eilenberg–MacLane spaces are basic objects in algebraic topology that represent singular cohomology and homotopy groups, introduced by Samuel Eilenberg and Saunders Mac Lane. They serve as building blocks for Postnikov towers and classifying spaces used across topology and homological algebra, influencing work at institutions such as the Institute for Advanced Study and Princeton University. Constructions connect to simplicial sets, CW complexes, model categories, and sheaf theory employed in research at Harvard University, the University of Chicago, and ETH Zurich.

Definition and basic properties

An Eilenberg–MacLane space K(G,n) is a topological space with a single nontrivial homotopy group equal to a given group G in degree n, linking to figures like Henri Poincaré, Henri Cartan, and Alexander Grothendieck through foundational concepts such as homotopy groups and cohomology rings. The existence and uniqueness up to homotopy of K(G,n) relate to results by John Milnor and J. H. C. Whitehead and are essential in theorems by Jean-Pierre Serre and Michael Atiyah that compare homotopy invariants. Basic properties include homotopy classification theorems used in work at Cambridge University and Columbia University and interactions with spectral sequences developed by Jean Leray and Jean-Louis Koszul. Functoriality of K(G,n) appears in contexts studied at Stanford University and Yale University in relation to exact sequences and fibration sequences known from work by Norman Steenrod and Edgar H. Brown.

Constructions and examples

Standard constructions of K(G,n) use CW complexes following methods of J. H. C. Whitehead and cell attachment techniques found in texts by Hatcher and Spanier; these constructions also reference simplicial methods due to Daniel Quillen and André Weil. Examples include K(Z,n) realized by spheres S^n for n=1 and n arbitrary with universal covering properties noted in research at MIT and Caltech, and K(Z/pZ,1) modelled by lens spaces studied by William Thurston and John Milnor. Simplicial construction via bar and cobar constructions connects to the work of Samuel Eilenberg, Jean-Pierre Serre, and Jean B. L. Caron, and to computational methods from the University of Edinburgh and the Max Planck Institute. Loop space relationships ΩK(G,n) ≃ K(G,n−1) reflect contributions by Graeme Segal and Daniel Sullivan and appear in studies at the Courant Institute and Institut des Hautes Études Scientifiques. Cellular and topological group constructions tie into research programs at Rutgers University and the University of California, Berkeley.

Homotopy and cohomology applications

Eilenberg–MacLane spaces represent cohomology: [X,K(G,n)] ≅ H^n(X;G), a fact central to work by Henri Cartan, Henri Poincaré, and Jean Leray and used in proofs by Michael Atiyah and Friedrich Hirzebruch. Cohomology operations, including Steenrod operations and the Steenrod algebra, are defined by maps between K(G,n) and K(G',m) with foundational input from Norman Steenrod and John Milnor and employed in research at Princeton and Oxford. Spectral sequence calculations, like the Serre spectral sequence and the Adams spectral sequence developed by J. F. Adams, use K(G,n) as E2-pages in computations relevant to results by Vladimir Voevodsky and Daniel Quillen. Cup product and Massey product structures are detected via maps into products of K(G,n) spaces, themes present in work at Brown University and the Institut Fourier.

Role in algebraic topology (classifying spaces and Postnikov towers)

K(G,n) are building blocks in Postnikov towers introduced by Mikhail Postnikov and used extensively by Jean-Pierre Serre and J. H. C. Whitehead to decompose spaces into principal fibrations, a methodology adopted at institutions like Columbia University and the University of Cambridge. As classifying spaces, K(G,1) generalize constructions of BG for discrete groups G studied by Kenneth Brown and John Milnor and appear in the theory of principal bundles investigated by Élie Cartan and René Thom. Postnikov invariants (k-invariants) live in cohomology groups H^{n+1}(K(π_n,n);π_{n+1}) and their calculation uses techniques from the Institute for Advanced Study and the Fields Institute. Relations to classifying stacks and moduli problems connect to ideas from Alexander Grothendieck and Pierre Deligne and influence modern topology at IHÉS and the Simons Foundation.

Generalizations and related concepts

Generalizations include E∞-algebras, spectra, and generalized cohomology theories pioneered by Daniel Quillen and J. F. Adams, with spectra represented by sequential deloopings of K(G,n) in work at the Max Planck Institute and the University of Bonn. Higher categorical extensions such as ∞-groupoids and higher stacks owe conceptual debt to Jacob Lurie and André Joyal and are applied in derived algebraic geometry advanced by Vladimir Drinfeld and Bertrand Toën. Related concepts include Brown representability, model categories by Quillen, and sheaf cohomology frameworks championed by Jean Giraud and Alexander Grothendieck, as used in research at IHÉS and the University of Paris. Connections to homological algebra, category theory, and stable homotopy theory reflect collaborations across institutions such as Princeton University, the Clay Mathematics Institute, and the Royal Society.

Category:Algebraic topology