, , 2 March, 2005

This paper is a continuation of [17] . Throughout this paper,

Γ

will denote a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. For an arbitrary finitely generated group

G

, we wish to understand the set

Hom (G, Γ)

of all homomorphisms from

G

Γ

In [17] we considered a sequence of homomorphisms

{h_{i} : G \to Γ}

and extracted a limiting

G

-action on a suitable asymptotic cone, and then extracted an

R

-tree with a nontrivial

G

-action. This

R

-tree allows much information to be obtained. In particular, in case

G = Γ

, we studied

Aut (Γ)

and also proved that

Γ

is Hopfian. In this paper, we continue this study, in case

G

is an arbitrary finitely generated group.

In particular, we construct a Makanin-Razborov diagram for

G

, which gives a parametrisation of

Hom (G, Γ)

(see Section 6 below). We build on our work from [17] , which in turn builds on our previous work of [15] and [16] . The strategy is to follow [27, § 1 ] , though there are extra technical difficulties to deal with.

To a system of equations

Σ

over

Γ

in finitely many variables there is naturally associated a finitely generated group

G_{Σ}

, with generators the variables in

Σ

, and relations the equations. The solutions to

Σ

Γ

are in bijection with the elements of

Hom (G_{Σ}, Γ)

. Thus, Makanin-Razborov diagrams give a description of the set of solutions to a given system of equations over

Γ

. For free groups, building on the work of Makanin and Razborov, Makanin-Razborov diagrams were constructed by Kharlampovich and Miasnikov [20] , and also by Sela [26] . For torsion-free hyperbolic groups, Makanin-Razborov diagrams were constructed by Sela [27] , and it is Sela's approach that we follow here. Alibegović [2] constructed Makanin-Razborov diagrams for limit groups.

Limit groups are hyperbolic relative to their maximal non-cyclic abelian subgroups (see [8] and [1] ). Limits groups are also torsion-free.

Therefore, the main result of this paper (the construction of Makanin-Razborov diagrams) generalises the main result of [2] . Alibegović has another approach to the construction of Makanin-Razborov diagrams for these relatively hyperbolic groups (see [2,Remark3.7] ).

The main results of this paper are the following:

Theorem 5.9 Suppose that

Γ

is a torsion-free relatively hyperbolic group with abelian parabolics, and that

G

is a finitely generated group.

Then

G

is a

Γ

-limit group if and only if

G

is fully residually

Γ

Proposition 5.10 Suppose that

Γ

is a torsion-free relatively hyperbolic group with abelian parabolics. Then there are only countably many

Γ

-limit groups.

Definition 5.14 A group

G

is a called equationally Noetherian if every system of equations over

G

in finitely many variables is equivalent to a finite subsystem.

Theorem 5.15 Let

Γ

be a torsion-free relatively hyperbolic group with abelian parabolics. Then

Γ

is equationally Noetherian. Theorem 6.4 Let

G

be a finitely generated group and

Γ

a torsion-free relatively hyperbolic group with abelian parabolics. Associated to

G

is a Makanin-Razborov diagram, with vertices

G

and

Γ

-limit quotients of

G

, and edges a canonical quotient map. Any homomorphism

h \in Hom (G, Γ)

can be given by compositions of modular automorphisms of the

Γ

-limit groups in the diagram with the canonical maps from

Γ

-limit groups into their maximal proper shortening quotients, and finally with either embeddings of a

Γ

-limit group in the diagram into

Γ

, or general homomorphisms of the terminal free groups that appear in the diagram into

Γ

See Sections 3 , 4 , 5 and 6 for definitions and discussion of the terminology in Theorem 6.4 above. The output of Theorem 6.4 is a parametrisation of

Hom (G, Γ)

for an aribtrary finitely generated group

G

, in terms of successive proper quotients of

G

(with a fixed canonical quotient), modular automorphisms, embeddings into

Γ

, and homomorphisms from a free group to

Γ

. Note that for a fixed finitely generated free group

F

of rank

d

, the set

Hom (F, Γ)

can be naturally parametrised by

F^{d}

, by the universal property of free groups.

Sela [28,I.8] asked whether Theorems 5.15 and 6.4 hold in the context of CAT

(0)

groups with isolated flats. We believe that relatively hyperbolic groups with abelian parabolics are a natural setting for these questions.

An outline of this paper is as follows. In Section 2 we recall the definition of relatively hyperbolic groups, and recall the construction of limiting

R

-trees from [15] and [17] , as well as other useful results. In Section 3 we improve upon our version of Sela's shortening argument from [16] and [17] to deal with arbitrary sequences of homomorphisms

{h_{n} : G \to Γ}

where

G

is an arbitrary finitely generated group. In Section 4 we recall Sela's construction of shortening quotients from [26] , and adapt this construction to our setting. In Section 5 we prove Theorem 5.2 , one of the main technical results of this paper. We also prove Theorems 5.10 , 5.15 , and a number of structural results about

Γ

-limit groups. Finally in Section 6 we construct Makanin-Razborov diagrams over

Γ

In the future work [18] , we will continue to study the elementary theory of torsion-free relatively hyperbolic groups with free abelian parabolic subgroups.

Acknowledgement. I would like to thank Zlil Sela for providing me with the proof of [27,Proposition1.21] , which is repeated in the proof of Proposition 5.13 in this paper.

2 Preliminaries

2.1 Relatively hyperbolic groups

Relatively hyperbolic groups were first defined by Gromov in his seminal paper on hyperbolic groups [14] . Another definition was given by Farb [13] , and further definitions given by Bowditch [6] . These definitions are all equivalent (see [7] and [29] ). Recently there has been a large amount of interest in these groups (see [1, 7, 9, 10, 11, 21, 30] , among others).

The definition we give here is due to Bowditch [6] .

Definition 2.1. A group

Γ

with a family

G

of finitely generated subgroups is called hyperbolic relative to

G

Γ

acts on a

δ

-hyperbolic graph

K

with finite quotient and finite edge stabilisers, where the stabilisers of infinite valence vertices are the elements of

G

, so that

K

has only finitely many orbits of simple loops of length

n

for each positive integer

n

The groups in

G

are called parabolic subgroups of

Γ

In this paper we will be exclusively interested in relatively hyperbolic groups which are torsion-free and have abelian parabolic subgroups.

2.2 The limiting $R$ -tree

In this subsection we recall a construction from [17] (see also [15] for more details). Suppose that

Γ

is a torsion-free relatively hyperbolic group with abelian parabolic subgroups. In [17] , we constructed a space

X

on which

Γ

acts properly and cocompactly by isometries. For each parabolic subgroup

P

(of rank

n

, say) there is in

X

an isometrically embedded copy of

R^{n}

, with the Euclidean metric, so that the action of

P

leaves this Euclidean space invariant and this

P

-action is proper and cocompact with quotient the

n

-torus.

Suppose now that

G

is a finitely generated group, and that

{h_{n} : G \to Γ}

is a sequence of homomorphisms, and suppose that the

h_{n}

do not differ only by post-composition with an inner automorphism of

Γ

By considering the induced actions of

G

X

, and passing to a limit, we extract an isometric action of

G

on the asymptotic cone

X_{ω}

X

such that this action has no global fixed point. There is a separable

G

-invariant subset

C_{\infty} \subseteq X_{ω}

, and by passing to a subsequence

{f_{i}}

{h_{i}}

we may assume that the (appropriately scaled) actions of

G

X

converge in the Gromov-Hausdorff topology to the

G

-action on

C_{\infty}

The space

C_{\infty}

is a tree-graded metric space, in the terminology of Druţ u and Sapir [10] . Informally, this means that there is a collection of `pieces' (in this case finite dimensional Euclidean spaces), and otherwise the space is `tree-like' (see [10] for the precise definition and many properties of tree-graded metric spaces). By carefully choosing lines in the `pieces', and projecting, an

R

-tree

T

is extracted from

C_{\infty}

. This tree

T

comes equipped with an isometric

G

-action with no global fixed points and the kernel of the

G

-action on

T

is the same as the kernel of the

G

-action on

C_{\infty}

. For more details on this entire construction, see [17] and [15] .

Definition 2.2. Suppose that

{h_{n} : G \to Γ}

is a sequence of homomorphisms. The stable kernel of

{h_{n}}

, denoted

\underset{\to}{Ker} (h_{n})

, is the set of all

g \in G

so that

g \in ker (h_{n})

for all but finitely many

n

The following theorem recalls some of the properties of the

G

-action on the

R

-tree

T

Theorem 2.3 (cf. Theorem 4.4, [15] and Theorem 6.4, [17] ). Suppose that

Γ

is a torsion-free group that is hyperbolic relative to a collection of free abelian subgroups and that

G

is a finitely generated group. Let

{h_{n} : G \to Γ}

be a sequence of pairwise non-conjugate homomorphisms. There is a subsequence

{f_{i}}

{h_{i}}

and an action of

G

on an

R

-tree

T

so that if

K

is the kernel of the action of

G

T

and

L : = G / K

then

(1) The stabiliser in $L$ of any nondegenerate segment in $T$ is free abelian;
(2) If $T$ is isometric to a real line then $L$ is free abelian, and for all but finitely $n$ the group $h_{n} (G)$ is free abelian;
(3) If $g \in G$ stabilises a tripod in $T$ then $g \in \underset{\to}{Ker} (f_{i}) \subseteq K$ ;
(4) Let $[y_{1}, y_{2}] \subset [y_{3}, y_{4}]$ be non-degenerate segments in $T$ , and assume that ${Stab}_{L} ([y_{3}, y_{4}])$ is nontrivial. Then ${Stab}_{L} ([y_{1}, y_{2}]) = {Stab}_{L} ([y_{3}, y_{4}]) .$ In particular, the action of $L$ on $T$ is stable; and
(5) $L$ is torsion-free.

Thus

T

is isometric to a line if and only if

L

is abelian. If

L

is not abelian then

K = \underset{\to}{Ker} (f_{i})

We now recall the definition of

Γ

-limit groups. There are many ways of defining

Γ

-limit groups. We choose a geometric definition using the above construction.

Definition 2.4 (cf. Definition 1.11, [27] , Definition 1.2, [17] ). A strict

Γ

-limit group is a quotient

G / K

where

G

is a finitely generated group, and

K

is the kernel of the action of

G

T

, where

T

is the

R

-tree arising from a sequence of non-conjugate homomorphisms

{h_{n} : G \to Γ}

as described above.

Γ

-limit group is a group which is either a strict

Γ

-limit group or a finitely generated subgroup of

Γ

Remark 2.5. There are finitely generated subgroups of torsion-free hyperbolic groups which are not finitely presented (see, for example, [22] ). Therefore, when

Γ

is a torsion-free relatively hyperbolic group with free abelian parabolic subgroups, a

Γ

-limit group need not be finitely presented. This presents substantial complications (many of which are already dealt with by Sela in [27] ), some of which are solved by the application of Theorem 5.7 below.

2.3 Acylindrical accessibility and JSJ decompositions

In [24] , Sela studied acylindrical graph of groups decomposition, and proved an accessibility theorem for

k

-acylindrical splittings. Unlike other accessibility results such as [12] and [3] , Sela's result holds for finitely generated groups, rather than just for finitely presented groups.

We can apply acylindrical accessibility to our limiting construction because (i) tripod stabilisers are trivial; and (ii) maximal abelian subgroups of

Γ

-limit groups are malnormal. See [16] for a more detailed discussion of this and of JSJ decompositions.

The construction of the limiting

R

-tree immediately implies that the abelian JSJ of a non-abelian, freely indecomposable strict

Γ

-limit group is nontrivial.

We can also apply the arguments of [26,Theorem3.2] and [25,Theorem3.2] , as adapted in [16] (this adaptation also applies to the results in [17] ) to prove that the cyclic JSJ decomposition of such a group is nontrivial – see Theorem 5.1 below. But first, we recall the shortening argument.

3 The shortening argument

In [16] and [17] we described a version of Sela's shortening argument which worked for sequences of surjective homomorphisms to

Γ

, and described in [16] why this notion is insufficient for all sequences of homomorphisms.

In this section we present another version of the shortening argument, which works for all sequences of homomorphisms

{h_{n} : G \to Γ}

, for any finite generated group

G

. This version was stated but not proved in [17] , and we give the proof here.

There are two equivalent approaches to this version of the shortening argument. The first is to find a group

\hat{G}

which contains

G

and shorten using elements of

Mod (\hat{G})

, rather than just elements of

Mod (G)

(this approach was used in the proof of [16,Theorem7.9] ) . The second approach is to use the `bending' moves of Alibegović [2] . We use the second approach, because it yields a simpler parametrisation of

Hom (G, Γ)

when we construct Makanin-Razborov diagrams in Section 6 .

Recall the definition of

Mod (G)

for a finitely generated group

G

Definition 3.1. Let

G

be a finitely generated group. A Dehn twist is an automorphism of one of the following two types:

(1) Suppose that $G = A *_{C} B$ and that $c$ is contained in the centre of $C$ . Then define $φ \in Aut (G)$ by $φ (a) = a$ for $a \in A$ and $φ (b) = c b c^{- 1}$ for $b \in B$ ;
(2) Suppose that $G = A *_{C}$ , that $c$ is in the centre of $C$ , and that $t$ is the stable letter of this HNN extension.
Then define $φ \in Aut (G)$ by $φ (a) = a$ for $a \in A$ and $φ (t) = t c$ .

Definition 3.2 (Generalised Dehn twists). Suppose

G

has a graph of groups decomposition with abelian edge groups, and

A

is an abelian vertex group in this decomposition. Let

A_{1} \leq A

be the subgroup generated by all edge groups connecting

A

to other vertex groups in the decomposition. Any automorphism of

A

that fixes

A_{1}

elementwise can be naturally extended to an automorphism of the ambient group

G

. Such an automorphism is called a generalised Dehn twist of

G

Definition 3.3. Let

G

be a finitely generated group. We define

M o d (G)

to be the subgroup of

A u t (G)

generated by:

(1) Inner automorphisms;
(2) Dehn twists arising from splittings of $G$ with abelian edge groups; and
(3) Generalised Dehn twists arising from graph of groups decompositions of $G$ with abelian edge groups.

Similar definitions are made in [26,§5] and [4,§1] .

We will try to shorten homomorphisms by precomposing by elements of

Mod (G)

. However, as seen in [16,§3] , this is not sufficient to get the most general result. Thus, we also define a further kind of move (very similar to Alibegović's bending move, [2,§2] .

Definition 3.4. Suppose that

Γ

is a torsion-free group which is hyperbolic relative to free abelian subgroups, that

G

is a finitely generated group and that

h : G \to Γ

is a homomorphism. We define two kinds of `bending' moves as follows:

(B1) Let $Λ$ be a graph of groups decomposition of $G$ , and let $A$ be an abelian vertex group of $G$ . Suppose that $h (A)$ is contained in a parabolic subgroup $P \leq G$ .
A move of type (B1) replaces $h$ by a homomorphism $h^{'}$ which is such that (i) $h^{'} (A) \leq P$ ; and (ii) $h^{'}$ agrees with $h$ on all edge groups adjacent to $A$ , and all vertex groups other than $A$ .
(B2) Let $Λ$ be a graph of groups decomposition of $G$ , and let $A$ be an abelian edge group associated to an edge $e$ . Suppose that $h (A)$ is contained in a parabolic subgroup $P \leq Γ$ . A move of type (B2) replaces $h$ by a map which either (i) conjugates a component of $π_{1} (Λ \ e)$ by an element of $P$ , in case $e$ is separating; or (ii) multiplies the stable letter associated to $e$ by an element of $P$ , in case $e$ is non-separating.

Definition 3.5 (cf. Definition 4.2, [4] ; Definition 2.11, [2] ). We define the relation `

\sim

' on the set of homomorphisms

h : G \to Γ

to be the equivalence relation generated by setting

h_{1} \sim h_{2}

h_{2}

is obtained from

h_{1}

by:

(1) precomposing with an element of $Mod (G)$ ;
(2) postcomposing with an inner automorphism of $Γ$ ; or
(3) a bending move of type (B1) or (B2).

Definition 3.6. Let

A

be an arbitrary finite generating set for

G

, and let

X

be the space upon which

Γ

acts properly, cocompactly and isometrically, with basepoint

x

. For a homomorphism

h : G \to Γ

define

∥ h ∥

∥ h ∥ : = {max}_{g \in A} d_{X} (x, h (g) . x) .

A homomorphism

h : G \to Γ

is short if for any

h^{'}

such that

h \sim h^{'}

we have

∥ h ∥ \leq ∥ h^{'} ∥

The following is the main result of this section.

Theorem 3.7. Suppose that

Γ

is a non-abelian, freely indecomposable and torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Let

G

be a freely indecomposable finitely generated group and

{h_{n} : G \to Γ}

be a sequence of non-conjugate homomorphisms which converges to a faithful action of

G

C \infty

as above. Then, for all but finitely many

n

, the homomorphism

h_{n}

is not short.

Proof. Suppose that the sequence { h n : G → Γ } converges into a faithful G -action on C ∞ . From this we extract a faithful G -action on an R -tree T
.
The group G is freely indecomposable and the stabiliser in G of any tripod in T is trivial, so we can apply the decomposition theorem of Sela – [24,Theorem3.1] – and decompose T
into subtrees of three types:
axial, IET, and discrete (note that because $G$ is freely indecomposable and tripod stabilisers are trivial, there are no thin components in $T$ ).
This decomposition of $T$ induces a graph of groups decomposition of $G$ , which will allow us to shorten $h_{n}$ for sufficiently large $n$ . See [24] or [16, § 4] for more information.
Note that there are two sources for segments in $T$ . There are segments in $C \infty$ , and there are flats in $C \infty$ which are projected to lines in $T$ . We treat these as two separate cases. However, we can make the following simplifications (let $P$ be the collection of lines in $T$ which are projections of flats in $C \infty$ ):

(1) Suppose that $Y$ is an IET subtree of $T$ and that $p_{E} \in P$ is a line in $T$ . Then the intersection $Y \cap p_{E}$ contains at most a point ([16,Proposition4.3] );

(2) Suppose that a line $l \subset T$ is an axial subtree of $T$ and and let the line $p_{E}$ be in $P$ . If $l \cap p_{E}$ contains more than a point then $l = p_{E}$ ([16,Proposition4.5] );

(3) If an edge $e$ in the discrete part of $T$ has an intersection of positive length with $p_{E} \in P$ then $e \subset p_{E}$ ([16,Lemma4.7] ).

Fix a finite generating set $A$ for $G$ . Let $y$ be the basepoint in $T$ , and consider the paths $[y, u . y]$ for $u \in A$ . If there is any IET component of $T$ which intersects any segment $[y, u . y]$ nontrivially then we can apply [23,Theorem5.1] and [16,Corollary4.4] to shorten these intersections whilst leaving the remaining segments unchanged (to see that we can have $G$ finitely generated rather than finitely presented, see [16,Remark4.8] ).
Suppose that some segment $[y, u . y]$ has an intersection of positive length with some axial component $l \subset T$ so that $l$ is not contained in any $p_{E} \in P$ . Then [16,Theorem5.1] can be used to shorten those segments $[y, u_{i} . y]$ intersecting the orbit of $p_{E}$ nontrivially, and leaving other segments unchanged.
Suppose that $[y, u . y]$ intersects some line $p_{E}$ nontrivially, and that $p_{E}$ is an axial component of $T$ . The only place where the proof of [16,Theorem5.2] breaks down is that the images $h_{i} (G)$ may not intersect parabolics in its image in denser and denser subsets (when measured with the scaled metric). However, this is exactly what the bending move (B1) is designed to deal with.
We have the following analogue of [16,Proposition5.4] : Let $E$ denote the flat in $C \infty$ which projects to $p_{E}$ . The subgroup ${Stab}_{G} (E)$ is an abelian subgroup of $G$ . There is a sequence of flats $E_{i} \subset X_{i}$ so that $E_{i} \to E$ in the Gromov topology. The subgroups $h_{i} ({Stab}_{G} (E))$ are abelian, and fix the flat $E_{i}$ , for sufficiently large $i$ . Thus $h_{i} ({Stab}_{g} (E))$ is contained in a unique maximal abelian subgroup $A_{E_{i}}$ of $Γ$ . If we fix a finite subset $W$ of ${Stab}_{G} (E)$ and $ε > 0$ , then for sufficiently large $i$ , there is an automorphism $σ_{i} : A_{E_{i}} \to A_{E_{i}}$ so that

(1) For every $w \in W$ , and every $r_{i} \in E_{i}$ , $d_{X_{i}} (r_{i}, h_{i} (σ_{i} (w)) . r_{i}) < ε,$

(2) For any $k \in {Stab}_{G} (E)$ which acts trivially on $E$ we have $σ_{i} (h_{i} (k)) = h_{i} (k)$ .

The proof of the existence of such a $σ_{i}$ is the same as the proof of [16,Proposition5.4] . Such a $σ_{i}$ induces a move of Type (B1) in a straightforward manner, since the adjacent edge groups to the vertex group ${Stab}_{G} (E)$ contain elements which act trivially on $E$ , therefore we replace $h_{i}$ by the homomorphism which agrees with $h_{i}$ on all edge groups and on all vertex groups which are not ${Stab}_{G} (E)$ , and replaces $h_{i} |_{{Stab}_{G} (E)}$ by $σ_{i} \circ h_{i} |_{{Stab}_{G} (E)}$ .
We now construct shortening elements for all but finitely many of the intervals $[y_{n}, h_{n} (u) . y_{n}]$ by following the proof of [23,Theorem5.1] (see [16, § 5] for more details).
Finally, we are left with the case where $[y, u . y]$ is contained entirely in the discrete part of $T$ . We follow the proof of [16,Theorem6.1] , which in turn followed Section 6 of [23] . This argument naturally splits into a number of cases. Case 1: $y$ is contained in the interior of an edge $e$ .
Case 1a: $e$ is not contained entirely in a line $p_{E} \in P$ and $\bar{e} \in T / G$ is a splitting edge.
This case follows directly as in [16, § 6] .
Case 1b: $e$ is not completely contained in a line $p_{E} \in P$ and $\bar{e}$ is not a splitting edge.
This case also follows directly as in [16, § 6] .
Case 1c: $e$ is contained in a line $p_{E} \in P$ and $\bar{e}$ is a splitting edge.
In this case, we have a graph of groups decomposition $G = H_{1} *_{A_{E}} H_{2}$ , where $A_{E} = {Stab}_{G} (E)$ (and $E$ is the flat in $C \infty$ which projects to $p_{E}$ ).
The Dehn twist which is found in [16, § 6] is naturally replaced by a bending move of type (B2).
Case 1d: $e$ is contained in a line $p_{E} \in P$ and $\bar{e}$ is not a splitting edge.
Once again the Dehn twist is replaced by a bending move of Type (B2). Case 2: $y$ is a vertex of $T$ .
Once again here there are four cases, depending on whether on edge adjacent to $y$ is or is not a splitting edge and is or is not contained in a line $p_{E} \in P$ . In case an edge $e$ is not contained in a line $p_{E} \in P$ , we proceed exactly as in [16] , following [23] directly. In case $e \subset p_{E}$ , we replace the shortening Dehn twists by bending moves of type (B2) as in Case 1 above.
Therefore, in any case, we can find moves which shorten all but finitely many of the $h_{i}$ , as required. □

4 Shortening quotients

We now recall the concept of shortening quotients from [26] and [27] .

Let

G

be a finitely generated group,

Γ

a torsion-free relatively hyperbolic group with abelian parabolics and

{h_{n} : G \to Γ}

a stable sequence of homomorphisms, with associated

Γ

-limit group

L_{\infty}

, and suppose that

L_{\infty}

d

-generated. The shortening procedure constructs a sequence of homomorphisms

{ν_{i} : F_{d} \to Γ}

which has a subsequence converging to a

Γ

-limit group

Q_{\infty}

, equipped with a canonical epimorphism

η : L_{\infty} \to Q_{\infty}

. We follow the construction from [26, § 3] and [25] (see [16] for more details in this context).

Given the situation described in the previous paragraph, we now describe the construction of

{ν_{i}}

Q_{\infty}

and

η

. Let

Λ_{L_{\infty}}

be the canonical abelian JSJ decomposition for

L_{\infty}

, with vertex groups

V_{\infty}^{1}, \dots, V_{\infty}^{m}

and edge groups

E_{\infty}^{1}, \dots, E_{\infty}^{s}

As in [26] and [16] we do not yet know that the edge groups are finitely generated (though this will eventually turn out to be the case; see Proposition 5.11 below).

We can `approximate' the finitely generated group

L_{\infty}

by finitely presented groups

U_{n}

, each equipped with a graph of groups decomposition

Λ_{n}

which is a `lift' of

Λ_{\infty}

. See [26, § 3] and [16] for more details of this.

The output of this is a commutative diagram:

W_{1} - - - \to κ_{1} W_{2} \dots - - - \to κ_{n - 1} W_{n_{1}} - - - \to κ_{n} W_{n} ι_{1} ↓ ι_{2} ↓ ι_{n - 1} ↓ ι_{n} ↓ U_{1} - - - \to κ_{1} U_{2} \dots - - - \to κ_{n - 1} U_{n_{1}} - - - \to κ_{n} U_{n} λ_{0} ↓ λ_{1} ↓ λ_{n - 1} ↓ λ_{n} ↓ Γ Γ Γ Γ

The

Γ

-limit group

L_{\infty}

is the direct limit of the sequence

{(W_{i}, κ)}

The group

U_{n}

comes with a generating set, and a graph of groups decomposition. The equivalence relation used to define short homomorphisms in the previous section is naturally defined also for the set of homomorphisms

Hom (U_{n}, Γ)

. When defining the equivalence relation for `short', we restrict to those elements of

Mod (U_{n})

which come from the graph of groups decomposition

Λ_{n}

The group

W_{i}

is a subgroup of

U_{n}

(and the map

ι_{n}

is inclusion), and comes with a generating set

{x_{1}^{1}, \dots, x_{l_{1}}^{1}, \dots, x_{1}^{m}, \dots, x_{l_{m}}^{m}, y_{1}, \dots, y_{b}}

, which corresponds to a generating set for

L_{\infty}

coming from the graph of groups decomposition

Λ_{L_{\infty}}

. For a homomorphism

h : W_{i} \to Γ

define the following stretching constant:

\begin{matrix} μ_{i} (h) & = & {max}_{1 \leq j \leq l_{i}} d_{X} (x, h (x_{j}^{i}) . x), and \end{matrix}

\begin{matrix} χ_{r} (h) & = & d_{X} (x, h (y_{r}) . x) . \end{matrix}

Also define the corresponding

(m + b)

-tuple

tup (h) = (μ_{1} (h), \dots, μ_{m} (h), χ_{1} (h), \dots, χ_{r} (h)) .

Now for each

n \geq 1

choose a homomorphism

\hat{λ_{n}} : W_{n} \to Γ

so that

\hat{λ_{n}} \sim λ_{n} \circ ι_{n}

and so that

tup (\hat{λ_{n}})

is minimal amongst all homomorphisms equivalent to

λ_{n} \circ ι_{n}

(the set of

(m + b)

-tuples is given the lexicographic order).

Passing to a subsequence of

{{\hat{λ}}_{n}}

, we obtain an associated

Γ

-limit group

Q_{\infty}

. There are two cases to consider here: (i)

Q_{\infty}

is a strict

Γ

-limit group; and (ii)

Q_{\infty}

is not a strict

Γ

-limit group. In case (ii), let

π_{n} : F_{d} \to Γ

be given by

π_{n} = {\hat{λ}}_{n} \circ ψ_{n}

, where

F_{d}

is the free group of rank

d

and

ψ_{n} : F_{d} \to U_{n}

is the canonical quotient map. Since

Q_{\infty}

is not a strict

Γ

-limit group, we may assume that the (convergent) subsequence of

{π_{n}}

is constant, and

Q_{\infty}

is isomorphic to a subgroup of

Γ

. In this case, since each image

{\hat{λ}}_{n} (U_{n})

is isomorphic to

λ (U_{n})

via the natural map between generating sets, it is not hard to see that

L_{\infty}

and

Q_{\infty}

are isomorphic via the natural map between generating sets.

In case

Q_{\infty}

is a strict

Γ

-limit group, each vertex group

V_{\infty}^{i}

is embedded canonically in

Q_{\infty}

(see [26, § 3 ] or [16, § 7 ] for more details). We also claim that there is a canonical epimorphism

π : L_{\infty} \to Q_{\infty}

. To see this, it remains to see that each of the relations corresponding to stable letters in

Λ_{L_{\infty}}

are preserved when the canonical generating set for

L_{\infty}

is mapped to the canonical generating set for

Q_{\infty}

. For each such relation

w

, there is some

n

so that for all

m > n

the group

U_{m}

includes

w = 1

as a defining relation. This defining relation is preserved by the shortening moves, and so holds in the

Γ

-limit group

Q_{\infty}

The above group

Q_{\infty}

is called the shortening quotient of

L_{\infty}

associated to

{h_{n} : G \to Γ}

Although we speak of the shortening quotient, it depends on the choices of shortest homomorphism in the equivalence class of

h_{n}

, and also on the convergent subsequence of

{\hat{h_{n}}}

chosen. Of course, it also depends on the choice of finite generating set for

G

, but we assume this is fixed.

Proposition 4.1 (cf. Proposition 1.15, [27] ). Let

G

be a finitely generated group, and

Γ

a torsion free relatively hyperbolic group with abelian parabolics, and let

{u_{s} : G \to Γ}

be a sequence of homomorphisms that converges into an action of a non-abelian, freely indecomposable strict

Γ

-limit group

L

on an

R

-tree

T

. If for every index

s

, the group

u_{s} (G)

is not isomorphic to

L

by the natural map that sends the images of the generators of

G

u_{s} (G)

to the images of these generators in

L

, then every shortening quotient of

L

which is obtained from the sequence

{u_{s}}

is a proper quotient of

L

Proof (of Proposition 4.1 ). Suppose that $Q$ is the shortening quotient of $L$ associated to ${\hat{u_{s}}}$ as described above, and let ${π_{n} : F_{d} \to Γ}$ be the homomorphism arising from ${\hat{λ}}_{n} \circ ψ_{n}$ , where $ψ_{n} : F_{d} \to U_{n}$ is the canonical quotient map. Let ${π_{s_{n}}}$ denote the convergent subsequence.
The hypothesis of the proposition implies that $Q$ is a strict $Γ$ -limit group, and that ${π_{s_{n}}}$ do not belong to finitely many conjugacy classes.
Since each of the $π_{s_{n}}$ is short, the shortening argument implies that the limiting action cannot be faithful, which is to say that $Q$ is a proper quotient of $L$ . □

5 $Γ$ -limit groups

In this section we follow [27] in order to understand

Γ

-limit groups, and

Hom (G, Γ)

, where

Γ

is an aribitrary finitely generated group. The main technical results of this section are Theorem 5.1 , Theorem 5.2 and Theorem 5.7 .

These results are then applied to prove various applications of these results: Theorem 5.9 , Proposition 5.10 , Theorem 5.15 , and in the next section the construction of Makanin-Razborov diagrams.

Theorem 5.1 (cf. Theorem 3.2, p. 14, [26] ). Let

Γ

be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups, and let

L

be a strict

Γ

-limit group which is nonabelian and freely indecomposable. Then

L

admits a principal cyclic splitting.

Proof. The strategy is to follow the proof of [26,Theorem3.2] , which is very similar to the proof of [25,Theorem3.2] , the difference being in [26] that there might be abelian subgroups of the limit group which are not locally cyclic.
In the proof of the Hopf property for $Γ$ , we have already adapted [25,Theorem3.2] to the current context (see [16] and [17] ), and we already there had to deal with abelian subgroups of the $Γ$ -limit group which are not locally cyclic. Therefore, the proof of this theorem proceeds almost exactly as in [16] (with the translations made in [17] ).
The only substantial difference is that we need to use the improved version of the shortening argument presented in Section 3 of this paper.
One of the key points of the proof is a construction very similar to that of shortening quotients as in the previous section, although for this proof this construction is used in the process of deducing an elaborate contradiction. □

Let

G

be a fixed finitely generated group. Define an order on the set of

Γ

-limit groups that are quotients of

G

as follows: suppose

R_{1}

and

R_{2}

are both

Γ

-limit groups that are quotients of

G

, and that

η_{i} : G \to R_{i}

are the (fixed) canonical quotient maps. We say

R_{1} > R_{2}

if there exists an epimorphism with non-trivial kernel

τ : R_{1} \to R_{2}

so that

η_{2} = τ \circ η_{1}

. We say that

R_{1}

and

R_{2}

are equivalent if there is an isomorphism

τ : R_{1} \to R_{2}

so that

η_{2} = τ \circ η_{1}

The following is one of the main technical results of this paper.

Theorem 5.2 (cf. Theorem 1.12, [27] ). Let

Γ

be a torsion-free group which is hyperbolic relative to free abelian subgroups, and let

G

be a finitely generated group. Every decreasing sequence of

Γ

-limit groups that are quotients of

G

R_{1} > R_{2} > R_{3} > \dots,

terminates after finitely many steps.

For limit groups, the analogous result has a short proof using algebraic geometry (see [4] ). However (as observed by M. Kapovich; see, for example, [5, § 1.4] ), not all hyperbolic groups are linear and the same is therefore true for relatively hyperbolic groups.

Before we prove Theorem 5.2 , we prove the following lemma (implicit in [27,p.7] ):

Lemma 5.3. Let

Ξ

be a finitely generated group, let

L

be a

Ξ

-limit group and suppose that

L

d

-generated. Then

L

can be obtained as a limit of homomorphisms

{h_{n} : F_{d} \to Ξ}

, where

F_{d}

is the free group of rank

d

Proof. If $L$ can be embedded in $Ξ$ , then we can take the constant sequence ${h : F_{d} \to Ξ}$ , where $h = ι \circ π$ , for a fixed surjection $π : F_{d} \to L$ and fixed embedding $ι : L \to Ξ$ .
Otherwise, suppose that $L$ is obtained from a sequence ${h_{n} : G \to Ξ}$ . Suppose that ${x_{1}, \dots, x_{d}}$ is a generating set for $L$ . For each $n$ , define $G_{n} \leq G$ to be generated by elements $y_{1, n}, \dots, y_{d, n}$ , where $h_{n} (y_{i, n}) = x_{i}$ . Now define $π_{n} : F_{d} \to G$ by $f_{i} = y_{i, n}$ , where ${f_{1}, \dots, f_{d}}$ is a basis of $F_{d}$ . It is not difficult to see that $L$ is realised as the limit of the sequence of homomorphisms ${h_{n} \circ π_{n} : F_{d} \to Ξ}$ . □

Proof (of Theorem 5.2 ). We follow the proof of [27,Theorem1.12]
.
In order to obtain a contradiction, we suppose that there exists a finitely generated group G , for which there exists an infinite descending sequence of Γ -limit groups: R 1 > R 2 > R 2 > … . Without loss of generality, we may assume that G = F d , the free group of rank d . Let { f 1 , … , f d } be a basis for F d , and let C be the Cayley graph of F d with respect to this generating set. We construct a particular descreasing sequence of Γ -limit groups as follows. Let R 1 be a Γ -limit group with the following properties:
- (1) $R_{1}$ is a proper quotient of $F_{d}$ ;
- (2) $R_{1}$ can be extended to an infinite decreasing sequence of $Γ$ -limit groups: $R_{1} > L_{2} > L_{3} > \dots$ ;
- (3) The map $η_{1} : F_{d} \to R_{1}$ maps to the identity the maximal number of elements in the ball of radius $1$ about the identity in $C$ among all possible maps from $F_{d}$ to a $Γ$ -limit group $L$ that satisfies the first two conditions.
Continue to define the sequence inductively. Suppose that the finite sequence R 1 > R 2 > … > R n − 1 has been constructed, and choose R n to satisfy:
- (1) $R_{n}$ is a proper quotient of $R_{n - 1}$ ;
- (2) The finite decreasing sequence of $Γ$ -limit groups $R_{1} > R_{2} > \dots > R_{n}$ can be extended to an infinite decreasing sequence; and
- (3) The map $η_{n} : F_{d} \to R_{n}$ maps to the identity the maximal number of elements in the ball of radius $n$ about the identity in $C$ among all possible maps from $F_{d}$ to a $Γ$ -limit group $L_{n}$ satisfying the first two conditions.
It is worth noting that we do not insist that the Γ -limit groups R n be strict Γ -limit groups. This will be important later, because to study a single homomorphism, we consider a constant sequence, which leads to a Γ
-limit group which need not be strict.
Since each of the $Γ$ -limit groups $R_{n}$ is a quotient of $F_{d}$ , each $R_{n}$ is $d$ -generated. Let ${r_{1, n}, \dots, r_{d, n}}$ be a generating set for $R_{n}$ . By Lemma 5.3 , $R_{n}$ can be obtained as a limit of a sequence of homomorphisms ${v_{i}^{n} : F_{d} \to Γ}$ , with the quotient map $η_{n} : F_{d} \to R_{n}$ sending $f_{i}$ to $r_{i, n}$ .
For each $n$ , choose a homomorphism $v_{i_{n}}^{n} : F_{d} \to Γ$ for which:

(1) Every element in the ball of radius $n$ about the identity in $C$ that is mapped to the identity by $η_{n} : F_{d} \to R_{n}$ is mapped to the identity by $v_{i_{n}}^{n}$ . Every such element that is mapped to a nontrivial element by $η_{n}$ is mapped to a nontrivial element by $v_{i_{n}}^{n}$ ; and

(2) There exists an element $f \in F_{d}$ that is mapped to the identity by $η_{n + 1} : F_{d} \to R_{n + 1}$ for which $v_{i_{n}}^{n} (f) \neq 1$ .

Denote the homomorphism $v_{i_{n}}^{n}$ by $h_{n}$ . By construction, the set of homomorphisms ${h_{n} : F_{d} \to Γ}$ does not belong to a finite set of conjugacy classes. Therefore, from the sequence ${h_{n}}$ we can extract a subsequence that converges into a (strict) $Γ$ -limit group, denoted $R_{\infty}$ . By construction, the $Γ$ -limit group $R_{\infty}$ is the direct limit of the sequence of (proper) epimorphisms: $F_{d} \to R_{1} \to R_{2} \to \dots .$ Let $η_{\infty} : F_{d} \to R_{\infty}$ be the canonical quotient map.
Lemma 5.4 (cf. Lemma 1.13, [27] ).

(1) the set of homomorphisms ${h_{n} : F_{d} \to Γ}$ do not belong to finitely many conjugacy classes, hence $R_{\infty}$ is a strict $Γ$ -limit group;

(2) $R_{\infty}$ is not finitely presented;

(3) $R_{\infty}$ is not the free product of a finitely presented group and freely indecomposable $Γ$ -limit groups that do not admit a cyclic splitting;

(4) Let $R_{\infty} = U_{1} * \dots * U_{t} * F$ be the most refined (Grushko) free decomposition of $R_{\infty}$ , where $F$ is a finitely generated group. Then there exists an index $j$ , with $1 \leq j \leq t$ , for which:

(a) $U_{j}$ is not finitely presented;

(b) If $B$ is a finitely generated subgroup of $F_{d}$ such that $η_{\infty} (B) = U_{j}$ then the restrictions $h_{n} |_{B}$ do not belong to finitely many conjugacy classes. Furthermore, if $b_{1}, \dots, b_{p}$ is a generating set for $B$ , then for every index $n$ , the group $h_{n} (B)$ is not isomorphic to $η_{\infty} (B)$ by an isomorphism that sends $h_{n} (b_{i})$ to $η_{\infty} (b_{i})$ .

Proof (of Lemma 5.4 ). Given Theorem 5.1 , the proof of this is identical to that of [27,Lemma1.13] . □

The $Γ$ -limit group $R_{\infty}$ is a proper quotient of each of the $Γ$ -limit groups $R_{n}$ . For each index $n$ , the group $R_{n}$ was chosen to maximise the number of elements in the ball of radius $n$ about the identity in $C$ that are mapped to the identity in $Γ$ among all $Γ$ -limit groups that are proper quotients of $R_{n - 1}$ and that admit an infinite descending chain of $Γ$ -limit groups. Therefore, it is not difficult to see that $R_{\infty}$ does not admit an infinite descending chain of $Γ$ -limit groups.
We now obtain a finite resolution of $R_{\infty}$ :
Proposition 5.5 (cf. Proposition 1.16, [27] ). Let ${h_{n} : F_{d} \to Γ}$ be the sequence of homomorphisms constructed above. Then there exists a finite sequence of $Γ$ -limit groups: $R_{\infty} \to L_{1} \to \dots \to L_{s},$ so that

(1) The epimorphisms along the sequence are proper epimorphisms;

(2) Let $L_{s} = H_{1} * \dots * H_{r} * F$ be the (possibly trivial) Grushko free decomposition of $L_{s}$ . There exists a subsequence ${h_{n_{t}}}$ of ${h_{n} : F_{d} \to Γ}$ so that each of the homomorphisms $h_{n_{t}}$ can be written in the form; $h_{n_{t}} = ν_{t} \circ η_{s - 1} \circ φ_{s_{1}}^{t} \circ η_{s - 2} \dots \circ φ_{1}^{t} \circ η_{0},$ where each $φ_{i}^{t} \in Mod (L_{i})$ , and $ν_{t} : L_{s} \to Γ$ is a homomorphism that embeds each of the factors $H_{j}$ of $L_{s}$ into $Γ$ ;

(3) The sequence of homomorphism ${h_{n_{t}}}$ converges into a faithful action of $R_{\infty}$ on ann $R$ -tree $T$ . Furthermore, the entire sequence of homomorphisms $h_{n_{t}}$ factors through the epimorphism $η_{\infty} : F_{d} \to R_{\infty}$ .

Proof (of Proposition 5.5 ). Given Lemma 5.4 and Proposition 4.1 the proof is identical to that of [27,Proposition1.16] .
We note that the groups $L_{1}, \dots, L_{s}$ are found by taking successive shortening quotients, so that $L_{1}$ is a shortening quotient of $R_{\infty}$ . □

The homomorphisms ${h_{n} : F_{d} \to Γ}$ were chosen so that for every index $n$ there exists some element $f \in F_{d}$ for which $η_{n + 1} (f) = 1$ and $h_{n} (f) \neq 1$ . Since $R_{\infty}$ is a proper quotient of all of the $Γ$ -limit groups $R_{n}$ , for every index $n$ and every element $f \in F_{d}$ , if $η_{n + 1} (f) = 1$ then $η_{\infty} (f) = 1$ . By Part 3 of Proposition 5.5 it is possible to extract a subsequence ${h_{n_{t}} : F_{d} \to Γ}$ that factors through the group $R_{\infty}$ , which is to say that there is a homomorphism $π_{t} : R_{\infty} \to Γ$ so that $h_{n_{t}} = π_{t} \circ η_{\infty}$ . Hence, for every index $t$ , and every element $f \in F_{d}$ , if $η_{n_{t} + 1} (f) = 1$ then $η_{\infty} (f) = 1$ , which implies that $h_{n_{t}} (f) = 1$ , in contradiction to the way that the homomorphisms $h_{n}$ were chosen.
This finally ends the proof of Theorem 5.2 . □

Corollary 5.6. Let

Γ

be a torsion-free relatively hyperbolic group with abelian parabolics, and let

L

be a

Γ

-limit group.

Then

L

is Hopfian.

Corollary 5.6 generalises one of the main results of [17] , and implies that the relation defined on

Γ

-limit groups which are quotients of a fixed group

G

is a partial order. The proof of the following theorem is identical to that of [27,Theorem1.17] .

Theorem 5.7 (cf. Theorem 1.17, [27] ). Let

G

be a finitely generated group and

Γ

a torsion-free relatively hyperbolic group with abelian parabolics, and let

{h_{n} : G \to Γ}

be a sequence of homomorphisms. Then there exists a finite sequence of

Γ

-limit groups:

G \to L_{1} \to L_{2} \to \dots \to L_{s},

for which

(1) $η_{0} : G \to L_{1}$ is an epimorphism and $η_{i} : L_{i} \to L_{i + 1}$ is a proper epimorphism for each $1 \leq i \leq s - 1$ ;
(2) Let $L_{s} = H_{1} * \dots * H_{r} * F$ be the Grushko free decomposition of $L_{s}$ . Then there exists a subsequence ${h_{n_{t}}}$ os ${h_{n}}$ so that each of the homomorphisms $h_{n_{t}}$ can be decomposed as: $h_{n_{t}} = ν_{t} \circ η_{s - 1} \circ φ_{s - 1}^{t} \circ η_{s - 2} \circ \dots \circ φ_{1}^{t} \circ η_{0},$ where $φ_{i}^{t} \in Mod (L_{i})$ and $ν_{t} : L_{s} \to Γ$ embeds each of the freely indecomposable factors $H_{j}$ of $L_{s}$ into $Γ$ ;
(3) The sequence of homomorphisms $h_{n_{t}} : G \to Γ$ is either constant or converges into a faithful action of $L_{1}$ on a tree-graded space $C_{\infty}$ . Furthermore, the entire sequence of homomorphisms $h_{n_{t}}$ factor through the epimorphism $η_{0} : G \to L_{1}$ .

Given Theorem 5.7 , if a sequence

{h_{n} : G \to Γ}

converges into a

Γ

-limit group

L

, then by passing to a subsequence we may assume that each

h_{n}

factors through the canonical quotient map

η : G \to L

, so we may replace

{h_{n}}

by a sequence of homomorphisms from

L

Γ

. This simplifies the definition of shortening quotients considerably, since we may start with a sequence

{h_{n} : L \to Γ}

. Proposition 4.1 still holds in this context (in fact the proof is easier).

Definition 5.8. Let

Γ

and

G

be finitely generated groups.

We say that

G

is fully residually

Γ

is for every finite

ℱ \subset G

there is a homomorphism

h : G \to Γ

which is injective on

ℱ

Theorem 5.9. Let

Γ

be a nonabelian torsion-free relatively hyperbolic group with abelian parabolics. A finitely generated group

G

is a

Γ

-limit group if and only if it is fully residually

Γ

Proof. If $G$ is a fully residually $Γ$ then it is certainly a $Γ$ -limit group.
Suppose that $G$ is a $Γ$ -limit group, obtained from a sequence ${h_{n} : U \to Γ}$ . By Theorem 5.7 , by passing to a subsequence we may assume that each of the $h_{n}$ factor through the $Γ$ -limit group $G$ . Now it is clear that $G$ is fully residually $Γ$ . □

Proposition 5.10. Let

Γ

be a torsion-free relatively hyperbolic group with abelian parabolics. Then there are only countably many

Γ

-limit groups.

Proof. If $Γ$ is abelian, then all $Γ$ -limit groups are finitely generated abelian groups, of which there are only countably many.
Suppose then that $Γ$ is nonabelian. We apply the proof of Theorem 5.7 , along with the construction of shortening quotients. By Theorem 5.7 , for any $Γ$ -limit group $L$ there is a finitely generated free group $G$ and a sequence $G \to L \to L_{2} \to \dots \to L_{s},$ where each of the non-free factors in the Grushko decomposition of $L_{s}$ admits an embedding into $Γ$ , and each $L_{i}$ is a shortening quotient of the previous term in the sequence. We consider the limit groups which arise with sequences of increasing lengths, and note that there are only countably many for each length.
If $L = L_{s}$ , then $L$ is the free product of finitely many finitely generated subgroups of $Γ$ and (possibly) a finitely generated free group.
Since there are countably many finitely generated subgroups of $Γ$ , there are countably many such $Γ$ -limit groups.
We now consider hot to obtain $L_{i - 1}$ from $L_{i}$ . First, $L_{i}$ admits a Grushko free decomposition into freely indecomposable nonabelian $Γ$ -limit groups, along with possibly a free group and a free product of finitely generated free abelian groups. Each freely indecomposable nonabelian factor $H_{i - 1, j}$ of $L_{i - 1}$ admits a graph of groups decomposition $Λ_{H_{i - 1, j}}$ , whose edge groups are free abelian groups. By induction on $i$ , and the fact that abelian subgroups of $Γ$ are finitely generated, we may assume that these edge groups are finitely generated. The vertex groups of $Λ_{H_{i - 1, j}}$ are either abelian groups, surface groups, or embed in $L_{i}$ (by the construction of shortening quotients; see Section 4 ). Therefore, each such free factor of $L_{i - 1}$ can be formed by taking finitely many HNN extensions and amalgamated free products of finitely generated subgroups of $L_{i}$ over finitely generated abelian subgroups. There are only countably many such constructions. This completes the proof. □

The following result follows from the proof of Proposition 5.10 .

Corollary 5.11. Any abelian subgroup of a

Γ

-limit group is finitely generated free abelian.

Proposition 5.12 (cf. Proposition 1.20, [27] ). Let

G

be a finitely generated group and

Γ

a torsion-free relatively hyperbolic group with abelian parabolics. Let

R_{1}, R_{2} \dots

be a sequence of

Γ

-limit groups that are all quotients of

G

so that

R_{1} < R_{2} < \dots .

Then there exists a

Γ

-limit group

R

, a quotient of

G

, so that

R > R_{m}

for all

m

Proof. For each $m$ , choose a homomorphism $h_{m} : G \to Γ$ that factors through the quotient map $η_{m} : G \to R_{m}$ as $h_{m} = h_{m}^{'} \circ η_{m}$ and so that $h_{m}^{'}$ is injective on the ball of radius $m$ in $R_{m}$ . This is possible by Theorem 5.7 .
A subsequence of ${h_{m}}$ converges to a $Γ$ -limit group $R$ , which is a quotient of $G$ . By Theorem 5.7 , we may assume that each element of this subsequence factors through the canonical quotient map $η : G \to R$ .
We prove that $R > R_{m}$ for each $m$ . We have quotient maps $η : G \to R$ , and $η_{i} : G \to R_{i}$ . Since $R_{i} < R_{i + 1}$ there exists $τ_{i} : R_{i + 1} \to R_{i}$ so that $η_{i} = τ_{i} \circ η_{i + 1}$ . In particular, $ker (η_{i + 1}) \subseteq ker (η_{i})$ .
Let $A$ be the fixed finite generating set for $G$ . We attempt to define a homomorphism $κ_{i} : R \to R_{i}$ as follows: for $a \in A$ , define $κ_{i} (η (a)) = η_{i} (a)$ . This is well-defined if and only if $ker (η) \subseteq ker (η_{i})$ . Therefore, suppose that $g \in ker (η)$ . Since each $h_{j}$ factors through $η$ , we have $h_{j} (g) = 1$ for all $j$ . Suppose that $g$ lies in the ball of radius $n$ about the identity in the Cayley graph of $G$ . Then for all $j$ , the element $η_{j} (g)$ lies in the ball of radius $n$ about the identity in $R_{j}$ . Since $h_{j} (g) = 1$ , for all $j$ , and by the defining property of the $h_{j}$ , if $k \geq n$ then $η_{k} (g) = 1$ .
Thus since for all $j$ we have $ker (η_{j + 1}) \subseteq ker (η_{j})$ we have $η_{i} (g) = 1$ , as required. We have constructed a homomorphism $κ_{i} : R \to R_{i}$ so that $η_{i} = κ_{i} \circ η$ , which is to say that $R > R_{i}$ . This finishes the proof. □

Propositions 5.10 and 5.12 imply that there are maximal elements for the set of

Γ

-limit groups which are quotients of a fixed finitely generated group

G

, under the order described before Theorem 5.2 .

Recall that we say that two

Γ

-limit groups which are quotients of

G

η_{1} : G \to R_{1}

and

η_{2} : G \to R_{2}

are equivalent if there is an isomorphism

τ : R_{1} \to R_{2}

so that

η_{2} = η_{1} \circ τ

Proposition 5.13 (cf. Proposition 1.21, [27] ). Let

G

be a finitely generated group and

Γ

a torsion-free group hyperbolic relative to free abelian subgroups. Then there are only finitely many equivalence classes of maximal elements in the set of

Γ

-limit groups that are quotients of

G

Proof.
The following proof was explained to me by Zlil Sela in the context of torsion-free hyperbolic groups. The same proof works in the current context.
Suppose on the contrary that there are infinitely many non-equivalent maximal Γ -limit groups R 1 , R 2 , … , each a quotient of G . Let η i : G → R i be the canonical quotient map. Fixing a finite generating set A for G , we fix a finite generating set for each of the R i , and hence obtain maps ν i : F d → R i , where d = | A | . There is a fixed quotient map π : F d → G so that for each i we have ν i = η i ∘ π
.
For each $i$ , consider the set of words of length $1$ in $F_{d}$ that are mapped to the identity by $ν_{i}$ . This set is finite for each $i$ , and there is a bound on its size, so there is a subsequence of the $R_{i}$ so that this set is the same for all $i$ . Starting with this subsequence, consider those words of length $2$ in $F_{d}$ which are mapped to the identity by $ν_{i}$ , and again there is a subsequence for which this (bounded) collection is the same for all $i$ . Continue with this process for all lengths of words in $F_{d}$ , passing to finer and finer subsequences, and consider the diagonal subsequence.
We continue to denote this subsequence by $R_{1}, R_{2}, \dots$ .
Now, for each $i$ , choose a homomorphism $h_{i} : F_{d} \to Γ$ so that for words $w$ of length at most $i$ in $F_{d}$ , we have $h_{i} (w) = 1$ if and only if $ν_{i} (w) = 1$ , and so that $h_{i}$ factors through the quotient map $π : F_{d} \to G$ .
This is possible because each $R_{i}$ is a $Γ$ -limit group which is a quotient of $G$ .
A subsequence of ${h_{i} : F_{d} \to Γ}$ converges into a $Γ$ -limit group $M$ , which is a quotient of $G$ since all $h_{i}$ factor through $π$ . Let $ψ : F_{d} \to M$ be the canonical quotient, and $φ : G \to M$ the quotient for which $ψ = φ \circ π$ . Note that a word $w$ of length at most $i$ in $F_{d}$ maps to the identity under $ψ$ if and only if $ν_{i} (w) = 1$ .
Now, $R_{1}, R_{2}, \dots$ are non-equivalent maximal $Γ$ -limit quotients, so (possibly discarding one $R_{i}$ which is equivalent to $M$ ) are all non-equivalent to $M$ . Therefore, for each $i$ there does not exist a homomorphism $μ : M \to R_{i}$ so that $ν_{i} = μ \circ ψ$ . That is to say that for each $i$ there exists $u_{i} \in F_{d}$ so that $ψ (u_{i}) = 1$ but $ν_{i} (u_{i}) \neq 1$ .
We now construct a new sequence of homomorphisms $τ_{i} : F_{d} \to Γ$ that all factor through $π : F_{d} \to G$ so that

$∙$ a word $w \in F_{d}$ of length at most $i$ satisfies $τ_{i} (w) = 1$ if and only if $ν_{i} (w) = 1$ ; and

$∙$ $τ_{i} (u_{i}) \neq 1$ .

By Theorem 5.5 there is a subsequence ${τ_{n_{i}}}$ of ${τ_{i}}$ which converges into a $Γ$ -limit group (which must be $M$ ) so that each $τ_{n_{i}}$ factors through $ψ : F_{d} \to M$ . Therefore, there is $r_{i} : M \to Γ$ so that $τ_{n_{i}} = r_{i} \circ ψ$ .
However, we have that $ψ (u_{n_{i}}) = 1$ , but $1 \neq τ_{n_{i}} (u_{n_{i}}) = r_{i} (ψ (u_{n_{i}})) = r_{i} (1) = 1$ , a contradiction. This contradicts the existence of $R_{1}, R_{2}, \dots$ , and finishes the proof. □

Definition 5.14. A group

G

is a called equationally Noetherian if every system of equations over

G

in finitely many variables is equivalent to a finite subsystem.

The following theorem answers a question (essentially) asked by Sela [28,I.8(ii)] . We believe that relatively hyperbolic groups with abelian parabolics form a more natural context for this question than CAT

(0)

groups with isolated flats. In this context, [28,I.8(i)] was answered by the author in [17] and [28,I.8(iii)] is answered in Theorem 6.4 below.

Theorem 5.15 (cf. Theorem 1.22, [27] ). Suppose that

Γ

is a torsion-free relatively hyperbolic group with abelian parabolics.

Proof. We follow the proof of [27,Theorem1.22] .
Let $Σ$ be a system of equations in finitely many variables over $Γ$ . We iteratively construct a directed locally finite tree as follows. Start with the first equation $σ_{1}$ in $Σ$ , and associate with it a one relator group $G_{1}$ , generated by the variables of $Σ$ with relator corresponding to $σ_{1}$ .
By Proposition 5.13 , to $G_{1}$ is associated finitely many maximal $Γ$ -limit groups $R_{1}, \dots, R_{m}$ which are quotients of $G_{1}$ . Place $G_{1}$ at the root node of a tree, and a directed edge from $G_{1}$ to each $R_{i}$ .
Now let $σ_{2}$ be the second equation in $Σ$ , and consider each $R_{i}$ in turn. If $σ_{2}$ represents the trivial element of $R_{i}$ , leave it unchanged. If $σ_{2}$ is nontrivial in $R_{i}$ , define $\hat{R_{i}} = R_{i} / 〈 σ_{2} 〉^{R_{i}}$ . With $\hat{R_{i}}$ , we associate its finite collection of maximal $Γ$ -limit quotients, and extend the locally finite tree by adding new vertices for these quotients of $R_{i}$ , and directed edges joining $R_{i}$ to each of its quotients.
Continue this procedure iteratively. By Theorem 5.2 , each branch of this locally finite tree is finite, and therefore by Konig's Lemma the entire tree is finite. This implies that the construction of this tree terminates after finitely many steps, which implies that $Σ$ is equivalent to a finite subsystem. □

Guba [19] proved the analogous theorem for free groups, whilst Sela [27] proved it for torsion-free hyperbolic groups.

6 Makanin-Razborov diagrams

In this final section, we describe the construction of Makanin-Razborov diagrams for

Γ

, which give a description of the set

Hom (G, Γ)

, where

Γ

is an arbitrary finitely generated group. This is analogous to the constructions in [26, § 5 ] and [27, § 1 ] .

Let

R

be a freely indecomposable

Γ

-limit group, and let

r_{1}, \dots, r_{m} \in R

be a fixed generating set for

R

. We assume that we always use the generating set

{r_{1}, \dots, r_{m}}

to define the length of homomorphisms, and hence to find short homomorphisms.

We need to understand those shortening quotients of

R

obtained from sequences of homomorphisms

{h_{n} : R \to Γ}

so that each

h_{n} (R)

is a proper quotient of

R

. By Proposition 4.1 , each such shortening quotient is a proper quotient of

R

Following [26, 27] we say that two proper shortening quotients

S_{1}, S_{2}

R

are equivalent if there is an isomorphism

τ : S_{1} \to S_{2}

so that the canonical quotient maps

η_{i} : R \to S_{i}

, for

i = 1, 2

satisfy

η_{2} = τ \circ η_{1}

This defines an equivalence relation on the set of shortening quotients of

R

, paired with the canonical quotient maps:

{(S_{i}, η_{i} : R \to S_{i})}

Let

S Q (R, r_{1}, \dots, r_{m})

be the set of (proper) shortening quotients of

R

. On the set

S Q (R, r_{1}, \dots, r_{m})

we define a partial order as follows:

given two proper shortening quotients

S_{1}, S_{2}

R

, along with canonical quotients

η_{i} : R \to S_{i}

, we say that

S_{1} > S_{2}

if there exists a proper epimorphism

ν : S_{1} \to S_{2}

so that

η_{2} = ν \circ η_{1}

Lemma 6.1 (cf. Lemma 1.23, [27] ). Let

R

be a freely-indecomposable

Γ

-limit group. Let

S_{1} < S_{2} < S_{3} < \dots

(where

S_{j} \in S Q (R, r_{1}, \dots, r_{m})

) be a properly increasing sequence of (proper) shortening quotients of

R

. Then there exists a shortening quotient

S \in S Q (R, r_{1}, \dots, r_{m})

so that for each

j

we have

S > S_{j}

Proof. Restricting to short homomorphisms throughout, the proof is identical to that of Proposition 5.12 above. □

Lemma 6.2 (cf. Lemma 1.24, [27] ). Let

R

be a freely-indecomposable

Γ

-limit group. The set,

S Q (R, r_{1}, \dots, r_{m})

, of (proper) shortening quotients of

R

contains only finitely many equivalence classes of maximal elements with respect to the partial order.

Proof. Once again, restricting throughout to short homomorphisms, the proof is identical to the of Proposition 5.13 above. □

We can now use shortening quotients to `encode and simplify' all homomorphisms from a freely-indecomposable

Γ

-limit group into

Γ

Proposition 6.3 (cf. Proposition 1.25, [27] ). Suppose that

R

is a freely-indecomposable

Γ

-limit group. Let

r_{1}, \dots, r_{m} \in R

be a generating set for

R

, and let

M_{1}, \dots, M_{k}

be a set of representatives of the (finite) set of equivalence classes of maximal (proper) shortening quotients in

S Q (R, r_{1}, \dots, r_{m})

, equipped with the canonical quotient maps

η_{i} : R \to M_{i}

, for

i = 1, \dots, k

Let

h : R \to Γ

be a homomorphism which is not an embedding.

Then there exist a (not necessarily unique) index

1 \leq i \leq k

, a modular automorphism

φ_{h} \in Mod (R)

, and a homomorphism

h_{M_{i}} : M_{i} \to Γ

so that

h \circ φ_{h} = h_{M_{i}} \circ η_{i}

Proof. Choose $\hat{h} \sim h$ so that $\hat{h}$ is short. The constant sequence $\hat{h}, \hat{h}, \dots$ converges into a proper shortening quotient $S$ of $R$ . Now, $S \sim = \hat{h} (R)$ , and the canonical quotient map is just $\hat{h}$ . There exists some $M_{i}$ so that $M_{i} > S$ or $M_{i}$ is equivalent to $S$ . In either case, we get the required conclusion. □

Finally, we now construct Makanin-Razborov diagrams over

Γ

. Let

G

be an aribtrary finitely generated group. By Proposition 5.13 ,

G

has finitely many (equivalence classes of ) maximal

Γ

-limit quotients,

R_{1}, \dots, R_{s}

, say. We now continue with each of the

R_{i}

in parallel.

Let

R

be one such maximal

Γ

-limit quotient of

G

. The there is a free factorisation,

R = H_{1} * \dots * H_{l} * F_{g}

, where each

H_{i}

is a freely-indecomposable non-cyclic subgroup of

R

and

F_{g}

is a finitely generated free group. Let

r_{1}^{1}, \dots, r_{m_{1}}^{1} \in R

generate

H_{1}

, and

r_{1}^{2}, \dots, r_{m_{2}}^{2} \in R

generate

H_{2}

, etc.

By Lemma 6.1 the set of (proper) shortening quotients of

H_{i}

contain maximal elements, and by Lemma 6.2 there are only finite many equivalence classes of maximal

Γ

-limit quotients of each

H_{i}

. For

i = 1, \dots, l

, let

M_{1}^{i}, \dots, M_{k_{i}}^{I}

be a collection of representatives of the equivalence classes of maximal proper shortening quotients in

S Q (H_{i}, r_{1}^{i}, \dots, r_{m_{i}}^{i})

, and let

η_{j}^{i} : H_{i} \to M_{j}^{i}

be the canonical quotient map.

We now define the Makanin-Razborov diagram of

G

iteratively. Start by mapping

G

to its finite collection of maximal

Γ

-limit quotients, and continue with each of the maximal

Γ

-limit quotients in parallel.

Denote such a maximal

Γ

-limit quotient of

G

R

. Factor

R

into

H_{1} * \dots * H_{l} * F_{g}

as above. To each of the factors

H_{i}

associate

k_{i}

directed edges starting at

H_{i}

and terminating at

M_{j}^{i}

, a maximal shortening

Γ

-limit quotient of

H_{i}

. Do not proceed from

F_{g}

Now for each

M_{j}^{i}

we find a free product factorisation and to each (nonfree) factor associate the finitely many maximal shortening quotients.

This procedure terminates after finitely many steps by Theorem 5.2 (and Konig's Lemma). We have constructed the Makanin-Razborov diagram associated to

G

In summary, we have

Theorem 6.4 (cf. Theorem 1.26, [27] ). Let

G

be a finitely generated group and

Γ

a torsion-free relatively hyperbolic group with abelian parabolics. Associated to

G

is a Makanin-Razborov diagram, with vertices

Γ

-limit quotients, and edges the canonical quotient map. Any homomorphism

h \in Hom (G, Γ)

can be given by compositions of modular automorphisms of the

Γ

-limit groups in the diagram with the canonical maps from

Γ

-limit groups into their maximal proper shortening quotients, and finally with either embeddings of a

Γ

-limit group in the diagram into

Γ

, or general homomorphisms of the terminal free groups that appear in the diagram into

Γ

Theorem 6.4 answers a question (essentially) asked by Sela [28,ProblemI.8(iii)] . See the discussion above Theorem 5.15 above.

In the future work [18] we will continue the study of the elementary theory of

Γ

References

E. Alibegović, A combination theorem for relatively hyperbolic groups, Bull. LMS, to appear.
E. Alibegović, Makanin-Razborov diagrams for limit groups, preprint.
M. Bestvina and M. Feighn, Bounding the complexity of simplicial group actions, Invent. Math. 103 (1991), 449–469.
M Bestvina and M. Feighn, Notes on Sela's work: Limit groups and Makanin-Razborov diagrams, preprint.
M. Bestvina, Questions in geometric group theory, available at http://www.math.utah.edu/ $\sim$ bestvina.
B. Bowditch, Relatively hyperbolic groups, preprint.
F. Dahmani, Classifying spaces and boundaries for relatively hyperbolic groups, Proc. London Math. Soc. (3) 86 (2003), 666–684.
F. Dahmani, Combination of convergence groups, Geom. Topol. 7 (2003), 933–963.
F. Dahmani, Accidental parabolics and relatively hyperbolic groups, preprint.
C. Druţ u and M. Sapir, Tree-graded spaces and asymptotic cones of groups, preprint.
C. Druţ u and M. Sapir, Relatively hyperbolic groups with rapid decay property, preprint.
M. Dunwoody, The accessibility of finitely presented groups, Invent. Math. 81 (1985), 449–457.
B. Farb, Relatively hyperbolic groups, GAFA 8 (1998), 810–840.
M. Gromov, Hyperbolic groups, in Essays in group theory (S.M. Gersten, ed.), Springer Verlag, MSRI Publ. 8 (1987), 75-263.
D. Groves, Limits of (certain) CAT $(0)$ groups, I: Compactification, preprint. Available at http://arxiv.org/abs/math.GR/0404440.
D. Groves, Limits of (certain) CAT $(0)$ groups, II: The Hopf property and the shortening argument, preprint. Available at http://arxiv.org/abs/math.GR/0408080.
D. Groves, Limit groups for relatively hyperbolic groups, I: The basic tools, preprint. Available at http://arxiv.org/abs/math.GR/0412492.
D. Groves, The elementary theory of torsion-free relatively hyperbolic groups with abelian parabolics, in preparation.
V. Guba, Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems, Math. Zametki 40 (1986), 321–324.
O. Kharlampovich and A. Miasnikov, Irreducible affine varieties over a free group. I, II. J. Alg. 200 (1998), 472–516, 517–570.
D. Osin, Relatively hyperbolic groups: Intrinsic geometry, algebraic properties, and algorithmic properties, preprint.
E. Rips, Subgroups of small cancellation groups, Bull. LMS 14 (1982), 45–47.
E. Rips and Z. Sela, Structure and rigidity in hyperbolic groups I, GAFA 4 (1994), 337—371.
Z. Sela, Acylindrical accessibility for groups, Invent. Math. 129 (1997), 527–565.
Z. Sela, Endomorphisms of hyperbolic groups I: The Hopf property, Topology 38 (1999), 301-321.
Z. Sela, Diophantine geometry over groups, I: Makanin-Razborov diagrams. Publ. Math. IHES 93 (2001), 31–105.
Z.. Sela, Diophantine geometry over groups VIII: The elementary theory of a hyperbolic group, preprint.
Z. Sela, Diophantine geometry over groups: a list of research problems, http://www.ma.huji.ac.il/ $\sim$ zlil/problems.dvi/
A. Szczepanski, Relatively hyperbolic groups, Michigan Math. J. 45 (1998), 611–618.
A. Yaman, A topological characterisation of relatively hyperbolic groups, J. Reine Angew. Math. 566 (2004), 41–89.

Daniel Groves, Department of Mathematics, California Institute of Technology, Pasadena, CA, 91125, USA E-mail address : groves@caltech.edu