Homotopy type of space of maps into a \(K(G,n)\) (Q1947742)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homotopy type of space of maps into a \(K(G,n)\) |
scientific article |
Statements
Homotopy type of space of maps into a \(K(G,n)\) (English)
0 references
23 April 2013
0 references
Let \(X\) be a connected CW complex, \(G\) an abelian group, and let \(K(G,n)\) denote the Eilenberg MacLane space of type \((G,n)\). Let \(\text{map}_*(X,Y)\) denote the space of pointed maps \(f:X\to Y\). In this paper, the author proves that the space \(\text{map}_*(X,K(G,n))\) is homotopy equivalent to the cartesian product \(\prod_{i\leq n}(\text{map}_*(M_i,K(G,n))\), where \(M_i\) denotes the Moore space of type \((H_i(X,\mathbb Z),i)\). In particular, he shows that if \(X^{\prime}\) is a CW complex and it is homotopy equivalent to \(X\), \(\text{map}_*(X,K(G,n))\) and \(\text{map}_*(X^{\prime},K(G,n))\) are homotopy equivalent. The proof is based on the minimal decomposition of CW complexes.
0 references
function space
0 references
homotopy type
0 references
Eilenberg MacLane space
0 references