3 problems

Let Khovanov's Heisenberg category have central charge $-1$, and let its Grothendieck ring be the decategorification obtained from its monoidal structure. Khovanov's conjecture. Th…

Trace isomorphism conjecture. The displayed map is an isomorphism of graded superalgebras. The linear isomorphism is proved in the paper, but multiplicative compatibility is left a…

Let $4\mathcal{K}4$ be a 2-representation of the Heisenberg 2-category $4\mathcal{H}4$, and let $4{\sf R}4$ be an arbitrary 1-morphism in $4{\mathsf{Kom}}(\mathcal{H})4$. Intertwin…