Solvability of the conjugacy problem for relatively hyperbolic groups was announced by Gromov [Hyperbolic groups, MSRI publications 8 (1987)]. Using the definition of Farb of a relatively hyperbolic group in the strong sense [B Farb, Relatively hyperbolic groups, Geom. Func. Anal. 8 (1998) 810-840], we prove this assertion. We conclude that the conjugacy problem is solvable for fundamental groups of complete, finite-volume, negatively curved manifolds, and for finitely generated fully residually free groups.
In this note, we provide a (super-exponential time) algorithm to solve the generalized conjugacy problem in relatively hyperbolic groups, given solvability of the generalized conjugacy problem in each of the parabolic subgroups.
The asymptotic bound for a length-based attack on the Conjugacy Search Problem in relatively hyperbolic groups is cubic for hyperbolic elements and a "small" polynomial for parabolic elements, depending on the Conjugacy Search Problem for the peripheral subgroups. The bound for relatively hyperbolic groups in this paper is a significant improvement on previous work.
Modelled on efficient algorithms for solving the conjugacy problem in hyperbolic groups, we define and study the permutation conjugacy length function. This function estimates the length of a short conjugator between words $u$ and $v$, up to taking cyclic permutations. This function might be bounded by a constant, even in the case when the standard conjugacy length function is unbounded. We give applications to the complexity of the conjugacy problem, estimating conjugacy growth rates, and languages. Our main result states that for a relatively hyperbolic group, the permutation conjugacy lengt…
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. It is proved that the fundamental group of a hyperbolic 3-manifold (closed or with cusps) is subgroup conjugacy separable.
Let N be a finitely generated normal subgroup of a Gromov hyperbolic group G. We establish criteria for N to have solvable conjugacy problem and be conjugacy separable in terms of the corresponding properties of G/N. We show that the hyperbolic group from F. Haglund's and D. Wise's version of Rips's construction is hereditarily conjugacy separable. We then use this construction to produce first examples of finitely generated and finitely presented conjugacy separable groups that contain non-(conjugacy separable) subgroups of finite index.
Rivin conjectured that the conjugacy growth series of a hyperbolic group is rational if and only if the group is virtually cyclic. Ciobanu, Hermiller, Holt and Rees proved that the conjugacy growth series of a virtually cyclic group is rational. Here we present the proof confirming the other direction of the conjecture, by showing that the conjugacy growth series of a non-elementary hyperbolic group is transcendental. We also present and prove some variations of Rivin's conjecture for commensurability classes and primitive conjugacy classes. We then explore Rivin's conjecture for finitely gene…
We study conjugacy classes of solutions to systems of equations and inequations over torsion-free hyperbolic groups, and describe an algorithm to recognize whether or not there are finitely many conjugacy classes of solutions to such a system. The class of immutable subgroups of hyperbolic groups is introduced, which is fundamental to the study of equations in this context. We apply our results to enumerate the immutable subgroups of a torsion-free hyperbolic group.
We prove that any word hyperbolic group which is virtually compact special (in the sense of Haglund and Wise) is conjugacy separable. As a consequence we deduce that all word hyperbolic Coxeter groups and many classical small cancellation groups are conjugacy separable. To get the main result we establish a new criterion for showing that elements of prime order are conjugacy distinguished. This criterion is of independent interest; its proof is based on a combination of discrete and profinite (co)homology theories.
If $u$ and $v$ are two conjugate elements of a hyperbolic group then the length of a shortest conjugating element for $u$ and $v$ can be bounded by a linear function of the sum of their lengths, as was proved by Lysenok. Bridson and Haefliger showed that in a hyperbolic group the conjugacy problem can be solved in polynomial time. We extend these results to relatively hyperbolic groups. In particular, we show that both the conjugacy problem and the conjugacy search problem can be solved in polynomial time in a relatively hyperbolic group, whenever the corresponding problem can be solved in pol…
Let $G$ be a group. Two elements $x, y$ are said to be {\it $z$-equivalent} if their centralizers are conjugate in $G$. The class equation of $G$ is the partition of $G$ into conjugacy classes. Further decomposition of conjugacy classes into $z$-classes provides an important information about the internal structure of the group. Let $I(\H^n)$ denote the group of isometries of the hyperbolic $n$-space. We show that the number of $z$-classes in $I(\H^n)$ is finite. We actually compute their number, cf. theorem 1.3. We interpret the finiteness of $z$-classes as accounting for the finiteness of "d…
Let M = H^3 / Γbe a hyperbolic 3-manifold of finite volume. We show that if H and K are abelian subgroups of Γand g is in Γ, then the double coset HgK is separable in Γ. As a consequence we prove that if M is a closed, orientable, Haken 3-manifold and the fundamental group of every hyperbolic piece of the torus decomposition of M is conjugacy separable then so is the fundamental group of M. Invoking recent work of Agol and Wise, it follows that if M is a compact, orientable 3-manifold then π_1(M) is conjugacy separable.
A group $G$ is called subgroup conjugacy separable (abbreviated as SCS) if any two finitely generated and non-conjugate subgroups of $G$ remain non-conjugate in some finite quotient of $G$. An into-conjugacy version of SCS is abbreviated by SICS. We prove that if $G$ is a hyperbolic group, $H_1$ is a quasiconvex subgroup of $G$, and $H_2$ is a subgroup of $G$ which is elementwise conjugate into $H_1$, then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. As corollary, we deduce that fundamental groups of closed hyperbolic 3-manifolds and torsion-free small cancellat…
We study the word and conjugacy problems in lacunary hyperbolic groups (briefly, LHG). In particular, we describe a necessary and sufficient condition for decidability of the word problem in LHG. Then, based on the graded small-cancellation theory of Olshanskii, we develop a general framework which allows us to construct lacunary hyperbolic groups with word and conjugacy problems highly controllable and flexible both in terms of computability and computational complexity. As an application, we show that for any recursively enumerable subset $\mathcal{L} \subseteq \mathcal{A}^*$, where $\mathca…
For a free group $\mathbb{F}$ of finite rank such that $\text{rank}(\mathbb{F})\geq 3$, we prove that the set of weak limits of a conjugacy class in $\mathbb{F}$ under iterates of some hyperbolic $ϕ\in\mathsf{Out(\mathbb{F})}$ is equal to the collection of generic leaves and singular lines of $ϕ$. As an application we describe the ending lamination set for a hyperbolic extension of $\mathbb{F}$ by a hyperbolic subgroup of $\mathsf{Out(\mathbb{F})}$ in a new way and use it to prove results about Cannon-Thurston maps for such extensions. We also use it to derive conditions for quasiconvexity of …
Let G be a word-hyperbolic group with given finite generating set, for which various standard structures and constants have been pre-computed. A (non-practical) algorithm is described that, given as input two lists A and B, each composed of m words in the generators and their inverses, determines whether or not the lists are conjugate in G, and returns a conjugating element should one exist. The algorithm runs in time O(m mu)$, where mu is an upper bound on the lengths of elements in the two lists. Similarly, an algorithm is outlined that computes generators of the centraliser of A, with the s…
Part 1 : We remark that the conjugacy problem for pairs of hyperbolic au- tomorphisms of a finitely presented group (typically a free group) is decidable. The solution that we propose uses the isomorphism problem for the suspensions, and the study of their automorphism group. Part 2 : In a previous work (part 1), we remarked that the conjugacy problem for pairs of atoroidal automorphisms of a free group was solvable by mean of the isomorphism problem for hyperbolic groups and an orbit problem for the automorphism group of their suspensions (i.e. their semidirect product with Z for the relevant…
We obtain a number of finiteness results for groups acting on Gromov-hyperbolic spaces. In particular we show that a torsion-free locally quasiconvex hyperbolic group has only finitely many conjugacy classes of $n$-generated one-ended subgroups. We also show that the rank problem is solvable for the class of torsion-free locally quasiconvex hyperbolic groups (even though it is unsolvable for the class of all torsion-free hyperbolic groups). We apply our results to 3-manifold groups. Namely, suppose $G$ is the fundamental group of a closed hyperbolic 3-manifold fibering over a circle and suppos…
Suppose that a finitely generated group $G$ is hyperbolic relative to a collection of subgroups $\mathbb{P}=\{P_1,\dots,P_m\}$. Let $H_1,H_2$ be subgroups of $G$ such that $H_1$ is relatively quasiconvex with respect to $\mathbb{P}$ and $H_2$ is not parabolic. Suppose that $H_2$ is elementwise conjugate into $H_1$. Then there exists a finite index subgroup of $H_2$ which is conjugate into $H_1$. The minimal length of the conjugator can be estimated. In the case where $G$ is a limit group, it is sufficient to assume only that $H_1$ is a finitely generated and $H_2$ is an arbitrary subgroup of $…
We prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups (i.e. fundamental groups of configuration spaces of points in graphs), many hyperbolic groups, and it coincides with the class of fundamental groups of ``special cube complexes'' studied independently by Haglund and Wise.
We characterize the group property of being with infinite conjugacy classes (or icc, in which all conjugacy classes beside 1 are infinite) for extensions of some specific groups ; namely extensions of abelian, centerless, icc, or word hyperbolic groups.
We show that the number of twisted conjugacy classes is infinite for any automorphism of non-elementary, Gromov hyperbolic group . An analog of Selberg theory for twisted conjugacy classes is proposed.
Let $\H^{n+1}$ denote the $n + 1$-dimensional (real) hyperbolic space. Let $\s^{n}$ denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of $\s^n$ is denoted by $M (n)$. Let $M_o (n)$ be its identity component which consists of all orientation-preserving elements in $M (n)$. The conjugacy classification of isometries in $M_o (n)$ depends on the conjugacy of $T$ and $T^{-1}$ in $M_o (n)$. For an element $T$ in $M (n)$, $T$ and $T^{-1}$ are conjugate in $M (n)$, but they may not be conjugate in $M_o (n)$. In the literature, $T$ is called real if $T$ is co…
We study the regularity of several languages derived from conjugacy classes in a finitely generated group G for a variety of examples including word hyperbolic, virtually abelian, Artin, and Garside groups. We also determine the rationality of the growth series of the shortlex conjugacy language in virtually cyclic groups, proving one direction of a conjecture of Rivin.
We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable relatively hyperbolic group is residually finite. As a direct consequence, we obtain that the outer automorphism group of a limit group is residually finite.
We construct a hyperbolic group with a finitely presented subgroup, which has infinitely many conjugacy classes of finite-order elements. We also use a version of Morse theory with high dimensional horizontal cells and use handle cancellation arguments to produce other examples of subgroups of CAT(0) groups with infinitely many conjugacy classes of finite-order elements.
Given a finitely generated relatively hyperbolic group $G$, we construct a finite generating set $X$ of $G$ such that $(G,X)$ has the `falsification by fellow traveler property' provided that the parabolic subgroups $\{H_ω\}_{ω\in Ω}$ have this property with respect to the generating sets $\{X\cap H_ω\}_{ω\in Ω}$. This implies that groups hyperbolic relative to virtually abelian subgroups, which include all limit groups and groups acting freely on $\mathbb{R}^n$-trees, or geometrically finite hyperbolic groups, have generating sets for which the language of geodesics is regular, and the comple…
Let F be an infinitely generated free group and R a fully invariant subgroup of F such that (a) R is contained in the commutator subgroup F' of F and (b) the quotient group F/R is residually torsion-free nilpotent. Then the automorphism group Aut(F/R') of the group F/R' is complete. In particular, the automorphism group of any infinitely generated free solvalbe group of derived length at least two is complete. This extends a result by Dyer and Formanek (1977) on finitely generated groups F_n/R' where F_n is a free group of finite rank n at least two and R a characteristic subgroup of F_n.
The purpose of this note is to provide a short alternate proof that (combined with a theorem proven by Szczepanski) shows that a group which is relatively hyperbolic in the sense of the definition of Gromov is relatively hyperbolic in the sense of the definition of Farb.
Dehn fillings for relatively hyperbolic groups generalize the topological Dehn surgery on a non-compact hyperbolic $3$-manifold such as a hyperbolic knot complement. We prove a rigidity result saying that if two non-elementary relatively hyperbolic groups without suitable splittings have sufficiently many isomorphic Dehn fillings, then these groups are in fact isomorphic. Our main application is a solution to the isomorphism problem in the class of non-elementary relatively hyperbolic groups with residually finite parabolic groups and with no suitable splittings.
In this paper we introduce and study the conjugacy ratio of a finitely generated group, which is the limit at infinity of the quotient of the conjugacy and standard growth functions. We conjecture that the conjugacy ratio is $0$ for all groups except the virtually abelian ones, and confirm this conjecture for certain residually finite groups of subexponential growth, hyperbolic groups, right-angled Artin groups, and the lamplighter group.
We prove that finite index subgroups of right angled Artin groups are conjugacy separable. We then apply this result to establish various properties of other classes of groups. In particular, we show that any word hyperbolic Coxeter group contains a conjugacy separable subgroup of finite index and has a residually finite outer automorphism group. Another consequence of the main result is that Bestvina-Brady groups are conjugacy separable and have solvable conjugacy problem.
We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index subgroup.
In this paper we classify the finite groups satisfying the following property $P_4$: their orders of representatives are set-wise relatively prime for any 4 distinct non-central conjugacy classes.
We prove that, if a group is relatively hyperbolic, the parabolic subgroups are virtually nilpotent if and only if there exists a hyperbolic space with bounded geometry on which it acts geometrically finitely. This provides, by use of M. Bonk and O. Schramm embedding theorem, a very short proof of the finiteness of asymptotic dimension of relatively hyperbolic groups with virtually nilpotent parabolic subgroups (which is known to imply Novikov conjectures
In this paper we prove that if some relatively hyperbolic groups have Bowditch boundary homeomorphic to the $n$-sphere, then they are also relatively hyperbolic with respect to another set of parabolic subgroups and its Bowditch boundary is homeomorphic to the $n-1$-dimensional Sierpiński carpet.
We show the equivalence of several characterizations of relative hyperbolicity for metric spaces, and obtain extra information about geodesics in a relatively hyperbolic space. We apply this to characterize hyperbolically embedded subgroups in terms of nice actions on (relatively) hyperbolic spaces. We also study the divergence of (properly) relatively hyperbolic groups, in particular showing that it is at least exponential. Our main tool is the generalization of a result proved by Bowditch for hyperbolic spaces: if a family of paths in a space satisfies a list of properties specific to geodes…
In this paper we consider the {\em conjugacy stability} property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective procedure to find out if a finitely generated subgroup of a free group is conjugacy stable. Then we further generalize this result to quasi-convex subgroups of torsion-free hyperbolic groups and finitely generated subgroups of limit groups.
In this note we solve the twisted conjugacy problem for braid groups, i.e. we propose an algorithm which, given two braids $u,v\in B_n$ and an automorphism $ϕ\in Aut (B_n)$, decides whether $v=(ϕ(x))^{-1}ux$ for some $x\in B_n$. As a corollary, we deduce that each group of the form $B_n \rtimes H$, a semidirect product of the braid group $B_n$ by a torsion-free hyperbolic group $H$, has solvable conjugacy problem.
We explore the combination theorem for a group G splitting as a graph of relatively hyperbolic groups. Using the fine graph approach to relative hyperbolicity, we find short proofs of the relative hyperbolicity of G under certain conditions. We then provide a criterion for the relative quasiconvexity of a subgroup H depending on the relative quasiconvexity of the intersection of H with the vertex groups of G. We give an application towards local relative quasiconvexity.
We introduce a number of new tools for the study of relatively hyperbolic groups. First, given a relatively hyperbolic group G, we construct a nice combinatorial Gromov hyperbolic model space acted on properly by G, which reflects the relative hyperbolicity of G in many natural ways. Second, we construct two useful bicombings on this space. The first of these, "preferred paths", is combinatorial in nature and allows us to define the second, a relatively hyperbolic version of a construction of Mineyev. As an application, we prove a group-theoretic analog of the Gromov-Thurston 2πTheorem in the …
Baker and Riley proved that a free group of rank 3 can be contained in a hyperbolic group as a subgroup for which the Cannon-Thurston map is not well-defined. By using their result, we show that the phenomenon occurs for not only a free group of rank 3 but also every non-elementary hyperbolic group. In fact it is shown that a similar phenomenon occurs for every non-elementary relatively hyperbolic group.
A group $G$ is called subgroup conjugacy separable if for every pair of non-conjugate finitely generated subgroups of $G$, there exists a finite quotient of $G$ where the images of these subgroups are not conjugate. We prove that limit groups are subgroup conjugacy separable. We also prove this property for one relator groups of the form $R=\langle a_1,...,a_n\mid W^n\rangle$ with $n>|W|$. The property is also proved for virtual retracts (equivalently for quasiconvex subgroups) of hyperbolic virtually special groups.
Let $Γ$ be a finitely generated group which is hyperbolic relative to a finite family $\{H_1,...,H_n\}$ of subgroups. We prove that $Γ$ is uniformly embeddable in a Hilbert space if and only if each subgroup $H_i$ is uniformly embeddable in a Hilbert space.
We introduce a new quasi-isometry invariant, called the divergence spectrum, to study finitely generated groups. We compare the concept of divergence spectrum with the other classical notions of divergence and we examine the divergence spectra of relatively hyperbolic groups. We show the existence of an infinite collection of right-angled Coxeter groups which all have exponential divergence but they all have different divergence spectra. We also study Morse boundaries of relatively hyperbolic groups and examine their connection with Bowditch boundaries.
In this paper, we prove a limit set intersection theorem in relatively hyperbolic groups. Our approach is based on a study of dynamical quasiconvexity of relatively quasiconvex subgroups. Using dynamical quasiconvexity, many well-known results on limit sets of geometrically finite Kleinian groups are derived in general convergence groups. We also establish dynamical quasiconvexity of undistorted subgroups in finitely generated groups with nontrivial Floyd boundary.
In this paper it is proved that relative hyperbolicity is an invariant of quasi-isometry. As a byproduct of the arguments, simplified definitions of relative hyperbolicity are obtained. In particular we obtain a new definition very similar to the one of hyperbolicity, relying on the existence for every quasi-geodesic triangle of a central left coset of peripheral subgroup.
For any finitely generated, non-elementary, torsion-free group $G$ that is hyperbolic relative to $\mathbb P$, we show that there exists a group $G^*$ containing $G$ such that $G^*$ is hyperbolic relative to $\mathbb P$ and $G$ is not relatively quasiconvex in $G^*$. This generalizes a result of I. Kapovich for hyperbolic groups. We also prove that any torsion-free group $G$ that is non-elementary and hyperbolic relative to $\mathbb P$, contains a rank 2 free subgroup $F$ such that the group generated by "randomly" chosen elements $r_1,...,r_m$ in $F$ is aparabolic, malnormal in $G$ and quasic…
