group cohomology, nonabelian group cohomology, Lie group cohomology
cohomology with constant coefficients / with a local system of coefficients
differential cohomology
A generalized homology theory is a certain functor from suitable topological spaces to graded abelian groups which satisfies most, but not all, of the abstract properties of ordinary homology functors (e.g. singular homology).
By the Brown representability theorem, under certain conditions every spectrum $K$ is the coefficient object of a generalized cohomology theory and S-dually of a generalized homology theory. For $K = H R$ an Eilenberg-MacLane spectrum this reduces to ordinary homology.
See at generalized (Eilenberg-Steenrod) cohomology for more.
Throughout, write Top${}_{CW}$ for the category of topological spaces homeomorphic to CW-complexes. Write $Top^{\ast/}_{CW}$ for the corresponding category of pointed topological spaces.
Recall that colimits in $Top^{\ast/}$ are computed as colimits in $Top$ after adjoining the base point and its inclusion maps to the given diagram
The coproduct in pointed topological spaces is the wedge sum, denoted $\vee_{i \in I} X_i$.
Write
for the reduced suspension functor.
Write $Ab^{\mathbb{Z}}$ for the category of integer-graded abelian groups.
A reduced homology theory is a functor
from the category of pointed topological spaces (CW-complexes) to $\mathbb{Z}$-graded abelian groups (“homology groups”), in components
and equipped with a natural isomorphism of degree +1, to be called the suspension isomorphism, of the form
such that:
(homotopy invariance) If $f_1,f_2 \colon X \longrightarrow Y$ are two morphisms of pointed topological spaces such that there is a (base point preserving) homotopy $f_1 \simeq f_2$ between them, then the induced homomorphisms of abelian groups are equal
(exactness) For $i \colon A \hookrightarrow X$ an inclusion of pointed topological spaces, with $j \colon X \longrightarrow Cone(i)$ the induced mapping cone, then this gives an exact sequence of graded abelian groups
We say $\tilde E_\bullet$ is additive if in addition
(wedge axiom) For $\{X_i\}_{i \in I}$ any set of pointed CW-complexes, then the canonical morphism
from the direct sum of the value on the summands to the value on the wedge sum, example 1, is an isomorphism.
We say $\tilde E_\bullet$ is ordinary if its value on the 0-sphere $S^0$ is concentrated in degree 0:
A homomorphism of reduced cohomology theories
is a natural transformation between the underlying functors which is compatible with the suspension isomorphisms in that all the following squares commute
In the following a pair $(X,A)$ refers to a subspace inclusion of topological spaces (CW-complexes) $A \hookrightarrow X$. Whenever only one space is mentioned, the subspace is assumed to be the empty set $(X, \emptyset)$. Write $Top_{CW}^{\hookrightarrow}$ for the category of such pairs (the full subcategory of the arrow category of $Top_{CW}$ on the inclusions). We identify $Top_{CW} \hookrightarrow Top_{CW}^{\hookrightarrow}$ by $X \mapsto (X,\emptyset)$.
A homology theory (unreduced, relative) is a functor
to the category of $\mathbb{Z}$-graded abelian groups, as well as a natural transformation of degree +1, to be called the connecting homomorphism, of the form
such that:
(homotopy invariance) For $f \colon (X_1,A_1) \to (X_2,A_2)$ a homotopy equivalence of pairs, then
is an isomorphism;
(exactness) For $A \hookrightarrow X$ the induced sequence
is a long exact sequence of abelian groups.
(excision) For $U \hookrightarrow A \hookrightarrow X$ such that $\overline{U} \subset Int(A)$, then the natural inclusion of the pair $i \colon (X-U, A-U) \hookrightarrow (X, A)$ induces an isomorphism
We say $E^\bullet$ is additive if it takes coproducts to direct sums:
(additivity) If $(X, A) = \coprod_i (X_i, A_i)$ is a coproduct, then the canonical comparison morphism
is an isomorphismfrom the direct sum of the value on the summands, to the value on the total pair.
We say $E_\bullet$ is ordinary if its value on the point is concentrated in degree 0
A homomorphism of unreduced homology theories
is a natural transformation of the underlying functors that is compatible with the connecting homomorphisms, hence such that all these squares commute:
The excision axiom in def. 2 is equivalent to the following statement:
For all $A,B \hookrightarrow X$ with $X = A \cup B$, then the inclusion
induces an isomorphism,
(e.g Switzer 75, 7.2, 7.5)
First consider the statement under the condition that $X = Int(A) \cup Int(B)$.
In one direction, suppose that $E^\bullet$ satisfies the original excision axiom. Given $A,B$ with $X = \Int(A) \cup Int(B)$, set $U \coloneqq X-A$ and observe that
and that
Hence the excision axiom implies $E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B)$.
Conversely, suppose $E^\bullet$ satisfies the alternative condition. Given $U \hookrightarrow A \hookrightarrow X$ with $\overline{U} \subset Int(A)$, observe that we have a cover
and that
Hence
This shows the statement for the special case that $X = Int(A)\cup Int(U)$. The general statement reduces to this by finding a suitable homotopy equivalence to a slightly larger covering pair (e.g Switzer 75, 7.5).
(exact sequence of a triple)
For $E_\bullet$ an unreduced generalized cohomology theory, def. 2, then every inclusion of two consecutive subspaces
induces a long exact sequence of homology groups of the form
where
Apply the braid lemma to the interlocking long exact sequences of the three pairs $(X,Y)$, $(X,Z)$, $(Y,Z)$:
(graphics from this Maths.SE comment)
See here for details.
The Atiyah-Hirzebruch spectral sequence serves to express generalized homology $E_\bullet$ in terms of ordinary homology with coefficients in $E_\bullet(\ast)$.
Let $\phi \colon E \longrightarrow F$ be a morphism of reduced generalized (co-)homology functors, def. 1 (a natural transformation) such that its component
on the 0-sphere is an isomorphism. Then $\phi(X)\colon E(X)\to F(X)$ is an isomorphism for $X$ any CW-complex with a finite number of cells. If both $E$ and $F$ satisfy the wedge axiom, then $\phi(X)$ is an isomorphism for $X$ any CW-complex, not necessarily finite.
For $E$ and $F$ ordinary cohomology/ordinary homology functors a proof of this is in (Eilenberg-Steenrod 52, section III.10). From this the general statement follows (e.g. Kochman 96, theorem 3.4.3, corollary 4.2.8) via the naturality of the Atiyah-Hirzebruch spectral sequence (the classical result gives that $\phi$ induces an isomorphism between the second pages of the AHSSs for $E$ and $F$). A complete proof of the general result is also given as (Switzer 75, theorem 7.55, theorem 7.67)
bordism homology theory is the homology theory represented by a Thom spectrum;
stable homotopy is the homology theory represented by the sphere spectrum
(For more see the references at generalized (Eilenberg-Steenrod) cohomology.)
Original articles include
Textbook accounts include
Stanley Kochmann, section 3.4 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996
Robert Switzer, chapter 7 (and 8-12) of Algebraic Topology - Homotopy and Homology, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, Vol. 212, Springer-Verlag, New York, N. Y., 1975.
Stefan Schwede, chapter II, section 6 of Symmetric spectra, 2012 (pdf)
See also
Friedrich Bauer, Classifying spectra for generalized homology theories Annali di Maternatica pura ed applicata (IV), Vol. CLXIV (1993), pp. 365-399
Friedrich Bauer, Remarks on universal coefficient theorems for generalized homology theories Quaestiones Mathematicae Volume 9, Issue 1 & 4, 1986, Pages 29 - 54
A general construction of homologies by “geometric cycles” similar to the Baum-Douglas geometric cycles for K-homology is discussed in
Further generalization of this to bivariant cohomology theories is in