Positivity conjecture for real canonical-basis elements

Let mM+m\in\mathcal{M}_+, and let Lq(m)L_q(m) be the corresponding canonical-basis element of the quantum Grothendieck ring. Call Lq(m)L_q(m) real if, for every kZ1k\in\mathbb{Z}_{\geqslant1}, there exists tZt\in\mathbb{Z} such that Lq(m)k=qtLq(mk)L_q(m)^k=q^tL_q(m^k). Positivity conjecture for real canonical-basis elements. If Lq(m)L_q(m) is real, then Lq(m)L_q(m) has a quantum positive coefficient. This conjecture extends coefficient positivity from KR-polynomials to all real canonical-basis elements; the supplied passage does not state a resolution.

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).

Additional references

6 papers in this index state this conjecture (2002–2023). The statement above is taken from the most recent of them; the others are arXiv:2304.02562, arXiv:2204.02628, arXiv:2101.07489, arXiv:1001.3047, arXiv:math/0212257.

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.