Braided Drinfeld and Heisenberg doubles. (Q2348122): Difference between revisions

The author considers categories as objects in the meta-2-category of categories \(\mathbf{Cat}\). Let \(\mathcal M\in\mathbf{Cat}\) be a monoidal category and \(\mathbf{BiMod}_{\mathcal M}\) the category of \(\mathcal M\)-bimodule objects in \(\mathbf{Cat}\). Note that \(\mathcal M\) is a regular object of \(\mathbf{Cat}\). Suppose that \(\mathcal M\) is equipped with a fiber functor \(F\colon\mathcal M\to\mathcal B\) where \(\mathcal B\) is a fixed braided monoidal category. Let \(G_1,G_2\colon\mathcal M\to\mathcal V\) be monoidal functors. The mixed Drinfeld center \(^{G_1}\mathcal Z^{G_2}(\mathcal M)\) is the set of \(\mathcal B\)-isomorphisms between \(\mathcal V\otimes G_2\) and \(G_1\otimes\mathcal V\). It is shown that if \(G_1=G_2\) then \(\mathbf{BiMod}_{\mathcal M}(\mathcal M,\mathcal V)\) is equivalent to \(^G\mathcal Z_{\mathcal B}^G(\mathcal M)\). Suppose that \(F\) is a monoidal functor. Then under some assumptions there exists a universal quasi-bialgebra object \(B\) in \(\mathcal B\) such that \(F\) factors through \(B_{\mathcal M}(\mathcal B)\). Several properties of the object \(B\) and the factorisation are established. Under this setting the category of Yetter-Drinfeld modules over a pair of quasi-bialgebras is introduced. Particular cases of dually paired Hopf algebras are considered in details. It leads to the definition of braided Drinfeld and Heisenberg doubles. It is shown that the Drinfeld double has a left action on the Heisenberg double. Connections with \(R\)-matrices are considered. For a braided Drinfeld and Heisenberg double the category \(\mathcal O\) is introduced as a category of finitely generated modules in the center. Under some assumptions it is shown that \(\mathcal O\) is equivalent to the center of an appropriate category of modules. The paper contains many examples illustrating these notions for several well known categories related to quantum algebras.