Related papers: On endomorphisms of torsion-free hyperbolic groups

Let $G$ be a hyperbolic group that splits as a graph of free groups with cyclic edge groups. We prove that, unless $G$ is isomorphic to a free product of free and surface groups, every finite abelian group $M$ appears as a direct summand in…

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…

We show that if $A$ is $\mathcal{Z}$, $\mathcal{O}_2$, $\mathcal{O}_{\infty}$, a UHF algebra of infinite type, or the tensor product of a UHF algebra of infinite type and $\mathcal{O}_{\infty}$, then the conjugation action $\mathrm{Aut}(A)…

We prove that Whitehead's algorithm for solving the automorphism problem in a fixed free group $F_k$ has strongly linear time generic-case complexity. This is done by showing that the ``hard'' part of the algorithm terminates in linear time…

We give necessary and sufficient conditions for a free-by-free group to be relatively hyperbolic with a cusp-preserving structure. Namely, if $\phi_1, \ldots , \phi_k $ is a collection of exponentially growing outer automorphisms with a…

We describe homomorphisms $\varphi:H\rightarrow G$ for which the codomain is acylindrically hyperbolic and the domain is a topological group which is either completely metrizable or locally countably compact Hausdorff. It is shown that, in…

We give a uniform construction that, on input of a recursive presentation $P$ of a group, outputs a recursive presentation of a torsion-free group, isomorphic to $P$ whenever $P$ is itself torsion-free. We use this to re-obtain a known…

We solve Dehn's isomorphism problem for virtually torsion-free relatively hyperbolic groups with nilpotent parabolic subgroups. We do so by reducing the isomorphism problem to three algorithmic problems in the parabolic subgroups, namely…

Every countable group $G$ can be embedded in a finitely generated group $G^*$ that is hopfian and complete, i.e. $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is…

Let $\mathbb{G}$ be the quantum automorphism group of a finite dimensional C*-algebra $(B,\psi)$ and $\Gamma$ a discrete group. We want to compute the fusion rules of $\widehat{\Gamma}\wr_* \mathbb{G}$. First of all, we will revise the…

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…

We provide new examples of $\mathrm{C}^*$-selfless groups and inclusions. In particular, we prove that the commensurator group ${\rm Comm}(H)$ of a torsion-free hyperbolic group $H$ is $\mathrm{C}^*$-selfless. Our approach involves showing…

We prove that even Coxeter groups, whose Coxeter diagrams contain no (4,4,2) triangles, are conjugacy separable. In particular, this applies to all right-angled Coxeter groups or word hyperbolic even Coxeter groups. For an arbitrary Coxeter…

Let $G$ be a toral relatively hyperbolic group, and let $\varphi\in\mathrm{Aut}(G)$. We prove that, under iteration of $\varphi$, the conjugacy length $||\varphi^n(g)||$ of every element $g\in G$ grows like $n^d\lambda^n$ for some…

We prove that every finitely generated group $G$ discriminated by a locally quasi-convex torsion-free hyperbolic group $\Gamma$ is effectively coherent: that is, presentations for finitely generated subgroups can be computed from the…

We prove a generalization of the fellow traveller property for a certain type of quasi-geodesics and use it to present three equivalent geometric formulations of the bounded reduction property and prove that it is equivalent to preservation…

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.

An arbitrary homomorphism between groups is nonincreasing for stable commutator length, and there are infinitely many (injective) homomorphisms between free groups which strictly decrease the stable commutator length of some elements.…

We show that generically a pseudogroup generated by holomorphic diffeomorphisms defined about $0 \in \mathbb{C}$ is free in the sense of pseudogroups even if the class of conjugacy of the generators is fixed. This result has a number of…

Let $M$ be the circle or a compact interval, and let $\alpha=k+\tau\ge1$ be a real number such that $k=\lfloor \alpha\rfloor$. We write $\mathrm{Diff}_+^{\alpha}(M)$ for the group of $C^k$ diffeomorphisms of $M$ whose $k^{th}$ derivatives…