Search

The Drinfeld double associated to the weak multiplier Hopf ($*$-) algebra pairing $\left\langle A, B\right\rangle$ is constructed. We show that the Drinfeld double is again a weak multiplier Hopf ($*$-) algebra. If $A$ and $B$ are algebraic quantum groupoids, then so does the double. We also prove the correspondence between modules over the Drinfeld double and Yetter-Drinfeld modules. Finally, we prove that the double is a quasitriangular weak multiplier Hopf algebra.

We may give rise to some questions related to the mathematical structures of $P$-class and $NP$-class. We have seen that one is a proper subclass of the other. Here we disclose more that $P$- class turns out to be the proper distributive sublattice of the $NP$- class., Comment: arXiv admin note: substantial text overlap with arXiv:2003.05321, arXiv:1912.10849

For H a Hopf quasigroup and C, a left quasi H-comodule coalgebra, we show that the smash coproduct C⋊H (as a symmetry of smash product) is linked to some quotient coalgebra Q=C/CH*+ by a Morita-Takeuchi context (as a symmetry of Morita context). We use the Morita-Takeuchi setting to prove that for finite dimensional H, equivalent conditions for C/Q to be a Hopf quasigroup Galois coextension (as a symmetry of Galois extension). In particular, we consider a special case of quasigroup graded coalgebras as an application of our theory.

We find a natural compatible condition between the Rota-Baxter operator and Turaev's (Hopf) group-(co)algebras, which leads to the concept of Rota-Baxter Turaev's (Hopf) group-(co)algebra. Two characterizations of Rota-Baxter Turaev's group-algebras (abbr. T-algebras) are obtained: one by Atkinson factorization and the other by T-quasi-idempotent elements. The relations among some related Turaev's group algebraic structures (such as (tri)dendriform T-algebras, Zinbiel T-algebras, pre-Lie T-algebras, Lie T-algebras) are discussed, and some concrete examples from the algebras of dimensions 2,3 and 4 are given. At last we prove that Rota-Baxter Poisson T-algebras can produce pre-Poisson T-algebras and Poisson T-algebras can be obtained from pre-Poisson T-algebras.

We introduce the notion of a four-angle $H$-Hopf module for a Hom-Hopf algebra $(H,\beta)$ and show that the category $\!^{H}_{H}\mathfrak{M}^{H}_{H}$ of four-angle $H$-Hopf modules is a monoidal category with either a Hom-tensor product $\otimes_{H}$ or a Hom-cotensor product $\Box_{H}$ as a monoidal product. We study the category $\mathcal{YD}^{H}_{H}$ of Yetter-Drinfel'd modules with bijective structure map can be organized as a braided monoidal category, in which we use a new monoidal structure and prove that if the canonical braiding of the category $\mathcal{YD}^{H}_{H}$ is symmetry then $(H,\beta)$ is trivial. We then prove an equivalence between the monoidal category $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\otimes_{H})$ or $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\Box_{H})$ of four-angle $H$-Hopf modules, and the monoidal category $\mathcal{YD}^{H}_{H}$ of Yetter-Drinfel'd modules, and furthermore, we give a braiding structure of the monoidal categorys $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\otimes_{H})$ (and $(~\!^{H}_{H}\mathfrak{M}^{H}_{H},\Box_{H})$). Finally, we prove that when $(H,\beta)$ is finite dimensional Hom-Hopf algebra, the category $\!^{H}_{H}\mathfrak{M}^{H}_{H}$ is isomorphic to the representation category of Heisenberg double $H^{*op}\otimes H^{*}\#H\otimes H^{op}$.

Let $(H, \beta)$ be a monoidal Hom-Hopf algebra with the bijective antipode $S$, In this paper, we mainly construct the Drinfel'd codouble $T(H)=(H^{op}\otimes H^{*}, \beta\otimes \beta^{*-1})$ and $\widehat{T(H)}=( H^{*}\otimes H^{op}, \beta^{*-1}\otimes \beta)$ in the setting of monoidal Hom-Hopf algebras. Then we prove both $T(H)$ and $\widehat{T(H)}$ are coquasitriangular. Finally, we discuss the relation between Drinfel'd codouble and Heisenberg double in the setting of monoidal Hom-Hopf algebras, which is a generalization of the part results in \cite{L94}.

In this paper, we first discuss some properties of the Galois linear maps. We provide some equivalent conditions for Hopf algebras and Hopf (co)quasigroups as its applications. Then let $H$ be a Hopf quasigroup with bijective antipode and $G$ be the set of all Hopf quasigroup automorphisms of $H$. We introduce a new category $\mathscr{C}_{H}(\alpha,\beta)$ with $\alpha,\beta\in G$ over $H$ and construct a new braided $\pi$-category $\mathscr{C}(H)$ with all the categories $\mathscr{C}_{H}(\alpha,\beta)$ as components., Comment: 16 pages

Firstly, we introduce a class of new algebraic systems which generalize Hopf quasigroups and Hopf $\pi-$algebras called $Q$-graded Hopf quasigroups, and research some properties of them. Secondly, we define the representations of $Q$-graded Hopf quasigroups, i.e $Q$-graded Hopf quasimodules, research the construction method and fundamental theorem of them. Thirdly, we research the smash products of $Q$-graded Hopf quasigroups., Comment: $Q$-graded Hopf quasigroups; $Q$-graded Hopf quasimodules; Smash products

Let $H$ be a Hopf quasigroup with bijective antipode and let $Aut_{HQG}(H)$ be the set of all Hopf quasigroup automorphisms of $H$. We introduce a category ${_{H}\mathcal{YDQ}^{H}}(\alpha,\beta)$ with $\alpha,\beta\in Aut_{HQG}(H)$ and construct a braided $T$-category $\mathcal{YDQ}(H)$ having all the categories ${_{H}\mathcal{YDQ}^{H}}(\alpha,\beta)$ as components., Comment: arXiv admin note: text overlap with arXiv:1502.07377

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]., 32. arXiv admin note: text overlap with arXiv:math/0504386 by other authors

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 that now, the canonical maps $T_1$ and $T_2$ on $A\otimes A$, defined by $$T_1(a\otimes b)=\Delta(a)(1\otimes b) \qquad\quad\text{and}\qquad\quad T_2(c\otimes a)=(c\otimes 1)\Delta(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 study the notion of integrals on such regular weak multiplier Hopf algebras. A left integral is a non-zero linear functional on $A$ that is left invariant (in an appropriate sense). Similarly for a right integral. For a regular weak multiplier Hopf algebra $(A,\Delta)$ with (sufficiently many) integrals, we construct the dual $(\widehat A,\widehat\Delta)$. It is again a regular weak multiplier Hopf algebra with (sufficiently many) integrals. This duality extends the known duality of finite-dimensional weak Hopf algebras to this more general case. It also extends the duality of multiplier Hopf algebras with integrals, the so-called algebraic quantum groups. For this reason, we will sometimes call a regular weak multiplier Hopf algebra with enough integrals an algebraic quantum groupoid. We discuss the relation of our work with the work on duality for algebraic quantum groupoids by Timmermann. We also illustrate this duality with a particular example in a separate paper. In this paper, we only mention the main definitions and results for this example. However, we do consider the two natural weak multiplier Hopf algebras associated with a groupoid in detail and show that they are dual to each other in the sense of the above duality.

In this paper, we define and study weak monoidal Hom-Hopf algebras, which generalize both weak Hopf algebras and monoidal Hom-Hopf algebras. If $H$ is a weak monoidal Hom-Hopf algebra with bijective antipode and let $Aut_{wmHH}(H)$ be the set of all automorphisms of $H$. Then we introduce a category ${_{H}\mathcal{WMHYD}^{H}}(\alpha,\beta)$ with $\alpha,\beta\in Aut_{wmHH}(H)$ and construct a braided $T$-category $\mathcal{WMHYD}(H)$ that having all the categories ${_{H}\mathcal{WMHYD}^{H}}(\alpha,\beta)$ as components., Comment: 24 pages. arXiv admin note: substantial text overlap with arXiv:1405.6767

Let $\pi$ be a group. The aim of this paper is to construct the category of Yetter-Drinfeld modules over the quasi-Turaev group coalgebra $H=(\{H_\a\}_{\a\in\pi},\Delta,\varepsilon,S,\Phi)$, and prove that this category is isomorphic to the center of the representation category of $H$. Therefore a new Turaev braided group category is constructed.

Let $(A,\alpha)$ be a finite-dimensional Hom-Hopf algebra. In this paper we mainly construct the Drinfel'd double $D(A)=(A^{op}\bowtie A^{\ast},\alpha\otimes(\alpha^{-1})^{\ast})$ in the setting of Hom-Hopf algebras by two ways, one of which generalizes Majid's bicrossproduct for Hopf algebras (see \cite{M2}) and another one is to introduce the notion of dual pairs of of Hom-Hopf algebras. Then we study the relation between the Drinfel'd double $D(A)$ and Heisenberg double $H(A)=A\# A^{*}$, generalizing the main result in \cite{Lu}. Especially, the examples given in the paper are not obtained from the usual Hopf algebras.

Let $ Aut_{mHH}(H)$ denote the set of all automorphisms of a monoidal Hopf algebra $H$ with bijective antipode in the sense of Caenepeel and Goyvaerts \cite{CG2011}. The main aim of this paper is to provide new examples of braided $T$-category in the sense of Turaev \cite{T2008}. For this, first we construct a monoidal Hom-Hopf $T$-coalgebra $\mathcal{MHD}(H)$ and prove that the $T$-category $Rep(\mathcal{MHD}(H))$ of representation of $\mathcal{MHD}(H)$ is isomorphic to $\mathcal {MHYD}(H)$ as braided $T$-categories, if $H$ is finite-dimensional. Then we construct a new braided $T$-category $\mathcal{ZMHYD}(H)$ over $\mathbb{Z},$ generalizing the main construction by Staic \cite{S2007}., Comment: arXiv admin note: substantial text overlap with arXiv:1405.6767

We propose a definition of multiplier infinitesimal bialgebra and a definition of derivator Lie bialgebra. We give some examples of these structures and prove that every bibalanced multiplier infinitesimal bialgebra gives rise to a multiplier Lie bialgebra., Comment: 11 pages

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 general theory of locally compact quantum groups. Doing so, and also because the proof of the main result itself is very short, the present note becomes largely of an expository nature.

info:eu-repo/semantics/published

Any finite-dimensional Hopf algebra has a left and a right integral. Conversely, Larsen and Sweedler showed that, if a finite-dimensional algebra with identity and a comultiplication with counit has a faithful left integral, it has to be a Hopf algebra. In this paper, we generalize this result to possibly infinite-dimensional algebras, with or without identity. We have to leave the setting of Hopf algebras and work with multiplier Hopf algebras. Moreover, whereas in the finite-dimensional case, there is a complete symmetry between the bialgebra and its dual, this is no longer the case in infinite dimensions. Therefore we consider a direct version (with integrals) and a dual version (with cointegrals) of the Larson-Sweedler theorem. We also add some results about the antipode. Furthermore, in the process of this paper, we obtain a new approach to multiplier Hopf algebras with integrals.