We show that any nonabelian free group $F$ of finite rank is homogeneous; that is for any tuples $\bar a$, $\bar b \in F^n$, having the same complete $n$-type, there exists an automorphism of $F$ which sends $\bar a$ to $\bar b$.
We further study existential types and we show that for any tuples $\bar a, \bar b \in F^n$, if $\bar a$ and $\bar b$ have the same existential $n$-type, then either $\bar a$ has the same existential type as a power of a primitive element, or there exists an existentially closed subgroup $E(\bar a)$ (resp. $E(\bar b)$) of $F$ containing $\bar a$ (resp. $\bar b$) and an isomorphism $σ: E(\bar a) \to E(\bar b)$ with $σ(\bar a)=\bar b$.
We will deal with non-free two-generated torsion-free hyperbolic groups and we show that they are $\exists$-homogeneous and prime. This gives, in particular, concrete examples of finitely generated groups which are prime and not QFA.
We give a complete characterization of torsion-free hyperbolic groups which are homogeneous in the sense of first-order logic, in terms of the JSJ decompositions of their free factors.
Let $Γ$ be a torsion-free hyperbolic group. We show that the set of solutions of any system of equations with one variable in $Γ$ is a finite union of points and cosets of centralizers if and only if any two-generator subgroup of $Γ$ is free.
We show that the universal theory of torsion groups is strongly contained in the universal theory of finite groups. This answers a question of Dyson. We also prove that the universal theory of some natural classes of torsion groups is undecidable. Finally we observe that the universal theory of the class of hyperbolic groups is undecidable and use this observation to construct a lacunary hyperbolic group with undecidable universal theory. Surprisingly, torsion groups play an important role in the proof of the latter results.
We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups elementarily embedded in finitely generated free groups are free factors.
We prove that the generic type of a non-cyclic torsion-free hyperbolic group G is foreign to any interpretable abelian group, hence also to any interpretable field. This result depends, among other things, on the definable simplicity of a non-cyclic torsion-free hyperbolic group, and we take the opportunity to give a proof of the latter using Sela's description of imaginaries in torsion-free hyperbolic groups. We also use the description of imaginaries to prove that if F is a free group of rank > 2 then no orbit of a finite tuple from F under Aut(F) is definable.
We give an example of a definable set in every free or torsion-free (non-elementary) hyperbolic group that is not in the Boolean algebra of equational sets. Hence, the theories of free and torsion-free (non-elementary) hyperbolic groups are not equational in the sense of G. Srour.
This paper is devoted to the first-order theory of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key concept is that of a tower (Sela) or NTQ system (Kharlampovich-Myasnikov). We discuss them thoroughly. We state and prove a new general theorem which unifies several results in the literature: elementarily equivalent torsion-free hyperbolic groups have isomorphic cores (Sela); if $H$ is elementarily embedded in a torsion-free hyperbolic group $G$, then $G$ is …
We construct cocompact lattices in a product of trees which are not virtually torsion-free. This gives the first examples of hierarchically hyperbolic groups which are not virtually torsion-free
We use a recent result of Alexander and Nishinaka to show that if $G$ is a non-elementary torsion-free hyperbolic group and $R$ is a countable domain, then the group ring $RG$ is primitive. This implies that the group ring $KG$ of any non-elementary torsion-free hyperbolic group $G$ over a field $K$ is primitive.
In a remarkable series of papers, Zlil Sela classified the first-order theories of free groups and torsion-free hyperbolic groups using geometric structures he called towers. It was later proved by Chloé Perin that if $H$ is an elementarily embedded subgroup (or elementary submodel) of a torsion-free hyperbolic group $G$, then $G$ is a tower over $H$. We prove a generalization of Perin's result to toral relatively hyperbolic groups using JSJ and shortening techniques.
We show that any non abelian free group $\F$ is strongly $\aleph_0$-homogeneous, i.e. that finite tuples of elements which satisfy the same first-order properties are in the same orbit under $\Aut(\F)$. We give a characterization of elements in finitely generated groups which have the same first-order properties as a primitive element of the free group. We deduce as a consequence that most hyperbolic surface groups are not $\aleph_0$-homogeneous.
Let G be a torsion free hyperbolic group. We prove that the elementary theory of G is decidable and admits an effective quantifier elimination to boolean combination of AE-formulas. The existence of such quantifier elimination was previously proved by Sela.
In 2006 Z. Sela and independently O. Kharlampovich and A. Myasnikov gave a solution to the Tarski problems by showing that two non-abelian free groups have the same elementary theory. Subsequently Z. Sela generalized the techniques used in his proof of the Tarski conjecture to classify all finitely generated groups elementary equivalent to a given torsion-free hyperbolic group. One important step in his analysis of the elementary theory of free and torsion-free hyperbolic groups is the Generalized Merzlyakov's Theorem. In our work we show that given a hyperbolic group $Γ$ and $Γ$-limit group $…
We show that, given a finitely generated group $G$ as the coordinate group of a finite system of equations over a torsion-free hyperbolic group $Γ$, there is an algorithm which constructs a cover of a canonical solution diagram. The diagram encodes all homomorphisms from $G$ to $Γ$ as compositions of factorizations through $Γ$-NTQ groups and canonical automorphisms of the corresponding NTQ-subgroups. We also give another characterization of $Γ$-limit groups as iterated generalized doubles over $Γ$.
This paper describes some generalizations of the results presented in the book "Geometry of defining Relations in Groups" , of A.Yu.Ol'shanskii to the case of non-cyclic torsion-free hyperbolic groups. In particular, it is proved that for every non-cyclic torsion-free hyperbolic group, there exists a non-Abelian torsion-free quotient group in which all proper subgroups are cyclic, and the intersection of any two of them is not trivial.
We give an explicit construction of a maximal torsion-free finite-index subgroup of a certain type of Coxeter group. The subgroup is constructed as the fundamental group of a finite and non-positively curved polygonal complex. First we consider the special case where the universal cover of this polygonal complex is a hyperbolic building, and we construct finite-index embeddings of the fundamental group into certain cocompact lattices of the building. We show that in this special case the fundamental group is an amalgam of surface groups over free groups. We then consider the general case, and …
Let $G$ be a group and $g$ a non-trivial element in $G$. If some non-empty finite product of conjugates of $g$ equals to the trivial element, then $g$ is called a generalized torsion element. To the best of our knowledge, we have no hyperbolic $3$--manifold groups with generalized torsion elements whose rank is explicitly known to be greater than two. The aim of this short note is to demonstrate that for a given integer $n > 1$ there are infinitely many closed hyperbolic $3$--manifolds $M_n$ which enjoy the property: (i) the Heegaard genus of $M_n$ is $n$, (ii) the rank of the fundamental grou…
We construct an uncountable sequence of groups acting uniformly properly on hyperbolic spaces. We show that only countably many of these groups can be virtually torsion-free. This gives new examples of groups acting uniformly properly on hyperbolic spaces that are not virtually torsion-free and cannot be subgroups of hyperbolic groups.
In this note we prove the claim given in the title. A group G is noncommutatively slender if each map from the fundamental group of the Hawaiian Earring to G factors through projection to a canonical free subgroup. Graham Higman, in his seminal 1952 paper, proved that free groups are noncommutatively slender. Such groups were first defined by K. Eda. Eda has asked which finitely presented groups are noncommutatively slender. This result demonstrates that random finitely presented groups in the few- relator sense of Gromov are noncommutatively slender.
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…
Let $H$ be a torsion-free $δ$-hyperbolic group with respect to a finite generating set $S$. Let $a_1,..., a_n$ and $a_{1*},..., a_{n*}$ be elements of $H$ such that $a_{i*}$ is conjugate to $a_i$ for each $i=1,..., n$. Then, there is a uniform conjugator if and only if $W(a_{1*},..., a_{n*})$ is conjugate to $W(a_1,..., a_n)$ for every word $W$ in $n$ variables and length up to a computable constant depending only on $δ$, $\sharp{S}$ and $\sum_{i=1}^n |a_i|$. As a corollary, we deduce that there exists a computable constant $\mathcal{C}=\mathcal{C}(δ, \sharp S)$ such that, for any endomorphism…
The following properties are preserved under elementary equivalence, among finitely generated groups: being hyperbolic (possibly with torsion), being hyperbolic and cubulable, and being a subgroup of a hyperbolic group. In other words, if a finitely generated group G has the same first-order theory as a group possessing one of the previous property, then G enjoys this property as well.
We show that a construction by Aanderaa and Cohen used in their proof of the Higman Embedding Theorem preserves torsion length. We give a new construction showing that every finitely presented group is the quotient of some $C'(1/6)$ finitely presented group by the subgroup generated by its torsion elements. We use these results to show there is a finitely presented group with infinite torsion length which is $C'(1/6)$, and thus word-hyperbolic and virtually torsion-free.
We study to what extent torsion-free (Gromov)-hyperbolic groups are elementarily equivalent to their finite index subgroups. In particular, we prove that a hyperbolic limit group either is a free product of cyclic groups and surface groups, or admits infinitely many subgroups of finite index which are pairwise non elementarily equivalent.
We provide a solution to the isomorphism problem for torsion-free relatively hyperbolic groups with abelian parabolics. As special cases we recover solutions to the isomorphism problem for: (i) torsion-free hyperbolic groups (Sela); and (ii) fully residually free groups (Bumagin, Kharlampovich and Miasnikov). We also give a solution to the homeomorphism problem for finite volume hyperbolic n-manifolds, for $n \ge 3$. In the course of the proof of the main result, we prove that a particular JSJ decomposition of a freely indecomposable torsion-free relatively hyperbolic group with abelian parabo…
We construct and classify all groups, given by triangular presentations associated to the smallest thick generalized quadrangle, that act simply transitively on the vertices of hyperbolic triangular buildings of the smallest non-trivial thickness. Our classification shows 23 non-isomorphic torsion free groups (obtained in an earlier work) and 168 non-isomorphic torsion groups acting on one of two possible buildings with the smallest thick generalized quadrangle as the link of each vertex. In analogy with the Euclidean case, we find both torsion and torsion free groups acting on the same buildi…
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.
Sela proved every torsion-free one-ended hyperbolic group is coHopfian. We prove that there exist torsion-free one-ended hyperbolic groups that are not commensurably coHopfian. In particular, we show that the fundamental group of every simple surface amalgam is not commensurably coHopfian.
We prove that existentially closed $CSA$-groups have the independence property. This is done by showing that there exist words having the independence property relatively to the class of torsion-free hyperbolic groups.
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…
In this paper we exhibit Morse geodesics, often called "hyperbolic directions", in infinite unbounded torsion groups. The groups studied are lacunary hyperbolic groups and constructed using graded small cancellation conditions. In all previously known examples, Morse geodesics were found in groups which also contained Morse elements, infinite order elements whose cyclic subgroup gives a Morse quasi-geodesic. Our result presents the first example of a group which contains Morse geodesics but no Morse elements. In fact, we show that there is an isometrically embedded $7$-regular tree inside such…
We construct a 2-generator recursively presented group with infinite torsion length. We also explore the construction in the context of solvable and word-hyperbolic groups.
It is known that a bi-orderable group has no generalized torsion element, but the converse does not hold in general. We conjecture that the converse holds for the fundamental groups of 3-manifolds, and verify the conjecture for non-hyperbolic, geometric 3-manifolds. We also confirm the conjecture for some infinite families of closed hyperbolic 3-manifolds. In the course of the proof, we prove that each standard generator of the Fibonacci group F(2,m) (m>2) is a generalized torsion element.
We prove that the generalised word problem of a finitely generated subgroup of a finitely generated virtually free group is context-free, that a hyperbolic group must be virtually free if it has a torsion-free quasiconvex subgroup of infinite index with context-free generalised word problem, and that, for any hyperbolic group, the generalised word problem of a torsion-free quasiconvex subgroup is recognised by a real-time Turing machine.
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…
This paper aims to give an account of theorem of Louder and Touikan which shows that many hierarchies consisting of slender JSJ-decompositions are finite. In particular JSJ-hierarchies of $2$-torsion-free hyperbolic groups are always finite.
In a group, a non-trivial element is called a generalized torsion element if some non-empty finite product of its conjugates equals to the identity. We say that a knot has generalized torsion if its knot group admits such an element. For a (2, 2q+1)-torus knot K, we demonstrate that there are infinitely many unknots c such that p-twisting K about c yields a twist family, which consists of hyperbolic knots with generalized torsion whenever |p| > 3. This gives a new infinite class of hyperbolic knots having generalized torsion. In particular, each class contains knots with arbitrarily high genus…
In this paper we use JSJ-decompositions to formalise a folk conjecture recorded by Pride on the structure of one-relator groups with torsion. We prove a slightly weaker version of the conjecture, which implies that the structure of one-relator groups with torsion closely resemble the structure of torsion-free hyperbolic groups.
We show that the full set of solutions to systems of equations and inequations in a hyperbolic group, with or without torsion, as shortlex geodesic words, is an EDT0L language whose specification can be computed in $\mathsf{NSPACE}(n^2\log n)$ for the torsion-free case and $\mathsf{NSPACE}(n^4\log n)$ in the torsion case. Our work combines deep geometric results by Rips, Sela, Dahmani and Guirardel on decidability of existential theories of hyperbolic groups, work of computer scientists including Plandowski, Jeż, Diekert and others on $\mathsf{PSPACE}$ algorithms to solve equations in free mon…
We exhibit the first examples of residually finite non-linear Gromov hyperbolic groups. Our examples are constructed as amalgamated products of torsion-free cocompact lattices in the rank 1 Lie group $\mathrm{Sp}(d,1)$, $d\geq 2$ along maximal cyclic subgroups.
We show that if $G$ is a non-elementary torsion-free word hyperbolic group then there exists another word hyperbolic group $G^*$, such that $G$ is a subgroup of $G^*$ but $G$ is not quasiconvex in $G^*$.
We introduce a quantitative characterization of subgroup alternatives modeled on the Tits alternative in terms of group laws and investigate when this property is preserved under extensions. We develop a framework that lets us expand the classes of groups known to have locally uniform exponential growth to include extensions of either word hyperbolic or right-angled Artin groups by groups with locally uniform exponential growth. From this, we deduce that the automorphism group of a torsion-free one-ended hyperbolic group has locally uniform exponential growth. Our methods also demonstrate that…
Let $G$ be a group hyperbolic relative to a finite collection of subgroups $\mathcal P$. Let $\mathcal F$ be the family of subgroups consisting of all the conjugates of subgroups in $\mathcal P$, all their subgroups, and all finite subgroups. Then there is a cocompact model for $E_{\mathcal F} G$. This result was known in the torsion-free case. In the presence of torsion, a new approach was necessary. Our method is to exploit the notion of dismantlability. A number of sample applications are discussed.
In this article we prove that the set of torsion-free groups acting by isometries on a hyperbolic metric space whose entropy is bounded above and with a compact quotient is finite. The number of such groups can be estimated in terms of the hyperbolicity constant and of an upper bound of the entropy of the space and of an upper bound of the diameter of its quotient. As a consequence we show that the set of non cyclic torsion-free $δ$-hyperbolic marked groups whose entropy is bounded above by a number $H$ is finite with cardinality depending on $δ$ and $H$ alone. From these results, we draw homo…
A finitely generated subgroup H of a torsion-free hyperbolic group G is called immutable if there are only finitely many conjugacy classes of injections of H into G. We show that there is no uniform algorithm to recognize immutability, answering a uniform version of a question asked by the authors.
