A 2-categorical extension of Etingof-Kazhdan quantisation (Q1783983)

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.