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

Let WW be a finite Coxeter group, let wWw\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.

Sources & referencesView supporting material

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.