A theorem on discrete, torsion free subgroups of Isom \(\mathbf H^n\) (Q2387791)

Let \(H^n\) be the hyperbolic \(n-\)space with \(n\geq 2\), \(\Gamma\) be a discrete, torsion free subgroup of isometries of \(H^n\), and let \(p\) denote the projection map from \(H^n\) to the quotient manifold \(M=H^n/ \Gamma\) and \(\Omega(\Gamma)\) be the domain of discontinuity of \(\Gamma\). The aim of this paper is to prove the existence of an open neighborhood \(U\) of \(a\) in \(\Omega(\Gamma)\cup H^n\) for any \(a\in \Omega(\Gamma)\) such that \(p\) is an isometry on \(U\cap H^n\).