an:04169689
Zbl 0711.57022
Sankaran, P.; Varadarajan, K.
Acyclicity of certain homeomorphism groups
EN
Can. J. Math. 42, No. 1, 80-94 (1990).
00155931
1990
j
57S05 20J99 54H15
pseudo-mitotic group; acyclic groups; group of homeomorphisms of the rationals; group of homeomorphisms of the Cantor set
A group G is called pseudo-mitotic if for every finitely generated subgroup B there are homomorphisms \(\sigma\) and \(\delta\) of B into G and an inner automorphism \(\gamma\) of G such that \(\sigma =\delta \gamma\), and \(b\delta =b(b\sigma)\) for all \(b\in B\), and \([b',b\sigma]=1\) for all \(b,b'\in B\). A group is said to be acyclic if all its homology groups over the integers with trivial group action vanish in all dimensions \(\geq 1\). It was proved by the second author [J. Pure Appl. Algebra 37, 205-213 (1985; Zbl 0569.20039)] that pseudo-mitotic groups are acyclic and that the group \(G_ n\) of homeomorphisms of \({\mathbb{R}}^ n\) with compact support is pseudo-mitotic. In the present paper techniques are developed to prove pseudo-mitoticity of certain other homeomorphism groups. It is proved among others that the group of homeomorphisms of the rationals \({\mathbb{Q}}\) (resp. the irrationals) with bounded support is pseudo-mitotic, in particular acyclic. This result is inspired by a result of \textit{D. M. Kan} and \textit{W. P. Thurston} [Topology 15, 253-258 (1976; Zbl 0355.55004)]. It is also proved that the group of homeomorphisms of the Cantor set which are the identity in a neighbourhood of 0 and 1 is pseudo-mitotic and hence acyclic.
V.L.Hansen
Zbl 0569.20039; Zbl 0355.55004