The biHecke monoid of a finite Coxeter group

Abstract

arXiv : http://arxiv.org/abs/0912.2212 For any finite Coxeter group $W$, we introduce two new objects: its cutting poset and its biHecke monoid. The cutting poset, constructed using a generalization of the notion of blocks in permutation matrices, almost forms a lattice on $W$. The construction of the biHecke monoid relies on the usual combinatorial model for the $0-Hecke$ algebra $H_0(W)$, that is, for the symmetric group, the algebra (or monoid) generated by the elementary bubble sort operators. The authors previously introduced the Hecke group algebra, constructed as the algebra generated simultaneously by the bubble sort and antisort operators, and described its representation theory. In this paper, we consider instead the monoid generated by these operators. We prove that it admits |W| simple and projective modules. In order to construct the simple modules, we introduce for each $w∈W$ a combinatorial module $T_w$ whose support is the interval $[1,w]_R$ in right weak order. This module yields an algebra, whose representation theory generalizes that of the Hecke group algebra, with the combinatorics of descents replaced by that of blocks and of the cutting poset. Pour tout groupe de Coxeter fini $W$, nous définissons deux nouveaux objets : son ordre de coupures et son monoïde de Hecke double. L'ordre de coupures, construit au moyen d'une généralisation de la notion de bloc dans les matrices de permutations, est presque un treillis sur $W$. La construction du monoïde de Hecke double s'appuie sur le modèle combinatoire usuel de la $0-algèbre$ de Hecke $H_0(W)$, pour le groupe symétrique, l'algèbre (ou le monoïde) engendré par les opérateurs de tri par bulles élémentaires. Les auteurs ont introduit précédemment l'algèbre de Hecke-groupe, construite comme l'algèbre engendrée conjointement par les opérateurs de tri et d'anti-tri, et décrit sa théorie des représentations. Dans cet article, nous considérons le monoïde engendré par ces opérateurs. Nous montrons qu'il admet $|W|$ modules simples et projectifs. Afin de construire ses modules simples, nous introduisons pour tout $w∈W$ un module combinatoire $T_w$ dont le support est l'intervalle [$1,w]_R$ pour l'ordre faible droit. Ce module détermine une algèbre dont la théorie des représentations généralise celle de l'algèbre de Hecke groupe, en remplaçant la combinatoire des descentes par celle des blocs et de l'ordre de coupures.