3 problems
Annular web evaluation conjecture. There is an equivalence of categories
Integral trace conjecture. We have
Distinct-extension conjecture. Any such extension decategorifies an extension of the ground field as above, and if and are distinct sub-Hopf algebras,…