×

Reversible quaternionic hyperbolic isometries. (English) Zbl 1437.51012

This is a study of properties of cetain isometry groups related to \(n\)-dimensional quaternionic hyperbolic spaces.
With \({\mathbb H}\) denoting the quaternions, \(V:= {\mathbb H}^{n,1} ={\mathbb H}^{n+1}\) is an \((n + 1)\)-dimensional right vector space over \({\mathbb H}\), equipped with an \({\mathbb H}\)-Hermitian form \(\Phi(z, w) = -\overline{z_0}w_0 + \overline{z_1}w_1 +\ldots + \overline{z_n}w_n\), where \(z = (z_0, z_1,\dots, z_n)\), \(w = (w_0, w_1,\dots, w_n) \in {\mathbb H}^{n+1}\). The matrix representation of \(\Phi\) with respect to the standard basis \({e_0, e_1,\dots, e_n}\) of \({\mathbb H}^{n+1}\) is \(J = \mathrm{diag}(-1, 1,\dots,1)\). The symplectic group of signature \((n, 1)\) is \(\mathrm{Sp}(n, 1) = \{g \in \mathrm{GL}(n + 1, {\mathbb H})\mid ^t\overline{g}Jg = J\}\). Also, let \(\mathrm{Sp}(n) := \{g \in \mathrm{GL}(n, H) \mid ^t\overline{g}g = I_n \}\). The group of isometries of the \(n\)-dimensional hyperbolic space over \({\mathbb H}\), \(\mathrm{PSp}(n,1)\) is \(\mathrm{Sp}(n,1)/Z(\mathrm{Sp}(n,1)\), where \(Z(\mathrm{Sp}(n,1))=\{\pm I_n\}\) is the center of \(\mathrm{Sp}(n,1)\). For any group \(G\), an element \(g \in G\) is called reversible if \(g^{-1} = xgx^{-1}\) for some \(x\in G\). It is called strongly reversible if the \(x\) above is such that \(x^2=1\).
This paper’s main results are: (i) Every element of \(\mathrm{Sp}(n, 1)\) is reversible; (ii) An element \(g \in \mathrm{Sp}(n)\) is strongly reversible if and only if every eigenvalue class of \(g\) is either \(\pm 1\) or of even multiplicity; (iii) For \(n > 1\), every element in \(\mathrm{Sp}(n)\) can be expressed as a product of four (respectively, five) involutions if \(n\) is even (resectively, \(n\) is odd); (iv) Every element of \(\mathrm{PSp}(n, 1)\) is a product of two involutions (i.e., \(\mathrm{PSp}(n, 1)\) is bireflectional) .

MSC:

51M10 Hyperbolic and elliptic geometries (general) and generalizations
15B33 Matrices over special rings (quaternions, finite fields, etc.)
20E45 Conjugacy classes for groups
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Basmajian, Ara; Maskit, Bernard, Space form isometries as commutators and products of involutions, Trans. Amer. Math. Soc., 364, 9, 5015-5033 (2012) · Zbl 1272.30061
[2] Chen, S. S.; Greenberg, L., Hyperbolic spaces, (Contributions to Analysis (a Collection of Papers Dedicated to Lipman Bers) (1974), Academic Press: Academic Press New York), 49-87 · Zbl 0295.53023
[3] Djoković, Dragomir Ž.; Malzan, Jerry, Products of reflections in the quaternionic unitary group, J. Algebra, 59, 2, 399-411 (1979) · Zbl 0416.20037
[4] Ellers, E. W.; Frank, R.; Nolte, W., Bireflectionality of the weak orthogonal and the weak symplectic groups, J. Algebra, 88, 1, 63-67 (1984) · Zbl 0533.20020
[5] Ellers, Erich W., Bireflectionality in classical groups, Canad. J. Math., 29, 6, 1157-1162 (1977) · Zbl 0371.15009
[6] Ellers, Erich W., Cyclic decomposition of unitary spaces, J. Geom., 21, 2, 101-107 (1983) · Zbl 0539.51008
[7] Feit, Walter; Zuckerman, Gregg J., Reality properties of conjugacy classes in spin groups and symplectic groups, (Algebraists’ Homage: Papers in Ring Theory and Related Topics. Algebraists’ Homage: Papers in Ring Theory and Related Topics, New Haven, Conn., 1981. Algebraists’ Homage: Papers in Ring Theory and Related Topics. Algebraists’ Homage: Papers in Ring Theory and Related Topics, New Haven, Conn., 1981, Contemp. Math., vol. 13 (1982), Amer. Math. Soc.: Amer. Math. Soc. Providence, R.I.), 239-253 · Zbl 0511.20035
[8] Gongopadhyay, Krishnendu; Kalane, Sagar B., Quaternionic hyperbolic Fenchel-Nielsen coordinates, Geom. Dedicata, 199, 247-271 (2019) · Zbl 1429.57020
[9] Gongopadhyay, Krishnendu, Conjugacy classes in Möbius groups, Geom. Dedicata, 151, 245-258 (2011) · Zbl 1253.51013
[10] Gongopadhyay, Krishnendu; Parker, John R., Reversible complex hyperbolic isometries, Linear Algebra Appl., 438, 6, 2728-2739 (2013) · Zbl 1277.51017
[11] Knüppel, Frieder; Nielsen, Klaus, On products of two involutions in the orthogonal group of a vector space, Linear Algebra Appl., 94, 209-216 (1987) · Zbl 0623.20035
[12] Knüppel, Frieder; Nielsen, Klaus, Products of involutions in \(\operatorname{O}^+(V)\), Linear Algebra Appl., 94, 217-222 (1987) · Zbl 0623.20036
[13] Kim, Inkang; Parker, John R., Geometry of quaternionic hyperbolic manifolds, 135 (2003) · Zbl 1048.32017
[14] Lávička, Roman; O’Farrell, Anthony G.; Short, Ian, Reversible maps in the group of quaternionic Möbius transformations, Math. Proc. Cambridge Philos. Soc., 143, 1, 57-69 (2007) · Zbl 1123.30016
[15] O’Farrell, Anthony G.; Short, Ian, Reversibility in Dynamics and Group Theory, London Mathematical Society Lecture Note Series, vol. 416 (2015), Cambridge University Press: Cambridge University Press Cambridge · Zbl 1331.37003
[16] Julien, Paupert; Will, Pierre, Involution and commutator length for complex hyperbolic isometries, Michigan Math. J., 66, 4, 699-744 (2017) · Zbl 1404.32048
[17] Rodman, Leiba, Topics in Quaternion Linear Algebra, Princeton Series in Applied Mathematics (2014), Princeton University Press: Princeton University Press Princeton, NJ · Zbl 1304.15004
[18] Short, Ian, Reversible maps in isometry groups of spherical, Euclidean and hyperbolic space, Math. Proc. R. Ir. Acad., 108, 1, 33-46 (2008) · Zbl 1177.20058
[19] Singh, Anupam; Thakur, Maneesh, Reality properties of conjugacy classes in \(G_2\), Israel J. Math., 145, 157-192 (2005) · Zbl 1072.20056
[20] Singh, Anupam; Thakur, Maneesh, Reality properties of conjugacy classes in algebraic groups, Israel J. Math., 165, 1-27 (2008) · Zbl 1152.20043
[21] Tiep, Pham Huu; Zalesski, A. E., Real conjugacy classes in algebraic groups and finite groups of Lie type, J. Group Theory, 8, 3, 291-315 (2005) · Zbl 1076.20033
[22] Wonenburger, María J., Transformations which are products of two involutions, J. Math. Mech., 16, 327-338 (1966) · Zbl 0168.03403
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.