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,$ self-commuting with respect to the big bracket. Finally, we establish an $L_\infty$-version of a Manin (quasi) triple and get a correspondence theorem with $L_\infty$-(quasi) bialgebras.
We compute the homotopy derivations of the properads governing even and odd Lie bialgebras as well as involutive Lie bialgebras. The answer may be expressed in terms of the Kontsevich graph complexes. In particular, this shows that the Grothendieck-Teichmüller group acts faithfully (and essentially transitively) on the completions of the properads governing even Lie bialgebras and involutive Lie bialgebras, up to homotopy. This shows also that by contrast to the even case the properad governing odd Lie bialgebras admits precisely one non-trivial automorphism - the standard rescaling automorphi…
For any integer $d$ we introduce a prop $RHra_d$ of oriented ribbon hypergraphs (in which "edges" can connect more than two vertices) and prove that it admits a canonical morphism of props, $$ Holieb_d^\diamond \longrightarrow RHra_d, $$ $Holieb_d^\diamond$ being the (degree shifted) minimal resolution of prop of involutive Lie bialgebras, which is non-trivial on every generator of $Holieb_d^\diamond$. We obtain two applications of this general construction. As a first application we show that for any graded vector space $W$ equipped with a family of cyclically (skew)symmetric higher products …
We describe $L_\infty$-algebras governing homotopy relative Rota-Baxter Lie algebras and triangular $L_\infty$-bialgebras, and establish a map between them. Our formulas are based on a functorial approach to Voronov's higher derived brackets construction which is of independent interest.
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.
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.
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.
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.
Braided-Lie bialgebras have been introduced by Majid, as the Lie versions of Hopf algebras in braided categories. In this paper we extend previous work of Majid and of ours to show that there is a braided-Lie bialgebra associated to each inclusion of Kac-Moody bialgebras. Doing so, we obtain many new examples of infinite-dimensional braided-Lie bialgebras. We analyze further the case of untwisted affine Kac-Moody bialgebras associated to finite-dimensional simple Lie algebras. The inclusion we study is that of the finite-type algebra in the affine algebra. This braided-Lie bialgebra is isomorp…
We construct quantization functors of quasi-Lie bialgebras. We establish a bijection between this set of quantization functors, modulo equivalence and twist equivalence, and the set of quantization functors of Lie bialgebras, modulo equivalence. This is based on the acyclicity of the kernel of the natural morphism from the universal deformation complex of quasi-Lie bialgebras to that of Lie bialgebras. The proof of this acyclicity consists in several steps, ending up in the acyclicity of a complex related to free Lie algebras, namely, the universal version of the Lie algebra cohomology complex…
We describe a new method of quantization of Lie bialgebras, based on a construction of Hopf algebras out of a cocommutative coalgebra and a braided comonoidal functor.
In this paper, we introduce 3-Hom-Lie bialgebras whose compatibility conditions between the multiplication and comultiplication are given by local cocycle conditions. We study a twisted 3-ary version of the Yang-Baxter Equation, called the 3-Lie classical HomYang-Baxter Equation (3-Lie CHYBE), which is a general form of 3-Lie classical YangBaxter Equation studied in [2] and prove that the bialgebras induced by the solutions of 3-Lie CHYBE induce the coboundary local cocycle 3-Hom-Lie bialgebras.
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.
A model of 3-dimensional topological quantum field theory is rigorously constructed. The results are applied to an explicit formula for deformation quantization of any finite-dimensional Lie bialgebra over the field of complex numbers. This gives an explicit construction of "quantum groups" from any Lie bialgebra, which was proven without explicit formulas in [EK].
We study Thomas Willwacher's twisting endofunctor tw in the category of dg properads P under the operad of (strongly homotopy) Lie algebras. It is proven that if P is a properad under properad Lieb of Lie bialgebras , then the associated twisted properad tw(P) becomes in general a properad under quasi-Lie bialgebras (rather than under Lieb). This result implies that the cyclic cohomology of any cyclic homotopy associative algebra has in general an induced structure of a quasi-Lie bialgebra. We show that the cohomology of the twisted properad tw(Lieb) is highly non-trivial -- it contains the co…
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.
For any finite-dimensional Lie bialgebra $g$, we construct a bialgebra $A_{u,v}(g)$ over the ring $C[u][[v]]$, which quantizes simultaneously the universal enveloping bialgebra $U({g})$, the bialgebra dual to $U(g^*)$, and the symmetric bialgebra $S(g)$. We call $A_{u,v}(g)$ a biquantization of $S(g)$. We show that the bialgebra $A_{u,v}(g^*)$ quantizing $U(g^*)$, $U(g)^*$, and $S(g^*)$ is essentially dual to the bialgebra obtained from $A_{u,v}(g)$ by exchanging $u$ and $v$. Thus, $A_{u,v}(g)$ contains all information about the quantization of $g$. Our construction extends Etingof and Kazhdan…
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…
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$.
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…
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 introduce the notion of Gamma-Lie bialgebra, where Gamma is a group. These objects give rise to cocommutative co-Poisson algebras, for which we construct quantization functors. This enlarges the class of co-Poisson algebras for which a quantization is known. Our result relies on our earlier work, where we showed that twists of Lie bialgebras can be quantized; we complement this work by studying the behavior of this quantization under compositions of twists.
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.
We show that any coboundary Lie bialgebra can be quantized. For this, we prove that: (a) Etingof-Kazhdan quantization functors are compatible with Lie bialgebra twists, and (b) if such a quantization functor corresponds to an even associator, then it is also compatible with the operation of taking coopposites. We also use the relation between the Etingof-Kazhdan construction of quantization functors and the alternative approach to this problem, which was established in a previous work.
We study the relationship between general dynamical Poisson groupoids and Lie quasi-bialgebras. For a class of Lie quasi-bialgebras naturally compatible with a reductive decomposition, we extend the description of the moduli space of classical dynamical r-matrices of Etingof and Schiffmann. We construct, in each gauge orbit, an explicit analytic representative l. We translate the notion of duality for dynamical Poisson groupoids into a duality for Lie quasi-bialgebras. It is shown that duality maps the dynamical Poisson groupoid for l and a Lie quasi-bialgebra to the dynamical Poisson groupoid…
Any quantization of a quasitriangular Lie bialgebra g gives rise to a braiding of the dual Poisson-Lie formal group G^*. We show that this braiding always coincides with the Weinstein-Xu braiding. We also define the lifts of the classical r-matrix r as certain functions on G^* x G^*, prove their existence and uniqueness using co-Hochschild cohomology arguments and show that the lift can be expressed in terms of r by universal formulas.
A homotopy analogue of the notion of a triangular Lie bialgebra is proposed with a goal of extending the basic notions of theory of quantum groups to the context of homotopy algebras and, in particular, introducing a homotopical generalization of the notion of a quantum group, or quantum$_\infty$-group.
Let G be a connected, simply connected Poisson-Lie group with quasitriangular Lie bialgebra g. An explicit description of the double D(g) is given, together with the embeddings of g and g^*. This description is then used to provide a construction of the double D(G). The aim of this work is to describe D(G) in sufficient detail to be able to apply the procedures of Semenov-Tian-Shansky and Drinfeld for the classification of symplectic leaves and Poisson homogeneous spaces for Poisson-Lie groups.
We introduce and study the triple of a quasitriangular Lie bialgebra as a natural extension of the Drinfeld double. The triple is itself a quasitriangular Lie bialgebra. We prove several results about the algebraic structure of the triple, analogous to known results for the double. Among them, we prove that in the factorisable case the triple is isomorphic to a twisting of $g \oplus g \oplus g$ by a certain cocycle. We also consider real forms of the triple and the triangular case.
For a Lie algebra with Lie bracket got by taking commutators in a nonunital associative algebra L, let T(L) be the vector space of tensors over L equipped with the Ito Hopf algebra structure derived from the associative multiplication in L. We show a necessary and sufficient condition that the double product integral satisfy the quantum Yang-Baxter equation over T(L). We construct a quantisation of an arbitrary quasitriangular Lie bialgebra structure on L in the unital associative subalgebra of T(L)[[h]] consisting of formal power series whose zero order coefficient lies in the space S(L) of s…
We settle several questions about the theory of universal deformation quantization of Lie bialgebras by giving their complete classification up to homotopy equivalence. An important new technical ingredient introduced in this paper is an endofunctor D in the category of augmented props with the property that for any representation of a prop P in a vector space V the associated prop DP admits an induced representation on the graded commutative tensor algebra S(V) given in terms of polydifferential operators. Applying this functor to the prop LieB of Lie bialgebras we show that universal formali…
The Lie bialgebras of the (1+1) extended Galilei algebra are obtained and classified into four multiparametric families. Their quantum deformations are obtained, together with the corresponding deformed Casimir operators. For the coboundary cases quantum universal R-matrices are also given. Applications of the quantum extended Galilei algebras to classical integrable systems are explicitly developed.
We present a quasi-Lie bialgebra (QLBA) quantization problem which comes from an algebraic reformulation of the Nambu-Goto string theory and invariant charges by Pohlmeyer and Rehren. This QLBA structure depends on a symmetric bivector (coming from a Minkowski metric) and is built on the free Lie algebra on a finite dimensional vector space. We solve this problem when the bivector has rank 1 or 2.
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 …
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 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…
We study the behavior of the Etingof-Kazhdan quantization functors under the natural duality operations of Lie bialgebras and Hopf algebras. In particular, we prove that these functors are "compatible with duality", i.e., they commute with the operation of duality followed by replacing the coproduct by its opposite. We then show that any quantization functor with this property also commutes with the operation of taking doubles. As an application, we show that the Etingof-Kazhdan quantization of some affine Lie superalgebras coincide with their Drinfeld-Jimbo-type quantizations.
We prove that the action of the Grothendieck-Teichmüller group on the genus completed properad of (homotopy) Lie bialgebras commutes with the reversing directions involution of the latter. We also prove that every universal quantization of Lie bialgebras is homotopy equivalent to the one which commutes with the duality involution exchanging Lie bracket and Lie cobracket. The proofs are based on a new result in the theory of oriented graph complexes (which can be of independent interest) saying that the involution on an oriented graph complex that changes all directions on edges induces the ide…
We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier result of one of the authors, that there is a highly non-trivial action of the Grothendieck-Teichmüller group $GRT_1$ on (completed versions of) the minimal models of the properads governing Lie bialgebr…
We propose a variant to the Etingof-Kazhdan construction of quantization functors. We construct the twistor J_Φassociated to an associator Φusing cohomological techniques. We then introduce a criterion ensuring that the ``left Hopf algebra'' of a quasitriangular QUE algebra is flat. We prove that this criterion is satisfied at the universal level. This provides a construction of quantization functors, equivalent to the Etingof-Kazhdan construction.
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.…
This paper is a continuation of "Quantization of Lie bialgebras I-IV". The goal of this paper is to define and study the notion of a quantum vertex operator algebra in the setting of the formal deformation theory and give interesting examples of such algebras. In particular, we construct a quantum vertex operator algebra from a rational, trigonometric, or elliptic R-matrix, which is a quantum deformation of the affine vertex operator algebra. The simplest vertex operator in this algebra is the quantum current of Reshetikhin and Semenov-Tian-Shansky.
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.
The main purpose of this paper is to study Quantization of color Lie bialgebras, generalizing to color case the approach by Etingof-Kazhdan which were considered for superbialgebras by Geer. Moreover we discuss Drinfeld category, Quantization of Triangular color Lie bialgebras and Simple color Lie bialgebras of Cartan type.
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.
All bialgebra structures for centrally extended Galilei algebra are classified. The corresponding Lie-Poisson structures on centrally extended Galilei group are found.
This paper is a continuation of "Quantization of Lie bialgebras, I" (q-alg/9606005). We show that the quantization procedure defined in "Quantization of Lie bialgebras, I" is given by universal acyclic formulas and defines a functor from the category of Lie bialgebras to the category of quantized universal enveloping algebras. We also show that this functor defines an equivalence between the category of Lie bialgebras over k[[h]] and the category quantized universal enveloping (QUE) algebras.
In this paper, we study Hom-Lie bialgebras by a new notion of the dual representation of a representation of a Hom-Lie algebra. Motivated by the essential connection between Lie bialgebras and Manin triples, we introduce the notion of a Hom-Lie bialgebra with emphasis on its compatibility with a Manin triple of Hom-Lie algebras associated to a nondegenerate symmetric bilinear form satisfying a new invariance condition. With this notion, coboundary Hom-Lie bialgebras can be studied without a skew-symmetric condition of $r\in\mathfrak{g}\otimes \mathfrak{g}$, naturally leading to the classical H…
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)$.
