In this paper, we construct a bialgebra theory for associative conformal algebras, namely antisymmetric infinitesimal conformal bialgebras. On the one hand, it is an attempt to give conformal structures for antisymmetric infinitesimal bialgebras. On the other hand, under certain conditions, such structures are equivalent to double constructions of Frobenius conformal algebras, which are associative conformal algebras that are decomposed into the direct sum of another associative conformal algebra and its conformal dual as $\mathbb{C}[\partial]$-modules such that both of them are subalgebras and the natural conformal bilinear form is invariant. The coboundary case leads to the introduction of associative conformal Yang-Baxter equation whose antisymmetric solutions give antisymmetric infinitesimal conformal bialgebras. Moreover, the construction of antisymmetric solutions of associative conformal Yang-Baxter equation is given from $\mathcal{O}$-operators of associative conformal algebras as well as dendriform conformal algebras.
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.
We introduce the categories of infinitesimal Hopf modules and bimodules over an infinitesimal bialgebra. We show that they correspond to modules and bimodules over the infinitesimal version of the double. We show that there is a natural, but non-obvious way to construct a pre-Lie algebra from an arbitrary infinitesimal bialgebra and a dendriform algebra from a quasitriangular infinitesimal bialgebra. As consequences, we obtain a pre-Lie structure on the space of paths on an arbitrary quiver, and a striking dendriform structure on the space of endomorphisms of an arbitrary infinitesimal bialgeb…
We establish a bialgebra structure on Rota-Baxter Lie algebras following the Manin triple approach to Lie bialgebras. Explicitly, Rota-Baxter Lie bialgebras are characterized by generalizing matched pairs of Lie algebras and Manin triples of Lie algebras to the context of Rota-Baxter Lie algebras. The coboundary case leads to the introduction of the admissible classical Yang-Baxter equation (CYBE) in Rota-Baxter Lie algebras, for which the antisymmetric solutions give rise to Rota-Baxter Lie bialgebras. The notions of $\mathcal{O}$-operators on Rota-Baxter Lie algebras and Rota-Baxter pre-Lie …
We introduce and study infinitesimal BiHom-bialgebras, BiHom-Novikov algebras, BiHom-Novikov-Poisson algebras, and find some relations among these concepts. Our main result is to show how to obtain a left BiHom-pre-Lie algebra from an infinitesimal BiHom-bialgebra
We introduce the concept of {sigma, tau}-Rota-Baxter operator, as a twisted version of a Rota-Baxter operator of weight zero. We show how to obtain a certain {sigma, tau}-Rota-Baxter operator from a solution of the associative (Bi)Hom-Yang-Baxter equation, and, in a compatible way, a Hom-pre-Lie algebra from an infinitesimal Hom-bialgebra.
We construct an associative algebra with a decomposition into the direct sum of the underlying vector spaces of another associative algebra and its dual space such that both of them are subalgebras and the natural symmetric bilinear form is invariant or the natural antisymmetric bilinear form is a Connes cocycle. The former is called a double construction of Frobenius algebra and the latter is called a double construction of Connes cocycle which is interpreted in terms of dendriform algebras. Both of them are equivalent to a kind of bialgebras, namely, antisymmetric infinitesimal bialgebras an…
The paper is devoted to prove a version of Milnor-Moore Theorem for connected braided bialgebras that are infinitesimally cocommutative. Namely in characteristic different from 2, we prove that, for a given connected braided bialgebra $A$ having a $λ$-cocommutative infinitesimal braiding for some regular element $λ\neq 0$ in the base field, then the infinitesimal braiding of $A$ is of Hecke-type of mark $λ$ and $A$ is isomorphic as a braided bialgebra to the symmetric algebra of the braided subspace of its primitive elements.
Rota-Baxter operators and bialgebras go hand in hand in their applications, such as in the Connes-Kreimer approach to renormalization and the operator approach to the classical Yang-Baxter equation. We establish a bialgebra structure that is compatible with the Rota-Baxter operator, called the Rota-Baxter antisymmetric infinitesimal (ASI) bialgebra. This bialgebra is characterized by generalizations of matched pairs of algebras and double constructions of Frobenius algebras to the context of Rota-Baxter algebras. The study of the coboundary case leads to an enrichment of the associative Yang-B…
We introduce braided Lie bialgebras as the infinitesimal version of braided groups. They are Lie algebras and Lie coalgebras with the coboundary of the Lie cobracket an infinitesimal braiding. We provide theorems of transmutation, Lie biproduct, bosonisation and double-bosonisation relating braided Lie bialgebras to usual Lie bialgebras. Among the results, the kernel of any split projection of Lie bialgebras is a braided-Lie bialgebra. The Kirillov-Kostant Lie cobracket provides a natural braided-Lie bialgebra on any complex simple Lie algebra $g$, as the transmutation of the Drinfeld-Sklyanin…
A braided bialgebra is called primitively generated if it is generated as an algebra by its space of primitive elements. We prove that any primitively generated braided bialgebra is isomorphic to the universal enveloping algebra of its infinitesimal braided Lie algebra, notions hereby introduced. This result can be regarded as a Milnor-Moore type theorem for primitively generated braided bialgebras and leads to the introduction of a concept of braided Lie algebra for an arbitrary braided vector space.
A generalisation of the notion of a Rota-Baxter operator is proposed. This generalisation consists of two operators acting on an associative algebra and satisfying equations similar to the Rota-Baxter equation. Rota-Baxter operators of any weights and twisted Rota-Baxter operators are solutions of the proposed system. It is shown that dendriform algebra structures of a particular kind are equivalent to Rota-Baxter systems. It is shown further that a Rota-Baxter system induces a weak peudotwistor [F. Panaite & F. Van Oystaeyen, Twisted algebras, twisted bialgebras and Rota-Baxter operators, arX…
In the paper we introduce the notion of twisted derivation of a bialgebra. Twisted derivations appear as infinitesimal symmetries of the category of representations. More precisely they are infinitesimal versions of twisted automorphisms of bialgebras. Twisted derivations naturally form a Lie algebra (the tangent algebra of the group of twisted automorphisms). Moreover this Lie algebra fits into a crossed module (tangent to the crossed module of twisted automorphisms). Here we calculate this crossed module for universal enveloping algebras and for the Sweedler's Hopf algebra.
The works of Poincare, Birkhoff, Witt and Cartier, Milnor, Moore on the connected cocommutative Hopf algebras translated in the language of operads means that the triple of operads (Com, As, Lie) endowed with the Hopf compatiblity relation is good. In this paper, we focus on left dipterous (resp. right dipterous) algebras which are associative algebras with an extra left (resp. right) module on themselves and look for good triples were $As$ is replaced by the dipterous operad Dipt. Since the work of Loday and Ronco, the triple of operads (As, Dipt, B_\infty) endowed with the semi-Hopf compatib…
We introduce the notion of quadri-algebras. These are associative algebras for which the multiplication can be decomposed as the sum of four operations in a certain coherent manner. We present several examples of quadri-algebras: the algebra of permutations, the shuffle algebra, tensor products of dendriform algebras. We show that a pair of commuting Baxter operators on an associative algebra gives rise to a canonical quadri-algebra structure on the underlying space of the algebra. The main example is provided by the algebra End(A) of linear endomorphisms of an infinitesimal bialgebra A. This …
Hochschild two-cocycles play an important role in the deformation à la Gerstenhaber of associative algebras. The aim of this paper is to introduce the category of Hoch-algebras whose objects are associative algebras equipped with an extra magmatic operation \succ verifying the Hochschild two-cocycle relation: (x \succ y)*z+ (x*y)\succ z= x\succ (y*z)+ x*(y\succ z). The free Hoch-algebra over a K-vector space is given in terms of planar rooted trees and the triples of operads (As,Hoch, Mag^\infty) endowed with the infinitesimal relations are shown to be good. We then obtain an equivalence of ca…
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…
In two seminal papers Kontsevich used a construction called_graph homology_ as a bridge between certain infinite dimensional Lie algebras and various topological objects, including moduli spaces of curves, the group of outer automorphisms of a free group, and invariants of odd dimensional manifolds. In this paper, we show that Kontsevich's graph complexes, which include graph complexes studied earlier by Culler and Vogtmann and by Penner, have a rich algebraic structure. We define a Lie bracket and cobracket on graph complexes, and in fact show that they are Batalin-Vilkovisky algebras, and th…
Lie bialgebras occur as the principal objects in the infinitesimalisation of the theory of quantum groups - the semi-classical theory. Their relationship with the quantum theory has made available some new tools that we can apply to classical questions. In this paper, we study the simple complex Lie algebras using the double-bosonisation construction of Majid. This construction expresses algebraically the induction process given by adding and removing nodes in Dynkin diagrams, which we call Lie induction. We first analyse the deletion of nodes, corresponding to the restriction of adjoint repre…
