q-commutativity conjecture for KR-polynomials

Let (mk,r(i),ml,t(j))(m^{(i)}_{k,r},m^{(j)}_{l,t}) be a pair of KR-monomials, and let Fq(mk,r(i))F_q(\underline{m}^{(i)}_{k,r}) and Fq(ml,t(j))F_q(\underline{m}^{(j)}_{l,t}) be the associated KR-polynomials. Let h\mathsf{h} be the relevant Coxeter number and b~i,j\widetilde{\mathsf{b}}_{i,j} the indicated coefficient function. q-commutativity conjecture for KR-polynomials. The two KR-polynomials qq-commute unless there exist 1uh1\leqslant u\leqslant\mathsf{h} and 0smin(k,l)10\leqslant s\leqslant\min(k,l)-1 satisfying

k+rlt=u+kl+2s|k+r-l-t|=u+|k-l|+2s

and

b~i,j(u1)0.\widetilde{\mathsf{b}}_{i,j}(u-1)\ne0.

The paper notes that this conjecture is proved in the cited work for finite ADAD-type Lie algebras, while the general claim remains unresolved in the supplied context.

Sources & referencesView supporting material

Primary source

Il-Seung Jang, Kyu-Hwan Lee and Se-jin Oh, “Quantization of virtual Grothendieck rings and their structure including quantum cluster algebras”, arXiv:2304.07246 (2023).

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.