Quaternionic hyperbolic Fenchel-Nielsen coordinates

From MaRDI portal



Abstract: Let Sp(2,1) be the isometry group of the quaternionic hyperbolic plane . An element g in Sp(2,1) is `hyperbolic' if it fixes exactly two points on the boundary of . We classify pairs of hyperbolic elements in Sp(2,1) up to conjugation. A hyperbolic element of Sp(2,1) is called `loxodromic' if it has no real eigenvalue. We show that the set of Sp(2,1) conjugation orbits of irreducible loxodromic pairs is a (mathbbCmathbbP1)4-bundle over a topological space that is locally a semi-analytic subspace of mathbbR13. We use the above classification to show that conjugation orbits of `geometric' representations of a closed surface group (of genus ggeq2) into Sp(2,1) can be determined by a system of 42g−42 real parameters. Further, we consider the groups Sp(1,1) and GL(2,mathbbH). These groups also act by the orientation-preserving isometries of the four and five dimensional real hyperbolic spaces respectively. We classify conjugation orbits of pairs of hyperbolic elements in these groups. These classifications determine conjugation orbits of `geometric' surface group representations into these groups.


This paper deals with spaces of representations of discrete groups in \(\mathrm{Sp}(2,1)\), the group of isometries of the quaternionic hyperbolic plane. In particular it considers the space of representations of the free group on two generators and of surface groups. There are several types of hyperbolic elements in \(\mathrm{Sp}(2,1)\), according to the number of real eigenvalues. An element is called loxodromic if it has no real (similarity classes of) eigenvalues. Notice that as the ring of the quaternions is not commutative, eigenvalues in \(\mathrm{Sp}(2,1)\) are not well defined, but their similarity or conjugacy class is. The first result of the paper is a precise description of the variety of irreducible representations, up to conjugation, of a free group on two generators in \(\mathrm{Sp}(2,1)\) such that the image of both generators is loxodromic. It is shown to have dimension 21, which is precisely the dimension of \(\mathrm{Sp}(2,1)\). Other situations where the generators are mapped to other kinds of hyperbolic isometries are briefly discussed, in particular their dimensions are strictly less. Then this result is applied to a study of the space of geometric representations of closed orientable surface groups in \(\mathrm{Sp}(2,1)\), where geometric means that the image of curves in a pants decomposition is loxodromic and the restriction to each pair of pants is irreducible. This space has dimension minus the Euler characteristic of the surface times the dimension of \(\mathrm{Sp}(2,1)\). Representations in the groups of isometries of 5- and 4-dimensional hyperbolic spaces are discussed. The authors introduce the so called projective points of an isometry in \(\mathrm{Sp}(2,1)\), that are used in the classification.



Cites work









This page was built for publication: Quaternionic hyperbolic Fenchel-Nielsen coordinates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1736084)