The centralizer algebras of lie color algebras

In his 1977 paper, V.G. Kac classified the finite-dimensional simple complex Lie superalgebras. After Kac’s paper, M. Scheunert initiated the study of a generalization of Lie superalgebras - the Lie color algebras. We construct some new families of simple Lie color algebras. Following the work of A. Berele and A. Regev and A.N. Sergeev, who studied the general linear and sq(n)-series superalgebra cases, and the work of G. Benkart, C. Lee Shader, and A. Ram, who studied the orthosymplectic cases, we examine the centralizer algebras of some classical Lie superalgebras and their Lie color algebra counterparts acting on tensor space and derive Schur-Weyl duality results for these algebras and their centralizers.     

On abelian subalgebras and ideals of maximal dimension in supersolvable Lie algebras

In this paper, the main objective is to compare the abelian subalgebras and ideals of maximal dimension for finite-dimensional supersolvable Lie algebras. We characterise the maximal abelian subalgebras of solvable Lie algebras and study solvable Lie algebras containing an abelian subalgebra of codimension 2. Finally, we prove that nilpotent Lie algebras with an abelian subalgebra of codimension 3 contain an abelian ideal with the same dimension, provided that the characteristic of the underlying field is not 2. Throughout the paper, we also give several examples to clarify some results.     

The extended Freudenthal Magic Square and Jordan algebras

The Lie superalgebras in the extended Freudenthal Magic Square in characteristic 3 are shown to be related to some known simple Lie superalgebras, specific to this characteristic, constructed in terms of orthogonal and symplectic triple systems, which are defined in terms of central simple degree three Jordan algebras. I. Cunha was supported by CMUC, Department of Mathematics, University of Coimbra. A. Elduque was supported by the Spanish Ministerio de Educación y Ciencia and FEDER (MTM 2004-081159-C04-02) and by the Diputación General de Aragón (Grupo de Investigación de álgebra).     

Some properties of c-covers of a pair of Lie algebras

In [H. Safa and H. Arabyani, On c-nilpotent multiplier and c-covers of a pair of Lie algebras, Commun. Algebra 45(10) (2017), 4429–4434], we characterized the structure of the c-nilpotent multiplier of a pair of Lie algebras in terms of its c-covering pairs and discussed some results on the existence of c-covers of a pair of Lie algebras. In the present paper, it is shown under some conditions that a relative c-central extension of a pair of Lie algebras is a homomorphic image of a c-covering pair. Moreover, we prove that a c-cover of a pair of finite dimensional Lie algebras, under some assumptions, has a unique domain up to isomorphism and also that every perfect pair of Lie algebras admits at least one c-cover. Finally, we discuss a result concerning the isoclinism of c-covering pairs.     

Blocks and modules for Whittaker pairs

Inspired by recent activities on Whittaker modules over various (Lie) algebras, we describe a general framework for the study of Lie algebra modules locally finite over a subalgebra. As a special case, we obtain a very general set-up for the study of Whittaker modules, which includes, in particular, Lie algebras with triangular decomposition and simple Lie algebras of Cartan type. We describe some basic properties of Whittaker modules, including a block decomposition of the category of Whittaker modules and certain properties of simple Whittaker modules under some rather mild assumptions. We establish a connection between our general set-up and the general set-up of Harish-Chandra subalgebras in the sense of Drozd, Futorny and Ovsienko. For Lie algebras with triangular decomposition, we construct a family of simple Whittaker modules (roughly depending on the choice of a pair of weights in the dual of the Cartan subalgebra), describe their annihilators, and formulate several classification conjectures. In particular, we construct some new simple Whittaker modules for the Virasoro algebra. Finally, we construct a series of simple Whittaker modules for the Lie algebra of derivations of the polynomial algebra, and consider several finite-dimensional examples, where we study the category of Whittaker modules over solvable Lie algebras and their relation to Koszul algebras.     

Lie algebras with quadratic dimension equal to 2

The quadratic dimension of a Lie algebra is defined as the dimension of the linear space spanned by all its invariant non-degenerate symmetric bilinear forms. We prove that a quadratic Lie algebra with quadratic dimension equal to 2 is a local Lie algebra, this is to say, it admits a unique maximal ideal. We describe local quadratic Lie algebras using the notion of double extension and characterize those with quadratic dimension equal to 2 by the study of the centroid of such Lie algebras. We also give some necessary or sufficient conditions for a Lie algebra to have quadratic dimension equal to 2. Examples of local Lie algebras with quadratic dimension larger than 2 are given.     

Classification of solvable Lie algebras with a given nilradical by means of solvable extensions of its subalgebras

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_n,3 which contains the previously studied filiform (n-2)-dimensional nilpotent algebra n_n-2,1 as a subalgebra but not as an ideal. Rather surprisingly it turns out that the classification of such solvable algebras can be deduced from the classification of solvable algebras with the nilradical n_n-2,1. Also the sets of invariants of coadjoint representation of n_n,3 and its solvable extensions are deduced from this reduction. In several cases they have polynomial bases, i.e. the invariants of the respective solvable algebra can be chosen to be Casimir invariants in its enveloping algebra.     

Tensor factorization and Spin construction for Kac-Moody algebras

In this paper we discuss the “Factorization phenomenon” which occurs when a representation of a Lie algebra is restricted to a subalgebra, and the result factors into a tensor product of smaller representations of the subalgebra. We analyze this phenomenon for symmetrizable Kac-Moody algebras (including finite-dimensional, semi-simple Lie algebras). We present a few factorization results for a general embedding of a symmetrizable Kac-Moody algebra into another and provide an algebraic explanation for such a phenomenon using Spin construction. We also give some application of these results for semi-simple, finite-dimensional Lie algebras.We extend the notion of Spin functor from finite-dimensional to symmetrizable Kac-Moody algebras, which requires a very delicate treatment. We introduce a certain category of orthogonal g-representations for which, surprisingly, the Spin functor gives a g-representation in Bernstein-Gelfand-Gelfand category O. Also, for an integrable representation, Spin produces an integrable representation. We give the formula for the character of Spin representation for the above category and work out the factorization results for an embedding of a finite-dimensional, semi-simple Lie algebra into its untwisted affine Lie algebra. Finally, we discuss the classification of those representations for which Spin is irreducible.     

On replacement axioms for the Jacobi identity for vertex algebras and their modules

We discuss the axioms for vertex algebras and their modules, using formal calculus. Following certain standard treatments, we take the Jacobi identity as our main axiom and we recall weak commutativity and weak associativity. We derive a third companion property that we call “weak skew-associativity”. This third property in some sense completes an S₃-symmetry of the axioms, which is related to the known S₃-symmetry of the Jacobi identity. We do not initially require a vacuum vector, which is analogous to not requiring an identity element in ring theory. In this more general setting, one still has a property, occasionally used in standard treatments, which is closely related to skew-symmetry, which we call “vacuum-free skew-symmetry”. We show how certain combinations of these properties are equivalent to the Jacobi identity for both vacuum-free vertex algebras and their modules. We then specialize to the case with a vacuum vector and obtain further replacement axioms. In particular, in the final section we derive our main result, which says that, in the presence of certain minor axioms, the Jacobi identity for a module is equivalent to either weak associativity or weak skew-associativity. The first part of this result has appeared previously and has been used to show the (nontrivial) equivalence of representations of and modules for a vertex algebra. Many but not all of our results appear in standard treatments; some of our arguments are different from the usual ones.     

On vertex algebras and their modules associated with even lattices

We study vertex algebras and their modules associated with possibly degenerate even lattices, using an approach somewhat different from others. Several known results are recovered and a number of new results are obtained. We also study modules for Heisenberg algebras and we classify irreducible modules satisfying certain conditions and obtain a complete reducibility theorem.     

Bases, filtrations and module decompositions of free Lie algebras

We use the technique known as elimination to devise some new bases of the free Lie algebra which (like classical Hall bases) consist of Lie products of left normed basic Lie monomials. Our bases yield direct decompositions of the homogeneous components of the free Lie algebra with direct summands that are particularly easy to describe: they are tensor products of metabelian Lie powers. They also give rise to new filtrations and decompositions of free Lie algebras as modules for groups of graded algebra automorphisms. In particular, we obtain some new decompositions for free Lie algebras and free restricted Lie algebras over fields of positive characteristic.     

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     

On a general approach to the formal cohomology of quadratic Poisson structures

We propose a general approach to the formal Poisson cohomology of r-matrix induced quadratic structures, we apply this device to compute the cohomology of structure 2 of the Dufour-Haraki classification, and provide complete results also for the cohomology of structure 7.     

Infinite-dimensional modular special odd contact superalgebras

The infinite-dimensional special odd contact Lie superalgebras SKO(n,n+1;c) over a field of positive characteristic are studied. In particular, we prove that Lie superalgebras SKO(n,n+1;c) are simple. Besides, the Weisfeiler filtration of SKO(n,n+1;c) is proved to be invariant under automorphisms by characterizing -nilpotent elements. Thereby, we obtain some properties of these Lie superalgebras.     

Lie triple derivation of the Lie algebra of strictly upper triangular matrix over a commutative ring

Let N(n,R) be the nilpotent Lie algebra consisting of all strictly upper triangular n×n matrices over a 2-torsionfree commutative ring R with identity 1. In this paper, we prove that any Lie triple derivation of N(n,R) can be uniquely decomposited as a sum of an inner triple derivation, diagonal triple derivation, central triple derivation and extremal triple derivation for n≧6. In the cases 1≦n≦5, the results are trivial.     

Universal characters from the MacDonald identities

The main result of [Kostant, Invent. Math. 158 (1) (2004) 181-226, arXiv:math.GR/0309232] shows that a sequence of complexes associated with the MacDonald identities gives a sequence of universal characters which extends and generalises some representations of the exceptional series given in [Deligne, C. R. Acad. Sci. Paris Sér. Math. 322(4) (1996) 321-326]. This proves the conjectures in [Macfarlane, Pfeiffer, J. Phys. A 36 (2003) 230 5-2317. arxiv.math-ph/0208014].In this paper, we use a twisted version of this definition to define a sequence of complexes for the first row of the Freudenthal magic square.We also calculate the dimensions of these characters for the special linear groups and for the symplectic groups. This gives two new explicit expressions for the D’Arcais polynomials.