Related papers: The Biderivative and A_\infty-bialgebras
An A-infinity bialgebra of type (m,n) is a Hopf algebra H equipped with a "compatible" operation \omega : H^{\otimes m} \to H^{\otimes n} of positive degree. We determine the structure relations for A-infinity bialgebras of type (m,n) and…
We compute the structure relations in special A_\infty-bialgebras whose operations are limited to those defining the underlying A_\infty-(co)algebra substructure. Such bialgebras appear as the homology of certain loop spaces. Whereas…
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…
We here construct an explicit isomorphism between any commutative Hopf algebra which underlying coalgebra is the tensor coalgebra of a space $V$ and the shuffle algebra based on the same space. This isomorphism uses the commutative…
Building on Kadeishvili's original theorem inducing $A_\infty$-algebra structures on the homology of dg-algebras, several directions of algorithmic research in $A_\infty$-algebras have been pursued. In this paper we will survey work done on…
A compatible $L_\infty$-algebra is a graded vector space together with two compatible $L_\infty$-algebra structures on it. Given a graded vector space, we construct a graded Lie algebra whose Maurer-Cartan elements are precisely compatible…
We define $A_{\infty}$-structures -- algebras, coalgebras, modules, and comodules -- in an arbitrary monoidal DG category or bicategory by rewriting their definitions in terms of unbounded twisted complexes. We develop new notions of strong…
We define the notion of a relative matrad and realize the free relative matrad as a free H_\infty-bimodule structure on cellular chains of bimultiplihedra JJ={JJ_{n,m} = JJ_{m,n}}. We define a morphism G:A => B of A_\infty-bialgebras as a…
We complete the construction of the biassociahedra $KK$, construct the free matrad $\mathcal{H}_{\infty}$, realize $\mathcal{H}_{\infty}$ as the cellular chains of $KK,$ and define an $A_{\infty}$-bialgebra as an algebra over…
We introduce the notion of a matrad M = {M_{n,m}} whose submodules M_{*,1} and M_{1,*} are non-Sigma operads. We define the free matrad H_{\infty} generated by a singleton in each bidegree (m,n) and realize H_{\infty} as the cellular chains…
Consider a monoidal category which is at the same time abelian with enough projectives and such that projectives are flat on the right. We show that there is a $B_{\infty}$-algebra which is $A_{\infty}$-quasi-isomorphic to the derived…
The notion of $\mathcal{O}$-operator is a generalization of the Rota-Baxter operator in the presence of a bimodule over an associative algebra. A compatible $\mathcal{O}$-operator is a pair consisting of two $\mathcal{O}$-operators…
It is well known that the differential graded operad of A_infinity-algebras is a cofibrant replacement (a dg-resolution) of the operad of associative differential graded algebras without units. In this article we find a cofibrant…
We prove that strongly homotopy algebras (such as $A_\infty$, $C_\infty$, sh Lie, $B_\infty$, $G_\infty$,...) are homotopically invariant in the category of chain complexes. An important consequence is a rigorous proof that `strongly…
We propose a simple method for constructing formal deformations of differential graded algebras in the category of minimal $A_\infty$-algebras. The basis for our approach is provided by the Gerstenhaber algebra structure on the…
We study a special type of $E_\infty$-operads that govern strictly unital $E_\infty$-coalgebras (and algebras) over the ring of integers. Morphisms of coalgebras over such an operad are defined by using universal $E_\infty$-bimodules. Thus…
$G_\infty$-structure is shown to exist on the deformation complex of a morphism of associative algebras. The main step of the construction is extension of a $B_\infty$-algebra by an associative algebra. Actions of $B_\infty$-algebras on…
We study different algebraic structures associated to an operad and their relations: to any operad $\mathbf{P}$ is attached a bialgebra,the monoid of characters of this bialgebra, the underlying pre-Lie algebra and its enveloping algebra;…
The concepts of derivations and right derivations for Leibniz algebras and $K$-B quasi-Jordan algebras naturally arise from the inner derivations determined by their algebraic structures. In this paper we introduce the corresponding…
Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a…