In this paper we describe all Lie bialgebra structures on the polynomial Lie algebra $\mathbf{g}[u]$, where $\mathbf{g}$ is a simple, finite dimensional, complex Lie algebra. The results are based on an unpublished paper Montaner and Zelmanov. Further, we introduce quasi-rational solutions of the CYBE and describe all quasi-rational $r$-matrices for $\mathbf{sl}(2)$.
We relate the Belavin--Drinfeld cohomologies (twisted and untwisted) that have been introduced in the literature to study certain families of quantum groups and Lie bialgebras over a non algebraically closed field $\mathbb K$ of characteristic 0 to the standard non-abelian Galois cohomology $H^1(\mathbb K, \mathbf H)$ for a suitable algebraic $\mathbb K$-group $\mathbf H.$ The approach presented allows us to establish in full generality certain conjectures that were known to hold for the classical types of the split simple Lie algebras.
The present paper is a continuation of [5], where Lie bialgebra structures on g[u] were studied. These structures fall into different classes labelled by the vertices of the extended Dynkin diagram of g. In [5] the Lie bialgebras corresponding to the maximal root were classified. In the present article, we investigate the Lie bialgebras corresponding to an arbitrary simple root.
We study the bialgebra structure of the Hall algebra of two-periodic complexes recently introduced by Bridgeland. We introduce coproduct on Bridgeland's Hall algebra, and show that in the hereditary case the resulting bialgebra structure coincides with that on Drinfeld double of the ordinary Hall algebra
For a finite dimensional simple complex Lie algebra $\mathfrak{g}$, Lie bialgebra structures on $\mathfrak{g}[[u]]$ and $\mathfrak{g}[u]$ were classified by Montaner, Stolin and Zelmanov. In our paper, we provide an explicit algorithm to produce $r$-matrices which correspond to Lie bialgebra structures over polynomials.
Structures of Lie algebras, Lie coalgebras, Lie bialgebras and Lie quasibialgebras are presented as solutions of Maurer-Cartan equations on corresponding governing differential graded Lie algebras using the big bracket construction of Kosmann-Schwarzbach. This approach provides a definition of an $L_\infty$-(quasi)bialgebra (strongly homotopy Lie (quasi)bialgebra). We recover an $L_\infty$-algebra structure as a particular case of our construction. The formal geometry interpretation leads to a definition of an $L_\infty$ (quasi)bialgebra structure on $V$ as a differential operator $Q$ on $V,$ …
We develop a new approach to deformation quantizations of Lie bialgebras and Poisson structures which goes in two steps. In the first step one associates to any Poisson (resp. Lie bialgebra) structure a so called quantizable Poisson (resp. Lie bialgebra) structure. We show explicit transcendental formulae for this correspondence. In the second step one deformation quantizes a quantizable Poisson (resp. Lie bialgebra) structure. We show again explicit transcendental formulae for this second step correspondence (as a byproduct we obtain configuration space models for biassociahedron and bipermut…
We study monoidal structures on the category of (co)modules over a weak bialgebra. Results due to Nill and Szlachányi are unified and extended to infinite algebras. We discuss the coalgebra structure on the source and target space of a weak bialgebra.
The aim of this paper is to define and study Yetter-Drinfeld modules over Hom-bialgebras, a generalized version of bialgebras obtained by modifying the algebra and coalgebra structures by a homomorphism. Yetter-Drinfeld modules over a Hom-bialgebra with bijective structure map provide solutions of the Hom-Yang-Baxter equation. The category $_H^H{\mathcal YD}$ of Yetter-Drinfeld modules with bijective structure maps over a Hom-bialgebra H with bijective structure map can be organized, in two different ways, as a quasi-braided pre-tensor category. If H is quasitriangular (respectively coquasitri…
Novikov algebras are algebras whose associators are left-symmetric and right multiplication operators are mutually commutative. A Gel'fand-Dorfman bialgebra is a vector space with a Lie algebra structure and a Novikov algebra structure, satisfying a certain compatibility condition. Such a bialgebraic structure corresponds to a certain Hamiltonian pairs in integrable systems. In this article, we present a construction of Gel'fand-Dorfman bialgebras from certain classical R-matrices on Lie algebras. In particular, we construct such R-matrices from certain abelian subalgebras of Lie algebras. As …
The co-Lie structures compatible with the osp(2|2) Lie super algebra structure are investigated and found to be all of coboundary type. The corresponding classical r-matrices are classified into several disjoint families. The osp(1|2)+u(1) Lie super-bialgebras are also classified.
Motivated by the universal obstruction to the deformation quantization of Poisson structures in infinite dimensions we introduce the notion of quantizable odd Lie bialgebra. The main result of the paper is a construction of a highly non-trivial minimal resolution of the properad governing such Lie bialgebras, and its link with the theory of so called quantizable Poisson structures.
From a Lie algebra $\mathfrak{g}$ satisfying $\mathcal{Z}(\mathfrak{g})=0$ and $Λ^2(\mathfrak{g})^\mathfrak{g}=0$ (in particular, for $\g$ semisimple) we describe explicitly all Lie bialgebra structures on extensions of the form $\mathfrak{L} =\mathfrak{g}\times \mathbb{K}$ in terms of Lie bialgebra structures on $\mathfrak{g}$ (not necessarily factorizable nor quasi-triangular) and its biderivations, for any field $\mathbb{K}$ with char $\mathbb{K}=0$. If moreover, $[\mathfrak{g},\mathfrak{g}]=\mathfrak{g}$, then we describe also all Lie bialgebra structures on extensions $\mathfrak{L} =\math…
In this paper we focus on a certain self-distributive multiplication on coalgebras, which leads to so-called rack bialgebra. Inspired by semi-group theory (adapting the Suschkewitsch theorem), we do some structure theory for rack bialgebras and cocommutative Hopf dialgebras. We also construct canonical rack bialgebras (some kind of enveloping algebras) for any Leibniz algebra and compare to the existing constructions. We are motivated by a differential geometric procedure which we call the Serre functor: To a pointed differentible manifold with multiplication is associated its distribution spa…
In the present paper we present a classification of Lie bialgebra structures on Lie algebras of type g[[u]] and g[u], where g is a simple finite dimensional Lie algebra.
In a paper by Michaelis a class of infinite-dimensional Lie bialgebras containing the Virasoro algebra was presented. This type of Lie bialgebras was classified by Ng and Taft. In this paper, all Lie bialgebra structures on the Lie algebras of generalized Witt type are classified. It is proved that, for any Lie algebra $W$ of generalized Witt type, all Lie bialgebras on $W$ are coboundary triangular Lie bialgebras. As a by-product, it is also proved that the first cohomology group $H^1(W,W \otimes W)$ is trivial.
We construct a Hopf algebra structure on the space of specified Feynman graphs of a quantum field theory. We introduce a convolution product and a semigroup of characters of this Hopf algebra with values in some suitable commutative algebra taking momenta into account. We then implement the renormalization described by A. Connes and D. Kreimer and the Birkhoff decomposition for two renormalization schemes: the minimal subtraction scheme and the Taylor expansion scheme.
Given an arbitrary field $\mathbb{F}$ of characteristic 0, we study Lie bialgebra structures on $sl(n,\mathbb{F})$, based on the description of the corresponding classical double. For any Lie bialgebra structure $δ$, the classical double $D(sl(n,\mathbb{F}),δ)$ is isomorphic to $sl(n,\mathbb{F})\otimes_{\mathbb{F}} A$, where $A$ is either $\mathbb{F}[\varepsilon]$, with $\varepsilon^{2}=0$, or $\mathbb{F}\oplus \mathbb{F}$ or a quadratic field extension of $\mathbb{F}$. In the first case, the classification leads to quasi-Frobenius Lie subalgebras of $sl(n,\mathbb{F})$. In the second and third…
The first cohomology group of a generalized loop Virasoro algebra with coefficients in the tensor product of its adjoint module is shown to be trivial. The result is applied to prove that Lie bialgebra structures on generalized loop Virasoro algebras are coboundary triangular. We then generalize the results to generalized map Virasoro algebras.
This work is devoted to study new bialgebra structures related to 2-associative algebras. A 2-associative algebra is a vector space equipped with two associative multiplications. We discuss the notions of 2-associative bialgebras, 2-bialgebras and 2-2-bialgebras. The first structure was revealed by J.-L. Loday and M. Ronco in an analogue of a Cartier-Milnor-Moore theorem, the second was suggested by Loday and the third is a variation of the second one. The main results of this paper are the construction of 2-associative bialgebras, 2-bialgebras and 2-2-bialgebras starting from an associative a…
A non-unital generalization of weak bialgebra is proposed with a multiplier-valued comultiplication. Certain canonical subalgebras of the multiplier algebra (named the `base algebras') are shown to carry coseparable co-Frobenius coalgebra structures. Appropriate modules over a weak multiplier bialgebra are shown to constitute a monoidal category via the (co)module tensor product over the base algebra. The relation to Van Daele and Wang's (regular and arbitrary) weak multiplier Hopf algebra is discussed.
In this paper, the structure of cocommutative vertex bialgebras is investigated. For a general vertex bialgebra $V$, it is proved that the set $G(V)$ of group-like elements is naturally an abelian semigroup, whereas the set $P(V)$ of primitive elements is a vertex Lie algebra. For $g\in G(V)$, denote by $V_g$ the connected component containing $g$. Among the main results, it is proved that if $V$ is a cocommutative vertex bialgebra, then $V=\oplus_{g\in G(V)}V_g$, where $V_{\bf 1}$ is a vertex subbialgebra which is isomorphic to the vertex bialgebra ${\mathcal{V}}_{P(V)}$ associated to the ver…
Let $(g,δ_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),Δ_\hbar)$ a quantization of $(g,δ_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=Λ(g)$ and the tensor algebra $TU=T(U_\hbar(g)[-1])$ with Lie algebra structure given by the Gerstenhaber bracket. When $(g,δ_\hbar,r)$ is a coboundary Lie bialgebra, we deduce from the formality morphism the existence of a quantization $R$ of $r$.
Central bialgebras in a braided category $\C$ are algebras in the center of the category of coalgebras in $\C$. On these bialgebras another product can be defined, which plays the role of the opposite product. Hence, coquasitriangular structures on central bialgebras can be defined. We prove some properties of the antipode on coquasitriangular central Hopf algebras and give a characterization of central bialgebras.
All bialgebra structures for centrally extended Galilei algebra are classified. The corresponding Lie-Poisson structures on centrally extended Galilei group are found.
Lie bialgebra structures on $e(2)$ are classified. For two Lie bialgebra structures which are not coboundaries (i.e. which are not determined by a classical $r$-matrix) we solve the cocycle condition, find the Lie-Poisson brackets and obtain quantum group relations. There is one to one correspondence between Lie bialgebra structures on $e(2)$ and possible quantum deformations of $U(e(2))$ and $E(2)$.
In this paper, Lie bialgebra structures on the extended Schrodinger-Virasoro Lie algebra are classified. It is obtained that all the Lie bialgebra structures on L are triangular coboundary. As a by-product, it is derived that the first cohomology group is trivial.
The generalized Cartan type $\mathbf{S}$ Lie algebras in char 0 with the Lie bialgebra structures involved are quantized, where the Drinfel'd twist we used is proved to be a variation of the Jordanian twist. As the passage from char 0 to char p, their quantization integral forms are given. By the modular reduction and base changes, we obtain certain quantizations of the restricted universal enveloping algebra $\mathbf u(\mathbf{S}(n;\underline{1}))$ (for the Cartan type simple modular restricted Lie algebra $\mathbf{S}(n;\underline{1})$ of $\mathbf{S}$ type). They are new Hopf algebras of trun…
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 describe the Lie bialgebra structure on the Lie superalgebra sl(2,1) related to an r-matrix that cannot be obtained by a Belavin-Drinfeld type construction. This structure makes sl(2,1) into the Drinfeld double of a four-dimensional subalgebra.
We describe all the quasi-bialgebra structures of a group algebra over a torsion-free abelian group. They all come out to be triangular in a unique way. Moreover, up to an isomorphism, these quasi-bialgebra structures produce only one (braided) monoidal structure on the category of their representations. Applying these results to the algebra of Laurent polynomials, we recover two braided monoidal categories introduced in \cite{CG} by S. Caenepeel and I. Goyvaerts in connection with Hom-structures (Lie algebras, algebras, coalgebras, Hopf algebras).
The standard Lie bialgebra structure on an affine Kac-Moody algebra induces a Lie bialgebra structure on the underlying loop algebra and its parabolic subalgebras. In this paper we classify all classical twists of the induced Lie bialgebra structures in terms of Belavin-Drinfeld quadruples up to a natural notion of equivalence. To obtain this classification we first show that the induced bialgebra structures are defined by certain solutions of the classical Yang-Baxter equation (CYBE) with two parameters. Then, using the algebro-geometric theory of CYBE, based on torsion free coherent sheaves,…
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…
In this paper, we obtain a canonical factorization of basis elements in free Rota-Baxter algebras built on bracketed words. This canonical factorization is applied to give a coalgebra structure on the free Rota-Baxter algebras. Together with the Rota-Baxter algebra multiplication, this coproduct gives a bialgebra structure on the free Rota-Baxter algebra of rooted forests. When the weight of the Rota-Baxter algebra is zero, we further obtain a Hopf algebra structure.
A first goal of this paper is to precisely relate the homotopy theories of bialgebras and $E_2$-algebras. For this, we construct a conservative and fully faithful $\infty$-functor from pointed conilpotent homotopy bialgebras to augmented $E_2$-algebras which consists in an appropriate "cobar" construction. Then we prove that the (derived) formal moduli problem of homotopy bialgebras structures on a bialgebra is equivalent to the (derived) formal moduli problem of $E_2$-algebra structures on this "cobar" construction. We show consequently that the $E_3$-algebra structure on the higher Hochschil…
We generalize a result on the Heisenberg Lie algebra that gives restrictions to possible Lie bialgebra cobrackets on 2-step nilpotent algebras with some additional properties. For the class of 2-step nilpotent Lie algebras coming from graphs, we describe these extra properties in a very easy graph-combinatorial way. We exhibit applications for $\mathfrak f_n$, the free 2-step nilpotent Lie algebra.
We study the bialgebra structures on quiver coalgebras and the monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural bialgebra structures. This endows the category of locally nilpotent and locally finite representations of an arbitrary quiver with natural monoidal structures from bialgebras. We also obtain theorems of Gabriel type for pointed bialgebras and hereditary finite pointed monoidal categories.
In this paper, Lie bialgebra structures on generalized Heisenberg-Virasoro algebra $\mathfrak{L}$ are considered. Also, $H^1({\mathfrak{L}} ,\mathfrak{L}\bigotimes\mathfrak{L})$ is given explicitly. Moreover, it is proved that all Lie bialgebra structure on centerless generalized Heisenberg-Virasoro algebra $\bar{\mathfrak{L}}$ are coboundary triangular.
In the present paper we shall investigate the Lie bialgebra structures on the Lie algebra $\widetilde{\frak{sl}_2(C_q[x,y])}$, which are shown to be triangular coboundary.
An internal coproduct is described, which is compatible with Hoffman's quasi-shuffle product. Hoffman's quasi-shuffle Hopf algebra, with deconcatenation coproduct, is a comodule-Hopf algebra over the bialgebra thus defined. The relation with J. Ecalle's mould calculus, i.e. mould composition and contracting arborification, is precised.
Hom-bialgebras and Hom-Hopf algebras are generalizations of bialgebra and Hopf algebra structures, where associativity and coassociativity conditions are twisted by a homomorphism. The purpose of this paper is to define a Gerstenhaber-Schack cohomology complex for Hom-bialgebras and then study one parameter formal deformations.
This paper is devoted to a classification of topological Lie bialgebra structures on the Lie algebra $\mathfrak{g}[\![x]\!]$, where $ \mathfrak{g} $ is a finite-dimensional simple Lie algebra over an algebraically closed field $ F $ of characteristic $ 0 $. We introduce the notion of a topological Manin pair $(L, \mathfrak{g}[\![x]\!])$ and present their classification by relating them to trace extensions of \( F[\![x]\!] \). Then we recall the classification of topological doubles of Lie bialgebra structures on $\mathfrak{g}[\![x]\!]$ and view the latter as a special case of the classificatio…
The purpose of this paper is to give a general survey of Hom-bialgebras, which are bialgebra-type structures where the identities are twisted by a morphism, and to extend the concept of quasi-bialgebra to Hom-setting. We provide some key constructions and generalize the concept of gauge transformation and Drinfeld's twists to this type of generalized quasi-bialgebras. Moreover, we provide an example of twisted quantum double.
A thorough analysis of Lie super-bialgebra structures on Lie super-algebras osp(1|2) and super-e(2) is presented. Combined technique of computer algebraic computations and a subsequent identification of equivalent structures is applied. In all the cases Poisson-Lie brackets on supergroups are found. Possibility of quantizing them in order to obtain quantum groups is discussed. It turns out to be straightforward for all but one structures for super-E(2) group.
In this paper, we associate a dual quasi-bialgebra, called bosonization, to every dual quasi-bialgebra $H$ and every bialgebra $R$ in the category of Yetter-Drinfeld modules over $H$. Then, using the fundamental theorem, we characterize as bosonizations the dual quasi-bialgebras with a projection onto a dual quasi-bialgebra with a preantipode. As an application we investigate the structure of the graded coalgebra $grA$ associated to a dual quasi-bialgebra $A$ with the dual Chevalley property (e.g. $A$ is pointed).
We introduce the new concept of braided Hom-Lie bialgebras which is a generalization of Sommerhäuser-Majid's braided Lie bialgebras and Yau's Hom-Lie bialgebras. Using this concept we give the unified product construction for Hom-Lie bialgebras which can be seen as a Hom-Lie version of Bespalov-Drabant's cocycle cross product bialgebras. Some special cases of unified products such as crossed product and matched pair of braided Hom-Lie bialgebras are investigated. As an application, we solve the Agore-Militaru extending problem for Hom-Lie bialgebras by using some non-abelian cohomology theory.…
We discuss natural operations on loops in a quasi-surface and show that these operations define a structure of a quasi-Lie bialgebra in the module generated by the set of free homotopy classes of non-contractible loops.
We quantize the Poisson-Lie group SL(2,R)^* as a bialgebra using the product of Kontsevich. The coproduct is a deformation of the coproduct that comes from the group structure. The resulting bialgebra structure is isomorphic to the quantum universal enveloping algebra U_hsl(2,R).
The vector space spanned by rooted forests admits two graded bialgebra structures. The first is defined by A. Connes and D. Kreimer using admissible cuts, and the second is defined by D. Calaque, K. Ebrahimi-Fard and the second author using contraction of trees. In this article we define the doubling of these two spaces. We construct two bialgebra structures on these spaces which are in interaction, as well as two related associative products obtained by dualization. We also show that these two bialgebras verify a commutative diagram similar to the diagram verified D. Calaque, K. Ebrahimi-Fard…
It is known that a dual quasi-bialgebra with antipode $H$, i.e. a dual quasi-Hopf algebra, fulfils a fundamental theorem for right dual quasi-Hopf $H$-bicomodules. The converse in general is not true. We prove that, for a dual quasi-bialgebra $H$, the structure theorem amounts to the existence of a suitable map $S:H\rightarrow H$ that we call a preantipode of $H$.