We call a packing of hyperspheres in n dimensions an Apollonian sphere packing if the spheres intersect tangentially or not at all; they fill the n-dimensional Euclidean space; and every sphere in the packing is a member of a cluster of $n+2$ mutually tangent spheres (and a few more properties described herein). In this paper, we describe an Apollonian packing in eight dimensions that naturally arises from the study of generic nodal Enriques surfaces. The $E_7$, $E_8$ and Reye lattices play roles. We use the packing to generate an Apollonian packing in nine dimensions, and a cross section in seven dimensions that is weakly Apollonian. Maxwell described all three packings but seemed unaware that they are Apollonian. The packings in seven and eight dimensions are different than those found in an earlier paper. In passing, we give a sufficient condition for a Coxeter graph to generate mutually tangent spheres and use this to identify an Apollonian sphere packing in three dimensions that is not the Soddy sphere packing.

We show via $\ell^2$-homology that the rational homological dimension of a lattice in a product of simple simply connected Chevalley groups over global function fields is equal to the rational cohomological dimension and to the dimension of the associated Bruhat–Tits building.

The automorphism group $\operatorname {Aut}(F_n)$ of the free group $F_n$ acts on a space $A_d(n)$ of Jacobi diagrams of degree d on n oriented arcs. We study the $\operatorname {Aut}(F_n)$-module structure of $A_d(n)$ by using two actions on the associated graded vector space of $A_d(n)$: an action of the general linear group $\operatorname {GL}(n,\mathbb {Z})$ and an action of the graded Lie algebra $\mathrm {gr}(\operatorname {IA}(n))$ of the IA-automorphism group $\operatorname {IA}(n)$ of $F_n$ associated with its lower central series. We extend the action of $\mathrm {gr}(\operatorname {IA}(n))$ to an action of the associated graded Lie algebra of the Andreadakis filtration of the endomorphism monoid of $F_n$. By using this action, we study the $\operatorname {Aut}(F_n)$-module structure of $A_d(n)$. We obtain an indecomposable decomposition of $A_d(n)$ as $\operatorname {Aut}(F_n)$-modules for $n\geq 2d$. Moreover, we obtain the radical filtration of $A_d(n)$ for $n\geq 2d$ and the socle of $A_3(n)$.

From any two median spaces $X$ and $Y$, we construct a new median space $X \circledast Y$, referred to as the diadem product of $X$ and $Y$, and we show that this construction is compatible with wreath products in the following sense: given two finitely generated groups $G,\,H$ and two (equivariant) coarse embeddings into median spaces $X,\,Y$, there exist a(n equivariant) coarse embedding $G\wr H \to X \circledast Y$. The construction offers a unified point of view on various questions related to the Hilbertian geometry of wreath products of groups.

We characterize when a set of simple closed curves in an orientable surface forms a bouquet, in terms of relations between the corresponding Dehn twists.

We show that every isometric action on a Cantor set is conjugate to an inverse limit of actions on finite sets; and that every faithful isometric action by a finitely generated amenable group is residually finite.

We describe all groups that can be generated by two twists along spherical sequences in an enhanced triangulated category. It will be shown that with one exception such a group is isomorphic to an abelian group generated by not more than two elements, the free group on two generators or the braid group of one of the types $A_2$, $B_2$ and $G_2$ factorised by a central subgroup. The last mentioned subgroup can be nontrivial only if some specific linear relation between length and sphericity holds. The mentioned exception can occur when one has two spherical sequences of length 3 and sphericity 2. In this case the group generated by the corresponding two spherical twists can be isomorphic to the nontrivial central extension of the symmetric group on three elements by the infinite cyclic group. Also we will apply this result to give a presentation of the derived Picard group of selfinjective algebras of the type $D_4$ with torsion 3 by generators and relations.

We initiate the study of C*-algebras and groupoids arising from left regular representations of Garside categories, a notion which originated from the study of Braid groups. Every higher rank graph is a Garside category in a natural way. We develop a general classification result for closed invariant subspaces of our groupoids as well as criteria for topological freeness and local contractiveness, properties which are relevant for the structure of the corresponding C*-algebras. Our results provide a conceptual explanation for previous results on gauge-invariant ideals of higher rank graph C*-algebras. As another application, we give a complete analysis of the ideal structures of C*-algebras generated by left regular representations of Artin–Tits monoids.

We prove that for any transitive subshift X with word complexity function $c_n(X)$, if $\liminf ({\log (c_n(X)/n)}/({\log \log \log n})) = 0$, then the quotient group ${{\mathrm {Aut}(X,\sigma )}/{\langle \sigma \rangle }}$ of the automorphism group of X by the subgroup generated by the shift $\sigma $ is locally finite. We prove that significantly weaker upper bounds on $c_n(X)$ imply the same conclusion if the gap conjecture from geometric group theory is true. Our proofs rely on a general upper bound for the number of automorphisms of X of range n in terms of word complexity, which may be of independent interest. As an application, we are also able to prove that for any subshift X, if ${c_n(X)}/{n^2 (\log n)^{-1}} \rightarrow 0$, then $\mathrm {Aut}(X,\sigma )$ is amenable, improving a result of Cyr and Kra. In the opposite direction, we show that for any countable infinite locally finite group G and any unbounded increasing $f: \mathbb {N} \rightarrow \mathbb {N}$, there exists a minimal subshift X with ${{\mathrm {Aut}(X,\sigma )}/{\langle \sigma \rangle }}$ isomorphic to G and ${c_n(X)}/{nf(n)} \rightarrow 0$.

In this article, we generalize Haglund and Wise’s theory of special cube complexes to groups acting on quasi-median graphs. More precisely, we define special actions on quasi-median graphs, and we show that a group which acts specially on a quasi-median graph with finitely many orbits of vertices must embed as a virtual retract into a graph product of finite extensions of clique-stabilizers. In the second part of the article, we apply the theory to fundamental groups of some graphs of groups called right-angled graphs of groups.

The cusped hyperbolic n-orbifolds of minimal volume are well known for $n\leq 9$. Their fundamental groups are related to the Coxeter n-simplex groups $\Gamma _{n}$. In this work, we prove that $\Gamma _{n}$ has minimal growth rate among all non-cocompact Coxeter groups of finite covolume in $\textrm{Isom}\mathbb H^{n}$. In this way, we extend previous results of Floyd for $n=2$ and of Kellerhals for $n=3$, respectively. Our proof is a generalization of the methods developed together with Kellerhals for the cocompact case.

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.

In this paper we give a complete description of the Bieri–Neumann–Strebel–Renz invariants of the Lodha–Moore groups. The second author previously computed the first two invariants, and here we show that all the higher invariants coincide with the second one, which finishes the complete computation. As a consequence, we present a complete picture of the finiteness properties of normal subgroups of the first Lodha–Moore group. In particular, we show that every finitely presented normal subgroup of the group is of type $\textrm{F}_\infty$, answering a question posed in Oberwolfach in 2018. The proof involves applying a variation of Bestvina–Brady discrete Morse theory to the so called cluster complex X introduced by the first author. As an application, we also demonstrate that a certain simple group S previously constructed by the first author is of type $\textrm{F}_\infty$. This provides the first example of a type $\textrm{F}_\infty$ simple group that acts faithfully on the circle by homeomorphisms, but does not admit any nontrivial action by $C^1$-diffeomorphisms, nor by piecewise linear homeomorphisms, on any 1-manifold.

This is the second of a series of two papers dealing with local limit theorems in relatively hyperbolic groups. In this second paper, we restrict our attention to non-spectrally degenerate random walks and we prove precise asymptotics of the probability $p_n(e,e)$ of going back to the origin at time $n$. We combine techniques adapted from thermodynamic formalism with the rough estimates of the Green function given by part I to show that $p_n(e,e)\sim CR^{-n}n^{-3/2}$, where $R$ is the inverse of the spectral radius of the random walk. This both generalizes results of Woess for free products and results of Gouëzel for hyperbolic groups.

The k-gonal models of random groups are defined as the quotients of free groups on n generators by cyclically reduced words of length k. As k tends to infinity, this model approaches the Gromov density model. In this paper, we show that for any fixed $d_0 \in (0, 1)$, if positive k-gonal random groups satisfy Property (T) with overwhelming probability for densities $d >d_0$, then so do jk-gonal random groups, for any $j \in \mathbb{N}$. In particular, this shows that for densities above 1/3, groups in 3k-gonal models satisfy Property (T) with probability 1 as n approaches infinity.

In this paper, we consider the $T$- and $V$-versions, ${T_\tau }$ and ${V_\tau }$, of the irrational slope Thompson group ${F_\tau }$ considered in J. Burillo, B. Nucinkis and L. Reeves [An irrational-slope Thompson's group, Publ. Mat. 65 (2021), 809–839]. We give infinite presentations for these groups and show how they can be represented by tree-pair diagrams similar to those for $T$ and $V$. We also show that ${T_\tau }$ and ${V_\tau }$ have index-$2$ normal subgroups, unlike their original Thompson counterparts $T$ and $V$. These index-$2$ subgroups are shown to be simple.

We show continuity under equivariant Gromov–Hausdorff convergence of the critical exponent of discrete, non-elementary, torsion-free, quasiconvex-cocompact groups with uniformly bounded codiameter acting on uniformly Gromov-hyperbolic metric spaces.

A group is $\frac 32$-generated if every non-trivial element is part of a generating pair. In 2019, Donoven and Harper showed that many Thompson groups are $\frac 32$-generated and posed five questions. The first of these is whether there exists a 2-generated group with every proper quotient cyclic that is not $\frac 32$-generated. This is a natural question given the significant work in proving that no finite group has this property, but we show that there is such an infinite group. The groups we consider are a family of finite index subgroups $G_1,\, G_2,\, \ldots$ of the Houghton group $\operatorname {FSym}(\mathbb {Z})\rtimes \mathbb {Z}$. We then show that $G_1$ and $G_2$ are $\frac 32$-generated and investigate the related notion of spread for these groups. We are able to show that they have finite spread at least 2. These are, therefore, the first infinite groups to be shown to have finite positive spread, and the first to be shown to have spread at least 2 (other than $\mathbb {Z}$ and the Tarski monsters, which have infinite spread). As a consequence, for each $k\in \{2,\, 3,\, \ldots \}$, we also have that $G_{2k}$ is index $k$ in $G_2$ but $G_2$ is $\frac 32$-generated whereas $G_{2k}$ is not.

In this paper we consider two piecewise Riemannian metrics defined on the Culler–Vogtmann outer space which we call the entropy metric and the pressure metric. As a result of work of McMullen, these metrics can be seen as analogs of the Weil–Petersson metric on the Teichmüller space of a closed surface. We show that while the geometric analysis of these metrics is similar to that of the Weil–Petersson metric, from the point of view of geometric group theory, these metrics behave very differently than the Weil–Petersson metric. Specifically, we show that when the rank r is at least 4, the action of $\operatorname {\mathrm {Out}}(\mathbb {F}_r)$ on the completion of the Culler–Vogtmann outer space using the entropy metric has a fixed point. A similar statement also holds for the pressure metric.

We show that the automorphism groups of right-angled Artin groups whose defining graphs have at least three vertices are not relatively hyperbolic. We then show that the outer automorphism groups are also not relatively hyperbolic, except for a few exceptional cases. In these cases, the outer automorphism groups are virtually isomorphic to either a finite group, an infinite cyclic group or $\mathrm {GL}_2(\mathbb {Z})$.