A theorem on discrete, torsion free subgroups of Isom $H^n$

Let $H^n$ be the hyperbolic n-space with $n\geq 2$. Suppose that $Γ<Isom H^n$ is a discrete, torsion free subgroup and $a$ is a point in the domain of discontinuity $Ω(Γ)$. Let $p$ be the projection map from $H^n$ to the quotient manifold $M=H^n/Γ$. In this paper we prove that there exists an open neighborhood $U$ of $a$ in $H^n\cupΩ(Γ)$ such that $p$ is an isometry on $U\cap H^n$.

Abstract licence: CC0

A person counts once a day per paper. We keep no cookie and no address: a reader is a hash that changes every day. Any month under five reads shows no number.