Des graphes orientés aux treillis complets : une nouvelle approche de l'ordre faible sur les goupes de Coxeter
Auteur / Autrice : | François Viard |
Direction : | Frédéric Chapoton, Riccardo Biagioli |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance le 26/11/2015 |
Etablissement(s) : | Lyon 1 |
Ecole(s) doctorale(s) : | École doctorale InfoMaths (Lyon ; 2009-....) |
Partenaire(s) de recherche : | Laboratoire : Institut Camille Jordan (Rhône ; 2005-....) |
Jury : | Président / Présidente : Francesco Brenti |
Examinateurs / Examinatrices : Frédéric Chapoton, Riccardo Biagioli, Yuval Roichman, Vincent Pilaud, Philippe Caldero | |
Rapporteurs / Rapporteuses : Matthew John Dyer, Christophe Hohlweg, Jean-Gabriel Luque |
Mots clés
Résumé
L'ordre faible sur un groupe de Coxeter W est un ordre partiel sur les éléments de W, intervenant dans de nombreux domaines de la combinatoire algébrique. Dans cette thèse, on propose un nouveau modèle général pour l'étude de cet ordre ainsi que d'autres ensembles ordonnés affiliés, et on explore diverses conséquences aussi bien algébriques que combinatoires de cette construction. On commence, dans le chapitre 3, par étudier une version restreinte de ce modèle. Plus précisément, on explique comment on peut associer un ensemble ordonné (aussi appelé « poset » à tout graphe orienté, simple, acyclique et muni d'une valutation sur ses sommets (aussi appelé « graphe valué »). On montre ensuite que ces posets sont en général des semi-treillis inférieurs, des treillis quand le graphe est fini, et on donne une formule explicite pour les valeurs de leurs fonctions de Möbius. On prouve ensuite que l'ordre faible sur les groupes de Coxeter de type A, B et A, le « flag weak order », ainsi que le treillis des idéaux supérieurs et inférieurs de tout poset fini peuvent être décrit avec notre modèle. Cette description amène naturellement à associer une série quasi-symétrique à chaque élément de An et An et on montre que cette série est en fait la série de Stanley associée. On présente dans le chapitre 4 les résultats centraux de la thèse, en effet on y introduit la généralisation de la construction faite au chapitre précédent au cas de tout graphe valué, c'est-à-dire sans condition s'acyclicité et de simplicité. On s'affranchit également de certaines contraintes imposées par la définition du chapitre 3, ce qui nous permet d'associer à tout graphe valué un treillis complet, et non plus un semi-treillis. En particulier, les semi-treillis du chapitre 3 se retrouvent naturellement plongés dans un treillis complet. Ceci nous amène à nous intéresser à des conjectures de Dyer portant sur l'étude d'une extension de l'ordre faible sur tout groupe de Coxeter (entre autres, il est conjecturé que ces extensions sont des treillis complets). On construit alors, à l'aide de notre formalisme, des extensions de l'ordre faible ayant beaucoup des propriétés conjecturalement attachées aux extensions de Dyer, et contenant ces dernières comme sous-poset. On conjecture que l'une de ces extensions coïncide avec celle de Dyer, et on fournit des outils pour le tester. Finalement, on étudie diverses conséquences de notre théorie : la construction d'extensions des semi-treillis cambriens (fin du chapitre 4), la construction d'un nouveau modèle combinatoire pour le treillis de Tamari et m-Tamari (chapitre 5), et enfin on propose une application à la combinatoire des tableaux (chapitre 6)