Universal acyclic resolutions for arbitrary coefficient groups (Q4811286)

This paper is a sequel to the author's paper [Topology Appl. 135, No. 1--3, 101--109 (2004; Zbl 1038.55001)] in which a theorem similar to the main result of the current paper is proved under a more restricted set of conditions on the given abelian group \(G\). It may be considered as part of a series of research articles in the area of resolution theory in cohomological dimension, or now more generally, in extension theory. The first of these, the Edwards-Walsh resolution theorem, was instrumental in \textit{A. Dranishnikov's} [Math. USSR, Sb. 63, No. 2, 539--546 (1989); translation from Mat. Sb., Nov. Ser. 135(177), No. 4, 551--557 (1988; Zbl 0667.55002)] simultaneous solution of Alexandroff's problem about the correlation between covering dimension and cohomological dimension modulo \(\mathbb Z\) (these dimensions are not necessarily equal) and the cell-like map dimension raising problem (such maps can raise dimension). To see other recent developments in the area of resolution theory, one should consult \textit{M. Levin} [Isr. J. Math., 135, 193--203 (2003; Zbl 1054.55002)] and \textit{L. Rubin} and \textit{P. Schapiro} [Resolutions for metrizable compacta in extension theory, Trans. Am. Math. Soc., to appear]. The latter traces some of the history of this subject. The main result of this paper can be stated as follows. Theorem. Let \(X\) be a metrizable compactum and \(n\geq 2\). Then there exist a metrizable compactum \(Z\) with dim\(Z\leq n+1\) and a surjective UV\(^{n-1}\)-map \(r:Z\rightarrow X\) having the property that for every abelian group \(G\) and every integer \(k\), \(2\leq k\leq n\), such that dim\(_G X\leq k\), dim\(_G Z\leq k\) and \(r\) is \(G\)-acyclic. To say that \(r\) is \(G\)-acyclic means that each fiber \(r^{-1}(x)\) of \(r\) is \(G\)-acyclic, that is, all the reduced Čech cohomology of \(r^{-1}(x)\) with respect to \(G\) is trivial. The designation UV\(^{n-1}\)-map requires that each fiber have property \(k\)-UV whenever \(0\leq k\leq n-1\). This translates to the statement that whenever \(r^{-1}(x)\) is embedded in an ANR and \(U\) is a neighborhood of it, then there is a smaller neighborhood \(V\) of \(r^{-1}(x)\) having the property that every map of \(S^k\) into \(V\) is homotopic to a constant in \(U\).