Related papers: Integral theory for left Hopf left bialgebroids
Ping Xu generalized Drinfeld 2-cocycles from bialgebras to associative bialgebroids over noncommutative base algebras. Any counital Drinfeld--Xu 2-cocycle twists the base algebra of the bialgebroid and a comultiplication on the total…
We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf…
In the recent definition of Hom-Hopf algebras the antipode S is the relative Hominverse of the identity map with respect to the convolution product. We observe that some fundamental properties of the antipode of Hopf algebras and Hom-Hopf…
The left and right homological integrals are introduced for a large class of infinite dimensional Hopf algebras. Using the homological integrals we prove a version of Maschke's theorem for infinite dimensional Hopf algebras. The…
We use Hopf algebroids to formulate a notion of a noncommutative and non-cocommutative Hopf 2-algebra. We show how these arise from a bicrossproduct Hopf algebra with Peiffer identities. In particular, we show that for a Hopf algebra $H$…
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 give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic…
We construct new examples of left bialgebroids and Hopf algebroids, arising from noncommutative geometry. Given a first order differential calculus $\Omega$ on an algebra $A$, with the space of left vector fields $\mathfrak{X}$, we…
We give an introduction to the theory of weak Hopf algebras proposed recently as a coassociative alternative of weak quasi-Hopf algebras. We follow an axiomatic approach keeping as close as possible to the "classical" theory of Hopf…
Given a Hopf algebra $H$, Brzezi\'nski and Militaru have shown that each braided commutative Yetter-Drinfeld $H$-module algebra $A$ gives rise to an associative $A$-bialgebroid structure on the smash product algebra $A \sharp H$. They also…
We introduce a natural generalization of the definition of a symmetric Hopf algebroid, internal to any symmetric monoidal category with coequalizers that commute with the monoidal product. Motivation for this is the study of Heisenberg…
Comodule algebras of a Hopf algebroid H with a bijective antipode, i.e. algebra extensions B\subseteq A by H, are studied. Assuming that a lifted canonical map is a split epimorphism of modules of the non-commutative base algebra of H,…
Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…
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…
Let $(A,\Delta)$ be a weak multiplier Hopf algebra. It is a pair of a non-degenerate algebra $A$, with or without identity, and a coproduct $\Delta$ on $A$, satisfying certain properties. The main difference with multiplier Hopf algebras is…
For a large class of finite-dimensional Lie superalgebras (including the classical simple ones) a Lie supergroup associated to the algebra is defined by fixing the Hopf superalgebra of functions on the supergroup. Then it is shown that on…
We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…
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…
In this paper, we introduce the notion of post-Hopf algebroids, generalizing the pre-Hopf algebroids introduced in [Bronasco, Laurent, 2025] in the study of exotic aromatic S-series. We construct action post-Hopf algebroids through actions…
We develop a theory of right group-like projections in Hopf algebras linking them with the theory of left coideal subalgebras with two sided counital integrals. Every right group-like projection is associated with a left coideal subalgebra,…