The symmetry conjecture for the rational combinatorial Hilbert series

Let mm and nn be positive integers, let S~nm\widetilde{S}_n^m be the set of mm-stable affine permutations, and define the statistics

area(ω):=(m1)(n1)2iAω(i),dinv(ω):=(m1)(n1)2iPSω(i).\operatorname{area}(\omega):=\frac{(m-1)(n-1)}{2}-\sum_i\operatorname{\mathcal{A}}_\omega(i),\qquad \operatorname{dinv}(\omega):=\frac{(m-1)(n-1)}{2}-\sum_i\operatorname{\mathcal{PS}}_\omega(i).

Define the combinatorial Hilbert series by

Hm/n(q,t):=ωS~nmqarea(ω)tdinv(ω).H_{m/n}(q,t):=\sum_{\omega\in\widetilde{S}_n^m}q^{\operatorname{area}(\omega)}t^{\operatorname{dinv}(\omega)}.

The combinatorial Hilbert-series symmetry conjecture. The series is symmetric in qq and tt for all mm and nn:

Hm/n(q,t)=Hm/n(t,q).H_{m/n}(q,t)=H_{m/n}(t,q).

The claim is presented as a conjecture and is related to the rational-slope generalization of the q,tq,t-Catalan symmetry problem; the source does not give a resolution for all m,nm,n.

Sources & referencesView supporting material

Primary source

Eugene Gorsky, Mikhail Mazin and Monica Vazirani, “Affine permutations and rational slope parking functions”, arXiv:1403.0303 (2014).

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.