Verma Modules — Mathematics Knowledge System

Overview

Verma modules are universal highest-weight modules for semisimple Lie algebras -- the 'largest' possible module with a given highest weight. Every irreducible highest-weight module appears as a quotient of a Verma module. The Bernstein-Gelfand-Gelfand (BGG) resolution expresses each finite-dimensional irreducible as an alternating sum of Verma modules, leading to the Weyl character formula. The structure of Verma modules -- their composition series, submodule lattice, and homomorphisms -- is governed by the Kazhdan-Lusztig polynomials.

Intuition

For a semisimple Lie algebra g (like sl(2)), the highest-weight modules are built starting from a highest-weight vector -- a vector v annihilated by all positive root spaces. The Verma module M(lambda) is generated freely by the negative root operators acting on v. It is 'universal' in that every module with highest weight lambda receives a surjection from M(lambda). The finite-dimensional irreducible L(lambda) (when lambda is dominant integral) is M(lambda) modulo its maximal proper submodule.

Formal Definition

Definition

Let g = n^- + h + n^+ be a triangular decomposition of a semisimple Lie algebra (Borel decomposition). For a weight lambda in h*, define a 1-dimensional b = h + n^+ module C_lambda where h acts by lambda and n^+ acts by 0. The Verma module M(lambda) = U(g) tensor_{U(b)} C_lambda where U(g) is the universal enveloping algebra. As a vector space M(lambda) is isomorphic to U(n^-) via the PBW theorem. The unique irreducible quotient is L(lambda) = M(lambda)/J(lambda) where J(lambda) is the maximal proper submodule.

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

Verma module as induced module

M(\lambda) \cong U(\mathfrak{n}^-) \text{ as vector spaces (PBW)}

PBW basis of Verma module

L(\lambda) = M(\lambda)/J(\lambda)

Irreducible highest-weight module as quotient

[M(\lambda) : L(\mu)] = P_{w_\mu, w_\lambda}(1)

KL multiplicity formula

Notation

Notation	Meaning
$M(\lambda)$	Verma module of highest weight lambda
$L(\lambda)$	Irreducible quotient of M(lambda)
$U(\mathfrak{g})$	Universal enveloping algebra
$P_{y,w}(q)$	Kazhdan-Lusztig polynomial

Theorems

Theorem 1: Universal Property of Verma Modules

For each weight lambda in h*, the Verma module M(lambda) is the universal highest-weight module: for any g-module V with a highest-weight vector v of weight lambda, there exists a unique g-module homomorphism phi: M(lambda) -> V with phi(v_{lambda}) = v. In particular, every irreducible highest-weight module L(lambda) is a quotient of M(lambda).

Theorem 2: BGG Resolution

For a dominant integral weight lambda, the irreducible finite-dimensional module L(lambda) has a resolution by Verma modules: 0 -> ... -> direct sum_{w in W, l(w)=k} M(w*lambda) -> ... -> M(lambda) -> L(lambda) -> 0, where W is the Weyl group, w*lambda = w(lambda+rho)-rho is the dot action, rho is the half-sum of positive roots, and l(w) is the length of w.

Theorem 3: Kazhdan-Lusztig Theorem

The multiplicity [M(lambda):L(mu)] of L(mu) in the composition series of M(lambda) (with lambda, mu in the same dot-orbit of W) equals the Kazhdan-Lusztig polynomial P_{w_mu, w_lambda}(1) evaluated at 1, where w_mu, w_lambda are the Weyl group elements with w_mu*mu = lambda_0 = w_lambda*lambda for a dominant weight lambda_0.

Worked Examples

1
sl(2) has generators e, f, h with [h,e]=2e, [h,f]=-2f, [e,f]=h. Highest weight n means h*v=n*v, e*v=0.
2
M(n) = span{v_n, f*v_n, f^2*v_n, ...} where f^k*v_n has weight n-2k. This is infinite-dimensional.
$M(n) = \bigoplus_{k \ge 0} \mathbb{C}\cdot f^k v_n$
3
The finite-dimensional irreducible L(n) has dimension n+1, with basis v_n, f*v_n, ..., f^n*v_n. After f^n*v_n, the next vector f^{n+1}*v_n has weight n-2(n+1) = -n-2.
4
The maximal submodule J(n) = U(g)*f^{n+1}*v_n is itself a Verma module M(-n-2). So M(n)/M(-n-2) = L(n) (dimension n+1).
$M(n)/M(-n-2) \cong L(n)$

✓ Answer

For sl(2), M(n) contains a maximal submodule isomorphic to M(-n-2), and the quotient L(n) is the (n+1)-dimensional irreducible.

Practice Problems

Hardfree response

Explain why every finite-dimensional irreducible representation of a semisimple Lie algebra g is a quotient of some Verma module.

Common Mistakes

Common Mistake

Thinking M(lambda) is already irreducible.

Verma modules are almost never irreducible. For integral weights, M(lambda) always has proper submodules (e.g., for sl(2), M(n) contains M(-n-2)). The irreducible L(lambda) is the quotient by the maximal proper submodule. Verma modules are useful precisely because they are the universal building blocks -- not because they are themselves simple.

Quiz

The Bernstein-Gelfand-Gelfand resolution expresses the irreducible L(lambda) as:

A submodule of a Verma moduleA direct sum of Verma modulesAn alternating exact complex of Verma modules (resolution)The tensor product of Verma modules indexed by the Weyl group

Historical Background

Verma modules were introduced by Daya-Nand Verma in his 1966 Yale thesis, building on Harish-Chandra's work on representations of Lie algebras. The BGG resolution was discovered by Bernstein, Gelfand, and Gelfand in 1975. Kazhdan and Lusztig conjectured in 1979 that the multiplicities in composition series of Verma modules are given by values of Kazhdan-Lusztig polynomials, proved by Beilinson-Bernstein and Brylinski-Kashiwara in 1981.

1966
Verma introduces universal highest-weight modules in his thesis
Daya-Nand Verma
1975
BGG resolution constructed, giving Weyl character formula from Verma modules
I.N. Bernstein, I.M. Gelfand, S.I. Gelfand
1979
Kazhdan-Lusztig conjecture: multiplicities governed by KL polynomials
David Kazhdan, George Lusztig
1981
KL conjecture proved via D-modules and perverse sheaves
Alexander Beilinson, Joseph Bernstein, Jean-Luc Brylinski, Masaki Kashiwara

Summary

M(lambda) = U(g) tensor_{U(b)} C_lambda is the 'largest' highest-weight module; every highest-weight module is its quotient.
The irreducible L(lambda) = M(lambda)/J(lambda) where J(lambda) is the unique maximal proper submodule.
BGG resolution: L(lambda) has a resolution by Verma modules M(w*lambda) indexed by the Weyl group.
Composition multiplicities [M(lambda):L(mu)] = KL polynomial P_{w_mu,w_lambda}(1) (Kazhdan-Lusztig theorem).

References

BookHumphreys, J.E. Representations of Semisimple Lie Algebras in the BGG Category O. AMS, 2008.
BookDixon, J.D. and du Cloux, F. Computing in Lie Algebras. Cambridge, 2000.
WebsiteWikipedia -- Verma module