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

About 11 years old · traced to

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.

References

Primary source

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

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.