Search

A new family of groups, called trickle groups, is presented. These groups generalize right-angled Artin and Coxeter groups, as well as cactus groups. A trickle group is defined by a presentation with relations of the form $xy = zx$ and $x^\mu = 1$, that are governed by a simplicial graph, called a trickle graph, endowed with a partial ordering on the vertices, a vertex labeling, and an automorphism of the star of each vertex. We show several examples of trickle groups, including extended cactus groups, certain finite-index subgroups of virtual cactus groups, Thompson group F, and ordered quandle groups. A terminating and confluent rewriting system is established for trickle groups, enabling the definition of normal forms and a solution to the word problem. An alternative solution to the word problem is also presented, offering a simpler formulation akin to Tits' approach for Coxeter groups and Green's for graph products of cyclic groups. A natural notion of a parabolic subgraph of a trickle graph is introduced. The subgroup generated by the vertices of such a subgraph is called a standard parabolic subgroup and it is shown to be the trickle group associated with the subgraph itself. The intersection of two standard parabolic subgroups is also proven to be a standard parabolic subgroup. If only relations of the form $xy = zx$ are retained in the definition of a trickle group, then the resulting group is called a preGarside trickle group. Such a group is proved to be a preGarside group, a torsion-free group, and a Garside group if and only if its associated trickle graph is finite and complete.

We continue the study of the retraction from an Artin group to a standard parabolic subgroup introduced by Blufstein, Charney, Paris and the second author. Using right and left retractions we obtain new results on minimal parabolic subgroups, intersection of parabolic subgroups, double cosets with respect to parabolic subgroups and conjugacy classes in Artin groups.

Abstract. We address the conjecture which states that an intersection of parabolic subgroups of an Artin-Tits group is a parabolic subgroup. We prove that the conjecture is equivalent to a, a priori, weaker conjecture. We also prove the conjecture in a specific case. Along the way, we provide short and almost self-contain algebraical proofs of several classical results on Artin-Tits groups, such as those of Van der Lek on intersection of standard parabolic subgroups.

We prove an analogue of the Centralizer Theorem in the context of Artin-Tits groups.

A conjecture of Dehornoy claims that, given a presentation of an Artin-Tits group, every word that represents the identity can be transformed into the trivial word using the braid relations, together with certain rules (between pairs of words that are not both positive) that can be derived directly from the braid relations, as well as free reduction, but without introducing trivial factors $ss^{-1} $ or $s^{-1} s$. This conjecture is known to be true for Artin-Tits groups of spherical type or of FC type. We prove the conjecture for Artin--Tits groups of sufficiently large type.

This text consists of additions to the book "Foundations of Garside Theory", EMS Tracts in Mathematics, vol. 22 (2015) -- see introduction and table of contents in arXiv:1309.0796 -- namely skipped proofs and solutions to selected exercises.

In this paper we study abelian and metabelian quotients of braid groups on oriented surfaces with boundary components. We provide group presentations and we prove rigidity results for these quotients arising from exact sequences related to (generalised) Fadell-Neuwirth fibrations., Comment: This paper supersedes arXiv:1106.4982. The results of previous paper have been revisited and improved and new results have been added

This text consists of the introduction, table of contents, and bibliography of a long manuscript (703 pages) that is currently submitted for publication. This manuscript develops an extension of Garside's approach to braid groups and provides a unified treatment for the various algebraic structures that appear in this context. The complete text can be found at http://www.math.unicaen.fr/~garside/Garside.pdf.

To every group of $I$-type, we associate a finite quotient group that plays the role that Coxeter groups play for Artin-Tits groups. Since groups of I-type are examples of Garside groups, this answers a question of D. Bessis in the particular case of groups of I-type. Groups of $I$-type are related to finite set theoretical solutions of the Yang-Baxter equation.

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 preGarside groups of FC type as the smallest family of preGarside groups that contains the Garside groups and that is closed by amalgamation along parabolic subgroups. Finally, we make an algebraic and combinatorial study on FC type preGarside groups and their parabolic subgroups.

We conjecture that the word problem of Artin-Tits groups can be solved without introducing trivial factors ss^{-1} or s^{-1}s. Here we make this statement precise and explain how it can be seen as a weak form of hyperbolicity. We prove the conjecture in the case of Artin-Tits groups of type FC, and we discuss various possible approaches for further extensions, in particular a syntactic argument that works at least in the right-angled case.

We consider exact sequences and lower central series of surface braid groups and we explain how they can prove to be useful for obtaining representations for surface braid groups. In particular, using a completely algebraic framework, we describe the notion of extension of a representation introduced and studied recently by An and Ko and independently by Blanchet., Comment: 23 pages, 4 figures

This paper is a short survey on four basic questions on Artin-Tits groups: the torsion, the center, the word problem, and the cohomology ($K(\pi,1)$ problem). It is also an opportunity to prove three new results concerning these questions: (1) if all free of infinity Artin-Tits groups are torsion free, then all Artin-Tits groups will be torsion free; (2) If all free of infinity irreducible non-spherical type Artin-Tits groups have a trivial center then all irreducible non-spherical type Artin-Tits groups will have a trivial center; (3) if all free of infinity Artin-Tits groups have solutions to the word problem, then all Artin-Tits groups will have solutions to the word problem. Recall that an Artin-Tits group is free of infinity if its Coxeter graph has no edge labeled by $\infty$.

We establish a correspondence between the invariant subsets of a non-degenerate symmetric set-theoretical solution of the quantum Yang-Baxter equation and the parabolic subgroups of its structure group, equipped with its canonical Garside structure. Moreover, we introduce the notion of a foldable solution, which extends the one of a decomposable solution.

Let $\Gamma$ be a Coxeter graph, let $(W,S)$ be its associated Coxeter system, and let $(A,\Sigma$) be its associated Artin-Tits system. We regard $W$ as a reflection group acting on a real vector space $V$. Let $I$ be the Tits cone, and let $E_\Gamma$ be the complement in $I +iV$ of the reflecting hyperplanes. Recall that Charney, Davis, and Salvetti have constructed a simplicial complex $\Omega(\Gamma)$ having the same homotopy type as $E_\Gamma$. We observe that, if $T \subset S$, then $\Omega(\Gamma_T)$ naturally embeds into $\Omega (\Gamma)$. We prove that this embedding admits a retraction $\pi_T: \Omega(\Gamma) \to \Omega (\Gamma_T)$, and we deduce several topological and combinatorial results on parabolic subgroups of $A$. From a family $\SS$ of subsets of $S$ having certain properties, we construct a cube complex $\Phi$, we show that $\Phi$ has the same homotopy type as the universal cover of $E_\Gamma$, and we prove that $\Phi$ is CAT(0) if and only if $\SS$ is a flag complex. We say that $X \subset S$ is free of infinity if $\Gamma_X$ has no edge labeled by $\infty$. We show that, if $E_{\Gamma_X}$ is aspherical and $A_X$ has a solution to the word problem for all $X \subset S$ free of infinity, then $E_\Gamma$ is aspherical and $A$ has a solution to the word problem. We apply these results to the virtual braid group $VB_n$. In particular, we give a solution to the word problem in $VB_n$, and we prove that the virtual cohomological dimension of $VB_n$ is $n-1$.

We associate with every Renner monoid $R$ a \emph{generic Hecke algebra} $\H(R)$ over $\mathbb{Z}[q]$ which is a deformation of the monoid $\mathbb{Z}$-algebra of $R$. If $M$ is a finite reductive monoid with Borel subgroup $B$ and associated Renner monoid $R$, then we obtain the associated Iwahori-Hecke algebra $\H(M,B)$ by specialising $q$ in $\H(R)$ and tensoring by $\mathbb{C}$ over $\mathbb{Z}$, as in the classical case of finite algebraic groups. This answers positively to a long-standing question of L. Solomon.

The attracting set and the inverse limit set are important objects associated to a self-map on a set. We call \emph{stable set} of the self-map the projection of the inverse limit set. It is included in the attracting set, but is not equal in the general case. Here we determine whether or not the equality holds in several particular cases, among which are the case of a dense range continuous function on an Hilbert space, and the case of a substitution over left infinite words.

We provide every Renner monoids with a monoid presentation, and we introduce a length function which extends the Coxeter length function.

We introduce and investigate the ribbon groupoid associated with a Garside group. Under a technical hypothesis, we prove that this category is a Garside groupoid. We decompose this groupoid into a semi-direct product of two of its parabolic subgroupoids and provide a groupoid presentation. In order to established the latter result, we describe quasi-centralizers in Garside groups. All results hold in the particular case of Artin-Tits groups of spherical type.

We prove that the conjugacy problem in right-angled Artin groups (RAAGs), as well as in a large and natural class of subgroups of RAAGs, can be solved in linear-time. This class of subgroups contains, for instance, all graph braid groups (i.e. fundamental groups of configuration spaces of points in graphs), many hyperbolic groups, and it coincides with the class of fundamental groups of ``special cube complexes'' studied independently by Haglund and Wise., Comment: 29 pages, 7 figures

We provide new group presentations for surface braid groups which are positive. We study some properties of such presentations and we solve the conjugacy problem in a particular case.

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 subgroups.

We show thatthe double reversing algorithm proposed by dehornoy for solving the word problem in the braid group can also be used to recognize the conjugates of powers of the generators in an Artin group of spherical type. The proof uses a characterization of these powers in terms of their fractional decomposition. This algorithm could have potential applications to braid-based cryptography; it also provides a fast method for testing a necessary condition in the classification of surfaces in algebraic geometry.

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 $\tau_s$ coincides with the centralizer of any non-zero power of the corresponding non-singular generator $\sigma_s$. Finally, we prove Birman's conjecture, namely, that the desingularization map $\eta: SA \to \Z [A]$ is injective, for right-angled singular Artin monoids.

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, Topology 37 (1998) 621-633] and [J.A. Altobelli and R. Charney, A geometric Rational Form for Artin Groups of FC type, Geom. Dedicata, 79 (2000) 277-289]. Resume: On construit une classe de morphismes entre groupes d'Artin-Tits qui generalise celle construite par J. Crisp dans [Injective maps between Artin groups, Proceedings of the Special Year in Geometric Group Theory, Berlin, (1999), 119 -- 138]. On montre que leurs restrictions aux monoides respectent les formes normales, et que pour les groupes d'Artin-Tits de type FC ces morphismes sont injectifs. La demonstration du second resultat utilise le complexe de Deligne et les chemins cubiques normaux construits dans [G. Niblo et L. Reeves, The geometry of cube complexes and the complexity of their fundamental groups, Topology 37 (1998) 621-633] et [J.A. Altobelli et R. Charney, A geometric Rational Form for Artin Groups of FC type, Geom. Dedicata, 79 (2000) 277-289]., Comment: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol2/agt-2-25.abs.html

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 group and in the Coxeter group., Comment: 14 pages