×

Homogeneous spaces of real simple Lie groups with proper actions of non virtually abelian discrete subgroups: a computational approach. (English) Zbl 1492.22008

Summary: Let \(G\) be a simple non-compact linear connected Lie group and \(H \subset G\) be a closed non-compact semisimple subgroup. We are interested in finding classes of homogeneous spaces \(G / H\) admitting proper actions of discrete non-virtually abelian subgroups \(\Gamma \subset G\). We develop an algorithm for finding such homogeneous spaces. As a testing example we obtain a list of all non-compact homogeneous spaces \(G / H\) admitting proper action of a discrete and non virtually abelian subgroup \(\Gamma\subset G\) in the case when \(G\) has rank at most 8, and \(H\) is a maximal proper semisimple subgroup, provided that the pair \((\mathfrak{g}, \mathfrak{h})\) is contained in a database created by De Graaf and Marrani.

MSC:

22E40 Discrete subgroups of Lie groups
17B20 Simple, semisimple, reductive (super)algebras
22-08 Computational methods for problems pertaining to topological groups
22F30 Homogeneous spaces

Software:

CKForms; GAP; SLA; NoCK; CoReLG

References:

[1] Benoist, Y., Actions propres sur les espaces homogènes réductifs, Ann. Math., 144, 315-347 (1996) · Zbl 0868.22013
[2] Bocheński, M., Proper actions on strongly regular homogeneous spaces, Asian J. Math., 21, 1121-1134 (2017) · Zbl 1385.22010
[3] Bocheński, M.; Tralle, A., Clifford-Klein forms and a-hyperbolic rank, Int. Math. Res. Not., 5, 6267-6285 (2015) · Zbl 1327.53063
[4] Bocheński, M.; Jastrzȩbski, P.; Tralle, A., Non-existence of standard compact Clifford-Klein forms of homogeneous spaces of exceptional Lie groups, Math. Comput., 89, 1487-1499 (2020) · Zbl 1432.57065
[5] Bocheński, M.; Jastrzȩbski, P.; Tralle, A., CKForms. A GAP package, Available online
[6] Bocheński, M.; Jastrzȩbski, P.; Szczepkowska, A.; Tralle, A.; Woike, A., Semisimple subalgebras in simple Lie algebras and a computational approach to the compact Clifford-Klein forms problem, Exp. Math., 30, 86-94 (2021) · Zbl 1509.22012
[7] Bocheński, M.; Jastrzębski, P.; Okuda, T.; Tralle, A., Proper \(S L(2, \mathbb{R})\)-actions on homogeneous spaces, Int. J. Math., 27, 13, 1-10 (2016) · Zbl 1358.57035
[8] Daniel, J. R.; Helminck, A. G., Algorithms of computations in local symmetric spaces, Commun. Algebra, 36, 1758-1788 (2008) · Zbl 1149.53033
[9] Dietrich, H.; de Graaf, W., Computing with the real Weyl group, J. Symb. Comput. In press · Zbl 1493.17017
[10] Dietrich, H.; Faccin, P.; de Graaf, W. A., CoReLG: computing with real Lie groups, A GAP 4 package. Available online
[11] de Graaf, W., Constructing semisimple subalgebras of semisimple Lie algebras, J. Algebra, 325, 416-430 (2011) · Zbl 1255.17007
[12] de Graaf, W. A., SLA-computing with simple Lie algebras, A GAP package. Available online
[13] de Graaf, W.; Marrani, A., Real forms of embeddings of maximal reductive subalgebras of the complex simple Lie algebras of rank up to 8 · Zbl 1514.17011
[14] Faccin, P.; de Graaf, W., Constructing semisimple subalgebras of real semisimple Lie algebras, (Lie Algebras and Related Topics. Lie Algebras and Related Topics, Contemp. Math., vol. 652 (2015), AMS: AMS RI), 75-89 · Zbl 1367.17008
[15] Kobayashi, T.; Yoshino, T., Compact Clifford-Klein forms of symmetric spaces revisited, Pure Appl. Math. Q., 1, 603-684 (2005)
[16] Kobayashi, T., Discontinuous groups for non-Riemannian homogeneous spaces, (Engquist, B.; Schmid, W., Mathematics Unlimited - 2001 and Beyond (2001), Springer: Springer Berlin) · Zbl 1023.53031
[17] Kobayashi, T., Proper actions on a homogeneous space of reductive type, Math. Ann., 285, 249-263 (1989) · Zbl 0662.22008
[18] Okuda, T., Classification of semisimple symmetric spaces with proper \(S L(2, \mathbb{R})\)-actions, J. Differ. Geom., 2, 301-342 (2013) · Zbl 1312.53076
[19] Onishchik, A. L.; Vinberg, E. B., Lie Groups and Algebraic Groups (1990), Springer · Zbl 0722.22004
[20] Onishchik, A. L.; Vinberg, E. B., Lie Groups and Lie Algebras III (1994), Springer · Zbl 0797.22001
[21] The GAP Group, GAP-groups, algorithms and programming, v. 4.10, Available online
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.