We obtain a number of results regarding freeness, quasiconvexity and separability for subgroups of Coxeter groups, Artin groups and one-relator groups with torsion.
We prove the following results: (1) There is a one-relator inverse monoid $\mathrm{Inv}\langle A\:|\:w=1 \rangle$ with undecidable word problem; and (2) There are one-relator groups with undecidable submonoid membership problem. The first of these results answers a problem originally posed by Margolis, Meakin and Stephen in 1987.
We study C*-algebras generated by left regular representations of right LCM one-relator monoids and Artin-Tits monoids of finite type. We obtain structural results concerning nuclearity, ideal structure and pure infiniteness. Moreover, we compute K-theory. Based on our K-theory results, we develop a new way of computing K-theory for certain group C*-algebras and crossed products.
We determine the factorial growth rate of the number of finite index subgroups of right-angled Artin groups as a function of the index. This turns out to depend solely on the independence number of the defining graph. We also make a conjecture for right-angled Coxeter groups and prove that it holds in a limited setting.
In this paper, we generalise Magnus' Freiheitssatz and solution to the word problem for one-relator groups by considering one relator quotients of certain classes of right-angled Artin groups and graph products of locally indicable polycyclic groups.
We prove the strong Atiyah conjecture for right-angled Artin groups and right-angled Coxeter groups. More generally, we prove it for groups which are certain finite extensions or elementary amenable extensions of such groups.
For every dimension d, there is an infinite family of convex co-compact reflection groups of isometries of hyperbolic d-space --- the superideal (simplicial and cubical) reflection groups --- with the property that a random group at any density less than a half (or in the few relators model) contains quasiconvex subgroups commensurable with some member of the family, with overwhelming probability.
If $A_Γ$ ($W_Γ$) is the Artin (Coxeter) group with defining graph $Γ$ we denote by $Sim(Γ)$ the number of vertices of the largest clique in $Γ$. We show that $asdimA_Γ\leq Sim(Γ)$, if $Sim(Γ)=2$. We conjecture that the inequality holds for every Artin group. We prove that if for all free of infinity Artin (Coxeter) groups the conjecture holds, then it holds for all Artin (Coxeter) groups. As a corollary, we show that $asdimW_Γ\leq Sim(Γ)$ for all Coxeter groups, which is the best known upper bound for the asymptotic dimension of Coxeter Groups. As a further corollary, we show that the asymptot…
We show that every finitely generated Artin-Tits group admits a finite Garside family, by introducing the notion of a low element in a Coxeter group and proving that the family of all low elements in a Coxeter system (W, S) with S finite includes S and is finite and closed under suffix and join with respect to the right weak order.
We show that the Aut-invariant word norm on right angled Artin and right angled Coxeter groups is unbounded (except in few special cases). To prove unboundedness we exhibit certain characteristic subgroups. This allows us to find unbounded quasimorphisms which are Lipschitz with respect to the Aut-invariant word norm.
We establish a spectral gap for stable commutator length (scl) of integral chains in right-angled Artin groups (RAAGs). We show that this gap is not uniform, i.e. there are RAAGs and integral chains with scl arbitrarily close to zero. We determine the size of this gap up to a multiplicative constant in terms of the opposite path length of the defining graph. This result is in stark contrast with the known uniform gap 1/2 for elements in RAAGs. We prove an analogous result for right-angled Coxeter groups. In a second part of this paper we relate certain integral chains in RAAGs to the fractiona…
In this paper we study the right-angled Coxeter groups that acts geometrically on the Salvetti complex of a certain right-angled Artin group, which we refer to as Croke-Kleiner spaces. We prove that any right-angled Coxeter group that acts geometrically on the Croke-Kleiner spaces acts with $π/2$ angles between reflecting axes, while the quasi-isometric right-angled Artin group can act with angles that are any real number in the range $(0, π/2]$. The contrast between the two examples shows that in this case a right-angled Coxeter group is geometrically more "rigid" than its quasi isometric cou…
An Artin HNN-extension is an HNN-extension of an Artin group in which the stable letter conjugates a pair of suitably chosen subsets of the standard generating set. We show that some finite index subgroup of an Artin HNN-extension embeds in an Artin group. We also obtain an analogous result for Coxeter groups.
We construct and study polyhedral product models for classifying spaces of right-angled Artin and Coxeter groups, general graph product groups and their commutator subgroups. By way of application, we give a criterion of freeness for the commutator subgroup of a graph product group, and provide an explicit minimal set of generators for the commutator subgroup of a right-angled Coxeter group.
We introduce a relative Garside element, the quotient of the corresponding Garside elements G1 and G2, for a pair of Artin monoids associated to Coxeter graphs Gamma1 and Gamma2, the second graph containing a new vertex. These relative elements give a recurrence relation between Garside elements. As an application, we compute explicitly the Garside elements of Artin monoids corresponding to spherical Coxeter graphs or the longest elements of the associated finite Coxeter groups.
We prove that for any infinite right-angled Coxeter or Artin group, its spherical and geodesic growth rates (with respect to the standard generating set) either take values in the set of Perron numbers, or equal $1$. Also, we compute the average number of geodesics representing an element of given word length in such groups.
Garside groups are a natural lattice-theoretic generalisation of the braid groups and spherical type Artin--Tits groups. Here we show that the class of Garside groups is closed under some free products with cyclic amalgamated subgroups. We deduce that every tree product of infinite cyclic groups is a Garside group. Moreover, we study those cyclic HNN extensions of Garside groups that are Garside groups as well. Using a theorem of Pietrowski, we conclude this paper by stating that a non-cyclic one-relator group is Garside if and only if its centre is nontrivial.
We determine the epimorphisms $A \to W$ from the Artin group $A$ of type $Γ$ onto the Coxeter group $W$ of type $Γ$, in case $Γ$ is an irreducible Coxeter graph of spherical type, and we prove that the kernel of the standard epimorphism is a characteristic subgroup of $A$. This generalizes an over 50 years old result of Artin.
We show the analogue of Muhlherr's [Coxeter groups in Coxeter groups, Finite Geom. and Combinatorics, Cambridge Univ. Press (1993), 277-287] for Artin-Tits monoids, and for Artin-Tits groups of spherical type. That is, the submonoid (resp. subgroup) of an Artin-Tits monoid (resp. group of spherical type) induced by an admissible partition of the Coxeter graph is an Artin-Tits monoid (resp. group). This generalizes and unifies the situation of the submonoid (resp. subgroup) of fixed elements of an Artin-Tits monoid (resp. group of spherical type) under the action of graph automorphisms, and the…
We provide a complete description of the presentations of the interval groups related to quasi-Coxeter elements in finite Coxeter groups. In the simply laced cases, we show that each interval group is the quotient of the Artin group associated with the corresponding Carter diagram by the normal closure of a set of twisted cycle commutators, one for each 4-cycle of the diagram. Our techniques also reprove an analogous result for the Artin groups of finite Coxeter groups, which are interval groups corresponding to Coxeter elements. We also analyse the situation in the non-simply laced cases, whe…
We study homomorphisms from Kähler groups to Coxeter groups. As an application, we prove that a cocompact complex hyperbolic lattice (in complex dimension at least 2) does not embedd into a Coxeter group or a right-angled Artin group. This is in contrast with the case of real hyperbolic lattices.
In the present paper we define dual monoids for all Artin-Tits groups and we prove that for the type $\tilde A_n$ we get a (quasi)-Garside structure. Such a structure provides normal forms for the Artin-Tits group elements and allows to solve some questions such as to determine the centralizer of a power of the Coxeter element in the Artin-Tits group. More precisely, if $W$ is a Coxeter group, one can consider the length $l_R$ on $W$ with respect to the generating set $R$ consisting of all reflections. Let $c$ be a Coxeter element in $W$ and let $P_c$ be the set of elements $p\in W$ such that …
For a connected graph L, let G(L) be a group with generators the vertex set of L, subject only to the relations that the ends of each edge commute. Now let H(L) be the kernel of the homomorphism from G(L) to the integers that takes each vertex to 1. M. Bestvina and N. Brady have shown that finiteness properties of H(L) are intimately related to the topology of the clique complex of L. We give a presentation for H(L), with generators the edges of L, and an infinite family of relators for each 1-cycle in L. In the case when the clique complex for L is simply-connected, we give a finite presentat…
We show that every graph product of finitely generated abelian groups acts properly and cocompactly on a CAT(0) cubical complex. The complex generalizes (up to subdivision) the Salvetti complex of a right-angled Artin group and the Coxeter complex of a right-angled Coxeter group. In the right-angled Artin group case it is related to the embedding into a right-angled Coxeter group described by Davis and Januszkiewicz. We compare the approaches and also adapt the argument that the action extends to finite index supergroup that is a graph product of finite groups.
Let $Γ$ be a Coxeter graph, let $W$ be its associated Coxeter group, and let $G$ be a group of symmetries of $Γ$.Recall that, by a theorem of H{é}e and Mühlherr, $W^G$ is a Coxeter group associated to some Coxeter graph $\hat Γ$.We denote by $Φ^+$ the set of positive roots of $Γ$ and by $\hat Φ^+$ the set of positive roots of $\hat Γ$.Let $E$ be a vector space over a field $\K$ having a basis in one-to-one correspondence with $Φ^+$.The action of $G$ on $Γ$ induces an action of $G$ on $Φ^+$, and therefore on $E$.We show that $E^G$ contains a linearly independent family of vectors naturally in o…
We give a criterion of the existence of a presentation with a single relation for the commutator subgroup $RC_{\mathscr{K}}'$ of a right-angled Coxeter group $RC_{\mathscr{K}}$. Namely, we prove that $RC_{\mathscr{K}}'$ is a one-relator group if and only if $\mathscr{K}$ is either a $p$-cycle with $p\geqslant4$ or has the form ($p$-cycle)$*Δ^q$ with $p\geqslant4$ and $g\geqslant0$, where $Δ^q$ is a $q$-simplex.
This paper considers the question of relative hyperbolicity of an Artin group with regard to the geometry of its associated Deligne complex. We prove that an Artin group is weakly hyperbolic relative to its finite (or spherical) type parabolic subgroups if and only if its Deligne complex is a Gromov hyperbolic space. For a 2-dimensional Artin group the Deligne complex is Gromov hyperbolic precisely when the corresponding Davis complex is Gromov hyperbolic, that is, precisely when the underlying Coxeter group is a hyperbolic group. For Artin groups of FC type we give a sufficient condition for …
Let $A$ be an Artin group. A partition $\mathcal{P}$ of the set of standard generators of $A$ is called admissible if, for all $X,Y \in \mathcal{P}$, $X \neq Y$, there is at most one pair $(s,t) \in X \times Y$ which has a relation. An admissible partition $\mathcal{P}$ determines a quotient Coxeter graph $Γ/\mathcal{P}$. We prove that, if $Γ/\mathcal{P}$ is either a forest or an even triangle free Coxeter graph and $A_X$ is residually finite for all $X \in \mathcal{P}$, then $A$ is residually finite.
We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associate…
We derive presentations of the interval groups related to all quasi-Coxeter elements in the Coxeter group of type $D_n$. Type $D_n$ is the only infinite family of finite Coxeter groups that admits proper quasi-Coxeter elements. The presentations we obtain are over a set of generators in bijection with what we call a Carter generating set, and the relations are those defined by the related Carter diagram together with a twisted or a cycle commutator relator, depending on whether the quasi-Coxeter element is a Coxeter element or not. The proof is based on the description of two combinatorial tec…
We attach with every finite, involutive, nondegenerate set-theoretic solution of the Yang--Baxter equation a finite group that plays for the associated structure group the role that a finite Coxeter group plays for the associated Artin--Tits group.
Let $(A_S,S)$ be an Artin-Tits and $X$ a subset of $S$ ; denote by $A_X$ the subgroup of $A_S$ generated by $X$. When $A_S$ is of spherical type, we prove that the normalizer and the commensurator of $A_X$ in $A_S$ are equal and are the product of $A_X$ by the quasi-centralizer of $A_X$ in $A_S$. Looking to the associated monoids $A_S^+$ and $A_X^+$, we describe the quasi-centralizer of $A_X^+$ in $A_S^+$ thanks to results in Coxeter groups. These two results generalize earlier results of Paris. Finaly, we compare, in the spherical case, the normalizer of a parabolic subgroup in the Artin-Tits…
We prove that an Artin-Tits group of type $\tilde C$ is the group of fractions of a Garside monoid, analogous to the known dual monoids associated with Artin-Tits groups of spherical type and obtained by the "generated group" method. This answers, in this particular case, a general question on Artin-Tits groups, gives a new presentation of an Artin-Tits group of type $\tilde C$, and has consequences for the word problem, the computation of some centralizers or the triviality of the center. A key point of the proof is to show that this group is a group of fixed points in an Artin-Tits group of …
We define the braid groups of a two-dimensional orbifold and introduce conventions for drawing braid pictures. We use these to realize the Artin groups associated to the spherical Coxeter diagrams A_n, B_n=C_n and D_n and the affine diagrams tilde{A}_n, tilde{B}_n, tilde{C}_n and tilde{D}_n as subgroups of the braid groups of various simple orbifolds. The cases D_n, tilde{B}_n, tilde{C}_n and tilde{D}_n are new. In each case the Artin group is a normal subgroup with abelian quotient; in all cases except tilde{A}_n the quotient is finite. We illustrate the value of our braid calculus by perform…
We compute: * the cohomology with group ring coefficients of Artin groups (or actually, of their associated Salvetti complexes), Bestvina-Brady groups, and graph products of groups, * the L^2-Betti numbers of Bestvina-Brady groups and of graph products of groups, * the weighted L^2-Betti numbers of graph products of Coxeter groups. In the case of arbitrary graph products there is an additional proviso: either all factors are infinite or all are finite.(However, for graph products of Coxeter groups this proviso is unnecessary.)
We present a complete classification for the epimorphisms from the affine Artin-Tits groups $A(\widetilde{A}_{n})$ to the corresponding Coxeter groups $W(\widetilde{A}_{n})$, for $n\geq 1$.
Shephard groups are common extensions of Artin and Coxeter groups. They appear, for example, in algebraic study of manifolds. An infinite family of Shephard groups which are not Artin or Coxeter groups is considered. Using techniques form small cancellation theory we show that the groups in this family are bi-automatic.
In this paper we consider the class of 2-dimensional Artin groups with connected, large type, triangle-free defining graphs (type CLTTF). We classify these groups up to isomorphism, and describe a generating set for the automorphism group of each such Artin group. In the case where the defining graph has no separating edge or vertex we show that the Artin group is not abstractly commensurable to any other CLTTF Artin group. If, moreover, the defining graph satisfies a further `vertex rigidity' condition, then the abstract commensurator group of the Artin group is isomorphic to its automorphism…
Suppose that $(W,S)$ is a Coxeter system with associated Artin group $A$ and with a simplicial complex $L$ as its nerve. We define the notion of a "standard abelian subgroup" in $A$. The poset of such subgroups in $A$ is parameterized by the poset of simplices in a certain subdivision $L_\oslash$ of $L$. This complex of standard abelian subgroups is used to generalize an earlier result from the case of right-angled Artin groups to case of general Artin groups, by calculating, in many instances, the smallest dimension of a manifold model for $BA$. (This is the "action dimension" of $A$ denoted …