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 for the dual data.
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.
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 …
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,$ …
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$.
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 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 new construction method of $R$-matrix is given. Let $A$ be a C$^{*}$-bialgebra with a comultiplication $Δ$. For two states $ω$ and $ψ$ of $A$ which satisfy certain conditions, we construct a unitary $R$-matrix $R(ω,ψ)$ of the C$^{*}$-bialgebra $(A,Δ)$ on the tensor product of GNS representation spaces associated with $ω$ and $ψ$. The set $\{R(ω,ψ):ω,ψ\}$ satisfies a kind of Yang-Baxter equation. Furthermore, we show a nontrivial example of such $R$-matrices for a non-quasi-cocommutative C$^{*}$-bialgebra.
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.
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 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.
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.
Multiparametric quantum deformations of $gl(2)$ are studied through a complete classification of $gl(2)$ Lie bialgebra structures. From them, the non-relativistic limit leading to harmonic oscillator Lie bialgebras is implemented by means of a contraction procedure. New quantum deformations of $gl(2)$ together with their associated quantum $R$-matrices are obtained and other known quantizations are recovered and classified. Several connections with integrable models are outlined.
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).
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.
In this paper, the theory to construct quantum lines for general dual quasi-bialgebras is developed followed by some specific examples where the dual quasi-bialgebras are pointed with cyclic group of points.
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 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 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.
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$.
The aim of this paper is to establish a contravariant adjunction between the category of quasi-bialgebras and a suitable full subcategory of dual quasi-bialgebras, adapting the notion of finite dual to this framework. Various functorial constructions involving non-associative algebras and non-coassociative coalgebras are then carried out. Several examples illustrating our methods are expounded as well.
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).
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.
We introduce a Hom-type generalization of quantum groups, called quasi-triangular Hom-bialgebras. They are non-associative and non-coassociative analogues of Drinfel'd's quasi-triangular bialgebras, in which the non-(co)associativity is controlled by a twisting map. A family of quasi-triangular Hom-bialgebras can be constructed from any quasi-triangular bialgebra, such as Drinfel'd's quantum enveloping algebras. Each quasi-triangular Hom-bialgebra comes with a solution of the quantum Hom-Yang-Baxter equation, which is a non-associative version of the quantum Yang-Baxter equation. Solutions of …
Let $\g$ be a finite dimensional complex Lie algebra and $ł\subset \g$ a Lie subalgebra equipped with the structure of a factorizable quasitriangular Lie bialgebra. Consider the Lie group $\Exp ł$ with the Semenov-Tjan-Shansky Poisson bracket as a Poisson Lie manifold for the double Lie bialgebra $\Dł$. Let $\Nc_ł(0)\subset ł$ be an open domain parameterizing a neighborhood of the identity in $\Exp ł$ by the exponential map. We present dynamical $r$-matrices with values in $\g\wedge \g$ over the Poisson Lie base manifold $\Nc_ł(0)$.
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…
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…
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.
The Structure Theorem for Hopf modules states that if a bialgebra $H$ is a Hopf algebra (i.e. it is endowed with a so-called antipode) then every Hopf module $M$ is of the form ${M}^{\mathrm{co}{H}}\otimes H$, where ${M}^{\mathrm{co}{H}}$ denotes the space of coinvariant elements in $M$. Actually, it has been shown that this result characterizes Hopf algebras: $H$ is a Hopf algebra if and only if every Hopf module $M$ can be decomposed in such a way. The main aim of this paper is to extend this characterization to the framework of quasi-bialgebras by introducing the notion of preantipode and b…
We study (quasi-)twilled pre-Lie algebras and the associated $L_\infty$-algebras and differential graded Lie algebras. Then we show that certain twisting transformations on (quasi-)twilled pre-Lie algbras can be characterized by the solutions of Maurer-Cartan equations of the associated differential graded Lie algebras ($L_\infty$-algebras). Furthermore, we show that $\mathcal{O}$-operators and twisted $\mathcal{O}$-operators are solutions of the Maurer-Cartan equations. As applications, we study (quasi-)pre-Lie bialgebras using the associated differential graded Lie algebras ($L_\infty$-algeb…
We examine classes of quantum algebras emerging from involutive, non-degenerate set-theoretic solutions of the Yang-Baxter equation and their q-analogues. After providing some universal results on quasi-bialgebras and admissible Drinfeld twists we show that the quantum algebras produced from set-theoretic solutions and their q-analogues are in fact quasi-triangular quasi-bialgebras. Specific illustrative examples compatible with our generic findings are worked out. In the q-deformed case of set-theoretic solutions we also construct admissible Drinfeld twists similar to the set-theoretic ones, …
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.
The dual Lie bialgebra of a certain ``quasitriangular'' Lie bialgebra structure on the Heisenberg Lie algebra determines a (non-compact) Poisson--Lie group G. The compatible Poisson bracket on G is non-linear, but it can still be realized as a ``cocycle perturbation'' of the linear Poisson bracket. We construct a certain twisted group C*-algebra A, which is shown to be a strict deformation quantization of G. Motivated by the data at the Poisson (classical) level, we then construct on A its locally compact quantum group structures: comultiplication, counit, antipode and Haar weight, as well as …
We show that the inductive limit of a certain inductive system of quasi-cocommutative C$^{*}$-bialgebras is not quasi-cocommutative. This implies that the category of quasi-cocommutative C$^{*}$-bialgebras is not closed with respect to the inductive limit.
In the classification of Hietarinta, three triangular $4\times 4$ $R$-matrices lead, via the FRT formalism, to matrix bialgebras which are not deformations of the trivial one. In this paper, we find the bialgebras which are in duality with these three exotic matrix bialgebras. We note that the $L-T$ duality of FRT is not sufficient for the construction of the bialgebras in duality. We find also the quantum planes corresponding to these bialgebras both by the Wess-Zumino R-matrix method and by Manin's method.
We study a twisted version of the Yang-Baxter Equation, called the Hom-Yang-Baxter Equation (HYBE), which is motivated by Hom-Lie algebras. Three classes of solutions of the HYBE are constructed, one from Hom-Lie algebras and the others from Drinfeld's (dual) quasi-triangular bialgebras. Each solution of the HYBE can be extended to operators that satisfy the braid relations. Assuming an invertibility condition, these operators give a representation of the braid group.
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 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…
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…
It was proved by Montaner and Zelmanov that up to classical twisting Lie bialgebra structures on $\mathfrak{g}[u]$ fall into four classes. Here $\mathfrak{g}$ is a simple complex finite-dimensional Lie algebra. It turns out that classical twists within one of these four classes are in a one-to-one correspondence with the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. In this paper we give a complete list of the quasi-trigonometric solutions in terms of sub-diagrams of the certain Dynkin diagrams related to $\mathfrak{g}$. We also explain how to quantize the corr…
The broadly applied notions of Lie bialgebras, Manin triples, classical $r$-matrices and $\mathcal{O}$-operators of Lie algebras owe their importance to the close relationship among them. Yet these notions and their correspondences are mostly understood as classes of objects and maps among the classes. To gain categorical insight, this paper introduces, for each of the classes, a notion of homomorphisms, uniformly called coherent homomorphisms, so that the classes of objects become categories and the maps among the classes become functors or category equivalences. For this purpose, we start wi…
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…
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…
We study classical twists of Lie bialgebra structures on the polynomial current algebra $\mathfrak{g}[u]$, where $\mathfrak{g}$ is a simple complex finite-dimensional Lie algebra. We focus on the structures induced by the so-called quasi-trigonometric solutions of the classical Yang-Baxter equation. It turns out that quasi-trigonometric $r$-matrices fall into classes labelled by the vertices of the extended Dynkin diagram of $\mathfrak{g}$. We give complete classification of quasi-trigonometric $r$-matrices belonging to multiplicity free simple roots (which have coefficient 1 in the decomposit…
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…
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…
