En mathématiques, les polynômes de MacdonaldPλ(x; t,q) sont une famille de polynômes symétriquesorthogonaux à plusieurs variables, introduite par Ian G. Macdonald en 1987. Il en a ensuite introduit une généralisation non symétrique en 1995. Macdonald associait à l'origine ses polynômes à des poids λ de systèmes de racines finis et utilisait une seule variable t, mais il s'est rendu compte plus tard qu'il était plus naturel de les associer à des systèmes de racines affines plutôt qu'à des systèmes de racines finis, ce qui permet de remplacer la variable t par plusieurs variables différentes t =(t1,..., tk), une pour chacune des k orbites de racines dans le système de racines affines. Les polynômes de Macdonald sont des polynômes à n variables x =(x1,..., xn), où n est le rang du système de racines affines. Ils généralisent de nombreuses autres familles de polynômes orthogonaux, telles que les polynômes de Jack, les polynômes de Hall-Littlewood et les polynômes d'Askey-Wilson, qui eux-mêmes incluent la plupart des polynômes orthogonaux à une variable nommés comme cas particuliers. Les polynômes de Koornwinder sont des polynômes de Macdonald pour certains systèmes de racines non réduits. Ils ont des relations profondes avec les algèbres de Hecke affines et les schémas de Hilbert, qui ont été utilisés pour prouver plusieurs conjectures faites par Macdonald à leur sujet.
Macdonald commence en fait par définir[1] « ses » polynômes de Macdonald sont des vecteurs propres convenablement normalisés de l'opérateur auto-adjoint
avec pour valeurs propres, deux à deux distinctes, . Il montre ensuite que les sont caractérisés par les deux conditions du paragraphe précédent.
Commentaire sur la première définition
En d'autres termes, les polynômes de Macdonald sont obtenus en orthogonalisant la base évidente de AW. L'existence de polynômes avec ces propriétés est facile à montrer (pour tout produit scalaire). Une propriété clé des polynômes de Macdonald est qu'ils sont orthogonaux : si . Ce n'est pas une conséquence triviale de la définition car n'est pas totalement ordonné, et possède donc de nombreux éléments incomparables. Il faut ainsi vérifier que les polynômes correspondants sont toujours orthogonaux. L'orthogonalité peut être prouvée en montrant que les polynômes de Macdonald sont des vecteurs propres pour une algèbre d'opérateurs auto-adjoints qui commutent entre eux et qui ont des espaces propres de dimension un, et en utilisant le fait que les espaces propres pour différentes valeurs propres sont orthogonaux.
Dans le cas de systèmes de racines non simplement lacés (B, C, F, G), on peut faire dépendre le paramètre t de la longueur de la racine, ce qui donne lieu à une famille à trois paramètres de polynômes de Macdonald. On peut aussi étendre la définition au système de racines non réduit BC, auquel cas on obtient une famille à six paramètres (un t pour chaque orbite de racines, plus q) appelée polynômes de Koornwinder. Il est parfois préférable de considérer les polynômes de Macdonald comme dépendant d'un système de racines affine, éventuellement non réduit. Dans ce cas, il y a un paramètre t associé à chaque orbite de racines dans le système de racines affines, plus un paramètre q. Le nombre d'orbites de racines peut varier de 1 à 5.
Exemples
Si q = t, les polynômes de Macdonald deviennent les caractères de Weyl des représentations du groupe compact associé au système de racines, ou les fonctions de Schur dans le cas des systèmes de racines de type A.
Si t = 1, les polynômes de Macdonald deviennent les sommes sur les orbites de W, qui sont les fonctions symétriques des monômes lorsque le système racine est de type A.
Si on pose t = qα et que q tend vers 1, les polynômes de Macdonald deviennent des polynômes de Jack lorsque le système de racines est de type A, et des polynômes de Heckman–Opdam pour les systèmes de racines plus généraux.
Pour le système de racines affines A1, les polynômes de Macdonald sont les polynômes de Rogers.
Pour le système de racines affine non réduit de rang 1 de type (C 1, C1), les polynômes de Macdonald sont les polynômes d'Askey–Wilson, qui à leur tour incluent comme cas particuliers la plupart des familles nommées de polynômes orthogonaux à 1 variable.
Pour le système racinaire affine non réduit de type (C n, Cn), les polynômes de Macdonald sont les polynômes de Koornwinder.
La conjecture du terme constant de Macdonald
Si t = qk pour un entier positif k, alors la norme des polynômes de Macdonald est donnée par
Cela a été conjecturé par Macdonald (1982) comme une généralisation de la conjecture de Dyson, et démontré pour tous les systèmes de racines (réduits) par Cherednik (1995) en utilisant les propriétés des algèbres de Hecke doublement affines (DAHA). La conjecture avait auparavant été prouvée par plusieurs auteurs au cas par cas pour tous les systèmes de racines, sauf ceux de type En.
Il existe deux autres conjectures qui, avec la conjecture de la norme, sont collectivement appelées les conjectures de Macdonald dans ce contexte : en plus de la formule de la norme, Macdonald a conjecturé une formule pour la valeur de Pλ au point tρ, et une symétrie
À nouveau, ces conjectures ont été démontrées pour les systèmes de racines réduits généraux par Cherednik (1995) en utilisant les algèbres de algèbres de Hecke doublement affines ; la démonstration a été étendue au cas BC peu de temps après par des travaux de van Diejen, Noumi et Sahi.
La conjecture de positivité de Macdonald
Dans le cas des systèmes de racines de type , les polynômes de Macdonald sont simplement des polynômes symétriques à n variables avec des coefficients qui sont des fonctions rationnelles de q et t . Une version légèrement modifiée des polynômes de Macdonald (voir la formule combinatoire ci-dessous) forment une base orthogonale de l'espace des fonctions symétriques sur , et peut donc être exprimé en termes de fonctions de Schur. Les coefficients Kλμ(q, t) de ces relations sont appelés les coefficients de Kostka-Macdonald ou coefficients qt-Kostka. Macdonald a conjecturé que les coefficients de Kostka-Macdonald sont des polynômes en q et t dont les coefficients sont des entiers naturels. Ces conjectures sont maintenant démontrées ; l'étape la plus difficile, la dernière, a été de prouver la positivité, ce qui a été fait par Mark Haiman (2001), en prouvant la « conjecture n! »[2].
C'est toujours un problème ouvert central en combinatoire algébrique de trouver une formule combinatoire pour les coefficients qt-Kostka.
La conjecture n!
La conjecture n! d'Adriano Garsia et Mark Haiman stipule que pour chaque partition μ de n l'espace
engendrée par toutes les composées de dérivées partielles de
est de dimension n!, où (pj, qj) parcourt les n éléments du diagramme de la partition μ, considérée comme un sous-ensemble des couples d'entiers naturels. Par exemple, si μ est la partition 3 = 2 + 1 sur n = 3 alors les couples (pj, qj) possibles sont (0, 0), (0, 1), (1, 0), et l'espace Dμ est engendré par
qui est de dimension 6 = 3!.
La démonstration de Haiman de la conjecture de positivité de Macdonald et de la conjecture n! consistait à montrer que le schéma de Hilbert isospectral(en) de n points dans le plan était de Cohen-Macaulay (et même Gorenstein). Des résultats antérieurs de Haiman et Garsia avaient déjà montré que cela impliquait la conjecture n! et que la conjecture n! impliquait que les coefficients de Kostka-Macdonald sont des multiplicités de caractères gradués pour les modules Dμ. Cela entraîne immédiatement la conjecture de positivité de Macdonald car les multiplicités de caractères sont nécessairement des entiers naturels.
Ian Grojnowski et Mark Haiman ont trouvé une autre démonstration de la conjecture de positivité de Macdonald en prouvant une conjecture de positivité pour les polynômes LLT.
Formule combinatoire pour les polynômes de Macdonald
En 2005, J. Haglund, M. Haiman et N. Loehr[3] ont donné la première preuve d'une interprétation combinatoire des polynômes de Macdonald. En 1988, I. G. Macdonald[4] a donné la seconde preuve d'une interprétation combinatoire des polynômes de Macdonald (équations (4.11) et (5.13)). La formule de Macdonald est différente de celle de Haglund, Haiman et Loehr, avec beaucoup moins de termes (cette formule est également prouvée dans l'ouvrage fondateur de Macdonald[5], dans le chapitre VI (7.13)). Bien que très utiles pour le calcul et intéressantes en soi, ces formules combinatoires n'impliquent pas immédiatement la positivité des coefficients de Kostka-Macdonald car elles donnent la décomposition des polynômes de Macdonald dans la base des fonctions symétriques monomiales et pas celle des fonctions de Schur.
Écrites en termes de polynômes de Macdonald transformés plutôt que les plus habituels , elles sont
où σ est un remplissage du diagramme de Young de forme μ, inv et maj sont certaines statistiques combinatoires (fonctions) définies sur le remplissage σ. Cette formule est une expression des polynômes de Macdonald en une infinité de variables. Pour obtenir les polynômes en n variables, il suffit de restreindre la formule aux remplissages qui n'utilisent que les entiers 1, 2,..., n. Le terme xσ doit être interprété comme où σi est le nombre de cases dans le remplissage de μ qui ont le contenu i.
La figure représente le bras et la jambe d'une case d'un diagramme de Young. Le bras est le nombre de cases à sa droite et la jambe est le nombre de cases au-dessus.
Les polynômes de Macdonald modifiés dans la formule ci-dessus sont reliés aux polynômes de Macdonald classiques via une suite de transformations. Premièrement, la forme intégrale des polynômes de Macdonald, notée , est une renormalisation de qui efface les dénominateurs des coefficients :
où est l'ensemble des cases du diagramme de Young de , et et désignent le bras et la jambe du carré , comme indiqué sur la figure. Remarque : la figure ci-contre utilise la notation française pour le tableau, qui est inversée verticalement par rapport à la notation anglaise utilisée sur la page Wikipédia pour les diagrammes de Young.La notation française est plus couramment utilisée dans l'étude des polynômes de Macdonald.
Les polynômes de Macdonald modifiés peut alors être défini en termes des . On a en effet
Cette formule peut être utilisée pour démontrer la formule de Knop et Sahi sur les polynômes de Jack.
Polynômes de Macdonald non symétriques
En 1995, Macdonald a introduit un analogue non symétrique des polynômes de Macdonald symétriques, et les polynômes de Macdonald symétriques peuvent facilement être retrouvés à partir de la version non symétrique. Dans sa définition originale, il caractérise les polynômes de Macdonald non symétriques comme une famille unique de polynômes orthogonaux pour un certain produit scalaire et qui satisfont à une propriété de triangularité lorsqu'ils sont développés dans la base des monômes.
En 2007, Haglund, Haiman et Loehr ont donné une formule combinatoire pour les polynômes de Macdonald non symétriques.
Les polynômes de Macdonald non symétriques se spécialisent en caractères de Demazure en prenant q = t = 0, et en polynômes clés lorsque q = t = ∞.
Formules combinatoires basées sur le processus d'exclusion
En 2018, S. Corteel, O. Mandelshtam et L. Williams ont utilisé le processus d'exclusion pour donner une caractérisation combinatoire directe des polynômes de Macdonald, à la fois les symétriques et les non symétriques[6]. Leurs résultats diffèrent des travaux antérieurs de Haglund en partie parce qu'ils donnent directement une formule pour les polynômes de Macdonald plutôt qu'une transformation de ceux-ci. Les autrices développent le concept d'une file d'attente multiligne, qui est une matrice contenant des boules ou des cellules vides, ainsi qu'une application entre les boules et leurs voisines et un mécanisme d'étiquetage combinatoire. Le polynôme de Macdonald non symétrique s'écrit alors :
où la somme porte sur toutes les files d'attente multilignes de type et est une fonction de pondération qui associe des polynômes spécifiques à ces files d'attente. Le polynôme de Macdonald symétrique, lui, est :
où la somme extérieure porte sur toutes les compositions distinctes qui sont des permutations de la partition , et la somme intérieure est la même que ci-dessus.
↑(en) I. G. Macdonald, « A new class of symmetric functions », Séminaire lotharingien de combinatoire, Universität Wien, Fakultät für Mathematik, vol. 20, , p. 143-145 (ISSN1286-4889, lire en ligne).
↑Macdonald, I. G. A new class of symmetric functions. Publ. I.R.M.A. Strasbourg, 1988, 372/S–20 Actes 20e Séminaire Lotharingien, p. 131–171. eudml.org
↑Macdonald, I. G. Symmetric functions and Hall polynomials. Second edition. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 pp. (ISBN0-19-853489-2) MR1354144
↑Sylvie Corteel, Olya Mandelshtam et Lauren Williams, « From multiline queues to Macdonald polynomials via the exclusion process », American Journal of Mathematics, vol. 144, , p. 395-436 (arXiv1811.01024)
I. G. Macdonald, « Some conjectures for root systems », SIAM Journal on Mathematical Analysis, vol. 13, no 6, , p. 988-1007 (ISSN0036-1410, DOI10.1137/0513070, MR674768)
I. G. Macdonald, Symmetric functions and Hall polynomials, New York, The Clarendon Press, Oxford University Press, coll. « Oxford Mathematical Monographs », , 2e éd., x+475 (ISBN0-19-853489-2, MR1354144)
I. G. Macdonald, Symmetric functions and orthogonal polynomials : Dean Jacqueline B. Lewis Memorial Lectures presented at Rutgers University, New Brunswick, NJ, vol. 12, Providence, RI, American Mathematical Society, coll. « University Lecture Series », , xvi+53 (ISBN0-8218-0770-6, MR1488699)
Macdonald, I. G. Affine Hecke algebras and orthogonal polynomials. Séminaire Bourbaki 797 (1995).