A combinatorial formula for the character of the diagonal coinvariants

Author(s): Haglund, J; Haiman, M; Loehr, N; Remmel, J B; Ulyanov, A | Abstract: Let Rn be the ring of coinvariants for the diagonal action of the symmetric group Sn. It is known that the character of Rn as a doubly graded S-module can be expressed using the Frobenius characteristic map as nabla en, where en is the n-th elementary symmetric function and nabla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for nabla en and prove that it has many desirable properties that support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc, and Thibon. We also show that a variety of earlier conjectures and theorems on nabla en are special cases of our conjecture. Finally, we extend our conjectures on nabla en and several on the results supporting them to higher powers nablam en.

[1]  Alain Lascoux,et al.  Ribbon tableaux, Hall–Littlewood functions, quantum affine algebras, and unipotent varieties , 1995 .

[2]  Igor Pak,et al.  Ribbon tile invariants , 2000 .

[3]  Mark Haiman,et al.  Conjectures on the Quotient Ring by Diagonal Invariants , 1994 .

[4]  Nicholas A. Loehr,et al.  Conjectured Statistics for the Higher q, t-Catalan Sequences , 2005, Electron. J. Comb..

[5]  Dennis E. White,et al.  A Schensted Algorithm for Rim Hook Tableaux , 1985, J. Comb. Theory, Ser. A.

[6]  Mark Haiman,et al.  Vanishing theorems and character formulas for the Hilbert scheme of points in the plane , 2001, math/0201148.

[7]  Jeffrey B. Remmel,et al.  Conjectured Combinatorial Models for the Hilbert Series of Generalized Diagonal Harmonics Modules , 2004, Electron. J. Comb..

[8]  A M Garsia,et al.  A positivity result in the theory of Macdonald polynomials , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[9]  James Haglund,et al.  A Schröder Generalization of Haglund's Statistic on Catalan Paths , 2003, Electron. J. Comb..

[10]  Anatol N. Kirillov,et al.  The Bethe Ansatz and the combinatorics of Young tableaux , 1988 .

[11]  Nicholas A. Loehr,et al.  A conjectured combinatorial formula for the Hilbert series for diagonal harmonics , 2005, Discret. Math..

[12]  Anne Schilling,et al.  Branching formula for q-Littlewood-Richardson coefficients , 2003, Adv. Appl. Math..

[13]  Anatol N. Kirillov,et al.  Combinatorics, Bethe Ansatz, and representations of the symmetric group , 1988 .

[14]  Marcel Paul Schützenberger,et al.  La correspondance de Robinson , 1977 .

[15]  Masaki Kashiwara,et al.  Parabolic Kazhdan-Lusztig polynomials and Schubert varieties , 1999 .

[16]  Richard P. Stanley,et al.  Invariants of finite groups and their applications to combinatorics , 1979 .

[17]  James Haglund.  Conjectured statistics for the q,t-Catalan numbers , 2003 .

[18]  François Bergeron,et al.  Identities and Positivity Conjectures for some remarkable Operators in the Theory of Symmetric Functions , 1999 .

[19]  A. Garsia,et al.  A Remarkable q, t-Catalan Sequence and q-Lagrange Inversion , 1996 .

[20]  I. G. MacDonald,et al.  Symmetric functions and Hall polynomials , 1979 .