Parameter-independence and associativity conjecture for fusion products

At least 5 years old · documented by

Let cmathfrakgcmathfrak{g} be a semisimple complex Lie algebra, let P+P^+ be its dominant integral weights, and let a1,…,asincmathbbCa_1,\ldots,a_sincmathbb C be pairwise distinct with clambda_1,\ldots,clambda_\sin P^+. The fusion product V(clambda1)a1castcdotscastV(clambdas)asV(clambda_1)_{a_1}castcdotscast V(clambda_s)_{a_s} is the associated graded module of the filtered tensor product of evaluation modules. Fusion-product independence and associativity conjecture. The fusion product is independent of the parameters a1,…,asa_1,\ldots,a_s, and the fusion product defined for any finite collection of cyclic modules is associative; in particular,

(V(λ1)a1∗V(λ2)a2)b1∗V(λ3)a3≅V(λ1)a1∗(V(λ2)a2∗V(λ3)a3)b1.\left(V(\lambda_1)_{a_1} \ast V(\lambda_2)_{a_2}\right)_{b_1} \ast V(\lambda_3)_{a_3} \cong V(\lambda_1)_{a_1} \ast \left(V(\lambda_2)_{a_2} \ast V(\lambda_3)_{a_3}\right)_{b_1}.

These are foundational structural questions for fusion products and are stated as open in the supplied context.

References

Primary source

Johannes Flake, Ghislain Fourier and Viktor Levandovskyy, “Gröbner bases for fusion products”, arXiv:2003.05639 (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.