Notes on the Kazhdan-Lusztig theorem on equivalence of the Drinfeld category and the category of \(U_q{\mathfrak g}\)-modules (Q431829)

In this paper, the authors first give an analytic account of Drinfeld's braided monoidal category \(\mathcal{D}\left( \mathfrak{g},\hbar\right) \), \(\hbar\in\mathbb{C}\backslash\mathbb{Q}^{\ast}\), of finite-dimensional \(\mathfrak{g}\)-modules with the usual tensor product but a nontrivial associativity morphism \(\Phi_{KZ}\) defined by the monodromy of the Knizhnik-Zamolodchikov equation, where \(\mathfrak{g}\) is a complexified Lie algebra of a simply connected compact simple Lie group \(G\). Then they formulate and derive Kazhdan-Lusztig's version of Drinfeld's result on the equivalence of \(\mathcal{D}\left( \mathfrak{g},\hbar\right) \) with the category \(\mathcal{C}\left( \mathfrak{g},\hbar\right) \) of finite-dimensional admissible \(U_{q}\mathfrak{g}\)-modules, \(q=e^{\pi i\hbar}\), showing that the equivalence can be chosen to be compatible with the forgetful functors from \(\mathcal{D}\left( \mathfrak{g},\hbar\right) \) and \(\mathcal{C}\left( \mathfrak{g},\hbar\right) \) to the category \(\mathcal{V}ec\) of finite-dimensional vector spaces, and the corresponding *-quasi-bialgebras are *-isomorphic via a unitary twist \(\mathcal{F} \in\mathcal{U}\left( G\times G\right) \). Furthermore an algorithm is given for finding \(\mathcal{F}\) with \(\Phi_{KZ}\) as coboundary of \(\mathcal{F}^{-1} \), and for generic \(\hbar\), the equivalence \(\mathcal{D}\left( \mathfrak{g} ,\hbar\right) \rightarrow\mathcal{C}\left( \mathfrak{g},\hbar\right) \) can be implemented by \(\text{Hom}_{\mathfrak{g}}\left( M,\cdot\right) \) for some comonoid \(M\) in a completion of \(\mathcal{D}\left( \mathfrak{g} ,\hbar\right) \).