arXiv subjects

Thomas Gobet

Publications and source records attributed to Thomas Gobet.

At least 19 recordsLinked to original sources

arXiv2026

Interval Garside groups arising from involutions in finite reflection groups

We identify and study the interval Garside groups arising from the restriction of the absolute order on a Coxeter group to a lattice $[1,w]_T$, where $w$ is an involution. Those involutions $w$ for which $[1,w]_T$ is a lattice were previously classified by the second author; every such involution lies in the center of the parabolic subgroup generated by $[1,w]_T$. Except in type $B_n$, the obtained groups are isomorphic to (decomposable) right-angled Artin groups. We also investigate the situation for some finite complex reflection groups, mostly in rank two, taking for $w$ a (not necessarily involutive) central element.

math.GR↗

arXiv2025

Absolute order and involutions

We study the restriction of the absolute order on a Coxeter group $W$ to an interval $[1,w]_T$, where $w\in W$ is an involution. We characterize and classify those involutions $w$ for which $[1,w]_T$ is a lattice, using the notion of involutive parabolic subgroups.

math.GR↗

arXiv2025

Faithful Burau-like representations of some rank two Garside groups and torus knot groups

We give a method to produce faithful representations of the groups $G(n,m)=\langle X, Y \ \vert \ X^m = Y^n \rangle$ in $\mathrm{GL}_2(\mathbb{C}[t^{\pm 1}, q^{\pm 1}])$. These groups are Garside groups and the Garside normal forms of elements of the corresponding monoid can be explicitly recovered from the matrices, in the spirit of Krammer's proof of the linearity of Artin's braid groups. We use this method to construct several explicit faithful representations of the above groups, among which a representation which generalizes the reduced Burau representation of $B_3 \cong G(2,3)$ to a large family of groups of the form $G(n,m)$ with $n$, $m$ coprime (which are torus knot groups). Like the Burau representation, this representation specializes to a representation of a reflection-like quotient that we previously introduced, called \textit{$2$-toric reflection group}. As a byproduct we get a "Burau representation" for some exceptional complex braid groups, which also shows that the latter embed into their Hecke algebra.

math.GR↗

arXiv2023

Elements of minimal length and Bruhat order on fixed point cosets of Coxeter groups

We study the restriction of the strong Bruhat order on an arbitrary Coxeter group $W$ to cosets $x W_L^θ$, where $x$ is an element of $W$ and $W_L^θ$ the subgroup of fixed points of an automorphism $θ$ of order at most two of a standard parabolic subgroup $W_L$ of $W$. When $θ\neq\mathrm{id}$, there is in general more than one element of minimal length in a given coset, and we explain how to relate elements of minimal length. We also show that elements of minimal length in cosets are exactly those elements which are minimal for the restriction of the Bruhat order.

math.RT↗

arXiv2023

On maximal dihedral reflection subgroups and generalized noncrossing partitions

In this note, we give a new proof of a result of Matthew Dyer stating that in an arbitrary Coxeter group $W$, every pair $t,t'$ of distinct reflections lie in a unique maximal dihedral reflection subgroup of $W$. Our proof only relies on the combinatorics of words, in particular we do not use root systems at all. As an application, we deduce a new proof of a recent result of Delucchi-Paolini-Salvetti, stating that the poset $[1,c]_T$ of generalized noncrossing partitions in any Coxeter group of rank $3$ is a lattice. We achieve this by showing the more general statement that any interval of length $3$ in the absolute order on an arbitrary Coxeter group is a lattice. This implies that the interval group attached to any interval $[1,w]_T$ where $w$ is an element of an arbitrary Coxeter group with $\ell_T(w)=3$ is a quasi-Garside group.

math.GR↗

arXiv2023

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.

math.CO↗

arXiv2022

Non symmetric Cauchy kernel, crystals and last passage percolation

We use non-symmetric Cauchy kernel identities to get the law of last passagepercolation models in terms of Demazure characters. The construction is basedon some restrictions of the RSK correspondence that we rephrase in a unifiedway which is compatible with crystal basis theory.

math.CO↗

arXiv2022

A new Garside structure on torus knot groups and some complex braid groups

Several distinct Garside monoids having torus knot groups as groups of fractions are known. For $n,m\geq 2$ two coprime integers, we introduce a new Garside monoid $\mathcal{M}(n,m)$ having as Garside group the $(n,m)$-torus knot group, thereby generalizing to all torus knot groups a construction that we previously gave for the $(n,n+1)$-torus knot group. As a byproduct, we obtain new Garside structures for the braid groups of a few exceptional complex reflection groups of rank two. Analogous Garside structures are also constructed for a few additional braid groups of exceptional complex reflection groups of rank two which are not isomorphic to torus knot groups, namely for $G_{13}$ and for dihedral Artin groups of even type.

math.GR↗

arXiv2022

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 $k$ for some $k\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 $J$-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 $3$-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.

math.GR↗

arXiv2021

On torus knot groups and a submonoid of the braid group

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

math.GR↗

arXiv2020

Braid groups of normalizers of reflection subgroups

Let $W_0$ be a reflection subgroup of a finite complex reflection group $W$, and let $B_0$ and $B$ be their respective braid groups. In order to construct a Hecke algebra $\widetilde{H}_0$ for the normalizer $N_W(W_0)$, one first considers a natural subquotient $\widetilde{B}_0$ of $B$ which is an extension of $N_W(W_0)/W_0$ by $B_0$. We prove that this extension is split when $W$ is a Coxeter group, and deduce a standard basis for the Hecke algebra $\widetilde{H}_0$. We also give classes of both split and non-split examples in the non-Coxeter case.

math.RT↗

arXiv2020

Hecke algebras of normalizers of parabolic subgroups

In the context of Hecke algebras of complex reflection groups, we prove that the generalized Hecke algebras of normalizers of parabolic subgroups are semidirect products, under suitable conditions on the parameters involved in their definition.

math.RT↗

arXiv2020

Parametrization, structure and Bruhat order of certain spherical quotients

Let $G$ be a reductive algebraic group and let $Z$ be the stabilizer of a nilpotent element $e$ of the Lie algebra of $G$. We consider the action of $Z$ on the flag variety of $G$, and we focus on the case where this action has a finite number of orbits (i.e., $Z$ is a spherical subgroup). This holds for instance if $e$ has height $2$. In this case we give a parametrization of the $Z$-orbits and we show that each $Z$-orbit has a structure of algebraic affine bundle. In particular, in type $A$, 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 $A$, we show that the Bruhat order of the $Z$-orbits can be described in this way.

math.RT↗

arXiv2018

A Soergel-like category for complex reflection groups of rank one

We introduce analogues of Soergel bimodules for complex reflection groups of rank one. We give an explicit parametrization of the indecomposable objects of the resulting category and give a presentation of its split Grothendieck ring by generators and relations. This ring turns out to be an extension of the Hecke algebra of the reflection group $W$ and a free module of rank $|W| (|W|-1)+1$ over the base ring. We also show that it is a generically semisimple algebra if defined over the complex numbers.

math.RT↗

arXiv2018

Dual Garside structures and Coxeter sortable elements

In Artin-Tits groups attached to Coxeter groups of spherical type, we give a combinatorial formula to express the simple elements of the dual braid monoids in the classical Artin generators. Every simple dual braid is obtained by lifting an $S$-reduced expression of its image in the Coxeter group, in a way which involves Reading's $c$-sortable elements. It has as an immediate consequence that simple dual braids are Mikado braids (the known proofs of this result either require topological realizations of the Artin groups or categorification techniques), and hence that their images in the Iwahori-Hecke algebras have positivity properties. In the classical types, this requires to give an explicit description of the inverse of Reading's bijection from $c$-sortable elements to noncrossing partitions of a Coxeter element $c$, which might be of independent interest. The bijections are described in terms of the noncrossing partition models in these types. While the proof of the formula is case-by-case, it is entirely combinatorial and we develop an approach which reduces a uniform proof to uniformly proving a lemma about inversion sets of $c$-sortable elements.

math.GR↗

arXiv2017

On generalized categories of Soergel bimodules in type $A_2$

In this note, we compute the split Grothendieck ring of a generalized category of Soergel bimodules of type $A_2$, where we take one generator for each reflection. We give a presentation by generators and relations of it and a parametrization of the indecomposable objects in the category, by realizing them as rings of regular functions on certain unions of graphs of group elements on a reflection faithful representation.

math.RT↗

arXiv2017

Simple dual braids, noncrossing partitions and Mikado braids of type $D_n$

We show that the simple elements of the dual Garside structure of an Artin group of type $D_n$ are Mikado braids, giving a positive answer to a conjecture of Digne and the second author. To this end, we use an embedding of the Artin group of type $D_n$ in a suitable quotient of an Artin group of type $B_n$ noticed by Allcock, of which we give a simple algebraic proof here. This allows one to give a characterization of the Mikado braids of type $D_n$ in terms of those of type $B_n$ and also to describe them topologically. Using this topological representation and Athanasiadis and Reiner's model for noncrossing partitions of type $D_n$ which can be used to represent the simple elements, we deduce the above mentioned conjecture.

math.GR↗

arXiv2016

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.

math.GR↗