Affine Lie algebras admit non-classical highest-weight theories through alternative partitions of the root system. Although significant inroads have been made, much of the classical machinery is inapplicable in this broader context, and some fundamental questions remain unanswered. In particular, the structure of the reducible objects in non-classical theories has not yet been fully understood. This question is addressed here for affine sl(2), which has a unique non-classical highest-weight theory, termed "imaginary". The reducible Verma modules in the imaginary theory possess an infinite descending series, with all factors isomorphic to a certain canonically associated module, the structure of which depends upon the highest weight. If the highest weight is non-zero, then this factor module is irreducible, and conversely. This paper examines the degeneracy of the factor module of highest-weight zero. The intricate structure of this module is understood via a realization in terms of the symmetric functions. The realization permits the description of a family of singular (critical) vectors, and the classification of the irreducible subquotients. The irreducible subquotients are characterized as those modules with an action given in terms of exponential functions, in the sense of Billig and Zhao.
We show that the characters of all highest weight modules over an affine Lie algebra with the highest weight away from the critical hyperplane are meromorphic functions in the positive half of Cartan subalgebra, their singularities being at most simple poles at zeros of real roots. We obtain some information about these singularities.
Consider the Plancherel decomposition of the tensor product of a highest weight and a lowest weight unitary representations of $SL_2$. We construct explicitly the action of the Lie algebra $sl_2 + sl_2$ in the direct integral of Hilbert spaces. It turns out that a Lie algebra operator is a second order differential operator in one variable and second order difference operator with respect to another variable. The difference operators are defined in terms of the shift in the imaginary direction $f(s)\mapsto f(s+i)$, $i^2=-1$ (the Plancherel measure is supported by real $s$).
For each integer $n\ge 1$, we demonstrate that a $(2n+1)$-dimensional generalized MICZ-Kepler problem has an $\mr{Spin}(2, 2n+2)$ dynamical symmetry which extends the manifest $\mr{Spin}(2n+1)$ symmetry. The Hilbert space of bound states is shown to form a unitary highest weight $\mr{Spin}(2, 2n+2)$-module which occurs at the first reduction point in the Enright-Howe-Wallach classification diagram for the unitary highest weight modules. As a byproduct, we get a simple geometric realization for such a unitary highest weight $\mr{Spin}(2, 2n+2)$-module.
We analyze conditions under which a projection from the vector-valued Jack or Macdonald polynomials to scalar polynomials has useful properties, especially commuting with the actions of the symmetric group or Hecke algebra, respectively, and with the Cherednik operators for which these polynomials are eigenfunctions. In the framework of the representation theory of the symmetric group and the Hecke algebra, we study the relation between singular nonsymmetric Jack and Macdonald polynomials and highest weight symmetric Jack and Macdonald polynomials. Moreover, we study the quasistaircase partiti…
We study the level-one irreducible highest weight representations of $U_q[\hat{gl(1|1)}]$ and associated q-vertex operators. We obtain the exchange relations satisfied by the vertex operators. The characters and supercharacters associated with these irreducible representations are calculated.
In this paper we construct Bernstein--Gelfand--Gelfand type resolution of simple highest weight modules over the simple $\mathcal{N}=2$ vertex operator superalgebra of central charge $c_{p,p'}=3\left(1-\frac{2p'}{p}\right)$ by means of the Kazama--Suzuki coset construction. As an application, we compute the twisted Zhu algebras of the simple $\mathcal{N}=2$ vertex operator superalgebra. We also compute the Frenkel--Zhu bimodule structure associated with a certain simple highest weight module of central charge $c_{3,2}=-1$.
Imaginary Verma modules, parabolic imaginary Verma modules, and Verma modules at level zero for double affine Lie algebras are constructed using three different triangular decompositions. Their relations are investigated, and several results are generalized from the affine Lie algebras. In particular, imaginary highest weight modules, integrable modules, and irreducibility criterion are also studied.
This is the third of a series of articles devoted to the study of relaxed highest weight modules over vertex operator algebras. Relaxed highest weight modules over affine vertex algebras associated to higher rank Lie algebras $A_\ell$ are extensively studied. In particular, the string functions of simple relaxed highest weight modules whose top spaces are simple cuspidal $A_\ell$-modules are shown to be the quotients by a power of the Dedekind eta series of the $q$-characters of simple ordinary modules over affine W-algebras associated with the minimal nilpotent elements of $A_\ell$.
The characters of the unitarizable highest weight modules over the N=2 superconformal algebras are presented. This is a slightly extended version of an Encyclopedia entry.
We determine the exchange relations of the level-one q-vertex operators of the quantum affine superalgebra $U_q[\hat{gl(N|N)}]$. We study in details the level-one irreducible highest weight representations of $U_q[\hat{gl(2|2)}]$, and compute the characters and supercharacters associated with these irreducible modules.
A. Dzhumadil'daev classified all irreducible finite dimensional representations of the simple n-Lie algebra. Using a slightly different approach, we obtain in this paper a complete classification of all irreducible, highest weight modules, including the infinite-dimensional ones. As a corollary we find all primitive ideals of the universal enveloping algebra of this simple n-Lie algebra.
We give a formula for the q-characters of arbitrary highest-weight integrable modules of sl_{r+1} as a linear combination of the fermionic q-characters of special fusion products of integrable modules. The coefficients in the sum are entries of the inverse matrix of generalized Kostka polynomials, which are in Z[q^{-1}]. In this paper we prove the relation between the character of the Feigin-Loktev graded tensor product and the generalized Kostka polynomial. We also prove the fermionic formula for the q-characters of the (unrestricted) fusion products of rectangular highest-weight integrable g…
The Bershadsky-Polyakov algebras are the minimal quantum hamiltonian reductions of the affine vertex algebras associated to $\mathfrak{sl}_3$ and their simple quotients have a long history of applications in conformal field theory and string theory. Their representation theories are therefore quite interesting. Here, we classify the simple relaxed highest-weight modules, with finite-dimensional weight spaces, for all admissible but nonintegral levels, significantly generalising the known highest-weight classifications [arxiv:1005.0185, arxiv:1910.13781]. In particular, we prove that the simple…
We classify all simple bounded highest weight modules of a basic classical Lie superalgebra $\mathfrak g$. In particular, our classification leads to the classification of the simple weight modules with finite weight multiplicities over all classical Lie superalgebras. We also obtain some character formulas of strongly typical bounded highest weight modules of $\mathfrak g$.
Two classes of irreducible highest weight modules of the general linear Lie superalgebra $gl(1/\infty)$ are constructed. Within each module a basis is introduced and the transformation relations of the basis under the action of the algebra generators are written down.
We investigate the representations of a class of conformal Galilei algebras in one spatial dimension with central extension. This is done by explicitly constructing all singular vectors within the Verma modules, proving their completeness and then deducing irreducibility of the associated highest weight quotient modules. A resulting classification of infinite dimensional irreducible modules is presented. It is also shown that a formula for the Kac determinant is deduced from our construction of singular vectors. Thus we prove a conjecture of Dobrev, Doebner and Mrugalla for the case of the Sch…
Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(Λ)$ be the integrable highest weight $U_q(\g)$-module with highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ provides a categorification of $V(Λ)$.
We demonstrate equivalence between two definitions of lower finite highest weight categories. We also show that, in the presence of a duality, a lower finite highest weight structure on a category is unique. Finally, we give a new proof for the fact that any abelian category is extension full in its ind-completion.
For each integer $t>0$ and each complex simple Lie algebra $\mathfrak{g}$, we determine the least dimension of an irreducible highest weight representation of $\mathfrak{g}$ whose highest weight has height $t$. As a corollary, we classify all irreducible modules whose dimension equals a product of two primes.
Characteristic cycles,leading term cycles,associated varieties and Harish-Chandra cells are computed for the family of highest weight Harish-Chandra modules for Sp(2n, R) having regular integral infinitesimal character.
Characteristic cycles and leading term cycles of irreducible highest weight Harish-Chandra modules of regular integral infinitesimal character are determined. In the simply laced cases they are irreducible, but in the nonsimply laced cases they are more complicated.
This paper classifies irreducible, integrable highest weight modules for "current Kac-Moody Algebras" with finite dimensional weight spaces. We prove that these modules turn out to be modules of appropriate direct sums of finitely many copies of Kac-Moody Lie algebras.
We utilize a theorem of B. Feigin and S. Loktev to give explicit bases for the global Weyl modules for the map algebras of the form $\mathfrak{sl}_n\otimes A$ of highest weight $mω_1$. These bases are given in terms of specific elements of the universal enveloping algebra, $\mathbf{U}(\mathfrak{sl}_n\otimes A)$, acting on the highest weight vector.
In this paper we discuss the highest weight $\frak k_r$-finite representations of the pair $(\frak g_r,\frak k_r)$ consisting of $\frak g_r$, a real form of a complex basic Lie superalgebra of classical type $\frak g$ (${\frak g}\neq A(n,n)$), and the maximal compact subalgebra $\frak k_r$ of $\frak g_{r,0}$, together with their geometric global realizations. These representations occur, as in the ordinary setting, in the superspaces of sections of holomorphic super vector bundles on the associated Hermitian superspaces $G_r/K_r$.
We construct explicitly a large family of Gelfand-Tsetlin modules for an arbitrary finite W-algebra of type A and establish their irreducibility. A basis of these modules is formed by the Gelfand-Tsetlin tableaux whose entries satisfy certain admissible sets of relations. Characterization and an effective method of constructing such admissible relations are given. In the case of the Yangian of gl_n we prove the sufficient condition for the irreducibility of the tensor product of two highest weight relation modules and establish irreducibility of any number of highest weight relation modules wi…
Let $Λ$ be a dominant integral weight of level $k$ for the affine Lie algebra $\mathfrak g$ and let $α$ be a non-negative integral combination of simple roots. We address the question of whether the weight $η=Λ-α$ lies in the set $P(Λ)$ of weights in the irreducible highest-weight module with highest weight $Λ$. We give a non-recursive criterion in terms of the coefficients of $α$ modulo an integral lattice $kM$, where $M$ is the lattice parameterizing the abelian normal subgroup $T$ of the Weyl group. The criterion requires the preliminary computation of a set no larger than the fundamental r…
We show that the Weyl-Kac type character formula holds for the integrable highest weight modules over the quantized enveloping algebra of any symmetrizable Kac-Moody Lie algebra, when the parameter $q$ is not a root of unity.
This is the second of a series of articles devoted to the study of relaxed highest-weight modules over affine vertex algebras and W-algebras. The first studied the simple "rank-$1$" affine vertex superalgebras $L_k(\mathfrak{sl}_2)$ and $L_k(\mathfrak{osp}(1\vert2))$, with the main results including the first complete proofs of certain conjectured character formulae (as well as some entirely new ones). Here, we turn to the question of classifying relaxed highest-weight modules for simple affine vertex algebras of arbitrary rank. The key point is that this can be reduced to the classification o…
We define regular Kac-Moody superalgebras and classify them using integrable modules. We give conditions for irreducible highest weight modules of regular Kac-Moody superalgebras to be integrable. This paper is a major part of the proof for the classification of finite-growth contragredient Lie superalgebras.
We define highest weight categorical actions of sl_2 on highest weight categories and show that basically all known examples of categorical sl_2-actions on highest weight categories (including rational and polynomial representations of general linear groups, parabolic categories O of type $A$, categories O for cyclotomic Rational Cherednik algebras) are highest weight in our sense. Our main result is an explicit combinatorial description of (the labels of) the crystal on the set of simple objects. A new application of this is to determining the supports of simple modules over the cyclotomic Ra…
We describe Borel and parabolic subalgebras of affine Lie superalgebras and study the Verma type modules associated to such subalgebras. We give necessary and sufficient conditions under which these modules are simple.
Relaxed highest-weight modules play a central role in the study of many important vertex operator (super)algebras and their associated (logarithmic) conformal field theories, including the admissible-level affine models. Indeed, their structure and their (super)characters together form the crucial input data for the standard module formalism that describes the modular transformations and Grothendieck fusion rules of such theories. In this article, character formulae are proved for relaxed highest-weight modules over the simple admissible-level affine vertex operator superalgebras associated to…
We shall derive Kazhdan-Lusztig type character formula for the irreducible modules with arbitrary non-critical highest weights over affine Lie algebras from the rational case by using the translation functor, the Enright functor and Jantzen's deformation argument.
In this paper, we present a uniform formula of Lusztig's $ \mathbf{a}$-functions on classical Weyl groups. Then we obtain an efficient algorithm for the Gelfand-Kirillov dimensions of simple highest weight modules of classical Lie algebras, whose highest weight is not necessarily regular or integral. To deal with type $ D $, we prove an interesting property about domino tableaux by introducing an invariant, called the hollow tableau. As an application, the associated varieties of all the simple highest weight Harish-Chandra modules are explicitly determined, including the exceptional cases.
This paper examines the concept of a stratified exact category in the context of number rings and corresponding Galois groups. BGG reciprocity and duality are proven for these categories making them highest weight categories. The strong connections between the structure of the category and ramification in the ring are explored.
A classification of the simple highest weight bounded modules of the queer Lie superalgebras q(n) is obtained. To achieve this classification we introduce a new combinatorial tool - the star action. Our result leads in particular to a classification of all simple weight q(n)-modules.
We prove that for simple complex finite dimensional Lie algebras, affine Kac-Moody Lie algebras, the Virasoro algebra and the Heisenberg-Virasoro algebra, simple highest weight modules are characterized by the property that all positive root elements act on these modules locally nilpotently. We also show that this is not the case for higher rank Virasoro and for Heisenberg algebras.
In [19], Zheng studied the bounded derived categories of constructible $\bar{\mathbb{Q}}_l$-sheaves on some algebraic stacks consisting of the representations of a enlarged quiver and categorified the integrable highest weight modules of the corresponding quantum group by using these categories. In this paper, we shall generalize Zheng's work to highest weight modules of a subalgebra of the double Ringel-Hall algebra associated to a quiver in a functional version.
In 2006, Gao and Zeng \cite{GZ} gave the free field realizations of highest weight modules over a class of extended affine Lie algebras. In the present paper, applying the technique of localization to those free field realizations, we construct a class of new weight modules over the extended affine Lie algebras. We give necessary and sufficient conditions for these modules to be irreducible. In this way, we construct free field realizations for a class of simple weight modules with infinite weight multiplicities over the extended affine Lie algebras.
We provide several equivalent descriptions of a highest weight category using recollements of abelian categories. Also, we explain the connection between sequences of standard and exceptional objects.
We give a general way of representing the crystal (base) corresponding to the intgrable highest weight modules of quantum Kac-Moody algebras, which is called polyhedral realizations. This is applied to describe explicitly the crystal bases of integrable highest weight modules for arbitrary rank 2 Kac-Moody algebra cases, the classical A_n-case and the affine A^{(1)}_{n-1}-case.
In this paper, we prove Khovanov-Lauda's cyclotomic categorification conjecture for all symmetrizable Kac-Moody algebras. Let $U_q(g)$ be the quantum group associated with a symmetrizable Cartan datum and let $V(Λ)$ be the irreducible highest weight $U_q(g)$-module with a dominant integral highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ gives a categorification of $V(Λ)$.
Let $\mathfrak{g}$ be a finite or an affine type Lie algebra over $\mathbb{C}$ with root system $Δ$. We show a parabolic generalization of the partial sum property for $Δ$, which we term the parabolic partial sum property. It allows any root $β$ involving (any) fixed subset $S$ of simple roots, to be written as an ordered sum of roots, each involving exactly one simple root from $S$, with each partial sum also being a root. We show three applications of this property to weights of highest weight $\mathfrak{g}$-modules: (1)~We provide a minimal description for the weights of all non-integrable …
This paper continues the study of highest weight categorical sl_2-actions started in part I. We start by refining the definition given there and showing that all examples considered in part I are also highest weight categorifications in the refined sense. Then we prove that any highest weight sl_2-categorification can be filtered in such a way that the successive quotients are so called basic highest weight sl_2-categorifications. For a basic highest weight categorification we determine minimal projective resolutions of standard objects. We use this, in particular, to examine the structure of …
In this paper we study certain fundamental and distinguished subsets of weights of an arbitrary highest weight module over a complex semisimple Lie algebra. These sets ${\rm wt}_J \mathbb{V}^λ$ are defined for each highest weight module $\mathbb{V}^λ$ and each subset $J$ of simple roots; we term them "standard parabolic subsets of weights". It is shown that for any highest weight module, the sets of simple roots whose corresponding standard parabolic subsets of weights are equal form intervals in the poset of subsets of the set of simple roots under containment. Moreover, we provide closed-for…
We give a criterion for the annihilator in U$(\frak{sl}(\infty))$ of a simple highest weight $\frak{sl}(\infty)$-module to be nonzero. As a consequence we show that, in contrast with the case of $\frak{sl}(n)$, the annihilator in U$(\frak{sl}(\infty))$ of any simple highest weight $\frak{sl}(\infty)$-module is integrable, i.e., coincides with the annihilator of an integrable $\frak{sl}(\infty)$-module. Furthermore, we define the class of ideal Borel subalgebras of $\frak{sl}(\infty)$, and prove that any prime integrable ideal in U$(\frak{sl}(\infty))$ is the annihilator of a simple $\frak b^0$…
A highest weight theory for a finite W-algebra U(g,e) was developed in [BGK]. This leads to a strategy for classifying the irreducible finite dimensional U(g,e)-modules. The highest weight theory depends on the choice of a parabolic subalgebra of g leading to different parameterizations of the finite dimensional irreducible U(g,e)-modules. We explain how to construct an isomorphism preserving bijection between the parameterizing sets for different choices of parabolic subalgebra when g is of type A, or when g is of types C or D and e is an even multiplicity nilpotent element
