Injectivity conjecture for the horizontal quantum affine subalgebra

Let Uqsl^mnU_q\,\widehat{\mathfrak{sl}}_{m|n} be the quantum affine algebra and let Emn{\mathcal E}_{m|n} be the quantum toroidal algebra. Define h:Uqsl^mnEmnh:U_q\,\widehat{\mathfrak{sl}}_{m|n}\rightarrow {\mathcal E}_{m|n} by

h(ei)=Ei,0,h(fi)=Fi,0,h(ti)=Ki(iI^).h(e_i)=E_{i,0},\qquad h(f_i)=F_{i,0},\qquad h(t_i)=K_i\quad (i\in\hat{I}).

Its image is Uqhorsl^mnU^{hor}_q\widehat{\mathfrak{sl}}_{m|n}. Injectivity conjecture. The homomorphism h:Uqsl^mnEmnh:U_q\,\widehat{\mathfrak{sl}}_{m|n}\rightarrow {\mathcal E}_{m|n} is injective. In particular, Uqhorsl^mnU^{hor}_q\widehat{\mathfrak{sl}}_{m|n} is isomorphic to Uqsl^mnU_q\,\widehat{\mathfrak{sl}}_{m|n}. This identifies the horizontal subalgebra with the quantum affine algebra; the statement is presented as a conjecture, and no resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Luan Bezerra and Evgeny Mukhin, “Quantum toroidal algebra associated with gl_m|n”, arXiv:1904.07297 (2021).

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.