Limit groups and residually free groups

The purpose of this post is to prepare for a discussion in our next post of three papers by Bridson, Howie, Miller and Short — the first about subgroups of direct products of surface groups, the second about subgroups of direct products of limit groups, and the third developing applications to residually free groups.

Here we provide some background on limit groups and residually free groups. Our sources are the surveys of Bestvina and Feighn and Wilton.

Definition 1. A group {G} is residually free if for any {g\in G}, {g\neq 1}, there is a morphism {f:G\rightarrow F_n} such that {f(g)\neq 1}.

Definition 2. A group {G} is fully residually free (or {\omega}-residually free) if for any finite set {X\subset G} such that {1\notin X}, there is a morphism {f:G\rightarrow F_n} such that {1\notin f(X)}.

Definition 3. A limit group is a finitely generated fully residually free group.

First examples of limit groups include free groups {F_n} (of course), free abelian groups {{\mathbb Z}^n} (not too hard to prove), and fundamental groups of closed hyperbolic surfaces with {\chi<-1} (see Wilton’s survey).

Equivalent definitions of limit groups

An alternative definition of a limit group, based on sequences of morphisms to free groups and their stable kernels, can be found in the surveys of Bestvina and Feighn and Wilton. A further definition, involving limits of finitely generated free groups in spaces of marked Cayley graphs, is described by Champetier and Guirardel.

As we will explain, starting with the examples of free groups, free abelian groups and surface groups, we can inductively obtain a large family of limit groups: the {\omega}-residually free towers. They play a major role, on account of the following theorem, obtained independently by Kharlampovich and Myasnikov, and by Sela, which provides a more explicit way to look at limit groups.

Theorem 3. Limit groups are exactly the finitely generated subgroups of {\omega}-residually free towers.

An {\omega}-residually free tower is obtained as the fundamental group of a complex {X_n}, for some {n\geq 0}. Such a complex is built in levels {X_0, X_1, \ldots} as follows:

  • {X_0} is a wedge of graphs, {m}-dimensional tori {T^m=(S^1)^m}, and closed hyperbolic surfaces (with {\chi<-1} ).
  • {X_{k+1}} is constructed by attaching to {X_k} either of the following:
    1. A compact surface with boundary {\Sigma} (hyperbolic, {\chi<-1}), attached by the boundary, and with the condition that there must exist a retraction {\rho:X_{k+1}\rightarrow X_k} with {\rho_*(\pi_1(\Sigma))} non-abelian.
    2. A torus of any dimension {T^m=(S^1)^m}, attached by a coordinate curve (i.e. {S^1\times \{1\} \times \cdots \times \{ 1\}}). It must also satisfy that the image of this coordinate curve in {X_k} generates a maximal abelian subgroup of {\pi_1(X_k)}. (This amounts to saying that it is primitive and does not lie in a previous torus block.)

Key properties of limit groups

  1. Limit groups are torsion–free. (After all, residually free group are torsion free.)
  2. Limit groups are of type {F_{\infty}}. (A consequence of the results in the paper by Bestvina and Feighn about constructible limit groups).
  3. A finitely generated subgroup of a limit group is a limit group itself. (It is again fully residually free.) So there are no dragons to be found amongst the subgroups of limit groups!
  4. Abelian subgroups of limit groups are finitely generated. (See Bestvina-Feighn.)
  5. Limit groups are commutative transitive: for all {a,b,c}, if {[a,b]=[b,c]=1} then {[a,c]=1.} (This is a particularly useful case of the next property).
  6. Limit groups are exactly the finitely generated groups that have the same one-quantifier first-order theory as a free group — specifically, {F_2} for a non–abelian limit group, and {{\mathbb Z}} for {{\mathbb Z}^n}. (See Champetier-Guirardel.)
  7. A freely indecomposable limit group splits non–trivially as a graph of groups with cyclic edge stabilizers

Factoring homomorphisms and Makanin–Razborov diagrams

Limit groups come up in the study of {\mbox{Hom}(G,F_n)} for a finitely generated group {G}, through the following theorem.

Theorem 4. Let {G} be a finitely generated group. There exist a finite family of epimorphisms {\{q_i:G\rightarrow \Gamma_i \}_{i=1}^r} such that:

  1. Each {\Gamma_i} is a limit group.
  2. Every morphism {f:G\rightarrow F_n} factors through some map in this family, i.e. {f=g\circ q_i} for some {i}, and some morphism {g:\Gamma_i \rightarrow F_n}.

The family of quotient maps in the theorem is called the (first layer of the) Makanin-Razborov diagram of {G}. Let {K=\cap_i\ker q_i}. It is easy to prove from the theorem that {G} is residually free if and only if {K=1}. Moreover, {G/K} is the maximal residually free quotient of {G}.

Consider the map {q_1\times \cdots \times q_r : G \rightarrow \Gamma_1 \times \cdots \times \Gamma_r}. It is clear that {K} is its kernel. So every residually free group embeds into a direct product of limit groups. This will allow us to apply theorems about subgroups of direct products of limit groups to study residually free groups. We will see examples of this in the next post.


About berstein

berstein is the name under which participants in the Berstein Seminar - a mathematics seminar at Cornell - are blogging.
This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s