BBDVW conjectural recurrence for Kazhdan–Lusztig polynomials

About 2 years old · traced to

Let [u,v]⊂Sn[u,v]\subset S_n be a Bruhat interval, let II be a hypercube decomposition of [u,v][u,v], and let ℓ(u,v)\ell(u,v) denote the length of the interval. The polynomials Nu,v,IN_{u,v,I} and Qu,v,IQ_{u,v,I} are the polynomials defined from Kazhdan–Lusztig polynomials of smaller subintervals in the BBDVW construction. BBDVW conjecture. For any hypercube decomposition II of [u,v]⊂Sn[u,v]\subset S_n,

qℓ(u,v)Pu,v(q−1)−Pu,v(q)=Nu,v,I+Qu,v,I.q^{\ell(u,v)}P_{u,v}(q^{-1})-P_{u,v}(q)=N_{u,v,I}+Q_{u,v,I}.

This is a conjectural recurrence intended to use only the poset structure of the interval, and would provide a major step toward the combinatorial invariance conjecture. The source describes the formula as conjectural; its resolution is not specified here.

References

Primary source

Grant T. Barkley and Christian Gaetz, “The BBDVW Conjecture for Kazhdan-Lusztig polynomials of lower intervals”, arXiv:2412.10256 (2026).

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.