Source author record

Thomas Gobet

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
7topics
4close collaborators

Published work

13 publications

preprint2023arXiv

Odd and even Fibonacci lattices arising from a Garside monoid

We study two families of lattices whose number of elements are given by the numbers in even (respectively odd) positions in the Fibonacci sequence. The even Fibonacci lattice arises as the lattice of simple elements of a Garside monoid partially ordered by left-divisibility, and the odd Fibonacci lattice is an order ideal in the even one. We give a combinatorial proof of the lattice property, relying on a description of words for the Garside element in terms of Schröder trees, and on a recursive description of the even Fibonacci lattice. This yields an explicit formula to calculate meets and joins in the lattice. As a byproduct we also obtain that the number of words for the Garside element is given by a little Schröder number.

preprint2022arXiv

Toric reflection groups

Several finite complex reflection groups have a braid group which is isomorphic to a torus knot group. The reflection group is obtained from the torus knot group by declaring meridians to have order kk for some k≥2k\geq 2, and meridians are mapped to reflections. We study all possible quotients of torus knot groups obtained by requiring meridians to have finite order. Using the theory of JJ-groups of Achar and Aubert, we show that these groups behave like (in general infinite) complex reflection groups of rank two. The large family of "toric reflection groups" which we obtain includes, among others, all finite complex reflection groups of rank two with a single conjugacy class of reflecting hyperplanes, as well as Coxeter's truncations of the 33-strand braid group. We classify these toric reflection groups and explain why the corresponding torus knot group can be naturally considered as its braid group. In particular, this yields a new infinite family of reflection-like groups admitting a braid group which is a Garside group. Moreover, we show that a toric reflection group has cyclic center by showing that the quotient by the center is isomorphic to the alternating subgroup of a Coxeter group of rank three. To this end we use the fact that the center of the alternating subgroup of an irreducible, infinite Coxeter group of rank at least three is trivial. Several ingredients of the proofs are purely Coxeter-theoretic, and might be of independent interest.

preprint2021arXiv

On torus knot groups and a submonoid of the braid group

The submonoid of the 33-strand braid group B3\mathcal{B}_3 generated by σ1σ_1 and σ1σ2σ_1 σ_2 is known to yield an exotic Garside structure on B3\mathcal{B}_3. We introduce and study an infinite family (Mn)n≥1(M_n)_{n\geq 1} of Garside monoids generalizing this exotic Garside structure, i.e., such that M2M_2 is isomorphic to the above monoid. The corresponding Garside group G(Mn)G(M_n) is isomorphic to the (n,n+1)(n,n+1)-torus knot group-which is isomorphic to B3\mathcal{B}_3 for n=2n=2 and to the braid group of the exceptional complex reflection group G12G_{12} for n=3n=3. This yields a new Garside structure on (n,n+1)(n,n+1)-torus knot groups, which already admit several distinct Garside structures. The (n,n+1)(n,n+1)-torus knot group is an extension of Bn+1\mathcal{B}_{n+1}, and the Garside monoid MnM_n surjects onto the submonoid ΣnΣ_n of Bn+1\mathcal{B}_{n+1} generated by σ1,σ1σ2,…,σ1σ2⋯σnσ_1, σ_1 σ_2, \dots, σ_1 σ_2\cdots σ_n, which is not a Garside monoid when n>2n>2. Using a new presentation of Bn+1\mathcal{B}_{n+1} that is similar to the presentation of G(Mn)G(M_n), we nevertheless check that ΣnΣ_n is an Ore monoid with group of fractions isomorphic to Bn+1\mathcal{B}_{n+1}, and give a conjectural presentation of it, similar to the defining presentation of MnM_n. This partially answers a question of Dehornoy-Digne-Godelle-Krammer-Michel.

preprint2020arXiv

Parametrization, structure and Bruhat order of certain spherical quotients

Let GG be a reductive algebraic group and let ZZ be the stabilizer of a nilpotent element ee of the Lie algebra of GG. We consider the action of ZZ on the flag variety of GG, and we focus on the case where this action has a finite number of orbits (i.e., ZZ is a spherical subgroup). This holds for instance if ee has height 22. In this case we give a parametrization of the ZZ-orbits and we show that each ZZ-orbit has a structure of algebraic affine bundle. In particular, in type AA, we deduce that each orbit has a natural cell decomposition. In the aim to study the (strong) Bruhat order of the orbits, we define an abstract partial order on certain quotients associated to a Coxeter system. In type AA, we show that the Bruhat order of the ZZ-orbits can be described in this way.

preprint2016arXiv

Coxeter-Catalan combinatorics and Temperley-Lieb algebras

We introduce bijections between generalized type AnA_n noncrossing partitions (that is, associated to arbitrary standard Coxeter elements) and fully commutative elements of the same type. The latter index the diagram basis of the classical Temperley-Lieb algebra, while for each choice of standard Coxeter element the corresponding noncrossing partitions also index a basis, given by the images in the Temperley-Lieb algebra of the simple elements of the dual Garside structure (associated to this choice of standard Coxeter element) of the Artin braid group on n+1n+1 strands. We then show that our bijections come from triangular base changes between the diagram basis and the various bases indexed by noncrossing partitions, by explicitly describing the orders giving triangularity. These orders were introduced in a joint paper with Williams and provide exotic lattice structures on noncrossing partitions. Several combinatorial objects are introduced along the way, including an involution on the set of noncrossing partitions.

preprint2016arXiv

On cycle decompositions in Coxeter groups

The aim of this note is to show that the cycle decomposition of elements of the symmetric group admits a quite natural formulation in the framework of dual Coxeter theory, yielding a generalization of it to the family of so-called parabolic quasi-Coxeter elements of Coxeter groups (in the symmetric group every element is a parabolic quasi-Coxeter element). We show that such an element admits an analogue of the cycle decomposition. Elements which are not in this family still admit a generalized cycle decomposition, but it is not unique in general.

preprint2016arXiv

Twisted filtrations of Soergel bimodules and linear Rouquier complexes

We consider twisted standard filtrations of Soergel bimodules associated to arbitrary Coxeter groups and show that the graded multiplicities in these filtrations can be interpreted as structure constants in the Hecke algebra. This corresponds to the positivity of the polynomials occurring when expressing an element of the canonical basis in a generalized standard basis twisted by a biclosed set of roots in the sense of Dyer, and comes as a corollary of Soergel's conjecture. We then show the positivity of the corresponding inverse polynomials in case the biclosed set is an inversion set of an element or its complement by generalizing a result of Elias and Williamson on the linearity of the Rouquier complexes associated to lifts of these basis elements in the Artin-Tits group. These lifts turn out to be generalizations of mikado braids as introduced in a joint work with Digne. This second positivity property generalizes a result of Dyer and Lehrer from finite to arbitrary Coxeter groups.

preprint2015arXiv

Noncrossing partitions and Bruhat order

We prove that the restriction of Bruhat order to noncrossing partitions in type AnA_n for the Coxeter element c=s1s2...snc=s_1s_2 ...s_n forms a distributive lattice isomorphic to the order ideals of the root poset ordered by inclusion. Motivated by the change-of-basis from the graphical basis of the Temperley-Lieb algebra to the image of the simple elements of the dual braid monoid, we extend this bijection to other Coxeter elements using certain canonical factorizations. In particular, we give new bijections---fixing the set of reflections---between noncrossing partitions associated to distinct Coxeter elements.

preprint2015arXiv

Noncrossing partitions and Bruhat order

We give a criterion for Bruhat order on noncrossing partitions corresponding to the Coxeter element c=s1s2⋯snc=s_1 s_2\cdots s_n. Using it we prove that the Bruhat order endows noncrossing partitions with a lattice structure. We then explain what happens if we change the Coxeter element; in that case the lattice property fails and we explain which order to consider to get the same lattice structure as for the Coxeter element cc. In particular we get bijections between noncrossing partitions associated to distinct Coxeter elements, which fix the set of reflections.

preprint2015arXiv

Noncrossing partitions, fully commutative elements and bases of the Temperley-Lieb algebra

We introduce a new basis of the Temperley-Lieb algebra. It is defined using a bijection between noncrossing partitions and fully commutative elements together with a basis introduced by Zinno, which is obtained by mapping the simple elements of the Birman-Ko-Lee braid monoid to the Temperley-Lieb algebra. The combinatorics of the new basis involve the Bruhat order restricted to noncrossing partitions. As an application we can derive properties of the coefficients of the base change matrix between Zinno's basis and the well-known diagram or Kazhdan-Lusztig basis of the Temperley-Lieb algebra. In particular, we give closed formulas for some of the coefficients of the expansion of an element of the diagram basis in the Zinno basis.

preprint2015arXiv

On the Hurwitz action in finite Coxeter groups

We provide a necessary and sufficient condition on an element of a finite Coxeter group to ensure the transitivity of the Hurwitz action on its set of reduced decompositions into products of reflections. We show that this action is transitive if and only if the element is a parabolic quasi-Coxeter element, that is, if and only if it has a reduced decomposition into a product of reflections that generate a parabolic subgroup.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.