Homotopy type of space of maps into a K(G,n)

DOI10.4310/HHA.2013.V15.N1.A8MaRDI QIDQ1947742zbMATH OpenOpenAlexFDO

Authors Jaka Smrekar

Publication date 23 April 2013

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4310/hha.2013.v15.n1.a8

zbMATH Keywords

Eilenberg MacLane spacefunction spacehomotopy type

Mathematics Subject Classification ID

Function spaces in general topology (54C35) Classification of homotopy type (55P15) Eilenberg-Mac Lane spaces (55P20)

Review text

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.

Recommendations

• Mapping spaces and homology isomorphisms
• Homotopy type of mapping spaces and existence of geometric exponents
• scientific article; zbMATH DE number 490900
• On Stable Maps From Eilenberg-Maclane Spaces to Classifying Spaces
• scientific article; zbMATH DE number 4147094

Cited in

(4)

• Mapping spaces and homology isomorphisms
• The homotopy type of spacesxwith fundamental groupoid 𝔤 and an unique non-trivial homotopy 𝔤-module ∏_n(X)
• Mapping spaces and M-CW complexes
• Spaces of functions and sections with paracompact domain

This page was built for publication: Homotopy type of space of maps into a \(K(G,n)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1947742)