We describe the structure of a Verma module with a generic highest weight at the critical level over a symmetrizable affine Lie superalgebra ĝ 6= A(2k, 2l). We obtain the character formula for a simple module with a generic highest weight at the critical level conjectured by V. G. Kac and D. A. Kazhdan.

We construct a generator system of the annihilator of a generalized Verma module of a reductive Lie algebra induced from a character of a parabolic subalgebra as an analogue of the minimal polynomial of a matrix.

The present paper contains two interrelated developments. First are proposed new generalized Verma modules. They are called k Verma modules, k ∈ IN , and coincide with the usual Verma modules for k = 1. As a vector space a k Verma module is isomorphic to the symmetric tensor product of k copies of the universal enveloping algebra U(G), where G is the subalgebra of lowering generators in the sta...

In this paper various representations of the exceptional Lie algebra G2 are investigated in a purely algebraic manner, and multi-boson/multi-fermion realizations are obtained. Matrix elements of the master representation, which is defined on the space of the universal enveloping algebra of G2, are explicitly determined. From this master representation, different indecomposable representations d...

We study the structure of generalized Verma modules over a semi-simple complex finite-dimensional Lie algebra, which are induced from simple modules over a parabolic subalgebra. We consider the case when the annihilator of the starting simple module is a minimal primitive ideal if we restrict this module to the Levi factor of the parabolic subalgebra. We show that these modules correspond to pr...

We suggest a programming realization of an algorithm for a verification of a given set of algebraic relations in the form of a supercommutator multiplication table for the Verma module, which is constructed according to a generalized Cartan procedure for a quadratic superalgebra and whose elements are realized as a formal power series with respect to noncommuting elements. To this end, we propo...

It is shown that a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V ) is semisimple and each irreducible admissible V -module is ordinary. A contravariant form on a Verma type admissible V -module is constructed and the radical is exactly the maximal proper submodule. As an application the rationality of V + L for any positive definite even lattice is obtained.

We consider a general parabolic category OS over symmetrizable Kac-Moody algebras. introduce reduction rule of hom-spaces between Verma modules different algebras which yield some applications on module homomorphisms.