Hom-dendriform algebras are twisted analog of dendriform algebras and are splitting of hom-associative algebras. In this paper, we define a cohomology and deformation for hom-dendriform algebras. We relate this cohomology with the Hochschild-type cohomology of hom-associative algebras. We also describe similar results for the twisted analog of dendriform coalgebras.
Dendriform coalgebras are the dual notion of dendriform algebras and are splitting of associative coalgebras. In this paper, we define a cohomology theory for dendriform coalgebras based on some combinatorial maps. We show that the cohomology with self coefficients governs the formal deformation of the structure. We also relate this cohomology with the cohomology of dendriform algebras, coHochschild (Cartier) cohomology of associative coalgebras and cohomology of Rota-Baxter coalgebras which we introduce in this paper. Finally, using those combinatorial maps, we introduce homotopy analogue of …
The main feature of Hom-algebras is that the identities defining the structures are twisted by linear maps. The purpose of this paper is to introduce and study a Hom-type generalization of pre-Malcev algebras and M-dendriform algebras, called Hom-pre-Malcev algebras and Hom-M-dendriform algebras. We also introduce the notion of $\mathcal{O}$-operators of Hom-Malcev and Hom-pre-Malcev algebras and show the connections between Hom-Malcev, Hom-pre-Malcev and Hom-M-dendriform algebras using $\mathcal{O}$-operators. Hom-pre-Malcev algebras and Hom-M-dendriform algebras generalize Hom-pre-Lie algebr…
The goal of this work is to introduce the notion of $3$-Hom-Lie-dendriform algebras which is the dendriform version of $3$-Hom-Lie-algebras. They can be also regarded as the ternary analogous of Hom-Lie-dendriform algebras. We give the representation of a $3$-Hom-pre-Lie algebra. Moreover, we introduce the notion of Nijenhuis operators on a $3$-Hom-pre-Lie algebra and provide some constructions of $3$-Hom-Lie-dendriform algebras in term of Nijenhuis operators. Parallelly, we introduce the notion of a product and complex structures on a $3$-Hom-Lie-dendriform algebras and there are also four ty…
In this paper, we introduce the Hom-algebra setting of the notions of matching Rota-Baxter algebras, matching (tri)dendriform algebras and matching (pre)Lie algebras. Moreover, we study the properties and relationships between categories of these matching Hom-algebraic structures.
Splitting of operations for Hom-diassociative and Hom-triassociative Algebras
University of Carthage(迦太基大学);Higher Institute of Sciences and Technology of Environment of Borj Cedria (ISTEUB)(布尔吉塞里亚环境科学与技术高等学院);Université de Gafsa(加夫萨大学);Facultté des sciences de Gafsa(加夫萨科学学院);Département de Mathématiques, Faculté des Sciences, Université de Sfax(萨法克斯大学理学院数学系);IRIMAS - Département de Mathématiques, Faculté des Sciences, Université de Haute Alsace(上阿尔萨斯大学理学院数学系 IRIMAS)
Dendriform algebras are certain splitting of associative algebras and arise naturally from Rota-Baxter operators, shuffle algebras and planar binary trees. In this paper, we first consider involutive dendriform algebras, their cohomology and homotopy analogs. The cohomology of an involutive dendriform algebra splits the Hochschild cohomology of an involutive associative algebra. In the next, we introduce a more general notion of oriented dendriform algebras. We develop a cohomology theory for oriented dendriform algebras that closely related to extensions and governs the simultaneous deformati…
The aim of this work is to introduce and study the notions of Hom-pre-Jordan algebra and Hom-J-dendriform algebra which generalize Hom-Jordan algebras. Hom-Pre-Jordan algebras are regarded as the underlying algebraic structures of the Hom-Jordan algebras behind the Rota-Baxter operators and $\mathcal{O}$-operators introduced in this paper. Hom-Pre-Jordan algebras are also analogues of Hom-pre-Lie algebras for Hom-Jordan algebras. The anti commutator of a Hom-pre-Jordan algebra is a Hom-Jordan algebra and the left multiplication operator gives a representation of a Hom-Jordan algebra. On the ot…
The aim of this paper is to introduce and study Rota-Baxter Hom-algebras. Moreover we introduce a generalization of the dendriform algebras and tridendriform algebras by twisting the identities by mean of a linear map. Then we explore the connections between these categories of Hom-algebras.
The notion of a Hom-Leibniz bialgebra is introduced and it is shown that matched pairs of Hom-Leibniz algebras, Manin triples of Hom-Leibniz algebras and Hom-Leibniz bialgebras are equivalent in a certain sense. The notion of Hom-Leibniz dendriform algebra is established, their bimodules and matched pairs are defined and their properties and theorems about their interplay and construction are obtained. Furthermore, the concept of BiHom-Leibniz dendriform algebras is introduced and discussed, their bimodules and matched pairs are constructed and properties are described. Finally, the connection…
In this work, the partially and totally hom-coassociative ternary coalgebras are constructed and discussed. Their {infinitesimal} bialgebraic structures are also investigated. The related dual space structures and their properties are elucidated.
Rota-Baxter systems were introduced by Brzeziński as a generalization of Rota-Baxter operators that are related to dendriform structures, associative Yang-Baxter pairs and covariant bialgebras. In this paper, we define Rota-Baxter systems on Hom-associative algebras and show how they induce Hom-dendriform structures and weak pseudotwistors on the underlying Hom-associative algebra. We introduce Hom-Yang-Baxter pairs and a notion of covariant Hom-bialgebra. Given a Hom-Yang-Baxter pair, we construct a twisted Rota-Baxter system and a (quasitriangular) covariant Hom-bialgebra. Finally, we consid…
The notion of matching Rota-Baxter algebras was recently introduced by Gao, Guo and Zhang [{\em J. Algebra} 552 (2020) 134-170] motivated by the study of algebraic renormalization of regularity structures. The concept of matching Rota-Baxter algebras generalizes multiple integral operators with kernels. The same authors also introduced matching dendriform algebras as the underlying structure of matching Rota-Baxter algebras. In this paper, we introduce matching relative Rota-Baxter algebras that are also related to matching dendriform algebras. We define a matching associative Yang-Baxter equa…
Three categories of algebras with morphisms generalising the usual set of algebra homomorphisms are described. The Sweedler product provides a hom-tensor equivalence relating these three categories, and a tool enabling the universal measuring coalgebra to be calculated in small cases. A parallel theory for modules is presented.
A dendriform algebra is an associative algebra whose product splits into two binary operations and the associativity splits into three new identities. These algebras arise naturally from some combinatorial objects and through Rota-Baxter operators. In this paper, we start by defining cohomology of dendriform algebras with coefficient in a representation. The deformation of a dendriform algebra $A$ is governed by the cohomology of $A$ with coefficient in itself. Next we study $\mathrm{Dend}_\infty$-algebras (dendriform algebras up to homotopy) in which the dendriform identities hold up to certa…
We study Hom-type analogs of Rota-Baxter and dendriform algebras, called Rota-Baxter $G$-Hom-associative algebras and Hom-dendriform algebras. Several construction results are proved. Free algebras for these objects are explicitly constructed. Various functors between these categories, as well as an adjunction between the categories of Rota-Baxter Hom-associative algebras and of Hom-(tri)dendriform algebras, are constructed.
The concept of Rota-Baxter family algebra is a generalization of Rota-Baxter algebra. It appears naturally in the algebraic aspects of renormalizations in quantum field theory. Rota-Baxter family algebras are closely related to dendriform family algebras. In this paper, we first construct an $L_\infty$-algebra whose Maurer-Cartan elements correspond to Rota-Baxter family algebra structures. Using this characterization, we define the cohomology of a given Rota-Baxter family algebra. As an application of our cohomology, we study formal and infinitesimal deformations of a given Rota-Baxter family…
The main goal of this work is to introduce the notion of Hom-M-dendriform algebras which are the dendriform version of Hom-Malcev algebras. In fact they are the algebraic structures behind the $\mathcal{O}$-operator of Hom-pre-Malcev algebras. They also fit into a bigger framework as Hom-Malcev algebraic analogues of Hom-L-dendriform algebras. Furthermore, we show a connections between Hom-M-Dendriform algebras and Hom-alternative quadri-algebras.
The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.
The aim of this paper is to develop the theory of Hom-coalgebras and related structures. After reviewing some key constructions and examples of quasi-deformations of Lie algebras involving twisted derivations and giving rise to the class of quasi-Lie algebras incorporating Hom-Lie algebras, we describe the notion and some properties of Hom-algebras and provide examples. We introduce Hom-coalgebra structures, leading to the notions of Hom-bialgebra and Hom-Hopf algebras and prove some fundamental properties and give examples. Finally, we define the concept of Hom-Lie admissible Hom-coalgebra an…
In this paper we introduce modules over both left and right Hom-alternative algebras. We give some constructions of left and right Hom-alternative modules and give various properties of both, as well as examples. Then, we prove that morphisms of left alternative algebras extend to morphisms of left Hom-alternative algebras. Next, we introduce comodules over Hom-Poisson coalgebras and show that we may obtain a structure map of a comodule over a Hom-Poisson coalgebra from a given one.
Rota-Baxter systems of T. Brzeziński are a generalization of Rota-Baxter operators that are related to dendriform structures, associative Yang-Baxter pairs and covariant bialgebras. In this paper, we consider Rota-Baxter systems in the presence of bimodule, which we call generalized Rota-Baxter systems. We define a graded Lie algebra whose Maurer-Cartan elements are generalized Rota-Baxter systems. This allows us to define a cohomology theory for a generalized Rota-Baxter system. Formal one-parameter deformations of generalized Rota-Baxter systems are discussed from cohomological points of vie…
In this paper we introduce the notion of Hom-pre-Lie bialgebra in the general framework of the cohomology theory for Hom-Lie algebras. We show that Hom-pre-Lie bialgebras, standard Manin triples for Hom-pre-Lie algebras and certain matched pairs of Hom-pre-Lie algebras are equivalent. Due to the usage of the cohomology theory, it makes us successfully study the coboundary Hom-pre-Lie bialgebras. The notion of Hom-s-matrix is introduced, by which we can construct Hom-pre-Lie bialgebras naturally. Finally we introduce the notions of Hom-O-operators on Hom-pre-Lie algebras and Hom-L-dendriform al…
We first introduce the notion of Doi Hom-Hopf modules and find the sufficient condition for the category of Doi Hom-Hopf modules to be monoidal. Also we obtain the condition for the monoidal Hom-algebra and monoidal Hom-coalgebra to be monoidal Hom-bialgebras. Second, we give the maps between the underlying monoidal Hom-Hopf algebras, Hom-comodule algebras and Hom-module coalgebras give rise to functors between the category of Doi Hom-Hopf modules and study tensor identities for monodial categories of Doi Hom-Hopf modules. Furthermore, we construct a braiding on the category of Doi Hom-Hopf mo…
Our main purpose is to introduce the notion of trans-datum for quivers, and apply it to the study of automorphism groups of path coalgebras and algebras. We observe that any homomorphism of path coalgebras is uniquely determined by a trans-datum, which is the basis of our work. Under this correspondence, we show for any quiver $Q$ an isomorphism from $\aut(kQ^c)$ to $Ω^*(Q)$, the group of invertible trans-data from $Q$ to itself. We point out that the coradical filtration gives to a tower of normal subgroups of $\aut(kQ^c)$ with all factor groups determined. Generalizing this fact, we establis…
Given a nonsymmetric operad $\mathcal{O}$, we first construct two new nonsymmetric operads $\mathcal{O}^{\mathrm{comp}}$ and $\mathcal{O}^{\mathrm{Dend}}$. These operads are respectively useful to study compatible and split Loday-algebras. As an application of the operad $\mathcal{O}^{\mathrm{comp}}$, we show that the cohomology of a compatible associative algebra carries a Gerstenhaber structure. We give an application of the operad $\mathcal{O}^\mathrm{Dend}$ to dendriform algebras and find generalizations to other Loday-algebras. In the end, we construct another operad $\mathrm{Fam}(\mathca…
This paper addresses a Hom-associative algebra built as a direct sum of a given Hom-associative algebra $(\mathcal{A}, \cdot, α)$ and its dual $(\mathcal{A}^{\ast}, \circ, α^{\ast}),$ endowed with a non-degenerate symmetric bilinear form $\mathcal{B},$ where $\cdot$ and $\circ$ are the products defined on $\mathcal{A}$ and $\mathcal{A}^{\ast},$ respectively, and $ α$ and $α^{\ast}$ stand for the corresponding algebra homomorphisms. Such a double construction, also called Hom-Frobenius algebra, is interpreted in terms of an infinitesimal Hom-bialgebra. The same procedure is applied to character…
We study serial coalgebras by means of their valued Gabriel quivers. In particular, Hom-computable and representation-directed coalgebras are characterized. The Auslander-Reiten quiver of a serial coalgebra is described. Finally, a version of Eisenbud-Griffith theorem is proved, namely, every subcoalgebra of a prime, hereditary and strictly quasi-finite coalgebra is serial.
A relative Rota-Baxter algebra is a generalization of a Rota-Baxter algebra. Relative Rota-Baxter algebras are closely related to dendriform algebras. In this paper, we introduce bimodules over a relative Rota-Baxter algebra that fits with the representations of dendriform algebras. We define the cohomology of a relative Rota-Baxter algebra with coefficients in a bimodule and then study abelian extensions of relative Rota-Baxter algebras in terms of the second cohomology group. Finally, we consider homotopy relative Rota-Baxter algebras and classify skeletal homotopy relative Rota-Baxter algeb…
In the recent definition of Hom-Hopf algebras the antipode S is the relative Hominverse of the identity map with respect to the convolution product. We observe that some fundamental properties of the antipode of Hopf algebras and Hom-Hopf algebras, with the original definition, do not hold generally in the new setting. We show that the antipode is a relative Hom-anti algebra and a relative anti-coalgebra morphism. It is also relative Hom-unital, and relative Hom-counital. Furthermore if the twisting maps of multiplications and comultiplications are invertible then S is an anti-algebra and an a…
In this paper, we mainly present some new solutions of the Hom-Yang-Baxter equation from Hom-algebras, Hom-coalgebras and Hom-Lie algebras, respectively. Also, we prove that these solutions are all self-inverse and give some examples. Finally, we introduce the notion of Hom-Yang-Baxter systems and obtain two kinds of Hom-Yang-Baxter systems.
We investigate left and right co-Frobenius coalgebras and give equivalent characterizations which prove statements dual to the characterizations of Frobenius algebras. We prove that a coalgebra is left and right co-Frobenius if and only if C is isomorphic to Rat(C*) as right C*-modules and also that this is eqhivalent to the fact that the functors Hom_K(-,K) and Hom_{C*}(-,C*) from the category of right C-comodules to the category of all left C*-modules are isomorphic. This allows a definition of a left-right symmetric concept of co-Frobenius coalgebras that is perfectly dual to the one of Fro…
We define the path coalgebra and Gabriel quiver constructions as functors between the category of $k$-quivers and the category of pointed $k$-coalgebras, for $k$ a field. We define a congruence relation on the coalgebra side, show that the functors above respect this relation, and prove that the induced Gabriel $k$-quiver functor is left adjoint to the corresponding path coalgebra functor. We dualize, obtaining adjoint pairs of functors (contravariant and covariant) for pseudocompact algebras. Using these tools we describe precisely to what extent presentations of coalgebras and algebras in te…
Let F denote the homotopy fiber of a map f:K-->L of 2-reduced simplicial sets. Using as input data the strongly homotopy coalgebra structure of the chain complexes of K and L, we construct a small, explicit chain algebra, the homology of which is isomorphic as a graded algebra to the homology of GF, the simplicial (Kan) loop group on F. To construct this model, we develop machinery for modeling the homotopy fiber of a morphism of chain Hopf algebras. Essential to our construction is a generalization of the operadic description of the category DCSH of chain coalgebras and of strongly homotopy c…
Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras) have been investigated in the literature recently. We study Hom-structures from the point of view of monoidal categories; in particular, we introduce a symmetric monoidal category such that Hom-algebras coincide with algebras in this monoidal category, and similar properties for coalgebras, Hopf algebras and Lie algebras.
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 prove that the existence of a cyclic operator forces a modification of the Yetter-Drinfeld compatibility condition leading to the concept of a stable anti-Yetter-Drinfeld module. This module plays the role of the space of coefficients in the thus obtained cyclic cohomology of module algebras and coalgebras, and the cyclic homology and cohomology of comodule alge…
Let $(H,\a_H)$ be a Hom-Hopf algebra, $(A,\a_A)$ a right $H$-comodule algebra and $(C,\a_C)$ a left $H$-module coalgebra. Then we have the category $_A\mathcal{M}(H)^C$ of Hom-type Doi-Hopf modules. The aim of this paper is to make the category $_A\mathcal{M}(H)^C$ into a braided monoidal category. Our construction unifies quasitriangular and coquasitriangular Hom-Hopf algebras and Hom-Yetter-Drinfeld modules. We study tensor identities for monoidal categories of Hom-type Doi-Hopf modules. Finally we show that the category $_A\mathcal{M}(H)^C$ is isomorphic to $A\#C^*$-module category.
In this paper, first we discuss Hom-pre-Poisson algebras and their relationships with Hom-Poisson algebra. Then we introduce the notion of a Hom-pre-Gerstenhaber algebra and show that a Hom-pre-Gerstenhaber algebra gives rise to a Hom-Gerstenhaber algebra. Moreover, we consider Hom-dendriform formal deformations of Hom-zinbiel algebras and show that Hom-pre-Poisson algebras are the corresponding semi-classical limits. Furthermore, we consider Hom-O-operators on Hom-Poisson algebras and study their relationships with Hom-pre-Poisson algebras. Finally, we define the notion of dual-Hom-pre-Poisso…
We generalize the results on existence and uniqueness of integrals from compact groups and Hopf algebras in a pure (co)algebraic setting, and find a series of new results on (quasi)-co-Frobenius and semiperfect coalgebras. For a coalgebra $C$, we introduce the generalized space of integrals $\int_M=\Hom^C(C,M)$ associated to a right $C$-comodule $M$ and study connections between "uniqueness of integrals" $\dim(\int_M)\leq \dim(M)$ and "existence of integrals" $\dim(\int_M)\geq \dim(M)$ for all $M$ and representation theoretic properties of $C$: (quasi)-co-Frobenius, semiperfect. We show that a…
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over a field or commutative ring. In this paper, we show how to apply the defining diagrams of algebras, coalgebras, and bialgebras to categories of semimodules and semimodule homomorphisms over a commutative semiring. We then show that formal language theory and the theory of bialgebras have essentially undergone "convergent evolution", with the same constructions appearing in both contexts. For example, formal languages…
The goal of this paper is to present results which are consistent with conjectures about the Leibniz (co)homology for discrete groups stated by J. L. Loday. We show that rack cohomology has properties very close to the properties expected for the conjectural Leibniz cohomology. In particular, we prove the existence of a graded dendriform algebra structure on rack cohomology, and we construct a graded associative algebra morphism from group cohomology to rack cohomology which is injective in degree 1.
We study the universal measuring coalgebras P(A,B) of Sweedler and the universal measuring comodules Q(M,N) of Batchelor. We show that these universal objects exist in a very general context. We provide a detailed proof of an observation of Wraith, that the P(A,B) are the hom-objects of an enrichment of algebras in coalgebras. We show also that the Q(M,N) provide an enrichment of the global category of modules in the global category of comodules.
Recently, some concepts such as Hom-algebras, Hom-Lie algebras, Hom-Lie admissible algebras, Hom-coalgebras are studied and some of classical properties of algebras and some geometric objects are extended on them. In this paper by recall the concept of Hom-$ρ$-commutative algebras, we intend to develop some of the most classical results in Riemannian geometry such as metric, connection, torsion tensor, curvature tensor on it and also we discuss about differential operators and get some results of differential calculus using them. The notions of symplectic structures and Poisson structures are …
The definition of Azumaya algebras over commutative rings $R$ require the tensor product of modules over $R$ and the twist map for the tensor product of any two $R$-modules. Similar constructions are available in braided monoidal categories and Azumaya algebras were defined in these settings. Here we introduce Azumaya monads on any category $\A$ by considering a monad $\bF$ on $\A$ endowed with a distributive law $λ: FF\to FF$ satisfying the Yang-Baxter equation (BD-law). This allows to introduce an {\em opposite monad} $\bF^\la$ and a monad structure on $FF^\la$. For an {\em Azumaya monad} we…