×

Twisted Hopf comodule algebras. (English) Zbl 0851.16031

Let \(k\) be a commutative ring, \(H\) a \(k\)-bialgebra, \(A\) a right \(H\)-comodule algebra and denote by \({\mathcal M}^H_A\) (\(_A{\mathcal M}^H\)) the category of relative right (left) Hopf modules. Let \(\tau\) be an element of the convolution algebra \(\text{Hom} (H,\text{End}(A))\). Then the authors construct the algebra \(A^\tau\) by twisting the multiplication on \(A\), and the right \(A^\tau\)-module \(M^\tau\), for \(M\in {\mathcal M}^H_A\). They give necessary and sufficient conditions for \(A^\tau\) to be an \(H\) comodule algebra and for \(F_\tau:{\mathcal M}^H_A\to {\mathcal M}^H_{A^\tau}\), \(M\mapsto M^\tau\), \(f\mapsto f\) to be a functor. \(A^\tau\) is called a twisted algebra of \(A\), and it is proved that if \(\tau\) is convolution invertible, then \(F_\tau\) is an isomorphism. A left hand version of the twisting is also defined, and similarly there is an isomorphism between the categories of left Hopf modules, provided that \(H\) is a Hopf algebra with a bijective antipode. One of the main results states that if \(\sigma\) is an invertible cocycle, then the crossed product \(A\#_\sigma H\) proves to be an invertible twisting of \(B\otimes H\), this leading to a new description of cleft extensions. It is also shown that if \(k\) is a field, \(\tau\) is invertible and \(^{*\text{rat}}\neq 0\), then \(A\# H^{*\text{rat}}\simeq A^\tau\# H^{*\text{rat}}\) as algebras. As a corollary to these results, a duality theorem for crossed products is obtained.

MSC:

16W30 Hopf algebras (associative rings and algebras) (MSC2000)
16S35 Twisted and skew group rings, crossed products
16S40 Smash products of general Hopf actions
Full Text: DOI

References:

[1] Beattie M., Tsukuba J. Math 16 pp 279– (1992)
[2] Blattner R. J., Pacific J. Math 137 pp 37– (1989)
[3] Caenepeel S., Quantum Yang-Baxter module alge bras 8 pp 231– (1994)
[4] DOI: 10.1006/jabr.1994.1176 · Zbl 0814.16035 · doi:10.1006/jabr.1994.1176
[5] Doi Y., Comm. Alg 14 pp 801– (1986)
[6] DOI: 10.1016/0021-8693(74)90224-5 · Zbl 0282.16007 · doi:10.1016/0021-8693(74)90224-5
[7] Montgomery, S. 1993. ”Hopf algebras and their actions on rings, CBMS Regional Conference Series in Mathematics”. Vol. 82, Providence, R.I.: AMS. · Zbl 0793.16029
[8] DOI: 10.1016/0022-4049(93)90114-9 · Zbl 0796.16033 · doi:10.1016/0022-4049(93)90114-9
[9] Sweedler, M. 1969. ”Hopf Algebras”. New York: Benjamin. · Zbl 0194.32901
[10] Zhang, J. J. ”Twisted graded algebras and equivalences of graded categories”. Proc. London Math. Soc. to appear · Zbl 0852.16005
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.