Hopf algebra isomorphism between the quantum toroidal algebra and the FRT algebra

Let U\mathcal{U} be the Hopf subalgebra obtained by the FRT formalism from the family of geometric RR-matrices, and let

Υ:Uq1,1q2(gl¨1)c=1,ψ0+=1,ψ0=(q1q2)rr=1EndFr(KTr(M(r))loc)\Upsilon: U_{q_1,\frac{1}{q_2}}(\ddot{\mathfrak{gl}}_1)\Big|_{c=1,\,\psi_0^+=1,\,\psi_0^-=(q_1q_2)^{-r}}\longrightarrow \prod_{r=1}^{\infty}\operatorname{End}_{\mathbb{F}_r}\left(K^{T_r}(\mathcal{M}(r))_{\mathrm{loc}}\right)

be the algebra homomorphism described in the source.

Hopf algebra isomorphism conjecture. The map Υ\Upsilon induces a Hopf algebra isomorphism

Uq1,1q2(gl¨1)c=1,ψ0+=1,ψ0=(q1q2)rU.U_{q_1,\frac{1}{q_2}}(\ddot{\mathfrak{gl}}_1)\Big|_{c=1,\,\psi_0^+=1,\,\psi_0^-=(q_1q_2)^{-r}}\xrightarrow{\sim}\mathcal{U}.

This conjecture would identify the specialized quantum toroidal algebra with the Hopf algebra reconstructed from the geometric RR-matrices through the FRT formalism. The source gives no evidence of a proof or disproof.

Sources & referencesView supporting material

Primary source

Alexandr Garbali and Andrei Neguţ, “Computing the R-matrix of the quantum toroidal algebra”, arXiv:2112.09094 (2021).

Additional references

2 papers in this index state this conjecture (2010–2021). The statement above is taken from the most recent of them; the others are arXiv:1002.4662.

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.