Definition of Verma Modules
The definition relies on a stack of relatively dense notation. Let be a field and denote the following:
- , a semisimple Lie algebra over, with universal enveloping algebra .
- , a Borel subalgebra of, with universal enveloping algebra .
- , a Cartan subalgebra of . We do not consider its universal enveloping algebra.
- , a fixed weight.
To define the Verma module, we begin by defining some other modules:
- , the one-dimensional -vector space (i.e. whose underlying set is itself) together with a -module structure such that acts as multiplication by and the positive root spaces act trivially. As is a left -module, it is consequently a left -module.
- Using the Poincaré-Birkhoff-Witt theorem, there is a natural right -module structure on by right multiplication of a subalgebra. is naturally a left -module, and together with this structure, it is a -bimodule.
Now we can define the Verma module (with respect to ) as
which is naturally a left -module (i.e. an infinite-dimensional representation of ). The Poincaré-Birkhoff-Witt theorem implies that the underlying vector space of is isomorphic to
where is the Lie subalgebra generated by the negative root spaces of .
Read more about this topic: Verma Module
Famous quotes containing the words definition of and/or definition:
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)
“... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
—Adrienne Rich (b. 1929)