A polynomial expression for the Hilbert series of the quotient ring of diagonal coinvariants (condensed version)

International audience A special case of Haiman's identity [Invent. Math. 149 (2002), pp. 371–407] for the character of the quotient ring of diagonal coinvariants under the diagonal action of the symmetric group yields a formula for the bigraded Hilbert series as a sum of rational functions in...

Full description

Bibliographic Details
Main Author: Haglund, J.
Other Authors: Department of Mathematics Philadelphia, University of Pennsylvania Philadelphia, Bousquet-Mélou, Mireille and Wachs, Michelle and Hultman, Axel
Format: Conference Object
Language:English
Published: HAL CCSD 2011
Subjects:
Online Access:https://hal.inria.fr/hal-01215103
https://hal.inria.fr/hal-01215103/document
https://hal.inria.fr/hal-01215103/file/dmAO0140.pdf
Description
Summary:International audience A special case of Haiman's identity [Invent. Math. 149 (2002), pp. 371–407] for the character of the quotient ring of diagonal coinvariants under the diagonal action of the symmetric group yields a formula for the bigraded Hilbert series as a sum of rational functions in $q,t$. In this paper we show how a summation identity of Garsia and Zabrocki for Macdonald polynomial Pieri coefficients can be used to transform Haiman's formula for the Hilbert series into an explicit polynomial in $q,t$ with integer coefficients. We also provide an equivalent formula for the Hilbert series as the constant term in a multivariate Laurent series. Un cas spécial de l'identité de Haiman [Invent. Math. \textbf149 (2002), pp. 371–407] pour le caractère de l'anneau quotient des coinvariants diagonaux sous l'action du groupe symétrique fournit une formule pour la série de Hilbert bigraduée comme somme de fonctions rationnelles en q,t. Dans cet article nous montrons comment une identité de sommation de Garsia et Zabrocki pour les coefficients de Pieri des polynômes de Macdonald peut être utilisée pour transformer la formule de Haiman pour la série de Hilbert en un polynôme explicite en q,t à coefficients entiers. Nous présentons également une formule équivalente pour la série de Hilbert comme terme constant d'une série de Laurent multivariée.