Let $G = K \rtimes \langle t \rangle $ be a finitely generated group where K is abelian and $\langle t\rangle$ is the infinite cyclic group. Let R be a finite symmetric subset of K such that $S = \{ (r,1),(0,t^{\pm 1}) \mid r \in R \}$ is a generating set of G. We prove that the spherical conjugacy ratio, and hence the conjugacy ratio, of G with respect to S is 0 unless G is virtually abelian, confirming a conjecture of Ciobanu, Cox and Martino in this case. We also show that the Baumslag–Solitar group $\mathrm{BS}(1,k)$, $k\geq 2$, has a one-sided Følner sequence F such that the conjugacy ratio with respect to F is non-zero, even though $\mathrm{BS}(1,k)$ is not virtually abelian. This is in contrast to two-sided Følner sequences, where Tointon showed that the conjugacy ratio with respect to a two-sided Følner sequence is positive if and only if the group is virtually abelian.

We prove that Thompson’s group T and, more generally, all the Higman–Thompson groups $T_n$ have quadratic Dehn function.

In this paper, we study random walks on groups that contain superlinear-divergent geodesics, in the line of thoughts of Goldsborough and Sisto. The existence of a superlinear-divergent geodesic is a quasi-isometry invariant which allows us to execute Gouëzel’s pivoting technique. We develop the theory of superlinear divergence and establish a central limit theorem for random walks on these groups.

We study the vectorial length compactification of the space of conjugacy classes of maximal representations of the fundamental group $\Gamma$ of a closed hyperbolic surface $\Sigma$ in $\textrm{PSL}(2,{\mathbb{R}})^n$. We identify the boundary with the sphere ${\mathbb{P}}(({\mathcal{ML}})^n)$, where $\mathcal{ML}$ is the space of measured geodesic laminations on $\Sigma$. In the case $n=2$, we give a geometric interpretation of the boundary as the space of homothety classes of ${\mathbb{R}}^2$-mixed structures on $\Sigma$. We associate to such a structure a dual tree-graded space endowed with an ${\mathbb{R}}_+^2$-valued metric, which we show to be universal with respect to actions on products of two $\mathbb{R}$-trees with the given length spectrum.

Let $W_{\Gamma} $ be the right-angled Coxeter group with defining graph $\Gamma $. We show that the asymptotic dimension of $W_{\Gamma} $ is smaller than or equal to $\mathrm{dim}_{CC}(\Gamma )$, the clique-connected dimension of the graph. We generalize this result to graph products of finite groups.

We construct finitely generated groups of small period growth, i.e. groups where the maximum order of an element of word length n grows very slowly in n. This answers a question of Bradford related to the lawlessness growth of groups and is connected to an approximative version of the restricted Burnside problem.

We prove that any element in a sufficiently large transitive finite simple permutation group is a product of two derangements.

We investigate quantitative aspects of the locally embeddable into finite groups (LEF) property for subgroups of the topological full group of a two-sided minimal subshift over a finite alphabet, measured via the LEF growth function. We show that the LEF growth of may be bounded from above and below in terms of the recurrence function and the complexity function of the subshift, respectively. As an application, we construct groups of previously unseen LEF growth types, and exhibit a continuum of finitely generated LEF groups which may be distinguished from one another by their LEF growth.

We show that the dynamic asymptotic dimension of an action of an infinite virtually cyclic group on a compact Hausdorff space is always one if the action has the marker property. This in particular covers a well-known result of Guentner, Willett, and Yu for minimal free actions of infinite cyclic groups. As a direct consequence, we substantially extend a famous result by Toms and Winter on the nuclear dimension of $C^{*}$-algebras arising from minimal free $\mathbb {Z}$-actions. Moreover, we also prove the marker property for all free actions of countable groups on finite-dimensional compact Hausdorff spaces, generalizing a result of Szabó in the metrisable setting.

We construct a sofic approximation of ${\mathbb F}_2\times {\mathbb F}_2$ that is not essentially a ‘branched cover’ of a sofic approximation by homomorphisms. This answers a question of L. Bowen.

We prove that all invariant random subgroups of the lamplighter group L are co-sofic. It follows that L is permutation stable, providing an example of an infinitely presented such group. Our proof applies more generally to all permutational wreath products of finitely generated abelian groups. We rely on the pointwise ergodic theorem for amenable groups.

A well-known conjecture is that all finitely presented groups have semistable fundamental groups at infinity. A class of groups whose members have not been shown to be semistable at infinity is the class ${\mathcal{A}}$ of finitely presented groups that are ascending HNN-extensions with finitely generated base. The class ${\mathcal{A}}$ naturally partitions into two non-empty subclasses, those that have “bounded” and “unbounded” depth. Using new methods introduced in a companion paper we show those of bounded depth have semistable fundamental group at infinity. Ascending HNN extensions produced by Ol’shanskii–Sapir and Grigorchuk (for other reasons), and once considered potential non-semistable examples are shown to have bounded depth. Finally, we devise a technique for producing explicit examples with unbounded depth. These examples are perhaps the best candidates to date in the search for a group with non-semistable fundamental group at infinity.

A finitely presented 1-ended group $G$ has semistable fundamental group at infinity if $G$ acts geometrically on a simply connected and locally compact ANR $Y$ having the property that any two proper rays in $Y$ are properly homotopic. This property of $Y$ captures a notion of connectivity at infinity stronger than “1-ended”, and is in fact a feature of $G$, being independent of choices. It is a fundamental property in the homotopical study of finitely presented groups. While many important classes of groups have been shown to have semistable fundamental group at infinity, the question of whether every $G$ has this property has been a recognized open question for nearly forty years. In this paper we attack the problem by considering a proper but non-cocompact action of a group $J$ on such an $Y$. This $J$ would typically be a subgroup of infinite index in the geometrically acting over-group $G$; for example $J$ might be infinite cyclic or some other subgroup whose semistability properties are known. We divide the semistability property of $G$ into a $J$-part and a “perpendicular to $J$” part, and we analyze how these two parts fit together. Among other things, this analysis leads to a proof (in a companion paper) that a class of groups previously considered to be likely counter examples do in fact have the semistability property.

We use a coarse version of the fundamental group first introduced by Barcelo, Kramer, Laubenbacher and Weaver to show that box spaces of finitely presented groups detect the normal subgroups used to construct the box space, up to isomorphism. As a consequence, we have that two finitely presented groups admit coarsely equivalent box spaces if and only if they are commensurable via normal subgroups. We also provide an example of two filtrations (Ni) and (Mi) of a free group F such that Mi > Ni for all i with [Mi:Ni] uniformly bounded, but with $\squ _{(N_i)}F$ not coarsely equivalent to $\squ _{(M_i)}F$. Finally, we give some applications of the main theorem for rank gradient and the first ℓ2 Betti number, and show that the main theorem can be used to construct infinitely many coarse equivalence classes of box spaces with various properties.

Large-scale sublinearly Lipschitz maps have been introduced by Yves Cornulier in order to precisely state his theorems about asymptotic cones of Lie groups. In particular, Sublinearly bi-Lipschitz Equivalences (SBE) are a weak variant of quasi-isometries, with the only requirement of still inducing bi-Lipschitz maps at the level of asymptotic cones. We focus here on hyperbolic metric spaces and study properties of boundary extensions of SBEs, reminiscent of quasi-Möbius (or quasisymmetric) mappings. We give a dimensional invariant of the boundary that allows to distinguish hyperbolic symmetric spaces up to SBE, answering a question of Druţu.

Let $G$ be a group acting properly by isometries and with a strongly contracting element on a geodesic metric space. Let $N$ be an infinite normal subgroup of $G$ and let $\unicode[STIX]{x1D6FF}_{N}$ and $\unicode[STIX]{x1D6FF}_{G}$ be the growth rates of $N$ and $G$ with respect to the pseudo-metric induced by the action. We prove that if $G$ has purely exponential growth with respect to the pseudo-metric, then $\unicode[STIX]{x1D6FF}_{N}/\unicode[STIX]{x1D6FF}_{G}>1/2$. Our result applies to suitable actions of hyperbolic groups, right-angled Artin groups and other CAT(0) groups, mapping class groups, snowflake groups, small cancellation groups, etc. This extends Grigorchuk’s original result on free groups with respect to a word metric and a recent result of Matsuzaki, Yabuki and Jaerisch on groups acting on hyperbolic spaces to a much wider class of groups acting on spaces that are not necessarily hyperbolic.

Given two finitely generated groups that coarsely embed into a Hilbert space, it is known that their wreath product also embeds coarsely into a Hilbert space. We introduce a wreath product construction for general metric spaces $X,Y,Z$ and derive a condition, called the (${\it\delta}$-polynomial) path lifting property, such that coarse embeddability of $X,Y$ and $Z$ implies coarse embeddability of $X\wr _{Z}Y$. We also give bounds on the compression of $X\wr _{Z}Y$ in terms of ${\it\delta}$ and the compressions of $X,Y$ and $Z$.

Let G be a group generated by k elements, G=〈g1,…,gk〉, with group operations (multiplication, inversion and comparison with identity) performed by a black box. We prove that one can test whether the group G is abelian at a cost of O(k) group operations. On the other hand, we show that a deterministic approach requires Ω(k2) group operations.

In this paper, we investigate a proper $\text{CAT(0)}$ space $(X,\,d)$ that is homeomorphic to ${{\mathbb{R}}^{2}}$ and we show that the asymptotic dimension asdim $(X,\,d)$ is equal to 2.

Our main result is that a finitely generated nilpotent group has no isometric action on an infinite-dimensional Hilbert space with dense orbits. In contrast, we construct such an action with a finitely generated metabelian group.