Related papers: Weak Hopf quasigroups and matched pairs of quasigr…
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is…
Algebraic quantum groupoids have been developed by two of the authors (AVD and SHW) of this note in a series of papers. Regular multiplier Hopf algebroids are obtained also by two authors (TT and AVD). Integral theory and duality for those…
We extend \cite{G} to the nonsemisimple case. We define and study exact factorizations $\B=\A\bullet \C$ of a finite tensor category $\B$ into a product of two tensor subcategories $\A,\C\subset \B$, and relate exact factorizations of…
The notion of a Hopf module over a Hopf (co)quasigroup is introduced and a version of the fundamental theorem for Hopf (co)quasigroups is proven.
Definitions of actions of Hopf quasigroups are discussed in the context of Long dimodules and smash products. In particular, Long dimodules are defined for Hopf quasigroups and coquasigroups, and solutions to Militaru's D-equation are…
We construct a new class of finite-dimensional C^*-quantum groupoids at roots of unity q=e^{i\pi/\ell}, with limit the discrete dual of the classical SU(N) for large orders. The representation category of our groupoid turns out to be tensor…
Let A be a finite dimensional Hopf algebra and (H, R) a quasitriangular bialgebra. Denote by H^*_R a certain deformation of the multiplication of H^* via R. We prove that H^*_R is a quantum commutative left H\otimes H^{op cop}-module…
We construct a large family of ribbon quasi-Hopf algebras related to small quantum groups, with a factorizable R-matrix. Our main purpose is to obtain non-semisimple modular tensor categories for quantum groups at even roots of unity, where…
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…
Let A be a Hopf algebra and H a coalgebra. We shall describe and classify up to an isomorphism all Hopf algebras E that factorize through A and H: that is E is a Hopf algebra such that A is a Hopf subalgebra of E, H is a subcoalgebra in E…
We show that two flat commutative Hopf algebroids are Morita equivalent if and only if they are weakly equivalent and if and only if there exists a principal bibundle connecting them. This gives a positive answer to a conjecture due to…
We classify all Hopf algebras which factorize through two Taft algebras $\mathbb{T}_{n^{2}}(\bar{q})$ and respectively $T_{m^{2}}(q)$. To start with, all possible matched pairs between the two Taft algebras are described: if $\bar{q} \neq…
We investigate a generalization of Hopf algebra $\mathfrak{sl}_{q}(2)$ by weakening the invertibility of the generator $K$, i.e. exchanging its invertibility $KK^{-1}=1$ to the regularity $K\overline{K}K=K$. This leads to a weak Hopf…
In this paper we explore the concept of depth of a ring extension when the overall algebra factorises as a product of two subalgebras, in particular the case of finite dimensional Hopf algebras. As a result we generalise the results by…
A subgroup $H\leq G$ is said to be almost normal if every conjugate of $H$ is commensurable to $H$. If $H$ is almost normal, there is a well-defined quotient space $G/H$. We show that if a group $G$ has type $F_{n+1}$ and contains an almost…
Let $A$ be a multiplier Hopf coquasigroup. If the faithful integrals exist, then they are unique up to scalar. Furthermore, if $A$ is of discrete type, then its integral duality $\widehat{A}$ is a Hopf quasigroup, and the biduality…
Given a group $G$ and a subset $X \subset G$, an element $g \in G$ is called quasi-positive if it is equal to a product of conjugates of elements in the semigroup generated by $X$. This notion is important in the context of braid groups,…
In this paper we present the general theory of cleft extensions for a cocommutative weak Hopf algebra $H$. For a weak left $H$-module algebra we obtain a bijective correspondence between the isomorphisms classes of $H$-cleft extensions…
The present article represents a step forward in the study of the following problem: If $\mathbb{A}=(A_{1},A_{2})$ and $\mathbb{H}=(H_{1},H_{2})$ are Hopf braces in a symmetric monoidal category C such that $(A_{1},H_{1})$ and…
We introduce a quasitriangular Hopf algebra or `quantum group' $U(B)$, the {\em double-bosonisation}, associated to every braided group $B$ in the category of $H$-modules over a quasitriangular Hopf algebra $H$, such that $B$ appears as the…