bfd779bb76252bdf.tex
1: \begin{abstract}
2: 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}$ 
3: with $q$ not too small with respect to $r$,
4: \begin{equation*}
5: \mathrm{diam}(G(\mathbb{F}_{q}))\leq(\log|G(\mathbb{F}_{q})|)^{1947r^{4}\log(2r)}.
6: \end{equation*}  
7: This bound improves on results by Breuillard, Green, and Tao~\cite{BGT11}, Pyber and Szab\'o~\cite{PS16}, and, for $q$ large enough, also on Halasi, Mar\'oti, Pyber, and Qiao~\cite{HMPQ19}. Our bound is achieved by way of giving dimensional estimates for certain subvarieties of $G$, i.e.\ estimates of the form $|A\cap V(\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$.
8: \end{abstract}
9: