Fact-checked by Grok 2 weeks ago

Verma module

A Verma module is an infinite-dimensional representation of a semisimple Lie algebra \mathfrak{g} over an algebraically closed field of characteristic zero, constructed as the induced module M(\lambda) = U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda from a one-dimensional representation \mathbb{C}_\lambda of a Borel subalgebra \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n}_+, where \lambda \in \mathfrak{h}^* is the highest weight, \mathfrak{h} is a Cartan subalgebra, and \mathfrak{n}_+ acts trivially on \mathbb{C}_\lambda.^[1] These modules, named after Daya-Nand Verma who introduced them in his 1966 PhD thesis, possess a unique highest weight vector annihilated by \mathfrak{n}_+ and are universal in the sense that every highest weight module with weight \lambda is a quotient of M(\lambda).^[2]^[3] Verma modules play a central role in the representation theory of semisimple Lie algebras, particularly within the abelian category \mathcal{O}, which consists of finitely generated modules that are locally finite over \mathfrak{h} and \mathfrak{n}_+.^[4] They admit a weight space decomposition M(\lambda) = \bigoplus_{\mu} M(\lambda)[\mu] with finite-dimensional weight spaces, where the weights are of the form \lambda - \sum n_i \alpha_i for nonnegative integers n_i and simple positive roots \alpha_i.^[1] The irreducible highest weight modules L(\lambda) are obtained as the unique simple quotients M(\lambda)/\mathrm{rad}(M(\lambda)), and their structure is determined by the embedding theorems and linkage principles involving the Weyl group.^[3] Key results, such as the Bernstein–Gelfand–Gelfand (BGG) theorem, establish that every module in \mathcal{O} has a finite resolution by Verma modules, facilitating the computation of characters via the Weyl character formula and the study of extension groups.^[4] Verma modules also extend to more general settings, including affine Lie algebras, quantum groups, and superalgebras, where they underpin constructions in conformal field theory, integrable systems, and geometric representation theory on flag varieties.^[1]

Introduction and Background

Motivation in representation theory

In the representation theory of semisimple Lie algebras over the complex numbers, a central challenge is the classification of irreducible modules, particularly those admitting a highest weight vector with respect to a chosen Cartan subalgebra and Borel subalgebra. Semisimple Lie algebras decompose into a direct sum of simple ideals, each equipped with a root system relative to a Cartan subalgebra, while Borel subalgebras consist of the Cartan plus a choice of positive root spaces, providing a triangular decomposition that facilitates the study of weight spaces and filtrations.^[1] The construction of Verma modules emerged in the late 1960s as a key tool to address this classification, motivated by the need to understand induced representations from Borel subalgebras. Daya-Nand Verma introduced these modules in his 1966 PhD thesis, analyzing their structure as quotients of the universal enveloping algebra to reveal submodules and irreducible quotients, building on earlier work by Harish-Chandra on infinitesimal characters, with key results published in his 1968 paper. Concurrently, Jacques Dixmier's investigations into enveloping algebras emphasized their role in representation theory, with Dixmier and Bertram Kostant popularizing the term "Verma modules" for these universal cyclic modules generated by highest weight vectors.^[5]^[5]^[2] Verma modules serve as universal objects among highest weight modules: for a given weight λ in the dual of the Cartan subalgebra, the Verma module with highest weight λ contains every other highest weight λ-module as a quotient, providing a canonical framework to embed and classify representations. This universality underpins the highest weight theorem, which asserts that when λ is a dominant integral weight, the Verma module possesses a unique maximal submodule, yielding a finite-dimensional irreducible quotient that exhaustively parametrizes all finite-dimensional irreducibles of the semisimple Lie algebra.^[1]^[1] Thus, Verma modules bridge infinite-dimensional constructions to the finite-dimensional representations central to applications in geometry and physics.^[1]

Highest weight modules

In the representation theory of complex semisimple Lie algebras, highest weight modules provide a key framework for classifying infinite-dimensional representations, extending the structure of finite-dimensional ones through a distinguished "highest" weight.^[6] Let \mathfrak{g} be a complex semisimple Lie algebra with Cartan subalgebra \mathfrak{h}, root system \Delta \subset \mathfrak{h}^*, and a choice of positive roots \Delta^+. The nilpotent subalgebra \mathfrak{n} = \bigoplus_{\alpha \in \Delta^+} \mathfrak{g}_\alpha consists of the root spaces for positive roots, satisfying [\mathfrak{h}, \mathfrak{n}] \subset \mathfrak{n}. A \mathfrak{g}-module V admits a weight space decomposition V = \bigoplus_{\lambda \in \mathfrak{h}^*} V_\lambda if every vector is a weight vector, where

V_\lambda = \{ v \in V \mid h \cdot v = \lambda(h) v \ \forall \, h \in \mathfrak{h} \},

and each V_\lambda is finite-dimensional; such modules are called weight modules.^[7] A nonzero vector v \in V_\lambda is called a highest weight vector of weight \lambda \in \mathfrak{h}^* if \mathfrak{n} \cdot v = 0. A highest weight module with highest weight \lambda is then a weight module generated as a U(\mathfrak{g})-module by a single highest weight vector v, meaning V = U(\mathfrak{g}) v, where U(\mathfrak{g}) denotes the universal enveloping algebra of \mathfrak{g}.^[8] Highest weight modules exhibit a structured weight lattice: all weights \mu of V satisfy \mu \leq \lambda in the partial order on \mathfrak{h}^* given by \mu \leq \lambda if \lambda - \mu \in \sum_{\alpha \in \Delta^+} \mathbb{Z}_{\geq 0} \alpha. The highest weight space V_\lambda is one-dimensional, spanned by v up to scalar multiple, and the action of \mathfrak{g} shifts weights by roots, ensuring that V is spanned by elements obtained by applying elements of U(\mathfrak{n}^-) v, where \mathfrak{n}^- = \bigoplus_{\alpha \in -\Delta^+} \mathfrak{g}_\alpha. These modules are finitely generated over U(\mathfrak{n}), though the annihilation \mathfrak{n} v = 0 implies they are quotients of larger universal objects in the category of modules with weights bounded above by \lambda.^[6]^[9] While highest weight modules encompass a broad class of representations, Verma modules stand out as the specific induced highest weight modules that are universal with respect to any given highest weight \lambda, serving as the starting point for further quotients and classifications in category \mathcal{O}.^[9]

Construction

Informal construction

To construct a Verma module intuitively, begin with a semisimple Lie algebra \mathfrak{g} over \mathbb{C} equipped with a Cartan subalgebra \mathfrak{h} and a Borel subalgebra \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n}, where \mathfrak{n} is the nilpotent radical consisting of the root spaces for positive roots. Consider a one-dimensional representation \mathbb{C}_\lambda of \mathfrak{b}, parameterized by a linear functional \lambda \in \mathfrak{h}^*, in which \mathfrak{h} acts via the character \lambda (i.e., h \cdot v = \lambda(h) v for h \in \mathfrak{h} and v \in \mathbb{C}_\lambda) and \mathfrak{n} acts trivially (i.e., \mathfrak{n} \cdot v = 0).^[4]^[1] The Verma module M(\lambda) is then formed by inducing this representation to the full Lie algebra \mathfrak{g}, yielding the module M(\lambda) = U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda, where U(\cdot) denotes the universal enveloping algebra. This construction embeds \mathbb{C}_\lambda as a highest weight subspace, with the highest weight vector $1 \otimes v (for a basis vector v of \mathbb{C}_\lambda) annihilated by \mathfrak{b}. Intuitively, M(\lambda) is generated by freely applying elements of U(\mathfrak{g}) to this vector, but the induction process ensures compatibility with the \mathfrak{b}-action. By the Poincaré–Birkhoff–Witt theorem, a basis for M(\lambda) consists of elements of the form X \otimes 1, where X ranges over a Poincaré–Birkhoff–Witt basis for U(\mathfrak{n}^-), the enveloping algebra of the nilpotent radical \mathfrak{n}^- of the opposite Borel subalgebra (spanned by negative root spaces). This basis reflects how lowering operators from \mathfrak{n}^- act to produce vectors of successively lower weights.^[4]^[1] The resulting module M(\lambda) is infinite-dimensional, as U(\mathfrak{n}^-) is generated by a finite set of basis elements without relations imposing finiteness, allowing arbitrarily long products. Finite-dimensional quotients exist only when \lambda is an integral dominant weight, in which case the Verma module admits a maximal proper submodule that can be quotiented to yield a finite-dimensional irreducible representation; otherwise, all quotients remain infinite-dimensional. Verma modules thus exemplify the broader class of highest-weight modules in the BGG category \mathcal{O}.^[4]^[1]

The sl(2, ℂ) case

The Lie algebra \mathfrak{sl}(2, \mathbb{C}) serves as the prototypical example for understanding Verma modules, revealing their explicit structure and conditions for irreducibility in a low-dimensional setting. This algebra consists of $2 \times 2 trace-zero complex matrices and admits a standard basis given by the elements

h = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix}, \quad x = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}, \quad y = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix},

which satisfy the commutation relations [h, x] = 2x, [h, y] = -2y, and [x, y] = h. For a weight \lambda \in \mathbb{C}, the Verma module M(\lambda) is the \mathfrak{sl}(2, \mathbb{C})-module freely generated by a highest weight vector v satisfying h v = \lambda v and x v = 0, with the action extended via the universal enveloping algebra. A basis for M(\lambda) is given by the set \{ y^k v \mid k \geq 0 \}, where the elements y^k v span the module as a vector space. The action of the basis elements on these basis vectors is determined by the relations:

h (y^k v) = (\lambda - 2k) y^k v, \quad y (y^k v) = y^{k+1} v, \quad x (y^k v) = k (\lambda - k + 1) y^{k-1} v

for k \geq 1, with the understanding that x (y^0 v) = 0. These formulas follow directly from the Lie algebra relations and the defining properties of v. The module M(\lambda) is irreducible if and only if \lambda \notin \mathbb{N}_0, where \mathbb{N}_0 = \{0, 1, 2, \dots \} denotes the non-negative integers; in this case, there are no proper nonzero submodules. When \lambda \in \mathbb{N}_0, M(\lambda) is reducible, possessing a unique maximal proper submodule generated by the singular vector y^{\lambda + 1} v at level \lambda + 1. This vector is annihilated by x, since

x (y^{\lambda + 1} v) = (\lambda + 1)(\lambda - (\lambda + 1) + 1) y^\lambda v = (\lambda + 1) \cdot 0 \cdot y^\lambda v = 0,

and generates a highest weight submodule isomorphic to M(-\lambda - 2). The irreducible quotient M(\lambda) / \langle y^{\lambda + 1} v \rangle is then the finite-dimensional simple module of highest weight \lambda.

Formal Definitions

Quotient of the enveloping algebra

The Verma module M(\lambda) with highest weight \lambda \in \mathfrak{h}^* is defined as the quotient of the universal enveloping algebra U(\mathfrak{g}) of a semisimple Lie algebra \mathfrak{g} by the left ideal I(\lambda), so M(\lambda) = U(\mathfrak{g}) / I(\lambda). Here, I(\lambda) consists of all elements in U(\mathfrak{g}) that act as zero on the one-dimensional \mathfrak{b}-module \mathbb{C}_\lambda, where \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n} is a Borel subalgebra with Cartan subalgebra \mathfrak{h} and nilpotent radical \mathfrak{n}. Explicitly, I(\lambda) is the left ideal generated by the elements h - \lambda(h) for all h \in \mathfrak{h} and the elements X for all X \in \mathfrak{n}. The coset of the unit element $1 \in U(\mathfrak{g}), denoted v_\lambda, generates M(\lambda) as a U(\mathfrak{g})-module and satisfies h \cdot v_\lambda = \lambda(h) v_\lambda for h \in \mathfrak{h} and X \cdot v_\lambda = 0 for X \in \mathfrak{n}, making v_\lambda a highest weight vector of weight \lambda. By the Poincaré–Birkhoff–Witt theorem applied to the decomposition U(\mathfrak{g}) = U(\mathfrak{n}^-) U(\mathfrak{h}) U(\mathfrak{n}) as vector spaces, where \mathfrak{n}^- is the nilpotent radical of the opposite Borel subalgebra, a basis for M(\lambda) is given by

\{ F_\alpha^{k_\alpha} v_\lambda \mid \alpha \in \Delta^-, \, k_\alpha \geq 0 \},

with \{ F_\alpha \mid \alpha \in \Delta^- \} a basis of root vectors for the negative roots \Delta^-. This basis reflects the fact that elements of U(\mathfrak{n}^-) act freely on v_\lambda, while the relations imposed by I(\lambda) annihilate higher terms involving \mathfrak{n}. Thus, M(\lambda) is the universal cyclic U(\mathfrak{g})-module generated by a highest weight vector of weight \lambda annihilated by \mathfrak{n}. Every highest weight module with highest weight \lambda is a quotient of M(\lambda).^[3] This quotient construction yields the same module as the representation induced from \mathbb{C}_\lambda to \mathfrak{g}, up to isomorphism.

Induced representation

The Verma module M(\lambda) with highest weight \lambda \in \mathfrak{h}^* of a semisimple Lie algebra \mathfrak{g} over an algebraically closed field of characteristic zero can be realized as an induced module from a one-dimensional representation of the Borel subalgebra \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n}. Let \mathbb{C}_\lambda denote the one-dimensional \mathfrak{b}-module where the Cartan subalgebra \mathfrak{h} acts via the linear functional \lambda \in \mathfrak{h}^* (i.e., h \cdot z = \lambda(h) z for h \in \mathfrak{h}, z \in \mathbb{C}_\lambda) and the nilradical \mathfrak{n} acts trivially (i.e., n \cdot z = 0 for n \in \mathfrak{n}). The Verma module is then defined as

M(\lambda) = U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda,

where U(\mathfrak{g}) and U(\mathfrak{b}) are the universal enveloping algebras of \mathfrak{g} and \mathfrak{b}, respectively.^[1] The element $1 \otimes 1 serves as the canonical highest weight vector in M(\lambda), annihilated by \mathfrak{n} and of weight \lambda. This induced module structure endows M(\lambda) with a U(\mathfrak{g})-module action via left multiplication on the first factor, making it a highest weight module generated by this vector. This induced construction is isomorphic to the quotient of U(\mathfrak{g}) by the left ideal I(\lambda) generated by elements of the form x - \lambda(x) for x \in \mathfrak{h} and y for y \in \mathfrak{n}. The isomorphism arises from the surjective homomorphism U(\mathfrak{g}) \to M(\lambda) sending u \mapsto u \otimes 1, whose kernel is precisely I(\lambda). Verma modules are always infinite-dimensional as U(\mathfrak{g})-modules. However, unless \lambda is dominant integral, M(\lambda) admits no nontrivial finite-dimensional quotients, reflecting the absence of finite-dimensional irreducible representations in those cases.

Internal Structure

Weight decomposition

The Verma module M(\lambda) admits a direct sum decomposition into weight spaces under the action of the Cartan subalgebra \mathfrak{h}:

M(\lambda) = \bigoplus_{\mu \in \lambda - \mathbb{Q}^+} M(\lambda)_\mu,

where \mathbb{Q}^+ is the semigroup generated by the positive roots (the positive part of the root lattice).^[8] The weights \mu that appear are precisely those of the form \mu = \lambda - \sum k_\alpha \alpha, where the sum is over the simple positive roots \alpha and the coefficients k_\alpha are non-negative integers. The dimension of each such weight space M(\lambda)_\mu equals the Kostant partition function P(\lambda - \mu), which counts the number of ways to write \lambda - \mu as a sum of positive roots with non-negative integer multiplicities (unordered). In general, this dimension is finite but greater than 1 for most weights in semisimple Lie algebras of rank greater than 1.^[1] This structure arises from the Poincaré–Birkhoff–Witt (PBW) theorem applied to the universal enveloping algebra U(\mathfrak{n}^-), where \mathfrak{n}^- is the nilpotent subalgebra spanned by the negative root vectors. The theorem guarantees a basis for M(\lambda) consisting of ordered monomials in the negative root vectors f_\beta (for \beta \in \Delta^-) applied to the highest weight vector v_\lambda, ordered according to a total order on the negative roots (e.g., decreasing height). The multiplicity in each weight space reflects the number of such ordered monomials yielding the same weight shift.^[10] As a consequence, Verma modules are weight modules with this graded structure for their \mathfrak{h}-eigenspaces.^[8]

Generators and relations

The Verma module M(\lambda) for a semisimple Lie algebra \mathfrak{g} over \mathbb{C} with respect to a choice of Cartan subalgebra \mathfrak{h} and Borel subalgebra \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n}^+ is generated as a \mathfrak{g}-module by a highest weight vector v_\lambda of weight \lambda \in \mathfrak{h}^*, together with the action of the universal enveloping algebra U(\mathfrak{n}^-) of the opposite nilpotent subalgebra \mathfrak{n}^- consisting of negative root vectors. The generators are thus the elements of U(\mathfrak{n}^-) v_\lambda, and a Poincaré–Birkhoff–Witt (PBW) basis for M(\lambda) is given by the set of all ordered monomials f_{\beta_1} f_{\beta_2} \cdots f_{\beta_m} v_\lambda, where \beta_1 \geq \beta_2 \geq \cdots \geq \beta_m are negative roots ordered by a fixed total order on \Delta^-, f_\beta are the corresponding root vectors, and m \geq 0 (with the empty product being v_\lambda). The relations defining the module arise from the Lie algebra structure imposed on the action of \mathfrak{g} on v_\lambda. Specifically, for all h \in \mathfrak{h}, the relation h \cdot v_\lambda = \lambda(h) v_\lambda holds, while for positive root vectors e_\alpha (\alpha \in \Delta^+), e_\alpha \cdot v_\lambda = 0. These, combined with the Lie bracket relations of \mathfrak{g} embedded in U(\mathfrak{g}), determine the full action. In particular, the basic commutation relations [e_\alpha, f_\beta] = \delta_{\alpha, \beta} h_\alpha for positive roots \alpha, \beta, where f_\beta = e_{-\beta} and h_\alpha \in \mathfrak{h}, lead to derived relations such as e_\alpha f_\alpha \cdot v_\lambda = \lambda(h_\alpha) v_\lambda. More generally, the Serre relations in the presentation of \mathfrak{g}, such as (\mathrm{ad}_{e_\alpha})^{1 - a_{\beta \alpha}} e_\beta = 0 and (\mathrm{ad}_{f_\alpha})^{1 - a_{\beta \alpha}} f_\beta = 0 for simple roots \alpha, \beta with Cartan integers a_{\beta \alpha}, are preserved in U(\mathfrak{g}) and thus impose the algebraic structure on the generators acting on v_\lambda. The action of positive root vectors on powers of negative root vectors is governed by structure constants derived from repeated applications of these commutation relations. For a simple root \alpha, considering the \mathfrak{sl}_2-triple \{e_\alpha, f_\alpha, h_\alpha\}, the explicit relation is

e_\alpha f_\alpha^{k+1} v_\lambda = (k+1) \bigl( \lambda(h_\alpha) - k \bigr) f_\alpha^k v_\lambda

for all k \geq 0, where h_\alpha = [e_\alpha, f_\alpha] and \lambda(h_\alpha) = \langle \lambda, \alpha^\vee \rangle with coroots \alpha^\vee. This formula arises inductively from the \mathfrak{sl}_2-relations [h_\alpha, e_\alpha] = 2 e_\alpha, [h_\alpha, f_\alpha] = -2 f_\alpha, and [e_\alpha, f_\alpha] = h_\alpha. For non-simple roots, similar relations hold via the decomposition into root strings, but all are determined by the Lie algebra structure constants. There are no additional relations among the elements of U(\mathfrak{n}^-) beyond those inherited from the commutation relations in U(\mathfrak{g}); in this sense, M(\lambda) is the "freest" \mathfrak{g}-module generated by v_\lambda subject to the highest weight conditions. This presentation ensures that M(\lambda) is cyclic and indecomposable, with the relations fully capturing the internal algebraic structure imposed by \mathfrak{g}.

Fundamental Properties

Multiplicities and dimensions

Verma modules are infinite-dimensional representations of a semisimple Lie algebra \mathfrak{g} over \mathbb{C}. This follows from their construction as M(\lambda) = U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda, where \mathfrak{b} is a Borel subalgebra and \mathbb{C}_\lambda is the one-dimensional \mathfrak{b}-module of weight \lambda \in \mathfrak{h}^*, or equivalently as the quotient of the universal enveloping algebra U(\mathfrak{g}) by the ideal generated by elements h - \lambda(h) for h \in \mathfrak{h} and the raising operators. The Poincaré–Birkhoff–Witt (PBW) theorem provides a basis for M(\lambda) consisting of elements u \cdot v_\lambda where u ranges over the PBW basis of U(\mathfrak{n}^-), the enveloping algebra of the nilpotent subalgebra \mathfrak{n}^- opposite to the nilradical of \mathfrak{b}, and v_\lambda is the highest weight vector. Since the enveloping algebra U(\mathfrak{n}^-) of the finite-dimensional Lie algebra \mathfrak{n}^- is infinite-dimensional, U(\mathfrak{n}^-) admits infinitely many monomials, yielding a countable infinite basis for M(\lambda). The module is finite-dimensional only in degenerate cases where \mathfrak{n}^- = 0, such as when \mathfrak{g} is abelian or toral.^[8] The Verma module M(\lambda) decomposes as a direct sum of its weight spaces M(\lambda) = \bigoplus_{\mu \in \lambda - \mathbb{N}\Phi^+} M(\lambda)_\mu, where \Phi^+ denotes the positive roots and \mathbb{N} the non-negative integers; each such space is finite-dimensional. The dimension \dim M(\lambda)_\mu = P_K(\lambda - \mu), where P_K is the Kostant partition function counting the number of ways to express \lambda - \mu as \sum_{\beta \in \Phi^+} k_\beta \beta with k_\beta \in \mathbb{N}. This multiplicity arises from the number of distinct monomials in the PBW basis of U(\mathfrak{n}^-) that lower the weight from \lambda to \mu, as different combinations of root vectors can yield the same total weight shift when positive roots are linearly dependent. For the highest weight space, P_K(0) = 1, so \dim M(\lambda)_\lambda = 1. Lower weight spaces generally have multiplicity greater than 1; for instance, in the Verma module for \mathfrak{sl}(3, \mathbb{C}) with dominant highest weight (3,1,0), some weight spaces attain dimensions up to 4 as determined by P_K. In the special case of \mathfrak{sl}(2, \mathbb{C}), where \Phi^+ = \{\alpha\} consists of a single root, all multiplicities are 1, with basis elements f^k v_\lambda for k \in \mathbb{N} occupying distinct weights \lambda - k\alpha. In type A Lie algebras like \mathfrak{sl}(n, \mathbb{C}), the multiplicities relate to multinomial coefficients counting paths in the root lattice, but the general framework is the Kostant function.^[11]^[12] In the irreducible quotient L(\lambda) = M(\lambda)/\mathrm{Rad}(M(\lambda)), where \mathrm{Rad}(M(\lambda)) is the maximal proper submodule, the situation differs markedly for finite-dimensional cases. L(\lambda) is finite-dimensional if and only if \lambda is an integral dominant weight, meaning \lambda \in \Lambda^+ with \langle \lambda, \alpha \rangle \in \mathbb{Z}_{\geq 0} for all simple roots \alpha. In this scenario, the total dimension is provided by the Weyl dimension formula:

\dim L(\lambda) = \prod_{\alpha \in \Phi^+} \frac{\langle \lambda + \rho, \alpha \rangle}{\langle \rho, \alpha \rangle},

where \rho = \frac{1}{2} \sum_{\alpha \in \Phi^+} \alpha is the Weyl vector (half-sum of positive roots), and \langle \cdot, \cdot \rangle is the invariant bilinear form normalized so that short roots have length squared 2. This formula establishes the scale of the representation; for example, for the adjoint representation of \mathfrak{sl}(n, \mathbb{C}), \dim L(\mathrm{adj}) = n^2 - 1. The individual weight multiplicities in L(\lambda) are finite and given by the Kostant multiplicity formula:

\dim L(\lambda)_\mu = \sum_{w \in W} \mathrm{sgn}(w) \, P_K(w(\lambda + \rho) - \rho - \mu),

where W is the Weyl group and \mathrm{sgn}(w) its sign; this alternates the partition function over the Weyl orbit to account for the submodule structure. For non-dominant integral \lambda, L(\lambda) remains infinite-dimensional, inheriting the infinite weight support of M(\lambda) minus the radical.^[13]^[11]

Universal property

The Verma module M(\lambda) for a semisimple Lie algebra \mathfrak{g} over \mathbb{C}, Cartan subalgebra \mathfrak{h}, and weight \lambda \in \mathfrak{h}^* satisfies the universal mapping property among highest weight modules with highest weight \lambda: for any such module V generated by a highest weight vector v (satisfying h \cdot v = \lambda(h) v for all h \in \mathfrak{h} and n_+ \cdot v = 0 for the nilpotent subalgebra \mathfrak{n}_+), there exists a unique \mathfrak{g}-module homomorphism \phi: M(\lambda) \to V such that \phi(u) = u \cdot v for all u in the universal enveloping algebra U(\mathfrak{g}), where the generator $1 \in M(\lambda) maps to v.^[14] This property follows from the construction of M(\lambda) as the induced module U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda, where \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n}_+ is a Borel subalgebra and \mathbb{C}_\lambda is the one-dimensional \mathfrak{b}-module on which \mathfrak{b} acts via \lambda. The universal property of tensor products over algebras ensures that any \mathfrak{b}-homomorphism \mathbb{C}_\lambda \to V (uniquely determined by sending $1 to v, since V is annihilated by \mathfrak{n}_+) extends uniquely to a \mathfrak{g}-homomorphism M(\lambda) \to V; conversely, any \mathfrak{g}-homomorphism factors through this induction by the defining relations on the highest weight vector.^[14] A key consequence is that every highest weight \lambda-module is a quotient of M(\lambda), as the surjective map from M(\lambda) onto the submodule generated by v identifies V with M(\lambda) / K for some submodule K.^[14] Equivalently, M(\lambda) is the free object in the category of highest weight \lambda-modules, generated freely by its highest weight vector without additional relations beyond those imposed by the Lie algebra action.^[14]

Irreducible quotient module

The irreducible quotient of the Verma module M(\lambda) is the simple highest weight module L(\lambda) = M(\lambda) / \mathrm{rad}(M(\lambda)), where \mathrm{rad}(M(\lambda)) denotes the radical, defined as the intersection of the kernels of all surjective homomorphisms from M(\lambda) to irreducible modules. Equivalently, \mathrm{rad}(M(\lambda)) is the unique maximal proper submodule of M(\lambda). By the universal property of Verma modules, this quotient is unique up to isomorphism.^[10] The Verma module M(\lambda) is irreducible (so L(\lambda) = M(\lambda)) if and only if \lambda is antidominant, meaning \lambda(h_\alpha) \notin \mathbb{Z}_{>0} for every simple root \alpha, where h_\alpha is the corresponding coroot. Under this condition, M(\lambda) admits no proper nonzero submodules.^[10]^[15] When \lambda is a dominant integral weight, the irreducible quotient L(\lambda) is finite-dimensional, and its dimension is given by the Weyl dimension formula:

\dim L(\lambda) = \prod_{\alpha > 0} \frac{\langle \lambda + \rho, \alpha^\vee \rangle}{\langle \rho, \alpha^\vee \rangle},

where the product runs over all positive roots \alpha, \rho is the half-sum of the positive roots, and \alpha^\vee is the coroot of \alpha.^[10] Proper submodules of a Verma module M(\lambda) are generated by its singular vectors, which are nonzero elements v \in M(\lambda) of weight \mu \neq \lambda that are annihilated by the Borel subalgebra \mathfrak{b}. The submodule generated by such a v is isomorphic to the Verma module M(\mu).^[10]

Category O

Definition of category O

The BGG category \mathcal{O}, introduced by I. Bernstein, I. M. Gelfand, and S. I. Gelfand in their seminal work on representations of semisimple Lie algebras, is an abelian category that captures a broad class of modules central to the study of highest weight representations.^[16] For a complex semisimple Lie algebra \mathfrak{g} with Cartan subalgebra \mathfrak{h} and fixed Borel subalgebra \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n} (where \mathfrak{n} is the nilradical), \mathcal{O} is defined as the full subcategory of the category of left U(\mathfrak{g})-modules consisting of those modules M that satisfy three key conditions: M is finitely generated over U(\mathfrak{g}); the action of \mathfrak{h} on M is semisimple (diagonalizable), with each weight space M_\lambda = \{ v \in M \mid X \cdot v = \lambda(X) v \ \forall X \in \mathfrak{h} \} finite-dimensional for \lambda \in \mathfrak{h}^*; and M is locally finite over U(\mathfrak{n}), meaning that for every v \in M, the subspace U(\mathfrak{n}) v is finite-dimensional. The morphisms in \mathcal{O} are all \mathfrak{g}-module homomorphisms between such objects.^[16] The category \mathcal{O} possesses a rich structure, being both Artinian and Noetherian, which implies that every module in \mathcal{O} admits a finite composition series (Jordan-Hölder series). Moreover, \mathcal{O} decomposes as a direct sum of blocks \mathcal{O} = \bigoplus_{\chi} \mathcal{O}_\chi, where the direct sum is taken over all irreducible characters \chi: Z(\mathfrak{g}) \to \mathbb{C} of the center Z(\mathfrak{g}) of the universal enveloping algebra, and each \mathcal{O}_\chi is the full subcategory of modules in \mathcal{O} on which Z(\mathfrak{g}) acts via the scalar \chi. These blocks are indecomposable and capture the linkage principle, ensuring that extensions and homomorphisms between modules are confined within the same block.^[16] Verma modules play a foundational role within \mathcal{O}, with each Verma module M(\lambda) (induced from a one-dimensional \mathfrak{b}-module of weight \lambda \in \mathfrak{h}^*) belonging to the block \mathcal{O}_{\chi_\lambda}, where \chi_\lambda denotes the central character determined by \lambda. Specifically, \chi_\lambda = \chi_\mu if and only if \lambda - \mu \in \mathbb{Z} \Phi, the root lattice generated by the root system \Phi of \mathfrak{g}. The simple objects of \mathcal{O} are the irreducible highest weight modules L(\lambda), parametrized by integral weights \lambda \in \mathfrak{h}^* such that \lambda(H_\alpha) \in \mathbb{Z} for every coroot H_\alpha associated to a simple root \alpha.^[16]

Role of Verma modules in category O

Verma modules occupy a pivotal position in the Bernstein–Gelfand–Gelfand (BGG) category \mathcal{O}, which consists of finitely generated modules over the universal enveloping algebra U(\mathfrak{g}) of a semisimple Lie algebra \mathfrak{g} that are \mathfrak{h}-semisimple with finite-dimensional weight spaces, locally finite over the nilradical \mathfrak{n} of the Borel subalgebra \mathfrak{b}, and have weights lying in cosets of the root lattice. In this category, Verma modules M(\lambda) for highest weights \lambda \in \mathfrak{h}^* serve as the standard modules in the highest weight category structure of \mathcal{O}, with the indecomposable projective modules admitting Verma filtrations. Specifically, in a block \mathcal{O}_\chi indexed by a central character \chi, the Verma module M(\lambda) is projective if and only if \lambda is dominant with respect to the linkage class determined by the dotted Weyl group action.^[17] As standard modules in the highest weight category structure of \mathcal{O}, Verma modules \Delta(\lambda) = M(\lambda) admit a composition series whose factors are the irreducible modules L(\mu) for \mu in the linkage class of \lambda, with multiplicities governed by Kazhdan–Lusztig polynomials. Every object in \mathcal{O} possesses a standard filtration, meaning a chain of submodules with successive quotients isomorphic to Verma modules, facilitating the analysis of extensions and the block decomposition of \mathcal{O} into linkage classes parametrized by Weyl group orbits on integral weights. This structure underscores the role of Verma modules in generating the category and resolving representation-theoretic questions.^[17] The dual (or contragredient) Verma modules \nabla(\lambda), obtained via the contravariant duality on \mathcal{O}, function as costandard modules with simple socle L(\lambda) and provide the indecomposable injective objects when \lambda is anti-dominant. In this case, \nabla(\lambda) is the injective hull of L(\lambda). More generally, injective hulls in parabolic subcategories \mathcal{O}_P are realized as dual generalized Verma modules, induced from finite-dimensional representations of parabolic subalgebras containing \mathfrak{b}. These injectives complement the projectivity of Verma modules, enabling duality theorems and complete classifications within blocks.^[18] The irreducible modules L(\lambda) in \mathcal{O} are parametrized by the integral weights \Lambda \subset \mathfrak{h}^*, each appearing uniquely as the head of the Verma module M(\lambda). Verma modules across adjacent linkage classes are interconnected through translation functors, which are exact adjoint functors T_\lambda^\mu: \mathcal{O}_\chi \to \mathcal{O}_{\chi'} defined by tensoring with finite-dimensional modules and projecting onto weight spaces; these preserve projectivity and injectivity while relating characters and extension groups between blocks. Introduced by Bernstein, Gelfand, and Gelfand, translation functors thus link the Verma modules to achieve a comprehensive classification of representations in \mathcal{O}.

Morphomorphisms

Homomorphisms between Verma modules

The space of Lie algebra homomorphisms between two Verma modules, denoted \Hom_{\mathfrak{g}}(M(\lambda), M(\mu)), consists of all \mathfrak{g}-module maps from M(\lambda) to M(\mu). Any such map is uniquely determined by the image of the highest weight vector v_\lambda \in M(\lambda), which must be sent to an \mathfrak{n}-invariant vector (singular vector) of weight \lambda in M(\mu), where \mathfrak{n} is the nilpotent radical of the Borel subalgebra \mathfrak{b}. Thus, \Hom_{\mathfrak{g}}(M(\lambda), M(\mu)) is isomorphic to the space of \mathfrak{n}-invariant vectors of weight \lambda in the weight space M(\mu)_\lambda. A fundamental result establishes that this space has dimension at most 1 for any dominant integral weights \lambda, \mu \in \mathfrak{h}^*. When \lambda = \mu, the dimension is exactly 1. In this case, the highest weight vector v_\lambda in M(\lambda) must map to a scalar multiple of the highest weight vector v_\mu = v_\lambda in M(\mu), as this is the unique (up to scalar) \mathfrak{n}-invariant vector of weight \lambda. By the universal property of Verma modules, there exists a unique \mathfrak{g}-module homomorphism extending this assignment, generating the entire 1-dimensional space. The proof follows from weight preservation: any \mathfrak{g}-map preserves weights, so v_\lambda maps to a weight \lambda vector in M(\mu); \mathfrak{n}-invariance further restricts it to the highest weight line; and universality ensures the map is uniquely determined up to scalar. For \lambda \neq \mu, the dimension is either 0 or 1, with non-zero homomorphisms possible only if \lambda \leq \mu in the standard partial order on weights (i.e., \mu - \lambda lies in the non-negative integer span of the positive roots \mathbb{N} \Phi^+, ensuring the weight \lambda appears in M(\mu)). In such cases, a dimension of 1 occurs precisely when M(\lambda) embeds as a submodule in M(\mu), corresponding to the existence of a unique singular vector of weight \lambda in M(\mu). The bound of dimension at most 1 follows from the structure of Verma modules, where the \mathfrak{n}-invariant subspace at any fixed weight is at most 1-dimensional, as established by detailed analysis of the action of the universal enveloping algebra. This result extends to generalized Verma modules, where the inducing representation on the highest weight space may have dimension greater than 1. In those cases, \Hom_{\mathfrak{g}}([M(\lambda, V)](/page/Representation), [M(\mu, W)](/page/Representation)) can have dimension greater than 1 even when \lambda = \mu, reflecting the higher-dimensional highest weight spaces V and W. Detailed classification of such homomorphisms requires additional structure on the parabolic subalgebra involved.^[19]

Criteria for non-zero homomorphisms

In category O, non-zero homomorphisms between distinct Verma modules M(λ) and M(μ) are rare and governed by the partial order on weights and the block structure. A basic criterion is that Hom(M(λ), M(μ)) ≠ 0 only if λ ≤ μ in the standard partial order on weights (i.e., μ - λ lies in the non-negative integer span of the positive roots \mathbb{N} \Phi^+), ensuring the weight λ appears in M(μ). Additionally, λ and μ must lie in the same block of category O, meaning they are linked by the dot action of the Weyl group. Translation functors between blocks can relate structures across blocks but preserve the overall ordering properties within each block.^[18] The Kazhdan–Lusztig conjecture, originally formulated in the late 1970s and resolved using geometric methods in the 1980s, provides a precise combinatorial tool for determining the dimension of such Hom spaces. Specifically, dim Hom(M(λ), M(μ)) equals the evaluation at q=1 of the Kazhdan–Lusztig polynomial P_{w_0 μ, w_0 λ}(q), where w_0 is the longest element of the Weyl group; since these dimensions are 0 or 1 in the ungraded category, the conjecture implies the existence of a non-zero homomorphism precisely when this value is 1. This resolution not only confirms the conjecture but also links the algebraic structure to the geometry of flag varieties via Beilinson–Bernstein localization. In the principal block of category O, where weights are regular integral, non-zero Homs occur along the chains of the Bernstein–Gelfand–Gelfand (BGG) resolution, where Verma modules appear as terms in the projective resolution of simple modules; thus, Hom(M(λ), M(μ)) ≠ 0 if there is a differential involving M(λ) and M(μ) in the resolution of a simple module. For integral weights more generally, the criteria are determined by the action of parabolic subgroups, where the Hom space is non-zero if λ and μ lie in the same parabolic block and satisfy the partial ordering condition relative to the Levi factor.^[18]

Composition Series

Jordan–Hölder series

In the representation theory of semisimple Lie algebras, Verma modules possess finite-length composition series, referred to as Jordan–Hölder series, due to their membership in the Artinian and Noetherian category O. Specifically, for a Verma module M(\lambda) with highest weight \lambda, there exists a finite chain of submodules

$0 = M_0 \subset M_1 \subset \cdots \subset M_r = M(\lambda),

where each successive quotient M_i / M_{i-1} is isomorphic to a simple highest weight module L(\mu_i) for some \mu_i \in \mathfrak{h}^*. This structure arises because every module in category O, including Verma modules, admits both ascending and descending chains of submodules that stabilize, ensuring finite length. The length r of the Jordan–Hölder series for M(\lambda) is finite, and the number of distinct simple factors is bounded above by the cardinality of the linkage class of \lambda, defined as the set \{ w \cdot \lambda \mid w \in [W](/page/W) \} under the dot action of the Weyl group W, which is finite since W is finite. All highest weights \mu_i of the simple factors lie within this linkage class, reflecting the preservation of the infinitesimal character under the action. By the Jordan–Hölder theorem, the multiset of simple factors \{ L(\mu_i) \} is unique up to isomorphism and reordering, regardless of the chosen composition series. A concrete illustration occurs for the Lie algebra \mathfrak{sl}(2, \mathbb{C}), where the Verma module M(\lambda) has series length 1 if \lambda \notin \mathbb{N}_0, rendering it irreducible and isomorphic to L(\lambda). For \lambda = n \in \mathbb{N}_0, the length is 2, with simple factors L(n) and L(-n-2).

Maximal submodules and simple factors

The maximal submodule of a Verma module M(\lambda) is the unique proper submodule generated by all singular vectors in M(\lambda), where a singular vector is a nonzero element annihilated by the nilpotent radical \mathfrak{n} of the Borel subalgebra. This submodule, often denoted N(\lambda), consists of the sum of all Verma submodules M(\mu) embedded in M(\lambda) for weights \mu < \lambda in the standard partial order on weights induced by the positive roots.^[20] The simple factors in the Jordan–Hölder series of M(\lambda) are the irreducible highest weight modules L(\mu) for certain \mu \leq \lambda, with the multiplicity [M(\lambda) : L(\mu)] given by the evaluation at q=1 of the Kazhdan–Lusztig polynomial P_{\mu\lambda}(q).^[21] These polynomials, defined recursively via the Hecke algebra structure on the Weyl group, determine the precise composition multiplicities and resolve the structure of Verma modules in category \mathcal{O}.^[21] When \lambda is dominant and integral, the composition series of M(\lambda) has L(\lambda) as its unique simple head, with the maximal submodule N(\lambda) lying below and consisting of factors L(\mu) for \mu < \lambda. In this case, the quotient M(\lambda)/N(\lambda) \cong L(\lambda) is finite-dimensional. The multiplicities of weight spaces in M(\lambda) can be computed using the character formula

\ch M(\lambda) = e^\lambda \prod_{\alpha \in \Phi^+} \frac{1}{1 - e^{-\alpha}},

where \Phi^+ is the set of positive roots; the coefficients arise from the Weyl group action on the weight lattice via the denominator formula. However, to identify the specific simple factors L(\mu) and their multiplicities, the Kazhdan–Lusztig polynomials are essential, as the character alone does not distinguish between possible composition series.^[21]

Resolutions

Bernstein–Gelfand–Gelfand resolution

The Bernstein–Gelfand–Gelfand (BGG) resolution is a finite projective resolution of the simple highest weight module L(\lambda) in category O, constructed using direct sums of Verma modules M(\mu) as projective generators. This resolution was originally introduced by Bernstein, Gelfand, and Gelfand for finite-dimensional simple modules, where \lambda is dominant integral, and later extended to arbitrary dominant weights in the context of highest weight representations. The explicit form of the BGG resolution is the complex

$0 \to \bigoplus_{\ell(w) = l(w_0)} M(w \cdot \lambda) \to \cdots \to \bigoplus_{\ell(w) = 1} M(w \cdot \lambda) \to M(\lambda) \to L(\lambda) \to 0,

where W denotes the Weyl group, \ell(w) is the length of w \in W with respect to the set of simple reflections, w_0 is the longest element of W, and the dot action on weights is defined by w \cdot \mu = w(\mu + \rho) - \rho with \rho the half-sum of the positive roots. The terms of the complex are indexed by the Bruhat order on W, with the direct sum in homological degree k taken over all w \in W such that \ell(w) = k; thus, the total number of Verma modules appearing across all terms equals the order of the Weyl group |W|. The differentials d_k: \bigoplus_{\ell(w)=k} M(w \cdot \lambda) \to \bigoplus_{\ell(w')=k-1} M(w' \cdot \lambda) are defined via intertwining operators, which are nonzero \mathfrak{g}-module homomorphisms between Verma modules induced by elements of the universal enveloping algebra. Specifically, for each covering relation w' < w in the Bruhat order (i.e., w = s w' for a simple reflection s with \ell(w) = \ell(w') + 1), the component of d_k from M(w \cdot \lambda) to M(w' \cdot \lambda) is \pm T_{w \to w'}, the signed unique nontrivial intertwiner, with the sign determined by the parity of the number of inversions or a fixed choice in the proof. Explicit formulas for these intertwining operators can be constructed using the Casimir operator acting on tensor products or, in special cases, via Demazure operators adapted to the Lie algebra setting. The complex is exact, establishing that the projective dimension of L(\lambda) in category O is at most l(w_0), the length of the longest Weyl group element, which equals the number of positive roots. Exactness follows from the original geometric construction using differential operators on flag varieties, but a standard algebraic proof in the category O setting employs translation functors, which adjunction with wall-crossing functors yields a Koszul-type complex whose homology vanishes in positive degrees. Alternatively, exactness can be established via Koszul duality between the category of highest weight modules and certain complexes of finite-dimensional modules.

Applications of the resolution

The Bernstein–Gelfand–Gelfand (BGG) resolution enables the computation of characters for simple highest weight modules in category \mathcal{O}. Specifically, for a dominant integral weight \lambda, the character of the simple module L(\lambda) is given by the alternating sum over the Weyl group W:

\ch L(\lambda) = \sum_{w \in W} (-1)^{l(w)} \ch M(w \cdot \lambda),

where M(\mu) denotes the Verma module of highest weight \mu and l(w) is the length of w. This formula arises directly from the projective resolution provided by the BGG complex, as the character is the Euler characteristic in the Grothendieck group. When \lambda is dominant, specializing this expression yields the classical Weyl character formula, expressing \ch L(\lambda) as a ratio of alternating sums over the root lattice.^[22] The resolution also facilitates calculations of extension groups between simple modules. Applying the Hom functor from the BGG resolution of L(\mu) to L(\nu) yields a complex whose cohomology computes \Ext^i_{\mathcal{O}}(L(\mu), L(\nu)). This approach provides vanishing theorems and character formulas for these Ext groups, revealing the structure of block decompositions in category \mathcal{O}. For instance, in principal blocks, such computations underpin Kazhdan–Lusztig conjectures on multiplicities.^[23] Geometrically, the BGG resolution corresponds to the Koszul resolution in the cohomology of the flag variety G/B, where Verma modules arise as direct images under the projection from the cotangent bundle. This links to the Borel–Weil–Bott theorem, which realizes irreducible representations L(\lambda) as cohomology groups H^{l(w)}(\mathcal{O}(w \cdot \lambda)) of line bundles on G/B, with w the unique Weyl group element of minimal length sending \lambda to the dominant chamber. The theorem thus interprets the BGG resolution as a manifestation of sheaf cohomology on flag varieties.^[24] Extensions of the BGG resolution to affine Lie algebras provide analogous projective resolutions for modules in the corresponding category \mathcal{O}, adapting the finite-dimensional construction to infinite Weyl groups. In the quantum setting, q-deformations yield resolutions for modules over quantum enveloping algebras, preserving key homological properties. Recent developments, such as deformed complexes for hybrid quantum groups, explore non-commutative flag varieties and their cohomology.^[25]^[26]^[27]

References

[1]
[PDF] Highest-weight Theory: Verma Modules 1 The sl(2,C) case
Verma modules are universal representations with a given highest-weight, used to construct finite-dimensional representations of Lie algebras. They are ...
[2]
[PDF] D-N. Verma (1933-2012), A Memory - Math in Melbourne
D-N. Verma spent the year 1967-1968 at the Institute of Advanced. Study ... “The role of affine Weyl groups in the representation theory of alge- braic ...
[3]
[PDF] Representation theory of semisimple Lie algebras
May 4, 2020 · Verma modules are universal in the following sense. Lemma. If V is a highest weight representation of highest weight λ, then one has. V.
[4]
[PDF] Verma Modules and the category O.
In this section, all Lie algebras and representations are over an algebraically closed field in characteristic zero, which for notational simplicity we take to ...
[5]
[PDF] Harish-Chandra's homomorphism, Verma modules
The terminology Verma modules was apparently promulgated by Dixmier and Kostant in the 1960's. For exposition with further historical notes, see, for ...
[6]
[PDF] Semisimple Lie Algebras & their Representations
Aug 16, 2023 · Highest Weight Modules & the Highest Weight Theorem. 47. 4.2 Highest Weight Modules & the Highest Weight Theorem. It is already clear from the ...
[7]
[PDF] LIE ALGEBRAS: LECTURE 13 29 June 2010 1. Modules and weight ...
Jun 29, 2010 · A g-module V is called a weight module if V = V. 0 . A g-module V is called a highest weight module with highest weight µ, if there is a µ ∈ h.
[8]
[PDF] Highest Weight Modules and Verma Modules - MIT OpenCourseWare
Let us recall basic results on highest weight modules and Verma modules for a complex semisimple Lie algebra g. Let g = n− ⊕ h ⊕ n+ be a triangular ...
[9]
[PDF] Structure of representations generated by vectors of highest weight
Study of the M x module was be- gun in Verma's work* which obtained a series of deep results on M x modules. The MX modules (for a precise definition, see ...
[10]
Introduction to Lie Algebras and Representation Theory - SpringerLink
In stockThis book is designed to introduce the reader to the theory of semisimple Lie algebras over an algebraically closed field of characteristic 0, with emphasis on ...
[11]
[PDF] Lie Algebras
Apr 23, 2004 · We have shown that every weight µ of. W satisfies. µ ≺ λ. So we make the definition: A cyclic highest weight module for g is a module. (not ...<|control11|><|separator|>
[12]
[PDF] Lecture 5: integrable representations
Here is the Verma module M(λ) for GL(3), showing the weight multiplicities. (These are the values of the Kostant partition function.) 1. 1. 1. 1.
[13]
[PDF] Weyl's Character Formula for Representations of Semisimple Lie ...
Dec 22, 2005 · Weyl's character formula is a useful tool in understanding the structure of irreducible representations of semisimple Lie algebras.
[14]
https://bookstore.ams.org/gsm-94
[15]
[PDF] NOTES FOR MATH 207A Contents 1. Introduction 3 1.1. Basic ...
The main object of study in this course is the “category O” introduced by Bernstein,. Gelfand, and Gelfand in the study of representations of semisimple Lie ...
[16]
[PDF] category - School of Mathematical Sciences
Verma, "Structure of certain induced representations of complex semisimple Lie algebras," Bull. Amer. Math. Soc., 74, 160-166 (1968). L N. Bernshtein, I. M. ...
[17]
[PDF] Category O and its basic properties - Yale Math
This definition can be used to describe a class of irreducible Verma modules. Indeed, observe that if λ is antidominant ∆(λ) is irreducible since the only ...
[18]
[PDF] CATEGORIES O Contents 1. Definition, Verma and simple modules ...
The big purpose of the entire course is to study the category of rational repre- sentations of connected reductive groups in positive characteristic.
[19]
Homomorphisms Between Generalized Verma Modules - jstor
D. N. Verma, Structure of certain induced representations of complex semi-simple Lie algebras, Ph. D. thesis, Yale University, 1966. 18. N. R. Wallach, The ...Missing: original | Show results with:original
[20]
Singular vectors in Verma modules. - MathOverflow
Oct 14, 2011 · – Jim Humphreys. 2011-10-15 17:00:36 +00:00. Commented Oct 15, 2011 ... Maximal Submodule of a Verma Module · 8 · Kazhdan-Lusztig theorem for ...
[21]
[PDF] Towards the Kazhdan-Lusztig conjecture - Numdam
... Verma modules implies precisely the formula for these multiplicities which was recently conjectured by Kazhdan and Lusztig ([10], Conj. 1.5). Its proof ...
[22]
[PDF] the bgg resolution and the weyl character formula
Any errors are, of course, entirely my own. Among the odd notations of BGG, the most notable is that BGG writes Mλ+ρ where we would write Mλ for Verma modules.
[23]
A computer algorithm for the BGG resolution - ScienceDirect.com
Mar 1, 2021 · The BGG resolution is a complex of direct sums of Verma modules. This paper presents a computer algorithm to compute it and its cohomology.
[24]
Mathematical Physics Lie Algebra Cohomology and the Fusion Rules
The cohomology of G<c-equivariant holomorphic line bundles over the flag manifold G^/B of G is given by the Borel-Weil-Bott theorem (BWB). ... (BGG resolution in ...<|control11|><|separator|>
[25]
[PDF] On the Bernstein-Gelfand-Gelfand resolution for Kac-Moody ... - arXiv
Abstract. A Bernstein-Gelfand-Gelfand resolution for arbitrary Kac-Moody algebras and arbitrary subsets of the set of simple roots is proven.
[26]
[PDF] Quantized semisimple Lie groups - HAL
Mar 27, 2024 · The purpose of this work is to give a quick and basic introduction to the quantization of semisimple Lie groups, specifically compact and ...
[27]
Category 𝒪 for hybrid quantum groups and non-commutative ... - arXiv
We have similar constructions as in §1.3 and §1.4 in the deformed setting, which together with the fact that 𝕍 r subscript 𝕍 𝑟 {\mathbb{V}}_{r} blackboard_V ...