Related papers: One-relator hierarchies
The 1973 Boone-Higman conjecture predicts that every finitely generated group with solvable word problem embeds in a finitely presented simple group. In this paper, we show that hyperbolic groups satisfy this conjecture, that is, each…
Let $1\to (K,K_1)\to (G,N_G(K_1))\to(Q,Q_1)\to 1$ be a short exact sequence of pairs of finitely generated groups with $K$ strongly hyperbolic relative to proper subgroup $K_1$. Assuming that for all $g\in G$ there exists $k\in K$ such that…
We show that if a group is not virtually cyclic and is hyperbolic relative to a family of proper subgroups, then it has a hyperbolically embedded subgroup which contains a finitely generated non-abelian free group as a finite index…
We describe solutions of the equation $x^ny^m=a^nb^m$ in acylindrically hyperbolic groups (AH-groups), where $a,b$ are non-commensurable special loxodromic elements and $n,m$ are integers with sufficiently large common divisor. Using this…
We prove that, for a finitely generated group hyperbolic relative to virtually abelian subgroups, the generalised word problem for a parabolic subgroup is the language of a real-time Turing machine. Then, for a hyperbolic group, we show…
We study relations between maps between relatively hyperbolic groups/spaces and quasisymmetric embeddings between their boundaries. More specifically, we establish a correspondence between (not necessarily coarsely surjective)…
We study spaces obtained from a complete finite volume complex hyperbolic n-manifold M by removing a compact totally geodesic complex (n-1)-submanifold. The main result is that the fundamental group of M-S is relatively hyperbolic, relative…
In this paper we analyze the structure of some sets of non-commutative moments of elements in a finite von Neumann algebra M. If the fundamental group of M is R_+\{0}, then the moment sets are convex, and if M is isomorphic to M tensor M,…
We study a notion of convex cocompactness for discrete subgroups of the projective general linear group acting (not necessarily irreducibly) on real projective space, and give various characterizations. A convex cocompact group in this…
We explicate a number of notions of algebraic laminations existing in the literature, particularly in the context of an exact sequence $$1\to H\to G \to Q \to 1 $$ of hyperbolic groups. These laminations arise in different contexts:…
We investigate unbounded domains in hierarchically hyperbolic groups and obtain constraints on the possible hierarchical structures. Using these insights, we characterise the structures of virtually abelian HHGs and show that the class of…
We prove that one-relator groups with torsion are hereditarily conjugacy separable. Our argument is based on a combination of recent results of Dani Wise and the first author. As a corollary we obtain that any quasiconvex subgroup of a…
We begin the investigation of Gamma-limit groups, where Gamma is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of Drutu and Sapir, we adapt the results from math.GR/0404440 to…
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…
A group $\Gamma$ with a family of subgroups $\mathbb{P}$ is relatively hyperbolic if $\Gamma$ admits a cusp-uniform action on a proper $\delta$--hyperbolic space. We show that any two such spaces for a given group pair are quasi-isometric,…
We prove that ascending HNN extensions of free groups are word-hyperbolic if and only if they have no Baumslag-Solitar subgroups. This extends the theorem of Brinkmann that free-by-cyclic groups are word-hyperbolic if and only if they have…
We give an affirmative answer to the question whether there exist Lie algebras for suitable closed subgroups of the unitary group $U(\mathcal{H})$ in a Hilbert space $\mathcal{H}$ with $U(\mathcal{H})$ equipped with the strong operator…
A hierarchy of a group is a rooted tree of groups obtained by iteratively passing to vertex groups of graphs of groups decompositions. We define a (relative) slender JSJ hierarchy for (almost) finitely presented groups and show that it is…
Let G be a group which is hyperbolic relative to a collection of subgroups A, and it is also hyperbolic relative to a collection of subgroups B. Suppose that the collection A contains B. We characterize, for subgroups of G, when…
A classification of partially hyperbolic diffeomorphisms on 3-dimensional manifolds with (virtually) solvable fundamental group is obtained. If such a diffeomorphism does not admit a periodic attracting or repelling two-dimensional torus,…