Presentations for the Euclidean Picard modular groups

DOI10.1007/S10711-020-00531-9MaRDI QIDQ1995583zbMATH OpenOpenAlexFDO

Authors David Polletta

Publication date 24 February 2021

Published in Geometriae Dedicata (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1909.00251

zbMATH Keywords

complex hyperbolic geometrylattices in semisimple Lie groupsMacbeath's theoremPicard modular groups

Mathematics Subject Classification ID

Discrete subgroups of Lie groups (22E40) Hyperbolic and Kobayashi hyperbolic manifolds (32Q45)

Abstract: Mark and Paupert devised a general method for obtaining presentations for arithmetic non-cocompact lattices, $Gamma$, in isometry groups of negatively curved symmetric spaces. The method involves a classical theorem of Macbeath applied to a $Gamma$-invariant covering by horoballs of the negatively curved symmetric space upon which $Gamma$ acts. In this paper, we will discuss the application of their method to the Picard modular groups, $extrmPU(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, namely those with $d=1,2,3,7,11$.

Review text

\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.

Recommendations

• Presentations for cusped arithmetic hyperbolic lattices
• A presentation for the Eisenstein-Picard modular group in three complex dimensions
• On the geometry of a Picard modular group
• Picard modular groups generated by complex reflections
• Real reflections, commutators, and cross-ratios in complex hyperbolic space
• New constructions of fundamental polyhedra in complex hyperbolic space
• The geometry of the Gauss-Picard modular group
• Generators for the Euclidean Picard modular groups
• A two-generator and five-relator presentation for a subgroup of Picard group
• A new nonarithmetic lattice in \(\mathrm{PU}(3,1)\)

Cites work

• Generators and relations for certain special linear groups
• Generators for the Euclidean Picard modular groups
• Geometry of quaternionic hyperbolic manifolds
• Groups of homeomorphisms of a simply connected space
• scientific article; zbMATH DE number 3462747 (Why is no real title available?)
• scientific article; zbMATH DE number 1270600 (Why is no real title available?)
• Real reflections, commutators, and cross-ratios in complex hyperbolic space
• The geometry of the Eisenstein-Picard modular group
• The geometry of the Gauss-Picard modular group
• Über die Anzahl der Spitzen einiger arithmetischer Untergruppen unitärer Gruppen

Cited in

(8)

• Presentations of cluster modular groups and generation by cluster Dehn twists
• Presentations for cusped arithmetic hyperbolic lattices
• Generators for the Euclidean Picard modular groups
• A Two-Generator Presentation for the Picard Group
• Picard modular groups generated by complex reflections
• A presentation for the Eisenstein-Picard modular group in three complex dimensions
• On the geometry of a Picard modular group
• Torsion in 1-cusped Picard modular groups

Describes a project that uses

Uses Software

• Magma
• GitHub

This page was built for publication: Presentations for the Euclidean Picard modular groups

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