The coproduct conjecture for the algebras AM,N\mathcal{A}_{M,N}

Let M,N1,N2∈ZM,N_1,N_2\in\mathbb{Z}. The algebras AM,N\mathcal{A}_{M,N} contain a subalgebra KM,N\mathcal{K}_{M,N} extending the commuting quantum toroidal gl1\mathfrak{gl}_1 algebras, and ⊗^\hat\otimes denotes completion of the tensor product with respect to the homogeneous grading. Let R=RRˇ\mathcal{R}=R\check R be the product of the universal RR matrices of the two quantum toroidal subalgebras. The coproduct conjecture. There exists a homomorphism

ΔN1,N2:AM,N1+N2⟶AM,N1⊗^AM,N2\Delta_{N_1,N_2}:\mathcal{A}_{M,N_1+N_2}\longrightarrow\mathcal{A}_{M,N_1}\hat\otimes\mathcal{A}_{M,N_2}

which is coassociative, restricts to the standard coproduct on KM,N1+N2\mathcal{K}_{M,N_1+N_2}, and satisfies

ΔN1,N2Xi+(z)=Xi+(z)⊗1+R−1(1⊗Xi+(z))R,\Delta_{N_1,N_2}X_i^+(z)=X_i^+(z)\otimes1+\mathcal{R}^{-1}(1\otimes X_i^+(z))\mathcal{R}, ΔN1,N2Xi−(z)=R−1(Xi−(z)⊗1)R+1⊗Xi−(z).\Delta_{N_1,N_2}X_i^-(z)=\mathcal{R}^{-1}(X_i^-(z)\otimes1)\mathcal{R}+1\otimes X_i^-(z).

This would in particular make AM,0\mathcal{A}_{M,0} a Hopf algebra and provide a coproduct-compatible structure for the family of extensions of commuting quantum toroidal algebras. The conjecture is proposed in the paper and no resolution is given.

References

Primary source

B. Feigin, M. Jimbo and E. Mukhin, “Extensions of a commuting pair of quantum toroidal gl_1”, arXiv:2512.21750 (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.