The commutativity conjecture for excedance–antiexcedance elements

About 1 year old · traced to

Let SnS_n be the symmetric group, and let k[Sn]\mathbf{k}[S_n] be its group algebra. For a permutation w∈Snw\in S_n, write exc⁡w\operatorname{exc}w for the number of i∈[n]i\in[n] such that w(i)>iw(i)>i, and anxc⁡w\operatorname{anxc}w for the number of i∈[n]i\in[n] such that w(i)<iw(i)<i. For a,b∈Na,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,b∈Na,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,d∈Na,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.

References

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.