Computing arithmetic Kleinian groups

Page, Aurel

doi:10.1090/S0025-5718-2015-02939-1

Computing arithmetic Kleinian groups

Author: Aurel Page
Journal: Math. Comp. 84 (2015), 2361-2390
MSC (2010): Primary 11F06, 11Y99, 30F40; Secondary 11-04, 16U60, 11R52
DOI: https://doi.org/10.1090/S0025-5718-2015-02939-1
Published electronically: March 13, 2015
MathSciNet review: 3356030
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Arithmetic Kleinian groups are arithmetic lattices in $\mathrm {PSL}_2(\mathbb{C})$ . We present an algorithm that, given such a group $\Gamma$ , returns a fundamental domain and a finite presentation for $\Gamma$ with a computable isomorphism.

[BCP97] Wieb Bosma, John Cannon, and Catherine Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), no. 3-4, 235–265. Computational algebra and number theory (London, 1993). MR 1484478, https://doi.org/10.1006/jsco.1996.0125
[BGLS10] Mikhail Belolipetsky, Tsachik Gelander, Alexander Lubotzky, and Aner Shalev, Counting arithmetic lattices and surfaces, Ann. of Math. (2) 172 (2010), no. 3, 2197–2221. MR 2726109, https://doi.org/10.4007/annals.2010.172.2197
[Bor81] A. Borel, Commensurability classes and volumes of hyperbolic 3-manifolds, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 8 (1981), no. 1, 1–33. MR 616899
[BV13] Nicolas Bergeron and Akshay Venkatesh, The asymptotic growth of torsion homology for arithmetic groups, J. Inst. Math. Jussieu 12 (2013), no. 2, 391–447. MR 3028790, https://doi.org/10.1017/S1474748012000667
[BW00] A. Borel and N. Wallach, Continuous cohomology, discrete subgroups, and representations of reductive groups, 2nd ed., Mathematical Surveys and Monographs, vol. 67, American Mathematical Society, Providence, RI, 2000. MR 1721403
[CFJR01] Ted Chinburg, Eduardo Friedman, Kerry N. Jones, and Alan W. Reid, The arithmetic hyperbolic 3-manifold of smallest volume, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 30 (2001), no. 1, 1–40. MR 1882023
[CJLdR04] Capi Corrales, Eric Jespers, Guilherme Leal, and Angel del Río, Presentations of the unit group of an order in a non-split quaternion algebra, Adv. Math. 186 (2004), no. 2, 498–524. MR 2073916, https://doi.org/10.1016/j.aim.2003.07.015
[CV12] Frank Calegari and Akshay Venkatesh, A torsion Jacquet-Langlands correspondence, http://arxiv.org/abs/1212.3847.
[FP85] U. Fincke and M. Pohst, Improved methods for calculating vectors of short length in a lattice, including a complexity analysis, Math. Comp. 44 (1985), no. 170, 463–471. MR 777278, https://doi.org/10.1090/S0025-5718-1985-0777278-8
[JL70] H. Jacquet and R. P. Langlands, Automorphic forms on 𝐺𝐿(2), Lecture Notes in Mathematics, Vol. 114, Springer-Verlag, Berlin-New York, 1970. MR 0401654
[Kan83] R. Kannan, Improved algorithms for integer programming and related lattice problems, Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing (New York, NY, USA), STOC '83, ACM, 1983, pp. 193-206.
[Lip02] M. Lipyanskiy, A computer-assisted application of Poincaré's fundamental polyhedron theorem, Preprint available at http://www.math.columbia.edu/~ums/Archive.html, 2002.
[Mas71] Bernard Maskit, On Poincaré’s theorem for fundamental polygons, Advances in Math. 7 (1971), 219–230. MR 297997, https://doi.org/10.1016/S0001-8708(71)80003-8
[MR03] Colin Maclachlan and Alan W. Reid, The arithmetic of hyperbolic 3-manifolds, Graduate Texts in Mathematics, vol. 219, Springer-Verlag, New York, 2003. MR 1937957
[Pag10] A. Page, Computing fundamental domains for arithmetic Kleinian groups, Master's thesis, Université Paris 7, August 2010.
[Rah10] A. Rahm, (Co)homologies et K-théorie de groupes de Bianchi par des modèles géométriques calculatoires, PhD thesis, Université Joseph-Fourier - Grenoble I, October 2010.
[Rat06] John G. Ratcliffe, Foundations of hyperbolic manifolds, 2nd ed., Graduate Texts in Mathematics, vol. 149, Springer, New York, 2006. MR 2249478
[Ril83] Robert Riley, Applications of a computer implementation of Poincaré’s theorem on fundamental polyhedra, Math. Comp. 40 (1983), no. 162, 607–632. MR 689477, https://doi.org/10.1090/S0025-5718-1983-0689477-2
[Swa71] Richard G. Swan, Generators and relations for certain special linear groups, Advances in Math. 6 (1971), 1–77 (1971). MR 284516, https://doi.org/10.1016/0001-8708(71)90027-2
[The11] The PARI Group, Bordeaux, PARI/GP, version 2.6.0, 2011, available from http://pari.math.u-bordeaux.fr/.
[Vig80] Marie-France Vignéras, Arithmétique des algèbres de quaternions, Lecture Notes in Mathematics, vol. 800, Springer, Berlin, 1980 (French). MR 580949
[Voi09] John Voight, Computing fundamental domains for Fuchsian groups, J. Théor. Nombres Bordeaux 21 (2009), no. 2, 469–491 (English, with English and French summaries). MR 2541438
[Yas10] Dan Yasaki, Hyperbolic tessellations associated to Bianchi groups, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 6197, Springer, Berlin, 2010, pp. 385–396. MR 2721434, https://doi.org/10.1007/978-3-642-14518-6_30