Sign conjecture for the complete cd-index of Bruhat intervals

About 19 years old · traced to

Let (W,S)(W,S) be a Coxeter system and let u,v∈Wu,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,v≥0.[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 deg⁡w=l(u,v)−1\deg w=l(u,v)-1, the top degree for which [w]u,v≠0[w]_{u,v}\ne0; the conjecture remains open in lower degrees.

References

Primary source

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

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.