Quantum commutative algebras and their duals (Q1368230): Difference between revisions

The paper is based on the following observation of \textit{M. Cohen} and \textit{S. Westreich}, [J. Algebra 168, No. 1, 1-27 (1994; Zbl 0812.16043)]: If \(A\) is a quantum commutative algebra (\(\equiv\) commutative in a braided category \(\mathcal C\) i.e. \(\cdot=\cdot^{\text{op}}:=\cdot\circ\Psi^{-1}\)) then any \(A\)-module becomes an \(A\)-bimodule via composition with braiding, and one can turn the category of modules \({_A{\mathcal C}}\) into a monoidal one with respect to \(\otimes_A\) like in the case of a usual commutative algebra. In the present paper the authors as a matter of fact prove that the subcategory of \({_A{\mathcal C}}\) for which there exists a lifting of the braiding \(\Psi\) on \(\mathcal C\) along the forgetful functor \({_A{\mathcal C}}\to{\mathcal C}\) consists of the class of ``quantum'' commutative modules with \(\rightharpoonup\circ\Psi=\rightharpoonup\circ\Psi^{-1}\). The result is obtained in the special case of the category \({\mathcal C}={_H{\mathcal M}}\) of modules over a quasitriangular Hopf algebra \(H\) (when \({_A{\mathcal C}}={_{A\#H}{\mathcal M}}\)) and in the dual situation for a coquasitriangular Hopf algebra \(H\) and a coalgebra \(C\) in the category of comodules \({^H{\mathcal M}}\). The authors give separate proofs for each of these two dual cases. Note that the term `braided Hopf algebra' means in the paper `coquasitriangular Hopf algebra' not `Hopf algebra in a braided category'.