The discrete subgroups and Jørgensen's inequality for \(\mathrm{SL}(m,\mathbb C_p)\)
type: Item
instance of: scholarly article
title: The discrete subgroups and Jørgensen's inequality for \(\mathrm{SL}(m,\mathbb C_p)\)
zbMATH Open document ID: 1291.22014
author: Weiyuan Qiu
author: Jing Hua Yang
author: Yongcheng Yin
publication date: 2013-03-08T00:00:00Z
review text: The main goal of this paper is to study discrete subgroups of \(\mathrm{SL}(m,\mathbb Q_p)\) and \(\mathrm{SL}(m,\mathbb C_p)\) and to give versions of Jørgensen's inequality, a type of discreteness criterion, when \(m=2\). Matrices in \(\mathrm{SL}(2,\mathbb C_p)\) can be divided into three groups based on their eigenvalues: A single eigenvalue of multiplicity two (parabolic), distinct eigenvalues with the same absolute value (elliptic), and distinct eigenvalues with different absolute values (hyperbolic). A key idea of this paper is to similarly group matrices in \(\mathrm{SL}(m,\mathbb C_p)\): All eigenvalues have absolute value one and the matrix cannot be conjugated to a diagonal matrix (parabolic), all eigenvalues have absolute value one and the matrix can be conjugated to a diagonal matrix (elliptic), and there exists at least one eigenvalue with absolute value not equal to one (loxodromic). Some main results are the following. A subgroup of \(\mathrm{SL}(m,\mathbb C_p)\) is discrete if and only if it does not contain any parabolic elements or any elliptic elements of infinite order. Let \(\mathbb K_p\) be a finite extension of \(\mathbb Q_p\). If a discrete subgroup of \(\mathrm{SL}(2,\mathbb K_p)\) contains elliptic elements of finite order only, then it is finite. Interestingly, this result is not true if we replace \(\mathbb K_p\) with \(\overline{\mathbb Q}_p\), which can be seen by taking the subgroup generated by all diagonal matrices with entries \(\zeta_{p^i},\;\zeta_{p^i}^{-1}\) where \(\zeta_{p^i}\) is a primitive \(p^i\)-th root of unity. In the final section of this paper, the authors extend work of \textit{J. V. Armitage} and \textit{J. R. Parker} [Prog. Math. 265, 97--111 (2008; Zbl 1196.30034)] to give a sharper version of Jørgensen's inequality for \(\mathrm{SL}(2,\mathbb Q_p)\). For example, suppose that if \(A \neq -I\) and \(B\) are elements of \(\mathrm{SL}(2,\mathbb Q_p)\) such that \(B\) neither fixes nor interchanges the fixed points o…
reviewed by: Nathan Kaplan
Mathematics Subject Classification ID: 22E40
Mathematics Subject Classification ID: 22E35
Mathematics Subject Classification ID: 20H10
zbMATH DE Number: 6142985
zbMATH Keywords: Jorgensen's inequality
zbMATH Keywords: discreteness criteria
zbMATH Keywords: non-Archimedean space
MaRDI profile type: Publication
full work available at URL: s10114-013-1606-5
OpenAlex ID: W2005518083
cites work: Non-Archimedean orbifolds covered by Mumford curves
cites work: Q5459664
cites work: A NOTE ON SUBGROUPS OF SL(2, C)
cites work: Q4492826
cites work: Q5713424
cites work: On discrete Möbius groups in all dimensions: A generalization of Jørgensen's inequality
DOI: 10.1007/S10114-013-1606-5
published in: Acta Mathematica Sinica, English Series
description: scientific article; zbMATH DE number 6142985