Adjoining Roots and Rational Powers of Generators in PSL(2,\RR) and Discreteness

arXiv1705.03539MaRDI QIDQ6286484FDOQ6286484

Authors: Jane Gilman 

Publication date: 9 May 2017

Abstract: Let $G$ be a finitely generated group of isometries of $H{H}^m$, hyperbolic $m$-space, for some positive integer $m$. %or equivalently elements of $PSL(2,CC)$. The discreteness problem is to determine whether or not $G$ is discrete. Even in the case of a two generator non-elementary subgroup of $H{H}^2$ (equivalently $PSL(2,mathbbR)$) the problem requires an algorithm cite{GM,JGtwo}. If $G$ is discrete, one can ask when adjoining an $n$th root of a generator results in a discrete group. In this paper we address the issue for pairs of hyperbolic generators in $PSL(2,RR)$ with disjoint axes and obtain necessary and sufficient conditions for adjoining roots for the case when the two hyperbolics have a hyperbolic product and are what as known as {sl stopping generators} for the Gilman-Maskit algorithm cite{GM}. We give an algorithmic solution in other cases. It applies to all other types of pair of generators that arise in what is known as the {sl intertwining case}. The results are geometrically motivated and stated as such, but also can be given computationally using the corresponding matrices.

Mathematics Subject Classification ID

Fuchsian groups and their generalizations (group-theoretic aspects) (20H10) Moduli of Riemann surfaces, Teichmüller theory (complex-analytic aspects in several variables) (32G15) Finite ground fields in algebraic geometry (14G15) Compact Riemann surfaces and uniformization (30F10)

This page was built for publication: Adjoining Roots and Rational Powers of Generators in PSL(2,\RR) and Discreteness

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