nLab
generalized (Eilenberg-Steenrod) cohomology

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Cohomology

cohomology

Special and general types

Special notions

Variants

Extra structure

Operations

Theorems

Homotopy theory

Background

Variations

Definitions

Paths and cylinders

Homotopy groups

Theorems

Contents

Idea

What is called generalized Eilenberg-Steenrod cohomology is really the general fully abelian subcase of cohomology.

This means that generalized Eilenberg-Steenrod cohomology is the cohomology in an (∞,1)-category H that happens to be a stable (∞,1)-category.

The archetypical example of this is H=Sp(Top), the stable (∞,1)-category of spectra and this is the context in which generalized Eilenberg-Steenrod cohomology is usually understood. So

Generalized Eilenberg-Steenrod cohomology is cohomology H(X,A) with coefficient object A a spectrum.

The Eilenberg-Steenrod axioms

remark Originally Eilenberg and Steenrod had written down axioms that characterized the behaviour of ordinary integral cohomology, what is now understood to be cohomology with coefficients in the Eilenberg-MacLane spectrum. Generalized Eilenberg-Steenrod cohomology is originally defined as anything that satisfies this list of axioms except the first one. Later it was proven, by the Brown representability theorem, that all the models for these axioms arise in terms of homotopy classes of maps into a spectrum. In our revisionist perspective above, we take this historically secondary point of view as the conceptually primary one.

The Eilenberg-Steenrod axioms are this:

Definition

A cohomology theory is a collection {A n} n∈ℤ of functors

A n:Top op→AbA^n : Top^{op} \to Ab

from the category Top of topological spaces to the category Ab of abelian groups, that satisfies the following axioms, for all n∈ℤ:

  1. if f:X→Y is a weak homotopy equivalence then A n(f):A n(Y)→A n(X) is an isomorphism;

    i.e. A n is a homotopical functor with respect to the standard structure of a homotopical category on Top,

  2. …

  3. …

  4. …

  5. …

Examples

References

A pedagogical introduction to spectra and generalized (Eilenberg-Steenrod) cohomology is in

A comprehensive account is in

  • Generalized cohomology (pdf)

More references relating to the nPOV on cohomology include:

Revised on November 8, 2012 02:36:08 by Urs Schreiber (82.169.65.155)
Edit | Back in time (11 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: nonabelian cohomology, topology, Jacob Lurie, torsor, homology, abelian sheaf cohomology, cohomology, twisting function, bundle gerbe, local system, constant infinity-stack, motivation for sheaves, cohomology and higher stacks, Eckmann-Hilton duality, principal bundle, vector bundle, string structure, Eilenberg-Mac Lane spectrum, tmf, K-theory spectrum, gerbe, Hochschild-Serre spectral sequence, fiber sequence, principal 2-bundle, principal infinity-bundle, group cohomology, twisted cohomology, generalized (Eilenberg-Steenrod) cohomology, generalized cohomology, 2009 July changes, Sweedler coring, algebraic K-theory, bialgebra cocycle, chain homology and cohomology, integral cohomology, K-theory, Karoubi K-theory, cup product, cohomotopy, concordance, differential K-theory, twisted bundle, bundle gerbe module, twisted K-theory, topological K-theory, Bredon cohomology, fiber bundle, singular cohomology, 2009 September changes, cohomology - contents, equivariant cohomology, A Survey of Elliptic Cohomology, elliptic cohomology, line bundle, cohomology ring, A Survey of Elliptic Cohomology - cohomology theories, de Rham complex, cobordism cohomology theory, reduced cohomology, multiplicative cohomology theory, Fivebrane structure, spin structure, orientation, A Survey of Elliptic Cohomology - formal groups and cohomology, A Survey of Elliptic Cohomology - E-infinity rings and derived schemes, de Rham theorem, Gromov-Witten invariants, Axiomatic field theories and their motivation from topology, geometric model for elliptic cohomology, Brown representability theorem, cochain on a simplicial set, A Survey of Elliptic Cohomology - elliptic curves, nonabelian Hodge theory, A Survey of Elliptic Cohomology - equivariant cohomology, A Survey of Elliptic Cohomology - derived group schemes and (pre-)orientations, string 2-group, string group, Fivebrane group, Lie algebra cohomology, fivebrane 6-group, nonabelian groupoid cohomology, A Survey of Elliptic Cohomology - A-equivariant cohomology, Lie algebra extension, Hodge theory, motive, A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves, topological chiral homology, etale cohomology, motivic cohomology, nonabelian Lie algebra cohomology, group extension, nonabelian group cohomology, monadic descent, cocycle, Chern character, lifting gerbe, curvature, Quadratic Functions in Geometry, Topology, and M-Theory, groupoid cohomology, cohomology of a category, higher monadic descent, Thom spectrum, Liouville cocycle, bibundle, infinity-Lie algebra cohomology, circle bundle, relative cohomology, characteristic class, Hochschild cohomology, cyclic cohomology, constant sheaf, locally constant infinity-stack, constant stack, crystalline cohomology, Maslov index, differential function complex, simplicial principal bundle, G-structure, fiber integration, Thom isomorphism, orientation in generalized cohomology, ordinary cohomology, Poincare lemma, syntomic cohomology, Floer homology, Witten genus, harmonic form, differential cobordism cohomology, cohomological descent, Chern-Weil homomorphism, groupal model for universal principal infinity-bundles, universal coefficient theorem, groupoid principal bundle, associated infinity-bundle, hypercohomology, universal principal infinity-bundle, ordinary differential cohomology, Pontryagin class, secondary characteristic class, Lie group cohomology, bundle 2-gerbe, nonabelian bundle gerbe, nonabelian bundle 2-gerbe, principal 3-bundle, Chern class, vielbein, Stokes theorem, differential characteristic class, cohomology with constant coefficients, locally constant stack, Whitehead principle of nonabelian cohomology, quantum sheaf cohomology, Dixmier-Douady class, n-vector bundle, KK-theory, coboundary, cohomological dimension, cohomology operation, infinity-gerbe, discrete torsion, cohomology localization, E-theory, Deligne conjecture, Gerstenhaber-Schack cohomology, Gelfand-Fuks cohomology, Parametrized Homotopy Theory, fiber integration in ordinary differential cohomology, fundamental class, (infinity,1)-vector bundle, generalized homology, twisted spin structure, sigma-model -- exposition of quantum sigma-models, Stiefel-Whitney class, contents of contents, 2-gerbe, twisted spin^c structure, universal characteristic class, Euler class, Yang-Mills instanton Floer homology, spin^c structure, integral Stiefel-Whitney class, Bockstein homomorphism, cohomology in a local net of observables, 2-framing, cohomology of operads, twisted Wu structure, double cover, Hodge conjecture, first Chern class, universal principal bundle, Mayer-Vietoris sequence, intersection pairing, Wu class, Grothendieck-Riemann-Roch theorem, reduction and lift of structure groups, Steenrod square, integral Wu structure, string^c 2-group, coefficient, K-theory of a bipermutative category, obstruction, fiber integration in differential cohomology, twisted smooth cohomology in string theory, Kadeishvili's theorem, canonical bundle, Theta characteristic, compactly supported cohomology, KR-theory, ring extension, local coefficient bundle, fiber infinity-bundle, K-theory of a permutative category, cochain, function spectrum, infinity-group extension, Hilbert's Theorem 90, groupoid-principal infinity-bundle, Hodge structure, long exact sequence in homology, Hodge theorem, Galois cohomology, suspension isomorphism, Massey product, k-invariant, 2-vector bundle, line 2-bundle, instanton sector, cofiber sequence, level (Chern-Simons theory), centrally extended groupoid, cohomological integration, Poisson cohomology