Generator conjecture for the sl2\mathfrak{sl}_2 bimodules Hλ,μ\mathcal{H}_{\lambda,\mu}

From papers

Let HH be the Hopf algebra used in the sl2\mathfrak{sl}_2 example, with generators K,b,cK,b,c. For integers λ\lambda and μ\mu, let Hλ,μ\mathcal{H}_{\lambda,\mu} be the corresponding highest-weight bivector space and define

hλ,μ={K(λ+μ)/2cλμif λμ,\K(λ+μ)/2bμλif λ<μ.h_{\lambda,\mu}=\begin{cases}K^{-(\lambda+\mu)/2}c^{\lambda-\mu}&\text{if }\lambda\geq\mu,\K^{-(\lambda+\mu)/2}b^{\mu-\lambda}&\text{if }\lambda<\mu.\end{cases}

Bimodule generation conjecture. The D(H)D(H)-bimodule Hλ,μ\mathcal{H}_{\lambda,\mu} is generated by hλ,μh_{\lambda,\mu}. The conjecture is based on the examples computed in the paper, and the source gives no resolution.

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

John E. Foster, “Semisimplicity of certain representation categories”, arXiv:1509.01633 (2015).

Solutions 0

No solutions have been posted yet.