This is the author's diploma thesis. In the first part of the thesis the algebra structure on the Ext-spaces Ext^k(M(x), M(y)) of Verma modules M(x) and M(y) in the parabolic category O for the case of the parabolic subalgebras gl(n) x gl(m) for n=1 and n=2 is computed and expressed in terms of quivers. For arbitrary n, more general results about Hom-spaces of projective modules are achieved. The second part of the thesis deals with A-infinity structures on the algebras described above. An explicit construction for a minimal model is given and all higher multiplications are determined in the cases n=1 and n=2. In the first case the algebra turns out to be formal. The main result of the thesis is presented in the general vanishing theorem. It says that for arbitrary n we get a minimal model with vanishing m_k for k > n^2+1. The tools used for this proof are developed throughout the entire thesis.
We consider a general parabolic category $\mathcal{O}_{S}$ over symmetrizable Kac-Moody algebras. We introduce a reduction rule of hom-spaces between parabolic Verma modules over different Kac-Moody algebras which yield some applications on parabolic Verma module homomorphisms.
We give a complete combinatorial classification of those parabolic Verma modules in the principal block of the parabolic category $\mathcal{O}$ associated to a minimal or a maximal parabolic subalgebra of the special linear Lie algebra for which the answer to Kostant's problem is positive.
We prove a determinant formula for a parabolic Verma module of a Lie superalgebra, previously conjectured by the second author. Our determinant formula generalizes the previous results of Jantzen for a parabolic Verma module of a (non-super) Lie algebra, and of Kac concerning a (non-parabolic) Verma module for a Lie superalgebra. The resulting formula is expected to have a variety of applications in the study of higher-dimensional supersymmetric conformal field theories. We also discuss irreducibility criteria for the Verma module.
We shall give a uniform expression and a uniform calculation for the b-functions of prehomogeneous vector spaces of commutative parabolic type, which were previously calculated by case-by-case analysis. Our method is a generalization of Kashiwara's approach using the universal Verma modules. We shall also give a new proof for the criterion of the irreducibility of the generalized Verma module in terms of b-functions due to Suga, Gyoja, Wachi.
Let $g$ be a finite-dimensional simple Lie algebra over the complex number field. We classify the homomorphisms between $g$-modules induced from one-dimensional modules of maximal parabolic subalgebras.
Assuming the Lusztig conjecture on the irreducible characters for reductive algebraic groups in positive characteristic $p$, which is now a theorem for large $p$, we show that the modules for their Frobenius kernels induced from the simple modules of $p$-regular highest weights for their parabolic subgroups are rigid and determine their Loewy series.
In the present paper we continue the project of systematic classification and construction of invariant differential operators for non-compact semisimple Lie groups. This time we make the stress on one of the main building blocks, namely the Verma modules and the corresponding parabolic subalgebras. In particular, we start the study of the relation between the parabolic subalgebras of real semisimple Lie algebras and of their complexification. Two cases are given in more detail: the conformal algebra of 4D Minkowski space-time and the minimal parabolics of classical real semisimple Lie algebra…
In this paper we give a sum formula for the radical filtration of generalized Verma modules in any (possibly singular) blocks of parabolic BGG category which can be viewed as a generalization of Jantzen sum formula for Verma modules in the usual BGG category $\mathcal{O}$. Combined with Jantzen coefficients, we determine the radical filtrations for all basic generalized Verma modules. The proof makes use of the graded version of parabolic BGG category. Explicit formulae for the graded decomposition numbers and inverse graded decomposition numbers of generalized Verma modules in any (possibly s…
We give branching formulas from $so(7,\mathbb{C})$ to $\mathfrak{g}_2$ for generalized Verma modules attached to $\mathfrak{g}_2$-compatible parabolic subalgebras of $so(7,\mathbb{C})$, and branching formulas from $\mathfrak{g}_2$ to $sl(3,\mathbb{C})$ for generalized Verma modules attached to $sl(3,\mathbb{C})$-compatible parabolic subalgebras of $\mathfrak{g}_2$ respectively, under some assumptions on the parameters of generalized Verma modules.
We study the Ext-algebra of the direct sum of all parabolic Verma modules in the principal block of the Bernstein-Gelfand-Gelfand category O for the hermitian symmetric pair $(\mathfrak{gl}_{n+m}, \mathfrak{gl}_{n} \oplus \mathfrak{gl}_m)$ and present the corresponding quiver with relations for the cases n=1, 2. The Kazhdan-Lusztig combinatorics is used to deduce a general vanishing result for the higher multiplications in the A infinity-structure of a minimal model. An explicit example of the higher multiplications with non-vanishing $m_3$ is included.
We develop a general technique of constructing new irreducible weight modules for any affine Kac-Moody algebra using the parabolic induction, in the case when the Levi factor of a parabolic subalgebra is infinite-dimensional and the central charge is nonzero. Our approach uniforms and generalizes all previously known results with imposed restrictions on inducing modules. We also define generalized Imaginary Wakimoto modules which provide an explicit realization for generic generalized Imaginary Verma modules.
We construct a categorification of parabolic Verma modules for symmetrizable Kac-Moody algebras using KLR-like diagrammatic algebras. We show that our construction arises naturally from a dg-enhancement of the cyclotomic quotients of the KLR-algebras. As a consequence, we are able to recover the usual categorification of integrable modules. We also introduce a notion of dg-2-representation for quantum Kac--Moody algebras, and in particular of parabolic 2-Verma module.
Let $G$ be a connected, reductive algebraic group over an algebraically closed field $k$ of prime characteristic $p$ and $\mathfrak{g}=Lie(G)$. In this paper, we study representations of $\mathfrak{g}$ with a $p$-character $χ$ of standard Levi form. When $\mathfrak{g}$ is of type $A_n, B_n, C_n$ or $D_n$, a sufficient condition for the irreducibility of standard parabolic baby Verma $\mathfrak{g}$-modules is obtained. This partially answers a question raised by Friedlander and Parshall in [Friedlander E. M. and Parshall B. J., Deformations of Lie algebra representations, Amer. J. Math. 112 (19…
A parabolic subalgebra $\mathfrak{p}$ of a complex semisimple Lie algebra $\mathfrak{g}$ is called a parabolic subalgebra of abelian type if its nilpotent radical is abelian. In this paper, we provide a complete characterization of the parameters for scalar generalized Verma modules attached to parabolic subalgebras of abelian type such that the modules are reducible. The proofs use Jantzen's simplicity criterion, as well as the Enright-Howe-Wallach classification of unitary highest weight modules.
We initiate a new study of differential operators with symmetries and combine this with the study of branching laws for Verma modules of reductive Lie algebras. By the criterion for discretely decomposable and multiplicity-free restrictions of generalized Verma modules [T. Kobayashi, http://dx.doi.org/10.1007/s00031-012-9180-y {Transf. Groups (2012)}], we are brought to natural settings of parabolic geometries for which there exist unique equivariant differential operators to submanifolds. Then we apply a new method (F-method) relying on the Fourier transform to find singular vectors in genera…
We study the homomorphisms between scalar generalized Verma modules. We conjecture that any homomorphism between is composition of elementary homomorphisms. The purpose of this article is to show the conjecture is affirmative for many parabolic subalgebras under the assumption that the infinitesimal characters are regular.
Let $\mathfrak{g}$ be a classial Lie algebra and $\mathfrak{p}$ be a maximal parabolic subalgebra. Let $M$ be a generalized Verma module induced from a one dimensional representation of $\mathfrak{p}$. Such $M$ is called a scalar type generalized Verma module. Its simple quotient $L$ is a highest weight moudle. In this paper, we will determine the reducibility of such scalar type generalized Verma modules by computing the Gelfand-Kirillov dimension of $L$.
It is shown by Barchini, Kable, and Zierau that conformally invariant systems of differential operators yield explicit homomorphisms between certain generalized Verma modules. In this paper we determine whether or not the homomorphisms arising from such systems of first and second order differential operators associated to maximal parabolic subalgebras of quasi-Heisenberg type are standard.
We explain how Queffelec-Sartori's construction of the HOMFLY-PT link polynomial can be interpreted in terms of parabolic Verma modules for $\mathfrak{gl}_{2n}$. Lifting the construction to the world of categorification, we use parabolic 2-Verma modules to give a higher representation theory construction of Khovanov-Rozansky's triply graded link homology.
In this paper we study the scalar generalized Verma module $M$ associated to a character of a parabolic subgroup of $\operatorname{SL}(E)$. Here $E$ is a finite dimensional vector space over an algebraically closed field $K$ of characteristic zero. The Verma module $M$ has a canonical simple quotient $L$ with a canonical filtration $F$. In the case when the quotient $L$ is finite dimensional we use left annihilator ideals in $U(\mathfrak{sl}(E))$ and geometric results on jet bundles to generalize to an algebraically closed field of characteristic zero a classical formula of W. Smoke on the str…
In the present article, we combine some techniques in the harmonic analysis together with the geometric approach given by modules over sheaves of rings of twisted differential operators ($\mathcal{D}$-modules), and reformulate the composition series and branching problems for objects in the Bernstein-Gelfand-Gelfand parabolic category $\mathcal{O}^\mathfrak{p}$ geometrically realized on certain orbits in the generalized flag manifolds. The general framework is then applied to the scalar generalized Verma modules supported on the closed Schubert cell of the generalized flag manifold $G/P$ for $…
Let K be a locally compact nonarchimedean field, g a split reductive Lie algebra over K and U(g) its universal enveloping algebra. We study the category C_g of coadmissible modules over the nonarchimedean Arens-Michael envelope of U(g). Let p be a parabolic subalgebra of g. The main result identifies a certain explicitly given highest weight category inside C_g with the classical parabolic BGG category of g relative to p. This paper is in final form, replaces and expands the former preprint 'BGG reciprocity for p-adic Arens-Michael envelopes of semisimple Lie algebras' and appears in Journal o…
The main purpose of the paper is to establish new tools in the study of $\mathcal{O}^\mathfrak{p}$. We introduce the Jantzen coefficients of generalized Verma modules. It comes from the Jantzen's simplicity criteria for generalized Verma modules and has a deep relation with the structure of $\mathcal{O}^\mathfrak{p}$. We develop a reduction process to compute those coefficients. For which we need to consider generalized Verma modules induced from maximal parabolic subalgebras having maximal nontrivial singularity, so called basic generalized Verma modules. The classification of such modules is…
We initiate a new line of investigation on branching problems for generalized Verma modules with respect to complex reductive symmetric pairs (g,k). Here we note that Verma modules of g may not contain any simple module when restricted to a reductive subalgebra k in general. In this article, using the geometry of K_C orbits on the generalized flag variety G_C/P_C, we give a necessary and sufficient condition on the triple (g,k, p) such that the restriction X|_k always contains simple k-modules for any g-module $X$ lying in the parabolic BGG category O^p attached to a parabolic subalgebra p of …
We prove that the Robinson-Schensted-Knuth correspondence is a $\gl_{\infty}$-crystal isomorphism between two realizations of the crystal graph of a generalized Verma module with respect to a maximal parabolic subalgebra of $\gl_{\infty}$. %This extends the previously known result that %the RSK correspondence is an isomorphism of bicrystals or double %crystals. A flagged version of the RSK correspondence is derived in a natural way by computing a Demazure crystal graph of a generalized Verma module. As an application, we discuss a relation between a Demazure crystal and plane partitions with a…
The branching problem for a couple of non-compatible Lie algebras and their parabolic subalgebras applied to generalized Verma modules was recently discussed in \cite{ms}. In the present article, we employ the recently developed F-method, \cite{KOSS1}, \cite{KOSS2} to the couple of non-compatible Lie algebras $({\LieGtwo},{so(7)})$, and generalized conformal ${so(7)}$-Verma modules of scalar type. As a result, we classify the $\LieGtwo \cap \gop'$-singular vectors for this class of $so(7)$-modules.
We show that the Jantzen filtration of a Verma module (possibly singular) coincides with its radical filtration. It implies that the Jantzen Conjecture on Verma modules holds for all infinitesimal characters, while the regular case was settled by Beilinson and Bernstein by geometric methods and reproved by Williamson by an algebraic approach. The coincidence between Jantzen filtration and radical filtration is also generalized to the case of parabolic Verma modules by Shan's results.
We discuss the branching problem for generalized Verma modules $M_λ(\mathfrak g, \mathfrak p)$ applied to couples of reductive Lie algebras $\bar{\mathfrak g}\hookrightarrow \mathfrak g$. The analysis is based on projecting character formulas to quantify the branching, and on the action of the center of $U(\bar{\mathfrak g})$ to explicitly construct singular vectors realizing part of the branching. We demonstrate the results on the pair $\mathrm{Lie}G_2\hookrightarrow{so(7)}$ for both strongly and weakly compatible with $i(\mathrm {Lie} G_2)$ parabolic subalgebras and a large class of inducing…
Let G be a semi simple linear algebraic group over a field of characteristic zero and let V be a finite dimensional irreducible G-module with highest weight vector v. Let P in G be the parabolic subgroup fixing v and let g=Lie(G). We get a canonical filtration of V by P-modules U^k(g)v where U^k(g) is the filtration of the universal enveloping algebra U(g). This filtration was in a previous paper studied in the case where P in G=SL(E) is the subgroup fixing an m-dimensional subspace. The aim of this paper is to use higher direct images of G-linearized sheaves, filtrations of generalized Verma …
This paper presents categorifications of (right) cell modules and induced cell modules for Hecke algebras of finite Weyl groups. In type $A$ we show that these categorifications depend only on the isomorphism class of the cell module, not on the cell itself. Our main application is multiplicity formulas for parabolically induced modules over a reductive Lie algebra of type $A$, which finally determines the so-called rough structure of generalized Verma modules. On the way we present several categorification results and give the positive answer to Kostant's problem from \cite{Jo} in many cases.…
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.
Let $g$ be an exceptional Lie superalgebra, and let $p$ be the maximal parabolic subalgebra which contains the distinguished Borel subalgebra and has a purely even Levi subalgebra. For any parabolic Verma module in the parabolic category $O^p$, it is shown that the Jantzen filtration is the unique Loewy filtration, and the decomposition numbers of the layers of the filtration are determined by the coefficients of inverse Kazhdan-Lusztig polynomials. An explicit description of the submodule lattices of the parabolic Verma modules is given, and formulae for characters and dimensions of the finit…
We prove a Schur-Weyl duality between the quantum enveloping algebra of $\mathfrak{gl}_m$ and certain quotient algebras of Ariki-Koike algebras, which we give explicitly. The duality involves several algebraically independent parameters and is realized through the tensor product of a parabolic universal Verma module and a tensor power of the natural representation of $\mathfrak{gl}_m$. We also give a new presentation by generators and relations of the generalized blob algebras of Martin and Woodcock as well as an interpretation in terms of Schur-Weyl duality by showing they occur as a particul…
The Misra-Miwa $v$-deformed Fock space is a representation of the quantized affine algebra of type A. It has a standard basis indexed by partitions and the non-zero matrix entries of the action of the Chevalley generators with respect to this basis are powers of $v$. Partitions also index the polynomial Weyl modules for the quantum group $U_q(gl_N)$ as $N$ tends to infinity. We explain how the powers of $v$ which appear in the Misra-Miwa Fock space also appear naturally in the context of Weyl modules. The main tool we use is the Shapovalov determinant for a universal Verma module
In this paper, we show that the Dirac cohomology $H_{D}(L(λ))$ of a simple highest weight module $L(λ)$ in $\mathcal{O}^\mathfrak{p}$ can be parameterized by a specific set of weights: a subset $\mathcal{W}_I(λ)$ of the orbit of the Weyl group $W$ acting on $λ+ρ$. As an application, we show that any simple module in $\mathcal{O}^\mathfrak{p}$ is determined up to isomorphism by its Dirac cohomology. We describe four parameterizations of $H_D(L(λ))$ when $λ$ is regular. Two of these parameterizations are geometric in terms of a partial ordering on the dual of the Cartan subalgebra and a generali…
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.
For classical Lie superalgebras of type I, we provide necessary and sufficient conditions for a Verma supermodule $Δ(λ)$ to be such that every non-zero homomorphism from another Verma supermodule to $Δ(λ)$ is injective. This is applied to describe the socle of the cokernel of an inclusion of Verma supermodules over the periplectic Lie superalgebras $\mathfrak{pe}(n)$ and, furthermore, to reduce the problem of description of $\mathrm{Ext}^1_{\mathcal O}(L(μ),Δ(λ))$ for $\mathfrak{pe}(n)$ to the similar problem for the Lie algebra $\mathfrak{gl}(n)$. Additionally, we study the projective and inj…
Let g be a complex reductive Lie algebra and U(g) the universal enveloping algebra of g. Associated to a faithful irreducible finite dimensional representation of g, a square matrix F with entries in U(g) naturally arises and if we consider the entries of F are elements in End(M) of a given U(g)-module M, the minimal polynomial of F is defined as the usual one for an associative algebra over the complex field. Suppose M is a generalized Verma module induced from a character of a parabolic subalgebra of g. In this paper a polynomial q(x) with the parameter of the character is constructed, which…
Let $\frak g$ be a finite dimensional complex semi-simple Lie algebra with Weyl group $W$ and simple reflections $S$. For $I\subseteq S$ let $\frak g_I$ be the corresponding semi-simple subalgebra of $\frak g$. Denote by $W_I$ the Weyl group of $\frak g_I$ and let $w_o$ and $w^I_o$ be the longest elements of $W$ and $W_I$, respectively. In this paper we show that the answer to Kostant's problem, i.e. whether the universal enveloping algebra surjects onto the space of all ad-finite linear transformations of a given module, is the same for the simple highest weight $\frak g_I$-module $L_I(x)$ of…
In this paper we study general highest weight modules $\mathbb{V}^λ$ over a complex finite-dimensional semisimple Lie algebra $\mathfrak{g}$. We present three formulas for the set of weights of a large family of modules $\mathbb{V}^λ$, which include but are not restricted to all simple modules and all parabolic Verma modules. These formulas are direct and do not involve cancellations, and were not previously known in the literature. Our results extend the notion of the Weyl polytope to general highest weight $\mathfrak{g}$-modules $\mathbb{V}^λ$. We also show that for all simple modules, the c…
Highest weight categories arising in Lie theory are known to be associated with finite dimensional quasi-hereditary algebras such as Schur algebras or blocks of category $\mathcal O$. An analogue of the PBW theorem will be shown to hold for quasi-hereditary algebras: Up to Morita equivalence each such algebra has an exact Borel subalgebra. The category $\mathcal{F}(Δ)$ of modules with standard (Verma, Weyl, \dots) filtration, which is exact, but rarely abelian, will be shown to be equivalent to the category of representations of a directed box. This box is constructed as a quotient of a dg alg…
We study the characters of simple modules in the parabolic BGG category of the affine Lie algebra in Deligne's category. More specifically, we take the limit of Weyl-Kac formula to compute the character of the irreducible quotient $L(X,k)$ of the parabolic Verma module $M(X,k)$ of level $k$, where $X$ is an indecomposable object of Deligne's category $\underline{\mathrm{Rep}}(GL_t)$, $\underline{\mathrm{Rep}}(O_t)$, or $\underline{\mathrm{Rep}}(Sp_t)$, under conditions that the highest weight of $X$ plus the level gives a fundamental weight, $t$ is transcendental, and the base field $\Bbbk$ ha…
In Lie theory the partial sum property (PSP) says that for a root system in any Kac-Moody algebra, every positive root is an ordered sum of simple roots whose partial sums are all roots. In this paper, we present two generalizations: 1) "Parabolic generalization": if $I$ is a subset of simple roots, every root with positive $I$-height is an ordered sum of roots of $I$-height 1, whose partial sums are all roots. In fact we show this on the Lie algebra level, by showing that every root space is spanned by the Lie words formed from root vectors of $I$-height 1. As an application, we provide a "mi…
We study the following question: given a locally compact group when does its Fourier algebra coincide with the subalgebra of the Fourier-Stieltjes algebra consisting of functions vanishing at infinity? We provide sufficient conditions for this to be the case. As an application, we show that when P is the minimal parabolic subgroup in one of the classical simple Lie groups of real rank one or the exceptional such group, then the Fourier algebra of P coincides with the subalgebra of the Fourier-Stieltjes algebra of P consisting of functions vanishing at infinity. In particular, the regular repre…
In this paper we construct resolutions of finite dimensional irreducible gl(m|n)-modules in terms of generalized Verma modules. The resolutions are determined by the Kostant cohomology groups and extend the strong (Lepowsky-)Bernstein-Gelfand-Gelfand resolutions to the setting of Lie superalgebras. It is known that such resolutions for finite dimensional representations of Lie superalgebras do not exist in general. Thus far they have only been discovered for gl(m|n) in case the parabolic subalgebra has reductive part equal to gl(m)+gl(n) and for tensor modules. In the current paper we prove th…
We construct new families of positive energy representations of affine vertex algebras together with their free field realizations by using localization technique. We introduce the twisting functor T_αon the category of modules over affine Kac--Moody algebra \widehat{g}_κof level κfor any positive root αof g, and the Wakimoto functor from a certain category of g-modules to the category of smooth \widehat{g}_κ-modules. These two functors commute and the image of the Wakimoto functor consists of relaxed Wakimoto \widehat{g}_κ-modules. In particular, applying the twisting functor T_αto the relaxe…
We classify simple Whittaker modules for classical Lie superalgebras in terms of their parabolic decompositions. We establish a type of Miličić-Soergel equivalence of a category of Whittaker modules and a category of Harish-Chandra bimodules. For classical Lie superalgebras of type I, we reduce the problem of composition factors of standard Whittaker modules to that of Verma modules in their BGG categories $\mathcal O$. As a consequence, the composition series of standard Whittaker modules over the general linear Lie superalgebras $\mathfrak{gl}(m|n)$ and the ortho-symplectic Lie superalgebras…
We study category $\mathcal{O}$ for Takiff Lie algebras $\mathfrak{g} \otimes \mathbb{C}[ε]/(ε^2)$ where $\mathfrak{g}$ is the Lie algebra of a reductive algebraic group over $\mathbb{C}$. We decompose this category as a direct sum of certain subcategories and use an analogue of parabolic induction functors and twisting functors for BGG category $\mathcal{O}$ to prove equivalences between these subcategories. We then use these equivalences to compute the composition multiplicities of the simple modules in the Verma modules in terms of composition multiplicities in the BGG category $\mathcal{O}…
Let $\mathfrak{g}$ be a complex semisimple Lie algebra. We give a classification of contravariant forms on the nondegenerate Whittaker $\mathfrak{g}$-modules $Y(χ, η)$ introduced by Kostant. We prove that the set of all contravariant forms on $Y(χ, η)$ forms a vector space whose dimension is given by the cardinality of the Weyl group of $\mathfrak{g}$. We also describe a procedure for parabolically inducing contravariant forms. As a corollary, we deduce the existence of the Shapovalov form on a Verma module, and provide a formula for the dimension of the space of contravariant forms on the deg…
