Let $\mathfrak g$ be a simple Lie algebra.  

By taking the specialization at $q^\ell=1$ of a certain integral version¹ of the quantum group $U\_q(\mathfrak g)$,
and by considering a certain quotient category² of the category of tilting modules³ over that Hopf algebra, one obtains a fusion category.
Moreover, by using the universal $R$-matrix and the so-called charmed element, one can endow that fusion category with the structure of a modular tensor category.


Can this approach be used to further equip this category with the structure
of a **unitary** modular tensor category?


In other words, is it possible to equip the objects of this category with some kind of extra structure (something like an inner product) such that the adjoint $f^\*:W\to V$ of a morphism $f:V\to W$ makes sense, and such that the braiding and twist are unitary?




---


¹: That integral version is usually denoted $U\_q^{res}(\mathfrak g)$. It is generated by the usual elements $K\_i$, $E\_i$, $F\_i$, along with the divided powers $E\_i^{[r]}:=\frac{E\_i^r}{[r]!}$ and $F\_i^{[r]}:=\frac{F\_i^r}{[r]!}$.  

²: This quotient category has the same objects as the original category. The hom-spaces are modded out by the subspace of negligible morphisms, where a morphisms $f:V\to W$ is called negligible if $tr\_q(fg)=0$ for any $g:W\to V$.  

³: A module is tilting if it admits a filtration whose associated graded pieces are Weyl modules, and also admits a filtration whose associated graded pieces are duals of Weyl modules. Here, the Weyl modules, are the ones that "look like" irreps of $\mathfrak g$.



Is the representation category of quantum groups at root of unity visibly unitary?
The answer is "Sometimes." 


Following the notation of [Rowell's "From Quantum Groups to Unitary Modular Tensor Categories"](http://arxiv.org/abs/math/0503226), let $\mathcal C(\mathfrak g, l, q)$ be the category corresponding to $U\_q(\mathfrak g)$ such that $q=e^{\pi \imath/l}$.Denote by $m$ is the ratio of the square lengths of a long root to a short root. As mentioned there, this only gets one as far as being a ribbon fusion category (also called a pre-modular category). 


The questions of unitarity and modularity for $\mathcal C(\mathfrak g, l,q)$ are addressed in section 4. Specifically $\mathcal C(\mathfrak g, l,m)$ is unitary if $m\vert l$. This is attributed to both [Wenzl](http://www.ams.org/journals/jams/1998-11-02/S0894-0347-98-00253-7/S0894-0347-98-00253-7.pdf) and [Xu](http://link.springer.com/article/10.1007/s002220050271#page-1). Modularity in the case that $m\vert l$ is attributed to [Kirillov](http://www.ams.org/journals/jams/1996-9-04/S0894-0347-96-00210-X/) (among others). Numerous cases where $m\not\vert l$ are treated in Rowell.


As a related but different matter, assume one has a modular tensor category $\mathcal C$ and wants to know if it can be made unitary. Then by theorems 3.2 (Every braiding of a unitary fusion category is unitary) and 3.5 (Every braiding of a unitary fusion category admits a unique unitary ribbon structure) of [Galindo's "On Braided and Ribbon Unitary Fusion Categories"](http://arxiv.org/abs/1209.2022), it suffices to determine whether or not $\mathcal C$ admits the structure of a unitary fusion category.


