Brown representability theorem

Brown representability theorem
Name	Brown representability theorem
Field	Algebraic topology
Introduced	1962
Introduced by	Edgar H. Brown Jr.
Prerequisites	Homotopy theory, Category theory, Cohomology theories
Consequences	Representability of cohomological functors, Construction of spectra

Brown representability theorem The Brown representability theorem is a foundational result in Algebraic topology that gives criteria for when a contravariant functor on the homotopy category of pointed CW complexes is representable by a pointed CW complex (or spectrum). It provides a bridge between abstract Category theory formulations and concrete objects studied by Henri Poincaré, J. H. C. Whitehead, Samuel Eilenberg, Norman Steenrod, and Jean-Pierre Serre in the development of Homotopy theory, Homology theory, and Cohomology.

Statement

In its classical form, due to Edgar H. Brown Jr., the theorem asserts that a contravariant functor F from the homotopy category of pointed CW complexes to the category of sets (or abelian groups) that sends coproducts to products and takes homotopy colimits of sequences (satisfies the Mayer–Vietoris or wedge axiom) is representable by a pointed CW complex. This statement relates to representable functors in Category theory, Yoneda-type arguments used by Saunders Mac Lane and Grothendieck, and the notion of Brown's axioms paralleling axioms for Extraordinary cohomology theories introduced by Samuel Eilenberg and Norman Steenrod.

Historical context and motivation

The theorem was proved in 1962 by Edgar H. Brown Jr. during a period shaped by contributions from J. H. C. Whitehead on CW complexes, René Thom and Jean Leray on spectral sequences, and work of John Milnor and Raoul Bott on homotopy groups and characteristic classes. Motivated by attempts to represent cohomology theories by geometric objects, Brown's result completed a program related to representability questions raised by Samuel Eilenberg and Norman Steenrod in their axiomatization of cohomology. The development is intertwined with the emergence of Stable homotopy theory, the construction of Spectra influenced by Daniel Quillen and G. W. Whitehead, and later categorical reformulations by Alexandre Grothendieck-inspired thinkers including Henri Cartan and Jean-Louis Loday.

Proof outline and variations

Brown's proof uses obstruction theory techniques pioneered by J. H. C. Whitehead and construction methods related to CW complex skeleta, together with compactness arguments analogous to methods used by André Weil in other contexts. The key steps construct a representing complex by inductively attaching cells to realize values of the functor on spheres and finite complexes, using exactness properties reminiscent of Mayer–Vietoris sequences and ideas from Serre spectral sequence constructions. Variations include the stable version for functors on the stable homotopy category (spectra), influenced by work of Adams and Milnor, and triangulated-category formulations developed in the milieu of Jean-Louis Verdier and Amnon Neeman that connect Brown representability to compact generation and Brown–Comenetz duality found in the work of André Joyal and Bernhard Keller.

Applications

Brown representability underpins the construction of Eilenberg–MacLane spaces associated to Eilenberg–MacLane constructions used by Samuel Eilenberg and Norman Steenrod to realize ordinary cohomology theories. It provides existence results for representing objects of extraordinary cohomology theories like K-theory (developed by Atiyah and Grothendieck), Cobordism theories studied by René Thom, and Morava K-theory investigated by Jack Morava. In stable homotopy, it guarantees representability of homological and cohomological functors on the Stable homotopy category and influences modern approaches to Derived categories in the work of Alexandre Grothendieck, Jean-Pierre Serre, and Joseph Bernstein. The theorem is instrumental in the construction of Brown–Gitler spectra related to Frank Adams' work and in applications to the study of localizations and completions studied by Bousfield and Kan.

Examples and counterexamples

Examples where the theorem applies include ordinary cohomology functors represented by Eilenberg–MacLane complexes, complex K-theory represented by Atiyah–Hirzebruch spectral sequence targets built from Michael Atiyah and Graeme Segal constructions, and representable extraordinary theories like Brown–Peterson cohomology appearing in Douglas Ravenel's chromatic program. Counterexamples arise when hypotheses fail: there exist contravariant functors on larger categories (e.g., all topological spaces rather than CW complexes) or on non-pointed settings that are not representable; such pathologies were investigated by Peter Freyd and Saunders Mac Lane in categorical contexts and by J. P. May and Kan in homotopical settings. Failures also appear in derived categories lacking compact generation as explored by Neeman.

Generalizations and related results

Generalizations extend Brown representability to triangulated categories with set-theoretic generation conditions, as formalized by Neeman and Paul Balmer, and to enriched settings considered by Clark Barwick and Jacob Lurie. Related results include the Brown–Comenetz duality developed by Armand Borel-era analysts, the Freyd representability theorem in Category theory by Peter Freyd, and representability criteria in Higher category theory pursued by Jacob Lurie and André Joyal. Connections to the Adams spectral sequence, the theory of Model categories by Daniel Quillen, and compact generation ideas in Derived algebraic geometry highlight the theorem's role across modern mathematical institutions such as Institut des Hautes Études Scientifiques and Massachusetts Institute of Technology research programs.

Category:Algebraic topology