Related papers: Biautomatic structures in systolic Artin groups

In this article we construct a piecewise Euclidean, non-positively curved 2-complex for the 3-generator Artin groups of large type. As a consequence we show that these groups are biautomatic. A slight modification of the proof shows that…

We study the synchronous and asynchronous automatic structures on the fundamental group of a graph of groups in which each edge group is finite. Up to a natural equivalence relation, the set of biautomatic structures on such a graph product…

The mapping class group of a non-exceptional oriented surface of finite type admits a biautomatic structure.

We prove that Artin groups from a class containing all large-type Artin groups are systolic. This provides a concise yet precise description of their geometry. Immediate consequences are new results concerning large-type Artin groups:…

We prove that Coxeter groups are biautomatic. From our construction of the biautomatic structure it follows that uniform lattices in isometry groups of buildings are biautomatic.

In this article we construct asynchronous and sometimes synchronous automatic structures for amalgamated products and HNN extensions of groups that are strongly asynchronously (or synchronously) coset automatic with respect to the…

We show that the geometric realisation of the poset of proper parabolic subgroups of a large-type Artin group has a systolic geometry. We use this geometry to show that the set of parabolic subgroups of a large-type Artin group is stable…

In this paper, we construct an implementable algorithm which solves the conjugacy problem in twisted right-angled Artin groups (T-RAAGs). In certain cases, the complexity is known to be linear, by reducing the problem to the twisted…

In 2022, Osajda and Przytycki showed that any Coxeter group $W$ is biautomatic. Key to their proof is the notion of voracious projection of an element $g \in W$, which is used iteratively to construct a biautomatic structure for $W$: the…

We extend previous results by Cumplido, Martin and Vaskou on parabolic subgroups of large-type Artin groups to a broader family of two-dimensional Artin groups. In particular, we prove that an arbitrary intersection of parabolic subgroups…

We describe a new approach towards the systematic construction of finite groups up to isomorphism. This approach yields a practical algorithm for the construction of finite solvable groups up to isomorphism. We report on a GAP…

We show that the set $SA(G)$ of equivalence classes of synchronously automatic structures on a geometrically finite hyperbolic group $G$ is dense in the product of the sets $SA(P)$ over all maximal parabolic subgroups $P$. The set $BSA(G)$…

We give criteria for a graph of groups to have finite stature with respect to its collection of vertex groups, in the sense of Huang-Wise. We apply it to the triangle Artin groups that were previously shown to split as a graph of groups.…

The quotient of a biautomatic group by a subgroup of the center is shown to be biautomatic. The main tool used is the Neumann-Shapiro triangulation of $S^{n-1}$, associated to a biautomatic structure on ${\Bbb Z}^n$. As an application,…

We give conditions on a presentation of a group, which imply that its Cayley complex is simplicial and the flag complex of the Cayley complex is systolic. We then apply this to Garside groups and Artin groups. We give a classification of…

We study the action of the Artin braid group B_{2g+2} on the set of spin structures on a hyperelliptic curve of genus g, which reduces to that of the symmetric group. It has been already described in terms of the classical theory of Riemann…

Recently, right-angled Artin groups have attracted much attention in geometric group theory. They have a rich structure of subgroups and nice algorithmic properties, and they give rise to cubical complexes with a variety of applications.…

Artin's representation is an injective homomorphism from the braid group $B_n$ on $n$ strands into $\operatorname{Aut}\mathbb{F}_n$, the automorphism group of the free group $\mathbb{F}_n$ on $n$ generators. The representation induces maps…

We show that the class of large-type Artin groups is invariant under isomorphism, in stark contrast with the corresponding situation for Coxeter groups. We obtain this result by providing a purely algebraic characterisation of large-type…

We give a complete characterisation of when the right-angled Artin group on one cycle graph can be quasiisometrically embedded in the right-angled Artin group on another cycle graph. In particular, we find infinitely many instances of…