Modified regular representations of affine and Virasoro algebras, VOA structure and semi-infinite cohomology

We find a counterpart of the classical fact that the regular representation R(G) of a simple complex group G is spanned by the matrix elements of all irreducible representations of G. Namely, the algebra of functions on the big cell G₀⊂G of the Bruhat decomposition is spanned by matrix elements of big projective modules from the category O of representations of the Lie algebra g of G, and has the structure of a g⊕g-module.The standard regular representation of the affine group has two commuting actions of the Lie algebra with total central charge 0, and carries the structure of a conformal field theory. The modified versions and , originating from the loop version of the Bruhat decomposition, have two commuting -actions with central charges shifted by the dual Coxeter number, and acquire vertex operator algebra structures derived from their Fock space realizations, given explicitly for the case G=SL(2,C).The quantum Drinfeld-Sokolov reduction transforms the representations of the affine Lie algebras into their W-algebra counterparts, and can be used to produce analogues of the modified regular representations. When g=sl(2,C) the corresponding W-algebra is the Virasoro algebra. We describe the Virasoro analogues of the modified regular representations, which are vertex operator algebras with the total central charge equal to 26.The special values of the total central charges in the affine and Virasoro cases lead to the non-trivial semi-infinite cohomology with coefficients in the modified regular representations. The inherited vertex algebra structure on this cohomology degenerates into a supercommutative associative superalgebra. We describe these superalgebras in the case when the central charge is generic, and identify the 0th cohomology with the Grothendieck ring of finite-dimensional G-modules. We conjecture that for the integral values of the central charge the 0th semi-infinite cohomology coincides with the Verlinde algebra and its counterpart associated with the big projective modules.     

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.     

Bosonic and fermionic representations of Lie algebra central extensions

Given any representation of an arbitrary Lie algebra g over a field K of characteristic 0, we construct representations of a central extension of g on bosonic and fermionic Fock space. The method gives an explicit formula for a (sometimes trivial) 2-cocycle in H²(g;K). We illustrate these techniques with several concrete examples.     

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.     

Classification of quasifinite modules over the Lie algebras of Weyl type

For a nondegenerate additive subgroup Γ of the n-dimensional vector space over an algebraically closed field of characteristic zero, there is an associative algebra and a Lie algebra of Weyl type spanned by all differential operators uD₁^m₁?D_n^m_n for (the group algebra), and m₁,…,m_n?0, where D₁,…,D_n are degree operators. In this paper, it is proved that an irreducible quasifinite -module is either a highest or lowest weight module or else a module of the intermediate series; furthermore, a classification of uniformly bounded -modules is completely given. It is also proved that an irreducible quasifinite -module is a module of the intermediate series and a complete classification of quasifinite -modules is also given, if Γ is not isomorphic to .     

gl(λ) and differential operators preserving polynomials

We discuss a certain generalization of gl _n (), and show how it is connected to polynomial differential operators that leave the polynomial space invariant.     

Quasifinite modules of a Lie algebra related to Block type

Let B be the universal central extension of a graded Lie algebra of Block type. In this paper, it is proved that any quasifinite irreducible B-module is either highest weight, lowest weight or uniformly bounded. Furthermore, the quasifinite irreducible highest weight B-modules are classified, and the intermediate series B-modules are classified and constructed.     

Some subalgebras of indefinite type Kac-Moody Lie algebras

We show that every Kac-Moody Lie algebra of indefinite type contains a subalgebra with a Dynkin diagram having two adjacent vertices whose edge labels multiply to a number greater than or equal to five. Consequently, every Kac-Moody algebra of indefinite type contains a subalgebra of strictly hyperbolic type, and a free Lie algebra of rank two.     

Classification of irreducible weight modules over higher rank Virasoro algebras

Let G be a rank n additive subgroup of C and Vir[G] the corresponding Virasoro algebra of rank n. In the present paper, irreducible weight modules with finite dimensional weight spaces over Vir[G] are completely determined. There are two different classes of them. One class consists of simple modules of intermediate series whose weight spaces are all 1-dimensional. The other is constructed by using intermediate series modules over a Virasoro subalgebra of rank n−1. The classification of such modules over the classical Virasoro algebra was obtained by O. Mathieu in 1992 using a completely different approach.     

On the simplicity of induced modules for reductive Lie algebras II

An open problem proposed by Friedlander and Parshall is considered. A sufficient condition is given for the simplicity of induced modules of reductive Lie algebras.     

Biderivations of the Galilean Conformal Algebra and their applications

Abstract

In this paper, the biderivations of the Galiean conformal algebra are determined. As an application, the forms of the commutative post-Lie algebra structures on the Galiean conformal algebra are obtained.     

Nonzero level Harish-Chandra modules over the Virasoro-like algebra

In the present paper, we study the nonzero level Harish-Chandra modules for the Virasoro-like algebra. We prove that a nonzero level Harish-Chandra module of the Virasoro-like algebra is a generalized highest weight (GHW for short) module. Then we prove that a GHW module of the Virasoro-like algebra is induced from an irreducible module of a Heisenberg subalgebra.     

Generalized Kac-Moody algebras and the modular functionj

Research at MSRI supported in part by NSF Grant #DMS 9022140     

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.     

Differential equations in vertex algebras and simple modules for the Lie algebra of vector fields on a torus

We study irreducible representations for the Lie algebra of vector fields on a 2-dimensional torus constructed using the generalized Verma modules. We show that for a certain choice of parameters these representations remain irreducible when restricted to a loop subalgebra in the Lie algebra of vector fields. We prove this result by studying vertex algebras associated with the Lie algebra of vector fields on a torus and solving non-commutative differential equations that we derive using the vertex algebra technique.     

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.