Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Alternate proofs for the \(n\)-dimensional resolution theorems - MaRDI portal

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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Alternate proofs for the \(n\)-dimensional resolution theorems
scientific article

    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