Parameter-independence and associativity conjecture for fusion products

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)a1V(λ2)a2)b1V(λ3)a3V(λ1)a1(V(λ2)a2V(λ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.

Sources & referencesView supporting material

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.