Order-polynomial construction of commutative descent algebras for finite Coxeter groups

About 21 years old · traced to

Let WW be a finite Coxeter group, let w∈Ww\in W, and let ΩW(w;t)\Omega_W(w;t) denote the order polynomial associated with WW and ww. Assume that tWt_W is a linear function depending only on WW. Order-polynomial commutativity conjecture. For all x,yx,y, one has

ΩW(w;tW(xy))=∑uv=wΩW(u;tW(x))ΩW(v;tW(y)).\Omega_W(w;t_W(xy))=\sum_{uv=w}\Omega_W(u;t_W(x))\Omega_W(v;t_W(y)).

This identity would provide, via order polynomials, a commutative subalgebra of Q[W]\mathbb{Q}[W] for every finite Coxeter group, extending the type A and type B constructions. The source presents it as a conjecture; no resolution is supplied here.

References

Primary source

T. Kyle Petersen, “Enriched P-partitions and peak algebras”, arXiv:math/0508041 (2005).

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.