Quantum consistency conjecture for the quantum exceptional category

Let RR be a ring and let QExcR,v,w\mathsf{QExc}_{R,v,w} be the quantum exceptional diagram category, with Q(v,w)\mathbb Q(v,w)-valued closed-diagram evaluations defined by the stated relations. Quantum consistency conjecture. If every polynomial in P={v,w,Ψ1,Ψ2,Ψ3,Ψ6,[λ],[1λ]}\mathbf P=\{v,w,\Psi_1,\Psi_2,\Psi_3,\Psi_6,[\lambda],[1-\lambda]\} is invertible, then the map sending rRr\in R to rr times the empty diagram embeds RR into QExcR,v,w\mathsf{QExc}_{R,v,w}. Consequently, any two applications of the relations to a closed diagram that return a rational function in v,wv,w produce the same rational function. This is the quantum counterpart of classical consistency and asserts confluence of closed-diagram reductions.

Sources & referencesView supporting material

Primary source

Kim Morrison, Noah Snyder and Dylan P. Thurston, “Towards the quantum exceptional series”, arXiv:2402.03637 (2025).

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.