Given a morphism $\varphi \;:\; G \to A \wr B$ from a finitely presented group G to a wreath product $A \wr B$, we show that, if the image of $\varphi$ is a sufficiently large subgroup, then $\mathrm{ker}(\varphi)$ contains a non-abelian free subgroup and $\varphi$ factors through an acylindrically hyperbolic quotient of G. As direct applications, we classify the finitely presented subgroups in $A \wr B$ up to isomorphism and we deduce that a finitely presented group having a wreath product $(\text{non-trivial}) \wr (\text{infinite})$ as a quotient must be SQ-universal (extending theorems of Baumslag and Cornulier–Kar). Finally, we exploit our theorem in order to describe the structure of the automorphism groups of several families of wreath products, highlighting an interesting connection with the Kaplansky conjecture on units in group rings.

We compare the marked length spectra of some pairs of proper and cocompact cubical actions of a nonvirtually cyclic group on $\mathrm {CAT}(0)$ cube complexes. The cubulations are required to be virtually co-special, have the same sets of convex-cocompact subgroups, and admit a contracting element. There are many groups for which these conditions are always fulfilled for any pair of cubulations, including nonelementary cubulable hyperbolic groups, many cubulable relatively hyperbolic groups, and many right-angled Artin and Coxeter groups.

For these pairs of cubulations, we study the Manhattan curve associated to their combinatorial metrics. We prove that this curve is analytic and convex, and a straight line if and only if the marked length spectra are homothetic. The same result holds if we consider invariant combinatorial metrics in which the lengths of the edges are not necessarily one. In addition, for their standard combinatorial metrics, we prove a large deviations theorem with shrinking intervals for their marked length spectra. We deduce the same result for pairs of word metrics on hyperbolic groups.

The main tool is the construction of a finite-state automaton that simultaneously encodes the marked length spectra of both cubulations in a coherent way, in analogy with results about (bi)combable functions on hyperbolic groups by Calegari-Fujiwara [14]. The existence of this automaton allows us to apply the machinery of thermodynamic formalism for suspension flows over subshifts of finite type, from which we deduce our results.

We study random walks on metric spaces with contracting isometries. In this first article of the series, we establish sharp deviation inequalities by adapting Gouëzel’s pivotal time construction. As an application, we establish the exponential bounds for deviation from below, central limit theorem, law of the iterated logarithms, and the geodesic tracking of random walks on mapping class groups and CAT(0) spaces.

We present a solution to the conjugacy problem in the group of outer automorphisms of $F_3$, a free group of rank 3. We distinguish according to several computable invariants, such as irreducibility, subgroups of polynomial growth and subgroups carrying the attracting lamination. We establish, by considerations on train tracks, that the conjugacy problem is decidable for the outer automorphisms of $F_3$ that preserve a given rank 2 free factor. Then we establish, by consideration on mapping tori, that it is decidable for outer automorphisms of $F_3$ whose maximal polynomial growth subgroups are cyclic. This covers all the cases left by the state of the art.

Stochastic embeddings of finite metric spaces into graph-theoretic trees have proven to be a vital tool for constructing approximation algorithms in theoretical computer science. In the present work, we build out some of the basic theory of stochastic embeddings in the infinite setting with an aim toward applications to Lipschitz free space theory. We prove that proper metric spaces stochastically embedding into $\mathbb {R}$-trees have Lipschitz free spaces isomorphic to $L^1$-spaces. We then undergo a systematic study of stochastic embeddability of Gromov hyperbolic metric spaces into $\mathbb {R}$-trees by way of stochastic embeddability of their boundaries into ultrametric spaces. The following are obtained as our main results: (1) every snowflake of a compact, finite Nagata-dimensional metric space stochastically embeds into an ultrametric space and has Lipschitz free space isomorphic to $\ell ^1$, (2) the Lipschitz free space over hyperbolic n-space is isomorphic to the Lipschitz free space over Euclidean n-space and (3) every infinite, finitely generated hyperbolic group stochastically embeds into an $\mathbb {R}$-tree, has Lipschitz free space isomorphic to $\ell ^1$, and admits a proper, uniformly Lipschitz affine action on $\ell ^1$.

We prove that virtually free groups are precisely the hyperbolic groups admitting a language of geodesic words containing a unique representative for each group element with bounded triangles. Equivalently, these are exactly the hyperbolic groups for which the model for the Gromov boundary defined by Silva is well defined.

Let $\Gamma $ be a finitely generated group of matrices over $\mathbb {C}$. We construct an isometric action of $\Gamma $ on a complete $\mathrm {CAT}(0)$ space such that the restriction of this action to any subgroup of $\Gamma $ containing no nontrivial unipotent elements is well behaved. As an application, we show that if M is a graph manifold that does not admit a nonpositively curved Riemannian metric, then any finite-dimensional $\mathbb {C}$-linear representation of $\pi _1(M)$ maps a nontrivial element of $\pi _1(M)$ to a unipotent matrix. In particular, the fundamental groups of such 3-manifolds do not admit any faithful finite-dimensional unitary representations.

We construct the first examples of infinite sharply 2-transitive groups which are finitely generated. Moreover, we construct such a group that has Kazhdan property (T), is simple, has exactly four conjugacy classes and we show that this number is as small as possible.

We introduce two families of two-generator one-relator groups called primitive extension groups and show that a one-relator group is hyperbolic if its primitive extension subgroups are hyperbolic. This reduces the problem of characterizing hyperbolic one-relator groups to characterizing hyperbolic primitive extension groups. These new groups, moreover, admit explicit decompositions as graphs of free groups with adjoined roots. In order to obtain this result, we characterize $2$-free one-relator groups with exceptional intersection in terms of Christoffel words, show that hyperbolic one-relator groups have quasi-convex Magnus subgroup, and build upon the one-relator tower machinery developed in previous work of the author.

For odd n we construct a path $\rho\;:\;\thinspace \Pi_1(S) \to SL(n\mathbb{R})$ of discrete, faithful, and Zariski dense representations of a surface group such that $\rho_t(\Pi_1(S)) \subset SL(n,\mathbb{Q})$ for every $t\in \mathbb{Q}$.

In this note, we present examples of non-quasi-geodesic metric spaces which are hyperbolic (i.e., satisfying Gromov’s $4$-point condition) while the intersection of any two metric balls therein does not either ‘look like’ a ball or has uniformly bounded eccentricity. This answers an open question posed by Chatterji and Niblo.

Every countable group G can be embedded in a finitely generated group $G^*$ that is hopfian and complete, that is, $G^*$ has trivial centre and every epimorphism $G^*\to G^*$ is an inner automorphism. Every finite subgroup of $G^*$ is conjugate to a finite subgroup of G. If G has a finite presentation (respectively, a finite classifying space), then so does $G^*$. Our construction of $G^*$ relies on the existence of closed hyperbolic 3-manifolds that are asymmetric and non-Haken.

Given a group $G$ and an integer $n\geq 0$, we consider the family ${\mathcal F}_n$ of all virtually abelian subgroups of $G$ of $\textrm{rank}$ at most $n$. In this article, we prove that for each $n\ge 2$ the Bredon cohomology, with respect to the family ${\mathcal F}_n$, of a free abelian group with $\textrm{rank}$ $k \gt n$ is nontrivial in dimension $k+n$; this answers a question of Corob Cook et al. (Homology Homotopy Appl. 19(2) (2017), 83–87, Question 2.7). As an application, we compute the minimal dimension of a classifying space for the family ${\mathcal F}_n$ for braid groups, right-angled Artin groups, and graphs of groups whose vertex groups are infinite finitely generated virtually abelian groups, for all $n\ge 2$. The main tools that we use are the Mayer–Vietoris sequence for Bredon cohomology, Bass–Serre theory, and the Lück–Weiermann construction.

We investigate the translation lengths of group elements that arise in random walks on the isometry groups of Gromov hyperbolic spaces. In particular, without any moment condition, we prove that non-elementary random walks exhibit at least linear growth of translation lengths. As a corollary, almost every random walk on mapping class groups eventually becomes pseudo-Anosov, and almost every random walk on $\mathrm {Out}(F_n)$ eventually becomes fully irreducible. If the underlying measure further has finite first moment, then the growth rate of translation lengths is equal to the drift, the escape rate of the random walk.

We then apply our technique to investigate the random walks induced by the action of mapping class groups on Teichmüller spaces. In particular, we prove the spectral theorem under finite first moment condition, generalizing a result of Dahmani and Horbez.

A hyperbolic group G acts by homeomorphisms on its Gromov boundary. We show that if $\partial G$ is a topological n–sphere, the action is topologically stable in the dynamical sense: any nearby action is semi-conjugate to the standard boundary action.

We study the Eisenstein series associated to the full rank cusps in a complete hyperbolic manifold. We show that given a Kleinian group $\Gamma <{\operatorname{\mathrm{Isom}}}^+(\mathbb H^{n+1})$, each full rank cusp corresponds to a cohomology class in $H^{n}(\Gamma , V)$, where V is either the trivial coefficient or the adjoint representation. Moreover, by computing the intertwining operator, we show that different cusps give rise to linearly independent classes.

Consider the following classes of pairs consisting of a group and a finite collection of subgroups:

• • $ \mathcal{C}= \left \{ (G,\mathcal{H}) \mid \text{$\mathcal{H}$ is hyperbolically embedded in $G$} \right \}$

• • $ \mathcal{D}= \left \{ (G,\mathcal{H}) \mid \text{the relative Dehn function of $(G,\mathcal{H})$ is well-defined} \right \} .$

Let $G$ be a group that splits as a finite graph of groups such that each vertex group $G_v$ is assigned a finite collection of subgroups $\mathcal{H}_v$, and each edge group $G_e$ is conjugate to a subgroup of some $H\in \mathcal{H}_v$ if $e$ is adjacent to $v$. Then there is a finite collection of subgroups $\mathcal{H}$ of $G$ such that

1. 1. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal C$, then $(G,\mathcal{H})$ is in $\mathcal C$.

2. 2. If each $(G_v, \mathcal{H}_v)$ is in $\mathcal D$, then $(G,\mathcal{H})$ is in $\mathcal D$.

3. 3. For any vertex $v$ and for any $g\in G_v$, the element $g$ is conjugate to an element in some $Q\in \mathcal{H}_v$ if and only if $g$ is conjugate to an element in some $H\in \mathcal{H}$.

That edge groups are not assumed to be finitely generated and that they do not necessarily belong to a peripheral collection of subgroups of an adjacent vertex are the main differences between this work and previous results in the literature. The method of proof provides lower and upper bounds of the relative Dehn functions in terms of the relative Dehn functions of the vertex groups. These bounds generalize and improve analogous results in the literature.

We show that a group that is hyperbolic relative to strongly shortcut groups is itself strongly shortcut, thus obtaining new examples of strongly shortcut groups. The proof relies on a result of independent interest: we show that every relatively hyperbolic group acts properly and cocompactly on a graph in which the parabolic subgroups act properly and cocompactly on convex subgraphs.

This article studies the properties of word-hyperbolic semigroups and monoids, that is, those having context-free multiplication tables with respect to a regular combing, as defined by Duncan and Gilman [‘Word hyperbolic semigroups’, Math. Proc. Cambridge Philos. Soc. 136(3) (2004), 513–524]. In particular, the preservation of word-hyperbolicity under taking free products is considered. Under mild conditions on the semigroups involved, satisfied, for example, by monoids or regular semigroups, we prove that the semigroup free product of two word-hyperbolic semigroups is again word-hyperbolic. Analogously, with a mild condition on the uniqueness of representation for the identity element, satisfied, for example, by groups, we prove that the monoid free product of two word-hyperbolic monoids is word-hyperbolic. The methods are language-theoretically general, and apply equally well to semigroups, monoids or groups with a $\mathbf {C}$-multiplication table, where $\mathbf {C}$ is any reversal-closed super-$\operatorname {\mathrm {AFL}}$. In particular, we deduce that the free product of two groups with $\mathbf {ET0L}$ with respect to indexed multiplication tables again has an $\mathbf {ET0L}$ with respect to an indexed multiplication table.