On quasi-Hopf smash products and twisted tensor products of quasialgebras. (Q838966)

The author mainly study certain classes of twisted tensor products of quasialgebras and their relations with quasi-Hopf smash products. For a quasi-Hopf algebra \(H\), a left \(H\)-module algebra \(A\) and an algebra \(C\) in the Yetter-Drinfeld category \(_H^H\mathcal{YD}\), the authors consider an object denoted by \(A\diamond C\), which is a certain twisted tensor product in the category \(_H\mathcal M\) and is defined in such a way that if \(A\) is also an algebra in \(_H^H\mathcal{YD}\) then \(A\diamond C\) coincides with the braided tensor product \(A\underline\otimes C\) in \(_H^H\mathcal{YD}\). In the case \(C=H_0\), the authors want to find how it is related to the smash product \(A\#H\). The answer obtained in this paper is that \(A\diamond H_0\) is isomorphic as left \(H\)-module algebras to \((A\#H)^j\), where \(j\colon H\to A\#H\), \(j(h)=1\#h\). If \(A\) is moreover an algebra in \(_H^H\mathcal{YD}\), it is shown that \((A\#H)^j\) becomes also an algebra in \(_H^H\mathcal{YD}\) in a natural way and there is \(A\diamond H_0\cong (A\#H)^j\) as algebras in \(_H^H\mathcal{YD}\). Finally, the authors investigate some iterated products involving quasialgebras, and some universal properties. In summary, along the way the authors obtain some results of independent interest, such as a duality theorem for finite dimensional quasi-Hopf algebras and a universal property for generalized diagonal crossed products.