Related papers: Elementary equivalence vs commensurability for hyp…

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…

We study soluble groups G in which each subnormal subgroup H with infinite rank is commensurable with a normal subgroup, i.e. there exists a normal subgroup N such that the intersection of H and N has finite index in both H and N. We show…

We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$.…

We prove that two co-Hopfian finitely generated virtually free groups are elementarily equivalent if and only if they are isomorphic. We also prove that co-Hopfian finitely generated virtually free groups are homogeneous in the sense of…

We study the subgroup structure of discrete groups which share cohomological properties which resemble non-negative curvature. Examples include all Gromov hyperbolic groups. We provide strong restrictions on the possible s-normal subgroups…

We exhibit examples of finitely presented subgroups $P$ of direct products of hyperbolic groups for which there is no algorithm that detects whether a finitely presented group has a quotient isomorphic to $P$. For any torsion-free, linear,…

Let $G$ be a hyperbolic group that splits as a graph of free groups with cyclic edge groups, and which is not isomorphic to a free product of free and surface groups. We show that $G$ admits an exhausting, nested sequence of finite-index…

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…

Let $\Gamma$ be a torsion-free hyperbolic group. We study $\Gamma$--limit groups which, unlike the fundamental case in which $\Gamma$ is free, may not be finitely presentable or geometrically tractable. We define model $\Gamma$--limit…

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 subgroup of a group $G$ is called algebraic if it can be expressed as a finite union of solution sets to systems of equations. We prove that a non-elementary subgroup $H$ of an acylindrically hyperbolic group $G$ is algebraic if and only…

We classify the boundaries of hyperbolic groups that have enough quasiconvex codimension-1 surface subgroups with trivial or cyclic intersections.

Suppose $G$ is a finitely presented group that is hyperbolic relative to ${\bf P}$ a finite collection of 1-ended finitely generated proper subgroups of $G$. If $G$ and the ${\bf P}$ are 1-ended and the boundary $\partial (G,{\bf P})$ has…

Given a finitely generated subgroup $\Gamma \le \mathrm{Out}(\mathbb{F})$ of the outer automorphism group of the rank $r$ free group $\mathbb{F} = F_r$, there is a corresponding free group extension $1 \to \mathbb{F} \to E_{\Gamma} \to…

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…

Let G be a finitely generated relatively hyperbolic group. We show that if no peripheral subgroup of G is hyperbolic relative to a collection of proper subgroups, then the fixed subgroup of every automorphism of G is relatively quasiconvex.…

We show that recent work of Song implies that torsion-free hyperbolic groups with Gromov boundary $S^2$ are realized as fundamental groups of closed 3-manifolds of constant negative curvature if and only if the solution to an associated…

We prove that the Gromov boundary of every hyperbolic group is homeomorphic to some Markov compactum. Our reasoning is based on constructing a sequence of covers of $\partial G$, which is quasi-$G$-invariant wrt. the ball $N$-type (defined…

A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…

We classify the groups quasi-isometric to a group generated by finite-order elements within the class of one-ended hyperbolic groups which are not Fuchsian and whose JSJ decomposition over two-ended subgroups does not contain rigid vertex…