Misplaced Pages

Ping-pong lemma

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In mathematics, the ping-pong lemma, or table-tennis lemma, is any of several mathematical statements that ensure that several elements in a group acting on a set freely generates a free subgroup of that group.

History

The ping-pong argument goes back to the late 19th century and is commonly attributed to Felix Klein who used it to study subgroups of Kleinian groups, that is, of discrete groups of isometries of the hyperbolic 3-space or, equivalently Möbius transformations of the Riemann sphere. The ping-pong lemma was a key tool used by Jacques Tits in his 1972 paper containing the proof of a famous result now known as the Tits alternative. The result states that a finitely generated linear group is either virtually solvable or contains a free subgroup of rank two. The ping-pong lemma and its variations are widely used in geometric topology and geometric group theory.

Modern versions of the ping-pong lemma can be found in many books such as Lyndon & Schupp, de la Harpe, Bridson & Haefliger and others.

Formal statements

Ping-pong lemma for several subgroups

This version of the ping-pong lemma ensures that several subgroups of a group acting on a set generate a free product. The following statement appears in Olijnyk and Suchchansky (2004), and the proof is from de la Harpe (2000).

Let G be a group acting on a set X and let H1, H2, ..., Hk be subgroups of G where k ≥ 2, such that at least one of these subgroups has order greater than 2. Suppose there exist pairwise disjoint nonempty subsets X1, X2, ...,Xk of X such that the following holds:

  • For any is and for any h in Hi, h ≠ 1 we have h(Xs) ⊆ Xi.

Then H 1 , , H k = H 1 H k . {\displaystyle \langle H_{1},\dots ,H_{k}\rangle =H_{1}\ast \dots \ast H_{k}.}

Proof

By the definition of free product, it suffices to check that a given (nonempty) reduced word represents a nontrivial element of G {\displaystyle G} . Let w {\displaystyle w} be such a word of length m 2 {\displaystyle m\geq 2} , and let w = i = 1 m w i , {\displaystyle w=\prod _{i=1}^{m}w_{i},} where w i H α i {\textstyle w_{i}\in H_{\alpha _{i}}} for some α i { 1 , , k } {\textstyle \alpha _{i}\in \{1,\dots ,k\}} . Since w {\textstyle w} is reduced, we have α i α i + 1 {\displaystyle \alpha _{i}\neq \alpha _{i+1}} for any i = 1 , , m 1 {\displaystyle i=1,\dots ,m-1} and each w i {\displaystyle w_{i}} is distinct from the identity element of H α i {\displaystyle H_{\alpha _{i}}} . We then let w {\displaystyle w} act on an element of one of the sets X i {\textstyle X_{i}} . As we assume that at least one subgroup H i {\displaystyle H_{i}} has order at least 3, without loss of generality we may assume that H 1 {\displaystyle H_{1}} has order at least 3. We first make the assumption that α 1 {\displaystyle \alpha _{1}} and α m {\displaystyle \alpha _{m}} are both 1 (which implies m 3 {\displaystyle m\geq 3} ). From here we consider w {\displaystyle w} acting on X 2 {\displaystyle X_{2}} . We get the following chain of containments: w ( X 2 ) i = 1 m 1 w i ( X 1 ) i = 1 m 2 w i ( X α m 1 ) w 1 ( X α 2 ) X 1 . {\displaystyle w(X_{2})\subseteq \prod _{i=1}^{m-1}w_{i}(X_{1})\subseteq \prod _{i=1}^{m-2}w_{i}(X_{\alpha _{m-1}})\subseteq \dots \subseteq w_{1}(X_{\alpha _{2}})\subseteq X_{1}.}

By the assumption that different X i {\displaystyle X_{i}} 's are disjoint, we conclude that w {\displaystyle w} acts nontrivially on some element of X 2 {\displaystyle X_{2}} , thus w {\displaystyle w} represents a nontrivial element of G {\displaystyle G} .

To finish the proof we must consider the three cases:

  • if α 1 = 1 , α m 1 {\displaystyle \alpha _{1}=1,\,\alpha _{m}\neq 1} , then let h H 1 { w 1 1 , 1 } {\displaystyle h\in H_{1}\setminus \{w_{1}^{-1},1\}} (such an h {\displaystyle h} exists since by assumption H 1 {\displaystyle H_{1}} has order at least 3);
  • if α 1 1 , α m = 1 {\displaystyle \alpha _{1}\neq 1,\,\alpha _{m}=1} , then let h H 1 { w m , 1 } {\displaystyle h\in H_{1}\setminus \{w_{m},1\}} ;
  • and if α 1 1 , α m 1 {\displaystyle \alpha _{1}\neq 1,\,\alpha _{m}\neq 1} , then let h H 1 { 1 } {\displaystyle h\in H_{1}\setminus \{1\}} .

In each case, h w h 1 {\displaystyle hwh^{-1}} after reduction becomes a reduced word with its first and last letter in H 1 {\displaystyle H_{1}} . Finally, h w h 1 {\displaystyle hwh^{-1}} represents a nontrivial element of G {\displaystyle G} , and so does w {\displaystyle w} . This proves the claim.

The Ping-pong lemma for cyclic subgroups

Let G be a group acting on a set X. Let a1, ...,ak be elements of G of infinite order, where k ≥ 2. Suppose there exist disjoint nonempty subsets

X1, ..., Xk and X1, ..., Xk

of X with the following properties:

  • ai(XXi) ⊆ Xi for i = 1, ..., k;
  • ai(XXi) ⊆ Xi for i = 1, ..., k.

Then the subgroup H = ⟨a1, ..., ak⟩ ≤ G generated by a1, ..., ak is free with free basis {a1, ..., ak}.

Proof

This statement follows as a corollary of the version for general subgroups if we let Xi = XiXi and let Hi = ⟨ai⟩.

Examples

Special linear group example

One can use the ping-pong lemma to prove that the subgroup H = ⟨A,B⟩ ≤ SL2(Z), generated by the matrices A = ( 1 2 0 1 ) {\displaystyle A={\begin{pmatrix}1&2\\0&1\end{pmatrix}}} and B = ( 1 0 2 1 ) {\displaystyle B={\begin{pmatrix}1&0\\2&1\end{pmatrix}}} is free of rank two.

Proof

Indeed, let H1 = ⟨A⟩ and H2 = ⟨B⟩ be cyclic subgroups of SL2(Z) generated by A and B accordingly. It is not hard to check that A and B are elements of infinite order in SL2(Z) and that H 1 = { A n n Z } = { ( 1 2 n 0 1 ) : n Z } {\displaystyle H_{1}=\{A^{n}\mid n\in \mathbb {Z} \}=\left\{{\begin{pmatrix}1&2n\\0&1\end{pmatrix}}:n\in \mathbb {Z} \right\}} and H 2 = { B n n Z } = { ( 1 0 2 n 1 ) : n Z } . {\displaystyle H_{2}=\{B^{n}\mid n\in \mathbb {Z} \}=\left\{{\begin{pmatrix}1&0\\2n&1\end{pmatrix}}:n\in \mathbb {Z} \right\}.}

Consider the standard action of SL2(Z) on R by linear transformations. Put X 1 = { ( x y ) R 2 : | x | > | y | } {\displaystyle X_{1}=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}:|x|>|y|\right\}} and X 2 = { ( x y ) R 2 : | x | < | y | } . {\displaystyle X_{2}=\left\{{\begin{pmatrix}x\\y\end{pmatrix}}\in \mathbb {R} ^{2}:|x|<|y|\right\}.}

It is not hard to check, using the above explicit descriptions of H1 and H2, that for every nontrivial gH1 we have g(X2) ⊆ X1 and that for every nontrivial gH2 we have g(X1) ⊆ X2. Using the alternative form of the ping-pong lemma, for two subgroups, given above, we conclude that H = H1 ∗ H2. Since the groups H1 and H2 are infinite cyclic, it follows that H is a free group of rank two.

Word-hyperbolic group example

Let G be a word-hyperbolic group which is torsion-free, that is, with no nonidentity elements of finite order. Let g, hG be two non-commuting elements, that is such that ghhg. Then there exists M ≥ 1 such that for any integers nM, mM the subgroup H = ⟨g, h⟩ ≤ G is free of rank two.

Sketch of the proof

The group G acts on its hyperbolic boundaryG by homeomorphisms. It is known that if a in G is a nonidentity element then a has exactly two distinct fixed points, a and a in ∂G and that a is an attracting fixed point while a is a repelling fixed point.

Since g and h do not commute, basic facts about word-hyperbolic groups imply that g, g, h and h are four distinct points in ∂G. Take disjoint neighborhoods U+, U, V+, and V of g, g, h and h in ∂G respectively. Then the attracting/repelling properties of the fixed points of g and h imply that there exists M ≥ 1 such that for any integers nM, mM we have:

  • g(∂GU) ⊆ U+
  • g(∂GU+) ⊆ U
  • h(∂GV) ⊆ V+
  • h(∂GV+) ⊆ V

The ping-pong lemma now implies that H = ⟨g, h⟩ ≤ G is free of rank two.

Applications of the ping-pong lemma

References

  1. ^ Pierre de la Harpe. Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago. ISBN 0-226-31719-6; Ch. II.B "The table-Tennis Lemma (Klein's criterion) and examples of free products"; pp. 25–41.
  2. ^ J. Tits. Free subgroups in linear groups. Journal of Algebra, vol. 20 (1972), pp. 250–270
  3. ^ Roger C. Lyndon and Paul E. Schupp. Combinatorial Group Theory. Springer-Verlag, New York, 2001. "Classics in Mathematics" series, reprint of the 1977 edition. ISBN 978-3-540-41158-1; Ch II, Section 12, pp. 167–169
  4. Martin R. Bridson, and André Haefliger. Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften , 319. Springer-Verlag, Berlin, 1999. ISBN 3-540-64324-9; Ch.III.Γ, pp. 467–468
  5. Andrij Olijnyk and Vitaly Suchchansky. Representations of free products by infinite unitriangular matrices over finite fields. International Journal of Algebra and Computation. Vol. 14 (2004), no. 5–6, pp. 741–749; Lemma 2.1
  6. ^ M. Gromov. Hyperbolic groups. Essays in group theory, pp. 75–263, Mathematical Sciences Research Institute Publications, 8, Springer, New York, 1987; ISBN 0-387-96618-8; Ch. 8.2, pp. 211–219.
  7. Alexander Lubotzky. Lattices in rank one Lie groups over local fields. Geometric and Functional Analysis, vol. 1 (1991), no. 4, pp. 406–431
  8. Richard P. Kent, and Christopher J. Leininger. Subgroups of mapping class groups from the geometrical viewpoint. In the tradition of Ahlfors-Bers. IV, pp. 119–141, Contemporary Mathematics series, 432, American Mathematical Society, Providence, RI, 2007; ISBN 978-0-8218-4227-0; 0-8218-4227-7
  9. M. Bestvina, M. Feighn, and M. Handel. Laminations, trees, and irreducible automorphisms of free groups. Geometric and Functional Analysis, vol. 7 (1997), no. 2, pp. 215–244.
  10. Pierre de la Harpe. Free groups in linear groups. L'Enseignement Mathématique (2), vol. 29 (1983), no. 1-2, pp. 129–144
  11. Bernard Maskit. Kleinian groups. Grundlehren der Mathematischen Wissenschaften , 287. Springer-Verlag, Berlin, 1988. ISBN 3-540-17746-9; Ch. VII.C and Ch. VII.E pp.149–156 and pp. 160–167
  12. Pierre de la Harpe. Topics in geometric group theory. Chicago Lectures in Mathematics. University of Chicago Press, Chicago. ISBN 0-226-31719-6; Ch. II.B "The table-Tennis Lemma (Klein's criterion) and examples of free products"; pp. 187–188.
  13. Alex Eskin, Shahar Mozes and Hee Oh. On uniform exponential growth for linear groups. Inventiones Mathematicae. vol. 60 (2005), no. 1, pp.1432–1297; Lemma 2.2
  14. Roger C. Alperin and Guennadi A. Noskov. Uniform growth, actions on trees and GL2. Computational and Statistical Group Theory:AMS Special Session Geometric Group Theory, April 21–22, 2001, Las Vegas, Nevada, AMS Special Session Computational Group Theory, April 28–29, 2001, Hoboken, New Jersey. (Robert H. Gilman, Vladimir Shpilrain, Alexei G. Myasnikov, editors). American Mathematical Society, 2002. ISBN 978-0-8218-3158-8; page 2, Lemma 3.1
  15. Yves de Cornulier and Romain Tessera. Quasi-isometrically embedded free sub-semigroups. Geometry & Topology, vol. 12 (2008), pp. 461–473; Lemma 2.1

See also

Categories: