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 {\displaystyle n} -dimensional CW complex X {\displaystyle X} and a n − 1 {\displaystyle n-1} -connected space Y {\displaystyle Y} , the well-defined map:
[ X , Y ] → H n ( X , π n ( Y ) ) , [ f ] ↦ f ∗ ι {\displaystyle [X,Y]\rightarrow H^{n}(X,\pi _{n}(Y)),[f]\mapsto f^{*}\iota }
with a certain cohomology class ι ∈ H n ( Y , π n ( Y ) ) {\displaystyle \iota \in H^{n}(Y,\pi _{n}(Y))} is an isomorphism. The Hurewicz theorem claims that the well-defined map π n ( Y ) → H n ( Y , Z ) , [ f ] ↦ f ∗ [ S n ] {\displaystyle \pi _{n}(Y)\rightarrow H_{n}(Y,\mathbb {Z} ),[f]\mapsto f_{*}[S^{n}]} with a fundamental class [ S n ] ∈ H n ( S n , Z ) ≅ Z {\displaystyle [S^{n}]\in H_{n}(S^{n},\mathbb {Z} )\cong \mathbb {Z} } is an isomorphism and that H n − 1 ( Y , Z ) ≅ 1 {\displaystyle H_{n-1}(Y,\mathbb {Z} )\cong 1} , which implies Ext Z 1 ( H n − 1 ( Y , Z ) , π n ( Y ) ) ≅ 1 {\displaystyle \operatorname {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 , π n ( Y ) ) ≅ Hom Z ( H n ( Y , Z ) , π n ( Y ) ) ≅ End Z ( π n ( Y ) ) . {\displaystyle H^{n}(Y,\pi _{n}(Y))\cong \operatorname {Hom} _{\mathbb {Z} }(H_{n}(Y,\mathbb {Z} ),\pi _{n}(Y))\cong \operatorname {End} _{\mathbb {Z} }(\pi _{n}(Y)).}
… excerpt ends here. Continue reading the full article.
