关于 Isom $H^n$ 的离散无挠子群的一个定理

设 $H^n$ 为双曲 $n$-空间，$n\geq 2$。假设 $\Gamma<\mathrm{Isom}\, H^n$ 是一个离散、无挠子群，且 $a$ 是不连续域 $\Omega(\Gamma)$ 中的一点。令 $p$ 为从 $H^n$ 到商流形 $M=H^n/\Gamma$ 的投影映射。本文证明存在 $a$ 在 $H^n\cup\Omega(\Gamma)$ 中的开邻域 $U$，使得 $p$ 在 $U\cap H^n$ 上是等距。