We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and p^2q^2, for prime numbers p, q with q dividing p-1. We also show that certain twisting deformation of the symmetric group is simple as a Hopf algebra. On the other hand, we prove that every twisting deformation of a nilpotent group is semisolvable. We conclude that the notions of simplicity and (semi)solvability of a semisimple Hopf algebra are not determined by its tensor category of representations.
We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of results by Masuoka about Morita-Takeuchi equivalence and by Schauenburg about Hopf Galois extensions. We also outline a method to describe the deforming cocycles involved using the exponential map and its q-analogue.
Let $H$ be a Hopf algebra. Any finite-dimensional lifting of $V\in {}^{H}_{H}\mathcal{YD}$ arising as a cocycle deformation of $A=\mathfrak{B}(V)\#H$ defines a twist in the Hopf algebra $A^*$, via dualization. We follow this recipe to write down explicit examples and show that it extends known techniques for defining twists. We also contribute with a detailed survey about twists in braided categories.
Additive deformations of bialgebras in the sense of J. Wirth, i.e. deformations of the multiplication map fulfilling a certain compatibility condition w.r.t. the coalgebra structure, can be generalized to braided bialgebras. The theorems for additive deformations of Hopf algebras can also be carried over to that case. We consider *-structures and prove a general Schoenberg correspondence in this context. Finally we give some examples.
Let $p$ and $q$ be distinct prime numbers. We study the Galois objects and cocycle deformations of the noncommutative, noncocommutative, semisimple Hopf algebras of odd dimension $p^3$ and of dimension $pq^2$. We obtain that the $p+1$ non-isomorphic self-dual semisimple Hopf algebras of dimension $p^3$ classified by Masuoka have no non-trivial cocycle deformations, extending his previous results for the 8-dimensional Kac-Paljutkin Hopf algebra. This is done as a consequence of the classification of categorical Morita equivalence classes among semisimple Hopf algebras of odd dimension $p^3$, es…
For a given finite dimensional Hopf algebra $H$ we describe the set of all equivalence classes of cocycle deformations of $H$ as an affine variety, using methods of geometric invariant theory. We show how our results specialize to the Universal Coefficients Theorem in the case of a group algebra, and we also give examples from other families of Hopf algebras, including dual group algebras and Bosonizations of Nichols algebras. In particular, we use the methods developed here to classify the cocycle deformations of a dual pointed Hopf algebra associated to the symmetric group on three letters. …
We introduce a method to construct explicitly multiplicative 2-cocycles for bosonizations of Nichols algebras B(V) over Hopf algebras H. These cocycles arise as liftings of H-invariant linear functionals on V tensor V and give a close formula to deform braided commutator-type relations. Using this construction, we show that all known finite dimensional pointed Hopf algebras over the dihedral groups D_m with m=4t > 11, over the symmetric group S_3 and some families over S_4 are cocycle deformations of bosonizations of Nichols algebras.
If A is a bialgebra over a field k and M, N are either left-right Yetter-Drinfel'd modules or left-right Hopf modules over A, we construct deformation cohomologies H^*(M,N) as total cohomologies of certain double complexes Y(M,N) and C(M,N), respectively. In both cases, H^1(M,N) is isomorphic to the group of equivalence classes of extensions of M by N in the corresponding category. In the Yetter-Drinfel'd case, H^*(k,k) is just the Gerstenhaber-Schack cohomology of the bialgebra A. If M, N are Hopf bimodules we construct a natural subbicomplex of the above C(M,N), yielding a cohomology theory …
We construct a universal deformation formula for Connes-Moscovici's Hopf algebra without any projective structure using Fedosov's quantization of symplectic diffeomorphisms.
We introduce a notion of Hopf-Lie-Rinehart algebra and show that the universal algebra of a Hopf-Lie-Rinehart algebra acquires an ordinary Hopf algebra structure.
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.
We determine finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero, whose Hopf coradical is isomorphic to a non-pointed basic Hopf algebra of dimension $24$ and the infinitesimal braidings are indecomposable objects. In particular, we obtain families of new finite-dimensional Hopf algebras without the dual Chevalley property.
We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of a result of Masuoka about Morita-Takeuchi equivalence and of Schauenburg about Hopf Galois extensions. The "infinitesimal" part of the deforming cocycle and of the deformation determine the deformed multiplication and can be described explicitly in terms of Hochschild cohomology. Applications to, and …
To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural structure of a Hopf heap with the translation Hopf algebra isomorphic to the acting Hopf algebra. It is then shown that this assignment establishes an equivalence between categories of Hopf heaps and Hopf-Galois co-objects.
We study when a finite dimensional Hopf action on a quantum formal deformation A of a commutative domain A_0 (i.e., a deformation quantization) must factor through a group algebra. In particular, we show that this occurs when the Poisson center of the fraction field of A_0 is trivial.
We classify finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradcial is isomorphic to the smallest non-pointed basic Hopf algebra, under the assumption that the diagrams are strictly graded. In particular, we obtain some new Nichols algebras of non-diagonal type and new finite-dimensional Hopf algebras without the dual Chevalley property.
The quiver Hopf algebras are classified by means of ramification systems with irreducible representations. This leads to the classification of Nichols algebras over group algebras and pointed Hopf algebras of type one.
As is known to all, Hopf-Galois objects have a significant research value for analyzing tensor categories of comodules and classification questions of pointed Hopf algebras, and are natural generalizations of Hopf algebras with a Galois-theoretic flavour. In this paper, we mainly prove a criterion for an Ore extension of a Hopf-Galois algebra to be a Hopf-Galois algebra, and introduce the conception of Poisson Hopf-Galois algebras, and establish the relationship between Poisson Hopf-Galois algebras and Poisson Hopf algebras. Moreover, we study Poisson Hopf-Galois structures on Poisson polynomi…
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.
Let $G$ be a finite group and let $π: G \to G'$ be a surjective group homomorphism. Consider the cocycle deformation $L = H^σ$ of the Hopf algebra $H = k^G$ of $k$-valued linear functions on $G$, with respect to some convolution invertible 2-cocycle $σ$. The (normal) Hopf subalgebra $k^{G'} \subseteq k^G$ corresponds to a Hopf subalgebra $L' \subseteq L$. Our main result is an explicit necessary and sufficient condition for the normality of $L'$ in $L$.
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.
We compute the second Hochschild cohomology space $HH^2(\mathcal{H}_1)$ of Connes-Moscovici's Hopf algebra $\mathcal{H}_1$, giving the infinitesimal deformations (up to equivalence) of the associative structure. $HH^2(\mathcal{H}_1)$ is shown to be one dimensional, and thus Connes-Moscovici's formal deformation of $\mathcal{H}_1$ using Rankin-Cohen brackets is unique up to equivalence.
We investigate a Hopf algebra structure on the cotensor coalgebra associated to a Hopf bimodule algebra which contains universal version of Clifford algebras and quantum groups as examples. It is shown to be the bosonization of the quantum quasi-shuffle algebra built on the space of its right coinvariants. The universal property and a Rota-Baxter algebra structure are established on this new algebra.
Let $\mathds{k}$ be an algebraically closed field of characteristic zero. We determine all finite-dimensional Hopf algebras over $\mathds{k}$ whose Hopf coradical is isomorphic to the unique $12$-dimensional Hopf algebra $\mathcal{C}$ without the dual Chevalley property, such that the diagrams are strictly graded and the corresponding infinitesimal braidings are indecomposable objects in ${}_{\mathcal{C}}^{\mathcal{C}}\mathcal{YD}$. In particular, we obtain new Nichols algebras of dimension $18$ and $36$ and two families of new Hopf algebras of dimension $216$.
We define a series of Artin-Schelter Gorenstein Hopf algebras $H_β$ with injective dimensions 3. Radford's Hopf algebra and Gelaki's Hopf algebra are homomorphic images of $H_β$. We determine its Grothendieck ring $G_0(H_β)$. Meanwhile we can obtain Grothendieck rings of Gelaki's Hopf algebras and Radford's Hopf algebras $U_{(N,ν,ω)}$ in \cite{R}, and non-isomorphic Hopf algebras with isomorphic Grothendieck rings.
We present examples of color Hopf algebras, i.e. Hopf algebras in color categories (braided tensor categories with braiding induced by a bicharacter on an abelian group), related with quantum doubles of pointed Hopf algebras. We also discuss semisimple color Hopf algebras.
We show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a 2-dimensional irreducible comodule in the finite dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf alge…
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 present characterizations of braided co-Frobenius Hopf algebras in the braided tensor category of Yetter-Drinfeld modules over a Hopf algebra extending those already known for co-Frobenius Hopf algebras.
The search for elliptic quantum groups leads to a modified quantum Yang-Baxter relation and to a special class of quasi-triangular quasi Hopf algebras. This paper calculates deformations of standard quantum groups (with or without spectral parameter) in the category of quasi-Hopf algebras. An earlier investigation of the deformations of quantum groups, in the category of Hopf algebras, showed that quantum groups are generically rigid: Hopf algebra deformations exist only under some restrictions on the parameters. In particular, affine Kac-Moody algebras are more rigid than their loop algebra q…
We investigate the equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids and derive their Morita invariance. For this, we use the tools developed by McCarthy for $k$-linear categories and subsequently by Kaygun and Khalkhali for a certain class of categories, called as $H$-categories, for a Hopf algebra $H$.
Let $H$ be the dual of $16$-dimensional nontrivial semisimple Hopf algebra $H_{b:1}$ in the classification work of Kashina \cite{K00}. We completely determine all finite-dimensional Nichols algebras satisfying $\mathcal{B}(N)\cong \bigotimes_{i\in I}\mathcal{B}(N_i)$, where $N=\bigoplus_{i\in I}N_i$, each $N_i$ is a simple object in $_H^H\mathcal{YD}$. Under this assumption, we classify all those Hopf algebras of finite-dimensional growth from the semisimple Hopf algebra $H$ via the relevant Nichols algebras $\mathcal B(N)$.
This note extends Radford's formula for the fourth power of the antipode of a finite dimensional Hopf algebra to co-Frobenius Hopf algebras and studies equivalent conditions to a Hopf algebra being involutory for finite dimensional and co-Frobenius 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.
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 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.
We study the Calabi-Yau property of pointed Hopf algebra $U(\mc{D},\lmd)$ of finite Cartan type. It turns out that this class of pointed Hopf algebras constructed by N. Andruskiewitsch and H.-J. Schneider contains many Calabi-Yau Hopf algebras. To give concrete examples of new Calabi-Yau Hopf algebras, we classify the Calabi-Yau pointed Hopf algebras $U(\mc{D},\lmd)$ of dimension less than 5.
We study a natural construction of Hopf algebra quotients canonically associated to an R-matrix in a finite dimensional Hopf algebra. We apply this construction to show that a quasitriangular Hopf algebra whose dimension is odd and square-free is necessarily cocommutative.
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 investigate the transformed Hopf algebras in Hopf Galois extensions. The final goal of this paper is to introduce certain triangular Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic $p>0$.
We find a generalization of the restricted PBW basis for pointed Hopf algebras over abelian groups constructed by Kharchenko. We obtain a factorization of the Hilbert series for a wide class of graded Hopf algebras. These factors are parametrized by Lyndon words, and they are the Hilbert series of certain graded Hopf algebras. Key words: graded Hopf algebra, Nichols algebra, Lyndon word
We give explicit formulas for maps in a long exact sequence connecting bialgebra cohomology to Hochschild cohomology. We give a sufficient condition for the connecting homomorphism to be surjective. We apply these results to compute all bialgebra two-cocycles of certain Radford biproducts (bosonizations). These two-cocycles are precisely those associated to the finite dimensional pointed Hopf algebras in the recent classification of Andruskiewitsch and Schneider, in an interpretation of these Hopf algebras as graded bialgebra deformations of Radford biproducts.
We determine and classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradicals are isomorphic to dual Radford algebras of dimension $4p$ for a prime $p>5$. In particular, we obtain families of new examples of finite-dimensional Hopf algebras without the dual Chevalley property.
The notions of Galois and cleft extensions are generalized for coquasi-Hopf algebras. It is shown that such an extension over a coquasi-Hopf algebra is cleft if and only if it is Galois and has the normal basis property. A Schneider type theorem is proven for coquasi-Hopf algebras with bijective antipode. As an application, we generalize Schauenburg's bialgebroid construction for coquasi-Hopf algebras.
In this article we propose a new and so-called holomorphic deformation scheme for locally convex algebras and Hopf algebras. Essentially we regard converging power series expansion of a deformed product on a locally convex algebra, thus giving the means to actually insert complex values for the deformation parameter. Moreover we establish a topological duality theory for locally convex Hopf algebras. Examples coming from the theory of quantum groups are reconsidered within our holomorphic deformation scheme and topological duality theory. It is shown that all the standard quantum groups compri…
In this note we discuss the possibility of constructing the cosimplicial complex for the multiplier Hopf algebras and extending the cyclicity operator to obtain the Hopf-cyclic cohomology for them. We show that the definition of modular pairs in involution for multiplier Hopf algebras and provide the definition of Hopf-cyclic cohomology for algebras of functions over discrete groups.
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 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 …
We present a rich source of Hopf algebras starting from a cofinite central extension of a Noetherian Hopf algebra and a subgroup of the algebraic group of characters of the central Hopf subalgebra. The construction is transparent from a Tannakian perspective. We determine when the new Hopf algebras are co-Frobenius, or cosemisimple, or Noetherian, or regular, or have finite Gelfand-Kirillov dimension.
We determine the corepresentation theory of universal cosovereign Hopf algebras, for generic matrices over an algebraically closed field of characteristic zero.
