Skip to main content
1 of 3
Misha
  • 31.2k
  • 1
  • 94
  • 163

First of all, fundamental groups of compact hyperbolizable 3-manifolds (with or without boundary) are LERF, this is one corollary of the work by Agol, Haglund and Wise. The LERF property is unaffected by passing to finite index subgroup. All torsion-free finitely generated discrete subgroups of $PSL(2,C)$ are fundamental groups of compact hyperbolizable 3-manifolds (follows from Thurston's work). Therefore, all finitely generated discrete subgroups of $PSL(2,C)$ are LERF.

As for infinitely generated discrete subgroups, they might not even contain proper finite index subgroups: See Ian Agol's example in Non-residually finite matrix groups and the comment in the end. I did not think about this for a long time, but I think that comment was correct.

Misha
  • 31.2k
  • 1
  • 94
  • 163