Translations and associated Dirichlet polyhedra in complex hyperbolic space (with an Epilogue by John R. Parker) (Q1397900)

In the paper is studied a nonidentity transvection (i.e. (strictly) hyperbolic isometry) or nonidentity Heisenberg translation \(f\) of complex hyperbolic space \(\text{CH}^n\) and a Dirichlet polyhedron \(P\) of the cyclic group \(\langle f\rangle\). There are four main results: (a) If \(z\in \text{CH}^n\), and the axis of a nonidentity transvection are not complex collinear, then, roughly speaking, any two distinct `naturally arising' geodesics passing through \(z\) are not complex collinear. (b) If \(g\) is also a transvection or Heisenberg translation of \(\text{CH}^n\) and \(z\in \text{CH}^n\) such that \(f(z)= g(z)\) and \(f^{-1}(z)= g^{-1}(z)\), then \(f= g\). (c) All this kinds of polyhedra are classified up to congruence in \(\text{CH}^n\). (d) It is obtained an equivalent condition for \(P\) to be cospinal (which means the complex spines of the two sides of \(P\) coincide) in terms of the distance of the spines of the two sides of \(P\).