Related papers: Artin groups of large type are shortlex automatic …

In this summary paper, we present the key ideas behind the recent proof of the $K(\pi, 1)$ conjecture for affine Artin groups, which states that complements of locally finite affine hyperplane arrangements with real equations and stable…

We introduce a new model of random Artin groups. The two variables we consider are the rank of the Artin groups and the set of permitted coefficients of their defining graphs. The heart of our model is to control the speed at which we make…

In this note we prove that the affine Artin group of type $\widetilde B_n$ is virtually poly-free. The proof also gives another solution of the $K(\pi, 1)$ problem for $\widetilde B_n$.

We give a condition on the defining graph of a right-angled Artin group which implies its automorphism group is virtually indicable, that is, it has a finite-index subgroup that admits a homomorphism onto $\Z$. We use this as part of a…

Given a regular subgroup R of AGL_n(F), one can ask if R contains nontrivial translations. A negative answer to this question was given by Liebeck, Praeger and Saxl for AGL_2(p) (p a prime), AGL_3(p) (p odd) and for AGL_4(2). A positive…

An element of a finitely generated non-Abelian free group F(X) is said to be filling if that element has positive translation length in every very small action of F(X) on an $\mathbb{R}$-tree. We give a proof that the set of filling…

We show that groups presented by inverse-closed finite convergent length-reducing rewriting systems are characterised by a striking geometric property: their Cayley graphs are geodetic and side-lengths of non-degenerate triangles are…

We show that for each positive integer $k$ there exist right-angled Artin groups containing free-by-cyclic subgroups whose monodromy automorphisms grow as $n^k$. As a consequence we produce examples of right-angled Artin groups containing…

We describe a family of rational affine surfaces S with huge groups of automorphisms in the following sense: the normal subgroup of Aut(S) generated by all its algebraic subgroups is not generated by any countable family of such subgroups,…

For every $n\geq 1$, the flat braid group $\mathrm{FB}_n$ is an analogue of the braid group $B_n$ that can be described as the fundamental group of the configuration space $$\left\{ \{x_1, \ldots, x_n \} \in \mathbb{R}^n / \mathrm{Sym}(n)…

We show that on any translation surface, if a regular point is contained in a simple closed geodesic, then it is contained in infinitely many simple closed geodesics, whose directions are dense in the unit circle. Moreover, the set of…

Relying on the Classification of Finite Simple Groups it was shown by Feng and Xu (Discrete Math., 2005) that every quartic Cayley graph of a regular $p$-group, $p \neq 2,5$, is normal. In this paper a CFSG-free proof of Feng-Xu theorem is…

By a result of Gersten and Short finite presentations satisfying the usual non-metric small cancellation conditions present biautomatic groups. We show that in the case in which all pieces have length one, a generalization of the C(3)-T(6)…

We describe some of the geometric properties of the automorphism group Aut(F) of Thompson's group F. We give realizations of Aut(F) geometrically via periodic tree pair diagrams, which lead to natural presentations and give effective…

We show that the left regular representation of Neretin groups is factorial, providing the first example of a non-discrete simple group with this property. This is based on a new criterion of factoriality for totally disconnected groups.…

We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata operating on infinite objects. Let F be any set functor that preserves…

We provide a simple criterion for an element of the mapping class group of a closed surface to have normal closure equal to the whole mapping class group. We apply this to show that every nontrivial periodic mapping class that is not a…

The Garside group, as a generalization of braid groups and Artin groups of finite types, is defined as the group of fractions of a Garside monoid. We show that the semidirect product of Garside monoids is a Garside monoid. We use the…

We show that every effectively closed action of a finitely generated group $G$ on a closed subset of $\{0,1\}^{\mathbb{N}}$ can be obtained as a topological factor of the $G$-subaction of a $(G \times H_1 \times H_2)$-subshift of finite…

We examine the construction of Huang and Osajda that was used in their proof of the biautomaticity of Artin groups of almost large type. We describe a slightly simpler variant of that biautomatic structure, with explicit descriptions of a…