A 2-categorical extension of Etingof-Kazhdan quantisation

DOI10.1007/S00029-017-0381-ZMaRDI QIDQ1783983zbMATH OpenOpenAlexFDO

Authors Andrea Appel, Valerio Toledano Laredo

Publication date 21 September 2018

Published in Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.09744

braided tensor category Drinfeld-Yetter module Lie bialgebra quantization quantum group

Quantum groups (quantized enveloping algebras) and related deformations (17B37) Lie bialgebras; Lie coalgebras (17B62) Quantum groups and related algebraic methods applied to problems in quantum theory (81R50)

Abstract: Let k be a field of characteristic zero. Etingof and Kazhdan constructed a quantisation U_h(b) of any Lie bialgebra b over k, which depends on the choice of an associator Phi. They prove moreover that this quantisation is functorial in b. Remarkably, the quantum group U_h(b) is endowed with a Tannakian equivalence F_b from the braided tensor category of Drinfeld-Yetter modules over b, with deformed associativity constraints given by Phi, to that of Drinfeld-Yetter modules over U_h(b). In this paper, we prove that the equivalence F_b is functorial in b.

Review text

Let \(k\) be a field of characteristic zero and let \(\mathfrak{b}\) be a Lie bialgebra over \(k\). Let also \(U_\hbar\mathfrak{b}\) be the Etingof-Kazhdan quantization of \(\mathfrak{b}\), which depends on an associator \(\Phi\) [\textit{P. Etingof} and \textit{D. Kazhdan}, Sel. Math., New Ser. 2, No. 1, 1--41 (1996; Zbl 0863.17008)]. The main result of the paper under review is the formulation and proof of the functoriality in \(\mathfrak{b}\) of the braided tensor equivalence \(\widetilde{F}_\mathfrak{b}: \operatorname{DY}_\mathfrak{b}^\Phi \longrightarrow \operatorname{DY}_{U_\hbar\mathfrak{b}}^{\mathrm{adm}}\) established by \textit{P. Etingof} and \textit{D. Kazhdan} [Transform. Groups 13, No. 3--4, 527--539 (2008; Zbl 1191.17004)], where the left-hand side is the category of Drinfeld-Yetter modules over \(\mathfrak{b}\) with associativity and commutativity constraints deformed by means of \(\Phi\) and the right hand-side is the category of admissible Drinfeld-Yetter modules over the quantum group \(U_\hbar\mathfrak{b}\) associated to \(\Phi\). In a first step the authors provide a 2-categorical formulation of the functoriality of the assignment \(\mathfrak{b} \to \operatorname{DY}_\mathfrak{b}^\Phi\): It is shown that this assignment gives rise to a certain 2-functor \(\operatorname{DY}^\Phi\) from the 2-category \(\operatorname{sLBA}(k)\) of Lie bialgebras and split embeddings with equalities as 2-morphisms, to the 2-category \(\operatorname{Cat}^\otimes_k\) of \(k\)-linear tensor categories. The desired functoriality property of \(\mathfrak{b} \to \widetilde{F}_\mathfrak{b}\) is then formulated as an isomorphism of \(2\)-functors \(\operatorname{DY}^{\mathrm{adm}} \circ \mathcal{Q}^\Phi \Rightarrow \operatorname{DY}^\Phi\), where \(\mathcal{Q}^\Phi: \operatorname{sLBA}(k) \longrightarrow \operatorname{sQUE}(k)\) is the functor arising from Etingof-Kazhdan quantization, \(\operatorname{sQUE}(k)\) denoting the category of quantised universal enveloping algebras over \(k\hbar\) and split embeddings and \(\operatorname{DY}^{\mathrm{adm}}: \operatorname{sQUE}(k) \longrightarrow \operatorname{Cat}^\otimes_k\) is the natural functor.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: A 2-categorical extension of Etingof-Kazhdan quantisation

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