Poisson identities of enveloping algebras

Let L be a restricted Lie algebra. The symmetric algebra S_p(L) of the restricted enveloping algebra u(L) has the structure of a Poisson algebra. We give necessary and sufficient conditions on L in order for the symmetric algebra S_p(L) to satisfy a multilinear Poisson identity. We also settle the same problem for the symmetric algebra S(L) of a Lie algebra L over an arbitrary field. The first author was partially supported by MIUR of Italy. The second author was partially supported by Grant RFBR-04-01- 00739. Received: 31 October 2005     

Symmetric identities and restricted Lie algebras

We use symmetric identities to study centres of reduced enveloping algebras of restricted Lie algebras. We formulate a criterion for a reduced centre to map injectively into a reduced enveloping algebra.     

Capelli identities for classical Lie algebras

We extend the Capelli identity from the Lie algebra to the other classical Lie algebras and . We employ the theory of reductive dual pairs due to Howe. Received: 12 February 1997 / in revised form: 24 July 1998     

Lie algebras satisfying identities of degree 5

Let be an associative ring with unity, containing 1/6.We prove that every prime Lie -algebra satisfying the identity [(yx)(zx)]x = 0is embedded as a subring of a special form in a three-dimensional simple Lie algebra over some field A. It follows that there exists no central simple Lie algebra which is not three-dimensional and the cube of every inner derivation in which is a derivation. It is proved that if a semiprime Lie algebra over a field satisfies an arbitrary identity of degree 5 (not following from the anticommutativity and Jacobi identities), then it also satisfies the standard identity of degree 5. Essentially used in the proof is the notion of antiderivation. In passing we show that every prime Lie algebra having a nonzero antiderivation satisfies the standard identity of degree 5. Translated fromAlgebra i Logika, Vol. 34, No. 6, pp. 681-705, November-December, 1995.Supported by RFFR grant No. 94-01-00381-a.     

Identities of representations of Lie algebras and *-polynomial identities

In this paper we have found a necessary and sufficient condition for the existence of *-identities of special kind and in skew-symmetric variables in matrix algebras with symplectic involution *. The same result holds for the identities of the natural representation of the symplectic simple Lie algebra. Partially supported by Grant MM605/96 of the Bulgarian Foundation for Scientific Research.     

Polynomial identities of bicommutative algebras,Lie and Jordan elements

ABSTRACT

An algebra with identities a(bc)?=?b(ac), (ab)c?=?(ac)b is called bicommutative. We construct list of identities satisfied by commutator and anti-commutator products in a free bicommutative algebra. We give criterions for elements of a free bicommutative algebra to be Lie or Jordan.     

Lie identities on symmetric elements of restricted enveloping algebras

Let L be a restricted Lie algebra over a field of characteristic p > 2 and denote by u(L) its restricted enveloping algebra. We determine the conditions under which the set of symmetric elements of u(L) with respect to the principal involution is Lie solvable, Lie nilpotent, or bounded Lie Engel.     

Poisson manifolds with compatible pseudo-metric and pseudo-Riemannian Lie algebras

In a previous paper (C. R. Acad. Sci. Paris Sér. I 333 (2001) 763–768), the author introduced a notion of compatibility between a Poisson structure and a pseudo-Riemannian metric. In this paper, we introduce a new class of Lie algebras called pseudo-Riemannian Lie algebras. The two notions are closely related: we prove that the dual of a Lie algebra endowed with its canonical linear Poisson structure carries a compatible pseudo-Riemannian metric if and only if the Lie algebra is a pseudo-Riemannian Lie algebra. Moreover, the Lie algebra obtained by linearizing at a point a Poisson manifold with a compatible pseudo-Riemannian metric is a pseudo-Riemannian Lie algebra. We also give some properties of the symplectic leaves of such manifolds, and we prove that every Poisson manifold with a compatible Riemannian metric is unimodular. Finally, we study Poisson Lie groups endowed with a compatible pseudo-Riemannian metric, and we give the classification of all pseudo-Riemannian Lie algebras of dimension 2 and 3.     

The homology of graded infinite-dimensional Lie algebras in connection with Macdonald identities

D. Fucks' monograph devoted to the cohomology of infinite-dimensional Lie algebras contains an error in calculating the homology of a graded affine Kac-Moody algebra of type A _n ⁽¹⁾ , so that the proof of the corresponding Macdonald identity, which is based on that calculation, is incorrect. In the present paper, a revised proof is suggested.Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 240, 1996, pp. 5–17.The author is grateful to A. M. Vershik, who suggested the topic of this paper, for his constant attention and useful comments. The author also thanks M. A. Vsemirnov for his information on non-coincidence of the coefficients in two sides of the equality in [4, §3.2.3] for n=7, which he observed while proving Macdonald identities in a new (analytical) way, and on the sign of a summand on the right (see his paper in this issue).     

A degree inequality for Lie algebras with a regular Poisson semi-center

For Lie algebras whose Poisson semi-center is a polynomial ring we give a bound for the sum of the degrees of the generating semi-invariants. This bound was previously known in many special cases.     

Quantization of Lie bialgebras and shuffle algebras of Lie algebras

To any field \Bbb K \Bbb K of characteristic zero, we associate a set (\mathbbK) (\mathbb{K}) and a group G₀(\Bbb K) {\cal G}_0(\Bbb K) . Elements of (\mathbbK) (\mathbb{K}) are equivalence classes of families of Lie polynomials subject to associativity relations. Elements of G₀(\Bbb K) {\cal G}_0(\Bbb K) are universal automorphisms of the adjoint representations of Lie bialgebras over \Bbb K \Bbb K . We construct a bijection between (\mathbbK)×G₀(\Bbb K) (\mathbb{K})\times{\cal G}_0(\Bbb K) and the set of quantization functors of Lie bialgebras over \Bbb K \Bbb K . This construction involves the following steps.? 1) To each element v \varpi of (\mathbbK) (\mathbb{K}) , we associate a functor \frak a?\operatornameSh^v(\frak a) \frak a\mapsto\operatorname{Sh}^\varpi(\frak a) from the category of Lie algebras to that of Hopf algebras; \operatornameSh^v(\frak a) \operatorname{Sh}^\varpi(\frak a) contains U\frak a U\frak a .? 2) When \frak a \frak a and \frak b \frak b are Lie algebras, and r_{\frak a\frak b} ? \frak a?\frak b r_{\frak a\frak b} \in\frak a\otimes\frak b , we construct an element ?^v (r_{\frak a\frak b}) {\cal R}^{\varpi} (r_{\frak a\frak b}) of \operatornameSh^v(\frak a)?\operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak a)\otimes\operatorname{Sh}^\varpi(\frak b) satisfying quasitriangularity identities; in particular, ?^v(r_{\frak a\frak b}) {\cal R}^\varpi(r_{\frak a\frak b}) defines a Hopf algebra morphism from \operatornameSh^v(\frak a)^* \operatorname{Sh}^\varpi(\frak a)^* to \operatornameSh^v(\frak b) \operatorname{Sh}^\varpi(\frak b) .? 3) When \frak a = \frak b \frak a = \frak b and r_\frak a ? \frak a?\frak a r_\frak a\in\frak a\otimes\frak a is a solution of CYBE, we construct a series r^v(r_\frak a) \rho^\varpi(r_\frak a) such that ?^v(r^v(r_\frak a)) {\cal R}^\varpi(\rho^\varpi(r_\frak a)) is a solution of QYBE. The expression of r^v(r_\frak a) \rho^\varpi(r_\frak a) in terms of r_\frak a r_\frak a involves Lie polynomials, and we show that this expression is unique at a universal level. This step relies on vanishing statements for cohomologies arising from universal algebras for the solutions of CYBE.? 4) We define the quantization of a Lie bialgebra \frak g \frak g as the image of the morphism defined by ?^v(r^v(r)) {\cal R}^\varpi(\rho^\varpi(r)) , where r ? \mathfrakg ?\mathfrakg^* r \in \mathfrak{g} \otimes \mathfrak{g}^* .<\P>     

Lie Semialgebras in reductive Lie algebras

This paper gives some basic facts on Lie semialgebras and shows the crucial steps that lead to a classification of semialgebras in a class of Lie algebras that contains the reductive ones. The classification of invariant wedges by Hilgert and Hofmann is a prerequisite. This paper was presented at the Conference on “The analytical and topological theory of semigroups” in Oberwolfach, January 29 through February 4, 1989     

Elliptic Lie algebras and tubular algebras

This article is to study relations between tubular algebras of Ringel and elliptic Lie algebras in the sense of Saito-Yoshii. Using the explicit structure of the derived categories of tubular algebras given by Happel-Ringel, we prove that the elliptic Lie algebra of type , , or is isomorphic to the Ringel-Hall Lie algebra of the root category of the tubular algebra with the same type. As a by-product of our proof, we obtain a Chevalley basis of the elliptic Lie algebra following indecomposable objects of the root category of the corresponding tubular algebra. This can be viewed as an analogue of the Frenkel-Malkin-Vybornov theorem in which they described a Chevalley basis for each untwisted affine Kac-Moody Lie algebra by using indecomposable representations of the corresponding affine quiver.