nLab generalized (Eilenberg-Steenrod) cohomology

Idea

The collection of functors from (pointed) topological spaces to abelian groups which assign cohomology groups of ordinary cohomology (e.g. singular cohomology) may be axiomatized by a small set of natural conditions, called the Eilenberg-Steenrod axioms (Eilenberg-Steenrod 52, I.3), see below. One of these conditions, the “dimension axiom” (Eilenberg-Steenrod 52, I.3 Axiom 7) says that the (co)homology groups assigned to the point are concentrated in degree 0. The class of functors obtained by discarding this “dimension axiom” came to be known as generalized (co)homology theories (Whitehead 62) or extraordinary (co)homology theories.

Examples include topological K-theory (Atiyah-Hirzebruch 61, 1.8), elliptic cohomology and cobordism cohomology theory. Dually one speaks of generalized homology.

Notice that, while the terminology “generalized cohomology” is standard in algebraic topology with an eye towards stable homotopy theory, it is somewhat unfortunate in that there are various other and further generalizations of the axioms that all still deserve to be and are called “cohomology”. For instance dropping the suspension axiom leads to nonabelian cohomology and dropping the “homotopy axiom” (and taking the domain spaces to be smooth manifolds) leads to the further generality of differential cohomology. This entry here is concerned with the generalization obtained from the Eilenberg-Steenrod axioms by just discarding the dimension axiom. For lack of a better term, we say “generalized (Eilenberg-Steenrod) cohomology” here.

In (Whitehead 62) it was observed that every spectrum induces a generalized homology theory. The Brown representability theorem (Brown 62) asserts that every generalized (co)homology arises this way, being represented by mapping spectra into/smash product with a spectrum. But beware that the cohomology theory represented by a spectrum in general contains strictly less information than the spectrum, due to the existence of “phantom maps”.

On the other hand, if one refines the concept of a generalized homology theory from taking values in graded abelian? groups to taking values in homotopy types then it does become equivalent to the concept of spectrum, this is the statement at excisive functor – Examples – Spectrum objects.

This means that from a perspective of higher category theory, generalized Eilenberg-Steenrod cohomology is the intrinsic cohomology of the (∞,1)-category of spectra, or better: twisted generalized Eilenberg-Steenrod cohomology is the intrinsic cohomology of the tangent (∞,1)-topos of parameterized spectra.

Generalized Eilenberg-Steenrod cohomology is cohomology $E(X)= H(X,E)$ with coefficients $E$ a spectrum object.

Definition

This sections states the classical formulation of the Eilenberg-Steenrod axioms due to (Eilenberg-Steenrod 52, I.3) in terms of concepts from classical algebraic topology, such as CW-pairs and mapping cones.

More abstractly, via the classical model structure on topological spaces, these structures are seen to serve as presentations for certain homotopy pushouts. In terms of “abstract homotopy theory” ((infinity,1)-category theory) one obtains a more streamlined formulation, which we turn to below.

$\,$

There are two versions of the statement of the axioms:

• Reduced cohomology;

• Unreduced cohomology.

There are functors taking any reduced cohomology theory to an unreduced one, and vice versa. When some fine detail in the axioms is suitably set up, then this establishes an equivalence between reduced and unreduced generalized cohomology:

• Relation between reduced and unreduced cohomology

The fine detail in the axioms that makes this work is such as to ensure that a cohomology theory is a functor on the opposite of the (pointed/pairwise) classical homotopy category. Since this has different presentations, there are corresponding different versions of suitable axioms:

1. On the one hand, $Ho(Top_{Quillen})$ may be presented by topological spaces homeomorphic to CW-complexes and with homotopy equivalence-classes of continuous functions between them, and accordingly a generalized cohomology theory may be taken to be a funtor on (pointed/pairs of) CW-complexes invariant under homotopy equivalence.

2. On the other hand, $Ho(Top_{Quillen})$ may be presented by all topological spaces with weak homotopy equivalences inverted, and accordingly a generalized cohomology theory may be taken to be a functor on all (pointed/pairs of) topological spaces that sends weak homotopy equivalences to isomorphisms.

Notice however that “classical homotopy category” is already ambiguous. Pre Quillen this was the category of all topological spaces with homotopy equivalence classes of maps between them, and often generalized cohomology functors are defined on this larger category and only restricted to CW-complexes or required to preserve weak homotopy equivalences when need be (e.g. Switzer 75, p.117), such as for establishing the equivalence between reduced and unreduced theories.

Moreover, historically, these conditions have been decomposed in several numbers of ways. Notably (Eilenberg-Steenrod 52) originally listed 7 axioms for unreduced cohomology, more than typically counted today, but their axioms 1 and 2 jointly just said that we have a functor on topological spaces, axiom 3 was the condition for the connecting homomorphism to be a natural transformation, conditions which later (Switzer 75, p. 99,100) were absorbed in the underlying structure.

Finally, following the historical development it is common to state the exactness properties of cohomology functors in terms of mapping cone constructions. These are models for homotopy cofibers, but in general only when some technical conditions are met, such that the underlying topological spaces are CW-complexes.

For these reasons, in the following we stick to two points of views: where we discuss cohomology theories as functors on topological spaces we restrict attention to those homeomorphic to CW-complexes. In a second description we speak fully abstractly about functors on the homotopy category of a given model category of $\infty$-category.

Reduced cohomology

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 (here) that colimits in $Top^{\ast/}$ are computed as colimits in Top (here) after adjoining the base point and its inclusion maps to the given diagram.

Example

The coproduct in pointed topological spaces is the wedge sum, denoted $\vee_{i \in I} X_i$.

Write

$$\Sigma \coloneqq S^1 \wedge (-) \;\colon\; Top^{\ast/}_{CW} \longrightarrow Top^{\ast/}_{CW}$$

for the reduced suspension functor.

Write $Ab^{\mathbb{Z}}$ for the category of integer-graded abelian groups.

Definition

A reduced cohomology theory is a functor (“pullback in cohomology”)

$$\tilde E^\bullet \;\colon\; (Top^{\ast/}_{CW})^{op} \longrightarrow Ab^{\mathbb{Z}}$$

from the opposite of pointed topological spaces (CW-complexes) to $\mathbb{Z}$-graded abelian groups (“cohomology groups”), in components

$$\tilde E \;\colon\; (X \stackrel{f}{\longrightarrow} Y) \mapsto (\tilde E^\bullet(Y) \stackrel{f^\ast}{\longrightarrow} \tilde E^\bullet(X)) \,,$$

and equipped with a natural isomorphism of degree +1, to be called the suspension isomorphism, of the form

$$\sigma \;\colon\; \tilde E^{\bullet +1}(\Sigma -) \overset{\simeq}{\longrightarrow} \tilde E^\bullet(-)$$

such that:

1. (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

   $$f_1^\ast = f_2^\ast \,.$$

2. (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

   $$\tilde E^\bullet(Cone(i)) \overset{j^\ast}{\longrightarrow} \tilde E^\bullet(X) \overset{i^\ast}{\longrightarrow} \tilde E^\bullet(A) \,.$$

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 comparison morphism

  $$\tilde E^\bullet(\vee_{i \in I} X_i) \longrightarrow \prod_{i \in I} \tilde E^\bullet(X_i)$$

  is an isomorphism, from the functor applied to their wedge sum, example , to the product of its values on the wedge summands, .

We say $\tilde E^\bullet$ is ordinary if its value on the 0-sphere $S^0$ is concentrated in degree 0:

• (Dimension) $\tilde E^{\bullet\neq 0}(\mathbb{S}^0) \simeq 0$.

A homomorphism of reduced cohomology theories

$$\eta \;\colon\; \tilde E^\bullet \longrightarrow \tilde F^\bullet$$

is a natural transformation between the underlying functors which is compatible with the suspension isomorphisms in that all the following squares commute

$$\array{ \tilde E^\bullet(X) &\overset{\eta_X}{\longrightarrow}& \tilde F^\bullet(X) \\ {}^{\mathllap{\sigma_E}}\downarrow && \downarrow^{\mathrlap{\sigma_F}} \\ \tilde E^{\bullet + 1}(\Sigma X) &\overset{\eta_{\Sigma X}}{\longrightarrow}& \tilde F^{\bullet + 1}(\Sigma X) } \,.$$

(e.g. AGP 02, def. 12.1.4)

We may rephrase this more intrinsically and more generally:

Definition

Let $\mathcal{C}$ be an (∞,1)-category with (∞,1)-pushouts, and with a zero object $0 \in \mathcal{C}$. Write $\Sigma \colon \mathcal{C} \to \mathcal{C}\colon X\mapsto 0 \underset{X}{\sqcup} 0$ for the corresponding suspension (∞,1)-functor.

A reduced generalized cohomology theory on $\mathcal{C}$ is

1. a functor

   $$E^\bullet \;\colon \; Ho(\mathcal{C})^{op} \longrightarrow Ab^{\mathbb{Z}}$$

   (from the opposite of the homotopy category of $\mathcal{C}$ into $\mathbb{Z}$-graded abelian groups);

2. a natural isomorphisms (“suspension isomorphisms”) of degree +1

   $$\sigma \; \colon \; H^\bullet \longrightarrow H^{\bullet+1} \circ \Sigma$$

such that $H^\bullet$

1. takes small coproducts to products;

2. takes homotopy cofiber sequences to exact sequences.

Definition

Given a generalized cohomology theory $(H^\bullet,\sigma)$ on some $\mathcal{C}$ as in def. , and given a homotopy cofiber sequence in $\mathcal{C}$

$$X \stackrel{f}{\longrightarrow} Y \stackrel{g}{\longrightarrow} Z \stackrel{coker(g)}{\longrightarrow} \Sigma X \,,$$

then the corresponding connecting homomorphism is the composite

$$\partial \;\colon\; \widetilde E^\bullet(X) \stackrel{\sigma}{\longrightarrow} \widetilde E^{\bullet+1}(\Sigma X) \stackrel{coker(g)^\ast}{\longrightarrow} \widetilde E^{\bullet+1}(Z) \,.$$

Proposition

The connecting homomorphisms of def. are part of long exact sequences

$$\cdots \stackrel{\partial}{\longrightarrow} \widetilde E^{\bullet}(Z) \longrightarrow \widetilde E^\bullet(Y) \longrightarrow \widetilde E^\bullet(X) \stackrel{\partial}{\longrightarrow} \widetilde E^{\bullet+1}(Z) \to \cdots \,.$$

See at long exact sequence in generalized cohomology.

Proof

By the defining exactness of $E^\bullet$, def. , and the way this appears in def. , using that $\sigma$ is by definition an isomorphism.

Unreduced cohomology

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)$.

Definition

A cohomology theory (unreduced, relative) is a functor

$$E^\bullet : (Top_{CW}^{\hookrightarrow})^{op} \to Ab^{\mathbb{Z}}$$

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

$$\delta_{(X,A)} \;\colon\; E^\bullet(A, \emptyset) \to E^{\bullet + 1}(X, A) \,.$$

such that:

1. (homotopy invariance) For $f \colon (X_1,A_1) \to (X_2,A_2)$ a homotopy equivalence of pairs, then

   $$E^\bullet(f) \;\colon\; E^\bullet(X_2,A_2) \stackrel{\simeq}{\longrightarrow} E^\bullet(X_1,A_1)$$

   is an isomorphism;

2. (exactness) For $A \hookrightarrow X$ the induced sequence

   $$\cdots \to E^n(X, A) \longrightarrow E^n(X) \longrightarrow E^n(A) \stackrel{\delta}{\longrightarrow} E^{n+1}(X, A) \to \cdots$$

   is a long exact sequence of abelian groups.

3. (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

   $$E^\bullet(i) \;\colon\; E^n(X, A) \overset{\simeq}{\longrightarrow} E^n(X-U, A-U)$$

We say $E^\bullet$ is additive if it takes coproducts to products:

• (additivity) If $(X, A) = \coprod_i (X_i, A_i)$ is a coproduct, then the canonical comparison morphism

  $$E^n(X, A) \overset{\simeq}{\longrightarrow} \prod_i E^n(X_i, A_i)$$

  is an isomorphism from the value on $(X,A)$ to the product of values on the summands.

We say $E^\bullet$ is ordinary if its value on the point is concentrated in degree 0

• (Dimension): $E^{\bullet \neq 0}(\ast,\emptyset) = 0$.

A homomorphism of unreduced cohomology theories

$$\eta \;\colon\; E^\bullet \longrightarrow F^\bullet$$

is a natural transformation of the underlying functors that is compatible with the connecting homomorphisms, hence such that all these squares commute:

$$\array{ E^\bullet(A,\emptyset) &\overset{\eta_{(A,\emptyset)}}{\longrightarrow}& F^\bullet(A,\emptyset) \\ {}^{\mathllap{\delta_E}}\downarrow && \downarrow^{\mathrlap{\delta_F}} \\ E^{\bullet +1}(X,A) &\overset{\eta_{(X,A)}}{\longrightarrow}& F^{\bullet +1}(X,A) } \,.$$

e.g. (AGP 02, def. 12.1.1).

Lemma

The excision axiom in def. is equivalent to the following statement:

For all $A,B \hookrightarrow X$ with $X = Int(A) \cup Int(B)$, then the inclusion

$$i \colon (A, A \cap B) \longrightarrow (X,B)$$

induces an isomorphism,

$$i^\ast \;\colon\; E^\bullet(X, B) \overset{\simeq}{\longrightarrow} E^\bullet(A, A \cap B)$$

(e.g Switzer 75, 7.2)

Proof

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

$$\begin{aligned} \overline{U} & = \overline{X-A} \\ & = X- Int(A) \\ & \subset Int(B) \end{aligned}$$

and that

$$(X-U, B-U) = (A, A \cap B) \,.$$

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

$$\begin{aligned} Int(X-U) \cup Int(A) & = (X - \overline{U}) \cup \Int(A) \\ & \supset (X - Int(A)) \cup Int(A) \\ & = X \end{aligned}$$

and that

$$(X-U, (X-U) \cap A) = (X-U, A - U) \,.$$

Hence

$$E^\bullet(X-U,A-U) \simeq E^\bullet(X-U, (X-U)\cap A) \simeq E^\bullet(X,A) \,.$$

The following lemma shows that the dependence in pairs of spaces in a generalized cohomology theory is really a stand-in for evaluation on homotopy cofibers of inclusions.

Lemma

Let $E^\bullet$ be an cohomology theory, def. , and let $A \hookrightarrow X$. Then there is an isomorphism

$$E^\bullet(X,A) \stackrel{\simeq}{\longrightarrow} E^\bullet(X \cup Cone(A), \ast)$$

between the value of $E^\bullet$ on the pair $(X,A)$ and its value on the mapping cone of the inclusion, relative to a basepoint.

If moreover $A \hookrightarrow X$ is (the retract of) a relative cell complex inclusion, then also the morphism in cohomology induced from the quotient map $p \;\colon\; (X,A)\longrightarrow (X/A, \ast)$ is an isomorphism:

$$E^\bullet(p) \;\colon\; E^\bullet(X/A,\ast) \longrightarrow E^\bullet(X,A) \,.$$

(e.g AGP 02, corollary 12.1.10)

Proof

Consider $U \coloneqq (Cone(A)-A \times \{0\}) \hookrightarrow Cone(A)$, the cone on $A$ minus the base $A$. We have

$$( X\cup Cone(A)-U, Cone(A)-U) \simeq (X,A)$$

and hence the first isomorphism in the statement is given by the excision axiom followed by homotopy invariance (along the contraction of the cone to the point).

Next consider the quotient of the mapping cone of the inclusion:

$$( X\cup Cone(A), Cone(A) ) \longrightarrow (X/A,\ast) \,.$$

If $A \hookrightarrow X$ is a cofibration, then this is a homotopy equivalence since $Cone(A)$ is contractible and since by the dual factorization lemma $X \cup Cone(A)\to X/A$ is a weak homotopy equivalence, hence a homotopy equivalence on CW-complexes.

Hence now we get a composite isomorphism

$$E^\bullet(X/A,\ast) \overset{\simeq}{\longrightarrow} E^\bullet( X\cup Cone(A), Cone(A) ) \overset{\simeq}{\longrightarrow} E^\bullet(X,A) \,.$$

Example

As an important special case of : Let $(X,x)$ be a pointed CW-complex. For $p\colon (Cone(X), X) \to (\Sigma X,\{x\})$ the quotient map from the reduced cone on $X$ to the reduced suspension, then

$$E^\bullet(p) \;\colon\; E^\bullet(Cone(X),X) \overset{\simeq}{\longrightarrow} E^\bullet(\Sigma X, \{x\})$$

is an isomorphism.

Proposition

(exact sequence of a triple)

For $E^\bullet$ an unreduced generalized cohomology theory, def. , then every inclusion of two consecutive subspaces

$$Z \hookrightarrow Y \hookrightarrow X$$

induces a long exact sequence of cohomology groups of the form

$$\cdots \to E^{q-1}(Y,Z) \stackrel{\bar \delta}{\longrightarrow} E^q(X,Y) \stackrel{}{\longrightarrow} E^q(X,Z) \stackrel{}{\longrightarrow} E^q(Y,Z) \to \cdots$$

where

$$\bar \delta \;\colon \; E^{q-1}(Y,Z) \longrightarrow E^{q-1}(Y) \stackrel{\delta}{\longrightarrow} E^{q}(X,Y) \,.$$

Proof

Apply the braid lemma to the interlocking long exact sequences of the three pairs $(X,Y)$, $(X,Z)$, $(Y,Z)$. See here for details.

The dual braid diagram for generalized homology is this:

(graphics from this Maths.SE comment)

Remark

The exact sequence of a triple in prop. is what gives rise to the Cartan-Eilenberg spectral sequence for $E$-cohomology of a CW-complex $X$.

Example

For $(X,x)$ a pointed topological space and $Cone(X) = (X \wedge (I_+))/X$ its reduced cone, the long exact sequence of the triple $(\{x\}, X, Cone(X))$, prop. ,

$$0 \simeq E^q(Cone(X), \{x\}) \longrightarrow E^q(X,\{x\}) \overset{\bar \delta}{\longrightarrow} E^{q+1}(Cone(X),X) \longrightarrow E^{q+1}(Cone(X), \{x\}) \simeq 0$$

exhibits the connecting homomorphism $\bar \delta$ here as an isomorphism

$$\bar \delta \;\colon\; E^q(X,\{x\}) \overset{\simeq}{\longrightarrow} E^{q+1}(Cone(X),X) \,.$$

This is the suspension isomorphism extracted from the unreduced cohomology theory, see def. below.

Proposition

(Mayer-Vietoris sequence)

Given $E^\bullet$ an unreduced cohomology theory, def. . Given a topological space covered by the interior of two spaces as $X = Int(A) \cup Int(B)$, then for each $C \subset A \cap B$ there is a long exact sequence of cohomology groups of the form

$$\cdots \to E^{n-1}(A \cap B , C) \overset{\bar \delta}{\longrightarrow} E^n(X,C) \longrightarrow E^n(A,C) \oplus E^n(B,C) \longrightarrow E^n(A \cap B, C) \to \cdots \,.$$

e.g. (Switzer 75, theorem 7.19, Aguilar-Gitler-Prieto 02, theorem 12.1.22, see also at Brown-Gersten property)

Relation between reduced and unreduced cohomology

Definition

(unreduced to reduced cohomology)

Let $E^\bullet$ be an unreduced cohomology theory, def. . Define a reduced cohomology theory, def. $(\tilde E^\bullet, \sigma)$ as follows.

For $x \colon \ast \to X$ a pointed topological space, set

$$\tilde E^\bullet(X,x) \coloneqq E^\bullet(X,\{x\}) \,.$$

This is clearly functorial. Take the suspension isomorphism to be the composite

$$\sigma \;\colon\; \tilde E^{\bullet+1}(\Sigma X) = E^{\bullet+1}(\Sigma X, \{x\}) \overset{E^\bullet(p)}{\longrightarrow} E^{\bullet+1}(Cone(X),X) \overset{\bar \delta^{-1}}{\longrightarrow} E^\bullet(X,\{x\}) = \tilde E^{\bullet}(X)$$

of the isomorphism $E^\bullet(p)$ from example and the inverse of the isomorphism $\bar \delta$ from example .

Proposition

The construction in def. indeed gives a reduced cohomology theory.

(e.g. Switzer 75, 7.34)

Proof

We need to check the exactness axiom given any $A\hookrightarrow X$. By lemma we have an isomorphism

$$\tilde E^\bullet(X \cup Cone(A)) = E^\bullet(X \cup Cone(A), \{\ast\}) \overset{\simeq}{\longrightarrow} E^\bullet(X,A) \,.$$

Unwinding the constructions shows that this makes the following diagram commute:

$$\array{ \tilde E^\bullet(X\cup Cone(A)) &\overset{\simeq}{\longrightarrow}& E^\bullet(X,A) \\ \downarrow && \downarrow \\ \tilde E^\bullet(X) &=& E^\bullet(X,\{x\}) \\ \downarrow && \downarrow \\ \tilde E^\bullet(A) &=& E^\bullet(A,\{a\}) } \,,$$

where the vertical sequence on the right is exact by prop. . Hence the left vertical sequence is exact.

Definition

(reduced to unreduced cohomology)

Let $(\tilde E^\bullet, \sigma)$ be a reduced cohomology theory, def. . Define an unreduced cohomolog theory $E^\bullet$, def. , by

$$E^\bullet(X,A) \coloneqq \tilde E^\bullet( X_+ \cup Cone(A_+))$$

and let the connecting homomorphism be as in def. .

Proposition

The construction in def. indeed yields an unreduced cohomology theory.

e.g. (Switzer 75, 7.35)

Proof

Exactness holds by prop. . For excision, it is sufficient to consider the alternative formulation of lemma . For CW-inclusions, this follows immediately with lemma .

Theorem

The constructions of def. and def. constitute a pair of functors between then categories of reduced cohomology theories, def. and unreduced cohomology theories, def. which exhbit an equivalence of categories.

Proof

(…careful with checking the respect for suspension iso and connecting homomorphism..)

To see that there are natural isomorphisms relating the two composites of these two functors to the identity:

One composite is

$$\begin{aligned} E^\bullet & \mapsto (\tilde E^\bullet \colon (X,x) \mapsto E^\bullet(X,\{x\})) \\ & \mapsto ((E')^\bullet \colon (X,A) \mapsto E^\bullet( X_+ \cup Cone(A_+) ), \ast) \end{aligned} \,,$$

where on the right we have, from the construction, the reduced mapping cone of the original inclusion $A \hookrightarrow X$ with a base point adjoined. That however is isomorphic to the unreduced mapping cone of the original inclusion. With this the natural isomorphism is given by lemma .

The other composite is

$$\begin{aligned} \tilde E^\bullet & \mapsto (E^\bullet \colon (X,A) \mapsto \tilde E^\bullet(X_+ \cup Cone(A_+))) \\ & \mapsto ((\tilde E')^\bullet \colon X \mapsto \tilde E^\bullet(X_+ \cup Cone(*_+))) \end{aligned}$$

where on the right we have the reduced mapping cone of the point inclusion with a point adoined. As before, this is isomorphic to the unreduced mapping cone of the point inclusion. That finally is clearly homotopy equivalent to $X$, and so now the natural isomorphism follows with homotopy invariance.

Finally we record the following basic relation between reduced and unreduced cohomology:

Proposition

Let $E^\bullet$ be an unreduced cohomology theory, and $\tilde E^\bullet$ its reduced cohomology theory from def. . For $(X,\ast)$ a pointed topological space, then there is an identification

$$E^\bullet(X) \simeq \tilde E^\bullet(X) \oplus E^\bullet(\ast)$$

of the unreduced cohomology of $X$ with the direct sum of the reduced cohomology of $X$ and the unreduced cohomology of the base point.

Proof

The pair $\ast \hookrightarrow X$ induces the sequence

$$\cdots \to E^{\bullet-1}(\ast) \stackrel{\delta}{\longrightarrow} \tilde E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(\ast) \stackrel{\delta}{\longrightarrow} \tilde E^{\bullet+1}(X) \to \cdots$$

which by the exactness clause in def. is exact.

Now since the composite $\ast \to X \to \ast$ is the identity, the morphism $E^\bullet(X) \to E^\bullet(\ast)$ has a section and so is in particular an epimorphism. Therefore, by exactness, the connecting homomorphism vanishes, $\delta = 0$ and we have a short exact sequence

$$0 \to \tilde E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(X) \stackrel{}{\longrightarrow} E^\bullet(\ast) \to 0$$

with the right map an epimorphism. Hence this is a split exact sequence and the statement follows.

Brown functoriality

Proposition

Given a generalized cohomology functor $E^\bullet \colon Ho(\mathcal{C})^{op}\to Ab^{\mathbb{Z}}$, def. , its underlying Set-valued functors $H^n \colon Ho(\mathcal{C})^{op}\to Ab\to Set$ are Brown functors, def. .

Proof

The first condition on a Brown functor holds by definition of $H^\bullet$. For the second condition, given a homotopy pushout square

$$\array{ X_1 &\stackrel{f_1}{\longrightarrow}& Y_1 \\ \downarrow^{} && \downarrow \\ X_2 &\stackrel{f_2}{\longrightarrow}& Y_2 }$$

in $\mathcal{C}$, consider the induced morphism of the long exact sequences given by prop.

$$\array{ H^\bullet(coker(f_2)) &\longrightarrow& H^\bullet(Y_2) &\stackrel{f^\ast_2}{\longrightarrow}& H^\bullet(X_2) &\stackrel{}{\longrightarrow}& H^{\bullet+1}(\Sigma coker(f_2)) \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow && \downarrow && \downarrow^{\mathrlap{\simeq}} \\ H^\bullet(coker(f_1)) &\longrightarrow& H^\bullet(Y_1) &\stackrel{f^\ast_1}{\longrightarrow}& H^\bullet(X_1) &\stackrel{}{\longrightarrow}& H^{\bullet+1}(\Sigma coker(f_1)) }$$

Here the outer vertical morphisms are isomorphisms, as shown, due to the pasting law (see also at fiberwise recognition of stable homotopy pushouts).

This means that the four lemma applies to this diagram. Inspection shows that this implies the claim.

Examples

• ordinary cohomology: Eilenberg-Mac Lane spectrum

• K-theory: K-theory spectrum

• tmf

• cobordism cohomology theory

• Morava K-theory, integral Morava K-theory

• Morava E-theory

• stable cohomotopy

Properties

Expression by ordinary cohomology via Atiyah-Hirzebruch spectral sequence

The Atiyah-Hirzebruch spectral sequence serves to express generalized cohomology $E^\bullet$ in terms of ordinary cohomology with coefficients in $E^\bullet(\ast)$.

Whitehead theorem

Proposition

Let $\phi \colon E \longrightarrow F$ be a morphism of reduced generalized (co-)homology functors, def. (a natural transformation) such that its component

$$\phi(S^0) \colon E(S^0) \longrightarrow F(S^0)$$

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)

Related concepts

• Brown representability theorem

• generalized homology theory

• Kronecker pairing

• bivariant cohomology theory

• multiplicative cohomology theory

• Chern-Dold character

twisted generalized cohomology theory is conjecturally ∞-categorical semantics of linear homotopy type theory:

linear homotopy type theory	generalized cohomology theory	quantum theory
linear type	(module-)spectrum
multiplicative conjunction	smash product of spectra	composite system
dependent linear type	module spectrum bundle
Frobenius reciprocity	six operation yoga in Wirthmüller context
dual type (linear negation)	Spanier-Whitehead duality
invertible type	twist	prequantum line bundle
dependent sum	generalized homology spectrum	space of quantum states (“bra”)
dual of dependent sum	generalized cohomology spectrum	space of quantum states (“ket”)
linear implication	bivariant cohomology	quantum operators
exponential modality		Fock space
dependent sum over finite homotopy type (of twist)	suspension spectrum (Thom spectrum)
dualizable dependent sum over finite homotopy type	Atiyah duality between Thom spectrum and suspension spectrum
(twisted) self-dual type	Poincaré duality	inner product
dependent sum coinciding with dependent product	ambidexterity, semiadditivity
dependent sum coinciding with dependent product up to invertible type	Wirthmüller isomorphism
$(\sum_f \dashv f^\ast)$-counit	pushforward in generalized homology
(twisted-)self-duality-induced dagger of this counit	(twisted-)Umkehr map/fiber integration
linear polynomial functor	correspondence	space of trajectories
linear polynomial functor with linear implication	integral kernel (pure motive)	prequantized Lagrangian correspondence/action functional
composite of this linear implication with daggered-counit followed by unit	integral transform	motivic/cohomological path integral
trace	Euler characteristic	partition function

References

The original article on the Eilenberg–Steenrod axioms:

• Samuel Eilenberg, Norman E. Steenrod, Axiomatic Approach to Homology Theory, Proceedings of the National Academy of Sciences 31 4 (1945) 117–120 [doi:10.1073/pnas.31.4.117]

Further development and an expository account:

• Samuel Eilenberg, Norman Steenrod, Foundations of algebraic topology, Princeton 1952 (pdf, ISBN:9780691653297)

The concept of generalized homology obtained by discarding the dimension axiom and the observation that every spectrum induces an example is due to

• George Whitehead, Generalized homology theories, Transactions of the American Mathematical Society, 102 (1962) 227-283 (pdf, jstor:1993676)

The proof that every generalized (co)homology theory arises this way (Brown representability theorem) is due to

• Edgar Brown, Cohomology theories, Annals of Mathematics, Second Series 75: 467–484 (1962) (jstor:1970209)

• Edgar Brown, Abstract homotopy theory, Trans. AMS 119 no. 1 (1965) (doi:10.1090/S0002-9947-1965-0182970-6)

An early lecture note account is in

• Frank Adams, part III, sections 2 and 6 of Stable homotopy and generalised homology, 1974

Textbook accounts:

• 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.

• John Michael Boardman, Section 3 of: Stable Operations in Generalized Cohomology [pdf, pdf] in: Ioan Mackenzie James (ed.) Handbook of Algebraic Topology Oxford 1995 (doi:10.1016/B978-0-444-81779-2.X5000-7)

• Stanley Kochman, section 3.4 of Bordism, Stable Homotopy and Adams Spectral Sequences, AMS 1996

• Peter May chapter 18 of A Concise Course on Algebraic Topology, Chicago Lecture Notes 1999 (pdf)

• Marcelo Aguilar, Samuel Gitler, Carlos Prieto, section 12.1 of Algebraic topology from a homotopical viewpoint, Springer (2002) (toc pdf)

• Akira Kono, Dai Tamaki, Generalized cohomology, AMS 2002, esp. chapter 2 $[$pdf, ISBN: 978-0-8218-3514-2$]$

• Stefan Schwede, chapter II, section 6 of Symmetric spectra, 2012 (pdf)

Discussion in the further generality of equivariant cohomology is in

• Tammo tom Dieck, section 7 of Transformation Groups and Representation Theory, Lecture Notes in Mathematics 766, Springer 1979

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

• John Baez, TWF 149

Formulation in (infinity,1)-category theory is in

• Jacob Lurie, section 1.4.1 of Higher Algebra

More references relating to the nPOV on cohomology include:

• Mike Hopkins, Complex oriented cohomology theories and the language of stacks course notes (pdf)

• Jacob Lurie, A Survey of Elliptic Cohomology - cohomology theories

Formulation in homotopy type theory (cf. cohomology in homotopy type theory):

• Evan Cavallo, Section 3.2 of: Synthetic Cohomology in Homotopy Type Theory (2015) [pdf, pdf]

• Floris van Doorn, around Def. 5.4.2 in: On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory (2018) [arXiv:1808.10690, pdf]