Universal coefficient theorem

Universal coefficient theorem
Name	Universal coefficient theorem
Field	Algebraic topology
Introduced	1950s
Contributors	Edwin Spanier; Samuel Eilenberg; Norman Steenrod; Henri Cartan
Related	Künneth theorem; Homology; Cohomology; Ext functor; Tor functor

Universal coefficient theorem The universal coefficient theorem relates homology and cohomology groups with coefficients in different abelian groups, providing exact sequences that express homology or cohomology with arbitrary coefficients in terms of integral homology or cohomology together with algebraic functors such as Ext and Tor. Originating in mid‑20th century work by figures associated with the development of algebraic topology — including Edwin Spanier, Samuel Eilenberg, Norman Steenrod, and Henri Cartan — the theorem is a central computational tool in theories developed in texts like Spanier's and in the axiomatic framework influenced by the Eilenberg–Steenrod axioms.

Statement

The theorem appears in two complementary forms: homological and cohomological. Both forms start from a chain complex C_* of free abelian groups (for a CW complex or simplicial complex associated to a topological space such as Simplicial complex or CW complex) and a coefficient abelian group G (often a module over a ring such as Z or Z/pZ). The statements give short exact sequences involving tensor products and Tor or Hom and Ext functors; these sequences are natural with respect to maps induced by continuous maps between spaces (for instance those considered in Hurewicz theorem contexts) and serve as computational bridges toward invariants studied in Poincaré duality and the Künneth theorem.

Homological Universal Coefficient Theorem

For homology, given an integral homology group H_n(X; Z) of a space X and a coefficient group G, the theorem provides a split short exact sequence 0 → H_n(X; Z) ⊗ G → H_n(X; G) → Tor_1^Z(H_{n-1}(X; Z), G) → 0, where the functor Tor_1^Z(–,–) is the first derived functor of tensor over Z. This version is used frequently in computations involving classical spaces such as Real projective space, Lens space, Moore space, or manifolds studied in Poincaré conjecture‑related literature. The splitting is natural but not canonical; it often appears in computational expositions by authors influenced by the pedagogy of Hatcher or the expositions in Spanier's treatise.

Cohomological Universal Coefficient Theorem

For cohomology, starting from integral cohomology H^n(X; Z) and a coefficient group G, there is a natural short exact sequence 0 → Ext^1_Z(H_{n-1}(X; Z), G) → H^n(X; G) → Hom_Z(H_n(X; Z), G) → 0, where Ext^1_Z and Hom_Z are abelian group functors familiar from homological algebra as developed by Cartan–Eilenberg and elaborated in texts by Weibel and Rotman. This sequence expresses cohomology with arbitrary coefficients as an extension of Hom of integral homology by an Ext term that measures torsion obstructions; it figures in analyses of invariants for spaces such as Complex projective space, torus, or mapping tori studied in Nielsen fixed-point theory.

Proofs and Techniques

Proofs of the universal coefficient theorem employ homological algebra machinery: projective resolutions, derived functors, spectral sequences (like those used in proofs related to the Leray–Serre spectral sequence), and chain homotopy arguments. Historical proofs trace through the foundational work of Eilenberg–Mac Lane and the development of derived functors in treatments by Cartan and Eilenberg. Modern expositions often use the Hom–tensor adjunction, short exact sequences of chain complexes, and the five lemma in diagram chases; alternative approaches appeal to the machinery of model categories or derived categories as in works influenced by Grothendieck and later authors in derived algebraic geometry.

Applications and Examples

Applications run across algebraic topology and related fields: computing H_n and H^n of lens spacees, real projective spacees, and Moore spaces; analyzing cup products and cohomology ring structures in complex projective plane or K3 surface examples when combined with universal coefficient information; and deducing torsion phenomena in manifold invariants relevant to the study of Thurston‑type 3‑manifolds and invariants in knot theory such as Alexander modules. The theorem is also used in obstruction theory contexts connected to Postnikov tower constructions and in the calculation of Steenrod algebra actions when integral to mod‑p reductions.

Generalizations and Variants

Generalizations include versions for modules over principal ideal domains beyond Z, for cohomology theories represented by spectra in stable homotopy theory (where universal coefficient spectral sequences replace short exact sequences, as in Brown–Representability theorem contexts), and for sheaf cohomology on topological spaces or schemes where derived functors of global sections play the role of Hom and Ext (as in the work of Verdier and Grothendieck). Variants adapt the statement to relative homology and cohomology, to twisted coefficients occurring in local systems and covering space theory, and to equivariant cohomology frameworks studied in contexts like Borel cohomology.

Category:Algebraic topology