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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Notes on the Kazhdan-Lusztig theorem on equivalence of the Drinfeld category and the category of \(U_q{\mathfrak g}\)-modules
scientific article

    Statements

    Notes on the Kazhdan-Lusztig theorem on equivalence of the Drinfeld category and the category of \(U_q{\mathfrak g}\)-modules (English)
    0 references
    0 references
    0 references
    3 July 2012
    0 references
    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) \).
    0 references
    quantum groups
    0 references
    Drinfeld category
    0 references
    quasi-bialgebras
    0 references
    unitary twist
    0 references
    braided monoidal category
    0 references
    quantized enveloping algebra
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references