arXiv++ Combinatorics

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 conjugacy problem in right-angled Artin groups. We also show that T-RAAGs are biautomatic, providing an alternative solution to the conjugacy problem.

We characterize twisted right-angled Artin groups whose finitely generated subgroups are also twisted right-angled Artin groups. Additionally, we give a classification of coherence within this class of groups in terms of the defining graph. Furthermore, we provide a solution to the isomorphism problem for a notable subclass of these groups.

We characterize twisted right-angled Artin groups (T-RAAGs) that are subgroup separable using only their defining mixed graphs: such a group is subgroup separable if and only if the underlying simplicial graph contains neither induced paths nor squares on four vertices. This generalizes the results of Metaftsis-Raptis on classical right-angled Artin groups. Additionally, we show that the subgroup membership problem is decidable when the group is coherent, which occurs precisely when the defining mixed graph is chordal. We also address the rational and submonoid membership problems by exhibiting a cone-family of graphs for which the corresponding T-RAAGs have decidable rational and submonoid membership problems.

We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by Lohrey - Steinberg for right-angled Artin groups. Moreover, both these decision problems are decidable for a given Artin group if and only if the group is subgroup separable. This equivalence for right-angled Artin groups is provided by Lohrey - Steinberg and Metaftsis - Raptis. The equivalence for general Artin groups comes from some observations here and the characterization of separable Artin groups by Almeida - Lima.

We present a complete rewriting system for twisted right-angled Artin groups. Utilizing the normal form coming from the rewriting system, we provide applications that illustrate differences and similarities with right-angled Artin groups, both at the geometric and algebraic levels.

We prove a Tits alternative theorem for subgroups of finitely generated even Artin groups of FC type (EAFC groups), stating that there exists a finite index subgroup such that every subgroup of it is either finitely generated abelian, or maps onto a non-abelian free group. Parabolic subgroups play a key role, and we show that parabolic subgroups of EAFC groups are closed under taking roots.

We give explicit formulas for the geodesic growth series of a Right Angled Coxeter Group (RACG) based on a link-regular graph that is 4-clique free, i.e. without tetrahedrons