Classical consistency conjecture for the exceptional diagram category

Let RR be a ring and let ExcR,λ\mathsf{Exc}_{R,\lambda} be the classical exceptional diagram category, with ExcR,λ(0)\mathsf{Exc}_{R,\lambda}(0) its closed-diagram space and the empty diagram its distinguished generator. Classical consistency conjecture. If a certain finite set of nonzero polynomials in λ\lambda is invertible in RR, then the map sending rRr\in R to rr times the empty diagram embeds RR into ExcR,λ(0)\mathsf{Exc}_{R,\lambda}(0). Equivalently, any two reductions of the same closed diagram to an element of RR agree. This rules out collapse of the closed-diagram space and supplies consistency of the diagrammatic relations; the source presents it as complementary to classical sufficiency.

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.