Braided commutative algebras over quantized enveloping algebras (Q1981146)

In the article, a center construction called the \textit{\(\mathcal{B}\)-center} is introduced, which generalizes Davydov's full center construction [\textit{A. Davydov}, Adv. Math. 225, No. 1, 319--348 (2010; Zbl 1227.18003)] and which produces a braided commutative algebra from any algebra in a braided \(\mathcal{B}\)-central monoidal category. The construction yields isomorphic results for Morita equivalent algebras, thus providing a Morita invariant. The general setup of the article features a braided monoidal category \(\mathcal{B}\) and a \(\mathcal{B}\)-central monoidal category \(\mathcal{C}\), which roughly speaking means the \(\mathcal{B}\) appears in the monoidal center \(\mathcal{Z}(\mathcal{C})\) of \(\mathcal{C}\) via a suitable functor. Now the \textit{relative center} \(\mathcal{Z}_\mathcal{B}(\mathcal{C})\) is a braided monoidal category which can be seen as the centralizer of \(\mathcal{B}\) in \(\mathcal{Z}(\mathcal{C})\). For instance, any \(k\)-linear additive monoidal category with countable biproducts is \(\mathcal{B}\)-central for \(\mathcal{B}\) the category of \(k\)-vector spaces, and \(\mathcal{Z}_\mathcal{B}(\mathcal{C})\simeq\mathcal{Z}(\mathcal{C})\). Also, any braided monoidal category \(\mathcal{B}\) is \(\mathcal{B}\)-central with \(\mathcal{Z}_\mathcal{B}(\mathcal{B})\simeq\mathcal{B}\). Yet another important class of examples is given by Hopf algebras \(H\) in a braided monoidal category \(\mathcal{B}\): the module categories \(\mathcal{C}=H\text-mod(\mathcal{B})\) are \(\mathcal{B}\)-central and \(\mathcal{Z}_\mathcal{B}(\mathcal{C})\) can be identified with the \(H\)-Yetter-Drinfeld modules in \(\mathcal{B}\) which, in turn, can be identified with modules over the relative Drinfeld double in case \(H\) is finite-dimensional. The \(\mathcal{B}\)-center \(\mathcal{Z}_\mathcal{B}(A)\) of an algebra \(A\) in a \(\mathcal{B}\)-central monoidal category \(\mathcal{C}\) is defined as the terminal object in a category of objects in the relative center with a morphism to \(A\) which is compatible with the half-braiding. Various properties and alternative characterizations are proven. For instance, it is shown that the \(\mathcal{B}\)-center is a braided commutative algebra in the relative center. If the forgetful functor from the relative center to \(\mathcal{C}\) admits a right adjoint, then the \(\mathcal{B}\)-center of \(A\) is isomorphic to the left center of the image of \(A\) under this adjoint functor. If \(\mathcal{C}=H\text-mod(\mathcal{B})\), this adjoint functor exists, and furthermore, the \(\mathcal{B}\)-center is isomorphic to a centralizer algebra depending on \(A\) and a smash product of \(A\) with \(H\). As an application, the relative center is computed for certain parametrized families of algebras in module categories of the Sweedler Hopf algebra and of Taft algebras, respectively. In the latter case, the relative centers are commutative algebras in the module category of the small quantum group \(u_q(\mathfrak{sl}_2)\), for an even root of unity \(q\). The computation of the relative centers is used to show Morita inequivalence for members of the considered families. A generalization of this idea is discussed for quantum groups \(H\) associated to arbitrary semisimple Lie algebras, which are viewed as Hopf algebras in the module category \(\mathcal B\) of their negative nilpotent parts. In this situation, a family of parameterized algebras in \(H\text-mod(\mathcal B)\) is defined, and questions regarding their relative centers and Morita equivalence are formulated.