We introduce a more general version of the so-called L-R-smash product and study its relations with other kinds of crossed products (two-sided smash and crossed product and diagonal crossed product). We also give an interpretation of the L-R-smash product in terms of an L-R-twisting datum.
We analyze some relations between quasi-Hopf smash products and certain twisted tensor products of quasialgebras. Along the way we obtain also 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.
In this paper we introduce generalizations of diagonal crossed products, two-sided crossed products and two-sided smash products, for a quasi-Hopf algebra H. The results we obtain may be applied to H^*-Hopf bimodules and generalized Yetter-Drinfeld modules. The generality of our situation entails that the "generating matrix" formalism cannot be used, forcing us to use a different approach. This pays off because as an application we obtain an easy conceptual proof of an important but very technical result of Hausser and Nill concerning iterated two-sided crossed products.
In this paper we introduce the notion of partial action of a weak Hopf algebra on algebras, unifying the notions of partial group action [11], partial Hopf action ([2],[3],[9]) and partial groupoid action [4]. We construct the fundamental tools to develop this new subject, namely, the partial smash product and the globalization of a partial action, as well as, we establish a connection between partial and global smash products via the construction of a surjective Morita context. In particular, in the case that the globalization is unital, these smash products are Morita equivalent. We show tha…
We give some general results on the ring structure of Hochschild cohomology of smash products of algebras with Hopf algebras. We compute this ring structure explicitly for a large class of finite dimensional Hopf algebras of rank one.
In this work we define partial (co)actions on multiplier Hopf algebras, we also present examples and properties. From a partial comodule coalgebra we construct a partial smash coproduct generalizing the constructions made by the L. Delvaux, E. Batista and J. Vercruysse.
Definitions of actions of Hopf quasigroups are discussed in the context of Long dimodules and smash products. In particular, Long dimodules are defined for Hopf quasigroups and coquasigroups, and solutions to Militaru's D-equation are constructed. A necessary compatibility condition between action and multiplication of a Hopf quasigroup acting on its quasimodule Hopf quasigroup for a smash product construction is derived.
We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct.
We introduce the Hom-analogue of the L-R-smash product and use it to define the Hom-analogue of the diagonal crossed product. When H is a finite dimensional Hom-Hopf algebra with bijective antipode and bijective structure map, we define the Drinfeld double of H; its algebra structure is a Hom-diagonal crossed product and it has all expected properties, namely it is quasitriangular and modules over it coincide with left-right Yetter-Drinfeld modules over H.
Let H be a Hopf algebra and let B be a Koszul H-module algebra. We provide necessary and sufficient conditions for a filtered algebra to be a Poincare-Birkhoff-Witt (PBW) deformation of the smash product algebra B#H. Many examples of these deformations are given.
For a semisimple quasi-triangular Hopf algebra $\left( H,R\right) $ over a field $k$ of characteristic zero, and a strongly separable quantum commutative $H$-module algebra $A$ over which the Drinfeld element of $H$ acts trivially, we show that $A\#H$ is a weak Hopf algebra, and it can be embedded into a weak Hopf algebra $\operatorname{End}A^{\ast}\otimes H$. With these structure, $_{A\#H}\operatorname{Mod}$ is the monoidal category introduced by Cohen and Westreich, and $_{\operatorname{End}A^{\ast}\otimes H}\mathcal{M}$ is tensor equivalent to $_{H}\mathcal{M}$. If $A$ is in the M{ü}ger cen…
It is an open question whether the smash product of a semisimple Hopf algebra and a semiprime module algebra is semiprime. In this paper we show that the smash product of a commutative semiprime module algebra over a semisimple cosemisimple Hopf algebra is semiprime. In particular we show that the central $H$-invariant elements of the Martindale ring of quotients of a module algebra form a von Neumann regular and self-injective ring whenever $A$ is semiprime. For a semiprime Goldie PI $H$-module algebra $A$ with central invariants we show that $\AH$ is semiprime if and only if the $H$-action c…
If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we prove that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A^{H}. We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.
We show that the braided Hochschild cohomology, of an algebra in a suitably algebraic braided monoidal category, admits a graded ring structure under which it is braided commutative. We then give a canonical identification between the usual Hochschild cohomology ring of a smash product and the (derived) invariants of its braided Hochschild cohomology ring. We apply our results to identify the associative formal deformation theory of a smash product with its formal deformation theory as a module algebra over the given Hopf algebra (when the Hopf algebra is sufficiently semisimple). As a second …
In this work we investigate partial actions of a Hopf algebra H on nonunital algebras and the associated partial smash products. We show that our partial actions correspond to nonunital algebras in the category of partial representations of H. The central problem of existence of a globalization for a partial action is studied in detail, and we provide sufficient conditions for the existence (and uniqueness) of a minimal globalization for associative algebras in general. Extending previous results by Abadie, Dokuchaev, Exel and Simon, we define Morita equivalence for partial Hopf actions, and w…
Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a left-left Yetter-Drinfeld module over H, having extra properties that allow to make a smash product B^{co(H)}# H which is an H-bicomodule algebra, isomorphic to B.
Let $H$ be a finite dimensional semisimple Hopf algebra and $R$ a braided Hopf algebra in the category of Yetter-Drinfeld modules over $H$. When $R$ is a Calabi-Yau algebra, a necessary and sufficient condition for $R#H$ to be a Calabi-Yau Hopf algebra is given. Conversely, when $H$ is the group algebra of a finite group and the smash product $R#H$ is a Calabi-Yau algebra, we give a necessary and sufficient condition for the algebra $R$ to be a Calabi-Yau algebra.
In this work we deal with partial (co)action of multiplier Hopf algebras on not necessarily unital algebras. Our main goal is to construct a Morita context relating the coinvariant algebra $R^{\underline{coA}}$ with a certain subalgebra of the smash product $R\#\widehat{A}$. Besides this we present the notion of partial Galois coaction, which is closely related to this Morita context.
Motivated by partial group actions on unital algebras, in this article we extend many results obtained by Exel and Dokuchaev to the context of partial actions of Hopf algebras, according to Caenepeel and Jansen. First, we generalize the theorem about the existence of an enveloping action, also known as the globalization theorem. Second, we construct a Morita context between the partial smash product and the smash product related to the enveloping action. Third, we dualize the globalization theorem to partial coactions and finally, we define partial representations of Hopf algebras and show som…
Let $A$ and $B$ be algebras and coalgebras in a braided monoidal category $\Cc$, and suppose that we have a cross product algebra and a cross coproduct coalgebra structure on $A\ot B$. We present necessary and sufficient conditions for $A\ot B$ to be a bialgebra, and sufficient conditions for $A\ot B$ to be a Hopf algebra. We discuss when such a cross product Hopf algebra is a double cross (co)product, a biproduct, or, more generally, a smash (co)product Hopf algebra. In each of these cases, we provide an explicit description of the associated Hopf algebra projection.
Let $R$ be an associative ring and $e,f$ idempotent elements of $R$. In this paper we introduce the notion of $(e,f)$-invertibility for an element of $R$ and use it to define inner actions of weak Hopf algebras. Given a weak Hopf algebra $H$ and an algebra $A$, we present sufficient conditions for $A$ to admit an inner action of $H$. We also prove that if $A$ is a left $H$-module algebra then $H$ acts innerly on the smash product $A\#H$ if and only if $H$ is a quantum commutative weak Hopf algebra.
In the theory of dynamical Yang-Baxter equation, with any Hopf algebra $H$ and a certain $H$-module and $H$-comodule algebra $L$ (base algebra) one associates a monoidal category. Given an algebra $A$ in that category, one can construct an associative algebra $A\rtimes L$, which is a generalization of the ordinary smash product when $A$ is an ordinary $H$-algebra. We study this "dynamical smash product" and its modules induced from one-dimensional representation of the subalgebra $L$. In particular, we construct an analog of the Galois map $A\otimes_{A^H} A\to A\otimes H^*$.
The characterization of $H$-prime radical is given in many ways. Meantime, the relations between the radical of smash product $R # H$ and the $H$-radical of Hopf module algebra $R$ are obtained.
Let $G$ be a group which admits a generating set consisting of finite order elements. We prove that any Hopf algebra which factorizes through the Taft algebra and the group Hopf algebra $K[G]$ (equivalently, any bicrossed product between the aforementioned Hopf algebras) is isomorphic to a smash product between the same two Hopf algebras. The classification of these smash products is shown to be strongly linked to the problem of describing the group automorphisms of $G$. As an application, we completely describe by generators and relations and classify all bicrossed products between the Taft a…
For an action $α$ of a group $G$ on an algebra $R$ (over $\Bbb C$), the crossed product $R\times_αG$ is the vector space of $R$-valued functions with finite support in $G$, together with the twisted convolution product given by $$(ξη)(p) = \sum_{q \in G} ξ(q) α_q (η(q^{-1}p))$$ where $p\in G$. This construction has been extended to the theory of Hopf algebras. Given an action of a Hopf algebra $A$ on an algebra $R$, it is possible to make the tensor product $R\ot A$ into an algebra by using a twisted product, involving the action. In this case, the algebra is called the smash product and denot…
We construct an invertible normalised 2 cocycle on the Ehresmann Schauenburg bialgebroid of a cleft Hopf Galois extension under the condition that the corresponding Hopf algebra is cocommutative and the image of the unital cocycle corresponding to this cleft Hopf Galois extension belongs to the centre of the coinvariant subalgebra. Moreover, we show that any Ehresmann Schauenburg bialgebroid of this kind is isomorphic to a 2-cocycle twist of the Ehresmann Schauenburg bialgebroid corresponding to a Hopf Galois extension without cocycle, where comodule algebra is an ordinary smash product of the…
For any strong smash product algebra $A\#_{_R}B$ of two algebras $A$ and $B$ with a bijective morphism $R$ mapping from $B\ot A$ to $A\ot B$, we construct a cylindrical module $A\natural B$ whose diagonal cyclic module $Δ_{\bullet}(A\natural B)$ is graphically proven to be isomorphic to $C_{\bullet}(A\#_{_R}B)$ the cyclic module of the algebra. A spectral sequence is established to converge to the cyclic homology of $A\#_{_R}B$. Examples are provided to show how our results work. Particularly, the cyclic homology of the Pareigis' Hopf algebra is obtained in the way.
The effectiveness of the aplication of constructions in $G$-graded $k$-categories to the computation of the fundamental group of a finite dimensional $k$-algebra, alongside with open problems still left untouched by those methods and new problems arisen from the introduction of the concept of fundamental group of a $k$-linear category, motivated the investigation of $H$-module categories, i.e., actions of a Hopf algebra $H$ on a $k$-linear category. The $G$-graded case corresponds then to actions of the Hopf algebra $k^G$ on a $k$-linear category. In this work we take a step further and introd…
The finite dual $H^{\circ}$ of an affine commutative-by-finite Hopf algebra $H$ is studied. Such a Hopf algebra $H$ is an extension of an affine commutative Hopf algebra $A$ by a finite dimensional Hopf algebra $F$. The main theorem gives natural conditions under which $H^{\circ}$ decomposes as a crossed or smash product of $F^{\ast}$ by the finite dual of $A$. This decomposition is then further analysed using the Cartier- Gabriel-Kostant theorem to obtain component Hopf subalgebras of $H^{\circ}$ mapping onto the classical components of $A^{\circ}$. The detailed consequences for a number of f…
We prove that a certain bialgebroid introduced recently by Kadison is isomorphic to a bialgebroid introduced earlier by Connes and Moscovici. At the level of total algebras, the isomorphism is a consequence of the general fact that an L-R-smash product over a Hopf algebra is isomorphic to a diagonal crossed product.
We explore questions of projectivity and tensor products of modules for finite dimensional Hopf algebras. We construct many classes of examples in which tensor powers of nonprojective modules are projective and tensor products of modules in one order are projective but in the other order are not. Our examples are smash coproducts with duals of group algebras, some having algebra and coalgebra structures twisted by a cocycle. We develop a theory of support varieties for these Hopf algebras to use as a tool in our investigations.
We prove a result of the type ''invariance under twisting'' for Brzezinski's crossed products, as a common generalization of the invariance under twisting for twisted tensor products of algebras and the invariance under twisting for quasi-Hopf smash products. It turns out that this result contains also as a particular case the equivalence of crossed products by a coalgebra (due to Brzezinski).
We introduce quasi-Hopf $*$-algebras i.e. quasi-Hopf algebras equipped with a conjugation (star) operation. The definition of quasi-Hopf $*$-algebras proposed ensures that the class of quasi-Hopf $*$-algebras is closed under twisting and additionally, that any Hopf $*$-algebra becomes a quasi-Hopf $*$-algebra via twisting. The basic properties of these algebras are developed. The relationship between the antipode and star structure is investigated. Quasi-triangular quasi-Hopf $*$-algebras are introduced and studied.
We prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.
Based on a pairing of two regular multiplier Hopf algebras $A$ and $B$, Heisenberg double $\mathscr{H}$ is the smash product $A \# B$ with respect to the left regular action of $B$ on $A$. Let $\mathscr{D}=A\bowtie B$ be the Drinfel'd double, then Heisenberg double $\mathscr{H}$ is a Yetter-Drinfel'd $\mathscr{D}$-module algebra, and it is also braided commutative by the braiding of Yetter-Drinfel'd module, which generalizes the results in [10] to some infinite dimensional cases.
We introduce Yetter-Drinfeld modules over a weak Hopf algebra $H$, and show that the category of Yetter-Drinfeld modules is isomorphic to the center of the category of $H$-modules. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. If $H$ is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show …
We introduce and investigate the basic properties of an involutory (dual) quasi-Hopf algebra. We also study the representations of an involutory quasi-Hopf algebra and prove that an involutory dual quasi-Hopf algebra with non-zero integral is cosemisimple.
Let H be a finite-dimensional quasi-Hopf algebra. We show for each quotient quasibialgebra Q of H that Q is a quasi-Hopf algebra whose dimension divides the dimension of H.
We construct an explicit isomorphism between the quasitriangular quasi-Hopf algebra $D^ω(H)$ defined in \cite{bp} and a certain quantum double quasi-Hopf algebra. We give also new characterizations for a quasitriangular quasi-Hopf algebra to be ribbon and use them to construct some ribbon elements for $D^ω(H)$.
Let $m$ a positive integer, not divisible by 2,3,5,7. We generalize the classification of basic quasi-Hopf algebras over cyclic groups of prime order given in \cite{EG3} to the case of cyclic groups of order $m$. To this end, we introduce a family of non-semisimple radically graded quasi-Hopf algebras $A(H,s)$, constructed as subalgebras of Hopf algebras twisted by a quasi-Hopf twist, which are not twist equivalent to Hopf algebras. Any basic quasi-Hopf algebra over a cyclic group of order $m$ is either semisimple, or is twist equivalent to a Hopf algebra or a quasi-Hopf algebra of type $A(H,s…
The differential geometry on a Hopf algebra is constructed, by using the basic axioms of Hopf algebras and noncommutative differential geometry. The space of generalized derivations on a Hopf algebra of functions is presented via the smash product, and used to define and discuss quantum Lie algebras and their properties. The Cartan calculus of the exterior derivative, Lie derivative, and inner derivation is found for both the universal and general differential calculi of an arbitrary Hopf algebra, and, by restricting to the quasitriangular case and using the numerical R-matrix formalism, the a…
We define the notion of factorizable quasi-Hopf algebra by using a categorical point of view. We show that the Drinfeld double $D(H)$ of any finite dimensional quasi-Hopf algebra $H$ is factorizable, and we characterize $D(H)$ when $H$ itself is factorizable. Finally, we prove that any finite dimensional factorizable quasi-Hopf algebra is unimodular. In particular, we obtain that the Drinfeld double $D(H)$ is a unimodular quasi-Hopf algebra.
In this paper we introduce the category of strong Hopf modules for a weak Hopf quasigroup H in a braided monoidal category. We also prove that this category is equivalent to the category of right modules over the image of the target morphism of H.
Let p and q be distinct odd primes and assume k is an algebraically closed field of characteristic zero. We classify all quasitriangular Hopf algebras of dimension pq^2 over k, which are not simple as Hopf algebras. Moreover, we obtained all quasitriangular structures on these Hopf algebras.
We put the known results on the antipode of a usual quasitriangular Hopf algebra into the framework of multiplier Hopf algebras. We illustrate with examples which can not be obtained using classical Hopf Algebras. The focus of the present paper lies on the class of the so-called group cograded multiplier Hopf algebras. By doing so, we bring the results of quasitriangular Hopf group-coalgebras (as introduced by Turaev) to the more general framework of multiplier Hopf algebras.
In [4], some quasi-Hopf algebras of dimension $n^{3}$, which can be understood as the quasi-Hopf analogues of Taft algebras, are constructed. Moreover, the quasi-Hopf analogues of generalized Taft algebras are considered in [7], where the language of the dual of a quasi-Hopf algebra is used. The Drinfeld doubles of such quasi-Hopf algebras are computed in this paper. The authors in [5] shew that the Drinfeld double of a quasi-Hopf algebra of dimension $n^{3}$ constructed in [4] is always twist equivalent to Lusztig's small quantum group $u_q(sl_2)$ if $n$ is odd. Based on computations and anal…
In this paper we show that weak Hopf (co)quasigroups can be characterized by a Galois-type condition. Taking into account that this notion generalizes the ones of Hopf (co)quasigroup and weak Hopf algebra, we obtain as a consequence the first fundamental theorem for Hopf (co)quasigroups and a characterization of weak Hopf algebras in terms of bijectivity of a Galois-type morphism (also called fusion morphism).
We recall the notion of a Hopf (co)quasigroup defined in \cite{Kl09} and define integration and Fourier Transforms on these objects analogous to those in the theory of Hopf algebras. Using the general Hopf module theory for Hopf (co)quasigroups from \cite{Br09} we show that a finite dimensional Hopf (co)quasigroup has a unique integration up to scale and an invertible antipode. We also supply the inverse Fourier transformation and show that it maps the convolution product on $H$ to the product in its dual $H^*$. Finally, we further develop the theory to consider Frobenius Hopf (co)quasigroups,…
We define a "mirror version" of Brzezinski's crossed product and we prove that, under certain circumstances, a Brzezinski crossed product D\otimes_{R, σ}V and a mirror version W\bar{\otimes}_{P, ν}D may be iterated, obtaining an algebra structure on W\otimes D\otimes V. Particular cases of this construction are the iterated twisted tensor product of algebras and the quasi-Hopf two-sided smash product.