Searcharxiv⌕ Search

arXiv subjects

Alex Lubotzky

Publications and source records attributed to Alex Lubotzky.

10 recordsLinked to original sources
arXiv2023

Finite simple characteristic quotients of the free group of rank 2

In this paper we describe how to explicitly construct infinitely many finite simple groups as characteristic quotients of the rank 2 free group $F_2$. This shows that a "baby" version of the Wiegold conjecture fails for $F_2$, and provides counterexamples to two conjectures in the theory of noncongruence subgroups of $\text{SL}_2(\mathbb{Z})$. Our main result explicitly produces, for every prime power $q\ge 7$, the groups $\text{SL}_3(\mathbb{F}_q)$ and $\text{SU}_3(\mathbb{F}_q)$ as characteristic quotients of $F_2$. Our strategy is to study specializations of the Burau representation for the braid group $B_4$, exploiting an exceptional relationship between $F_2$ and $B_4$ first observed by Dyer, Formanek, and Grossman. Weisfeiler's strong approximation theorem guarantees that our specializations are surjective for infinitely many primes, but it is not effective. To make our result effective, we give another proof of surjectivity via a careful analysis of the maximal subgroup structures of $\text{SL}_3(\mathbb{F}_q)$ and $\text{SU}_3(\mathbb{F}_q)$. We also show that our examples of $\text{PSL}_3(\mathbb{F}_q)$ and $\text{PSU}_3(\mathbb{F}_q)$ are minimal in the sense that no group of the form $\text{PSL}_2(\mathbb{F}_q)$ is a characteristic quotient of $F_2$.

math.GR↗
arXiv2018

Counting non-uniform lattices

In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(γ(H)+o(1))\log x/\log\log x}$ where $γ(H)$ is an explicit constant computable from the (absolute) root system of $H$. In [BLu] we disproved this conjecture. In this paper we prove that for most groups $H$ the conjecture is actually true if we restrict to counting only non-uniform lattices.

math.GR↗
arXiv2018

Stability, cohomology vanishing, and non-approximable groups

Several well-known open questions (such as: are all groups sofic/hyperlinear?) have a common form: can all groups be approximated by asymptotic homomorphisms into the symmetric groups $\mathrm{Sym}(n)$ (in the sofic case) or the finite dimensional unitary groups ${\rm U}(n)$ (in the hyperlinear case)? In the case of ${\rm U}(n)$, the question can be asked with respect to different metrics and norms. This paper answers, for the first time, one of these versions, showing that there exist fintely presented groups which are not approximated by ${\rm U}(n)$ with respect to the Frobenius norm $\|T\|_{\rm{Frob}}=\sqrt{\sum_{i,j=1}^n|T_{ij}|^2},T=[T_{ij}]_{i,j=1}^n\in\mathrm{M}_n(\mathbb C)$. Our strategy is to show that some higher dimensional cohomology vanishing phenomena implies stability, that is, every Frobenius-approximate homomorphism into finite-dimensional unitary groups is close to an actual homomorphism. This is combined with existence results of certain non-residually finite central extensions of lattices in some simple $p$-adic Lie groups. These groups act on high rank Bruhat-Tits buildings and satisfy the needed vanishing cohomology phenomenon and are thus stable and not Frobenius-approximated.

math.GR↗
arXiv2017

Random walks on Ramanujan complexes and digraphs

The cutoff phenomenon was recently confirmed for random walks on Ramanujan graphs by the first author and Peres. In this work, we obtain analogs in higher dimensions, for random walk operators on any Ramanujan complex associated with a simple group $G$ over a local field $F$. We show that if $T$ is any $k$-regular $G$-equivariant operator on the Bruhat-Tits building with a simple combinatorial property (collision-free), the associated random walk on the $n$-vertex Ramanujan complex has cutoff at time $\log_k n$. The high dimensional case, unlike that of graphs, requires tools from non-commutative harmonic analysis and the infinite-dimensional representation theory of $G$. Via these, we show that operators $T$ as above on Ramanujan complexes give rise to Ramanujan digraphs with a special property ($r$-normal), implying cutoff. Applications include geodesic flow operators, geometric implications, and a confirmation of the Riemann Hypothesis for the associated zeta functions over every group $G$, previously known for groups of type $\widetilde A_n$ and $\widetilde C_2$.

math.CO↗
arXiv2011

Manifolds counting and class field towers

In [BGLM] and [GLNP] it was conjectured that if $H$ is a simple Lie group of real rank at least 2, then the number of conjugacy classes of (arithmetic) lattices in $H$ of covolume at most $x$ is $x^{(γ(H)+o(1))\log x/\log\log x}$ where $γ(H)$ is an explicit constant computable from the (absolute) root system of $H$. In this paper we prove that this conjecture is false. In fact, we show that the growth is at rate $x^{c\log x}$. A crucial ingredient of the proof is the existence of towers of field extensions with bounded root discriminant which follows from the seminal work of Golod and Shafarevich on class field towers.

math.GR↗
arXiv2010

Counting arithmetic lattices and surfaces

We give estimates on the number $AL_H(x)$ of arithmetic lattices $Γ$ of covolume at most $x$ in a simple Lie group $H$. In particular, we obtain a first concrete estimate on the number of arithmetic 3-manifolds of volume at most $x$. Our main result is for the classical case $H=PSL(2,R)$ where we compute the limit of $\log AL_H(x) / x\log x$ when $x\to\infty$. The proofs use several different techniques: geometric (bounding the number of generators of $Γ$ as a function of its covolume), number theoretic (bounding the number of maximal such $Γ$) and sharp estimates on the character values of the symmetric groups (to bound the subgroup growth of $Γ$).

math.GR↗
arXiv2007

Presentations of finite simple groups: a quantitative approach

Every nonabelian finite simple group of rank $n$ over a field of size $q$, with the possible exception of the Ree groups $^2G_2(3^{2e+1})$, has a presentation with a bounded number of generators and relations and total length $O(\log n +\log q)$. As a corollary, we deduce a conjecture of Holt: there is a constant $C$ such that $\dim H^2(G,M)\leq C\dim M$ for every finite simple group $G$, every prime $p$ and every irreducible $F_p [G]$-module $M$.

math.GR↗
arXiv2007

Presentations of Finite Simple Groups: Profinite and Cohomological Approaches

We prove the following three closely related results. The first is that every finite simple group has a profinite presentation with 2 generators and at most 18 relations. The second is that if G is a finite simple group, F a field and M an FG-module, then the dimension of the second cohomology group of G with coefficients in M is at most 17.5 times the dimension of M. The third result is that we may replace 17.5 by 18.5 as long as M is faithful irreducible G-module. These last two results answer conjectures of Holt.

math.GR↗
arXiv2005

Ramanujan Complexes of Type $\tilde{A_d}$

We define and construct Ramanujan complexes. These are simplicial complexes which are higher dimensional analogues of Ramanujan graphs. They are obtained as quotients of the buildings of type $\tilde{A}_{d-1}$ associated with $\operatorname{PGL}_d(F)$ where $F$ is a local field of positive characteristic.

math.RT↗