Related papers: Algorithms for experimenting with Zariski dense su…

Let $\mathbb{P}$ be an algebraic number field. We provide a computational analog of the strong approximation theorem for finitely generated Zariski dense groups $H\leq \mathrm{SL}(n,\mathbb{P})$, $n$ prime. That is, we present algorithms to…

For $n > 2$, let $\Gamma$ denote either $SL(n, Z)$ or $Sp(n, Z)$. We give a practical algorithm to compute the level of the maximal principal congruence subgroup in an arithmetic group $H\leq \Gamma$. This forms the main component of our…

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,…

We generalize our methodology for computing with Zariski dense subgroups of $\mathrm{SL}(n, \mathbb{Z})$ and $\mathrm{Sp}(n, \mathbb{Z})$, to accommodate input dense subgroups $H$ of $\mathrm{SL}(n, \mathbb{Q})$ and $\mathrm{Sp}(n,…

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$,…

We introduce the first provably efficient algorithm to check if a finitely generated subgroup of an almost simple semi-simple group over the rationals is Zariski-dense. We reduce this question to one of computing Galois groups, and to this…

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…

Given a number field $K$, we show that certain $K$-integral representations of closed surface groups can be deformed to being Zariski dense while preserving many useful properties of the original representation. This generalizes a method…

We describe an algorithm for determining the algebraic subgroup of GL(n,C) that is defined as the closure of the group generated by a finite number of elements of GL(n,C). The algorithm avoids the use of Groebner bases and can be used on…

We study a family of Zariski dense finitely generated discrete subgroups of $\mathrm{Isom}(\mathbb{H}^d)$, $d \geqslant 2$, defined by the following property: any group in this family contains at least one reflection in a hyperplane. As an…

We investigate the complexity of computing the Zariski closure of a finitely generated group of matrices. The Zariski closure was previously shown to be computable by Derksen, Jeandel, and Koiran, but the termination argument for their…

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

We construct Zariski-dense surface subgroups in infinitely many commensurability classes of uniform lattices of the split real Lie groups $\operatorname{SL}(n,\mathbb{R})$, $\operatorname{Sp}(2n,\mathbb{R})$, $\operatorname{SO}(k+1,k)$, and…

We present a full list of all representations of the special linear group $\mathrm{SL}_n$ over the complex numbers with complete intersection invariant ring, completing the classification of Shmelkin. For this task, we combine three…

For $\textrm{SL}(n,\mathbb{R})$ ($n\geq3$), $\textrm{SO}(n+1,n)$ ($n\geq2$), $\textrm{Sp}(2n,\mathbb{R})$ ($n\geq2$) and for the adjoint real split form of the exceptional group $\textrm{G}_2$, we exhibit non-uniform lattices in which we…

Let $X=\C^n$. In this paper we present an algorithm that computes the de Rham cohomology groups $H^i_{dR}(U,\C)$ where $U$ is the complement of an arbitrary Zariski-closed set $Y$ in $X$. Our algorithm is a merger of the algorithm given by…

We give an overview of the Hidden Subgroup Problem (HSP) as of July 2010, including new results discovered since the survey of arXiv:quant-ph/0411037v1. We recall how the problem provides a framework for efficient quantum algorithms and…

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…

For odd $n$ we construct a path $\rho_t\colon \pi_1(S) \to SL(n,\mathbb{R})$ of discrete, faithful and Zariski dense representations of a surface group such that $\rho_t(\pi_1(S)) \subset SL(n,\mathbb{Q})$ for every $t\in \mathbb{Q}$.

Let SL(2, $\mathbb H$) be the group of $2 \times 2$ quaternionic matrices $A=\begin{pmatrix} a & b \\ c & d \end{pmatrix}$ with quaternionic determinant $\det A=|ad-aca^{-1} b|=1$. This group acts by the orientation-preserving isometries of…