Related papers: Immutability is not uniformly decidable in hyperbo…

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…

We consider the class $\mathcal{R}$ of finitely generated toral relatively hyperbolic groups. We show that groups from $\mathcal{R}$ are commutative transitive and generalize a theorem proved by Benjamin Baumslag to this class. We also…

Let $G$ be a group and $H$ a subgroup of $G$. This note introduces an equivalent definition of hyperbolic embedded subgroup based on Bowditch's approach to relatively hyperbolic groups in terms of fine graphs.

We construct and study finitely presented groups with quadratic Dehn function (QD-groups) and present the following applications of the method developed in our recent papers. (1) The isomorphism problem is undecidable in the class of…

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…

A subset $S$ of a group $G$ invariably generates $G$ if $G= \langle s^{g(s)} | s \in S\rangle$ for every choice of $g(s) \in G,s \in S$. We say that a group $G$ is invariably generated if such $S$ exists, or equivalently if $S=G$ invariably…

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…

Suppose $H$ is a hyperbolic subgroup of a hyperbolic group $G$. Assume there exists $n > 0$ such that the intersection of $n$ essentially distinct conjugates of $H$ is always finite. Further assume $G$ splits over $H$ with hyperbolic vertex…

We generalize some results of Paulin and Rips-Sela on endomorphisms of hyperbolic groups to relatively hyperbolic groups, and in particular prove the following. (1) If G is a finitely generated non-elementary relatively hyperbolic group…

We construct finitely generated torsion-free solvable groups $G$ that have infinite rank, but such that all finitely generated torsion-free metabelian subquotients of $G$ are virtually abelian. In particular all finitely generated…

Suppose G is a hyperbolic group whose boundary has topological dimension k. If the boundary is quasisymmetrically homeomorphic to an Ahlfors k-regular metric space, then, modulo a finite normal subgroup, G is isomorphic to a uniform lattice…

A group $G$ is invariably generated if there exists a subset $S \subseteq G$ such that, for every choice $g_s \in G$ for $s \in S$, the group $G$ is generated by $\{ s^{g_s} \mid s \in S \}$. In [GGJ16] Gelander, Golan and Juschenko showed…

We show that conjugacy of reversible cellular automata is undecidable, whether the conjugacy is to be performed by another reversible cellular automaton or by a general homeomorphism. This gives rise to a new family of finitely-generated…

Let K be a fine hyperbolic graph and G be a group acting on K with finite quotient. We prove that G is exact provided that all vertex stabilizers are exact. In particular, a relatively hyperbolic group is exact if all its peripheral groups…

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,…

We investigate which free constructions (amalgamated products and HNN-extensions) over word hyperbolic groups produce groups that are again word hyperbolic. A complete answer is obtained for the case when the amalgamated subgroups are…

Let $G$ be a real semisimple Lie group with trivial centre and no compact factors. Given a conjugate pair of either real hyperbolic elements or unipotent elements $a$ and $b$ in $G$ we find a conjugating element $g \in G$ such that…

A natural question for groups $H$ is which data can be detected in its finite quotients. A subset $X \subset H$ is called separable if for all $h\in H \setminus X$, there exists an epimorphism $\varphi$ to a finite group $Q$ such that…

Let $(M,\Omega)$ be a connected symplectic 4-manifold and let $F=(J,H) : M \to \mathbb{R}^2$ be a completely integrable system on $M$ with only non-degenerate singularities and for which $J : M \to \mathbb{R}$ is a proper map. Assume that…

The first part of the paper centers in the study of embeddability between partially commutative groups. In [KK], for a finite simplicial graph $\Gamma$, the authors introduce an infinite, locally infinite graph $\Gamma^e$, called the…