Resolving rational cohomological dimension via a Cantor group action (Q498743): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Normalize DOI. |
||
Property / DOI | |||
Property / DOI: 10.2140/agt.2015.15.2427 / rank | |||
Property / DOI | |||
Property / DOI: 10.2140/AGT.2015.15.2427 / rank | |||
Normal rank |
Revision as of 02:52, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Resolving rational cohomological dimension via a Cantor group action |
scientific article |
Statements
Resolving rational cohomological dimension via a Cantor group action (English)
0 references
29 September 2015
0 references
Spaces dealt with in this paper are separable and metrizable. For each such space \(X\), one may deal with its covering dimension, dim\(X\), or its cohomological dimension over an abelian group \(G\), denoted dim\(_G X\). In [Algebr. Geom. Topol. 5, 219--235 (2005; Zbl 1081.55001)], \textit{M. Levin} proved the \(\mathbb{Q}\)-resolution theorem: if \(X\) is a compactum with dim\(_{\mathbb{Q}}X=n\), \(n\geq2\), then there exists a compactum \(Z\) with dim\(Z=n\) and a surjective \(\mathbb{Q}\)-acyclic map \(\pi:Z\to X\). The latter means that each fiber \(\pi^{-1}(x)\) has trivial reduced Čech cohomology with respect to the group \(\mathbb{Q}\). In this way there is established a certain correspondence between spaces of rational cohomological dimension \(n\geq2\) and those of the same covering dimension \(n\geq2\). The current paper produces a different relation. A Cantor group is a topological group that is homeomorphic to a Cantor set. We state the main result of the paper. Theorem 1.1. Let \(n\geq0\) be an integer and \(X\) be a compactum with dim\(_G X=n\). Then there is a compactum \(Z\) with dim\(Z=n\) and an action of a Cantor group \(\Gamma\) on \(Z\) such that \(X=Z/\Gamma\). Moreover, the action of \(\Gamma\) can be assumed to be free if \(n=1\).
0 references
Cantor group
0 references
Čech cohomology
0 references
cohomological dimension
0 references
covering dimension
0 references
group action
0 references
\(\mathbb{Q}\)-acyclic map
0 references