# Verma module

A Verma module is an infinite-dimensional highest-weight module for a complex semisimple [Lie algebra](https://www.edgepedia.org/lie-algebra) \( \mathfrak{g} \), constructed as the module induced from a one-dimensional representation of a [Borel subalgebra](https://www.edgepedia.org/borel-subalgebra). For each weight \( \lambda \in \mathfrak{h}^* \) it is the universal \( \mathfrak{g} \)-module generated by a highest-weight vector of weight \( \lambda \), and every highest-weight module of that weight is a quotient of it.<sup>[1](https://mathworld.wolfram.com/VermaModule.html)</sup> The modules are named after Daya-Nand Verma, who introduced them in his 1966 Yale Ph.D. thesis and summarized the construction in a 1968 Bulletin of the American Mathematical Society paper.<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup><sup> • </sup><sup>[3](https://www.ams.org/proc/1993-118-02/S0002-9939-1993-1143020-0/)</sup>

| Key fact | Detail |
|---|---|
| Definition | \( M(\lambda) = U(\mathfrak{g}) \otimes_{U(\mathfrak{b})} \mathbb{C}_\lambda \), induced from the one-dimensional \( \mathfrak{b} \)-module of weight \( \lambda \), where \( \mathfrak{b} = \mathfrak{h} \oplus \mathfrak{n}^+ \)<sup>[1](https://mathworld.wolfram.com/VermaModule.html)</sup> |
| Universal property | Every \( \mathfrak{g} \)-module generated by a highest-weight vector of weight \( \lambda \) is a quotient of \( M(\lambda) \)<sup>[1](https://mathworld.wolfram.com/VermaModule.html)</sup> |
| Irreducible quotient | \( M(\lambda) \) has a unique maximal submodule, hence a unique irreducible quotient \( L(\lambda) \)<sup>[1](https://mathworld.wolfram.com/VermaModule.html)</sup><sup> • </sup><sup>[4](https://planetmath.org/vermamodule)</sup> |
| Weight structure | By the PBW theorem, \( M(\lambda) \) is a free \( U(\mathfrak{n}^-) \)-module of rank one; its weights are \( \lambda - Q^+ \), with multiplicities given by the Kostant partition function<sup>[5](https://doi.org/10.1016/j.jalgebra.2016.02.004)</sup> |
| Character | \( \Delta \cdot \operatorname{ch} M_\lambda = e^{\lambda+\rho} \), where \( \Delta \) is the Weyl denominator<sup>[6](https://math.jhu.edu/~sakellar/automorphic-files/vermamodules.pdf)</sup> |
| Origin | Daya-Nand Verma, Yale Ph.D. thesis (1966); Bull. Amer. Math. Soc. 74 (1968), 160–166<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup><sup> • </sup><sup>[3](https://www.ams.org/proc/1993-118-02/S0002-9939-1993-1143020-0/)</sup> |
| Reducibility | The Shapovalov determinant determines when \( M(\lambda) \) is reducible; for finite-dimensional simple Lie algebras it factors into products of degree-one polynomials<sup>[7](https://www.wisdom.weizmann.ac.il/~gorelik/shap.pdf)</sup> |

## Construction

Fix a complex semisimple Lie algebra \( \mathfrak{g} \) with [Cartan subalgebra](https://www.edgepedia.org/cartan-subalgebra) \( \mathfrak{h} \) and a choice of positive roots \( \Phi^+ \). The Borel subalgebra is \( \mathfrak{b} = \mathfrak{h} \oplus \bigoplus_{\alpha \in \Phi^+} \mathfrak{g}_\alpha \), and \( \mathfrak{n} = \bigoplus_{\alpha \in \Phi^+} \mathfrak{g}_{-\alpha} \) is its nilpotent part. Because \( \mathfrak{b} \) is solvable, Lie's theorem implies that any finite-dimensional irreducible \( \mathfrak{b} \)-module is one dimensional; it is therefore a single weight space \( \mathbb{C}_\lambda \) on which \( \mathfrak{h} \) acts by \( \lambda \) and the positive-root spaces act trivially.<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup>

The Verma module is the induced module

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

where \( U(\cdot) \) denotes the universal enveloping algebra.<sup>[1](https://mathworld.wolfram.com/VermaModule.html)</sup> An equivalent description is as a quotient \( U(\mathfrak{g})/I_\lambda \), where \( I_\lambda \) is the left ideal generated by \( \mathfrak{b} \) together with \( h - \lambda(h) \) for \( h \in \mathfrak{h} \).<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup>

**Basis and weights.** By the Poincaré–Birkhoff–Witt theorem, the natural maps \( U(\mathfrak{n}) \to U(\mathfrak{g}) \) are injective and \( U(\mathfrak{g}) \cong U(\mathfrak{n}) \otimes_{\mathbb{C}} U(\mathfrak{b}) \) as vector spaces. Choosing nonzero \( y_i \in \mathfrak{g}_{-\alpha_i} \) for the positive roots \( \alpha_1, \ldots, \alpha_r \), a basis of \( M(\lambda) \) is given by the vectors \( (y_1^{a_1} \cdots y_r^{a_r}) v_\lambda \) with \( a_i \in \mathbb{Z}_{\ge 0} \), where \( v_\lambda \) is the highest-weight vector.<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup> The vector \( (y_1^{a_1} \cdots y_r^{a_r}) v_\lambda \) has weight \( \lambda - \sum_{i=1}^r a_i \alpha_i \), so all weights lie at or below \( \lambda \), the \( \lambda \)-weight space is one dimensional, and every weight space is finite dimensional.<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup> In multiplicity terms, \( M(\lambda) \) is a free \( U(\mathfrak{n}^-) \)-module of rank one whose formal character is given by the translated [Kostant partition function](https://www.edgepedia.org/kostant-partition-function).<sup>[5](https://doi.org/10.1016/j.jalgebra.2016.02.004)</sup>

## Universal property

The defining feature of \( M(\lambda) \) is universality among highest-weight modules. If \( V \) is any \( \mathfrak{g} \)-module with a maximal vector \( v^+ \) of weight \( \lambda \), the map \( \mathbb{C}_\lambda \to V \) sending 1 to \( v^+ \) extends, by Frobenius reciprocity for the tensor product, to a \( \mathfrak{g} \)-module homomorphism \( M(\lambda) \to V \) carrying \( v_\lambda \) to \( v^+ \). When \( V \) is itself a highest-weight module of weight \( \lambda \), this map is surjective, so every highest-weight module of weight \( \lambda \) is a quotient of \( M(\lambda) \).<sup>[2](https://www.math.ubc.ca/~atharva/highestwt.pdf)</sup>

Because \( M(\lambda) \) has a unique maximal submodule, the quotient by that submodule is the unique irreducible module with highest weight \( \lambda \).<sup>[1](https://mathworld.wolfram.com/VermaModule.html)</sup><sup> • </sup><sup>[4](https://planetmath.org/vermamodule)</sup> This gives a uniform way to build all irreducible highest-weight representations: construct the Verma module, then quotient by its maximal submodule. The Verma modules themselves are infinite dimensional, not completely reducible, non-unitary, and generally do not integrate to representations of the corresponding [Lie group](https://www.edgepedia.org/lie-group), but their quotients do carry the properties wanted of finite-dimensional representations.<sup>[8](https://www.math.columbia.edu/~woit/LieGroups-2012/vermamodules.pdf)</sup>

## The sl2 example

For \( \mathfrak{sl}_2(\mathbb{C}) \) with generators \( e, f, h \) satisfying \( [e,f] = h \), \( [h,e] = 2e \), \( [h,f] = -2f \), the Verma module \( M_\mu \) of highest weight \( \mu \) has a basis \( v_\mu^k = (1/k!) f^k v_\mu \) with \( h \cdot v_\mu^k = (\mu - 2k) v_\mu^k \), \( f \cdot v_\mu^k = v_\mu^{k+1} \), and \( e \cdot v_\mu^{k+1} = (\mu - k) v_\mu^k \).<sup>[9](https://www.math.purdue.edu/~adebray/lecture_notes/m392c_RT_notes.pdf)</sup>

The structure depends on \( \mu \). If \( \mu \) is not a nonnegative integer, \( M_\mu \) is irreducible. If \( \mu = n \) is a nonnegative integer, then \( e \cdot v_\mu^{n+1} = 0 \), the span of the vectors of weight below \( n \) is a proper submodule isomorphic to \( M_{-n-2} \), and the quotient \( L_n = M_n / W \) is the \( (n+1) \)-dimensional irreducible representation. Every finite-dimensional irreducible \( \mathfrak{sl}_2 \)-module arises this way.<sup>[9](https://www.math.purdue.edu/~adebray/lecture_notes/m392c_RT_notes.pdf)</sup> In the general semisimple case, an embedding \( M_{w_\alpha \lambda - \rho} \hookrightarrow M_{\lambda - \rho} \) exists whenever \( \langle \lambda, \alpha^\vee \rangle \) is a positive integer for a simple root \( \alpha \).<sup>[6](https://math.jhu.edu/~sakellar/automorphic-files/vermamodules.pdf)</sup>

## Character and the Weyl character formula

As an \( \mathfrak{h} \)-module, \( M_\lambda = U(\mathfrak{n}^-) \otimes \mathbb{C}_\lambda \), so its character factors as \( \operatorname{ch}(U(\mathfrak{n}^-)) \cdot e^\lambda \). By the PBW theorem \( U(\mathfrak{n}^-) = \bigotimes_{\alpha > 0} S(\mathfrak{g}_{-\alpha}) \), and the character of each symmetric factor is the geometric series \( 1/(1 - e^{-\alpha}) \). This yields \( \Delta \cdot \operatorname{ch} M_\lambda = e^{\lambda + \rho} \), where \( \Delta \) is the Weyl denominator and \( \rho \) is the half-sum of the positive roots.<sup>[6](https://math.jhu.edu/~sakellar/automorphic-files/vermamodules.pdf)</sup>

The character of the irreducible quotient \( L_\lambda \) is subtler because submodules must be subtracted. Expressing \( [L_\lambda] \) in the Grothendieck group as \( [M_\lambda] \) plus a combination of \( [M_{w \cdot \lambda}] \) for [Weyl group](https://www.edgepedia.org/weyl-group) elements \( w \neq 1 \), and using the \( W \)-invariance of the character of \( L_\lambda \), produces the [Weyl character formula](https://www.edgepedia.org/weyl-character-formula)

\[ \operatorname{ch} V_\lambda = \frac{\sum_{w \in W} \operatorname{sgn}(w)\, e^{w(\lambda + \rho)}}{\Delta}. \]

For dominant integral \( \lambda \) this gives the character, and hence the dimension, of the finite-dimensional irreducible module \( W(\lambda) \).<sup>[6](https://math.jhu.edu/~sakellar/automorphic-files/vermamodules.pdf)</sup><sup> • </sup><sup>[10](https://encyclopediaofmath.org/wiki/Weyl_module)</sup>

## Category O and the multiplicity problem

Verma modules are the standard objects of the BGG category \( \mathcal{O} \), the full subcategory of \( \mathfrak{g} \)-modules that are \( \mathfrak{h} \)-semisimple, locally finite over \( \mathfrak{n}^+ \), and finitely generated. The category was introduced by [Joseph Bernstein](https://www.edgepedia.org/joseph-bernstein), Israel Gelfand, and Sergei Gelfand, whose paper appeared in Functional Analysis and its Applications 10 (1976), 87–92.<sup>[11](https://mathoverflow.net/questions/324337/looking-for-access-to-original-paper-for-category-o)</sup> Within \( \mathcal{O} \), the irreducible modules \( W(\lambda) \), as \( \lambda \) runs over the weights, form a complete set of irreducible objects, and each is the irreducible factor of the Verma module \( V(\lambda) \).<sup>[10](https://encyclopediaofmath.org/wiki/Weyl_module)</sup>

Determining the composition-factor multiplicities of Verma modules proved harder than Verma initially expected, and it became a central problem of the theory.<sup>[12](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MA/MAr/Humphreys%20J.E.%20Representations%20of%20Semisimple%20Lie%20Algebras%20in%20the%20BGG%20Category%20O%20%28AMS%2C%202008%29%28ISBN%200821846787%29%28O%29%28303s%29_MAr_.pdf)</sup> The reducibility question itself is answered by the Shapovalov determinant: the zeroes of the determinants of the Shapovalov form determine when a Verma module is reducible, and N. Shapovalov computed these determinants for the finite-dimensional simple Lie algebras as products of degree-one polynomials, so \( M(\lambda) \) is simple exactly when \( \lambda \) avoids a union of hyperplanes.<sup>[7](https://www.wisdom.weizmann.ac.il/~gorelik/shap.pdf)</sup> The method was extended by V. Kac and D. Kazhdan to Kac–Moody algebras with symmetrizable [Cartan matrix](https://www.edgepedia.org/cartan-matrix), by Kac to Lie superalgebras, and by De Concini, Kac, and Joseph to the quantum case.<sup>[7](https://www.wisdom.weizmann.ac.il/~gorelik/shap.pdf)</sup>

**Kazhdan–Lusztig theory.** The landmark 1979 paper of [David Kazhdan](https://www.edgepedia.org/david-kazhdan) and [George Lusztig](https://www.edgepedia.org/george-lusztig) proposed a precise conjecture expressing the multiplicities for the principal block of \( \mathcal{O} \) in terms of values at 1 of polynomials attached to the Iwahori–[Hecke algebra](https://www.edgepedia.org/hecke-algebra) of the Weyl group \( W \). Independent proofs were published in 1981 by Beilinson–Bernstein and by Brylinski–Kashiwara, using D-modules and intersection cohomology on the flag variety.<sup>[12](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MA/MAr/Humphreys%20J.E.%20Representations%20of%20Semisimple%20Lie%20Algebras%20in%20the%20BGG%20Category%20O%20%28AMS%2C%202008%29%28ISBN%200821846787%29%28O%29%28303s%29_MAr_.pdf)</sup> The BGG resolution, a projective resolution of \( L(\lambda) \) by direct sums of Verma modules \( M(w \cdot \lambda) \) over the Weyl group with the dot action \( w \cdot \lambda = w(\lambda + \rho) - \rho \), supplies the exact sequences through which such multiplicity computations run.<sup>[13](https://doi.org/10.1016/j.jalgebra.2020.09.043)</sup>

## Applications beyond semisimple Lie algebras

The Verma-module construction extends to infinite-dimensional algebras. For a [Kac–Moody algebra](https://www.edgepedia.org/kac-moody-algebra), a module \( M(\lambda) \) with highest weight \( \lambda \) is called a Verma module when every module with highest weight \( \lambda \) is a quotient of it, and the universal property and PBW character carry over.<sup>[14](https://www.sciencedirect.com/topics/mathematics/kac-moody-algebra)</sup> In two-dimensional conformal field theory, the [Hilbert space](https://www.edgepedia.org/hilbert-space) of a unitary minimal model is organized into Verma modules of the [Virasoro algebra](https://www.edgepedia.org/virasoro-algebra): all eigenstates of the Hamiltonian are obtained by the repeated action of Virasoro lowering operators on a finite set of highest-weight states, and the irreducible representations are obtained by factoring out null-vector submodules.<sup>[15](https://journals.aps.org/prd/abstract/10.1103/PhysRevD.102.121701)</sup><sup> • </sup><sup>[16](https://homepages.itp.ac.ru/~lashkevi/lectures/weizmann16/lec05.pdf)</sup>

Generalized (parabolic) Verma modules, induced from one-dimensional representations of parabolic rather than Borel subalgebras, connect representation theory to differential geometry. Branching laws for such modules, analyzed through the F-method based on the Fourier transform, characterize singular vectors and yield explicit constructions of conformally invariant differential operators, including a new proof of Juhl's families of conformally covariant operators.<sup>[17](https://www.sciencedirect.com/science/article/pii/S000187081500328X)</sup>

## References

1. [Verma Module, Wolfram MathWorld](https://mathworld.wolfram.com/VermaModule.html)
2. [The Theorem of Highest Weight, course notes, University of British Columbia](https://www.math.ubc.ca/~atharva/highestwt.pdf)
3. [Edward McDowell, A module induced from a Whittaker module, Proc. Amer. Math. Soc. 118 (1993), 349–354](https://www.ams.org/proc/1993-118-02/S0002-9939-1993-1143020-0/)
4. [Verma module, PlanetMath](https://planetmath.org/vermamodule)
5. [Faces and maximizer subsets of highest weight modules, Journal of Algebra (2016)](https://doi.org/10.1016/j.jalgebra.2016.02.004)
6. [Verma Modules and the Category O, lecture notes, Johns Hopkins University](https://math.jhu.edu/~sakellar/automorphic-files/vermamodules.pdf)
7. [Shapovalov determinants of Q-type Lie superalgebras, Weizmann Institute](https://www.wisdom.weizmann.ac.il/~gorelik/shap.pdf)
8. [Highest-weight Theory: Verma Modules, Columbia University lecture notes](https://www.math.columbia.edu/~woit/LieGroups-2012/vermamodules.pdf)
9. [M392C Representation Theory lecture notes, Purdue University](https://www.math.purdue.edu/~adebray/lecture_notes/m392c_RT_notes.pdf)
10. [Weyl module, Encyclopedia of Mathematics](https://encyclopediaofmath.org/wiki/Weyl_module)
11. [Looking for access to original paper for Category O, MathOverflow](https://mathoverflow.net/questions/324337/looking-for-access-to-original-paper-for-category-o)
12. [J. E. Humphreys, Representations of Semisimple Lie Algebras in the BGG Category O (AMS, 2008), Chapter 8](https://www.nzdr.ru/data/media/biblio/kolxoz/M/MA/MAr/Humphreys%20J.E.%20Representations%20of%20Semisimple%20Lie%20Algebras%20in%20the%20BGG%20Category%20O%20%28AMS%2C%202008%29%28ISBN%200821846787%29%28O%29%28303s%29_MAr_.pdf)
13. [A computer algorithm for the BGG resolution, Journal of Algebra (2020)](https://doi.org/10.1016/j.jalgebra.2020.09.043)
14. [Kac-Moody Algebra, ScienceDirect Topics overview](https://www.sciencedirect.com/topics/mathematics/kac-moody-algebra)
15. [C. Chen and J. Maciejko, Revisiting the Ramond sector of the superconformal minimal models, Phys. Rev. D 102, 121701(R) (2020)](https://journals.aps.org/prd/abstract/10.1103/PhysRevD.102.121701)
16. [Conformal field theory: Virasoro algebra, lecture notes, Weizmann Institute](https://homepages.itp.ac.ru/~lashkevi/lectures/weizmann16/lec05.pdf)
17. [T. Kobayashi, B. Ørsted, P. Somberg, V. Souček, Branching laws for Verma modules and applications in parabolic geometry. I, Advances in Mathematics 285 (2015), 1796–1852](https://www.sciencedirect.com/science/article/pii/S000187081500328X)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Lie theory › Lie representations and modules › Verma modules and highest-weight theory*

*Initially written Sep 17, 2026 · Reviewed: Oct 15, 2026 · Edited: Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license