Coproduct positivity conjecture for the embedded dual canonical basis

From papers

Let U~ı\widetilde{{\mathbf U}}^\imath be a right coideal subalgebra of U~\widetilde{{\mathbf U}}, with embedding ι\iota, and let Bı\mathcal{B}^\imath and B\mathcal{B} be the respective dual canonical bases. Thus Δ(U~ı)U~ıU~\Delta(\widetilde{{\mathbf U}}^\imath)\subset\widetilde{{\mathbf U}}^\imath\otimes\widetilde{{\mathbf U}}. Embedded coproduct positivity conjecture. For each bıBıb^\imath\in\mathcal{B}^\imath, there are coefficients cb1ı,b2bıN[v,v1]c^{b^\imath}_{b_1^\imath,b_2}\in\mathbb{N}[v,v^{-1}] such that

Δ(ι(bı))=b1,b2Bcb1ı,b2bıb1ıb2.\Delta(\iota(b^\imath))=\sum_{b_1,b_2\in\mathcal{B}}c^{b^\imath}_{b_1^\imath,b_2}b_1^\imath\otimes b_2.

This predicts positivity for the coaction of the ambient bialgebra on the embedded dual canonical basis. It is proved for U~v(sl2)\widetilde{{\mathbf U}}_v(\mathfrak{sl}_2), while the general case remains open.

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

Ming Lu and Xiaolong Pan, “Quiver varieties and dual canonical bases”, arXiv:2605.13578 (2026).

Solutions 0

No solutions have been posted yet.