Ping-pong lemma

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 H₁, H₂, ..., H_k 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 Template:Math of Template:Math such that the following holds:

• For any Template:Math and for any Template:Math in Template:Math, Template:Math we have Template:Math.

Then $$⟨H_1,\dots ,H_k⟩=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$. Let $w$ be such a word of length $m\ge 2$, and let $$w=\prod _{i=1}^m{w}_i,$$ where $w_i\in H_{{\alpha }_i}$ for some ${\alpha }_i\in \{1,\dots ,k\}$. Since $w$ is reduced, we have ${\alpha }_i\ne {\alpha }_{i+1}$ for any $i=1,\dots ,m-1$ and each $w_i$ is distinct from the identity element of $H_{{\alpha }_i}$. We then let $w$ act on an element of one of the sets $X_i$. As we assume that at least one subgroup $H_i$ has order at least 3, without loss of generality we may assume that $H_1$ has order at least 3. We first make the assumption that ${\alpha }_1$and ${\alpha }_m$ are both 1 (which implies $m\ge 3$). From here we consider $w$ acting on $X_2$. We get the following chain of containments: $$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$'s are disjoint, we conclude that $w$ acts nontrivially on some element of $X_2$, thus $w$ represents a nontrivial element of $G$.

To finish the proof we must consider the three cases:

• if ${\alpha }_1=1,{\alpha }_m\ne 1$, then let $h\in H_1\setminus \{w_1^{-1},1\}$ (such an $h$ exists since by assumption $H_1$ has order at least 3);
• if ${\alpha }_1\ne 1,{\alpha }_m=1$, then let $h\in H_1\setminus \{w_m,1\}$;
• and if ${\alpha }_1\ne 1,{\alpha }_m\ne 1$, then let $h\in H_1\setminus \{1\}$.

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

The Ping-pong lemma for cyclic subgroups

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

of Template:Math with the following properties:

• Template:Math for Template:Math;
• Template:Math for Template:Math.

Then the subgroup Template:Math generated by a₁, ..., a_k is free with free basis Template:Math.

Proof

This statement follows as a corollary of the version for general subgroups if we let Template:Math and let Template:Math.

Examples

Special linear group example

One can use the ping-pong lemma to prove that the subgroup Template:Math, generated by the matrices $$A=\left(\begin{array}{cc}1& 2\\ 0& 1\end{array}\right)$$ and $$B=\left(\begin{array}{cc}1& 0\\ 2& 1\end{array}\right)$$ is free of rank two.

Proof

Indeed, let Template:Math and Template:Math be cyclic subgroups of Template:Math generated by Template:Math and Template:Math accordingly. It is not hard to check that Template:Math and Template:Math are elements of infinite order in Template:Math and that $$H_1=\{A^n\mid n\in \mathbb{Z}\}=\{\left(\begin{array}{cc}1& 2n\\ 0& 1\end{array}\right):n\in \mathbb{Z}\}$$ and $$H_2=\{B^n\mid n\in \mathbb{Z}\}=\{\left(\begin{array}{cc}1& 0\\ 2n& 1\end{array}\right):n\in \mathbb{Z}\}.$$

Consider the standard action of Template:Math on Template:Math by linear transformations. Put $$X_1=\{\left(\begin{array}{c}x\\ y\end{array}\right)\in {ℝ}^2:|x|>|y|\}$$ and $$X_2=\{\left(\begin{array}{c}x\\ y\end{array}\right)\in {ℝ}^2:|x|<|y|\}.$$

It is not hard to check, using the above explicit descriptions of H₁ and H₂, that for every nontrivial Template:Math we have Template:Math and that for every nontrivial Template:Math we have Template:Math. Using the alternative form of the ping-pong lemma, for two subgroups, given above, we conclude that Template:Math. Since the groups Template:Math and Template:Math are infinite cyclic, it follows that H is a free group of rank two.

Word-hyperbolic group example

Let Template:Math be a word-hyperbolic group which is torsion-free, that is, with no nonidentity elements of finite order. Let Template:Math be two non-commuting elements, that is such that Template:Math. Then there exists M ≥ 1 such that for any integers Template:Math, Template:Math the subgroup Template:Math is free of rank two.

Sketch of the proof

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

Since Template:Math and Template:Math do not commute, basic facts about word-hyperbolic groups imply that Template:Math, Template:Math, Template:Math and Template:Math are four distinct points in Template:Math. Take disjoint neighborhoods Template:Math, Template:Math, Template:Math, and Template:Math of Template:Math, Template:Math, Template:Math and Template:Math in Template:Math respectively. Then the attracting/repelling properties of the fixed points of g and h imply that there exists Template:Math such that for any integers Template:Math, Template:Math we have:

• Template:Math
• Template:Math
• Template:Math
• Template:Math

The ping-pong lemma now implies that Template:Math is free of rank two.

Applications of the ping-pong lemma

• The ping-pong lemma is used in Kleinian groups to study their so-called Schottky subgroups. In the Kleinian groups context the ping-pong lemma can be used to show that a particular group of isometries of the hyperbolic 3-space is not just free but also properly discontinuous and geometrically finite.
• Similar Schottky-type arguments are widely used in geometric group theory, particularly for subgroups of word-hyperbolic groups and for automorphism groups of trees.
• The ping-pong lemma is also used for studying Schottky-type subgroups of mapping class groups of Riemann surfaces, where the set on which the mapping class group acts is the Thurston boundary of the Teichmüller space. A similar argument is also utilized in the study of subgroups of the outer automorphism group of a free group.
• One of the most famous applications of the ping-pong lemma is in the proof of Jacques Tits of the so-called Tits alternative for linear groups. (see also for an overview of Tits' proof and an explanation of the ideas involved, including the use of the ping-pong lemma).
• There are generalizations of the ping-pong lemma that produce not just free products but also amalgamated free products and HNN extensions. These generalizations are used, in particular, in the proof of Maskit's Combination Theorem for Kleinian groups.
• There are also versions of the ping-pong lemma which guarantee that several elements in a group generate a free semigroup. Such versions are available both in the general context of a group action on a set, and for specific types of actions, e.g. in the context of linear groups, groups acting on trees and others.

See also

• Free group
• Free product
• Kleinian group
• Tits alternative
• Word-hyperbolic group
• Schottky group