Related papers: Small Bialgebras with a Projection: Applications
Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $\pi$ from $A$ to $H$…
Let $A$ be a Hopf algebra over a field $K$ of characteristic 0 and suppose there is a coalgebra projection $\pi$ from $A$ to a sub-Hopf algebra $H$ that splits the inclusion. If the projection is $H$-bilinear, then $A$ is isomorphic to a…
In this paper, we associate a dual quasi-bialgebra, called bosonization, to every dual quasi-bialgebra $H$ and every bialgebra $R$ in the category of Yetter-Drinfeld modules over $H$. Then, using the fundamental theorem, we characterize as…
We show that, under some mild conditions, a bialgebra in an abelian and coabelian braided monoidal category has a weak projection onto a formally smooth (as a coalgebra) sub-bialgebra with antipode; see Theorem 1.12. In the second part of…
The deformation bicomplex of a module-algebra over a bialgebra is constructed. It is then applied to study algebraic deformations in which both the module structure and the algebra structure are deformed. The cases of module-coalgebras,…
Additive deformations of bialgebras in the sense of Wirth are deformations of the multiplication map of the bialgebra fulfilling a compatibility condition with the coalgebra structure and a continuity condition. Two problems concerning…
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…
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…
An algebraic deformation theory of module-algebras over a bialgebra is constructed. The cases of module-coalgebras, comodule-algebras, and comodule-coalgebras are also considered.
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain…
The main goal of this paper is to investigate the structure of Hopf algebras with the property that either its Jacobson radical is a Hopf ideal or its coradical is a subalgebra. In order to do that we define the Hochschild cohomology of an…
We introduce the bicategory of bialgebras with coverings (which can be thought of as coalgebra-indexed families of morphisms), and provide a motivating application to the transfer of formulas for primitives and antipode. Additionally, we…
Lie bialgebra structures on the extended affine Lie algebra $\widetilde{sl_2(\mathbb{C}_q)}$ are investigated. In particular, all Lie bialgebra structures on $\widetilde{sl_2(\mathbb{C}_q)}$ are shown to be triangular coboundary. This…
By using algebraic tools from differential Gerstenhaber algebras and Batalin-Vilkobisky algebras, we provide a new perspective on the modular class in Poisson geometry and the intrinsic biderivation of a Lie bialgebra. Furthermore,…
We construct and study new generalisations to rooted trees and forests of some properties of shuffles of words. First, we build a coproduct on rooted trees which, together with their shuffle, endow them with bialgebra structure. We then…
We define cohomology of associative H-pseudoalgebras, and we show that it describes module extensions, abelian pseudoalgebra extensions, and pseudoalgebra first order deformations. We describe in details the same results for the special…
We consider the algebra $R$ generated by three elements $A,B,H$ subject to three relations $[H,A]=A$, $[H,B]=-B$ and $\{A,B\}=f(H)$. When $f(H)=H$ this coincides with the Lie superalgebra $osp(1/2)$; when $f$ is a polynomial we speak of…
Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…
A Com-PreLie bialgebra is a commutative bialgebra with an extra preLie product satisfying some compatibilities with the product and coproduct. We here give a classification of connected, cocommutative Com-PreLie bialgebras over a field of…
We clarify the relation between the `bosonisation' construction (due to the author) which can be used to turn a Hopf algebra $B$ in the category of $H$-modules or $H$-comodules into an equivalent ordinary Hopf algebra, and a version of…