Paper 1, Section II, F

Geometry and Groups
Part II, 2014

Prove that an orientation-preserving isometry of the ball-model of hyperbolic space H3\mathbb{H}^{3} which fixes the origin is an element of SO(3)S O(3). Hence, or otherwise, prove that a finite subgroup of the group of orientation-preserving isometries of hyperbolic space H3\mathbb{H}^{3} has a common fixed point.

Can an infinite non-cyclic subgroup of the isometry group of H3\mathbb{H}^{3} have a common fixed point? Can any such group be a Kleinian group? Justify your answers.