L-R-smash product for (quasi-)Hopf algebras. (Q875080)

In this paper the authors work with modules or comodules over a quasi-bialgebra or quasi-Hopf algebra \(H\) over a field and generalize the notion of L-R-smash product, first appearing in work on deformation quantization, to this setting. The preliminary section sets the stage with a complete tally of relevant definitions and some examples. In particular, quasi-bialgebras and quasi-Hopf algebras are defined and for \(H\) a quasi-bialgebra the terms left (right) \(H\)-module algebra, right (left) \(H\)-comodule algebra, \(H\)-bicomodule algebra, \(H\)-bimodule algebra, are explained along with the necessary notation for a reassociator, gauge transformation, etc. In the second section of the paper the associative algebra called the L-R-smash product \(\mathcal A\#\mathbb{A}\) where \(\mathcal A\) is an \(H\)-bimodule algebra and \(\mathbb{A}\) an \(H\)-bicomodule algebra is defined. For particular cases of \(\mathcal A\) or \(\mathbb{A}\) this smash product may be isomorphic to smash products already defined in the literature. For example, if \(H\) is a cocommutative Hopf algebra and \(\mathbb{A}=H\), then the original definition of L-R-smash product is obtained. A main result of this paper is Theorem 2.6 which states that if \(H\) is a quasi-Hopf algebra then \(\mathcal A\#\mathbb{A}\cong \mathcal A\bowtie\mathbb{A}\) where \(\mathcal A\bowtie\mathbb{A}\) is the generalized diagonal crossed product over quasi-Hopf algebras found in work of Bulacu, Panaite and Van Oystaeyen and based on work of Hausser and Nill. In the third section, the authors consider L-R-smash products when \(H\) is a bialgebra or Hopf algebra. In the fourth section, the idea of L-R-twisting datum is defined and studied, and in the final section the dual concept of L-R-smash coproduct is defined for \(H\) a bialgebra.