Determinant formula for the weak-order raising operator

From papers

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)iusi.U(u)=\sum_{i\,:\,\ell(us_i)=1+\ell(u)}i\cdot us_i.

For 0k<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)kQ(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.

detD~(n,k)=±i=0k1((n2)(k+i)ki)#(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 n12n\leq 12 and k5k\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.

Progress summary

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

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.