Aritmethic lattices of \(\operatorname{SO}(1,n)\) and units of group rings (Q6103331)

Let \(G\) be a group. \(G\) is conjugacy separable if given any two elements \(x\) and \(y\) that are non-conjugate in \(G\), there exists some finite quotient of \(G\) in which the images of \(x\) and \(y\) are not conjugate. \(G\) is virtually compact special if it has a finite index subgroup isomorphic to the fundamental group of a compact special cube complex and \(G\) is toral relatively hyperbolic if \(G\) is torsion-free, and hyperbolic relative to a finite set of finitely generated abelian subgroups. The main result of the paper under review is Theorem 1.1: Let \(G\) be a group having compact special and toral relatively hyperbolic subgroup of finite index. Then \(G\) is conjugacy separable. As a consequence of Theorem 1.1, the authors also prove Theorem 1.2: Standard arithmetic lattices of special orthogonal groups \(\mathrm{SO}(1, n)\) are conjugacy separable. The results above allow the authors to prove conjugacy separability for the group of units \(\mathcal{U}(\mathbb{Z}(G)\) of the integral group rings of some finite groups \(G\). These groups of units have nice residual properties that allows to approach the question to what extent a finitely generated group is determined by its finite quotients or equivalently by its profinite completion for \(U(\mathbb{Z}G)\).