The commutativity conjecture for excedance–antiexcedance elements

Let SnS_n be the symmetric group, and let k[Sn]\mathbf{k}[S_n] be its group algebra. For a permutation wSnw\in S_n, write excw\operatorname{exc}w for the number of i[n]i\in[n] such that w(i)>iw(i)>i, and anxcw\operatorname{anxc}w for the number of i[n]i\in[n] such that w(i)<iw(i)<i. For a,bNa,b\in\mathbb{N}, define

\mathbf{X}_{a,b}:=\sumnonlimits\limits_{\substack{w\in S_n;\operatorname{exc}w=a;\operatorname{anxc}w=b}}w\in\mathbf{k}[S_n].

Commutativity conjecture. For fixed nn, the elements Xa,b\mathbf{X}_{a,b} commute for all a,bNa,b\in\mathbb{N}; equivalently,

Xa,bXc,d=Xc,dXa,b\mathbf{X}_{a,b}\mathbf{X}_{c,d}=\mathbf{X}_{c,d}\mathbf{X}_{a,b}

for all a,b,c,dNa,b,c,d\in\mathbb{N}. This is presented as an open problem concerning a family of combinatorially defined elements in the symmetric group algebra; the excerpt gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Darij Grinberg, “An introduction to the symmetric group algebra”, arXiv:2507.20706 (2025).

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.