Alternate proofs for the \(n\)-dimensional resolution theorems (Q2052568)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 7434152
Language Label Description Also known as
default for all languages
No label defined
    English
    Alternate proofs for the \(n\)-dimensional resolution theorems
    scientific article; zbMATH DE number 7434152

      Statements

      Alternate proofs for the \(n\)-dimensional resolution theorems (English)
      0 references
      0 references
      0 references
      26 November 2021
      0 references
      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.].
      0 references
      absolute co-extensor
      0 references
      absolute neighborhood retract
      0 references
      cell-like
      0 references
      cohomological dimension
      0 references
      compactum
      0 references
      CW-complex
      0 references
      dimension
      0 references
      Eilenberg-MacLane CW-complex
      0 references
      \(G\)-acyclic
      0 references
      inverse sequence
      0 references

      Identifiers