A-type Kostka polynomial formula

Let P\mathcal{P} denote the set of partitions, let μP\mu\in\mathcal{P} and νZn\nu\in\mathbb{Z}^n satisfy l(μ)nl(\mu)\leq n and μ=ν|\mu|=|\nu|, and let KμνK_{\mu\nu} be the corresponding Kostka polynomial. Write ρ\rho for the Weyl vector of An1A_{n-1}, QQ for its root lattice, SnS_n for the symmetric group, and ϵ\epsilon for the sign character. For a composition η\eta, let (q)η=i1(q)ηi(q)_\eta=\prod_{i\geq1}(q)_{\eta_i}, let m(η)m(\eta) be its multiplicity vector, and use the Gaussian multinomial notation displayed in the source. The A-type Kostka polynomial conjecture.

Kμν=ηPη1n1ημ(modn)σSnλnQ+σ(ρ)ρϵ(σ)q12n(λλ+2ρ)1(q)m(η)[m(η)ηνn(1n)+ν][m(η)ημn(1n)+μλ].K_{\mu\nu}= \sum_{\substack{\eta\in\mathcal{P}\\ \eta_1\leq n-1\\|\eta|\equiv|\mu|\pmod n}} \sum_{\sigma\in S_n}\sum_{\lambda\in nQ+\sigma(\rho)-\rho} \epsilon(\sigma)q^{\frac{1}{2n}(\lambda|\lambda+2\rho)} \frac{1}{(q)_{m(\eta)}} \genfrac{[}{]}{0pt}{}{m(\eta)}{\frac{|\eta|-|\nu|}{n}(1^n)+\nu} \genfrac{[}{]}{0pt}{}{m(\eta)}{\frac{|\eta|-|\mu|}{n}(1^n)+\mu-\lambda}.

This is presented as a conjectural explicit expression for Kostka polynomials in terms of root-lattice sums and Gaussian multinomials; its resolution is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

S. Ole Warnaar, “The Bailey lemma and Kostka polynomials”, arXiv:math/0207030 (2002).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.