In this paper we study some combinatorial aspects of the singular Artin monoids. Firstly, we show that a singular Artin monoid $SA$ can be presented as a semidirect product of a graph monoid with its associated Artin group $A$. Such a decomposition implies that a singular Artin monoid embeds in a group. Secondly, we give a solution to the word problem for the FC type singular Artin monoids. Afterwards, we show that FC type singular Artin monoids have the FRZ property. Briefly speaking, this property says that the centralizer in $SA$ of any non-zero power of a standard singular generator $τ_s$ coincides with the centralizer of any non-zero power of the corresponding non-singular generator $σ_s$. Finally, we prove Birman's conjecture, namely, that the desingularization map $η: SA \to \Z [A]$ is injective, for right-angled singular Artin monoids.
We introduce methods to study the combinatorics of the normal form of large random elements in Artin-Tits monoids. These methods also apply in an axiomatic framework that encompasses other monoids such as dual braid monoids.
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 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 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 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.
Rodaro and Silva proved that the fixed points submonoid and the periodic points submonoid of a trace monoid endomorphism are always finitely generated. We show that for finitely generated left preGarside monoids, that includs finitely generated preGarside monoids, Garside monoids and Artin monoids, the fixed and periodic points submonoids of any endomorphism are also finitely generated left preGarside monoids under some condition, and in the case of Artin monoids, these submonoids are always Artin monoids too. We also prove algebraically some inequalities, equivalences and non-equivalences bet…
In this paper we introduce and study some geometric objects associated to Artin monoids. The Deligne complex for an Artin group is a cube complex that was introduced by the second author and Davis (1995) to study the K(π,1) conjecture for these groups. Using a notion of Artin monoid cosets, we construct a version of the Deligne complex for Artin monoids. We show that for any Artin monoid this cube complex is contractible. Furthermore, we study the embedding of the monoid Deligne complex into the Deligne complex for the corresponding Artin group. We show that for any Artin group this is a local…
We expound the properties of ribbons in a setting which is general enough to encompass spherical Artin monoids and dual braid monoids of well-generated complex reflection groups. We generalize to our setting results on parabolic subgroups of spherical Artin group of Godelle, Cumplido, and others.
In this paper we study the growth rates of Artin monoids and we show that 4 is a universal upper bound. We also show that the generating functions of the associated right-angled Artin monoids are given by families of Chebyshev polynomials. Applications to Artin groups and positive braids are given.
We prove that certain sequences of Artin monoids containing the braid monoid as a submonoid satisfy homological stability. When the $K(π,1)$ conjecture holds for the associated family of Artin groups this establishes homological stability for these groups. In particular, this recovers and extends Arnol'd's proof of stability for the Artin groups of type $A$, $B$ and $D$.
We study various aspects of the structure and representation theory of singular Artin monoids. This includes a number of generalizations of the desingularization map and explicit presentations for certain finite quotient monoids of diagrammatic nature. The main result is a categorification of the classical desingularization map for singular Artin monoids associated to finite Weyl groups using BGG category $\mathcal{O}$.
In this paper, a connection between rewriting systems and embedding of monoids in groups is found. We show that if a group with a positive presentation has a complete rewriting system $\Re$ that satisfies the condition that each rule in $\Re$ with positive left-hand side has a positive right-hand side, then the monoid presented by the subset of positive rules from $\Re$ embeds in the group. As an example, we give a simple proof that right angled Artin monoids embed in the corresponding right angled Artin groups. This is a special case of the well-known result of Paris \cite{paris} that Artin m…
We construct a quasi-Garside monoid structure for the free group. This monoid should be thought of as a dual braid monoid for the free group, generalising the constructions by Birman-Ko-Lee and by the author of new Garside monoids for Artin groups of spherical type. Conjecturally, an analog construction should be available for arbitrary Artin groups and for braid groups of well-generated complex reflection groups.
We study braid diagrams with a minimal number of crossings. Such braid diagrams correspond to geodesic words for the braid groups with standard Artin generators. We prove that a diagram of a homogeneous braid is minimal if and only if it is homogeneous. We conjecture that monoids of homogeneous braids are Artin-Tits monoids and prove that monoids of alternating braids are right-angled Artin monoids. Using this, we give a lower bound on the growth rate of the braid groups.
A theorem proved by Dobrinskaya in 2006 shows that there is a strong connection between the $K(π,1)$ conjecture for Artin groups and the classifying space of Artin monoids. More recently Ozornova obtained a different proof of Dobrinskaya's theorem based on the application of discrete Morse theory to the standard CW model of the classifying space of an Artin monoid. In Ozornova's work there are hints at some deeper connections between the above-mentioned CW model and the Salvetti complex, a CW complex which arises in the combinatorial study of Artin groups. In this work we show that such connec…
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.
Let W be a Weyl group whose type is a simply laced Dynkin diagram. On several W-orbits of sets of mutually commuting reflections, a poset is described which plays a role in linear representatons of the corresponding Artin group A. The poset generalizes many properties of the usual order on positive roots of W given by height. In this paper, a linear representation of the positive monoid of A is defined by use of the poset.
This paper shows how to construct coherent presentations (presentations by generators, relations and relations among relations) of monoids admitting a right-noetherian Garside family. Thereby, it resolves the question of finding a unifying generalisation of the following two distinct extensions of construction of coherent presentations for spherical Artin-Tits monoids: to general Artin-Tits monoids, and to Garside monoids. The result is applied to some monoids which are neither Artin-Tits nor Garside.
We study monoids generated by Zariski-van Kampen generators in the 17 fundamental groups of the complement of logarithmic free divisors in C^3 listed by Sekiguchi (Theorem 1). Five of them are Artin monoids and eight of them are free abelian monoids. The remaining four monoids are not Gaussian and, hence, are neither Garside nor Artin (Theorem 2). However, we introduce, similarly to Artin monoids, fundamental elements and show their existence (Theorem 3). One of the four non-Gaussian monoids satisfies the cancellation condition (Theorem 4).
A Garside monoid is a cancellative monoid with a finite lattice generating set; a Garside group is the group of fractions of a Garside monoid. The family of Garside groups contains the Artin-Tits groups of spherical type. We generalise the well-known notion of a parabolic subgroup of an Artin-Tits group into that of a parabolic subgroup of a Garside group. We also define the more general notion of a Garside subgroup of a Garside group, which is related to the notion of LCM-homomorphisms between Artin-Tits groups. We prove that most of the properties of parabolic subgroups extend to this subgro…
Lawrence-Krammer representations (LK-representations for short) are linear representations of Artin-Tits groups of small type, which are of importance since they are known to be faithful when the type is spherical, or more generally when restricted to the monoid. If the construction is essentially unique for a given small and spherical type, the structure of the set of LK-representations for a given small type is not understood in general. Another important question is to ask if there exists an analogue of this construction in the non-small cases ; a first answer is given in [Digne, On the lin…
Lawrence-Krammer representations are an important family of linear representations of Artin-Tits groups of small type, which are known, under some assumptions on the parameters, to be faithful when the type is spherical (or more generally when they are restricted to the Artin-Tits monoid) and irreducible when the type is connected. Here, we investigate an analogue of these representations --- introduced by Digne in the spherical cases --- for every Artin-Tits monoid that appears as the submonoid of fixed points of an Artin-Tits monoid of small type under a group of graph automorphisms, and for…
Multifraction reduction is a new approach to the word problem for Artin-Tits groups and, more generally, for the enveloping group of a monoid in which any two elements admit a greatest common divisor. This approach is based on a rewrite system ("reduction") that extends free group reduction. In this paper, we show that assuming that reduction satisfies a weak form of convergence called semi-convergence is sufficient for solving the word problem for the enveloping group, and we connect semi-convergence with other conditions involving reduction. We conjecture that these properties are valid for …
We will study the presentations of fundamental groups of the complement of complexified real affine line arrangements that do not contain two parallel lines. By Yoshinaga's minimal presentation, we can give positive homogeneous presentations of the fundamental groups. We consider the associated monoids defined by the presentations. It turns out that, in some cases, left (resp. right) \emph{least common multiple} does not always exist. Hence, the monoids are neither \emph{Garside} nor \emph{Artin}. Nevertheless, we will show that they carry certain particular elements similar to the \emph{funda…
We improve and shorten the argument given in(Journal of Algebra, vol.~210 (1998) pp~291--297). Inparticular, the fact that Artin braid groups are torsion free now follows from Garsideś results almost immediately.
We derive functional relationships between spherical generating functions of graph monoids, right-angled Artin groups and right-angled Coxeter groups. We use these relationships to express the spherical generating function of a right-angled Artin group in terms of the clique polynomial of its defining graph. We also describe algorithms for computing the geodesic generating functions of these structures.
We describe a new approach to the Word Problem for Artin-Tits groups and, more generally, for the enveloping group U(M) of a monoid M in which any two elements admit a greatest common divisor. The method relies on a rewrite system R(M) that extends free reduction for free groups. Here we show that, if M satisfies what we call the 3-Ore condition about common multiples, what corresponds to type FC in the case of Artin-Tits monoids, then the system R(M) is convergent. Under this assumption, we obtain a unique representation result for the elements of U(M), extending Ore's theorem for groups of f…
We construct a new monoid structure for Artin groups associated with finite Coxeter systems. This monoid shares with the classical positive braid monoid a crucial algebraic property: it is a Garside monoid. The analogy with the classical construction indicates there is a ``dual'' way of studying Coxeter systems, where the pair (W,S) is replaced by (W,T), with T the set of all reflections. In the type A case, we recover the monoid constructed by Birman-Ko-Lee
We present a new procedure to determine the growth function of a homogeneous Garside monoid, with respect to the finite generating set formed by the atoms. In particular, we present a formula for the growth function of each Artin--Tits monoid of spherical type (hence of each braid monoid) with respect to the standard generators, as the inverse of the determinant of a very simple matrix. Using this approach, we show that the exponential growth rates of the Artin--Tits monoids of type $A_n$ (positive braid monoids) tend to $3.233636\ldots$ as $n$ tends to infinity. This number is well-known, as …
We prove that the exponential growth rate of the regular language of penetration sequences is smaller than the growth rate of the regular language of normal form words, if the acceptor of the regular language of normal form words is strongly connected. Moreover, we show that the latter property is satisfied for all irreducible Artin monoids of spherical type, extending a result by Caruso. Our results establish that the expected value of the penetration distance $pd(x,y)$ in an irreducible Artin monoid of spherical type is bounded independently of the length of $x$, if $x$ is chosen uniformly a…
We describe new types of normal forms for braid monoids, Artin-Tits monoids, and, more generally, for all monoids in which divisibility has some convenient lattice properties (``locally Garside monoids''). We show that, in the case of braids, one of these normal forms coincides with the normal form introduced by Burckel and deduce that the latter can be computed easily. This approach leads to a new, simple description for the standard ordering (``Dehornoy order'') of Bn in terms of that of B(n-1), and to a quadratic upper bound for the complexity of this ordering.
Birman, Ko and Lee have introduced a new monoid ${\cal B}^{*}_{n}$--with an explicit presentation--whose group of fractions is the $n$-strand braid group ${\cal B}_{n}$. Building on a new approach by Digne, Michel and himself, Bessis has defined a {\it dual} braid monoid for every finite Coxeter type Artin-Tits group extending the type A case. Here, we give an explicit presentation for this dual braid monoid in the case of types B and D, and we study the combinatorics of the underlying Garside structures.
We study commutation properties of subsets of right-angled Artin groups and trace monoids. We show that if Gamma is any graph not containing a four-cycle without chords, then the group G(Gamma) does not contain four elements whose commutation graph is a four-cycle; a consequence is that G(Gamma) does not have a subgroup isomorphic to a direct product of non-abelian free groups. We also obtain corresponding and more general results for monoids.
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 …
A recent theorem of Dobrinskaya states that the K(π,1)-conjecture holds for an Artin group G if and only if the canonical map from BM to BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an Artin monoid, in the spirit of Charney, Meier and Whittlesey, and a small chain complex for computing its monoid homology, similar to the one of Squier.
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 give new, short proofs of the presentations for the partition monoid and its singular ideal originally given in the author's 2011 papers in J Alg and IJAC.
We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids.
We obtain a presentation for the singular part of the Brauer monoid with respect to an irreducible system of generators, consisting of idempotents. As an application of this result we get a new construction of the symmetric group via connected sequences of subsets. Another application describes the lengths of elements in the singular part of the Brauer monoid with respect to the system of generators, mentioned above.
There are well known relations between braid groups and symmetric groups, between Artin-Briskorn braid groups and Coxeter groups. Inverse braid monoid the same way is related to the inverse symmetric monoid. In the paper we show that similar relations exist between the inverse braid monoid of type $B$ and the inverse reflection monoid of type $B$. This gives a presentation of the last monoid.
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 …
We state a conjecture about centralizers of certain roots of central elements in braid groups, and check it for Artin braid groups and some other cases. Our proof makes use of results by Birman-Ko-Lee; we give a new intrinsic account of these results.
A number of properties of spherical Artin groups extend to Garside groups, defined as the groups of fractions of monoids where least common multiples exist, there is no nontrivial unit, and some additional finiteness conditions are satisfied \cite{Dgk}. Here we investigate a wider class of groups of fractions, called {\it thin}, which are those associated with monoids where minimal common multiples exist, but they are not necessarily unique. Also, we allow units in the involved monoids. The main results are that all thin groups of fractions satisfy a quadratic isoperimetric inequality, and tha…
A combinatorial property of prositive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presentations, and an iterative method for completing an incomplete presentation. We show how to directly read several properties of the associated monoid and group from a complete presentation: cancellativity or existence of common multiples in the case of the monoid, or isoperimetric inequality in the case of the group. In particular, we obtain a new criterion for recognizing that a monoid embeds in a group of fractions. Typical presentations eli…
We construct a family of morphisms between Artin-Tits groups which generalise the ones constructed by J. Crisp in [Injective maps between Artin groups, Proceedings of the Special Year in Geometric Group Theory, Berlin, (1999), 119 -- 138]. We show that their restrictions to the positive Artin monoids respect normal forms, and that for Artin-Tits groups of type FC, these morphisms are injective. The proof of the second result uses the Deligne Complex, and the normal cube paths constructed in [G. Niblo and L. Reeves, The geometry of cube complexes and the complexity of their fundamental groups, …
We define the notion of preGarside group slightly lightening the definition of Garside group so that all Artin-Tits groups are preGarside groups. This paper intends to give a first basic study on these groups. Firstly, we introduce the notion of parabolic subgroup, we prove that any preGarside group has a (partial) complemented presentation, and we characterize the parbolic subgroups in terms of these presentations. Afterwards we prove that the amalgamated product of two preGarside groups along a common parabolic subgroup is again a preGarside group. This enables us to define the family of pre…
Inverse braid monoid describes a structure on braids where the number of strings is not fixed. So, some strings of initial $n$ may be deleted. In the paper we show that many properties and objects based on braid groups may be extended to the inverse braid monoids. Namely we prove an inclusion into a monoid of partial monomorphisms of a free group. This gives a solution of the word problem. Another solution is obtained by an approach similar to that of Garside. We give also the analogues of Artin presentation with two generators and Sergiescu graph-presentations.
Define a Garside monoid to be a cancellative monoid where right and left lcm's exist and that satisfy additional finiteness assumptions, and a Garside group to be the group of fractions of a Garside monoid. The family of Garside groups contains the braid groups, all spherical Artin groups, and various generalizations previously considered (In particular, the Garside groups considered in [1,7] are special cases of those considered here; the latter had been called "small Gaussian" in earlier works; the name has been changed in order to uniformize the terminology with works by Bessis, Charney, Mi…
Braid groups and mapping class groups have many features in common. Similarly to the notion of inverse braid monoid inverse mapping class monoid is defined. It concerns surfaces with punctures, but among given $n$ punctures several can be omitted. This corresponds to braids where the number of strings is not fixed. In the paper we give the analogue of the Dehn-Nilsen-Baer theorem, propose a presentation of the inverse mapping class monoid for a punctured sphere and study the word problem. This shows that certain properties and objects based on mapping class groups may be extended to the invers…
In this paper we show that the singular braid monoid of an orientable surface can be embedded in a group. The proof is purely topological, making no use of the monoid presentation.
Garside's results and the existense of the greedy normal form for braids are shown to be true for the singular braid monoid. An analogue of the presentation of J. S. Birman, K. H. Ko and S. J. Lee for the braid group is also obtained for this monoid.
We give a solution to the word problem for the singular braid monoid SB_n. The complexity of the algorithm is quadratic in the product of the word length and the number of the singular generators in the word. Furthermore we algebraically reprove a result of Fenn, Keyman and Rourke that the monoid embeds into a group and we compute the cohomological dimension of this group.
Let $G$ be a countable monoid and let $A$ be an Artinian group (resp. an Artinian module). Let $Σ\subset A^G$ be a closed subshift which is also a subgroup (resp. a submodule) of $A^G$. Suppose that $Γ$ is a finitely generated monoid consisting of pairwise commuting cellular automata $Σ\to Σ$ that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of $Γ$ on $Σ$ satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissib…
