The facial weak order in finite Coxeter groups

Aram Dermenjian (1, 2) , Christophe Hohlweg (2) , Vincent Pilaud (1)

1 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
2 LaCIM - Laboratoire de combinatoire et d'informatique mathématique [Montréal]

We investigate a poset structure that extends the weak order on a finite Coxeter group W to the set of all faces of the permutahedron of W. We call this order the facial weak order. We first provide two alternative characterizations of this poset: a first one, geometric, that generalizes the notion of inversion sets of roots, and a second one, combinatorial, that uses comparisons of the minimal and maximal length representatives of the cosets. These characterizations are then used to show that the facial weak order is in fact a lattice, generalizing a well-known result of A. Bjo ̈rner for the classical weak order. Finally, we show that any lattice congruence of the classical weak order induces a lattice congruence of the facial weak order, and we give a geometric interpretation of its classes.

Domaines: Combinatoire [math.CO]

Aram Dermenjian, Christophe Hohlweg, Vincent Pilaud. The facial weak order in finite Coxeter groups. 28-th International Conference on Formal Power Series and Algebraic Combinatorics, Simon Fraser University, Jul 2016, Vancouver, Canada. ⟨10.46298/dmtcs.6399⟩. ⟨hal-02173386⟩