Abstract:For every connected, almost simple linear algebraic group $G\leq\mathrm{GL}_{n}$ over a large enough field $K$, every subvariety $V\subseteq G$, and every finite generating set $A\subseteq G(K)$, we prove a general dimensional bound, that is, a bound of the form \[|A\cap V(\overline{K})|\leq C_{1}|A^{C_{2}}|^{\frac{\dim(V)}{\dim(G)}}\] with $C_{1},C_{2}$ depending only on $n,\mathrm{deg}(V)$. The dependence of $C_1$ on $n$ (or rather on $\dim (V)$) is doubly exponential, whereas $C_2$ (which is independent of $\mathrm{deg}(V)$) depends simply exponentially on $n$. Bounds of this form have proved useful in the study of growth in linear algebraic groups since 2005 (Helfgott) and, before then, in the study of subgroup structure (Larsen-Pink: $A$ a subgroup). In bounds for general $V$ and $G$ available before our work, the dependence of $C_1$ and $C_2$ on $n$ was of exponential-tower type. We draw immediate consequences regarding diameter bounds for untwisted classical groups $G(\mathbb{F}_{q})$. (In a separate paper, we derive stronger diameter bounds from stronger dimensional bounds we prove for specific families of varieties $V$.)

Degree bounds for rational generators of invariant fields of finite abelian groups

Degree bounds for fields of rational invariants of $\mathbb{Z}/p\mathbb{Z}$ and other finite groups

A note on the degree bounds of the invariant ring

Small generators of abelian number fields

Fields of rationality of automorphic representations: The case of unitary groups

Invariant random subgroups over non-Archimedean local fields

Arithmetic representations of fundamental groups II: finiteness

An upper bound on the number of rational points of arbitrary projective varieties over finite fields

Explicit degree bounds for right factors of linear differential operators

A degree bound for families of rational curves on surfaces

The number of primitive Vassiliev invariants up to degree 12

Bilinear forms with Kloosterman and Gauss sums in function fields

Arithmetic rank bounds for abelian varieties over function fields

A note on Galois groups and local degrees

Heights and regulators of number fields and elliptic curves

New dimensional estimates for subvarieties of linear algebraic groups

Rationality and arithmetic of the moduli of abelian varieties

Uniform bounds for fields of definition in projective spaces

Upper bounds for the number of number fields with prescribed Galois group