We propose a formulation of the quantization problem of Manin quadruples, and show that a solution to this problem yields a quantization of the corresponding Poisson homogeneous spaces. We then solve both quantization problems in an example related to quantum spheres.
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.
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…
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.
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.
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).
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.
In this paper, we present a general method for constructing finite-dimensional quasi-Hopf algebras from finite abelian groups and braided vector spaces of Cartan type. The study of such quasi-Hopf algebras leads to the classification of finite-dimensional radically graded basic quasi-Hopf algebras over abelian groups with dimensions not divisible by $2,3,5,7$ and associators given by abelian $3$-cocycles. As special cases , the small quasi-quantum groups are introduced and studied. Many new explicit examples of finite-dimensional genuine quasi-Hopf algebras are obtained.
A quasi-Hopf algebra $H$ can be seen as a commutative algebra $A$ in the centre $\mathcal Z(H-Mod)$ of $H-Mod$. We show that the category of $A$-modules in $\mathcal Z(H-Mod)$ is equivalent (as a monoidal category) to $H-Mod$. This can be regarded as a generalization of the structure theorem of Hopf bimodules of a Hopf algebra to the quasi-Hopf setting.
We introduce the notions of sovereign, spherical and balanced quasi-Hopf algebra. We investigate the connections between these, as well as their connections with the class of pivotal, involutory and ribbon quasi-Hopf algebras, respectively. Examples of balanced and ribbon quasi-Hopf algebras are obtained from a sort of double construction which associates to a braided category (resp. rigid braided) a balanced (resp. ribbon) one.
We show that bicrossed product Hopf algebras arising from exact factorizations in almost simple finite groups, so in particular, in simple and symmetric groups, admit no quasitriangular structure.
The class of graded elementary quasi-Hopf algebras of tame type is classified. Combining with our previous work [19], this completes the trichotomy for such class of algebras according to their representation types. In addition, new examples of genuine elementary quasi-Hopf algebras, and accordingly finite pointed tensor categories, are provided.
Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show that a dual structure theorem for Hopf modules over a coquasibialgebra H holds if and only if the category of finite-dimensional right H-comodules is rigid; this is not equivalent to H being a coquasi-Hopf algebra.
We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute explicitly the canonical isomorphisms in $\yd^{\rm fd}$. Finally, we show that certain duals of $H_0$, the braided Hopf algebra introduced in \cite{bn,bpv}, are isomorphic as braided Hopf algebras if $H$ is a finite dimensional triangular quasi-Hopf algebra.
We construct quasi-Hopf algebras associated with a semisimple Lie algebra, a complex curve and a rational differential. This generalizes our previous joint work with V. Rubtsov (Israel J. Math. (1999) and q-alg/9608005).
A detailed presentation of the results obtained during my Ph.D. research. The main investigations concern explicit descriptions of classes of finite dimensional pointed Hopf algebras and their quasi-isomorphism types.
We construct universal twists connecting the centrally extended double Yangian DY(sl(2))_c with deformed double Yangians DY_r(sl(2))_c, thereby establishing the quasi-Hopf structures of the latter.
A coaction of a Hopf algebra on a unital algebra is called homogeneous if the algebra of coinvariants equals the ground field. A coaction of a Hopf algebra on a (not necessarily unital) algebra is called Galois, or principal, or free, if the canonical map, also known as the Galois map, is bijective. In this paper, we establish a duality between a particular class of homogeneous coactions, up to equivariant Morita equivalence, and Galois coactions, up to isomorphism.
The construction of link polynomials associated with finite dimensional representations of ribbon quasi-Hopf algebras is discussed in terms of the formulation of an appropriate Markov trace. We then show that this Markov trace is invariant under twisting of the quasi-Hopf structure, which in turn implies twisting invariance of the associated link polynomials.
Let p be a prime, and let RG(p) denote the set of equivalence classes of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p. The purpose of this paper is to classify finite dimensional quasi-Hopf algebras A whose radical is a quasi-Hopf ideal and has codimension p; that is, A with grA in RG(p), where grA is the associated graded algebra taken with respect to the radical filtration on A. The main result of this paper is the following theorem: Let A be a finite dimensional quasi-Hopf algebra whose radical is a quasi-Hopf ideal of prime codimension p. …
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 generalize the fundamental structure Theorem on Hopf (bi)-modules by Larson and Sweedler to quasi-Hopf algebras H. If H is finite dimensional this proves the existence and uniqueness (up to scalar multiples) of integrals in H. Among other applications we prove a Maschke type Theorem for diagonal crossed products as constructed by the authors.
It is shown in math.QA/0310253 that a finite dimensional quasi-Hopf algebra over the complex numbers with radical of codimension 2 is twist equivalent to a Nichols Hopf algebra, or to a lifting of one of four special quasi-Hopf algebras of dimensions 2, 8, 8, and 32. The purpose of this paper is to construct new finite dimensional basic quasi-Hopf algebras A(q) of dimension n^3, n>2, parametrized by primitive roots of unity q of order n^2, with radical of codimension n, which generalize the construction of the basic quasi-Hopf algebras of dimension 8 given in math.QA/0310253. These quasi-Hopf …
We show that a large class of finite dimensional pointed Hopf algebras is quasi-isomorphic to their associated graded version coming from the coradical filtration, i.e. they are 2-cocycle deformations of the latter. This supports a slightly specialized form of a conjecture of Masuoka.
In this paper we give two general formulae for the Müger centralizers in the category of representations of a semisimple quasitriangular Hopf algebra. The first formula is given in the terms of the Drinfeld map associated to the quasitriangular Hopf algebra. The second formula for the Müger centralizer is given in the terms of the conjugacy classes introduced by Cohen and Westreich in [J. Algebra 283 (2005), 42-62]. In the case of a factorizable Hopf algebra these formulae extend some particular cases obtained by the author in [Math. Z. 279 (2015), 227-240].
We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of Yetter-Drinfeld modules that can be obtained by modifying the multiplication in a proper way is quantum commutative. We give a Structure Theorem for Hopf modules in the category of Yetter-Drinfeld modules, and deduce the existence and uniqueness of integrals from it.
For a commutative algebra the shuffle product is a morphism of complexes. We generalize this result to the quantum shuffle product, associated to a class of non-commutative algebras (for example all the Hopf algebras). As a first application we show that the Hochschild-Serre identity is the dual statement of our result. In particular, we extend this identity to Hopf algebras. Secondly, we clarify the construction of a class of quasi-Hopf algebras.
If H is a quasi-Hopf algebra and B is a right H-comodule algebra such that there exists v:H\to B a morphism of right H-comodule algebras, we prove that there exists a left H-module algebra A such that B\simeq A# H. The main difference comparing to the Hopf case is that, from the multiplication of B, which is associative, we have to obtain the multiplication of A, which in general is not; for this we use a canonical projection E arising from the fact that B becomes a quasi-Hopf H-bimodule.
It is shown in math.QA/0301027 that a finite dimensional quasi-Hopf algebra with radical of codimension 1 is semisimple and 1-dimensional. On the other hand, there exist quasi-Hopf (in fact, Hopf) algebras, whose radical has codimension 2. Namely, it is known that these are exactly the Nichols Hopf algebras H_{2^n} of dimension 2^n, n\ge 1 (one for each value of n). The main result of this paper is that if H is a finite dimensional quasi-Hopf algebra over C with radical of codimension 2, then H is twist equivalent to a Nichols Hopf algebra H_{2^n}, n\ge 1, or to a lifting of one of the four sp…
We define admissible quasi-Hopf quantized universal enveloping (QHQUE) algebras by h-adic valuation conditions. We show that any QHQUE algebra is twist-equivalent to an admissible one. We prove a related statement: any associator is twist-equivalent to a Lie associator. We attach a quantized formal series algebra to each admissible QHQUE algebra and study the resulting Poisson algebras.
For $A$ a Hopf algebra of arbitrary dimension over a field $K$, it is well-known that if $A$ has nonzero integrals, or, in other words, if the coalgebra $A$ is co-Frobenius, then the space of integrals is one-dimensional and the antipode of $A$ is bijective. Bulacu and Caenepeel recently showed that if $H$ is a dual quasi-Hopf algebra with nonzero integrals, then the space of integrals is one-dimensional, and the antipode is injective. In this short note we show that the antipode is bijective.
Let $(H, R)$ be a finite dimensional quasitriangular Hopf algebra over a field $k$, and $_H\mathcal{M}$ the representation category of $H$. In this paper, we study the braided autoequivalences of the Drinfeld center $^H_H\mathcal{YD}$ trivializable on $_H\mathcal{M}$. We establish a group isomorphism between the group of those autoequivalences and the group of quantum commutative bi-Galois objects of the transmutation braided Hopf algebra $_RH$. We then apply this isomorphism to obtain a categorical interpretation of the exact sequence of the equivariant Brauer group $\mathrm{BM}(k, H,R)$ in […
Using the machinery provided by a Frobenius algebra we show how the antipode of a quasi-Hopf algebra $H$ carries out left or right cointegrals for $H$. These formulas will allow us to find out the explicit form of an integral and a cointegral for the quantum double $D(H)$ of $H$ in terms of those of $H$, and so to answer to a conjecture of Hausser and Nill raised at the end of the nineties.
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.
Using a contraction procedure, we construct a twist operator that satisfies a shifted cocycle condition, and leads to the Jordanian quasi-Hopf U_{h;y}(sl(2)) algebra. The corresponding universal ${\cal R}_{h}(y)$ matrix obeys a Gervais-Neveu-Felder equation associated with the U_{h;y}(sl(2)) algebra. For a class of representations, the dynamical Yang-Baxter equation may be expressed as a compatibility condition for the algebra of the Lax operators.
Let H be a connected Hopf k-algebra of finite Gel'fand-Kirillov dimension over an algebraically closed field k of characteristic 0. The objects of study in this paper are the left or right coideal subalgebras T of H. They are shown to be deformations of commutative polynomial k-algebras. A number of well-known homological and other properties follow immediately from this fact. Further properties are described, examples are considered, invariants are constructed and a number of open questions are listed.
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.
In this paper we introduce the notion of weak Hopf quasigroup as a generalization of weak Hopf algebras and Hopf quasigroups. We obtain its main properties and we prove the fundamental theorem of Hopf modules for these algebraic structures.
Let p be a prime, and denote the class of radically graded finite dimensional quasi-Hopf algebras over C, whose radical has codimension p, by RG(p). The purpose of this paper is to continue the structure theory of finite dimensional quasi-Hopf algebras started in math.QA/0310253 (p=2) and math.QA/0402159 (p>2). More specifically, we completely describe the class RG(p) for p>2. Namely, we show that if H\in RG(p) has a nontrivial associator, then the rank of H[1] over H[0] is \le 1. This yields the following classification of H\in RG(p), p>2, up to twist equivalence: (a) Duals of pointed Hopf al…
We provide a quiver setting for quasi-Hopf algebras, generalizing the Hopf quiver theory. As applications we obtain some general structure theorems, in particular the quasi-Hopf analogue of the Cartier theorem and the Cartier-Gabriel decomposition theorem.
Let $D(H)$ be the quantum double associated to a finite dimensional quasi-Hopf algebra $H$. In this note, we first generalize a result of Majid, stating that a finite dimensional Hopf algebra $H$ is quasitriangular if and only if there is a projection of the quantum double $D(H)$ onto $H$ covering the natural inclusion.We then prove that the quantum double of a finite dimensional quasitriangular quasi-Hopf algebra is a biproduct.
We find a new class of Hopf algebras, local quasitriangular Hopf algebras, which generalize quasitriangular Hopf algebras. Using these Hopf algebras, we obtain solutions of the Yang-Baxter equation in a systematic way. The category of modules with finite cycles over a local quasitriangular Hopf algebra is a braided tensor category.
A classical result in the theory of Hopf algebras concerns the uniqueness and existence of integrals: for an arbitrary Hopf algebra, the integral space has dimension $\leq 1$, and for a finite dimensional Hopf algebra, this dimension is exaclty one. We generalize these results to quasi-Hopf algebras and dual quasi-Hopf algebras. In particular, it will follow that the bijectivity of the antipode follows from the other axioms of a finite dimensional quasi-Hopf algebra. We give a new version of the Fundamental Theorem for quasi-Hopf algebras. We show that a dual quasi-Hopf algebra is co-Frobenius…
We say that a Hopf algebra H is semicocommutative if the right adjoint coaction factorizes through the tensor product of H with the center of H. For instance the commutative and the cocommutative Hopf algebras are semicocommutative. The quasitriangular Hopf algebras generalize the cocommutative Hopf algebras. In this paper we introduce and begin the study of a similar generalization for the semicocommutative ones. These algebras, which we call semiquasitriangular Hopf algebras have many of the basic properties of the quasitriangular ones. In particular, they have associated braided categories …
Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is isomorphic to the center of the category of A-modules as a braided category. Here, quasitriangular means endowed with an R-matrix (our notion of R-matrix for a Hopf algebra in B involves the coend C of B). In general, i.e. when B does not necessarily admit a coend, we construct a quasitriangular Hopf monad d_A on the center Z(B) of B whose category of modules is iso…
In the framework of the Drinfeld theory of twists in Hopf algebras we construct quantum matrix algebras which generalize the Reflection Equation and the RTT algebras. Finite-dimensional representations of these algebras related to the theory of nonultralocal spin chains are presented. The Cayley-Hamilton-Newton identities are demonstrated. These identities allow to define the quantum spectrum for the quantum matrices. We mention possible applications of the new quantum matrix algebras to constructions of noncommutative analogs of Minkowski space and quantum Poincaré algebras.
All rational semisimple braided tensor categories are representation categories of weak quasi Hopf algebras. To proof this result we construct for any given category of this kind a weak quasi tensor functor to the category of finite dimensional vector spaces. This allows to reconstruct a weak quasi Hopf algebra with the given category as its representation category.
We extend to the co-Frobenius case a result of Drinfeld and Radford related to the fourth power of the antipode of a finite dimensional (co)quasitriangular Hopf algebra.