On endomorphisms of torsion-free hyperbolic groups
Let H be a torsion-free δ-hyperbolic group with respect to a finite generating set S. Let a1,...,an and a1∗,...,an∗ be elements of H such that ai∗ is conjugate to ai for each i=1,...,n. Then, there is a uniform conjugator if and only if W(a1∗,...,an∗) is conjugate to W(a1,...,an) for every word W in n variables and length up to a computable constant depending only on δ, ♯S and ∑i=1n∣ai∣. As a corollary, we deduce that there exists a computable constant C=C(δ,♯S) such that, for any endomorphism ϕ of H, if ϕ(h) is conjugate to h for every element h∈H of length up to C, then ϕ is an inner automorphism. Another corollary is the following: if H is a torsion-free conjugacy separable hyperbolic group, then Out(H) is residually finite. When particularizing the main result to the case of free groups, we obtain a solution for a mixed version of the classical Whitehead's algorithm.
