The mm-shuffle conjecture

About 23 years old · traced to

Fix positive integers m,nm,n and set δn=(n−1,n−2,…,1,0)\delta_n=(n-1,n-2,\ldots,1,0). For a partition λ⊆mδn\lambda\subseteq m\delta_n, let TT be a semistandard tableau of shape (λ+(1n))/λ(\lambda+(1^n))/\lambda, and let dinv⁡m(T)\operatorname{dinv}_m(T) be the generalized d-inversion statistic defined using dm(i,j)=mi+jd_m(i,j)=mi+j. Define

Dn(m)(z;q,t)=∑λ⊆mδn  ∑T∈SSYT⁡(λ+(1n)/λ)t∣mδn/λ∣qdinv⁡m(T)zT.D_n^{(m)}(z;q,t)=\sum_{\lambda\subseteq m\delta_n}\;\sum_{T\in\operatorname{SSYT}(\lambda+(1^n)/\lambda)}t^{|m\delta_n/\lambda|}q^{\operatorname{dinv}_m(T)}z^T.

Here ∇m\nabla^m is the mmth power of the nabla operator and en,hμe_n,h_\mu have their usual symmetric-function meanings. The mm-shuffle conjecture. One has

∇men(z)=Dn(m)(z;q,t).\nabla^m e_n(z)=D_n^{(m)}(z;q,t).

Equivalently, for every partition μ\mu,

⟨∇men,hμ⟩=∑λ⊆mδn  ∑T∈SSYT⁡(λ+(1n)/λ,μ)t∣mδn/λ∣qdinv⁡m(T).\langle\nabla^m e_n,h_\mu\rangle=\sum_{\lambda\subseteq m\delta_n}\;\sum_{T\in\operatorname{SSYT}(\lambda+(1^n)/\lambda,\mu)}t^{|m\delta_n/\lambda|}q^{\operatorname{dinv}_m(T)}.

This extends the m=1m=1 tableau formula and is related to conjectures on generalized diagonal coinvariants. The supplied text gives no resolution.

References

Primary source

J. Haglund, M. Haiman, N. Loehr, J. B. Remmel and A. Ulyanov, “A Combinatorial Formula for the Character of the Diagonal Coinvariants”, arXiv:math/0310424 (2004).

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.