Determinant formula for the weak-order raising operator

At least 8 years old · documented by

Let WnW_n be the weak order on the symmetric group SnS_n, ranked by inversion number, and let UU be the order-raising operator defined by

U(u)=∑i : ℓ(usi)=1+ℓ(u)i⋅usi.U(u)=\sum_{i\,:\,\ell(us_i)=1+\ell(u)}i\cdot us_i.

For 0≤k<12(n2)0\leq k<\frac12\binom n2, let D~(n,k)\tilde{D}(n,k) be the matrix of the map U(n2)−2k ⁣:Q(Wn)k→Q(Wn)(n2)−kU^{\binom n2-2k}\colon \mathbb{Q}(W_n)_k\to\mathbb{Q}(W_n)_{\binom n2-k} after dividing every entry by ((n2)−2k)!(\binom n2-2k)!. The determinant conjecture.

det⁡D~(n,k)=±∏i=0k−1((n2)−(k+i)k−i)#(Wn)i.\det \tilde{D}(n,k)=\pm\prod_{i=0}^{k-1}\left(\frac{\binom n2-(k+i)}{k-i}\right)^{\#(W_n)_i}.

This formula has been verified for all pairs (n,k)(n,k) with n≤12n\leq 12 and k≤5k\leq 5, as well as in a few additional cases. If true, it would establish the required nonsingularity of the raising maps and hence strong Sperner properties for the weak order.

References

Primary source

Richard P. Stanley, “Some Schubert shenanigans”, arXiv:1704.00851 (2017).

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.