In continuation of our recent work about smash product Hom-Hopf algebras [Colloq. Math. 134 (2014)], we introduce the Hom-Yetter-Drinfeld category ${}_H^H$ via the Radford biproduct Hom-Hopf algebra, and prove that Hom-Yetter-Drinfeld modules can provide solutions of the Hom-Yang-Baxter equation and ${}_H^H$ is a pre-braided tensor category, where (H,β,S) is a Hom-Hopf algebra. Furthermore, we show that $(A{♮}_{\diamond }H,\alpha \otimes \beta )$ is a Radford biproduct Hom-Hopf algebra if and only if (A,α) is a Hom-Hopf algebra in the category ${}_H^H$. Finally,...

Let $(H,\alpha )$ be a monoidal Hom-Hopf algebra and $(A,\beta )$ a right $(H,\alpha )$-Hom-comodule algebra. We first introduce the notion of a relative Hom-Hopf module and prove that the functor $F$ from the category of relative Hom-Hopf modules to the category of right $(A,\beta )$-Hom-modules has a right adjoint. Furthermore, we prove a Maschke type theorem for the category of relative Hom-Hopf modules. In fact, we give necessary and sufficient conditions for the functor that forgets the $(H,\alpha )$-coaction to be separable. This leads to a generalized...

We present a notion of an anti-covariant bialgebra extending the anti-symmetric infinitesimal bialgebra and also provide some equivalent characterizations of it. We also prove that an anti-associative Yang-Baxter pair can produce a special Rota-Baxter system.

We study the free complexification operation for compact quantum groups, $G\to G^c$. We prove that, with suitable definitions, this induces a one-to-one correspondence between free orthogonal quantum groups of infinite level, and free unitary quantum groups satisfying $G=G^c$.

We obtain a presentation by generators and relations of any Nichols algebra of diagonal type with finite root system. We prove that the defining ideal is finitely generated. The proof is based on Kharchenko’s theory of PBW bases of Lyndon words. We prove that the lexicographic order on Lyndon words is convex for PBW generators and so the PBW basis is orthogonal with respect to the canonical non-degenerate form associated to the Nichols algebra.

Additive deformations of bialgebras in the sense of J. Wirth [PhD thesis, Université Paris VI, 2002], i.e. deformations of the multiplication map fulfilling a certain compatibility condition with respect to the coalgebra structure, can be generalized to braided bialgebras. The theorems for additive deformations of Hopf algebras can also be carried over to that case. We consider *-structures and prove a general Schoenberg correspondence in this context. Finally we give some examples.

We construct bar-invariant $\mathbb{Z}\left[q^{\pm 1/2}\right]$-bases of the quantum cluster algebra of the valued quiver $A_2^{\left(2\right)}$, one of which coincides with the quantum analogue of the basis of the corresponding cluster algebra discussed in P. Sherman, A. Zelevinsky: Positivity and canonical bases in rank 2 cluster algebras of finite and affine types, Moscow Math. J., 4, 2004, 947–974.

Let $G$ be a group generated by a set of finite order elements. We prove that any bicrossed product $H_{m,d}\left(q\right)\bowtie k\left[G\right]$ between the generalized Taft algebra $H_{m,d}\left(q\right)$ and group algebra $k\left[G\right]$ is actually the smash product $H_{m,d}\left(q\right)♯k\left[G\right]$. Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of $G$. As an application, the classification of $H_{m,d}\left(q\right)\bowtie k[C_{n_1}\times C_{n_2}]$ is completely presented by generators and relations, where $C_n$ denotes the $n$-cyclic group.

2000 Mathematics Subject Classification: Primary 81R50, 16W50, 16S36, 16S37.Let k be a field and X be a set of n elements. We introduce and study a class of quadratic k-algebras called quantum binomial algebras. Our main result shows that such an algebra A defines a solution of the classical Yang-Baxter equation (YBE), if and only if its Koszul dual A! is Frobenius of dimension n, with a regular socle and for each x, y ∈ X an equality of the type xyy = αzzt, where α ∈ k {0, and z, t ∈ X is satisfied...

We continue our study of the category of Doi Hom-Hopf modules introduced in [Colloq. Math., to appear]. We find a sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. We also obtain a condition for a monoidal Hom-algebra and monoidal Hom-coalgebra to be monoidal Hom-bialgebras. Moreover, we introduce morphisms between the underlying monoidal Hom-Hopf algebras, Hom-comodule algebras and Hom-module coalgebras, which give rise to functors between the category of Doi Hom-Hopf...

A multiplicative functional on a graded connected Hopf algebra is called the character. Every character decomposes uniquely as a product of an even character and an odd character. We apply the character theory of combinatorial Hopf algebras to the Hopf algebra of simple graphs. We derive explicit formulas for the canonical characters on simple graphs in terms of coefficients of the chromatic symmetric function of a graph and of canonical characters on quasi-symmetric functions. These formulas and...

We exhibit a monoidal structure on the category of finite sets indexed by P-trees for a finitary polynomial endofunctor P. This structure categorifies the monoid scheme (over Spec ℕ) whose semiring of functions is (a P-version of) the Connes-Kreimer bialgebra H of rooted trees (a Hopf algebra after base change to ℤ and collapsing H 0). The monoidal structure is itself given by a polynomial functor, represented by three easily described set maps; we show that these maps are the same as those occurring...

We continue the study started recently by Agore, Bontea and Militaru in “Classifying bicrossed products of Hopf algebras” (2014), by describing and classifying all Hopf algebras $E$ that factorize through two Sweedler’s Hopf algebras. Equivalently, we classify all bicrossed products $H_4\bowtie H_4$. There are three steps in our approach. First, we explicitly describe the set of all matched pairs $(H_4,H_4,▹,◃)$ by proving that, with the exception of the trivial pair, this set is parameterized by the ground field $k$. Then, for...

We define a graded twisted-coassociative coproduct on the tensor algebra the desuspension space of a graded vector space $V$. The coderivations (resp. quadratic “degree 1” codifferentials, arbitrary odd codifferentials) of this coalgebra are 1-to-1 with sequences of multilinear maps on $V$ (resp. graded Loday structures on $V$, sequences that we call Loday infinity structures on $V$). We prove a minimal model theorem for Loday infinity algebras and observe that the ${\text{Lod}}_{\infty }$ category contains the ${\text{L}}_{\infty }$ category as...

Let (A,α) and (B,β) be two Hom-Hopf algebras. We construct a new class of Hom-Hopf algebras: R-smash products $(A{♮}_{R}B,\alpha \otimes \beta )$. Moreover, necessary and sufficient conditions for $(A{♮}_{R}B,\alpha \otimes \beta )$ to be a cobraided Hom-Hopf algebra are given.