On Margulis cusps of hyperbolic \(4\)-manifolds (Q2256251)

In this paper, the geometry of the Margulis region is studied associated with an irrational screw translation (i.e. translation+rotation) \(g\), acting on the 4-dimensional real hyperbolic space. Such a region is an invariant domain with a parabolic fixed point of \(g\) on its boundary which plays the role of an invariant horoball for a translation in dimensions \(\leq 3\). The boundary of the Margulis region is described in terms of a function \(\mathcal B_\alpha : [0, \infty) \to \mathbb R\) which depends only on the rotation angle \(\alpha \in \mathbb R/ \mathbb Z\) of \(g\). The authors obtain an asymptotically universal upper bound for \(\mathcal B_\alpha(r)\) when \(r \to \infty\) for arbitrary irrational \(\alpha\), lower bounds in the case \(\alpha\) is Diophatine and the optimal bound when \(\alpha\) is of bounded type. Some implications of these results are given for the geometry of Margulis cusps of hyperbolic 4-manifolds that correspond to irrational screw translations acting on the universal cover. In particular, the bi-Lipschitz rigidity of these cusps is proved. The authors indicate that the results presented in this paper have analogs in dimensions \(>4\), which are currently being investigated by them and will be the subject of a subsequent paper.