A combinatorial formula for the character of the diagonal coinvariants
type: Item
instance of: scholarly article
title: A combinatorial formula for the character of the diagonal coinvariants
zbMATH Open document ID: 1069.05077
DOI: 10.1215/S0012-7094-04-12621-1
author: J. Haglund
author: Nicholas A. Loehr
author: Alexander P. Ulyanov
author: Mark Haiman
author: Jeffrey Remmel
published in: Duke Mathematical Journal
publication date: 2005-04-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0310424
review text: Let \(R_n={\mathbb C}[{\mathbf x},{\mathbf y}]/I\) be the algebra of coinvariants for the diagonal action of the symmetric group. Here \({\mathbb C}[{\mathbf x},{\mathbf y}]={\mathbb C}[x_1,y_1,\ldots,x_n,y_n]\) and \(I\) is the ideal generated by the \(S_n\)-invariant polynomials without constant term. The algebra \(R_n\) is a doubly graded \(S_n\)-module. Its graded character is encoded by means of its Frobenius series \({\mathcal F}_{R_n}(z;q,t)\). A celebrated conjecture of Garsia and Haiman confirmed by Haiman expresses \({\mathcal F}_{R_n}(z;q,t)\) as \(\nabla e_n(z)\), where \(\nabla\) is a linear operator defined in terms of modified Macdonald symmetric functions and \(e_n(z)\) is the \(n\)th elementary symmetric function. Numerious recent results suggest that one should understand the rather mysterious quantity \(\nabla e_n(z)\) in more combinatorial terms. In the paper under review the authors conjecture a combinatorial formula for the full expansion of \(\nabla e_n(z)\) in terms of monomials, generalizing the Garsia-Haglund formula \(C_n(q,t)=\langle\nabla e_n,e_n\rangle\) for the \(q,t\)-analogue \(C_n(q,t)\) of the Catalan numbers, the Haglund-Loehr conjecture \({\mathcal H}_n(q,t)=\langle\nabla e_n,e_1^n\rangle\) for the Hilbert series \({\mathcal H}_n(q,t)\) of \(R_n\), and a conjecture of Egge, Haglund, Killpatrick, and Kremer (Zbl 1011.05006) expressing \(\langle\nabla e_n,h_de_{n-d}\rangle\) in terms of Schröder paths. The authors prove that their formula has many properties supporting the conjecture. In particular, it is a symmetric function which is Schur positive. Finally, the authors extend their considerations to higher powers \(\nabla^me_n(z)\), giving corresponding conjectured formulas and examining their properties. The results obtained make use of the theory of ribbon tableau generating functions of Lascoux-Leclerc-Thibon.
reviewed by: Vesselin Drensky
Mathematics Subject Classification ID: 05E10
Mathematics Subject Classification ID: 05A30
Mathematics Subject Classification ID: 20C30
zbMATH DE Number: 2151090
zbMATH Keywords: diagonal coinvariants
zbMATH Keywords: Macdonald polynomials
zbMATH Keywords: symmetric polynomials
zbMATH Keywords: partitions
zbMATH Keywords: Hilbert series
zbMATH Keywords: Catalan numbers
zbMATH Keywords: \(q\)-calculus
zbMATH Keywords: symmetric function
MaRDI profile type: Publication
arXiv ID: math/0310424
cites work: Identities and positivity conjectures for some remarkable operators in the theory of symmetric functions
cites work: A Schröder generalization of Haglund's statistic on Catalan paths
cites work: A positivity result in the theory of Macdonald polynomials
cites work: A proof of the \(q,t\)-Catalan positivity conjecture
cites work: A remarkable \(q,t\)-Catalan sequence and \(q\)-Lagrange inversion
cites work: Q5187293
cites work: Conjectured statistics for the \(q,t\)-Catalan numbers.
cites work: Q5693298
cites work: A conjectured combinatorial formula for the Hilbert series for diagonal harmonics
cites work: Conjectures on the quotient ring by diagonal invariants
cites work: \(t,q\)-Catalan numbers and the Hilbert scheme.
cites work: Hilbert schemes, polygraphs and the Macdonald positivity conjecture
cites work: Vanishing theorems and character formulas for the Hilbert scheme of points in the plane
cites work: Q3952291
cites work: Parabolic Kazhdan-Lusztig polynomials and Schubert varieties
cites work: Q4726459
cites work: Q4726460
cites work: Ribbon tableaux, Hall–Littlewood functions, quantum affine algebras, and unipotent varieties
cites work: Littlewood-Richardson coefficients and Kazhdan-Lusztig polynomials.
cites work: Q4328336
cites work: Ribbon tile invariants
cites work: Branching formula for \(q\)-Littlewood--Richardson coefficients
cites work: Invariants of finite groups and their applications to combinatorics
cites work: Q4236280
cites work: A Schensted algorithm for rim hook tableaux
OpenAlex ID: W2060066939
Recommended article: A combinatorial basis for the fermionic diagonal coinvariant ring
Recommended article: Notes on Diagonal Coinvariants of the Dihedral Group
Recommended article: Explicit combinatorial formulas for some irreducible characters of the \(\mathrm{GL}_k \times \mathbb S_n\)-module of multivariate diagonal harmonics
Recommended article: A polynomial expression for the Hilbert series of the quotient ring of diagonal coinvariants
Recommended article: Rational Cherednik algebras and diagonal coinvariants of \(G(m,p,n)\)
Recommended article: Coxeter combinatorics for sum formulas in the representation theory of algebraic groups
Recommended article: The diagonal coinvariant ring of a complex reflection group
Recommended article: An identity for the coefficients of characteristic polynomials of hyperplane arrangements
Recommended article: The combinatorics of the Verlinde formulas
Recommended article: Q2959976
description: scientific article