Growth estimates and diameter bounds for classical Chevalley groups

MaRDI QIDQ6379597zbMATH OpenFDO

Authors Jitendra Bajpai, Daniele Dona, Harald A. Helfgott

Publication date 6 October 2021

Mathematics Subject Classification ID

Distance in graphs (05C12) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Varieties and morphisms (14A10) Asymptotic properties of groups (20F69) Linear algebraic groups over finite fields (20G40)

Abstract: Babai's conjecture states that, for any finite simple non-abelian group $G$, the diameter of $G$ is bounded by $(log|G|{)}^C$ for some absolute constant $C$. We prove that, for any classical Chevalley group $G$ of rank $r$ defined over a field $mathbb{F}_q$ with $q$ not too small with respect to $r$, �egin{equation*} mathrm{diam}(G(mathbb{F}_{q}))leq(log|G(mathbb{F}_{q})|)^{1947r^{4}log(2r)}. end{equation*} This bound improves on results by Breuillard, Green, and Tao [7], Pyber and Szab'o [31], and, for $q$ large enough, also on Halasi, Mar'oti, Pyber, and Qiao [13]. Our bound is achieved by way of giving dimensional estimates for certain subvarieties of $G$, i.e. estimates of the form $|AcapV(mathbb{F}_q)|ll|A^C{|}^{dim(V)/dim(G)}$ valid for all generating sets $A$. We also provide an explicit dimensional estimate for general subvarieties of $G$.

This page was built for publication: Growth estimates and diameter bounds for classical Chevalley groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6379597)