You are currently browsing the tag archive for the ‘free groups’ tag.
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 over an uncountable algebraically closed field , there existed a free subgroup which was strongly dense in the sense that any non-abelian subgroup of was Zariski dense in . 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 are two non-commuting elements of the free group on two generators, and is a generic pair of elements in , then and are not contained in any proper closed algebraic subgroup of . Here, “generic” means “outside of at most countably many proper subvarieties”. In most cases, one expects that if are generically drawn from , then will also be generically drawn from , but this is not always the case, which is a key source of difficulty in the paper. For instance, if is conjugate to in , then and must be conjugate in and so the pair lie in a proper subvariety of . It is currently an open question to determine all the pairs of words for which is not generic for generic (or equivalently, the double word map is not dominant).
The main strategy of proof was as follows. It is not difficult to reduce to the case when is simple. Suppose for contradiction that we could find two non-commuting words such that 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 were generically trapped in a conjugate of a fixed proper closed algebraic subgroup . One can show that , , and are generically regular semisimple, which implies that is a maximal rank semisimple subgroup. The key step was then to find another proper semisimple subgroup of which was not a degeneration of , by which we mean that there did not exist a pair in the Zariski closure of the products of conjugates of , such that generated a Zariski-dense subgroup of . This is enough to establish the theorem, because we could use an induction hypothesis to find in (and hence in such that generated a Zariski-dense subgroup of , which contradicts the hypothesis that was trapped in for generic (and hence in for all .
To illustrate the concept of a degeneration, take and let be the stabiliser of a non-degenerate -space in . All other stabilisers of non-degenerate -spaces are conjugate to . However, stabilisers of degenerate -spaces are not conjugate to , but are still degenerations of . For instance, the stabiliser of a totally singular -space (which is isomorphic to the affine group on , extended by ) is a degeneration of .
A significant portion of the paper was then devoted to verifying that for each simple algebraic group , and each maximal rank proper semisimple subgroup of , one could find another proper semisimple subgroup which was not a degeneration of ; roughly speaking, this means that is so “different” from that no conjugate of can come close to covering . 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 (or the group that is double-covered by this group) in characteristic . This group (which has Dynkin diagram , as discussed in this previous post) has one maximal rank proper semisimple subgroup up to conjugacy, namely , which is the stabiliser of a line in . To find a proper semisimple group that is not a degeneration of this group, we basically need to find a subgroup that does not stabilise any line in . In characteristic larger than three (or characteristic zero), one can proceed by using the action of on the five-dimensional space of homogeneous degree four polynomials on , which preserves a non-degenerate symmetric form (the four-fold tensor power of the area form on ) and thus embeds into ; as no polynomial is fixed by all of , we see that this copy of is not a degeneration of .
Unfortunately, in characteristics two and three, the symmetric form on degenerates, and this embedding is lost. In the characteristic two case, one can proceed by using the characteristic fact that is isomorphic to (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 which is not conjugate to the subgroup. But in characteristic three, it turns out that there are no further semisimple subgroups of that are not already contained in a conjugate of the . (This is not a difficulty for larger groups such as or , where there are plenty of other semisimple groups to utilise; it is only this smallish group 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 contains a copy of (or ), 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 contains a copy of the free non-abelian group on two generators; thus there exists such that obey no nontrivial word identities. In fact, using basic algebraic geometry, one can then deduce that a generic pair of group elements 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 , almost every pair has this property.) In fact one has a stronger property, given any non-trivial word , the associated word map from to is a dominant map, which means that its image is Zariski-dense. More succinctly, if is generic, then is generic also.
In contrast, if one were working in a solvable, nilpotent, or abelian group (such as ), 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 (over an algebraically closed field), and any nontrivial word , the word map is dominant, thus generalising the preceding discussion for . (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 ; 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 , and look at the double word map on a semisimple Lie group . If 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 and . For instance, if the two words commute, then 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 are conjugate, then must also be conjugate, which is also a constraint that obstructs dominance.
It is still not clear exactly what pairs of words 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 be non-commuting words, and let be generic elements of a semisimple Lie group over an algebraically closed field. Then generate a Zariski-dense subgroup of .
To put it another way, 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 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 of , 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 , one can use to create Banach-Tarski paradoxical decompositions for all homogeneous spaces of . In particular there is one pair of that gives paradoxical decompositions for all homogeneous spaces simultaneously.
Our argument is based on a concept that we call “degeneration”. Let be generic elements of , and suppose for contradiction that generically generated a group whose algebraic closure was conjugate to a proper algebraic subgroup of . Borel’s theorem lets us show that , and latex [w_1(a,b), w_2(a,b)]$ each generate maximal tori of , which by basic algebraic group theory can be used to show that must be a proper semisimple subgroup of of maximal rank. If we were in the model case , 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 be a non-generic pair in . Then lies in the Zariski closure of the generic pairs, which means that lies in the Zariski closure of the set formed by and its conjugates. In particular, if the non-generic pair is such that generates a group that is dense in some proper algebraic subgroup , then is in the Zariski closure of the union of the conjugates of . When this happens, we say that is a degeneration of . (For instance, could be the stabiliser of some non-degenerate quadratic form, and 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 of , there exists another proper semisimple subgroup that is not a degeneration of .
Using an induction hypothesis, we can find pairs such that generate a dense subgroup of , 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 being sufficiently different from their counterparts for 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.