Finite-dimensionality conjecture for the classical F4(d) family

Let F4(d)F4(d) be the symmetric ribbon category generated by a trivalent vertex subject to the defining F4(d)F4(d) relations, and let Hom\operatorname{Hom} denote a morphism space in this category. Finite-dimensionality conjecture for F4(d)F4(d). For every parameter dd, F4(d)F4(d) has finite-dimensional Hom\operatorname{Hom} spaces. The source describes this as a sufficiency conjecture and notes partial evidence, but the supplied statement does not specify a restriction on dd.

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.