You are currently browsing the tag archive for the ‘algebraic groups’ tag.

Over the past few months or so, I have been brushing up on my Lie group theory, as part of my project to fully understand the theory surrounding Hilbert’s fifth problem. Every so often, I encounter a basic fact in Lie theory which requires a slightly non-trivial “trick” to prove; I am recording two of them here, so that I can find these tricks again when I need to.

The first fact concerns the exponential map {\exp: {\mathfrak g} \rightarrow G} from a Lie algebra {{\mathfrak g}} of a Lie group {G} to that group. (For this discussion we will only consider finite-dimensional Lie groups and Lie algebras over the reals {{\bf R}}.) A basic fact in the subject is that the exponential map is locally a homeomorphism: there is a neighbourhood of the origin in {{\mathfrak g}} that is mapped homeomorphically by the exponential map to a neighbourhood of the identity in {G}. This local homeomorphism property is the foundation of an important dictionary between Lie groups and Lie algebras.

It is natural to ask whether the exponential map is globally a homeomorphism, and not just locally: in particular, whether the exponential map remains both injective and surjective. For instance, this is the case for connected, simply connected, nilpotent Lie groups (as can be seen from the Baker-Campbell-Hausdorff formula.)

The circle group {S^1}, which has {{\bf R}} as its Lie algebra, already shows that global injectivity fails for any group that contains a circle subgroup, which is a huge class of examples (including, for instance, the positive dimensional compact Lie groups, or non-simply-connected Lie groups). Surjectivity also obviously fails for disconnected groups, since the Lie algebra is necessarily connected, and so the image under the exponential map must be connected also. However, even for connected Lie groups, surjectivity can fail. To see this, first observe that if the exponential map was surjective, then every group element {g \in G} has a square root (i.e. an element {h \in G} with {h^2 = g}), since {\exp(x)} has {\exp(x/2)} as a square root for any {x \in {\mathfrak g}}. However, there exist elements in connected Lie groups without square roots. A simple example is provided by the matrix

\displaystyle  g = \begin{pmatrix} -4 & 0 \\ 0 & -1/4 \end{pmatrix}

in the connected Lie group {SL_2({\bf R})}. This matrix has eigenvalues {-4}, {-1/4}. Thus, if {h \in SL_2({\bf R})} is a square root of {g}, we see (from the Jordan normal form) that it must have at least one eigenvalue in {\{-2i,+2i\}}, and at least one eigenvalue in {\{-i/2,i/2\}}. On the other hand, as {h} has real coefficients, the complex eigenvalues must come in conjugate pairs {\{ a+bi, a-bi\}}. Since {h} can only have at most {2} eigenvalues, we obtain a contradiction.

However, there is an important case where surjectivity is recovered:

Proposition 1 If {G} is a compact connected Lie group, then the exponential map is surjective.

Proof: The idea here is to relate the exponential map in Lie theory to the exponential map in Riemannian geometry. We first observe that every compact Lie group {G} can be given the structure of a Riemannian manifold with a bi-invariant metric. This can be seen in one of two ways. Firstly, one can put an arbitrary positive definite inner product on {{\mathfrak g}} and average it against the adjoint action of {G} using Haar probability measure (which is available since {G} is compact); this gives an ad-invariant positive-definite inner product on {{\mathfrak g}} that one can then translate by either left or right translation to give a bi-invariant Riemannian structure on {G}. Alternatively, one can use the Peter-Weyl theorem to embed {G} in a unitary group {U(n)}, at which point one can induce a bi-invariant metric on {G} from the one on the space {M_n({\bf C}) \equiv {\bf C}^{n^2}} of {n \times n} complex matrices.

As {G} is connected and compact and thus complete, we can apply the Hopf-Rinow theorem and conclude that any two points are connected by at least one geodesic, so that the Riemannian exponential map from {{\mathfrak g}} to {G} formed by following geodesics from the origin is surjective. But one can check that the Lie exponential map and Riemannian exponential map agree; for instance, this can be seen by noting that the group structure naturally defines a connection on the tangent bundle which is both torsion-free and preserves the bi-invariant metric, and must therefore agree with the Levi-Civita metric. (Alternatively, one can embed into a unitary group {U(n)} and observe that {G} is totally geodesic inside {U(n)}, because the geodesics in {U(n)} can be described explicitly in terms of one-parameter subgroups.) The claim follows. \Box

Remark 1 While it is quite nice to see Riemannian geometry come in to prove this proposition, I am curious to know if there is any other proof of surjectivity for compact connected Lie groups that does not require explicit introduction of Riemannian geometry concepts.

The other basic fact I learned recently concerns the algebraic nature of Lie groups and Lie algebras. An important family of examples of Lie groups are the algebraic groups – algebraic varieties with a group law given by algebraic maps. Given that one can always automatically upgrade the smooth structure on a Lie group to analytic structure (by using the Baker-Campbell-Hausdorff formula), it is natural to ask whether one can upgrade the structure further to an algebraic structure. Unfortunately, this is not always the case. A prototypical example of this is given by the one-parameter subgroup

\displaystyle  G := \{ \begin{pmatrix} t & 0 \\ 0 & t^\alpha \end{pmatrix}: t \in {\bf R}^+ \} \ \ \ \ \ (1)

of {GL_2({\bf R})}. This is a Lie group for any exponent {\alpha \in {\bf R}}, but if {\alpha} is irrational, then the curve that {G} traces out is not an algebraic subset of {GL_2({\bf R})} (as one can see by playing around with Puiseux series).

This is not a true counterexample to the claim that every Lie group can be given the structure of an algebraic group, because one can give {G} a different algebraic structure than one inherited from the ambient group {GL_2({\bf R})}. Indeed, {G} is clearly isomorphic to the additive group {{\bf R}}, which is of course an algebraic group. However, a modification of the above construction works:

Proposition 2 There exists a Lie group {G} that cannot be given the structure of an algebraic group.

Proof: We use an example from the text of Tauvel and Yu (that I found via this MathOverflow posting). We consider the subgroup

\displaystyle  G := \{ \begin{pmatrix} 1 & 0 & 0 \\ x & t & 0 \\ y & 0 & t^\alpha \end{pmatrix}: x, y \in {\bf R}; t \in {\bf R}^+ \}

of {GL_3({\bf R})}, with {\alpha} an irrational number. This is a three-dimensional (metabelian) Lie group, whose Lie algebra {{\mathfrak g} \subset {\mathfrak gl}_3({\bf R})} is spanned by the elements

\displaystyle  X := \begin{pmatrix} 0 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & \alpha \end{pmatrix}

\displaystyle  Y := \begin{pmatrix} 0 & 0 & 0 \\ -1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}

\displaystyle  Z := \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ -\alpha & 0 & 0 \end{pmatrix}

with the Lie bracket given by

\displaystyle  [Y,X] = -Y; [Z,X] = -\alpha Z; [Y,Z] = 0.

As such, we see that if we use the basis {X, Y, Z} to identify {{\mathfrak g}} to {{\bf R}^3}, then adjoint representation of {G} is the identity map.

If {G} is an algebraic group, it is easy to see that the adjoint representation {\hbox{Ad}: G \rightarrow GL({\mathfrak g})} is also algebraic, and so {\hbox{Ad}(G) = G} is algebraic in {GL({\mathfrak g})}. Specialising to our specific example, in which adjoint representation is the identity, we conclude that if {G} has any algebraic structure, then it must also be an algebraic subgroup of {GL_3({\bf R})}; but {G} projects to the group (1) which is not algebraic, a contradiction. \Box

A slight modification of the same argument also shows that not every Lie algebra is algebraic, in the sense that it is isomorphic to a Lie algebra of an algebraic group. (However, there are important classes of Lie algebras that are automatically algebraic, such as nilpotent or semisimple Lie algebras.)

Last year, Emmanuel Breuillard, Ben Green, Bob Guralnick, and I wrote a paper entitled “Strongly dense free subgroups of semisimple Lie groups“. The main theorem in that paper asserted that given any semisimple algebraic group {G(k)} over an uncountable algebraically closed field {k}, there existed a free subgroup {\Gamma} which was strongly dense in the sense that any non-abelian subgroup of {\Gamma} was Zariski dense in {G(k)}. This type of result is useful for establishing expansion in finite simple groups of Lie type, as we will discuss in a subsequent paper.

An essentially equivalent formulation of the main result is that if {w_1, w_2 \in F_2} are two non-commuting elements of the free group {F_2} on two generators, and {(a, b)} is a generic pair of elements in {G(k) \times G(k)}, then {w_1(a,b)} and {w_2(a,b)} are not contained in any proper closed algebraic subgroup {H} of {G(k)}. Here, “generic” means “outside of at most countably many proper subvarieties”. In most cases, one expects that if {(a, b)} are generically drawn from {G(k) \times G(k)}, then {(w_1(a,b), w_2(a,b))} will also be generically drawn from {G(k) \times G(k)}, but this is not always the case, which is a key source of difficulty in the paper. For instance, if {w_2} is conjugate to {w_1} in {F_2}, then {w_1(a,b)} and {w_2(a,b)} must be conjugate in {G(k)} and so the pair {(w_1(a,b), w_2(a,b))} lie in a proper subvariety of {G(k) \times G(k)}. It is currently an open question to determine all the pairs {w_1, w_2} of words for which {(w_1(a,b), w_2(a,b))} is not generic for generic {a,b} (or equivalently, the double word map {(a,b) \mapsto (w_1(a,b),w_2(a,b))} is not dominant).

The main strategy of proof was as follows. It is not difficult to reduce to the case when {G} is simple. Suppose for contradiction that we could find two non-commuting words {w_1, w_2} such that {w_1(a,b), w_2(a,b)} were generically trapped in a proper closed algebraic subgroup. As it turns out, there are only finitely many conjugacy classes of such groups, and so one can assume that {w_1(a,b), w_2(a,b)} were generically trapped in a conjugate {H^g} of a fixed proper closed algebraic subgroup {H}. One can show that {w_1(a,b)}, {w_2(a,b)}, and {[w_1(a,b),w_2(a,b)]} are generically regular semisimple, which implies that {H} is a maximal rank semisimple subgroup. The key step was then to find another proper semisimple subgroup {H'} of {G} which was not a degeneration of {H}, by which we mean that there did not exist a pair {(x,y)} in the Zariski closure {\overline{\bigcup_{g \in G} H^g \times H^g}} of the products of conjugates of {H}, such that {x, y} generated a Zariski-dense subgroup of {H'}. This is enough to establish the theorem, because we could use an induction hypothesis to find {a,b} in {H'} (and hence in {G(k)} such that {w_1(a,b), w_2(a,b)} generated a Zariski-dense subgroup of {H'}, which contradicts the hypothesis that {(w_1(a,b),w_2(a,b))} was trapped in {\bigcup_{g \in G} H^g \times H^g} for generic {(a,b)} (and hence in {\overline{\bigcup_{g \in G} H^g \times H^g}} for all {(a,b)}.

To illustrate the concept of a degeneration, take {G(k) = SO(5)} and let {H = SO(3) \times SO(2)} be the stabiliser of a non-degenerate {2}-space in {k^5}. All other stabilisers of non-degenerate {2}-spaces are conjugate to {H}. However, stabilisers of degenerate {2}-spaces are not conjugate to {H}, but are still degenerations of {H}. For instance, the stabiliser of a totally singular {2}-space (which is isomorphic to the affine group on {k^2}, extended by {k}) is a degeneration of {H}.

A significant portion of the paper was then devoted to verifying that for each simple algebraic group {G}, and each maximal rank proper semisimple subgroup {H} of {G}, one could find another proper semisimple subgroup {H'} which was not a degeneration of {H}; roughly speaking, this means that {H'} is so “different” from {H} that no conjugate of {H} can come close to covering {H'}. This required using the standard classification of algebraic groups via Dynkin diagrams, and knowledge of the various semisimple subgroups of these groups and their representations (as we used the latter as obstructions to degeneration, for instance one can show that a reducible representation cannot degenerate to an irreducible one).

During the refereeing process for this paper, we discovered that there was precisely one family of simple algebraic groups for which this strategy did not actually work, namely the group {G = Sp(4) = Spin(5)} (or the group {SO(5)} that is double-covered by this group) in characteristic {3}. This group (which has Dynkin diagram {B_2=C_2}, as discussed in this previous post) has one maximal rank proper semisimple subgroup up to conjugacy, namely {SO(4)}, which is the stabiliser of a line in {k^5}. To find a proper semisimple group {H'} that is not a degeneration of this group, we basically need to find a subgroup {H'} that does not stabilise any line in {k^5}. In characteristic larger than three (or characteristic zero), one can proceed by using the action of {SL_2(k)} on the five-dimensional space {\hbox{Sym}^4(k^2)} of homogeneous degree four polynomials on {k^2}, which preserves a non-degenerate symmetric form (the four-fold tensor power of the area form on {k^2}) and thus embeds into {SO(5)}; as no polynomial is fixed by all of {SL_2(k)}, we see that this copy of {SL_2(k)} is not a degeneration of {H}.

Unfortunately, in characteristics two and three, the symmetric form on {\hbox{Sym}^4(k^2)} degenerates, and this embedding is lost. In the characteristic two case, one can proceed by using the characteristic {2} fact that {SO(5)} is isomorphic to {Sp(4)} (because in characteristic two, the space of null vectors is a hyperplane, and the symmetric form becomes symplectic on this hyperplane), and thus has an additional maximal rank proper semisimple subgroup {Sp(2) \times Sp(2)} which is not conjugate to the {SO(4)} subgroup. But in characteristic three, it turns out that there are no further semisimple subgroups of {SO(5)} that are not already contained in a conjugate of the {SO(4)}. (This is not a difficulty for larger groups such as {SO(6)} or {SO(7)}, where there are plenty of other semisimple groups to utilise; it is only this smallish group {SO(5)} that has the misfortune of having exactly one maximal rank proper semisimple group to play with, and not enough other semisimples lying around in characteristic three.)

As a consequence of this issue, our argument does not actually work in the case when the characteristic is three and the semisimple group {G} contains a copy of {SO(5)} (or {Sp(4)}), and we have had to modify our paper to delete this case from our results. We believe that such groups still do contain strongly dense free subgroups, but this appears to be just out of reach of our current method.

One thing that this experience has taught me is that algebraic groups behave somewhat pathologically in low characteristic; in particular, intuition coming from the characteristic zero case can become unreliable in characteristic two or three.

Emmanuel Breuillard, Ben Green, Robert Guralnick, and I have just uploaded to the arxiv our paper “Strongly dense free subgroups of semisimple algebraic groups“, submitted to Israel J. Math.. This paper was originally motivated by (and provides a key technical tool for) another forthcoming paper of ours, on expander Cayley graphs in finite simple groups of Lie type, but also has some independent interest due to connections with other topics, such as the Banach-Tarski paradox.

Recall that one of the basic facts underlying the Banach-Tarski paradox is that the rotation group O(3) contains a copy of the free non-abelian group F_2 on two generators; thus there exists a, b \in O(3) such that a,b obey no nontrivial word identities.  In fact, using basic algebraic geometry, one can then deduce that a generic pair (a,b) of group elements a, b \in O(3) has this property, where for the purposes of this paper “generic” means “outside of at most countably many algebraic subvarieties of strictly smaller dimension”.    (In particular, using Haar measure on O(3), almost every pair has this property.)  In fact one has a stronger property, given any non-trivial word w \in F_2, the associated word map (a,b) \mapsto w(a,b) from O(3) \times O(3) to O(3) is a dominant map, which means that its image is Zariski-dense.  More succinctly, if (a,b) is generic, then w(a,b) is generic also.

In contrast, if one were working in a solvable, nilpotent, or abelian group (such as O(2)), then this property would not hold, since every subgroup of a solvable group is still solvable and thus not free (and similarly for nilpotent or abelian groups).  (This already goes a long way to explain why the Banach-Tarski paradox holds in three or more dimensions, but not in two or fewer.)  On the other hand, a famous result of Borel asserts that for any semisimple Lie group G (over an algebraically closed field), and any nontrivial word w \in F_2, the word map w: G \times G \to G is dominant, thus generalising the preceding discussion for O(3).  (There is also the even more famous Tits alternative, that asserts that any linear group that is not (virtually) solvable will contain a copy of the free group F_2; as pointed out to me by Michael Cowling, this already shows that generic pairs of generators will generate a free group, and with a little more effort one can even show that it generates a Zariski-dense free group.)

Now suppose we take two words w_1, w_2 \in F_2, and look at the double word map (w_1,w_2): G \times G \to G \times G on a semisimple Lie group G.  If w_1, w_2 are non-trivial, then Borel’s theorem tells us that each component of this map is dominant, but this does not mean that the entire map is dominant, because there could be constraints between w_1(a,b) and w_2(a,b).  For instance, if the two words w_1, w_2 commute, then w_1(a,b), w_2(a,b) must also commute and so the image of the double word map is not Zariski-dense.  But there are also non-commuting examples of non-trivial constraints: for instance, if w_1, w_2 are conjugate, then w_1(a,b), w_2(a,b) must also be conjugate, which is also a constraint that obstructs dominance.

It is still not clear exactly what pairs of words w_1, w_2 have the dominance property.  However, we are able to establish that all pairs of non-commuting words have a weaker property than dominance:

Theorem. Let w_1, w_2 \in F_2 be non-commuting words, and let a, b be generic elements of a semisimple Lie group G over an algebraically closed field.  Then w_1(a,b), w_2(a,b) generate a Zariski-dense subgroup of G.

To put it another way, G not only contains free subgroups, but contains what we call strongly dense free subgroups: free subgroups such that any two non-commuting elements generate a Zariski-dense subgroup.

Our initial motivation for this theorem is its implications for finite simple groups G of Lie type.  Roughly speaking, one can use this theorem to show that a generic random walk in such a group cannot be trapped in a (bounded complexity) proper algebraic subgroup H of G, and this “escape from subgroups” fact is a key ingredient in our forthcoming paper in which we demonstrate that random Cayley graphs in such groups are expander graphs.

It also has implications for results of Banach-Tarski type; it shows that for any semisimple Lie group G, and for generic a, b \in G, one can use a, b to create Banach-Tarski paradoxical decompositions for all homogeneous spaces of G.  In particular there is one pair of a,b that gives paradoxical decompositions for all homogeneous spaces simultaneously.

Our argument is based on a concept that we call “degeneration”.  Let a, b be generic elements of G, and suppose for contradiction that w_1(a,b), w_2(a,b) generically generated a group whose algebraic closure was conjugate to a proper algebraic subgroup H of G.  Borel’s theorem lets us show that w_1(a,b), w_2(a,b), and latex [w_1(a,b), w_2(a,b)]$ each generate maximal tori of G, which by basic algebraic group theory can be used to show that H must be a proper semisimple subgroup of G of maximal rank.  If we were in the model case G = SL_n, then we would already be done, as there are no such maximal rank semisimple subgroups; but in the other groups, such proper maximal semisimple groups unfortunately exist.  Fortunately, they have been completely classified, and we take advantage of this classification in our argument.

The degeneration argument comes in as follows.  Let (a,b) be a non-generic pair in G \times G.  Then (a,b) lies in the Zariski closure of the generic pairs, which means that (w_1(a,b), w_2(a,b)) lies in the Zariski closure of the set formed by H \times H and its conjugates.  In particular, if the non-generic pair is such that w_1(a,b), w_2(a,b) generates a group that is dense in some proper algebraic subgroup H', then H' \times H' is in the Zariski closure of the union of the conjugates of H \times H.  When this happens, we say that H' is a degeneration of H.  (For instance, H could be the stabiliser of some non-degenerate quadratic form, and H' could be the stabiliser of a degenerate limit of that form.)

The key fact we need (that relies on the classification, and a certain amount of representation theory) is:

Proposition. Given any proper semisimple maximal rank subgroup H of G, there exists another proper semisimple subgroup H' that is not a degeneration of H.

Using an induction hypothesis, we can find pairs (a,b) such that w_1(a,b), w_2(a,b) generate a dense subgroup of H', which together with the preceding discussion contradicts the proposition.

The proposition is currently proven by using some known facts about certain representation-theoretic invariants of all the semisimple subgroups of the classical and exceptional simple Lie groups.  While the proof is of finite length, it is not particularly elegant, ultimately relying on the numerical value of one or more  invariants of H being sufficiently different from their counterparts for H' that one can prevent the latter being a degeneration of the former.  Perhaps there is another way to proceed here that is not based so heavily on classification.

Emmanuel Breuillard, Ben Green, and I have just uploaded to the arXiv our paper “Approximate subgroups of linear groups“, submitted to GAFA. This paper contains (the first part) of the results announced previously by us; the second part of these results, concerning expander groups, will appear subsequently. The release of this paper has been coordinated with the release of a parallel paper by Pyber and Szabo (previously announced within an hour(!) of our own announcement).

Our main result describes (with polynomial accuracy) the “sufficiently Zariski dense” approximate subgroups of simple algebraic groups {{\bf G}(k)}, or more precisely absolutely almost simple algebraic groups over {k}, such as {SL_d(k)}. More precisely, define a {K}-approximate subgroup of a genuine group {G} to be a finite symmetric neighbourhood of the identity {A} (thus {1 \in A} and {A^{-1}=A}) such that the product set {A \cdot A} can be covered by {K} left-translates (and equivalently, {K} right-translates) of {A}.

Let {k} be a field, and let {\overline{k}} be its algebraic closure. For us, an absolutely almost simple algebraic group over {k} is a linear algebraic group {{\bf G}(k)} defined over {k} (i.e. an algebraic subvariety of {GL_n(k)} for some {n} with group operations given by regular maps) which is connected (i.e. irreducible), and such that the completion {{\bf G}(\overline{k})} has no proper normal subgroups of positive dimension (i.e. the only normal subgroups are either finite, or are all of {{\bf G}(\overline{k})}. To avoid degeneracies we also require {{\bf G}} to be non-abelian (i.e. not one-dimensional). These groups can be classified in terms of their associated finite-dimensional simple complex Lie algebra, which of course is determined by its Dynkin diagram, together with a choice of weight lattice (and there are only finitely many such choices once the Lie algebra is fixed). However, the exact classification of these groups is not directly used in our work.

Our first main theorem classifies the approximate subgroups {A} of such a group {{\bf G}(k)} in the model case when {A} generates the entire group {{\bf G}(k)}, and {k} is finite; they are either very small or very large.

Theorem 1 (Approximate groups that generate) Let {{\bf G}(k)} be an absolutely almost simple algebraic group over {k}. If {k} is finite and {A} is a {K}-approximate subgroup of {{\bf G}(k)} that generates {{\bf G}(k)}, then either {|A| \leq K^{O(1)}} or {|A| \geq K^{-O(1)} |{\bf G}(k)|}, where the implied constants depend only on {{\bf G}}.

The hypothesis that {A} generates {{\bf G}(k)} cannot be removed completely, since if {A} was a proper subgroup of {{\bf G}(k)} of size intermediate between that of the trivial group and of {{\bf G}(k)}, then the conclusion would fail (with {K=O(1)}). However, one can relax the hypothesis of generation to that of being sufficiently Zariski-dense in {{\bf G}(k)}. More precisely, we have

Theorem 2 (Zariski-dense approximate groups) Let {{\bf G}(k)} be an absolutely almost simple algebraic group over {k}. If {A} is a {K}-approximate group) is not contained in any proper algebraic subgroup of {k} of complexity at most {M} (where {M} is sufficiently large depending on {{\bf G}}), then either {|A| \leq K^{O(1)}} or {|A| \geq K^{-O(1)} |\langle A \rangle|}, where the implied constants depend only on {{\bf G}} and {\langle A \rangle} is the group generated by {A}.

Here, we say that an algebraic variety has complexity at most {M} if it can be cut out of an ambient affine or projective space of dimension at most {M} by using at most {M} polynomials, each of degree at most {M}. (Note that this is not an intrinsic notion of complexity, but will depend on how one embeds the algebraic variety into an ambient space; but we are assuming that our algebraic group {{\bf G}(k)} is a linear group and thus comes with such an embedding.)

In the case when {k = {\bf C}}, the second option of this theorem cannot occur since {{\bf G}({\bf C})} is infinite, leading to a satisfactory classification of the Zariski-dense approximate subgroups of almost simple connected algebraic groups over {{\bf C}}. On the other hand, every approximate subgroup of {GL_n({\bf C})} is Zariski-dense in some algebraic subgroup, which can be then split as an extension of a semisimple algebraic quotient group by a solvable algebraic group (the radical of the Zariski closure). Pursuing this idea (and glossing over some annoying technical issues relating to connectedness), together with the Freiman theory for solvable groups over {{\bf C}} due to Breuillard and Green, we obtain our third theorem:

Theorem 3 (Freiman’s theorem in {GL_n({\bf C})}) Let {A} be a {K}-approximate subgroup of {GL_n({\bf C})}. Then there exists a nilpotent {K}-approximate subgroup {B} of size at most {K^{O(1)}|A|}, such that {A} is covered by {K^{O(1)}} translates of {B}.

This can be compared with Gromov’s celebrated theorem that any finitely generated group of polynomial growth is virtually nilpotent. Indeed, the above theorem easily implies Gromov’s theorem in the case of finitely generated subgroups of {GL_n({\bf C})}.

By fairly standard arguments, the above classification theorems for approximate groups can be used to give bounds on the expansion and diameter of Cayley graphs, for instance one can establish a conjecture of Babai and Seress that connected Cayley graphs on absolutely almost simple groups over a finite field have polylogarithmic diameter at most. Applications to expanders include the result on Suzuki groups mentioned in a previous post; further applications will appear in a forthcoming paper.

Apart from the general structural theory of algebraic groups, and some quantitative analogues of the basic theory of algebraic geometry (which we chose to obtain via ultrafilters, as discussed in this post), we rely on two basic tools. Firstly, we use a version of the pivot argument developed first by Konyagin and Bourgain-Glibichuk-Konyagin in the setting of sum-product estimates, and generalised to more non-commutative settings by Helfgott; this is discussed in this previous post. Secondly, we adapt an argument of Larsen and Pink (which we learned from a paper of Hrushovski) to obtain a sharp bound on the extent to which a sufficiently Zariski-dense approximate groups can concentrate in a (bounded complexity) subvariety; this is discussed at the end of this blog post.