A discreteness criterion for subgroups of \({\mathbf{PU}(2,1)}\) with screw parabolic elements (Q2252099)

The authors establish a discreteness criterion for subgroups of \(\mathrm{PU}(2,1)\) that contain a screw parabolic element \(g\). The work relies on the geometry of the Margulis region and it is motivated by works of \textit{V. Erlandsson} and \textit{S. Zakeri} [``On Margulis cusps of hyperbolic 4-manifolds'', \url{arXiv:1304.5316}; ``A discreteness criterion for groups containing parabolic isometries'', \url{arXiv:1304.2298}]. An explicit region precisely invariant under the stabilizer of the fixed point of \(g\) is given. The result in this paper is a generalization of a result which gives a necessary condition for a subgroup of \(\mathrm{PSL}(2,\mathbb{R})\) to be discrete and which is due to \textit{H. Shimizu} [Ann. Math. (2) 77, 33--71 (1963; Zbl 0218.10045)].