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

Let M,N1,N2ZM,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+N2AM,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+R1(1Xi+(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)=R1(Xi(z)1)R+1Xi(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.

Sources & referencesView supporting material

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.