IDEAL RIGHT-ANGLED PENTAGONS IN HYPERBOLIC 4-SPACE

An ideal right-angled pentagon in hyperbolic 4-space H-4 is a sequence of oriented geodesics (L1, ... ,L5) such that L-i intersects Li+1, i = 1, ... ,4, perpendicularly in H-4 and the initial point of L-1 coincides with the endpoint of L-5 in the boundary at infinity partial derivative H-4. We study the geometry of such pentagons and the various possible augmentations and prove identities for the associated quaternion half side lengths as well as other geometrically defined invariants of the configurations. As applications we look at two-generator groups A, B of isometries acting on hyperbolic 4-space such that A is parabolic, while B and AB are loxodromic.