On limit sets of 4-dimensional Kleinian groups with 3 generators (Q989209)

The author considers groups \(G=\langle f,g,h\rangle\), where \(f,g,h\) are \(4\)-dimensional Möbius transformations (conformal automorphisms of the \(4\)-dimensional sphere) such that \(g\) and \(h\) are simple parabolic transformations, the commutators \([f,g]\) and \([f,h]\) are elliptic of order two, the commutator \([g,h]=1\), and \(G\) preserves a \(4\)-dimensional ball \(B\) (that is, \(G\) can be seen as a group of orientation preserving isometries of the hyperbolic \(4\)-dimensional space). Then, using the classical representation of \(4\)-dimensional Möbius transformations as two-by-two matrices with entries in the quaternions, the author provides an explicit representation of the groups \(G\) above. This provides a parameterization in terms of two parameters, one of them is of the form \(t=t_{1}+t_{2}j+t_{3}k\), and the other is a complex number \(p\) of absolute value one. If \(H=\langle g,h,f^{-1}gf, f^{-1}hf\rangle\), then the existence of a \(2\)-dimensional sphere \(P\) inside the boundary of \(B\) (a \(3\)-dimensional sphere) is proved, which is invariant under the action of \(H\) (that is, \(H\) can be seen as a group of hyperbolic isometries of the \(3\)-dimensional hyperbolic space). If \(p \in \{\pm i, \pm \exp(\pi i/3), \pm \exp(2\pi i/3)\}\), then it is proved that \(H\) is discrete, and \(P\) is the limit set of \(H\). So, in these cases, the limit set of \(G\) consists of infinitely many tangential \(2\)-dimensional spheres. In the last section the author provides a computer simulation of the limit sets for some of these cases.