Sign conjecture for the complete cd-index of Bruhat intervals

From papers

Let (W,S)(W,S) be a Coxeter system and let u,vWu,v\in W with u<vu<v. For a cd{\bf cd}-word ww, write [w]u,v[w]_{u,v} for its coefficient in the complete cd{\bf cd}-index of the Bruhat interval [u,v][u,v].

Sign conjecture. For every cd{\bf cd}-word ww, one has

[w]u,v0.[w]_{u,v}\ge 0.

Every Bruhat interval is shellable and Eulerian, hence Gorenstein^{*}. By work of Karu, the asserted nonnegativity is already known when degw=l(u,v)1\deg w=l(u,v)-1, the top degree for which [w]u,v0[w]_{u,v}\ne0; the conjecture remains open in lower degrees.

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

Louis J. Billera and Francesco Brenti, “Quasisymmetric functions and Kazhdan-Lusztig polynomials”, arXiv:0710.3965 (2009).

Solutions 0

No solutions have been posted yet.