In mathematics, more specifically in abstract algebra, in the theory of Lie algebras, the Poincaré–Birkhoff–Witt theorem (or PBW theorem) is a result giving an explicit description of the universal enveloping algebra of a Lie algebra. It is named after Henri Poincaré, Garrett Birkhoff, and Ernst Witt.
The terms PBW type theorem and PBW theorem may also refer to various analogues of the original theorem, comparing a filtered algebra to its associated graded algebra, in particular in the area of quantum groups.
Contents

Statement of the theorem 1

More general contexts 2

History of the theorem 3

Notes 4

References 5
Statement of the theorem
Recall that any vector space V over a field has a 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 of which the elements are totally ordered by some relation which we denote ≤.
If L is a Lie algebra over a field K, let h denote the canonical Klinear map from L into the universal enveloping algebra U(L).
Theorem. Let L be a Lie algebra over K and X a totally ordered basis of L. A canonical monomial over X is a finite sequence (x_{1}, x_{2} ..., x_{n}) of elements of X which is nondecreasing in the order ≤, that is, x_{1} ≤x_{2} ≤ ... ≤ x_{n}. Extend h to all canonical monomials as follows: If (x_{1}, x_{2}, ..., x_{n}) 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 on the set of canonical monomials and its range is a basis of the Kvector 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 y_{1} <y_{2} < ... < y_{n} are elements of Y, and the exponents are nonnegative, together with the multiplicative unit 1, form a basis for U(L). Note that the unit element 1 corresponds to the empty canonical monomial.
The multiplicative structure of U(L) is determined by the structure constants in the basis X, that is, the coefficients c_{u,v,x} such that

[u,v] = \sum_{x \in X} c_{u,v,x}\; x.
This relation allows one to reduce any product of y's to a linear combination of canonical monomials: The structure constants determine y_{i}y_{j} – y_{j}y_{i}, i.e. what to do in order to change the order of two elements of Y in a product. This fact, modulo an inductive argument on the degree of (noncanonical) monomials, shows one can always achieve products where the factors are ordered in a nondecreasing fashion.
The Poincaré–Birkhoff–Witt theorem can be interpreted as saying that the end result of this reduction is unique and does not depend on the order in which one swaps adjacent elements.
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.
More general contexts
Already at its earliest stages, it was known that K could be replaced by any commutative ring, provided that L is a free Kmodule, i.e., has a basis as above.
To extend to the case when L is no longer a free Kmodule, one needs to make a reformulation that does not use bases. This involves replacing the space of monomials in some basis with the Symmetric algebra, S(L), on L.
In the case that K contains the field of rational numbers, one can consider the natural map from S(L) to U(L), sending a monomial v_1 v_2 \cdots v_n. for v_i \in L, to the element

\frac{1}{n!} \sum_{\sigma \in S_n} v_{\sigma(1)} v_{\sigma(2)} \cdots v_{\sigma(n)}.
Then, one has the theorem that this map is an isomorphism of Kmodules.
Still more generally and naturally, one can consider U(L) as a filtered algebra, equipped with the filtration given by specifying that v_1 v_2 \cdots v_n lies in filtered degree \leq n. The map L → U(L) of Kmodules canonically extends to a map T(L) → U(L) of algebras, where T(L) is the tensor algebra on L (for example, by the universal property of tensor algebras), and this is a filtered map equipping T(L) with the filtration putting L in degree one (actually, T(L) is graded). Then, passing to the associated graded, one gets a canonical morphism T(L) → grU(L), which kills the elements vw  wv for v, w ∈ L, and hence descends to a canonical morphism S(L) → grU(L). Then, the (graded) PBW theorem can be reformulated as the statement that, under certain hypotheses, this final morphism is an isomorphism.
This is not true for all K and L (see, for example, the last section of Cohn's 1961 paper), but is true in many cases. These include the aforementioned ones, where either L is a free Kmodule, or K contains the field of rational numbers. More generally, the PBW theorem as formulated above extends to cases such as where (1) L is a flat Kmodule, (2) L is torsionfree as an abelian group, (3) L is a direct sum of cyclic modules (or all its localizations at prime ideals of K have this property), or (4) K is a Dedekind domain. See, for example, the 1969 paper by Higgins for these statements.
Finally, it is worth noting that, in some of these cases, one also obtains the stronger statement that the canonical morphism S(L) → grU(L) lifts to a Kmodule isomorphism S(L) → U(L), without taking associated graded. This is true in the first cases mentioned, where L is a free Kmodule, or K contains the field of rational numbers, using the construction outlined here (in fact, the result is a coalgebra isomorphism, and not merely a Kmodule isomorphism, equipping both S(L) and U(L) with their natural coalgebra structures such that \Delta(v) = v \otimes 1 + 1 \otimes v for v ∈ L). This stronger statement, however, might not extend to all of the cases in the previous paragraph.
History of the theorem
In four papers from the 1880's by , and he does not suggest that Poincaré was aware of Capelli's result.^{[1]}
TonThat and Tran ^{[2]} have investigated the history of the theorem. They have found out that the majority of the sources before Bourbaki's 1960 book call it BirkhoffWitt theorem. Following this old tradition, Fofanova^{[3]} in her encyclopaedic entry says that Poincaré obtained the first variant of the theorem. She further says that the theorem was subsequently completely demonstrated by Witt and Birkhoff. It appears that preBourbaki sources were not familiar with Poincaré's paper.
Birkhoff ^{[4]} and Witt ^{[5]} do not mention Poincaré's work in their 1937 papers. Cartan and Eilenberg ^{[6]} call the theorem PoincaréWitt Theorem and attribute the complete proof to Witt. Bourbaki^{[7]} were the first to use all three names in their 1960 book. Knapp presents a clear illustration of the shifting tradition. In his 1986 book^{[8]} he calls it BirkhoffWitt Theorem, while in his later 1996 book^{[9]} he switches to PoincaréBirkhoffWitt Theorem.
It is not clear whether Poincaré's result was complete. TonThat and Tran^{[10]} conclude that "Poincaré had discovered and completely demonstrated this theorem at least thirtyseven years before Witt and Birkhoff". On the other hand, they point out that "Poincaré makes several statements without bothering to prove them". Their own proofs of all the steps are rather long according to their admission. Borel states that Poincaré "more or less proved the PoincaréBirkoffWitt theorem" in 1900.^{[1]}
Notes

^ ^{a} ^{b} ^{c} Borel, p.6

^ See TonThat and Tran 1999.

^ See Fofanova 2001.

^ See Birkhoff 1937.

^ See Witt 1937.

^ See Cartan and Eilenberg 1956.

^ See Bourbaki 1960.

^ See Knapp 1986.

^ See Knapp 1996.

^ See TonThat and Tran 1999.
References

Birkhoff, Garrett (April 1937). "Representability of Lie algebras and Lie groups by matrices". Annals of Mathematics 38 (2): 526–532.

Borel, Armand (2001). Essays in the History of Lie groups and algebraic groups. History of Mathematics, Vol. 21. American mathematical society and London mathematical society.

Bourbaki, Nicolas (1960). "Chapitre 1: Algèbres de Lie". Groupes et algèbres de Lie. Éléments de mathématique. Paris: Hermann.

Cartan, Henri; Eilenberg, Samuel (1956). Homological Algebra. Princeton Mathematical Series (PMS) 19. Princeton University Press.

Cohn, P.M. (1963). "A remark on the BirkhoffWitt theorem". J. London Math. Soc. 38: 197–203.

Fofanova, T.S. (2001), "Birkhoff–Witt theorem", in Hazewinkel, Michiel,

Higgins, P.J. (1969). "Baer Invariants and the BirkhoffWitt theorem". Journal of Algebra 11: 469–482.

Hochschild, G. (1965). The Theory of Lie Groups. HoldenDay.

Knapp, A. W. (1986). Representation theory of semisimple groups. An overview based on examples. Princeton University Press.

Knapp, A. W. (1996). Lie groups beyond an introduction. Birkhäuser.

Poincaré, Henri (1900). "Sur les groupes continus". Trans. Cambr. Philos. Soc. 18: 220–225.

TonThat, T.; Tran, T.D. (1999). "Poincaré's proof of the socalled BirkhoffWitt theorem" (PDF). Rev. Histoire Math. 5: 249–284.

Witt, Ernst (1937). "Treue Darstellung Liescher Ringe". J. Reine Angew. Math. 177: 152–160.
This article was sourced from Creative Commons AttributionShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, EGovernment Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a nonprofit organization.