Extensions of maps to Moore spaces (Q499008): Difference between revisions

The extension dimension of a metrizable space \(X\) is dominated by a CW-complex \(K\), written \(\text{e-dim} X\leq K\), if every map \(f: A\to K\) from a closed subset \(A\) of \(X\) continuously extends over \(X\). For any abelian group \(G\), the cohomological dimension \(\dim_G X \leq n\) is equivalent to \(\text{e-dim} X\leq K(G,n)\), where \(K(G,n)\) is the Eilenberg-MacLane complex of type \((G,n)\). Dranishnikov's Extension Theorem [\textit{A. N. Dranishnikov}, Mat. Sb. 182, No. 9, 1300--1310 (1991; Zbl 0739.55007)] relates the following two conditions for any CW complex \(K\) and metrizable space \(X\): (i) \(\dim_{H_n(K)} X \leq n\) for every \(n\geq 0\) and (ii) \(\text{e-dim} X\leq K\). The theorem states: (ii) implies (i), and (i) implies (ii) if \(K\) is simply connected, \(\dim X <\infty\). This result implies that for any \(n>1\), \(\dim_G \leq n\) if and only if \(\text{e-dim} X\leq M(G,n)\). Here \(M(G,n)\) is a Moore space of type \((G,n)\). Thus an interesting question is: If \(M(G,1)\) is a Moore space whose fundamental group is abelian, does \(\text{e-dim} X\leq M(G,1)\) hold for any finite-dimensional metrizable space \(X\) with \(\dim_G X \leq 1\)? The authors have affirmatively answered this question for \(G = {\mathbb Z}_2\) in [Algebr. Geom. Topol. 9, No. 1, 549--568 (2009; Zbl 1171.54026)]. The main purpose of this paper is to extend this result to a Moore space \(M({\mathbb Z}_m,1)\). More precisely, the main theorem states: \(\text{e-dim} X\leq M({\mathbb Z}_m,1)\) for any finite-dimensional metrizable space \(X\) with \(\dim_{{\mathbb Z}_m} X \leq 1\).