Commensurators of finitely generated nonfree Kleinian groups. (Q631326)

This article was inspired by the question of whether there is a broad generalization of the theorem of Margulis by replacing the finite covolume hypothesis by the weaker assumption that the group only be Zariski dense. Let \(\Gamma\) be a finitely generated torsion-free Kleinian group of the first kind which is not a lattice and \(C(\Gamma)\) be the commensurator of \(\Gamma\). The authors show that if \(\Gamma\) is not free and contains no parabolic elements then \(C(\Gamma)\) is discrete, furthermore, \([C(\Gamma ):\Gamma]=\infty\) if and only if \(\Gamma\) is a fiber group, in this case, \(C(\Gamma)\) is a lattice.