Vertex Algebras and Combinatorial Identities

In the 1980's, J. Lepowsky and R. Wilson gave a Lie-theoretic interpretation of Rogers–Ramanujan identities in terms of level 3 representations of affine Lie algebra sl(2,C)~. When applied to other representations and affine Lie algebras, Lepowsky and Wilson's approach yielded a series of other combinatorial identities of the Rogers–Ramanujan type. At about the same time, R. Baxter rediscovered Rogers–Ramanujan identities within the context of statistical mechanics. The work of R. Baxter initiated another line of research which yielded numerous combinatorial and analytic generalizations of Rogers–Ramanujan identities. In this note, we describe some ideas and results related to Lepowsky and Wilson's approach and indicate the connections with some results in combinatorics and statistical physics.     

Some notes on the second homology of Leibniz algebras

Some properties of the second homology and cover of Leibniz algebras are established. By constructing a stem cover, the second Leibniz homology and cover of abelian, Heisenberg Lie algebras and cyclic Leibniz algebras are described. Also, for the dimension of a non-cyclic nilpotent Leibniz algebra L, we obtain dim(HL₂(L))≥2.     

Pseudo-finite dimensional representations of $ sl(2,k) $

Let k be an algebraically closed field of characteristic zero and L = sl(2,k) the Lie algebra of 2 × 2 traceless matrices over k. It is shown that there exists a von Neumann regular extension U(L) í U￠(L) U(L) \subseteq U'(L) of the universal enveloping algebra, which is an epimorphism in the category of rings. The article is devoted to the study of the simple representations of U'(L), which may be topologized via the Ziegler topology on the set of injective indecomposable representations of U'(L) or via the Jacobson topology on the set of primitive ideals. These two topologies coincide and the finite dimensional simple representations of L form a dense, discrete and open subset. The field of fractions K(L) of the universal enveloping algebra is another simple representation of U'(L). If the point K(L) is removed from the Ziegler spectrum of U'(L), one obtains a compact totally disconnected topological space, which has the cardinality of the continuum. It is also shown that the lattice of ideals of U'(L) is isomorphic to the lattice of open subsets. The epimorphic ring extension U(L) í U￠(L) U(L) \subseteq U'(L) is used to find an axiomatization of the finite dimensional representations of L in the language of left U(L)-modules. A representation V of L is called pseudo-finite dimensional if it satisfies these axioms. It is shown that a representation V of L is pseudo-finite dimensional if and only if for every central idempotent e ? U￠(L) e \in U'(L) for which eK(L) 1 0 eK(L) \neq 0 , whenever the subrepresentation eV is nonzero, then it has a nonzero highest weight space.     

Identities of Group Algebras

We consider polynomial identities of group algebras over a field F of characteristic zero. We prove that any PI group algebra satisfies the same identities as a matrix algebra M _n (F ), where n is the maximal degree of finite dimensional representations of the group over algebraic extensions of F.     

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     

Plain Representations of Lie Algebras

In this paper we study representations of finite dimensionalLie algebras. In this case representations are not necessarilycompletely reducible. As the general problem is known to beof enormous complexity, we restrict ourselves to representationsthat behave particularly well on Levi subalgebras. We call suchrepresentations plain (Definition 1.1). Informally, we showthat the theory of plain representations of a given Lie algebraL is equivalent to representation theory of finitely many finitedimensional associative algebras, also non-semisimple. The senseof this is to distinguish representations of Lie algebras thatare of complexity comparable with that of representations ofassociative algebras. Non-plain representations are intrinsicallymuch more complex than plain ones. We view our work as a steptoward understanding this complexity phenomenon. We restrict ourselves also to perfect Lie algebras L, that is,such that L = [L, L]. In our main results we assume that L isperfect and sl₂-free (which means that L has no quotient isomorphicto sl₂). The ground field F is always assumed to be algebraicallyclosed and of characteristic 0.     

The embedding ofU q(sl (2)) and sine algebras in generalized Clifford algebras

In this note, we establish the connection between certain quantum algebras and generalized Clifford algebras (GCA). Precisely, we embed the quantum tori Lie algebra andU _q(sl (2)) in GCA.     

A Characterization of Stem Algebras in Terms of Central Derivations

Let L be a Lie algebra, and Der _z (L) denote the set of all central derivations of L, that is, the set of all derivations of L mapping L into the center. In this paper, by using the notion of isoclinism, we study the center of Der _z (L) for nilpotent Lie algebras with nilindex 2. We also give a characterization of stem Lie algebras by their central derivations. In fact we show that for non-abelian nilpotent Lie algebras of finite dimension and any nilpotent Lie algebra with nilindex 2 (not finite dimensional in general), Der _z (L) is abelian if and only if L is a stem Lie algebra.     

Nilpotent Lie Algebras with a Small Second Derived Quotient 1

Here we find the structure of nilpotent Lie algebras L with dim(L′/L″) = 3 and L″ ≠ 0. Following the pattern of results of Csaba Schneider in p-groups, we show that L is the central direct sum of ideals H and U, where U is the direct sum of a generalized Heisenberg Lie algebra and an abelian Lie algebra. We then find over the complex numbers that H falls into one of fourteen isomorphism classes.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

Graded central polynomials for the matrix algebra of order two

Let K be an infinite integral domain, and let A = M ₂(K) be the matrix algebra of order two over K. The algebra A can be given a natural -grading by assuming that the diagonal matrices are the 0-component while the off-diagonal ones form the 1-component. In this paper we study the graded identities and the graded central polynomials of A. We exhibit finite bases for these graded identities and central polynomials. It turns out that the behavior of the graded identities and central polynomials in the case under consideration is much like that in the case when K is an infinite field of characteristic 0 or p > 2. Our proofs are characteristic-free so they work when K is an infinite field, char K = 2. Thus we describe finite bases of the graded identities and graded central polynomials for M ₂(K) in this case as well. A. Krasilnikov has been partially supported by CNPq and FINATEC.     

Vertex operator algebras and representations of affine Lie algebras

We announce the construction of an explicit basis for all integrable highest weight modules over the Lie algebra A ₁ ⁽¹⁾. The construction uses representations of vertex operator algebras and leads to combinatorial identities of Rogers-Ramanujan-type.     

Lie ideals of graded associative algebras

We study the Lie structure of graded associative algebras. Essentially, we analyze the relation between Lie and associative graded ideals, and between Lie and associative graded derivations. Gathering together results on both directions, we compute maximal graded algebras of quotients of graded Lie algebras that arise from associative algebras. We also show that the Lie algebra Der _gr (A) of graded derivations of a graded semiprime associative algebra is strongly non-degenerate (modulo a certain ideal containing the center of Der _gr (A)).     

Restricted Enveloping Algebras with Minimal Lie Derived Length

Let L be a non-abelian restricted Lie algebra over a field of characteristic p > 0 and let u(L) denote its restricted enveloping algebra. In Siciliano (Publ Math (Debr) 68:503–513, 2006) it was proved that if u(L) is Lie solvable then the Lie derived length of u(L) is at least ⌈log₂(p + 1)⌉. In the present paper we characterize the restricted enveloping algebras whose Lie derived length coincides with this lower bound.     

Commutator Leavitt Path Algebras

For any field K and directed graph E, we completely describe the elements of the Leavitt path algebra L _K (E) which lie in the commutator subspace [L _K (E), L _K (E)]. We then use this result to classify all Leavitt path algebras L _K (E) that satisfy L _K (E)?=?[L _K (E),L _K (E)]. We also show that these Leavitt path algebras have the additional (unusual) property that all their Lie ideals are (ring-theoretic) ideals, and construct examples of such rings with various ideal structures.     

Cocycles on a finite dimensional quotient of uq (sl(2))

We prove that certain algebra quotients of Hopf algebras are twisted Hopf algebras. On the other handu_q (sl(2)) is a crossed product of a central subalgebra with a quotient [Ubar], when q is a root of 1. Using the cocycle involved in this crossed product we construct non-trivial complex cocycles τ and we find the isomorphism classes of the corresponding twisted Hopf algebras _τ [Ubar]. These provide complex projective representations of [Ubar] which are not ordinary representations.     

Identities of representations of nilpotent lie algebras

Lret N be a nilpotent of class 2 Lie algebra with one-dimensional centre C = Kc over an infinite field K and let p : N → End_k:(V) be a representation of N in a vector space V such that p(c) is invertible in End_k(V). We find a basis for the identities of the representation p. As consequences we obtain a basis for all the weak polynomial identities of the pair (M₂:(K), s1₂(K)) over an infinite field K of characteristic 2 and describe the identities of the regular representation of Lie algebras related with the Weyl algebra and its tensor powers.     

Almost Primitive Elements of Free lie Algebras of Small Ranks

Let K be a field, X = {x1, . . . , xn}, and let L(X) be the free Lie algebra over K with the set X of free generators. A. G. Kurosh proved that subalgebras of free nonassociative algebras are free, A. I. Shirshov proved that subalgebras of free Lie algebras are free. A subset M of nonzero elements of the free Lie algebra L(X) is said to be primitive if there is a set Y of free generators of L(X), L(X) = L(Y ), such that M ? Y (in this case we have |Y | = |X| = n). Matrix criteria for a subset of elements of free Lie algebras to be primitive and algorithms to construct complements of primitive subsets of elements with respect to sets of free generators have been constructed. A nonzero element u of the free Lie algebra L(X) is said to be almost primitive if u is not a primitive element of the algebra L(X), but u is a primitive element of any proper subalgebra of L(X) that contains it. A series of almost primitive elements of free Lie algebras has been constructed. In this paper, for free Lie algebras of rank 2 criteria for homogeneous elements to be almost primitive are obtained and algorithms to recognize homogeneous almost primitive elements are constructed.     

On dimension of the Schur multiplier of nilpotent Lie algebras

Let L be an n-dimensional non-abelian nilpotent Lie algebra and $ s(L) = \frac{1} {2}(n - 1)(n - 2) + 1 - \dim M(L) $ s(L) = \frac{1} {2}(n - 1)(n - 2) + 1 - \dim M(L) where M(L) is the Schur multiplier of L. In [Niroomand P., Russo F., A note on the Schur multiplier of a nilpotent Lie algebra, Comm. Algebra (in press)] it has been shown that s(L) ≥ 0 and the structure of all nilpotent Lie algebras has been determined when s(L) = 0. In the present paper, we will characterize all finite dimensional nilpotent Lie algebras with s(L) = 1; 2.     

On Behavior of Solvable Ideals of Lie Algebras Under Outer Derivations

Let L be a finite dimensional Lie algebra over a field F. It is well known that the solvable radical S(L) of the algebra L is a characteristic ideal of L if char F = 0, and there are counterexamples to this statement in case char F = p > 0. We prove that the sum S(L) of all solvable ideals of a Lie algebra L (not necessarily finite dimensional) is a characteristic ideal of L in the following cases: 1) char F = 0; 2) S(L) is solvable and its derived length is less than log₂ p.