Eilenberg–MacLane spectrum

Eilenberg–MacLane spectrum
Name	Eilenberg–MacLane spectrum
Type	Spectrum
Field	Algebraic topology
Introduced	1950s
Founders	Samuel Eilenberg; Saunders Mac Lane

Eilenberg–MacLane spectrum The Eilenberg–MacLane spectrum is a fundamental object in algebraic topology associated to an abelian group and used to represent ordinary homology and cohomology theories. It arises from a sequence of spaces constructed by Samuel Eilenberg and Saunders Mac Lane and plays a central role in stable homotopy theory, category theory, and homological algebra. The construction links methods developed by Henri Poincaré, Jean Leray, and Alexander Grothendieck to later formalisms by Michael Atiyah and Daniel Quillen.

Definition and construction

An Eilenberg–MacLane spectrum is formed by assembling a family of Eilenberg–MacLane spaces K(A,n) for an abelian group A and integers n, together with structure maps that implement suspension isomorphisms used in the formulation of spectra by J. Peter May and Glenn B. Segal. The original approach of Samuel Eilenberg and Saunders Mac Lane introduced K(A,n) in parallel with work of Henri Cartan and Jean-Pierre Serre on homological methods; later categorical refinements involving Grothendieck topologies and Alexander Grothendieck's derived functors were integrated into model category presentations by Quillen. Constructions of the spectrum use symmetric spectra of Jeff Smith, orthogonal spectra developed with contributions by Michael Mandell, and Lewis–May–Steinberger frameworks; alternate formulations invoke Boardman’s naive spectra and Elmendorf–Kriz–Mandell–May symmetric monoidal categories. In practice the structure maps come from suspension functors studied by Daniel Kan and George W. Whitehead.

Homotopy and homology properties

The homotopy groups of an Eilenberg–MacLane spectrum recover the original abelian group A concentrated in a single degree, reflecting classical computations by Jean Leray and Henri Cartan that motivated the Serre spectral sequence and Hurewicz theorem. The homology and cohomology theories represented by the spectrum yield singular homology and cohomology with coefficients in A, connecting to computations by Henri Poincaré and J. H. C. Whitehead and to universal coefficient theorems formalized by E. H. Brown. Spectral sequence tools such as the Adams spectral sequence, the Serre spectral sequence, and the Cartan–Eilenberg spectral sequence are employed to compute derived functors and Ext and Tor groups arising in the homotopy category developed by Boardman and Frank Adams. Multiplicative structures relate to Steenrod operations introduced by Norman Steenrod and to the work of John Milnor on Hopf algebras.

Relationship with Eilenberg–MacLane spaces

Each level of the spectrum is an Eilenberg–MacLane space K(A,n) first described by Samuel Eilenberg and Saunders Mac Lane and later employed in the work of J. H. C. Whitehead and Armand Borel. The passage from spaces to spectra formalizes suspension-stable phenomena studied by René Thom and Raoul Bott; classical constructions by Hassler Whitney and John Milnor illuminate embedding and bundle considerations that interact with K(A,n) when analyzing characteristic classes by Shiing-Shen Chern and William Fulton. The relationship is foundational to obstruction theory developed by Henri Cartan and to cohomology operations classified in the work of Jean-Pierre Serre and Stewart Priddy.

Role in stable homotopy theory and spectra

Eilenberg–MacLane spectra serve as primary examples and building blocks in the stable homotopy category formulated by Michael Boardman and clarified in model category language by Daniel Quillen. They provide E∞-ring and module structures investigated by J. P. May, Jacob Lurie, and Michael Hopkins, and they appear in multiplicative contexts studied by Douglas Ravenel and Mark Hovey. The spectra underpin comparisons among generalized cohomology theories such as complex K-theory by Atiyah and Hirzebruch, cobordism theories of René Thom and Vladimir Rokhlin, and extraordinary theories investigated by Frank Adams and Peter Landweber. They also intervene in chromatic homotopy theory shaped by Hopkins and Ravenel and in stable category constructions appearing in the work of John Rognes and Christian Ausoni.

Algebraic models and Dold–Kan correspondence

Algebraic descriptions of Eilenberg–MacLane spectra connect to chain complexes and the Dold–Kan correspondence formulated by Albrecht Dold and Daniel Kan; this correspondence links simplicial abelian groups used by André Weil and Jean Leray to connective chain complexes in homological algebra pioneered by Henri Cartan and Samuel Eilenberg. Model categorical equivalences due to Quillen and later enhancements by Schwede and Shipley identify module categories over Eilenberg–MacLane ring spectra with derived categories studied by Alexander Grothendieck and Jean-Louis Verdier, enabling comparisons with derived functors in the work of Cartan–Eilenberg and with the homotopical algebra developed by Hinich and Keller.

Applications in cohomology theories and generalized (co)homology

Eilenberg–MacLane spectra represent ordinary cohomology theories used in computations by Henri Poincaré, Jean-Pierre Serre, and Jean Leray and serve as coefficient spectra for generalized cohomology theories appearing in the work of Michael Atiyah, Friedrich Hirzebruch, and Daniel Quillen. They appear in duality theorems related to Poincaré duality and Alexander duality studied by Solomon Lefschetz and in index theory developed by Atiyah and Isadore Singer. In arithmetic and algebraic contexts they interface with motivic cohomology studied by Vladimir Voevodsky and Spencer Bloch and with étale cohomology introduced by Alexander Grothendieck and Jean-Pierre Serre, while categorical adaptations influence derived algebraic geometry as advanced by Jacob Lurie and Bertrand Toën.

Category:Algebraic topology