We propose a categorical interpretation of multiplier Hopf algebras, in analogy to usual Hopf algebras and bialgebras. Since the introduction of multiplier Hopf algebras by Van Daele in [A. Van Daele, Multiplier Hopf algebras, {\em Trans. Amer. Math. Soc.}, {\bf 342}(2), (1994) 917--932.] such a categorical interpretation has been missing. We show that a multiplier Hopf algebra can be understood as a coalgebra with antipode in a certain monoidal category of algebras. We show that a (possibly non-unital, idempotent, non-degenerate, $k$-projective) algebra over a commutative ring $k$ is a multiplier bialgebra if and only if the category of its algebra extensions and both the categories of its left and right modules are monoidal and fit, together with the category of $k$-modules, into a diagram of strict monoidal forgetful functors.
It is well-known that any weak Hopf algebra gives rise to a Hopf algebroid. Moreover it is possible to characterize those Hopf algebroids that arise in this way. Recently, the notion of a weak Hopf algebra has been extended to the case of algebras without identity. This led to the theory of weak multiplier Hopf algebras. Similarly also the theory of Hopf algebroids was recently developed for algebras without identity. They are called multiplier Hopf algebroids. Then it is quite natural to investigate the expected link between weak multiplier Hopf algebras and multiplier Hopf algebroids. This r…
The main purpose of this paper is to unify the theory of actions of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras to one of actions of weak multiplier Hopf algebras introduced by A. Van Daele and S. H. Wang. Using such developed actions, we will define the notion of a module algebra over weak multiplier Hopf algebras and construct their smash products. The main result is the duality theorem for actions and their dual actions on the smash product of weak multiplier Hopf algebras. As an application, we recover the main results found in the literature for weak Hopf algebras, mult…
This paper generalizes the Drinfel'd twist to the multiplier Hopf algebra case. For a multiplier Hopf algebra $A$ with a twist $J$, we construct a new multiplier Hopf algebra $A^{J}$. Furthermore, if $A$ is quasitriangular, then $A^{J}$ is also. Finally, for a counimodular algebraic quantum group $A$, $A^{J}$ is an algebraic quantum group.
For a multiplier Hopf algebra pairing $\langle A, B\rangle$, we construct a class of group-cograded multiplier Hopf algebras $D(A, B)$, generalizing the classical construction of finite dimensional Hopf algebras introduced by Panaite and Staic Mihai. Furthermore, if the multiplier Hopf algebra pairing admits a canonical multiplier in $M(B\otimes A)$ we show the existence of quasitriangular structure on $D(A, B)$. As an application, some special cases and examples are provided.
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 $\widehat{\widehat{A}}$ is isomorphic to the original $A$ as multiplier Hopf coquasigroups. This biduality theorem also holds for a class of Hopf quasigroups with faithful integrals.
In this paper we study twisted algebras of multiplier Hopf ($^*$-)algebras which generalize all kinds of smash products such as generalized smash products, twisted smash products, diagonal crossed products, L-R-smash products, two-sided crossed products and two-sided smash products for the ordinary Hopf algebras appeared in [P-O].
The Larson-Sweedler theorem says that a finite-dimensional bialgebra with a faithful integral is a Hopf algebra. The result has been generalized to finite-dimensional weak Hopf algebras by Vecsernyés. In this paper, we show that the result is still true for weak multiplier Hopf algebras. The notion of a weak multiplier bialgebra was introduced by Böhm, Gómez-Torrecillas and López-Centella. In this note it is shown that a weak multiplier bialgebra with a regular and full coproduct is a regular weak multiplier Hopf algebra if there is a faithful set of integrals. This result is important for the…
Let $(A,Δ)$ be a regular weak multiplier Hopf algebra. Denote by $E$ the canonical idempotent of $(A,Δ)$ and by $B$ the image of the source map. Recall that $B$ is a non-degenerate algebra, sitting nicely in the multiplier algebra $M(A)$ of $A$ so that also $M(B)$ can be viewed as a subalgebra of $M(A)$. Assume that $u,v$ are invertible elements in $M(B)$ so that $E(vu\otimes 1)E=E$. This last condition is obviously fulfilled if $u$ and $v$ are each other inverses, but there are also other cases. Now modify $Δ$ and define $Δ'(a)=(u\otimes 1)Δ(a)(v\otimes 1)$ for all $a \in A$. We show in this …
In this paper, we continue the study of weak multiplier Hopf algebras. We recall the notions of the source and target maps $\varepsilon_s$ and $\varepsilon_t$, as well as of the source and target algebras. Then we investigate these objects further. Among other things, we show that the canonical idempotent $E$ (which is eventually $Δ(1)$) belongs to the multiplier algebra $M(B\otimes C)$ where $B=\varepsilon_s(A)$ and $C=\varepsilon_t(A)$ and that it is a separability idempotent. We also consider special cases and examples in this paper. In particular, we see how for any weak multiplier Hopf al…
Let $A=\bigoplus_{p\in G}A_{p}$ be a multiplier Hopf $T$-coalgebra over a group $G$, in this paper we give the definition of the crossed left $A$-$G$-modules and show that the category of crossed left $A$-$G$-modules is a monoidal category. Finally we show that a family of multipliers $R = \{R_{p, q} \in M(A_{p}\otimes A_{q})\}_{p, q\in G}$ is a quasitriangular structure of a multiplier $T$-coalgebra $A$ if and only if the crossed left $A$-$G$-module category over $A$ is a braided monoidal category with the braiding $c$ defined by $R$, generalizing the main results in \cite{ZCL11} to the more …
Let $(A,Δ)$ be a weak multiplier Hopf algebra. It is a pair of a non-degenerate algebra $A$, with or without identity, and a coproduct $Δ$ on $A$, satisfying certain properties. The main difference with multiplier Hopf algebras is that now, the canonical maps $T_1$ and $T_2$ on $A\otimes A$, defined by $$T_1(a\otimes b)=Δ(a)(1\otimes b) \qquad\quad\text{and}\qquad\quad T_2(c\otimes a)=(c\otimes 1)Δ(a),$$ are no longer assumed to be bijective. Also recall that a weak multiplier Hopf algebra is called regular if its antipode is a bijective map from $A$ to itself. In this paper, we introduce and …
In partial action theory, a pertinent question is whenever given a partial (co)action of a Hopf algebra A on an algebra R, it is possible to construct an enveloping (co)action. The authors Alves and Batista, in [2],have shown that this is always possible if R has unit. We are interested in investigating the situation where both algebras A and R are nonunitary. A nonunitary natural extension for the concept of Hopf algebras was proposed by Van Daele, in [11], which is called multiplier Hopf algebra. Therefore, we will consider partial (co)actions of multipliers Hopf algebras on algebras not nec…
In this work we define partial (co)actions on multiplier Hopf algebras, we also present examples and properties. From a partial comodule coalgebra we construct a partial smash coproduct generalizing the constructions made by the L. Delvaux, E. Batista and J. Vercruysse.
In the present work, we study Yetter-Drinfeld algebras over a pairing of multiplier Hopf algebras. Our main motivation is the construction of a self-dual theory of (C*-)algebraic quantum transformation groupoids. Instead of the standard characterization of Yetter-Drinfeld algebras given in the case of Hopf algebras, we develop an equivalent "only coaction" characterization in the framework of multiplier Hopf algebras. Finally, as a special case, we focus on Yetter-Drinfeld structures over Van Daele's algebraic quantum groups.
In this paper, we show that Hennings construction of invariants of framed links and 3-manifolds obtained from Hopf algebras can also be carried out for some algebraic quantum groups.
In this paper, we introduce and study the notion of cointegrals in a weak multiplier Hopf algebras $(A, Δ)$. A cointegral is a non-zero element $h$ in the multiplier algebra $M(A)$ such that $ah=\v_t(a)h$ for any $a\in A$. When $A$ has a faithful set of cointegrals (now we call $A$ of {\it discrete type}), we give a sufficient and necessary condition for existence of integrals on $A$. Then we consider a special case, i.e., $A$ has a single faithful cointegral, and we obtain more better results, such as $A$ is Frobenius, quasi-Frobenius, et al. Moreover when an algebraic quantum groupoid $A$ ha…
For a regular multiplier Hopf algebra $A$, the Yetter-Drinfel'd module category ${}_{A}\mathcal{YD}^{A}$ is equivalent to the centre $Z({}_{A}\mathcal{M})$ of the unital left $A$-module category ${}_{A}\mathcal{M}$. Then we introduce the generalized $(α, β)$-Yetter-Drinfel'd module categories ${}_{A}\mathcal{GYD}^{A}(α, β)$, which are treated as components of a braided $T$-category. Especially when $A$ is a coFrobenius Hopf algebra, ${}_{A}\mathcal{YD}^{A}(α, β)$ is isomorphic to the unital $\hat{A} \bowtie A(α, β)$-module category ${}_{\hat{A} \bowtie A(α, β)}\mathcal{M}$. Finally for a Yette…
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 have been studied by one author here (TT). Finally, again two authors of us (TT and AVD) have investigated the relation between weak multiplier Hopf algebras and multiplier Hopf algebroids. In the paper 'Weak multiplier Hopf algebras III. Integrals and duality' (by AVD and SHW), one of the main results is that the dual of an algebraic quantum groupoid, admit…
Based on a pairing of two regular multiplier Hopf algebras $A$ and $B$, Heisenberg double $\mathscr{H}$ is the smash product $A \# B$ with respect to the left regular action of $B$ on $A$. Let $\mathscr{D}=A\bowtie B$ be the Drinfel'd double, then Heisenberg double $\mathscr{H}$ is a Yetter-Drinfel'd $\mathscr{D}$-module algebra, and it is also braided commutative by the braiding of Yetter-Drinfel'd module, which generalizes the results in [10] to some infinite dimensional cases.
Let $G$ be a {\it finite group}. Consider the algebra $A$ of all complex functions on G (with pointwise product). Define a coproduct $Δ$ on A by $Δ(f)(p,q)=f(pq)$ where $f\in A$ and $p,q\in G$. Then $(A,Δ)$ is a Hopf algebra. If $G$ is only a {\it groupoid}, so that the product of two elements is not always defined, one still can consider $A$ and define $Δ(f)(p,q)$ as above when $pq$ is defined. If we let $Δ(f)(p,q)=0$ otherwise, we still get a coproduct on $A$, but $Δ(1)$ will no longer be the identity in $A\ot A$. The pair $(A,Δ)$ is not a Hopf algebra but a weak Hopf algebra. If $G$ is a {\…
A weak multiplier Hopf algebra is a pair (A,Δ) of a non-degenerate idempotent algebra A and a coproduct $Δ$ on A. The coproduct is a coassociative homomorphism from A to the multiplier algebra M(A\otimes A) with some natural extra properties (like the existence of a counit). Further we impose extra but natural conditions on the ranges and the kernels of the canonical maps T_1 and T_2 defined from A\otimes A to M(A\otimes A) by T_1(a\otimes b)=Δ(a)(1\otimes b) and T_2(a\ot b)=(a\otimes 1)Δ(b). The first condition is about the ranges of these maps. It is assumed that there exists an idempotent e…
In this paper, we generalize Majid's bicrossproduct construction. We start with a pair (A,B) of two regular multiplier Hopf algebras. We assume that B is a right A-module algebra and that A is a left B-comodule coalgebra. We recall and discuss the two notions in the first sections of the paper. The right action of A on B gives rise to the smash product A # B. The left coaction of B on A gives a possible coproduct on A # B. We will discuss in detail the necessary compatibility conditions between the action and the coaction for this to be a proper coproduct on A # B. The result is again a regula…
Let $(A,Δ)$ be a locally compact quantum group and $(A_0,Δ_0)$ a regular multiplier Hopf algebra. We show that if $(A_0,Δ_0)$ can in some sense be imbedded in $(A,Δ)$, then $A_0$ will inherit some of the analytic structure of $A$. Under certain conditions on the imbedding, we will be able to conclude that $(A_0,Δ_0)$ is actually an algebraic quantum group with a full analytic structure. The techniques used to show this, can be applied to obtain the analytic structure of a $^*$-algebraic quantum group {\it in a purely algebraic fashion}. Moreover, the {\it reason} that this analytic structure e…
Let $(A,Δ)$ be a multiplier Hopf algebra. In general, the underlying algebra $A$ need not have an identity and the coproduct $Δ$ does not map $A$ into $A\otimes A$ but rather into its multiplier algebra $M(A\otimes A)$. In this paper, we study {\it some tools} that are frequently used when dealing with such multiplier Hopf algebras and that are typical for working with algebras without identity in this context. The {\it basic ingredient} is a unital left $A$-module $X$. And the basic construction is that of extending the module by looking at linear maps $ρ:A\to X$ satisfying $ρ(aa')=aρ(a')$ wh…
The aim of this paper is to extend the classical Larson-Sweedler theorem, namely that a k-bialgebra has a non-singular integral (and in particular is Frobenius) if and only if it is a finite dimensional Hopf algebra, to the `many-object' setting of Hopf categories. To this end, we provide new characterizations of Frobenius V-categories and we develop the integral theory for Hopf V-categories. Our results apply to Hopf algebras in any braided monoidal category as a special case, and also relate to Turaev's Hopf group algebras and particular cases of weak and multiplier Hopf algebras.
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 id}$ on $C$ for some fixed $d$. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.
The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy the faithful (co)flatness condition. Hopf center and cocenter are computed for $\mathsf{U}_q(\mathfrak{g})$ and the Hopf algebra $\textrm{Pol}(\mathbb{G}_q)$, where $\mathbb{G}_q$ is the Drinfeld-Jimbo quantization of a compact semisimple simply connected Lie group $\mathbb{G}$ and $\mathfrak{g}$ is a simple complex Lie algebra.
We construct the analogue of Takeuchi's free Hopf algebra in the setting of Poisson Hopf algebras. More precisely, we prove that there exists a free Poisson Hopf algebra on any coalgebra or, equivalently that the forgetful functor from the category of Poisson Hopf algebras to the category of coalgebras has a left adjoint. In particular, we also prove that the category of Poisson Hopf algebras is a reflective subcategory of the category of Poisson bialgebras. Along the way, we describe coproducts and coequalizers in the category of Poisson Hopf algebras, therefore showing that the latter catego…
In this note, we show that Radford's formula for the fourth power of the antipode can be proven for any regular multiplier Hopf algebra with integrals (algebraic quantum groups). This of course not only includes the case of a finite-dimensional Hopf algebra but also the case of any Hopf algebra with integrals (co-Frobenius Hopf algebras). The proof follows in a few lines from well-known formulas in the theory of regular multiplier Hopf algebras with integrals. We discuss these formulas and their importance in this theory. We also mention their generalizations to the (in a certain sense) more g…
In the work of Rostami et al., the Bogomolov multiplier of a Lie algebra $L$ over a field $Ω$ is defined as a particular factor of a subalgebra of the exterior product $L \wedge L$. If $L$ is finite dimensional, we identify this object as a certain subgroup of the second cohomology group $H^2(L, Ω)$ by deriving a Hopf-Type formula. As an application, we affirmatively answer two questions posed by Kunyavskii regarding the invariance of the Bogomolov multiplier under isoclinism of Lie algebras and the existence of a family of Lie algebras with Bogomolov multipliers of unbounded dimension.
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 normal Hopf subalgebra.
We develop a duality theory for multiplier Banach-Hopf algebras over a non-Archimedean field K. As examples, we consider algebras corresponding to discrete groups and zero-dimensional locally compact groups with K-valued Haar measure, as well as algebras of operators generated by regular representations of discrete groups.
Let $k$ be an algebraically closed field of characteristic 0. In this paper, we obtain the structure theorems for semisimple Hopf algebras of dimension $9q^2$ over $k$, where $q$ is a prime number. We also prove that odd-dimensional semisimple Hopf algebras over $k$ of dimension less than 600 are of Frobenius type.
Let $B$ and $C$ be non-degenerate idempotent algebras and assume that $E$ is a regular separability idempotent in $M(B\otimes C)$. Define $A=C\otimes B$ and $Δ:A\to M(A\otimes A)$ by $Δ(c\otimes b)=c\otimes E\otimes b$. The pair $(A,Δ)$ is a weak multiplier Hopf algebra. Because we assume that $E$ is regular, it is a regular weak multiplier Hopf algebra. There is a faithful left integral on $(A,Δ)$ that is also right invariant. Therefore, we call $(A,Δ)$ a unimodular algebraic quantum groupoid. By the general theory, the dual $(\widehat A,\widehat Δ)$ can be constructed and it is again an alge…
Let $L/F$ be a Galois extension of fields with Galois group isomorphic to the quaternion group of order $ 8 $. We describe all of the Hopf-Galois structures admitted by $ L/F $, and determine which of the Hopf algebras that appear are isomorphic as Hopf algebras. In the case that $ F $ has characteristic zero we also determine which of these Hopf algebras are isomorphic as $ F $-algebras and explicitly compute their Wedderburn-Artin decompositions.
We study Doi-Hopf data and Doi-Hopf modules for Hopf group-coalgebras. We introduce modules graded by a discrete Doi-Hopf datum; to a Doi-Hopf datum over a Hopf group coalgebra, we associate an algebra graded by the underlying discrete Doi-Hopf datum, using a smash product type construction. The category of Doi-Hopf modules is then isomorphic to the category of graded modules over this algebra. This is applied to the category of Yetter-Drinfeld modules over a Hopf group coalgebra, leading to the construction of the Drinfeld double. It is shown that this Drinfeld double is a quasitriangular gra…
We investigate the structures of Hopf $\ast$-algebra on the Radford algebras over $\mathbb {C}$. All the $*$-structures on $H$ are explicitly given. Moreover, these Hopf $*$-algebra structures are classified up to equivalence.
We investigate the theory of Hopf-Galois extensions for monoidal Hom-Hopf algebras. As the main result of this paper, we prove the Schneider's affineness theorems in the case of monoidal Hom-Hopf algebras in terms of the theory of the total integral and Hom-Hopf Galois extensions. In addition, we obtain the affineness criterion for relative Hom-Hopf module associated with faithfully flat Hom-Hopf Galois extensions.
By using the language of cogroupoids, we show that Hopf-Galois objects of a twisted Calabi-Yau Hopf algebra with bijective antipode are still twisted Calabi-Yau, and give their Nakayama automorphism explicitly. As applications, cleft Galois objects of twisted Calabi-Yau Hopf algebras and Hopf-Galois objects of the quantum automorphism groups of non-degenerate bilinear forms are proved to be twisted Calabi-Yau.
We obtain the double factorization of braided bialgebras or braided Hopf algebras, give relation among integrals and semisimplicity of braided Hopf algebra and its factors.
In this paper, the so-called differential graded (DG for short) Poisson Hopf algebra is introduced, which can be considered as a natural extension of Poisson Hopf algebras in the differential graded setting. The structures on the universal enveloping algebras of differential graded Poisson Hopf algebras are discussed.
We develop Hopf-Galois theory for weak Hopf algebras, and recover analogs of classical results for Hopf algebras. Our methods are based on the recently introduced Galois theory for corings. We focus on the situatation where the weak Hopf algebra is a groupoid algebra or its dual. We obtain weak versions of strongly graded rings, and classical Galois extensions.
The purpose of this paper is two fold: we study the behaviour of the forgetful functor from S-modules to graded vector spaces in the context of algebras over an operad and derive from this theory the construction of combinatorial Hopf algebras. As a byproduct we obtain freeness and cofreeness results for these Hopf algebras. Let O denote the forgetful functor from S-modules to graded vector spaces. Left modules over an operad P are treated as P-algebras in the category of S-modules. We generalize the results obtained by Patras and Reutenauer in the associative case to any operad P: the functor…
For a Poisson algebra $A$, by exploring its relation with Lie-Rinehart algebras, we prove a Poincaré-Birkoff-Witt theorem for its universal enveloping algebra $A^e$. Some general properties of the universal enveloping algebras of Poisson Hopf algebras are studied. Given a Poisson Hopf algebra $B$, we give the necessary and sufficient conditions for a Poisson polynomial algebra $B[x; α, δ]_p$ to be a Poisson Hopf algebra. We also prove a structure theorem for $B^e$ when $B$ is a pointed Poisson Hopf algebra. Namely, $B^e$ is isomorphic to $B#_σ\mathcal{H}(B)$, the crossed product of $B$ and $\m…
We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra upon its finite normal Hopf subalgebra. For the projectivity of a projective Hopf algebras we need some finiteness condition in terms of the module of integral. In particular we show the the module of integral has rank one.
