Poincaré–Birkhoff–Witt theorem

From Wikipedia, the free encyclopedia

In the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (stated by Henri Poincaré (1900) and proved by Garrett Birkhoff (1937) and Ernst Witt (1937) and frequently contracted to PBW theorem) is a fundamental result giving an explicit description of the universal enveloping algebra of a Lie algebra. The term 'PBW type theorem' or even 'PBW theorem' may also refer to various analogues of the original theorem, comparing a noncommutative algebra and its associated graded algebra, in particular, in the area of quantum groups.

[edit] Statement of the theorem

Recall that any vector space V over a field has a Hamel basis; this is a set S such that any element of V is a unique (finite) linear combination of elements of S. In the formulation of Poincaré–Birkhoff–Witt theorem we consider bases the elements of which are totally ordered by some relation which we denote ≤.

If L is a Lie algebra over a field K, then by definition, there is a canonical K-linear map h from L into the universal enveloping algebra U(L). This algebra is a unital associative K-algebra.

Theorem. Let L be a Lie algebra over K and X a totally ordered Hamel basis for L. A canonical monomial over X is a finite sequence (x1, x2 ..., xn) of elements of X which is non-decreasing in the order ≤, that is, x1 ≤x2 ≤ ... ≤ xn. Extend h to all canonical monomials as follows: If (x1, x2, ..., xn) is a canonical monomial, let

h(x_1, x_2, \ldots, x_n) = h(x_1) \cdot h(x_2) \cdots h(x_n).

Then h is injective and its range is a Hamel basis for the K-vector space U(L).

Stated somewhat differently, consider Y = h(X). Y is totally ordered by the induced ordering from X. The set of monomials

y_1^{k_1} y_2^{k_2} \cdots y_\ell^{k_\ell}

where y1 <y2 < ... < yn are elements of Y, and the exponents are non-negative, together with the multiplicative unit 1, form a Hamel basis for U(L). Note that the unit element 1 corresponds to the null canonical monomial.

Note that the monomials in Y form a basis as a vector space. The multiplicative structure of U(L) is determined by the structure constants of the Lie algebra; that is, the coefficients cu,v,x such that

[u,v] = \sum_{x \in X} c_{u,v,x}\; x.

The Poincaré–Birkhoff–Witt theorem can be interpreted as saying that the product of canonical monomials in Y can be reduced uniquely to a linear combination of canonical monomials by repeatedly using the structure equations. Part of this is clear: the structure constants determine uv − vu, i.e. what to do in order to change the order of two elements of X in a product. This fact, modulo an inductive argument on the degree of sums of monomials, shows one can always achieve products where the factors are ordered in a non-decreasing fashion.

Corollary. If L is a Lie algebra over a field, the canonical map L → U(L) is injective. In particular, any Lie algebra over a field is isomorphic to a Lie subalgebra of an associative algebra.

[edit] References

  • G.D. Birkhoff, Representability of Lie algebras and Lie groups by matrices Ann. of Math. (2) , 38 : 2 (1937) pp. 526–532
  • T.S. Fofanova (2001), “Birkhoff–Witt theorem”, in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104 
  • G. Hochschild, The Theory of Lie Groups, Holden-Day, 1965.
  • H. Poincaré, Sur les groupes continus Trans. Cambr. Philos. Soc. , 18 (1900) pp. 220–225
  • E. Witt, Treue Darstellung Liescher Ringe J. Reine Angew. Math. , 177 (1937) pp. 152–160
Languages