Alternate proofs for the n-dimensional resolution theorems

From MaRDI portal
Publication:2052568



Abstract: We present new, unified proofs for the cell-like, mathbbZ/p-, and mathbbQ-resolution theorems. Our arguments employ extensions that are much simpler then those used by our predecessors. The techniques allow us to solve problems involving cohomology groups by converting them into problems about homology groups. We provide a coordinated general topological method for constructing the maps needed to witness the resolution theorems simultaneously.


In this paper the authors give alternative new unified proofs for the following resolution theorems in cohomological dimension theory: 1) (Cell-like resolution theorem) Let \(n\in\mathbb{N}\) and \(X\) be a nonempty metrizable compactum with \(\dim_{\mathbb{Z}}X\leq n\). Then there exists a metrizable compactum \(Z\) with \(\dim Z \leq n\) and a surjective cell-like map \(\pi: Z\to X\). 2) (\(\mathbb{Z}/p\)-resolution theorem) Let \(n\in\mathbb{N}\), \(p\in\mathbb{N}\) with \(p\geq 2\), and \(X\) be a nonempty metrizable compactum with \(\dim_{\mathbb{Z}/p}X\leq n\). Then there exists a metrizable compactum \(Z\) with \(\dim Z \leq n\) and a surjective \(\mathbb{Z}/p\)-acyclic map \(\pi: Z\to X\). 3) (\(\mathbb{Q}\)-resolution theorem) Let \(n\in\mathbb{N}\) with \(n\geq 2\), and \(X\) be a nonempty metrizable compactum with \(\dim_{\mathbb{Q}}X\leq n\). Then there exists a metrizable compactum \(Z\) with \(\dim Z \leq n\) and a surjective \(\mathbb{Q}\)-acyclic map \(\pi: Z\to X\). The original proofs for the theorems can be found in [\textit{J. J. Walsh}, Lect. Notes Math. 870, 105--118 (1981; Zbl 0474.55002); \textit{M. Levin}, Algebr. Geom. Topol. 5, 219--235 (2005; Zbl 1081.55001)]. The authors use extensions (of maps) that are much simpler than those used by the previous proofs, which employed more complicated extensions such as Edward-Walsh resolutions [\textit{J. J. Walsh}, loc. cit.].











This page was built for publication: Alternate proofs for the \(n\)-dimensional resolution theorems

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