Tits alternative
In mathematics, the Tits alternative, named after Jacques Tits, is an important theorem about the structure of finitely generated linear groups.
Statement
The theorem, proven by Tits,[1] is stated as follows.
Theorem — Let [math]\displaystyle{ G }[/math] be a finitely generated linear group over a field. Then two following possibilities occur:
- either [math]\displaystyle{ G }[/math] is virtually solvable (i.e., has a solvable subgroup of finite index)
- or it contains a nonabelian free group (i.e., it has a subgroup isomorphic to the free group on two generators).
Consequences
A linear group is not amenable if and only if it contains a non-abelian free group (thus the von Neumann conjecture, while not true in general, holds for linear groups).
The Tits alternative is an important ingredient[2] in the proof of Gromov's theorem on groups of polynomial growth. In fact the alternative essentially establishes the result for linear groups (it reduces it to the case of solvable groups, which can be dealt with by elementary means).
Generalizations
In geometric group theory, a group G is said to satisfy the Tits alternative if for every subgroup H of G either H is virtually solvable or H contains a nonabelian free subgroup (in some versions of the definition this condition is only required to be satisfied for all finitely generated subgroups of G).
Examples of groups satisfying the Tits alternative which are either not linear, or at least not known to be linear, are:
- Hyperbolic groups
- Mapping class groups;[3][4]
- Out(Fn);[5]
- Certain groups of birational transformations of algebraic surfaces.[6]
Examples of groups not satisfying the Tits alternative are:
Proof
The proof of the original Tits alternative[1] is by looking at the Zariski closure of [math]\displaystyle{ G }[/math] in [math]\displaystyle{ \mathrm{GL}_n(k) }[/math]. If it is solvable then the group is solvable. Otherwise one looks at the image of [math]\displaystyle{ G }[/math] in the Levi component. If it is noncompact then a ping-pong argument finishes the proof. If it is compact then either all eigenvalues of elements in the image of [math]\displaystyle{ G }[/math] are roots of unity and then the image is finite, or one can find an embedding of [math]\displaystyle{ k }[/math] in which one can apply the ping-pong strategy.
Note that the proof of all generalisations above also rests on a ping-pong argument.
References
- ↑ 1.0 1.1 Tits, J. (1972). "Free subgroups in linear groups". Journal of Algebra 20 (2): 250–270. doi:10.1016/0021-8693(72)90058-0.
- ↑ Tits, Jacques (1981). "Groupes à croissance polynomiale" (in French). Séminaire Bourbaki 1980/1981. http://www.numdam.org/numdam-bin/fitem?id=SB_1980-1981__23__176_0.
- ↑ Ivanov, Nikolai (1984). "Algebraic properties of the Teichmüller modular group". Dokl. Akad. Nauk SSSR 275: 786–789.
- ↑ McCarthy, John (1985). "A "Tits-alternative" for subgroups of surface mapping class groups". Trans. Amer. Math. Soc. 291: 583–612. doi:10.1090/s0002-9947-1985-0800253-8.
- ↑ Bestvina, Mladen; Feighn, Mark; Handel, Michael (2000). "The Tits alternative for Out(Fn) I: Dynamics of exponentially-growing automorphisms". Annals of Mathematics 151 (2): 517–623. doi:10.2307/121043.
- ↑ Cantat, Serge (2011). "Sur les groupes de transformations birationnelles des surfaces" (in French). Ann. Math. 174: 299–340. doi:10.4007/annals.2011.174.1.8.
 |  |
