Acyclic covers (Q1300303): Difference between revisions
From MaRDI portal
m rollbackEdits.php mass rollback Tag: Rollback |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s000140050084 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4242982029 / rank | |||
Normal rank |
Latest revision as of 17:42, 21 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Acyclic covers |
scientific article |
Statements
Acyclic covers (English)
0 references
3 May 2000
0 references
Whitehead's asphericity question, cf. e.g. [\textit{R. Brown} and \textit{J. Huebschmann}, Identities among relations, in `Low-dimensional topology', Lond. Math. Soc. Lect. Note Ser. 48, 153-202 (1982; Zbl 0485.57001)], asks whether any subcomplex of an aspherical 2-complex is itself aspherical. Given a class \(\mathcal P\) of groups containing the trivial group, the acyclic cover questions asks whether, under the assumption that \(X'\) be acyclic, \(\pi_1(X')\) is in \(\mathcal P\) only if \(X'\) is contractible. In the paper under review, it is proved that, given a class of groups \(\mathcal P\), if there exists a subcomplex \(L\) of an aspherical 2-complex \(K\) which is not aspherical, and if the maximal perfect subgroup of \(\pi_1(L)\) is in \(\mathcal P\), there exists a regular, acyclic, infinite cyclic cover \(Y'\) of some 2-complex \(Y\) having \(\pi_1(Y')\) in \(\mathcal P\). Hence a positive answer to the acyclic cover question would limit the maximal perfect subgroups that could appear in any counterexample to the asphericity question. In the paper, some evidence for a positive answer to the acyclic cover question is given for the class of finite groups. More precisely, it is proved that, given a regular infinite cyclic cover \(X'\) of a finite 2-complex \(X\), when \(X'\) is acyclic and has \(\pi_1(X')\) amenable, it is necessarily aspherical; hence when \(\pi_1(X')\) is finite, it is necessarily trivial and \(X'\) is contractible. (A group is amenable if every action thereof on a compact metric space has an invariant Borel measure.).
0 references
2-complexes
0 references
covering spaces
0 references
amenable groups
0 references
Whitehead's asphericity question
0 references