Nous donnons une description de l'anneau du groupe symétrique ZS_n <br />en tant que sous-anneau d'un produit direct d'anneaux de matrices sur Z,<br />utilisant le plongement de Wedderburn. Des morphismes modulaires<br />donnent des conditions nécessaires à un tuple de telles matrices pour<br />être contenu dans l'image de ZS_n. <br /><br />Résultat 1: Construction d'un système de morphismes modulaires donnant<br />une condition nécessaire et suffisante à un tel tuple.<br /><br />Résultat 2 : Une formule pour un morphisme modulaire de type<br />"décalage d'une case", ainsi précisant une partie d'un résultat de Carter <br />et Payne.

Ce travail traite principalement de l'énumération d'extensions de structures combinatoires classiques appelées chemins de Dyck et fonctions de stationnement. Ces structures, très étudiées en raison de leur rôle fondamental dans de multiples contextes combinatoires, sont aussi étroitement liées à la théorie de la représentation, à la théorie des fonctions symétriques et à la géométrie algébrique, entre autres. En particulier, elles sont liées à l'étude combinatoire des espaces coinvariants diagonaux DRk,n, introduits par Garsia et Haiman, qui sont des représentations du groupe symétrique Gn sur des espaces de polynômes en k jeux de n variables. Dans le cas bivarié, il a été conjecturé que les séries de Hilbert des espaces coinvariants diagonaux « augmentés » DRm2,n et de leur sous-représentation signe DRm2,nɛ sont respectivement égales à une somme de statistiques sur les fonctions de m-stationnement et sur les chemins de m-Dyck. Il existe également une conjecture plus générale pour la série de Frobenius de ces espaces qui s'appelle la conjecture « shuffle » (Haglund et al., 2005). Dans le cas trivarié, Haiman a conjecturé en 1994 les dimensions suivantes : dim(DR3,nɛ) = 2/n(n+1) (4n+1 n-1) et dim(DR3,n) = 2n (n+1)n-2. D'autre part, en 2006, Chapoton a démontré que les intervalles dans le treillis de Tamari sont comptés par 2/n(n+1) (4n+1 n-1). Motivé par ses travaux sur le cas trivarié et par les deux conjectures précédentes, Bergeron a introduit le treillis de m-Tamari et étendu certaines questions concernant les chemins de m-Dyck et les fonctions de m-stationnement pour rendre compte du cas trivarié. Il a conjecturé que : dim(DRm3,nɛ) = m+1/n(mn+1) ((m+1)2n+m n-1), que : dim(DRm3,n) = (m+1)n(mn+1)n-2, et que ces deux cardinalités comptent respectivement les intervalles et les intervalles de stationnement du treillis de m-Tamari. Dans cette thèse, nous démontrons une généralisation commune de ces deux conjectures énumératives que nous avons énoncée avec Bergeron. Plus précisément, avec Mireille Bousquet-Mélou et Guillaume Chapuy, nous avons démontré que la série de Frobenius d'une certaine représentation combinatoire sur les intervalles de stationnement du treillis de m-Tamari est donnée par : Ʃ λ=(λ1,…,λl)˫n (mn+1)l-2 II 1≤i≤l ((m+1)λi λi) Pλ/Zλ. Cette démonstration équivaut à résoudre un nouveau type d'équations différentielles à variable catalytique. Toujours avec Bergeron, nous avons conjecturé que le produit tensoriel de cette représentation combinatoire et de la représentation signe ɛ est isomorphe à DRm3,n. Nous avons également formulé une généralisation de la conjecture « shuffle » en proposant une formule combinatoire explicite pour la série de Frobenius graduée de DRm3,n. Ceci renforce notre hypothèse que l'étude des intervalles du treillis de m-Tamari est bel et bien en lien avec l'étude des espaces DRm3,n. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : combinatoire algébrique, combinatoire énumérative, représentations du groupe symétrique, fonctions génératrices, statistiques.

Cette thèse concerne les valeurs du caractère irréductible (renormalisé) comme fonction de la partition indexant la représentation (et non de la permutation sur laquelle on calcule le caractère). Avec une bonne renormalisation, les caractères s'écrivent comme des polynômes en fonction des coordonnées des diagrammes multirectangulaires d'une part et en fonction des cumulants libres d'autre part ( ce sont des observables du diagramme apparaissant naturellement dans des problèmes d'asymptotique). Nous avons donné des interprétations combinatoires des coefficients de ces différentes expressions. Celles-ci peuvent s'exprimer en termes de cartes, dont le genre est lié au comportement asymptotique du terme correspondant. Ce type d'expression permet d'une part de bien comprendre le comportement asymptotique : nous avons ainsi amélioré les bornes connues sur les caractères ainsi que le domaine de validité d'équivalents classique. D'autre part, la combinatoire apparaissant dans ces questions est riche et a pu être utilisée dans l'étude d'identité sur des fractions rationnelles

Cette HDR présente mes travaux récents en combinatoire (énumérative et algébrique) autour du groupe symétrique, et répartis sur trois axes principaux : les co-quasi-invariants polynomiaux, les matrices à signes alternants et les tableaux boisés.

Cette thèse se situe dans le domaine de la combinatoire algébrique et porte sur l'étude et les applications de trois ordres sur les permutations : les deux ordres faibles (gauche et droit) et l'ordre fort ou de Bruhat. Dans un premier temps, nous étudions l'action du groupe symétrique sur les polynômes multivariés. En particulier, les opérateurs de emph{différences divisées} permettent de définir des bases de l'anneau des polynômes qui généralisent les fonctions de Schur aussi bien du point de vue de leur construction que de leur interprétation géométrique. Nous étudions plus particulièrement la base des polynômes de Grothendieck introduite par Lascoux et Schützenberger. Lascoux a montré qu'un certain produit de polynômes peut s'interpréter comme un produit d'opérateurs de différences divisées. En développant ce produit, nous ré-obtenons un résultat de Lenart et Postnikov et prouvons de plus que le produit s'interprète comme une somme sur un intervalle de l'ordre de Bruhat. Nous présentons aussi l'implantation que nous avons réalisée sur Sage des polynômes multivariés. Cette implantation permet de travailler formellement dans différentes bases et d'effecteur des changements de bases. Elle utilise l'action des différences divisées sur les vecteurs d'exposants des polynômes multivariés. Les bases implantées contiennent en particulier les polynômes de Schubert, les polynômes de Grothendieck et les polynômes clés (ou caractères de Demazure).Dans un second temps, nous étudions le emph{treillis de Tamari} sur les arbres binaires. Celui-ci s'obtient comme un quotient de l'ordre faible sur les permutations : à chaque arbre est associé un intervalle de l'ordre faible formé par ses extensions linéaires. Nous montrons qu'un objet plus général, les intervalles-posets, permet de représenter l'ensemble des intervalles du treillis de Tamari. Grâce à ces objets, nous obtenons une formule récursive donnant pour chaque arbre binaire le nombre d'arbres plus petits ou égaux dans le treillis de Tamari. Nous donnons aussi une nouvelle preuve que la fonction génératrice des intervalles de Tamari vérifie une certaine équation fonctionnelle décrite par Chapoton. Enfin, nous généralisons ces résultats aux treillis de $m$-Tamari. Cette famille de treillis introduite par Bergeron et Préville-Ratelle était décrite uniquement sur les chemins. Nous en donnons une interprétation sur une famille d'arbres binaires en bijection avec les arbres $m+1$-aires. Nous utilisons cette description pour généraliser les résultats obtenus dans le cas du treillis de Tamari classique. Ainsi, nous obtenons une formule comptant le nombre d'éléments plus petits ou égaux qu'un élément donné ainsi qu'une nouvelle preuve de l'équation fonctionnelle des intervalles de $m$-Tamari. Pour finir, nous décrivons des structures algébriques $m$ qui généralisent les algèbres de Hopf $FQSym$ et $PBT$ sur les permutations et les arbres binaires

Cette thèse concerne les valeurs du caractère irréductible (renormalisé) comme fonction de la partition indexant la représentation (et non de la permutation sur laquelle on calcule le caractère). Avec une bonne renormalisation, les caractères s’écrivent comme des polynômes en fonction des coordonnées des diagrammes multirectangulaires d’une part et en fonction des cumulants libres d’autre part ( ce sont des observables du diagramme apparaissant naturellement dans des problèmes d’asymptotique). Nous avons donné des interprétations combinatoires des coefficients de ces différentes expressions. Celles-ci peuvent s’exprimer en termes de cartes, dont le genre est lié au comportement asymptotique du terme correspondant. Ce type d’expression permet d’une part de bien comprendre le comportement asymptotique : nous avons ainsi amélioré les bornes connues sur les caractères ainsi que le domaine de validité d’équivalents classique. D’autre part, la combinatoire apparaissant dans ces questions est riche et a pu être utilisée dans l’étude d’identité sur des fractions rationnelles / The main object of this thesis is the (normalized) irreducible character values of the symmetric group, seen as a function of the partition indexing the representation (and not of the permutation on which we compute the character value). With a good rescaling, the characters can be written as polynomials in so-called Stanley coordinates or in terms of free cumulants (the latter are observables of the diagram, which appear naturally in the asymptotics study of character values). We give a combinatorial interpretation for the coefficients of these two expressions. More precisely, the summans are indexed by maps, whose genus is linked with their asymptotic behaviour. This kind of expression is very useful to obtain asymptotic results : for example, one has given upper bounds on character values and enlarged the domain of validity of some known equivalents. Moreover, the combinatorics involved in these questions is interesting and has been applied to identities on rational functions

Cette thèse se situe dans le domaine de la combinatoire algébrique et porte sur l'étude et les applications de trois ordres sur les permutations : les deux ordres faibles (gauche et droit) et l'ordre fort ou de Bruhat. Dans un premier temps, nous étudions l'action du groupe symétrique sur les polynômes multivariés. En particulier, les opérateurs de emph{différences divisées} permettent de définir des bases de l'anneau des polynômes qui généralisent les fonctions de Schur aussi bien du point de vue de leur construction que de leur interprétation géométrique. Nous étudions plus particulièrement la base des polynômes de Grothendieck introduite par Lascoux et Schützenberger. Lascoux a montré qu'un certain produit de polynômes peut s'interpréter comme un produit d'opérateurs de différences divisées. En développant ce produit, nous ré-obtenons un résultat de Lenart et Postnikov et prouvons de plus que le produit s'interprète comme une somme sur un intervalle de l'ordre de Bruhat. Nous présentons aussi l'implantation que nous avons réalisée sur Sage des polynômes multivariés. Cette implantation permet de travailler formellement dans différentes bases et d'effecteur des changements de bases. Elle utilise l'action des différences divisées sur les vecteurs d'exposants des polynômes multivariés. Les bases implantées contiennent en particulier les polynômes de Schubert, les polynômes de Grothendieck et les polynômes clés (ou caractères de Demazure).Dans un second temps, nous étudions le emph{treillis de Tamari} sur les arbres binaires. Celui-ci s'obtient comme un quotient de l'ordre faible sur les permutations : à chaque arbre est associé un intervalle de l'ordre faible formé par ses extensions linéaires. Nous montrons qu'un objet plus général, les intervalles-posets, permet de représenter l'ensemble des intervalles du treillis de Tamari. Grâce à ces objets, nous obtenons une formule récursive donnant pour chaque arbre binaire le nombre d'arbres plus petits ou égaux dans le treillis de Tamari. Nous donnons aussi une nouvelle preuve que la fonction génératrice des intervalles de Tamari vérifie une certaine équation fonctionnelle décrite par Chapoton. Enfin, nous généralisons ces résultats aux treillis de $m$-Tamari. Cette famille de treillis introduite par Bergeron et Préville-Ratelle était décrite uniquement sur les chemins. Nous en donnons une interprétation sur une famille d'arbres binaires en bijection avec les arbres $m+1$-aires. Nous utilisons cette description pour généraliser les résultats obtenus dans le cas du treillis de Tamari classique. Ainsi, nous obtenons une formule comptant le nombre d'éléments plus petits ou égaux qu'un élément donné ainsi qu'une nouvelle preuve de l'équation fonctionnelle des intervalles de $m$-Tamari. Pour finir, nous décrivons des structures algébriques $m$ qui généralisent les algèbres de Hopf $FQSym$ et $PBT$ sur les permutations et les arbres binaires / This thesis comes within the scope of algebraic combinatorics and studies problems related to three orders on permutations: the two said weak orders (right and left) and the strong order or Bruhat order.We first look at the action of the symmetric group on multivariate polynomials. By using the emph{divided differences} operators, one can obtain some generalisations of the Schur function and form bases of non symmetric multivariate polynomials. This construction is similar to the one of Schur functions and also allows for geometric interpretations. We study more specifically the Grothendieck polynomials which were introduced by Lascoux and Schützenberger. Lascoux proved that a product of these polynomials can be interpreted in terms of a product of divided differences. By developing this product, we reobtain a result of Lenart and Postnikov and also prove that it can be interpreted as a sum over an interval of the Bruhat order. We also present our implementation of multivariate polynomials in Sage. This program allows for formal computation on different bases and also implements many changes of bases. It is based on the action of the divided differences operators. The bases include Schubert polynomials, Grothendieck polynomials and Key polynomials. In a second part, we study the emph{Tamari lattice} on binary trees. This lattice can be obtained as a quotient of the weak order. Each tree is associated with the interval of its linear extensions. We introduce a new object called, emph{interval-posets} of Tamari and show that they are in bijection with the intervals of the Tamari lattice. Using these objects, we give the recursive formula counting the number of elements smaller than or equal to a given tree. We also give a new proof that the generating function of the intervals of the Tamari lattice satisfies some functional equation given by Chapoton. Our final contributions deals with the $m$-Tamari lattices. This family of lattices is a generalization of the classical Tamari lattice. It was introduced by Bergeron and Préville-Ratelle and was only known in terms of paths. We give the description of this order in terms of some family of binary trees, in bijection with $m+1$-ary trees. Thus, we generalize our previous results and obtain a recursive formula counting the number of elements smaller than or equal to a given one and a new proof of the functional equation. We finish with the description of some new $"m"$ Hopf algebras which are generalizations of the known $FQSym$ on permutations and $PBT$ on binary trees

Cette thèse est consacrée à l’étude combinatoire, algébrique et homologique des hyperarbres et des partitions semi-pointées. Nous étudions plus précisément des structures algébriques et homologiques construites à partir des hyperarbres, puis des partitions semi-pointées.Après un bref rappel des notions utilisées, nous utilisons la théorie des espèces de structure afin de déterminer l’action du groupe symétrique sur l’homologie du poset des hyperarbres. Cette action s’identifie à l’action du groupe symétrique liée à la structure anti-cyclique de l’opérade PreLie. Nous raffinons ensuite nos calculs sur une graduation de l’homologie, appelée homologie de Whitney. Cette étude motive l'introduction de la notion d’hyperarbre aux arêtes décorées par une espèce. Une bijection des hyperarbres décorés avec des arbres en boîtes et des partitions décorées permet d’obtenir une formule close pour leur cardinal, à l’aide d’un codage de Prüfer. Nous adaptons ensuite les méthodes de calcul de caractères sur les algèbres de Hopf d’incidence, introduites par W. Schmitt dans le cas de familles de posets bornés, à des familles de posets non bornés vérifiant certaines propriétés. Nous appliquons ensuite cette adaptation aux posets des hyperarbres. Enfin, au cours de notre étude une généralisation des posets des partitions et des posets des partitions pointées apparaît : les poset des partitions semi-pointées. Nous montrons que ces posets sont aussi Cohen-Macaulay, avant de déterminer à l’aide de la théorie des espèces une formule close pour la dimension de l’unique groupe d’homologie non trivial de ces posets / This thesis is dedicated to the combinatorial, algebraic and homological study of hypertrees and semi-pointed partitions. More precisely, we study algebraic and homological structures built from hypertrees and semi-pointed partitions. After recalling briefly the notions needed, we use the theory of species of structures to compute the action of the symmetric group on the homology of the hypertree posets. This action is the same as the action of the symmetric group linked with the anticyclic structure of the PreLie operad. We refine our computations on a grading of the homology : Whitney homology. This study is a motivation for the introduction of the notion of edge-decorated hypertrees. A one-to-one correspondence of decorated hypertrees with box trees and decorated partitions enables us to compute a close formula for the cardinality of decorated hypertrees, thanks to a Prüfer code. Moreover, we adapt computation methods of characters on incidence Hopf algebras, introduced by W. Schmitt for families of bounded posets, to families of unbounded posets satisfying some additional properties, called triangle and diamond posets. We apply these results to the hypertree posets. Finally, we unveil a new family of posets : the semi-pointed partition posets, which generalize both partition posets and pointed partition posets. We show the Cohen-Macaulayness of these posets and obtain, thanks to species theory, a closed formula for the dimension of its unique homology group, which extend the ones established for partition posets and pointed partition posets

Cette thèse est consacrée à l'étude des représentations modulaires des algèbres d'Ariki-Koike, et des liens avec la théorie des cristaux et des bases canoniques de Kashiwara via le théorème de catégorification d'Ariki. Dans un premier temps, on étudie, grâce à des outils combinatoires, les matrices de décomposition de ces algèbres en généralisant les travaux de Geck et Jacon. On classifie entièrement les cas d'existence et de non-existence d'ensembles basiques, en construisant explicitement ces ensembles lorsqu'ils existent. On explicite ensuite les isomorphismes de cristaux pour les représentations de Fock de l'algèbre affine quantique de type A affine. On construit alors un isomorphisme particulier, dit canonique, qui permet entre autres une caractérisation non-récursive de n'importe quelle composante connexe du cristal. On souligne également les liens avec la combinatoire des mots sous-jacente à la structure cristalline des espaces de Fock, en décrivant notamment un analogue de la correspondance de Robinson-Schensted-Knuth pour le type A affine.

Cette thèse est consacrée à l’étude des représentations modulaires des algèbres d’Ariki-Koike, et des liens avec la théorie des cristaux et des bases canoniques de Kashiwara via le théorème de catégorification d’Ariki. Dans un premier temps, on étudie, grâce à des outils combinatoires, les matrices de décomposition de ces algèbres en généralisant les travaux de Geck et Jacon. On classifie entièrement les cas d’existence et de non-existence d’ensembles basiques, en construisant explicitement ces ensembles lorsqu’ils existent. On explicite ensuite les isomorphismes de cristaux pour les représentations de Fock de l’algèbre affine quantique Uq(sle). On construit alors un isomorphisme particulier, dit canonique, qui permet entre autres une caractérisation non-récursive de n’importe quelle composante connexe du cristal. On souligne également les liens avec la combinatoire des mots sous-jacente à la structure cristalline des espaces de Fock, en décrivant notamment un analogue de la correspondance de Robinson-Schensted-Knuth pour le type A affine. / This thesis is devoted to the study of modular representations of Ariki-Koike algebras, and of the connections with Kashiwara’s crystal and canonical bases theory via Ariki’s categorification theorem. First, we study, using combinatorial tools, the decomposition matrices associated to these algebras, generalising the works of Geck and Jacon. We fully classify the cases of existence and non-existence of canonical basic sets, and we explicitely construct these sets when they exist. Next, we make explicit the crystal isomorphisms for Fock spaces representations of the quantum affine algebra Uq(sle). We then construct of a particular isomorphism, so-called canonical, which gives, inter alia, a non-recursive description of any connected component of the crystal. We also stress the links with the combinatorics of words underlying the crystal structure of Fock spaces, by describing notably an analogue of the Robinson-Schensted-Knuth correspondence for affine type A.