Cell-like resolutions preserving cohomological dimensions (Q1880615)

A compactum \(X\) has cohomological dimension at most \(n\) with respect to an abelian group \(G\), denoted by \(\dim_G X \leq n\), provided that \(\check{H}^{n+1}(X,A;G) = 0\) for any closed subset \(A\) of \(X\). It is folklore that \(\dim X = \dim_{\mathbb{Z}} X\) if \(X\) is finite-dimensional. The first example of an infinite-dimensional compactum with finite integral cohomological dimension was constructed by \textit{A. N. Dranishnikov} [Mat. Sb., N. Ser. 135, No.4, 551-557(1988; Zbl 0643.55001)]. The Edwards-Walsh resolution theorem is an excellent result to clarify the relation between dimension and cohomological dimension. Namely, for every compactum \(X\) with \(\dim_{\mathbb{Z}}X \leq n\) there is a compactum \(Z\) with \(\dim Z \leq n\) and a cell-like map \(f:Z \to X\). Here a compactum \(Y\) is cell-like if any map \(h:Y \to K\) to a CW-complex \(K\) is null-homotopic, and a map is cell-like if all its fibers are cell-like. In order to construct a cell-like map from \(\mathbb{I}^6 \) onto an infinite-dimensional compactum for each prime number \(p\), \textit{A. N. Dranishnikov} [Trans. Am. Math. Soc. 335, No. 1, 91--103 (1993; Zbl 0770.55006)] constructed an infinite-dimensional compactum \(X\) with \(\dim_{\mathbb{Z}/p} X \leq 2\) and \(\dim_{\mathbb{Z}[1/p]} X \leq 2\). For such a compactum \(X\) with \(\dim_{\mathbb{Z}/p} X \leq n\) and \(\dim_{\mathbb{Z}[1/p]} X \leq n\) he also constructed a compactum \(Z\) with \(\dim Z \leq n+1\) and \(\dim_{\mathbb{Z}/p} Z \leq n\) and \(\dim_{\mathbb{Z}[1/p]} Z \leq n\) and a cell-like resolution \(f:Z \to X\). Note that those two inequalities imply that \(\dim_{\mathbb{Z}} X \leq n+1\). For every pair \(p, q\) of distinct prime numbers and given integers \(1 \leq m_p, m_q < n\), the reviewer and \textit{K. Yokoi} [Topology Appl. 113, No. 1--3, 87--106 (2001; Zbl 1153.55300)] constructed an infinite-dimensional compactum \(X\) such that \(\dim_{\mathbb{Z}} X = n\), \(\dim_{\mathbb{Z}/p} X = m_p\) and \(\dim_{\mathbb{Z}_{(q)}}X = m_q\). This means that for an arbitrary abelian group \(G\) and natural numbers \(n < m\) there exists an infinite-dimensional compactum \(X\) such that \(\dim_G X = n < m = \dim_{\mathbb{Z}} X\). For an infinite-dimensional compactum \(X\) with \(2 \leq n =\dim_{\mathbb{Z}/p} X = \dim_{\mathbb{Z}_{(q)}}X\) and \(\dim_{\mathbb{Z}} X \leq n+1\) they also constructed an \((n+1)\)-dimensional compactum \(Z\) with \(n =\dim_{\mathbb{Z}/p} Z = \dim_{\mathbb{Z}_{(q)}} Z\) and a cell-like map \(f:Z \to X\). They posed a problem about general cases, called the cell-like resolution problem of type \((p,q;m+p,m_q,n)\). In this paper the author shows that for every compactum \(X\) with \(\dim_{\mathbb{Z}}X \leq n \geq 2\) there exists a compactum \(Z\) with \(\dim Z \leq n\) and a cell-like resolution \(f:Z \to X\) such that if \(\dim_G X \leq k\) for some abelian group \(G\) and some integer \(k\), then \(\dim_G Z \leq k\). As a consequence it follows that if e-\(\dim X \leq K\) for some simply connected CW-complex \(K\), then e-\(\dim Z \leq K\).