Hopf–Whitney theorem

Template:More footnotes In mathematics, especially algebraic topology and homotopy theory, the Hopf–Whitney theorem is a result relating the homotopy classes between a CW complex and a multiply connected space with singular cohomology classes of the former with coefficients in the first nontrivial homotopy group of the latter. It can for example be used to calculate cohomotopy as spheres are multiply connected.

Statement

For a $n$-dimensional CW complex $X$ and a $n-1$-connected space $Y$, the well-defined map:

$[X,Y]\to H^n(X,{\pi }_n(Y)),[f]\mapsto f^{\ast }\iota$

with a certain cohomology class $\iota \in H^n(Y,{\pi }_n(Y))$ is an isomorphism.

The Hurewicz theorem claims that the well-defined map ${\pi }_n(Y)\to H_n(Y,\mathbb{Z}),[f]\mapsto f_{\ast }[S^n]$ with a fundamental class $[S^n]\in H_n(S^n,\mathbb{Z})\cong \mathbb{Z}$ is an isomorphism and that $H_{n-1}(Y,\mathbb{Z})\cong 1$, which implies ${\mathrm{Ext}}_{\mathbb{Z}}^1(H_{n-1}(Y,\mathbb{Z}),{\pi }_n(Y))\cong 1$ for the Ext functor. The Universal coefficient theorem then simplifies and claims:

$H^n(Y,{\pi }_n(Y))\cong {\mathrm{Hom}}_{\mathbb{Z}}(H_n(Y,\mathbb{Z}),{\pi }_n(Y))\cong {\mathrm{End}}_{\mathbb{Z}}({\pi }_n(Y)).$

$\iota \in H^n(Y,{\pi }_n(Y))$ is then the cohomology class corresponding to the identity $\mathrm{id}\in {\mathrm{End}}_{\mathbb{Z}}({\pi }_n(Y))$.

In the Postnikov tower removing homotopy groups from above, the space $Y_n$ only has a single nontrivial homotopy group ${\pi }_n(Y_n)\cong {\pi }_n(Y)$ and hence is an Eilenberg–MacLane space $K({\pi }_n(Y),n)$ (up to weak homotopy equivalence), which classifies singular cohomology. Combined with the canonical map $Y\to Y_n\simeq K({\pi }_n(Y),n)$, the map from the Hopf–Whitney theorem can alternatively be expressed as a postcomposition:

$[X,Y]\to [X,K({\pi }_n(Y),n)]\cong H^n(X,{\pi }_n(Y)).$

Examples

For homotopy groups, cohomotopy sets or cohomology, the Hopf–Whitney theorem reproduces known results but weaker:

• For every $n-1$-connected space $Y$ one has:

$[S^n,Y]\cong H^n(S^n,{\pi }_n(Y))\cong {\pi }_n(Y).$

In general, this holds for every topological space by definition.

• For a $n$-dimensional CW complex $X$ one has:

$[X,S^n]\cong H^n(X,{\pi }_n(S^n))\cong H^n(X,\mathbb{Z}).$

For $n=1$, this also follows from $S^1\simeq K(\mathbb{Z},1)$.

• For a topological group $G$ and a natural number $n$, the Eilenberg–MacLane space $K(G,n)$ is $n-1$-connected by construction, hence for every $n-1$-dimensional CW-complex $X$ one has:

$[X,K(G,n)]\cong H^n(X,{\pi }_{n}K(G,n))\cong H^n(X,G)$

In general, this holds for every topological space. The Hopf–Whitney theorem produces a weaker result because the fact that the higher homotopy groups of an Eilenberg–MacLane space also vanish does not enter.

Literature

• Template:Cite journal
• Template:Cite journal