Trace decategorification of tensor product algebras

Abstract

We show that in ADE type the trace of Webster's categorification of a tensor product of irreducibles for the quantum group is isomorphic to a tensor product of Weyl modules for the current algebra $\dot{U}(\mathfrak{g}[t])$. This extends a result of Beliakova, Habiro, Lauda, and Webster who showed that the trace of the categorified quantum group ${\dot{\mathcal{U}}}^{\ast }(\mathfrak{g})$ is isomorphic to $\dot{U}(\mathfrak{g}[t])$, and the trace of a cyclotomic quotient of ${\dot{\mathcal{U}}}^{\ast }(\mathfrak{g})$, which categorifies a single irreducible for the quantum group, is isomorphic to a Weyl module for $\dot{U}(\mathfrak{g}[t])$. We use a deformation argument based on Webster's technique of unfurling 2-representations.

41 pages; preliminary version, comments welcome