Related papers: Thin monodromy in $\mathrm{Sp}(4)$ and $\mathrm{Sp…
The article [14] gives a list of 51 symplectic hypergeometric monodromy groups corresponding to primitive pairs of degree four polynomials, which are products of cyclotomic polynomials, and for which, the absolute value of the leading…
We exhibit an infinite family of discrete subgroups of ${Sp}_4(\mathbb R)$ which have a number of remarkable properties. Our results are established by showing that each group plays ping-pong on an appropriate set of cones. The groups arise…
We study the examples mentioned in [2,Tables A & C] and establish the arithmeticity of four examples of symplectic hypergeometric groups of degree six. Following [2] we know that there are 458 inequivalent symplectic hypergeometric groups…
Based on a result of Singh--Venkataramana, Bajpai--Dona--Singh--Singh gave a criterion for a discrete Zariski-dense subgroup of Sp(2n,Z) to be a lattice. We adapt this criterion so that it can be used in some situations that were previously…
A computation shows that there are 77 (up to scalar shifts) possible pairs of integer coefficient polynomials of degree five, having roots of unity as their roots, and satisfying the conditions of Beukers and Heckman [1], so that the…
Our computations show that there is a total of $40$ pairs of degree six coprime polynomials $f,g$ where $f(x)=(x-1)^6$, $g$ is a product of cyclotomic polynomials, $g(0)=1$ and $f,g$ form a primitive pair. The aim of this article is to…
We show that some hypergeometric monodromy groups in Sp(4,Z) split as free or amalgamated products and hence by cohomological considerations give examples of Zariski dense, non-arithmetic monodromy groups of real rank 2. In particular, we…
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…
Similar to the symplectic cases, there is a family of fourteen orthogonal hypergeometric groups with a maximally unipotent monodromy (cf. Table 1.1). We show that two of the fourteen orthogonal hypergeometric groups associated to the pairs…
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…
This document is an expanded version of a lecture presented at a conference on "Thin Groups and Superstrong Approximation" held at the Mathematical Sciences Research Institute in February 2012. Superstrong approximation is a criterion on a…
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 show that the hypergeometric groups corresponding to the seven pairs of the parameters $\alpha$, $\beta$ where $\alpha$ = (0, 0, 0, 0, 0, 0) and $\beta$ is any of the parameters (1/2, 1/2, 1/2, 1/2, 1/2, 1/2), (1/2, 1/2, 1/2, 1/2, 1/3,…
We obtain an infinite family of orthogonal hypergeometric groups, which are higher rank arithmetic groups. We also list cases of arithmetic hypergeometric groups whose real Zariski closure is O(2,3).
We determine the index of five of the $7$ hypergeometric Calabi-Yau operators that have finite index in $Sp_4(\mathbb{Z})$ and in two cases give a complete description of the monodromy group. Furthermore we found six non-hypergeometric…
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 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…
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…
In the first three sections, we develop some basic facts about hypergeometric sheaves on the multiplicative group ${\mathbb G}_m$ in characteristic $p >0$. In the fourth and fifth sections, we specialize to quite special classses of…
For the universal family of cyclic covers of projective spaces branched along hyperplane arrangements in general position, we consider its monodromy group acting on an eigen linear subspace of the middle cohomology of the fiber. We prove…