Eilenberg–MacLane

Eilenberg–MacLane

Eilenberg–MacLane spaces are central objects in algebraic topology introduced by Samuel Eilenberg and Saunders Mac Lane in work related to the Eilenberg–Steenrod axioms and the development of homological algebra; they provide spaces with a single nontrivial homotopy group and serve as building blocks for many constructions used by Norman Steenrod, Henri Cartan, Jean-Pierre Serre, and J. H. C. Whitehead. These spaces link the theories of homotopy groups studied by Hassler Whitney and René Thom to cohomology operations analyzed by Adams spectral sequence developers such as J. F. Adams and to categorical formulations advanced by Alexander Grothendieck and Peter Freyd. Their role appears across work by Emil Artin, André Weil, Maryam Mirzakhani (contextual influence in topology), John Milnor, and Michael Atiyah in connections to K-theory and characteristic classes used by Raoul Bott.

Definition and basic properties

A Eilenberg–MacLane space K(G,n) is defined for a given group or abelian group G and integer n≥1 as a topological space whose only nontrivial homotopy group is π_n ≅ G; this notion was formalized in correspondence with axioms from Samuel Eilenberg and Norman Steenrod and the representability theorems employed by Michael Atiyah and Isadore Singer. Basic properties include uniqueness up to homotopy equivalence found in classification results of J. H. C. Whitehead and existence proofs related to simplicial methods used by Jean Leray, Henri Cartan, and Emil Artin. They satisfy representability: cohomology groups H^n(X;G) are in natural bijection with homotopy classes [X,K(G,n)], a principle used in work by J. F. Adams, Serre, Grothendieck, and Spanier. Standard constructions respect product and loop-space relationships found in analyses by Hurewicz, E. H. Brown, Daniel Quillen, and F. Hirzebruch.

Construction and examples

Classical constructions of K(G,n) appear via CW complexes built using attaching maps studied by J. H. C. Whitehead and cellular homology techniques of W. K. B. Hale; simplicial models arise from the Dold–Kan correspondence developed by Albrecht Dold and Daniel Kan and used by Henri Cartan and André Weil. For G = Z and n = 1, the space K(Z,1) is homotopy equivalent to the circle S^1 explored by Henri Poincaré and L. E. J. Brouwer; for G = Z and n = 2, K(Z,2) is the infinite-dimensional complex projective space CP^∞ central to work by Raoul Bott and Michael Atiyah. Discrete groups yield classifying spaces BG for principal bundles analyzed by Shiing-Shen Chern and Raoul Bott, linking to the study of Stiefel–Whitney classes by W. S. Massey and characteristic classes used by Chern–Weil theory proponents such as Élie Cartan. Simplicial sets producing K(G,n) feature in the research of Daniel Quillen, Spencer Bloch, and George Whitehead.

Homotopy and cohomology applications

Eilenberg–MacLane spaces underpin spectral sequence computations like the Serre spectral sequence developed by Jean-Pierre Serre and later used by J. F. Adams in the Adams spectral sequence; they provide targets for cohomology operations first codified by Norman Steenrod and Steenrod algebra investigations by Frank Adams and J. P. May. The representability [X,K(G,n)] ≅ H^n(X;G) allows transfer of homotopy-theoretic problems to cohomological algebra studied by Alexandre Grothendieck and Jean-Louis Verdier; this correspondence is central to obstruction theory introduced by Karol Borsuk and refined by Georg F. R. Klein and J. H. C. Whitehead. Calculations of homotopy groups of spheres by J. F. Adams, Jean-Pierre Serre, and Frederick Cohen frequently reduce to mappings into K(G,n), and relations to stable homotopy groups link to work by Douglas Ravenel and Vladimir Voevodsky.

Category-theoretic perspectives

From a categorical viewpoint K(G,n) appear as representing objects in homotopy categories considered by Grothendieck in the context of model categories and by Daniel Quillen who formalized homotopical algebra; model structures for simplicial sets used by Quillen, Vladimir Voevodsky, and Jacob Lurie produce convenient frameworks for their study. Derived functor and cohomological interpretations involve concepts from Alexander Grothendieck and Jean-Louis Verdier and appear in the language of higher category theory developed by Carlos Simpson and Jacob Lurie. The use of Eilenberg–MacLane objects in ∞-categories links to work by Maxim Kontsevich, Edward Witten, and Michael Hopkins where such objects represent generalized cohomology theories studied by J. F. Adams and Michael Atiyah.

Generalizations and variants

Generalizations include nonabelian versions for n=1 giving classifying spaces BG studied by Emmy Noether-era algebraists and topologists like Saunders Mac Lane and John Milnor; Postnikov towers decomposing spaces into fibrations with fibers K(π,n) were developed by Mikhail Postnikov and applied by Jean-Pierre Serre and J. H. C. Whitehead. Simplicial groups, E-infinity ring spectra, and spectrum-level analogues occur in the work of G. W. Whitehead, Frank Adams, Graeme Segal, and J. P. May; motivic analogues of Eilenberg–MacLane spectra were constructed by Vladimir Voevodsky and Fabien Morel in the study of motivic cohomology and the Bloch–Kato conjecture addressed by Voevodsky, Rost, and Suslin. Higher categorical and derived enhancements influence ongoing research by Jacob Lurie, Dmitry Tamarkin, Bertrand Toën, and Gabriele Vezzosi.

Category:Algebraic topology