Notes on the Kazhdan-Lusztig theorem on equivalence of the Drinfeld category and the category of U_q g-modules

Quantum groups (quantized enveloping algebras) and related deformations (17B37) Quantum groups (quantized function algebras) and their representations (20G42) Quantizations, deformations for selfadjoint operator algebras (46L65) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Abstract: We discuss the proof of Kazhdan and Lusztig of the equivalence of the Drinfeld category D(g,h) of g-modules and the category of finite dimensional Uq(g)-modules, q=exp(pi ih), for hin CQ*. Aiming at operator algebraists the result is formulated as the existence for each hin iR of a normalized unitary 2-cochain F on the dual hat G of a compact simple Lie group G such that the convolution algebra of G with the coproduct twisted by F is *-isomorphic to the convolution algebra of the q-deformation G_q of G, while the coboundary of F^{-1} coincides with Drinfeld's KZ-associator defined via monodromy of the Knizhnik-Zamolodchikov equations.

Review text

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) \).

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Notes on the Kazhdan-Lusztig theorem on equivalence of the Drinfeld category and the category of \(U_q{\mathfrak g}\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q431829)