Answering a question by Chatterji–Druţu–Haglund, we prove that, for every locally compact group $G$, there exists a critical constant $p_G \in [0,\infty ]$ such that $G$ admits a continuous affine isometric action on an $L_p$ space ($0< p<\infty$) with unbounded orbits if and only if $p \geq p_G$. A similar result holds for the existence of proper continuous affine isometric actions on $L_p$ spaces. Using a representation of cohomology by harmonic cocycles, we also show that such unbounded orbits cannot occur when the linear part comes from a measure-preserving action, or more generally a state-preserving action on a von Neumann algebra and $p>2$. We also prove the stability of this critical constant $p_G$ under $L_p$ measure equivalence, answering a question of Fisher.

Let $\Gamma _{g}$ be the fundamental group of a closed connected orientable surface of genus $g\geq 2$ . We develop a new method for integrating over the representation space $\mathbb {X}_{g,n}=\mathrm {Hom}(\Gamma _{g},S_{n})$ , where $S_{n}$ is the symmetric group of permutations of $\{1,\ldots ,n\}$ . Equivalently, this is the space of all vertex-labeled, n-sheeted covering spaces of the closed surface of genus g.

Given $\phi \in \mathbb {X}_{g,n}$ and $\gamma \in \Gamma _{g}$ , we let $\mathsf {fix}_{\gamma }(\phi )$ be the number of fixed points of the permutation $\phi (\gamma )$ . The function $\mathsf {fix}_{\gamma }$ is a special case of a natural family of functions on $\mathbb {X}_{g,n}$ called Wilson loops. Our new methodology leads to an asymptotic formula, as $n\to \infty $ , for the expectation of $\mathsf {fix}_{\gamma }$ with respect to the uniform probability measure on $\mathbb {X}_{g,n}$ , which is denoted by $\mathbb {E}_{g,n}[\mathsf {fix}_{\gamma }]$ . We prove that if $\gamma \in \Gamma _{g}$ is not the identity and q is maximal such that $\gamma $ is a q th power in $\Gamma _{g}$ , then

$$\begin{align*}\mathbb{E}_{g,n}\left[\mathsf{fix}_{\gamma}\right]=d(q)+O(n^{-1}) \end{align*}$$

as $n\to \infty $ , where $d\left (q\right )$ is the number of divisors of q. Even the weaker corollary that $\mathbb {E}_{g,n}[\mathsf {fix}_{\gamma }]=o(n)$ as $n\to \infty $ is a new result of this paper. We also prove that $\mathbb {E}_{g,n}[\mathsf {fix}_{\gamma }]$ can be approximated to any order $O(n^{-M})$ by a polynomial in $n^{-1}$ .

Skew left braces arise naturally from the study of non-degenerate set-theoretic solutions of the Yang–Baxter equation. To understand the algebraic structure of skew left braces, a study of the decomposition into minimal substructures is relevant. We introduce chief series and prove a strengthened form of the Jordan–Hölder theorem for finite skew left braces. A characterization of right nilpotency and an application to multipermutation solutions are also given.

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.

Let $G_\Gamma \curvearrowright X$ and $G_\Lambda \curvearrowright Y$ be two free measure-preserving actions of one-ended right-angled Artin groups with trivial center on standard probability spaces. Assume they are irreducible, i.e. every element from a standard generating set acts ergodically. We prove that if the two actions are stably orbit equivalent (or merely stably $W^*$-equivalent), then they are automatically conjugate through a group isomorphism between $G_\Gamma$ and $G_\Lambda$. Through work of Monod and Shalom, we derive a superrigidity statement: if the action $G_\Gamma \curvearrowright X$ is stably orbit equivalent (or merely stably $W^*$-equivalent) to a free, measure-preserving, mildly mixing action of a countable group, then the two actions are virtually conjugate. We also use the works of Popa and Ioana, Popa and Vaes to establish the $W^*$-superrigidity of Bernoulli actions of all infinite conjugacy classes groups having a finite generating set made of infinite-order elements where two consecutive elements commute, and one has a nonamenable centralizer: these include one-ended nonabelian right-angled Artin groups, but also many other Artin groups and most mapping class groups of finite-type surfaces.

Using totally symmetric sets, Chudnovsky–Kordek–Li–Partin gave a superexponential lower bound on the cardinality of non-abelian finite quotients of the braid group. In this paper, we develop new techniques using multiple totally symmetric sets to count elements in non-abelian finite quotients of the braid group. Using these techniques, we improve the lower bound found by Chudnovsky et al. We exhibit totally symmetric sets in the virtual and welded braid groups and use our new techniques to find superexponential bounds for the finite quotients of the virtual and welded braid groups.

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.

We introduce “braided” versions of self-similar groups and Röver–Nekrashevych groups, and study their finiteness properties. This generalizes work of Aroca and Cumplido, and the first author and Wu, who considered the case when the self-similar groups are what we call “self-identical.” In particular, we use a braided version of the Grigorchuk group to construct a new group called the “braided Röver group,” which we prove is of type $\operatorname {\mathrm {F}}_\infty $. Our techniques involve using so-called d-ary cloning systems to construct the groups, and analyzing certain complexes of embedded disks in a surface to understand their finiteness properties.

Consider Bernoulli bond percolation on a graph nicely embedded in hyperbolic space $\mathbb{H}^d$ in such a way that it admits a transitive action by isometries of $\mathbb{H}^d$ . Let $p_{\text{a}}$ be the supremum of all percolation parameters such that no point at infinity of $\mathbb{H}^d$ lies in the boundary of the cluster of a fixed vertex with positive probability. Then for any parameter $p < p_{\text{a}}$ , almost surely every percolation cluster is thin-ended, i.e. has only one-point boundaries of ends.

We present a quantitative isolation property of the lifts of properly immersed geodesic planes in the frame bundle of a geometrically finite hyperbolic $3$-manifold. Our estimates are polynomials in the tight areas and Bowen–Margulis–Sullivan densities of geodesic planes, with degree given by the modified critical exponents.

A generating set S for a group G is independent if the subgroup generated by $S\setminus \{s\}$ is properly contained in G for all $s \in S.$ We describe the structure of finite groups G such that there are precisely two numbers appearing as the cardinalities of independent generating sets for G.

We develop a method based on the Burau matrix to detect conditions on the linking numbers of braid strands. Our main application is to iterated exchanged braids. Unless the braid permutation fixes both braid edge strands, we establish under some fairly generic conditions on the linking numbers a ‘subsymmetry’ property; in particular at most two such braids can be mutually conjugate. As an addition, we prove that the Burau kernel is contained in the commutator subgroup of the pure braid group. We discuss also some properties of the Burau image.

We initiate the study of outer automorphism groups of special groups $G$, in the Haglund–Wise sense. We show that $\operatorname {Out}(G)$ is infinite if and only if $G$ splits over a co-abelian subgroup of a centraliser and there exists an infinite-order ‘generalised Dehn twist’. Similarly, the coarse-median preserving subgroup $\operatorname {Out}_{\rm cmp}(G)$ is infinite if and only if $G$ splits over an actual centraliser and there exists an infinite-order coarse-median-preserving generalised Dehn twist. The proof is based on constructing and analysing non-small, stable $G$-actions on $\mathbb {R}$-trees whose arc-stabilisers are centralisers or closely related subgroups. Interestingly, tripod-stabilisers can be arbitrary centralisers, and thus are large subgroups of $G$. As a result of independent interest, we determine when generalised Dehn twists associated to splittings of $G$ preserve the coarse median structure.

We calculate asymptotic estimates for the conjugacy growth function of finitely generated class 2 nilpotent groups whose derived subgroups are infinite cyclic, including the so-called higher Heisenberg groups. We prove that these asymptotics are stable when passing to commensurable groups, by understanding their twisted conjugacy growth. We also use these estimates to prove that, in certain cases, the conjugacy growth series cannot be a holonomic function.

We give technical conditions for a quasi-isometry of pairs to preserve a subgroup being hyperbolically embedded. We consider applications to the quasi-isometry and commensurability invariance of acylindrical hyperbolicity of finitely generated groups.

Given a finitely generated free group $ {\mathbb {F} }$ of $\mathsf {rank}( {\mathbb {F} } )\geq 3$, we show that the mapping torus of $\phi$ is (strongly) relatively hyperbolic if $\phi$ is exponentially growing. As a corollary of our work, we give a new proof of Brinkmann's theorem which proves that the mapping torus of an atoroidal outer automorphism is hyperbolic. We also give a new proof of the Bridson–Groves theorem that the mapping torus of a free group automorphism satisfies the quadratic isoperimetric inequality. Our work also solves a problem posed by Minasyan and Osin: the mapping torus of an outer automorphism is not virtually acylindrically hyperbolic if and only if $\phi$ has finite order.

In his 1985 paper, Sullivan sketched a proof of his structural stability theorem for differentiable group actions satisfying certain expansion-hyperbolicity axioms. In this paper, we relax Sullivan’s axioms and introduce a notion of meandering hyperbolicity for group actions on geodesic metric spaces. This generalization is substantial enough to encompass actions of certain nonhyperbolic groups, such as actions of uniform lattices in semisimple Lie groups on flag manifolds. At the same time, our notion is sufficiently robust, and we prove that meandering-hyperbolic actions are still structurally stable. We also prove some basic results on meandering-hyperbolic actions and give other examples of such actions.

We prove the Tits Alternative for groups acting on $2$ -dimensional $\mathrm {CAT}(0)$ complexes with a bound on the order of the cell stabilisers.

A group is said to have rational growth with respect to a generating set if the growth series is a rational function. It was shown by Parry that certain torus bundle groups of even trace exhibits rational growth. We generalize this result to a class of torus bundle groups with odd trace.

We demonstrate that two supersoluble complements of an abelian base in a finite split extension are conjugate if and only if, for each prime $p$, a Sylow $p$-subgroup of one complement is conjugate to a Sylow $p$-subgroup of the other. As a corollary, we find that any two supersoluble complements of an abelian subgroup $N$ in a finite split extension $G$ are conjugate if and only if, for each prime $p$, there exists a Sylow $p$-subgroup $S$ of $G$ such that any two complements of $S\cap N$ in $S$ are conjugate in $G$. In particular, restricting to supersoluble groups allows us to ease D. G. Higman's stipulation that the complements of $S\cap N$ in $S$ be conjugate within $S$. We then consider group actions and obtain a fixed point result for non-coprime actions analogous to Glauberman's lemma.