Related papers: Integrals for Bialgebras
We show by a direct computation that, for any Hopf algebra with a modulus-like character, the formulas first introduced in [CM] in the context of characteristic classes for actions of Hopf algebras, do define a cyclic module. This provides…
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…
Any multiplier Hopf *-algebra} with positive integrals gives rise to a locally compact quantum group (in the sense of Kustermans and Vaes). As a special case of such a situation, we have the compact quantum groups (in the sense of…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
This is the last part of a series of three papers on the subject. In the first part we have considered the duality of algebraic quantum groups. In that paper, we use the term algebraic quantum group for a regular multiplier Hopf algebra…
Certain sufficient homological and ring-theoretical conditions are given for a Hopf algebra to have bijective antipode with applications to noetherian Hopf algebras regarding their homological behaviors.
A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…
Let $(A,\Delta)$ be a finite-dimensional Hopf algebra. The linear dual $B$ of $A$ is again a finite-dimensional Hopf algebra. The duality is given by an element $V\in B\otimes A$, defined by $\langle V,a\otimes b\rangle=\langle a,b\rangle$…
We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…
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…
In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which…
Following the idea of an invariant differential complex, we construct general-type cyclic modules that provide the common denominator of known cyclic theories. The cyclicity of these modules is governed by Hopf-algebraic structures. We…
We give functorial recipes to get, out of any Hopf algebra over a field, two pairs of Hopf algebras which have some geometrical content. When the ground field has characteristic zero, the first pair is made by a function algebra over a…
Recently, S. Meljanac proposed a construction of a class of examples of an algebraic structure with properties very close to the Hopf algebroids $H$ over a noncommutative base $A$ of other authors. His examples come along with a subalgebra…
We consider "Hopfological" techniques as in \cite{Ko} but for infinite dimensional Hopf algebras, under the assumption of being co-Frobenius. In particular, $H=k[{\mathbb Z}]\#k[x]/x^2$ is the first example, whose corepresentations category…
Starting with a given generalized boson algebra U_<q>(h(1)) known as the bosonized version of the quantum super-Hopf U_q[osp(1/2)] algebra, we employ the Hopf duality arguments to provide the dually conjugate function algebra Fun_<q>(H(1)).…
It is known that a dual quasi-bialgebra with antipode $H$, i.e. a dual quasi-Hopf algebra, fulfils a fundamental theorem for right dual quasi-Hopf $H$-bicomodules. The converse in general is not true. We prove that, for a dual…
Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…
We show that the ring of symmetric functions in superspace is a cocommutative and self-dual Hopf algebra. We provide formulas for the action of the coproduct and the antipode on various bases of that ring. We introduce the ring sQSym of…
We show that indecomposable exact module categories over the category Rep H of representations of a finite-dimensional Hopf algebra H are classified by left comodule algebras, H-simple from the right and with trivial coinvariants, up to…