We review the extent to which the universal enveloping algebra of a Lie-Rinehart algebra resembles a Hopf algebra, and refer to this structure as a Rinehart bialgebra. We then prove a Cartier-Milnor-Moore type theorem for such Rinehart bialgebras.
Lie-Rinehart algebras, also known as Lie algebroids, give rise to Hopf algebroids by a universal enveloping algebra construction, much as the universal enveloping algebra of an ordinary Lie algebra gives a Hopf algebra, of infinite dimension. In finite characteristic, the universal enveloping algebra of a restricted Lie algebra admits a quotient Hopf algebra which is finite-dimensional if the Lie algebra is. Rumynin has shown that suitably defined restricted Lie algebroids allow to define restricted universal enveloping algebras that are finitely generated projective if the Lie algebroid is. T…
The aim of this note is to communicate a simple example of a Lie-Rinehart algebra whose enveloping algebra is not a Hopf algebroid in the sense of Boehm and Szlachanyi.
We give examples of Lie-Rinehart algebras whose enveloping algebra is not a full Hopf algebroid in the sense of Bohm and Szlachanyi. We construct these examples as quotients of a canonical Lie-Rinehart algebra over a Jacobi algebra which does admit an antipode.
Let (S,L) be a Lie-Rinehart algebra over a commutative ring R. This article proves that, if S is flat as an R-module and has Van den Bergh duality in dimension n, and if L is finitely generated and projective with constant rank d as an S-module, then the enveloping algebra of (S,L) has Van den Bergh duality in dimension n+d. When, moreover, S is Calabi-Yau and the d-th exterior power of L is free over S, the article proves that the enveloping algebra is skew-Calabi-Yau, and it describes a Nakayama automorphism of it. These considerations are specialised to Poisson enveloping algebras. They are…
We introduce a notion of Hopf-Lie-Rinehart algebra and show that the universal algebra of a Hopf-Lie-Rinehart algebra acquires an ordinary Hopf algebra structure.
In this paper we generalize classical results on Lie algebras and universal enveloping algebras of Lie algebras to Lie-Rinehart algebras. We define for any Lie-Rinehart algebra $L$ and any cocycle $f$ in $Z^2(L,B)$, a universal enveloping algebra $U(B,L,f)$ with the property that the category of left modules on $U(B,L,f)$ is equivalent to the category of modules with an $L$-connection where the curvature has "type $f$". A connection of curvature "type $f$" is a special case of a non-flat connection. We also study deformations of filtered algebras and prove a relationship between the deformatio…
An involutive distribution $C$ on a smooth manifold $M$ is a Lie-algebroid acting on sections of the normal bundle $TM/C$. It is known that the Chevalley-Eilenberg complex associated to this representation of $C$ possesses the structure $\mathbb{X}$ of a strong homotopy Lie-Rinehart algebra. It is natural to interpret $\mathbb{X}$ as the (derived) Lie-Rinehart algebra of vector fields on the space $\mathbb{P}$ of integral manifolds of $C$. In this paper, I show that $\mathbb{X}$ is embedded in a strong homotopy associative algebra $\mathbb{D}$ of (normal) differential operators. It is natural …
We continue our investigation of the general notion of universal enveloping algebra introduced in [A. Ardizzoni, \emph{A Milnor-Moore Type Theorem for Primitively Generated Braided Bialgebras}, J. Algebra \textbf{327} (2011), no. 1, 337--365]. Namely we study when such an algebra is of PBW type, meaning that a suitable PBW type theorem holds. We discuss the problem of finding a basis for a universal enveloping algebra of PBW type: As an application we recover the PBW basis both of an ordinary universal enveloping algebra and of a restricted enveloping algebra. We prove that a universal envelop…
Holonomy R-matrices parametrized by finite-dimensional representations are constructed for quantized universal enveloping algebras of simple Lie algebras at roots of 1.
In this paper, we give defining relations of the affine Lie superalgebras an and defining relations of a super-version of the Drinfeld[D]-Jimbo[J] affine quantized universal enveloping algebras. As a result, we can exactly define the affine quantized universal enveloping superalgebras with generators and relations. Moreover we give a Drinfeld's realizations of $U_h({\hat {sl}}(m|n)^{(1)})$.
For quantized universal enveloping algebras we construct weight modules by inducing representations of the centralizer of the Cartan subalgebra in the quantized universal enveloping algebra. The induced modules arising from finite-dimensional weight modules the centralizer algebra are studied. In particular, we study the induction of one-dimensional modules, and this is related to the study of commutative subalgebras of the centralizer algebra. For the special case of $U_q(\mathfrak{sl}(2,\mathbb{C}))$ we show that we get the admissible unitary representations corresponding to the non-compact …
A generalized Hopf algebra structure for the positive (negative) part of the Drinfeld-Jimbo quantum group of type A_n is established without make any use of the usual deformation of the abelian part of sl_{n+1}.
We introduce the notion of Lie algebras with plus-minus pairs as well as regular plus-minus pairs. These notions deal with certain factorizations in universal enveloping algebras. We show that many important Lie algebras have such pairs and we classify, and give a full treatment of, the three dimensional Lie algebras with plus-minus pairs.
In this paper we describe the right coideal subalgebras containing all group-like elements of the two-parameter quantum groups Uq(g) and uq(g), where g is a simple Lie algebra of type G2. As a consequence, we determine that there are precisely 60 different right coideal subalgebras containing all group-like elements.
A Hom-type algebra is called involutive if its Hom map is multiplicative and involutive. In this paper, we obtain an explicit construction of the free involutive Hom-associative algebra on a Hom-module. We then apply this construction to obtain the universal enveloping algebra of an involutive Hom-Lie algebra. Finally we obtain a Poincaré-Birkhoff-Witt theorem for the enveloping associative algebra of an involutive Hom-Lie algebra.
We obtain a presentation of quantum Schur algebras (over the field Q(v)) by generators and relations. This presentation is compatible with the usual presentation of the quantized universal enveloping algebra of the Lie algebra gl(2). We also locate the ``integral'' form of the quantum Schur algebra within the presented algebra and show it has a basis which is closely related to Lusztig's basis of the integral form of the quantized enveloping algebra.
We study using combinatorial methods the structural coefficients of the formal homogeneous universal enveloping algebra Uh(sl2) of the special linear algebra sl2 over a field of characteristic zero. We provide explicit formulae for the product of generic elements in Uh(sl2), and construct combinatorial objects giving flesh to these formulae.
We study the L-infinity-formality problem for the Hochschild complex of the universal enveloping algebra of some examples of Lie algebras such as Cartan-3-regular quadratic Lie algebras (for example semisimple Lie algebras and in more detail so(3)), and free Lie algebras generated by a vector space of dimension at least 2. We show that for these examples formality in Kontsevich's sense does NOT hold, although some of them allow unconditioned deformability. We compute the L-infinity-structure on the cohomology given by homotopy transfer in certain cases.
In these notes, we introduce formal hom-associative deformations of the quantum planes and the universal enveloping algebras of the two-dimensional non-abelian Lie algebras. We then show that these deformations induce formal hom-Lie deformations of the corresponding Lie algebras constructed by using the commutator as bracket.
In this paper we study the tensor category structure of the module category of the restricted quantum enveloping algebra associated to $\mathfrak{sl}_2$. Indecomposable decomposition of all tensor products of modules over this algebra is completely determined in explicit formulas. As a by-product, we show that the module category of the restricted quantum enveloping algebra associated to $\mathfrak{sl}_2$ is not a braided tensor category.
We consider an abstract Wick ordering as a family of relations on elements a_i and define *-algebras by these relations. The relations are given by a fixed operator T:h\otimes h --> h \otimes h, where h is one-particle space, and they naturally define both a *-algebra and an inner-product space H_T, <.,.>_T. If a_i^* denotes the adjoint, i.e., <a_iϕ,ψ>_T=<ϕ,a_i^*ψ>_T, then we identify when <.,.>_T is positive semidefinite (the positivity question). In the case of deformations of the CCR-relations (the q_{ij}-CCR and the twisted CCR's), we work out the universal C*-algebras A, and we prove that…
We introduce a notion of I-factorial quantum torsor, which consists of an integrable ergodic action of a locally compact quantum group on a type I-factor such that also the crossed product is a type I-factor. We show that any such I-factorial quantum torsor is at the same time a I-factorial quantum torsor for the dual locally compact quantum group, in such a way that the construction is involutive. As a motivating example, we show that quantized compact semisimple Lie groups, when amplified via a crossed product construction with the function algebra on the associated weight lattice, admit I-f…
Given a symmetric operad $\mathcal{P}$ and a $\mathcal{P}$-algebra $V$, the associative universal enveloping algebra ${\mathsf{U}_{\mathcal{P}}}$ is an associative algebra whose category of modules is isomorphic to the abelian category of $V$-modules. We study the notion of PBW property for universal enveloping algebras over an operad. In case $\mathcal{P}$ is Koszul a criterion for the PBW property is found. A necessary condition on the Hilbert series for $\mathcal{P}$ is discovered. Moreover, given any symmetric operad $\mathcal{P}$, together with a Gröbner basis $G$, a condition is given in…
Lie conformal algebras are useful tools for studying vertex operator algebras and their representations. In this paper, we establish close relations between Poisson conformal algebras and representations of Lie conformal algebras. We also calculate explicitly Poisson conformal brackets on the associated graded conformal algebras of universal associative conformal envelopes of Virasoro conformal algebra and Neveu--Schwartz conformal superalgebra.
Consider the class RBLie of Lie algebras equipped with a Rota---Baxter operator. Then the forgetful functor RBLie --> Lie has a left adjoint one denoted by $U_{RB}(\cdot)$. We prove an "operator" analogue of the Poincare---Birkhoff---Witt theorem for $U_{RB}(L)$, where $L$ is an arbitrary Lie algebra, by means of Gröbner---Shirshov bases theory for Lie algebras with an additional operator.
We construct a bialgebra object in the category of linear maps LM from a cocommutative rack bialgebra. The construction does extend to some non-cocommutative rack bialgebras, as is illustrated by a concrete example. As a separate result, we show that the Loday complex with adjoint coefficients embeds into the rack bialgebra deformation complex for the rack bialgebra defined by a Leibniz algebra.
We describe properties of the nonstandard q-deformation $U'_q({\rm so}_n)$ of the universal enveloping algebra $U({\rm so}_n)$ of the Lie algebra ${\rm so}_n$ which does not coincide with the Drinfeld--Jimbo quantum algebra $U_q({\rm so}_n)$. Irreducible representations of this algebras for q a root of unity q^p=1 are given. These representations act on p^N-dimensional linear space (where N is a number of positive roots of the Lie algebra ${\rm so}_n$) and are given by $r={\rm dim} {\rm so}_n$ complex parameters.
Let $k$ be an arbitrary field of characteristic $0$. It is shown that for any $n\geq 1$ the universal enveloping algebras of the Poisson symplectic algebra $P_n(k)$ and the Weyl algebra $A_n(k)$ are isomorphic and the canonical isomorphism between them easily leads to the Moyal product. A basis of the universal enveloping algebra $P^e$ of a free Poisson algebra $P=k\{x_1,...,x_n\}$ is constructed and proved that the left dependency of a finite number of elements of $P^e$ over $P^e$ is algorithmically recognizable. We prove that if two elements of a free Poisson algebra do not generate a free t…
Differential calculi of Poincare-Birkhoff-Witt type on universal enveloping algebras of Lie algebras g are defined. This definition turns out to be independent of the basis chosen in g. The role of automorphisms of g is explained. It is proved that no differential calculus of Poincare-Birkhoff-Witt type exists on semi-simple Lie algebras. Examples are given, namely gl_n, Abelian Lie algebras, the Heisenberg algebra, the Witt and the Virasoro algebra. Completely treated are the 2-dimensional solvable Lie algebra, and the 3-dimensional Heisenberg algebra.
Rota-Baxter associative algebras and Rota-Baxter Lie algebras are both important in mathematics and mathematical physics, with the former a basic structure in quantum field renormalization and the latter a operator form of the classical Yang-Baxter equation. An outstanding problem posed by Gubarev is to determine whether there is a Poincaré-Birkhoff-Witt theorem for the universal enveloping Rota-Baxter associative algebra of a Rota-Baxter Lie algebra. This paper resolves this problem positively, working with operated algebras and applying the method of Gröbner-Shirshov bases.
In this paper the universal enveloping algebra of color hom-Lie algebras is studied. A construction of the free involutive hom-associative color algebra on a hom-module is described and applied to obtain the universal enveloping algebra of an involutive hom-Lie color algebra. Finally, the construction is applied to obtain the well-known Poincar{é}-Birkhoff-Witt theorem for Lie algebras to the enveloping algebra of an involutive color hom-Lie algebra.
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 ``local'' structure of a quantum group G_q is currently considered to be an infinite-dimensional object: the corresponding quantum universal enveloping algebra U_q(g), which is a Hopf algebra deformation of the universal enveloping algebra of a n-dimensional Lie algebra g=Lie(G). However, we show how, by starting from the generators of the underlying Lie bialgebra (g,δ), the analyticity in the deformation parameter(s) allows us to determine in a unique way a set of n ``almost primitive'' basic objects in U_q(g), that could be properly called the ``quantum algebra generators''. So, the anal…
We show that canonical bases in $\dot{U}(\mathfrak{sl}_n)$ and the Schur algebra are compatible; in fact we extend this result to $p$-canonical bases. This follows immediately from a fullness result from a functor categorifying this map. In order to prove this result, we also explain the connections between categorifications of the Schur algebra which arise from parity sheaves on partial flag varieties, singular Soergel bimodules and Khovanov and Lauda's "flag category," which are of some independent interest.
We review the construction of the multiparametric quantum group $ISO_{q,r}(N)$ as a projection from $SO_{q,r}(N+2) $ and show that it is a bicovariant bimodule over $SO_{q,r}(N)$. The universal enveloping algebra $U_{q,r}(iso(N))$, characterized as the Hopf algebra of regular functionals on $ISO_{q,r}(N)$, is found as a Hopf subalgebra of $U_{q,r}(so(N+2))$ and is shown to be a bicovariant bimodule over $U_{q,r}(so(N))$. An R-matrix formulation of $U_{q,r}(iso(N))$ is given and we prove the pairing $U_{q,r}(iso(N))\leftrightarrow ISO_{q,r}(N)$. We analyze the subspaces of $U_{q,r}(iso(N))$ tha…
Universal Drinfeld twists are inner automorphisms which relate the coproduct of a quantum enveloping algebra to the coproduct of the undeformed enveloping algebra. Even though they govern the deformation theory of classical symmetries and have appeared in numerous applications, no twist for a semi-simple quantum enveloping algebra has ever been computed. It is argued that universal twists can be reconstructed from their well known representations. A method to reconstruct an arbitrary element of the enveloping algebra from its irreducible representations is developed. For the twist this yields …
Let $\mathfrak{g}$ be a semi-simple Lie algebra with fixed root system, and $U_q(\mathfrak{g})$ the quantization of its universal enveloping algebra. Let $\mathcal{S}$ be a subset of the simple roots of $\mathfrak{g}$. We show that the defining relations for $U_q(\mathfrak{g})$ can be slightly modified in such a way that the resulting algebra $U_q(\mathfrak{g};\mathcal{S})$ allows a homomorphism onto (an extension of) the algebra $\mathrm{Pol}(\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q})$ of functions on the quantum flag manifold $\mathbb{G}_q/\mathbb{K}_{\mathcal{S},q}$ corresponding to $\mathcal…
Coquasitriangular universal ${\cal R}$ matrices on quantum Lorentz and quantum Poincaré groups are classified. The results extend (under certain assumptions) to inhomogeneous quantum groups of [10]. Enveloping algebras on those objects are described.
We extend the notion of dually conjugate Hopf (super)algebras to the coloured Hopf (super)algebras ${\cal H}^c$ that we recently introduced. We show that if the standard Hopf (super)algebras ${\cal H}_q$ that are the building blocks of ${\cal H}^c$ have Hopf duals ${\cal H}_q^*$, then the latter may be used to construct coloured Hopf duals ${\cal H}^{c*}$, endowed with coloured algebra and antipode maps, but with a standard coalgebraic structure. Next, we review the case where the ${\cal H}_q$'s are quantum universal enveloping algebras of Lie (super)algebras $U_q(g)$, so that the correspondin…
For any complex classical group $G=O_N,Sp_N$ consider the ring $Z(g)$ of $G$-invariants in the corresponding enveloping algebra $U(g)$. Let $u$ be a complex parameter. For each $n=0,1,2,...$ and every partition $ν$ of $n$ into at most $N$ parts we define a certain rational function $Z_ν(u)$ which takes values in $Z(g)$. Our definition is motivated by the works of Cherednik and Sklyanin on the reflection equation, and also by the classical Capelli identity. The degrees in $U(g)$ of the values of $Z_ν(u)$ do not exceed $n$. We describe the images of these values in the $n$-th symmetric power of …
The universal enveloping algebra U(g) of a Lie algebra g acts on its representation ring R through D(R), the ring of differential operators on R. A quantised universal enveloping algebra (or "quantum group") is a deformation of a universal enveloping algebra and acts not through the differential operators of its representation ring but through the quantised differential operators of its representation ring. We present this situation for the quantum group of sl_2.
Quasi-triangular Hopf algebras were introduced by Drinfel'd in his construction of solutions to the Yang--Baxter Equation. This algebra is built upon $\mathcal{U}_h(\mathfrak{sl}_2)$, the quantized universal enveloping algebra of the Lie algebra $\mathfrak{sl}_2$. In this paper, combinatorial structure in $\mathcal{U}_h(\mathfrak{sl}_2)$ is elicited, and used to assist in highly intricate calculations in this algebra. To this end, a combinatorial methodology is formulated for straightening algebraic expressions to a canonical form in the case $n=1$. We apply this formalism to the quasi-triangu…
We define some new algebraic structures, termed coloured Hopf algebras, by combining the coalgebra structures and antipodes of a standard Hopf algebra set $\cal H$, corresponding to some parameter set $\cal Q$, with the transformations of an algebra isomorphism group $\cal G$, herein called colour group. Such transformations are labelled by some colour parameters, taking values in a colour set $\cal C$. We show that various classes of Hopf algebras, such as almost cocommutative, coboundary, quasitriangular, and triangular ones, can be extended into corresponding coloured algebraic structures, …
Consider any representation $ϕ$ of a finite-dimensional Lie algebra $g$ by derivations of the completed symmetric algebra $\hat{S}(g^*)$ of its dual. Consider the tensor product of $\hat{S}(g^*)$ and the exterior algebra $Λ(g)$. We show that the representation $ϕ$ extends canonically to the representation $\tildeϕ$ of that tensor product algebra. We construct an exterior derivative on that algebra, giving rise to a twisted version of the exterior differential calculus with the enveloping algebra in the role of the coordinate algebra. In this twisted version, the commutators between the noncomm…
A review of the multiparametric linear quantum group GL_qr(N), its real forms, its dual algebra U(gl_qr(N)) and its bicovariant differential calculus is given in the first part of the paper. We then construct the (multiparametric) linear inhomogeneous quantum group IGL_qr(N) as a projection from GL_qr(N+1), or equivalently, as a quotient of GL_qr(N+1) with respect to a suitable Hopf algebra ideal. A bicovariant differential calculus on IGL_qr(N) is explicitly obtained as a projection from the one on GL_qr(N+1). Our procedure unifies in a single structure the quantum plane coordinates and the q…
We propose a notion of a quantum universal enveloping algebra for an arbitrary Lie algebra defined by generators and relations which is based on the quantum Lie operation concept. This enveloping algebra has a PBW basis that admits the Kashiwara crystalization. We describe all skew primitive elements of the quantum universal enveloping algebra for the classical nilpotent algebras of the infinite series defined by the Serre relations and prove that the set of PBW-generators for each of these enveloping algebras coincides with the Lalonde-Ram basis of the ground Lie algebra with a skew commutato…
By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra $L(Λ)$ generated by indecomposable constructible sets in the varieties of modules for any finite dimensional $\mathbb{C}$-algebra $Λ.$ We obtain a geometric realization of the universal enveloping algebra $R(Λ)$ of $L(Λ).$ This generalizes the main result of Riedtmann in \cite{R}. We also obtain Green's theorem in \cite{G} in a geometric form for any finite dimensional $\mathbb{C}$-algebra $Λ$ and use it to give the comultiplication formula in $R(Λ).$
We studied both the double cross product and the bicrossproduct constructions for the Hom-Hopf algebras of general $(α,β)$-type. This allows us to consider the universal enveloping Hom-Hopf algebras of Hom-Lie algebras, which are of $(α,{\rm Id})$-type. We show that the universal enveloping Hom-Hopf algebras of a matched pair of Hom-Lie algebras form a matched pair of Hom-Hopf algebras. We observe also that, the semi-dualization of a double cross product Hom-Hopf algebra is a bicrossproduct Hom-Hopf algebra. In particular, we apply this result to the universal enveloping Hom-Hopf algebras of a…
We construct an universal enveloping algebra associated to the ternary extension of Lie (super)algebras called Lie algebra of order three. A Poincaré-Birkhoff-Witt theorem is proven is this context. It this then shown that this universal enveloping algebra can be endowed with a structure of Hopf algebra. The study of the dual of the universal enveloping algebra enables to define the parameters of the transformation of a Lie algebra of order three. It turns out that these variables are the variables which generate the three-exterior algebra.
The Calabi-Yau property of cocommutative Hopf algebras is discussed by using the homological integral, a recently introduced tool for studying infinite dimensional AS-Gorenstein Hopf algebras. It is shown that the skew-group algebra of a universal enveloping algebra of a finite dimensional Lie algebra $\g$ with a finite subgroup $G$ of automorphisms of $\g$ is Calabi-Yau if and only if the universal enveloping algebra itself is Calabi-Yau and $G$ is a subgroup of the special linear group $SL(\g)$. The Noetherian cocommutative Calabi-Yau Hopf algebras of dimension not larger than 3 are describe…
A combinatorial formula for Pfaffian for the universal enveloping algebra of the affine Kac - Moody algebra of even orthogonal Lie algebra is proved. It allows easily to compute the image of this Segal-Sugawara vector under the Harish-Chandra homomorphism and to deduce formulas for classical Pfaffian of universal enveloping algebra of the even orthogonal Lie algebra.
We prove a version of the Poincare-Birkhoff-Witt theorem for the twisted quantized enveloping algebra U'_q(sp_2n). This is a subalgebra of U_q(gl_2n) and a deformation of the universal enveloping algebra U(sp_2n) of the symplectic Lie algebra. We classify finite-dimensional irreducible representations of U'_q(sp_2n) in terms of their highest weights and show that these representations are deformations of the finite-dimensional irreducible representations of sp_2n.