Related papers: On right coideal subalgebras

A regular way to define an additive coproduct (or ``coaddition'') on the q-deformed differential complexes is proposed for quantum groups and quantum spaces related to the Hecke-type R-matrices. Several examples of braided coadditive…

The Hopf envelope of a bialgebra is the free Hopf algebra generated by the given bialgebra. Its existence, as well as that of the cofree Hopf algebra, is a well-known fact in Hopf algebra theory, but their construction is not particularly…

We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a…

Character groups of Hopf algebras appear in a variety of mathematical contexts such as non-commutative geometry, renormalisation of quantum field theory, numerical analysis and the theory of regularity structures for stochastic partial…

We prove that a finite-dimensional cocommutative Hopf algebra $H$ is local, if and only if the subalgebra generated by the first term of its coradical filtration $H_1$ is local. In particular if $H$ is connected, $H$ is local if and only if…

Let $S$ be the left $R$-bialgebroid of a depth two extension with centralizer $R$ as defined in math.QA/0108067. We show that the left endomorphism ring of depth two extension, not necessarily balanced, is a left $S$-Galois extension of…

Let H be a Hopf algebra and A an H-simple right H-comodule algebra. It is shown that under certain hypotheses every (H,A)-Hopf module is either projective or free as an A-module and A is either a quasi-Frobenius or a semisimple ring. As an…

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…

Let $k$ be a field of characteristic $p>0$ and $R$ be a subalgebra of $k[X]=k[x_1,...,x_n]$. Let $J(R)$ be the ideal in $k[X]$ defined by $J(R)\Omega_{k[X]/k}^n=k[X]\Omega_{R/k}^n$. It is shown that if it is a principal ideal then $J(R)^q$…

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…

This paper introduces a Hopf algebra structure on a family of reduced pipe dreams. We show that this Hopf algebra is free and cofree, and construct a surjection onto a commutative Hopf algebra of permutations. The pipe dream Hopf algebra…

For a matrix coalgebra $C$ over some field, we determine all small subcoalgebras of the free Hopf algebra on $C$, the free Hopf algebra with a bjective antipode on $C$, and the free Hopf algebra with antipode $S$ satisfying $S^{2d}={\rm…

A cohomology theory of the adjoint of Hopf algebras, via deformations, is presented by means of diagrammatic techniques. Explicit calculations are provided in the cases of group algebras, function algebras on groups, and the bosonization of…

Let H be a finite dimensional semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this note we give a short proof of the fact that a Hopf subalgebra of H is a depth two subalgebra if and only if it is…

The recent result of Brown and Zhang establishing Poincare duality in the Hochschild (co)homology of a large class of Hopf algebras is extended to right coideal subalgebras over which the Hopf algebra is faithfully flat, and applied to the…

We show that if a finite dimensional Hopf algebra over ${\bf C}$ has a basis such that all the structure constants are non-negative, then the Hopf algebra must be given by a finite group $G$ and a factorization $G=G_+G_-$ into two…

We determine all Nichols algebras of finite-dimensional Yetter-Drinfeld modules over groups such that all its left coideal subalgebras in the category of $\mathbb{N}_0$-graded comodules over the group algebra are generated in degree one as…

We classify pointed Hopf algebras of discrete corepresentation type over an algebraically closed field K with characteristic zero. For such algebras $H$, we explicitly determine the algebra structure up to isomorphism for the link…

The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding…

This article considers cuspidal curves whose coordinate rings are numerical semigroup algebras. Using a general result about descent of Hopf algebroid structures, their rings of differential operators are shown to be cocommutative and…