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.
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 solve a functional version of the problem of twist quantization of a coboundary Lie bialgebra (g,r,Z). We derive from this the following results: (a) the formal Poisson manifolds g^* and G^* are isomorphic; (b) we construct a subalgebra of U(g^*), isomorphic to S(g^*)^g. When g can be quantized, we construct a deformation of the morphism S(g^*)^g subset U(g^*). When g is quasitriangular and nondegenerate, we compare our construction with Semenov-Tian-Shansky's construction of a commutative subalgebra of U(g^*). We also show that the canonical derivation of the function ring of G^* is Hamilt…
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.
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.
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 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.
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.
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…
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.
In this paper, we introduce the notion of a noncommutative Poisson bialgebra, and establish the equivalence between matched pairs, Manin triples and noncommutative Poisson bialgebras. Using quasi-representations and the corresponding cohomology theory of noncommutative Poisson algebras, we study coboundary noncommutative Poisson bialgebras which leads to the introduction of the Poisson Yang-Baxter equation. A skew-symmetric solution of the Poisson Yang-Baxter equation naturally gives a (coboundary) noncommutative Poisson bialgebra. Rota-Baxter operators, more generally O-operators on noncommut…
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 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.
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…
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 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.
Let $ L $ be a Lie algebra over arbitrary field $ k $ with dim $ L $ =3 and dim $ L' $ =2. All solutions of constant classical Yang- Baxter equation (CYBE) in Lie algebra $ L $ are obtained and the necessary conditions which $ (L,[\ ],Δ_{r}, r) $ is a coboundary (or triangular) Lie bialgebra are given.
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…
All solutions of constant classical Yang-Baxter equation (CYBE) in Lie algebra $L$ with dim $L \le 3$ are obtained and the sufficient and necessary conditions which $(L, \hbox {[ ]}, Δ_r, r)$ is a coboundary (or triangular) Lie bialgebra are given. The strongly symmetric elements in $L\otimes L $ are found and they all are solutions of CYBE in $L$ with $dim L \le 3$.
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.
All coboundary Lie bialgebras and their corresponding Poisson--Lie structures are constructed for the oscillator algebra generated by $\{å,\ap,\am,\bb\}$. Quantum oscillator algebras are derived from these bialgebras by using the Lyakhovsky and Mudrov formalism and, for some cases, quantizations at both algebra and group levels are obtained, including their universal $R$--matrices.
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 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…
All possible Lie bialgebra structures on the harmonic oscillator algebra are explicitly derived and it is shown that all of them are of the coboundary type. A non-standard quantum oscillator is introduced as a quantization of a triangular Lie bialgebra, and a universal $R$-matrix linked to this new quantum algebra is presented.
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.
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.
This paper is a continuation of the series of papers "Quantization of Lie bialgebras (QLB) I-V". We show that the image of a Kac-Moody Lie bialgebra with the standard quasitriangular structure under the quantization functor defined in QLB-I,II is isomorphic to the Drinfeld-Jimbo quantization of this Lie bialgebra, with the standard quasitriangular structure. This implies that when the quantization parameter is formal, then the category O for the quantized Kac-Moody algebra is equivalent, as a braided tensor category, to the category O over the corresponding classical Kac-Moody algebra, with th…
Using a derivative decomposition of the Hochschild differential complex we define a generalized inverse of the Hochschild coboundary operator. It can be applied for systematic computations of star products on Poisson manifolds.
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…
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 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.
The limiting transitions between different types of quantizations are studied by the deformation theory methods. We prove that for the first order coboundary deformation (g,g*_1 + x g*_2) of a Lie bialgebra (g,g*) one can always get the quantized Lie bialgebra (g,g*_2) as a limit of the sequence of quantizations of the type A(g,g*_1). The obtained results are illustrated by some low-dimensional examples of quantized Lie algebras and superalgebras.
Motivated by recent work on Hom-Lie algebras and the Hom-Yang-Baxter equation, we introduce a twisted generalization of the classical Yang-Baxter equation (CYBE), called the classical Hom-Yang-Baxter equation (CHYBE). We show how an arbitrary solution of the CYBE induces multiple infinite families of solutions of the CHYBE. We also introduce the closely related structure of Hom-Lie bialgebras, which generalize Drinfel'd's Lie bialgebras. In particular, we study the questions of duality and cobracket perturbation and the sub-classes of coboundary and quasi-triangular Hom-Lie bialgebras.
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.
Let $G$ be a Poisson Lie group and $\g$ its Lie bialgebra. Suppose that $\g$ is a group Lie bialgebra. This means that there is an action of a discrete group $Γ$ on $G$ deforming the Poisson structure into coboundary equivalent ones. Starting from this we construct a non-trivial stack of Hopf-Poisson algebras and prove the existence of associated deformation quantizations. This non-trivial stack is a stack of functions on the formal Poisson group, dual of the starting $Γ$ Poisson-Lie group. To quantize this non-trivial stack we use quantization of a $Γ$ Lie bialgebra which is the infinitesimal…
To any field K of characteristic 0, we associate a set Sha(K). Elements of Sha(K) are equivalence classes of families of Lie polynomials subject to associativity relations. We construct an injection and a retraction between Sha(K) and the set of quantization functors of Lie bialgebras over K. This construction involves the following steps. 1) To each element \varpi of Sha(K), we associate a functor g\mapsto Sh(g) from the category of Lie algebras to that of Hopf algebras; Sh(g) contains Ug. 2) When g and h are Lie algebras, and r_{gh} \in g\otimes h, we construct an element R(r_{gh}) of Sh(g)\…
Lie bialgebra contractions are introduced and classified. A non-degenerate coboundary bialgebra structure is implemented into all pseudo-orthogonal algebras $so(p,q)$ starting from the one corresponding to $so(N+1)$. It allows to introduce a set of Lie bialgebra contractions which leads to Lie bialgebras of quasi-orthogonal algebras. This construction is explicitly given for the cases $N=2,3,4$. All Lie bialgebra contractions studied in this paper define Hopf algebra contractions for the Drinfel'd-Jimbo deformations $U_z so(p,q)$. They are explicitly used to generate new non-semisimple quantum…
Lie bialgebra structures on the extended affine Lie algebra $\widetilde{sl_2(\mathbb{C}_q)}$ are investigated. In particular, all Lie bialgebra structures on $\widetilde{sl_2(\mathbb{C}_q)}$ are shown to be triangular coboundary. This result is obtained by employing some techniques, which may also work for more general extended affine Lie algebras, to prove the triviality of the first cohomology group of $\widetilde{sl_2(\mathbb{C}_q)}$ with coefficients in the tensor product of its adjoint module, namely, $H^1(\widetilde{sl_2(\mathbb{C}_q)},\widetilde{sl_2(\mathbb{C}_q)}\otimes\widetilde{sl_2…
The aim of this paper is to introduce the notion of a mock-Lie bialgebra which is equivalent to a Manin triple of mock-Lie algebras. The study of a special case called coboundary mock-Lie bialgebra leads to the introduction the mock-Lie Yang-Baxter equation on a mock-Lie algebra which is an analogue of the classical Yang-Baxter equation on a Lie algebra. Note that a skew-symmetric solution of mock-Lie Yang-Baxter equation gives a mock-Lie bialgebra. Finally, the notation of $\mathcal O$-operators are studied to construct skew-symmetric solution of mock-Lie Yang-Baxter equation.
All Lie bialgebra structures for the (1+1)-dimensional centrally extended Schrodinger algebra are explicitly derived and proved to be of the coboundary type. Therefore, since all of them come from a classical r-matrix, the complete family of Schrodinger Poisson-Lie groups can be deduced by means of the Sklyanin bracket. All possible embeddings of the harmonic oscillator, extended Galilei and gl(2) Lie bialgebras within the Schrodinger classification are studied. As an application, new quantum (Hopf algebra) deformations of the Schrodinger algebra, including their corresponding quantum universa…
We introduce a notion of pre-alternative algebra which may be seen as an alternative algebra whose product can be decomposed into two pieces which are compatible in a certain way. It is also the "alternative" analogue of a dendriform dialgebra or a pre-Lie algebra. The left and right multiplication operators of a pre-alternative algebra give a bimodule structure of the associated alternative algebra. There exists a (coboundary) bialgebra theory for pre-alternative algebras, namely, pre-alternative bialgebras, which exhibits all the familiar properties of the famous Lie bialgebra theory. In par…
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.
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…
In the paper "On some unsolved problems in quantum group theory", V.Drinfeld formulated the problem of the existence of a universal quantization for Lie bialgebras. When the paper "Tensor structures arising from affine Lie algebras, III", by Kazhdan and Lusztig, appeared, Drinfeld asked whether its methods could be useful for the problem of universal quantization of Lie bialgebras. In this paper we use these methods to construct the universal quantization, which gives a positive answer to Drinfeld's question. We also show the existence of universal quantization of classical r-matrices, unitary…
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).
In this paper we construct explicitly the quantization of Lie bialgebras of $\g$-valued functions on a punctured rational or elliptic curve, where $\g$ is a finite dimensional simple Lie algebra. by reducing the problem of quantization of the algebra of $\g$-valued functions on a curve with many punctures to the case of one puncture.
Certain quantization problems are equivalent to the construction of morphisms from "quantum" to "classical" props. Once such a morphism is constructed, Hensel's lemma shows that it is in fact an isomorphism. This gives a new, simple proof that any Etingof-Kazhdan quantization functor is an equivalence of categories between quantized universal enveloping (QUE) algebras and Lie bialgebras over a formal series ring (dequantization). We apply the same argument to construct dequantizations of formal solutions of the quantum Yang-Baxter equation and of quasitriangular QUE algebras. We also give stru…
This paper is a continuation of "Quantization of Lie bialgebras, III" (q-alg/9610030, revised version). In QLB-III, we introduced the Hopf algebra F(R)_\z associated to a quantum R-matrix R(z) with a spectral parameter, and a set of points \z=(z_1,...,z_n). This algebra is generated by entries of a matrix power series T_i(u), i=1,...,n,subject to Faddeev-Reshetikhin-Takhtajan type commutation relations, and is a quantization of the group GL_N[[t]]. In this paper we consider the quotient F_0(R)_\z of F(R)_\z by the relations \qdet_R(T_i)=1, where \qdet_R is the quantum determinant associated to…
All Lie bialgebra structures on the Heisenberg--Weyl algebra $[A_+,A_-]=M$ are classified and explicitly quantized. The complete list of quantum Heisenberg--Weyl algebras so obtained includes new multiparameter deformations, most of them being of the non-coboundary type.
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.
In a recent paper by the authors, Lie bialgebras structures of generalized Virasoro-like type were considered. In this paper, the explicit formula of the quantization of generalized Virasoro-like algebras is presented.
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.
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 …
The "quantum duality principle" states that the quantization of a Lie bialgebra - via a quantum universal enveloping algebra (QUEA) - provides also a quantization of the dual Lie bialgebra (through its associated formal Poisson group) - via a quantum formal series Hopf algebra (QFSHA) - and, conversely, a QFSHA associated to a Lie bialgebra (via its associated formal Poisson group) yields a QUEA for the dual Lie bialgebra as well; more precisely, there exist functors QUEA --> QFSHA and QFSHA --> QUEA, inverse of each other, such that in either case the Lie bialgebra associated to the target ob…
