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.