Mobius Transformations and the Poincare Distance in the Quaternionic Setting

In the space H of quaternions, we investigate the natural, invariant geometry of the open, unit disc Delta(H) and of the open half-space H(+). These two domains are diffeomorphic via a Cayley-type transformation. We first study the geometrical structure of the groups of Mobius transformations of Delta(H) and H(+) and identify original ways of representing them in terms of two (isomorphic) groups of matrices with quaternionic entries. We then define the cross-ratio of four quaternions, prove that, when real, it is invariant under the action of the Mobius transformations, and use it to define the analog of the Poincare distances and differential metrics on Delta(H) and H(+).