Eilenberg–Steenrod axioms

Eilenberg–Steenrod axioms
Name	Eilenberg–Steenrod axioms
Field	Algebraic topology
Introduced	1945
Authors	Samuel Eilenberg, Norman Steenrod

Eilenberg–Steenrod axioms are a set of axioms characterizing homology theories on pairs of topological spaces, formulated by Samuel Eilenberg and Norman Steenrod to formalize algebraic invariants used throughout Algebraic Topology, Homological Algebra, Category Theory, Point-Set Topology. They provide a unifying framework connecting classical constructions like Singular homology, Simplicial homology, Cellular homology and newer formulations tied to Spectral sequences, Stable homotopy theory, Cohomology operations.

Overview and Motivation

The axioms were motivated by efforts of Henri Poincaré, Ernst Hellinger, James Clerk Maxwell-era mathematics and the mid-20th century program of André Weil, Emmy Noether, and Oscar Zariski to axiomatize algebraic invariants, and were introduced in the context of collaborations among Eilenberg and Steenrod influenced by exchanges with John von Neumann, Hassler Whitney, and Leray. The aim was to capture essential properties shared by Betti numbers computed by Poincaré duality and invariants arising in work of Lefschetz, Alexander, and Hurewicz, enabling structural results like the Excision theorem and Mayer–Vietoris sequence to be derived abstractly and applied in settings ranging from Manifold theory to the study of CW complexs and Fiber bundles.

Formal Axioms

A homology theory in the Eilenberg–Steenrod sense assigns to each pair (X, A) of spaces sequences of abelian groups H_n(X, A) together with natural transformations subject to axioms: Homotopy invariance asserts equivalence for maps homotopic via ideas related to Homotopy theory, Freudenthal suspension theorem, Whitehead theorem; Excision permits replacement of subspaces akin to methods of Lefschetz fixed-point theorem and Alexander duality; the Exactness axiom yields long exact sequences of pairs similar to sequences used in Hurewicz theorem proofs and in Serre spectral sequence computations; the Dimension axiom fixes H_0 for a point and connects to classical computations by Euler and Betti. These axioms are stated in the language of Category Theory and compatible with constructions in Homological Algebra, Derived categorys, and link with structures studied by Samuel Eilenberg at institutions like Columbia University and Institute for Advanced Study.

Consequences and Basic Theorems

From the axioms flow fundamental results: uniqueness theorems show that any two theories satisfying the axioms and the Dimension axiom are naturally isomorphic on the category of pairs of CW complexes, paralleling classification results in K-theory by Atiyah and Hirzebruch. The axioms imply the Mayer–Vietoris sequence, enabling computations in decompositions used by Lefschetz and Thom; they yield Excision results central to proofs by Hurewicz and techniques in Cobordism by René Thom. Combined with duality theorems like Poincaré duality and tools such as Universal Coefficient Theorem and Künneth theorem, the axioms underpin computations in Singular homology and connect with invariants studied by Alexander, Reidemeister, and Milnor.

Examples and Homology Theories

Standard examples satisfying the axioms include Singular homology, Simplicial homology, Cellular homology, and homology theories constructed via chain complexes in Homological Algebra and Derived functor machinery inspired by Eilenberg and Mac Lane. Non-examples or variants arise when relaxing the Dimension axiom, leading to extraordinary theories such as K-theory developed by Michael Atiyah and Friedrich Hirzebruch, Cobordism theory of Thom, and generalized homology theories represented by spectra in the Stable homotopy category studied by J. F. Adams and Daniel Quillen. Spectral constructions connect to work by Boardman, Brown–Peterson, and Landweber.

Relative and Reduced Theories

The axioms naturally treat pairs (X, A), leading to long exact sequences for inclusions and excision properties akin to those used by Jean Leray and Henri Cartan in sheaf-theoretic contexts; reduced homology theories arise by adjoining a basepoint as in constructions by Hatcher and follow suspension isomorphisms central to Freudenthal and to suspension spectra used by J. P. May and G. W. Whitehead. Relative theories enable comparison to relative cohomology frameworks developed by Alexander Grothendieck-era mathematicians and techniques applied in studies by Thompson and Smale.

Applications and Generalizations

Applications span classification of Manifolds, computations in Knot theory influenced by Tait and Alexander, analyses in Foliation theory related to Reeb and Thurston, and invariants for Fiber bundles and Morse theory by Morse and Bott. Generalizations include extraordinary homology theories formalized by Brown representability theorem, spectra-based approaches in Stable homotopy theory by Spanier–Whitehead and Adams, and equivariant extensions developed in contexts of Lie group actions studied by Cartan and Mackey. The axioms continue to guide modern research linking classical topology with methods from Algebraic Geometry, Mathematical Physics, and computational topology work by teams at institutions such as Princeton University, Massachusetts Institute of Technology, and Institute for Advanced Study.

Category:Algebraic topology