Related papers: Test map and Discreteness in SL(2, $\mathbb H$)

We give a computationally effective criterion for determining whether a finite-index subgroup of SL(2, Z) is a congruence subgroup, extending earlier work of Hsu for subgroups of PSL(2, Z).

Let $\Gamma$ be a subgroup of $PSL(2,R)$ generated by three parabolic transformations. The main goal of this paper is to present an algorithm to determine whether or not $\Gamma$ is discrete. Historically discreteness algorithms have been…

The goal of this paper is to develop a systematic method of locating the Mueller matrices within the class of the matrices of the real group SL(4, R). The main idea is to construct the general transformation of the group SL(4, R) (whose…

We study the identity problem for matrices, i.e., whether the identity matrix is in a semigroup generated by a given set of generators. In particular we consider the identity problem for the special linear group following recent…

We obtain a computational realization of the strong approximation theorem. That is, we develop algorithms to compute all congruence quotients modulo rational primes of a finitely generated Zariski dense group $H \leq \mathrm{SL}(n,…

In this paper we study the analytic realisation of the discrete series representations for the group $G=Sp(1,1)$ as a subspace of the space of square integrable sections in a homogeneous vector bundle over the symmetric space $G/K:=Sp(1,1)…

Let $\Gamma < G := \operatorname{SO}(d+1, 1)$ for $d \geq 1$ be a Zariski dense, geometrically finite, discrete subgroup with critical exponent strictly greater than $d/2$. We show that $L^2(\Gamma\backslash G)$ admits a strong spectral…

Generalizing a classical theorem of Carlson and Toledo, we prove that any Zariski dense isometric action of a K\"{a}hler group on the real hyperbolic space of dimension at least 3 factors through a homomorphism onto a cocompact discrete…

We prove that generic Hitchin representations are strongly dense: every pair of non commuting elements in their image generate a Zariski-dense subgroup of SL_n(R). The proof uses a theorem of Rapinchuk, Benyash-Krivetz and Chernousov, to…

We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by…

We show that real semi-simple Lie groups of higher rank contain (infinitely generated) discrete subgroups with full limit sets in the corresponding Furstenberg boundaries. Additionally, we provide criteria under which discrete subgroups of…

We study and classify the purely parabolic discrete subgroups of $PSL(3,\Bbb{C})$. This includes all discrete subgroups of the Heisenberg group ${\rm Heis}(3,\Bbb{C})$. While for $PSL(2,\Bbb{C})$ every purely parabolic subgroup is Abelian…

Consider the compact orbits of the $\mathbb{R}^2$ action of the diagonal group on $\operatorname{SL}(3,\mathbb{R})/\operatorname{SL}(3,\mathbb{Z})$, the so-called periodic tori. For any periodic torus, the set of periods of the orbit forms…

We construct generating pairs of simple Lie algebras in characteristic zero. We apply this construction to exhibit infinite series of 2-generator Zariski dense subgroups that are free of rank 2 of the simple algebraic groups SL(n, C), Sp(n,…

Denote by $Sp(k,l)$ the quaternionic symplectic group of signature $(k,l)$. We study the deformation rigidity of the embedding $Sp(k,l) \times Sp(1) \hookrightarrow H$, where $H$ is either $Sp(k+1,l)$ or $Sp(k,l+1)$, this is done by…

We consider the automorphism groups of various Lorentzian lattices over the Eisenstein, Gaussian, and Hurwitz integers, and in some of them we find reflection groups of finite index. These provide new finite-covolume reflection groups…

In this article we extend our previous results for the orthogonal group, $SO(2,4)$, to its homomorphic group $SU(2,2)$. Here we present a closed, finite formula for the exponential of a $4\times 4$ traceless matrix, which can be viewed as…

In this paper, we prove a generalization of a discreteness criteria for a large class of subgroups of PSL$_2(\mathbb{C})$. In particular, we show that for a given finitely generated, purely loxodromic, free Kleinian group…

We produce an example of an irreducible discrete subgroup in the product $SL(2,\R)\times SL(2,\R)$ which is not a lattice. This answers a question asked in [15].

We begin by showing that commensurators of Zariski dense subgroups of isometry groups of symmetric spaces of non-compact type are discrete provided that the limit set on the Furstenberg boundary is not invariant under the action of a…