Presentations for the Euclidean Picard modular groups (Q1995583)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Presentations for the Euclidean Picard modular groups |
scientific article |
Statements
Presentations for the Euclidean Picard modular groups (English)
0 references
24 February 2021
0 references
\textit{A. Mark} and \textit{J. Paurpet} [Presentations for cusped arithmetic hyperbolic lattices (2018). \url{arxiv:1709.06691}] gave us a general method for obtaining presentations for arithmetic non-cocompact lattices \(\Gamma\), in isometry groups of negatively curved symmetric spaces. Author a paper under review applies it to the Picard modular groups, \(\mathrm{PU}(2,1;\mathcal{O}_d)\), when \(d=2,11\), and obtain presentations for these groups, which completes the list of presentations for Picard modular groups whose entries lie in Euclidean domains, mainly those with \(d=1,2,3,7,11\). It is well known that \(\mathcal{O}_d\) is Euclidean domain exactly when \(d=1,2,3,7,11\). \textit{E. Falbel} and \textit{J. R. Parker} in 2006 [Duke Math. J. 131, No. 2, 249--289 (2006; Zbl 1109.22007)] derived a presentation for \(\mathrm{PU}(2,1;\mathcal{O}_3)\) and together with \textit{G. Francsics} in 2011 [Math. Ann. 349, No. 2, 459--508 (2011; Zbl 1213.14049)] obtained a presentation for \(\mathrm{PU}(2,1;\mathcal{O}_1)\). Mark and Paupert developed a different method to obtain a presentation for \(\mathrm{PU}(2,1;\mathcal{O}_7)\), and also applied their method to the cases d = 1, 3. The present author derives presentations for \(\mathrm{PU}(1,2;\mathcal{O}_d)\), \(d=2,11\), which completes the list of presentations for Picard modular groups where \(\mathcal{O}_d\) is a Euclidean domain. In the case \(d=2\), the method produces a presentation with a generating set of 54 matrices and 5, 837 relations. With support of MAGMA, the author is able to obtain a presentation with 3 generating matrices and 29 relations. In the case \(d=11\), author gets a presentation with 263 generating matrices and 23, 673 relations and MAGMA reduces the generating set to 5 matrices and the size of the relation set to 26.
0 references
Picard modular groups
0 references
complex hyperbolic geometry
0 references
lattices in semisimple Lie groups
0 references
Macbeath's theorem
0 references