On discreteness of subgroups of quaternionic hyperbolic isometries

Krishnendu Gongopadhyay, Mukund Madhav Mishra, Devendra Tiwari

Let ${{\mathbf{H}}_{\mathbb{H}}}^n$ denote the $n$-dimensional quaternionic hyperbolic space. The linear group $\mathrm{Sp}(n,1)$ acts by the isometries of ${{\mathbf{H}}_{\mathbb{H}}}^n$. A sub…