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

    Identifiers