paper

Groups Generated by Root Unipotents: Higher-rank and rank-one

arXiv:2607.04580

Abstract

For , let \[ Γ(Q)=\langle E_{ij}(q_{ij}):i\neq j\rangle \] be the subgroup of generated by elementary matrices with nonzero rational parameters . We prove that is always -arithmetic, extending classical integral-parameter results to arbitrary rational parameters. Our method is effective. We also prove strong small-generation results for finite-index subgroups of -arithmetic groups. In particular, , , and a broad class of groups have arbitrarily small two-generated finite-index subgroups. We then study the rank-one family \[ Γ_q=\left\langle\begin{pmatrix}1&1\\0&1 \end{pmatrix}, \begin{pmatrix} 1&0\\q&1 \end{pmatrix}\right\rangle,\qquad q=\tfrac{s}{t}\in\mathbb Q. \] For , we prove that \[ Γ_q=Γ_1^{(t)}(s) \] if and only if its upper-triangular subgroup strictly contains \[\left\langle\begin{pmatrix}1&1\\0&1\end{pmatrix}\right\rangle.\] We then apply the rank-one criterion to constructions arising from non-freeness, verifying it for with , and obtaining infinite families from indefinite binary quadratic forms and Pell-type equations.