4
$\begingroup$

For the Drinfeld--Jimbo quantum groups $U_q(\frak{g})$, we have an equivalence of categories between the representations of $U_q(\frak{g})$ and the representations of $U(\frak{g})$.

Is this a monoidal equivalence? Are the fusion rules the same in both categories?

$\endgroup$
1
  • $\begingroup$ Do you mean to consider the case when q is not a root of unity? If I'm not mistaken, Khazdan-Wenzl showed that the Rep(Uq(G)) categories are equivalent to Rep(U(g)) iff q is not a root of unity. In the root of unity case you end up with 0 dimensional representations which you have to mod out by in order to get something sensible. $\endgroup$ Commented Nov 2, 2016 at 2:56

1 Answer 1

7
$\begingroup$

Let $\mathcal{R}$ be representations of $U(\mathfrak{g})$ and $\mathcal{R}_q$ be type 1 representations of $U_q(\mathfrak{g})$. As you mentioned, $\mathcal{R}$ and $\mathcal{R}_q$ are equivalent as categories. This is because they are both semisimple and they have the same set of irreducibles. Moreover, $\mathcal{R}$ and $\mathcal{R}_q$ have the same fusion ring. You can see this by considering characters. They are not equivalent as tensor categories because the associators are fundamentally different. You can see this concretely in the case $\mathfrak{g} = \mathfrak{sl}_2$ by computing 6j symbols as described in the book The classical and quantum 6j symbols.

More abstractly, the 6j symbols are "coordinates" on the moduli stack of tensor categories with a fixed fusion ring. For example, if $G$ is a finite group, then the moduli stack of tensor categories with fusion ring $\mathbb{C}[G]$ is $H^3(G,\mathbb{C}^{\times}) / {\rm Out}(G)$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .