scholarly journals Towers and elementary embeddings in toral relatively hyperbolic groups

2021 ◽  
pp. 1-27
Author(s):  
Christopher Perez
Keyword(s):  
Free Groups ◽  
Hyperbolic Group ◽  
Hyperbolic Groups ◽  
Geometric Structures ◽  
Relatively Hyperbolic Groups ◽  
First Order ◽  
Elementary Embeddings ◽  
Elementary Submodel ◽  
Relatively Hyperbolic ◽  
Torsion Free

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 [Formula: see text] is an elementarily embedded subgroup (or elementary submodel) of a torsion-free hyperbolic group [Formula: see text], then [Formula: see text] is a tower over [Formula: see text]. We prove a generalization of Perin’s result to toral relatively hyperbolic groups using JSJ and shortening techniques.

scholarly journals ENDOMORPHISMS OF RELATIVELY HYPERBOLIC GROUPS

2008 ◽  
Vol 18 (01) ◽  
pp. 97-110 ◽  
Author(s):  
IGOR BELEGRADEK ◽  
ANDRZEJ SZCZEPAŃSKI
Keyword(s):  
Hyperbolic Group ◽  
Hyperbolic Groups ◽  
Parabolic Subgroups ◽  
Relatively Hyperbolic Groups ◽  
Property T ◽  
Relatively Hyperbolic Group ◽  
Finite Index Subgroup ◽  
Relatively Hyperbolic ◽  
Finitely Presented ◽  
Slender Group

We generalize some results of Paulin and Rips-Sela on endomorphisms of hyperbolic groups to relatively hyperbolic groups, and in particular prove the following. • If G is a nonelementary relatively hyperbolic group with slender parabolic subgroups, and either G is not co-Hopfian or Out (G) is infinite, then G splits over a slender group. • If H is a nonparabolic subgroup of a relatively hyperbolic group, and if any isometric H-action on an ℝ-tree is trivial, then H is Hopfian. • If G is a nonelementary relatively hyperbolic group whose peripheral subgroups are finitely generated, then G has a nonelementary relatively hyperbolic quotient that is Hopfian. • Any finitely presented group is isomorphic to a finite index subgroup of Out (H) for some group H with Kazhdan property (T). (This sharpens a result of Ollivier–Wise).

scholarly journals QUASI-ISOMETRIES, BOUNDARIES AND JSJ-DECOMPOSITIONS OF RELATIVELY HYPERBOLIC GROUPS

2013 ◽  
Vol 05 (04) ◽  
pp. 451-475 ◽  
Author(s):  
BRADLEY W. GROFF
Keyword(s):  
Hyperbolic Groups ◽  
Isometry Groups ◽  
Geometric Structures ◽  
Relatively Hyperbolic Groups ◽  
Jsj Decomposition ◽  
Outer Automorphisms ◽  
Jsj Decompositions ◽  
Relatively Hyperbolic

We demonstrate the quasi-isometry invariance of two important geometric structures for relatively hyperbolic groups: the coned space and the cusped space. As applications, we produce a JSJ-decomposition for relatively hyperbolic groups which is invariant under quasi-isometries and outer automorphisms, as well as a related splitting of the quasi-isometry groups of relatively hyperbolic groups.

scholarly journals Time complexity of the conjugacy problem in relatively hyperbolic groups

2015 ◽  
Vol 25 (05) ◽  
pp. 689-723 ◽  
Author(s):  
Inna Bumagin
Keyword(s):  
Polynomial Time ◽  
Positive Curvature ◽  
Nauk Sssr ◽  
Hyperbolic Group ◽  
Conjugacy Problem ◽  
Hyperbolic Groups ◽  
Search Problem ◽  
Relatively Hyperbolic Groups ◽  
Relatively Hyperbolic Group ◽  
Relatively Hyperbolic

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 in [Some algorithmic properties of hyperbolic groups, Izv. Akad. Nauk SSSR Ser. Mat. 53(4) (1989) 814–832, 912]. Bridson and Haefliger showed in [Metrics Spaces of Non-Positive Curvature (Springer-Verlag, Berlin, 1999)] 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 polynomial time in each parabolic subgroup. We also prove that if u and v are two conjugate hyperbolic elements of a relatively hyperbolic group then the length of a shortest conjugating element for u and v is linear in terms of their lengths.

scholarly journals THE COARSE BAUM–CONNES CONJECTURE FOR RELATIVELY HYPERBOLIC GROUPS

2012 ◽  
Vol 04 (01) ◽  
pp. 99-113 ◽  
Author(s):  
TOMOHIRO FUKAYA ◽  
SHIN-ICHI OGUNI
Keyword(s):  
Finite Family ◽  
Hyperbolic Groups ◽  
Relatively Hyperbolic Groups ◽  
Proper Actions ◽  
Novikov Conjecture ◽  
Universal Space ◽  
The Family ◽  
Relatively Hyperbolic ◽  
Torsion Free

We study a group which is hyperbolic relative to a finite family of infinite subgroups. We show that the group satisfies the coarse Baum–Connes conjecture if each subgroup belonging to the family satisfies the coarse Baum–Connes conjecture and admits a finite universal space for proper actions. If the group is torsion-free, then it satisfies the analytic Novikov conjecture.

scholarly journals SLP compression for solutions of equations with constraints in free and hyperbolic groups

2015 ◽  
Vol 25 (01n02) ◽  
pp. 81-111
Author(s):  
Volker Diekert ◽  
Olga Kharlampovich ◽  
Atefeh Mohajeri Moghaddam
Keyword(s):  
Free Groups ◽  
Hyperbolic Group ◽  
Hyperbolic Groups ◽  
Boolean Formula ◽  
System Of Equations ◽  
Exponential Bound ◽  
Word Equation ◽  
Relatively Hyperbolic Group ◽  
Solutions Of Equations ◽  
Relatively Hyperbolic

The paper is a part of an ongoing program which aims to show that the problem of satisfiability of a system of equations in a free group (hyperbolic or even toral relatively hyperbolic group) is NP-complete. For that, we study compression of solutions with straight-line programs (SLPs) as suggested originally by Plandowski and Rytter in the context of a single word equation. We review some basic results on SLPs and give full proofs in order to keep this fundamental part of the program self-contained. Next we study systems of equations with constraints in free groups and more generally in free products of abelian groups. We show how to compress minimal solutions with extended Parikh-constraints. This type of constraints allows to express semi-linear conditions as e.g. alphabetic information. The result relies on some combinatorial analysis and has not been shown elsewhere. We show similar compression results for Boolean formula of equations over a torsion-free δ-hyperbolic group. The situation is much more delicate than in free groups. As byproduct we improve the estimation of the "capacity" constant used by Rips and Sela in their paper "Canonical representatives and equations in hyperbolic groups" from a double-exponential bound in δ to some single-exponential bound. The final section shows compression results for toral relatively hyperbolic groups using the work of Dahmani: We show that given a system of equations over a fixed toral relatively hyperbolic group, for every solution of length N there is an SLP for another solution such that the size of the SLP is bounded by some polynomial p(s + log N) where s is the size of the system.

scholarly journals On Cannon–Thurston maps for relatively hyperbolic groups

2014 ◽  
Vol 17 (1) ◽  
Author(s):  
Yoshifumi Matsuda ◽  
Shin-ichi Oguni
Keyword(s):  
Free Group ◽  
Hyperbolic Group ◽  
Hyperbolic Groups ◽  
Relatively Hyperbolic Groups ◽  
Thurston Map ◽  
Relatively Hyperbolic Group ◽  
Relatively Hyperbolic

Abstract.Baker and Riley gave an inclusion of a free group of rank 3 in a hyperbolic group for which the Cannon–Thurston map is not well-defined. By using their result, we show that every non-elementary hyperbolic group can be included in some hyperbolic group in such a way that the Cannon–Thurston map is not well-defined. In fact we generalize their result to every non-elementary relatively hyperbolic group.

scholarly journals Asymptotically isometric metrics on relatively hyperbolic groups and marked length spectrum

2015 ◽  
Vol 07 (02) ◽  
pp. 345-359 ◽  
Author(s):  
Koji Fujiwara
Keyword(s):  
Hyperbolic Group ◽  
Length Spectrum ◽  
Hyperbolic Groups ◽  
Fundamental Groups ◽  
Relatively Hyperbolic Groups ◽  
Universal Covers ◽  
Relatively Hyperbolic Group ◽  
Marked Length Spectrum ◽  
Isospectral Problem ◽  
Relatively Hyperbolic

We prove asymptotically isometric, coarsely geodesic metrics on a toral relatively hyperbolic group are coarsely equal. The theorem applies to all lattices in SO (n, 1). This partly verifies a conjecture by Margulis. In the case of hyperbolic groups/spaces, our result generalizes a theorem by Furman and a theorem by Krat. We discuss an application to the isospectral problem for the length spectrum of Riemannian manifolds. The positive answer to this problem has been known for several cases. Most of them have hyperbolic fundamental groups. We do not solve the isospectral problem in the original sense, but prove the universal covers are (1, C)-quasi-isometric if the fundamental group is a toral relatively hyperbolic group.

Equations in Algebras

2018 ◽  
Vol 28 (08) ◽  
pp. 1517-1533 ◽  
Author(s):  
Olga Kharlampovich ◽  
Alexei Myasnikov
Keyword(s):  
Hyperbolic Groups ◽  
Fundamental Groups ◽  
Associative Algebras ◽  
Relatively Hyperbolic Groups ◽  
Transitive Groups ◽  
Right Angled Artin Groups ◽  
Graph Groups ◽  
Commutative Transitive ◽  
Relatively Hyperbolic ◽  
Torsion Free

We show that the Diophantine problem (decidability of equations) is undecidable in free associative algebras over any field and in the group algebras over any field of a wide variety of torsion free groups, including toral relatively hyperbolic groups, right-angled Artin groups, commutative transitive groups, the fundamental groups of various graph groups, etc.

scholarly journals RELATIVELY HYPERBOLIC GROUPS

2012 ◽  
Vol 22 (03) ◽  
pp. 1250016 ◽  
Author(s):  
B. H. BOWDITCH
Keyword(s):  
Hyperbolic Space ◽  
Limit Point ◽  
Hyperbolic Group ◽  
Hyperbolic Groups ◽  
Relatively Hyperbolic Groups ◽  
Geometrically Finite ◽  
Hyperbolic Graph ◽  
Finite Action ◽  
Relatively Hyperbolic Group ◽  
Relatively Hyperbolic

In this paper we develop some of the foundations of the theory of relatively hyperbolic groups as originally formulated by Gromov. We prove the equivalence of two definitions of this notion. One is essentially that of a group admitting a properly discontinuous geometrically finite action on a proper hyperbolic space, that is, such that every limit point is either a conical limit point or a bounded parabolic point. The other is that of a group which admits a cofinite action on a connected fine hyperbolic graph. We define a graph to be "fine" if there are only finitely many circuits a given length containing any given edge, and we develop some of the properties of this notion. We show how a relatively hyperbolic group can be assumed to act on a proper hyperbolic space of a particular geometric form. We define the boundary of a relatively hyperbolic group, and show that the limit set of any geometrically finite action of the group is equivariantly homeomorphic to this boundary. This generalizes a result of Tukia for geometrically finite kleinian groups. We also describe when the boundary is connected.

scholarly journals A WHITEHEAD ALGORITHM FOR TORAL RELATIVELY HYPERBOLIC GROUPS

2012 ◽  
Vol 22 (08) ◽  
pp. 1240004
Author(s):  
OLGA KHARLAMPOVICH ◽  
ENRIC VENTURA
Keyword(s):  
Hyperbolic Groups ◽  
Parabolic Subgroups ◽  
Relatively Hyperbolic Groups ◽  
Relatively Hyperbolic ◽  
Torsion Free

The Whitehead problem is solved in the class of toral relatively hyperbolic groups G (i.e. torsion-free relatively hyperbolic groups with abelian parabolic subgroups): there is an algorithm which, given two finite tuples (u1,…,un) and (v1,…,vn) of elements of G, decides whether there is an automorphism of G taking ui to vi for all i.

Sign in / Sign up

Export Citation Format

Share Document