Wolf's semisimplicity conjecture for deformed Fomin–Kirillov algebras

Let KK be an algebraically closed field of characteristic zero, let α1,α2K\alpha_1,\alpha_2\in K, and let D4(α1,α2)\mathcal{D}_4(\alpha_1,\alpha_2) be the quadratic KK-algebra generated by xij=xjix_{ij}=-x_{ji} for 1ij41\leq i\neq j\leq 4, with relations

xij2=α1,x_{ij}^2=\alpha_1, xijxklxklxij=0,x_{ij}x_{kl}-x_{kl}x_{ij}=0, xijxjk+xjkxki+xkixij=α2x_{ij}x_{jk}+x_{jk}x_{ki}+x_{ki}x_{ij}=\alpha_2

for the corresponding distinct indices. Wolf's conjecture. The algebra D4(α1,α2)\mathcal{D}_4(\alpha_1,\alpha_2) is semisimple if and only if

(α1α2)(α1+α2)0.(\alpha_1-\alpha_2)(\alpha_1+\alpha_2)\neq 0.

Wolf proved semisimplicity under the stronger condition α1(3α1α2)(α1α2)(α1+α2)0\alpha_1(3\alpha_1-\alpha_2)(\alpha_1-\alpha_2)(\alpha_1+\alpha_2)\neq 0; the asserted converse and the remaining parameter cases are therefore the subject of the conjecture.

Sources & referencesView supporting material

Primary source

A. Alia and I. Heckenberger, “On the representation theory of non-semisimple (graded) deformed Fomin-Kirillov algebras”, arXiv:2011.14777 (2020).

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.