nLab
PBW theorem

Context

Algebra

Lie theory

∞-Lie theory

Background

Smooth structure

Higher groupoids

Lie theory

∞-Lie groupoids

∞-Lie algebroids

Formal Lie groupoids

Cohomology

Homotopy

Examples

\infty-Lie groupoids

\infty-Lie groups

\infty-Lie algebroids

\infty-Lie algebras

Contents

Statement

Given a Lie algebra gg which is flat as a kk-module over a commmutative ground ring kk\supset\mathbb{Q} containing the rationals, consider the universal enveloping algebra U(g)= i=0 U i(g)U(g)=\cup_{i= 0}^\infty U^i(g) as a filtered algebra and a Hopf algebra, where gg is the subspace of primitive elements.

The Poincaré–Birkhoff–Witt theorem (often abbreviated to PBW theorem) says that the associated graded algebra is canonically isomorphic to the symmetric algebra Sym(g)Sym(g) as an algebra, and the projection U(g)GrU(g)Sym(g)U(g)\to Gr U(g)\cong Sym(g) is an isomorphism of kk-coalgebras.

The fact that associated graded algebra is isomorphic to the symmetric algebra is a weak form of the theorem and it is usually proved either by very explicit and long calculation constructing certain representation or by application of the diamond lemma. The induced Poisson structure on Sym(g)Sym(g) is the linear Poisson structure for the corresponding gg.

The notions of Lie algebra, symmetric algebra, enveloping algebra, etc. can also be formulated in the context of a kk-linear tensor category (with countable coproducts over which the tensor product distributes, if one wants to work with ungraded objects), and the PBW theorem remains valid in that context. In particular, the PBW theorem may be formulated and proven for super Lie algebras. Details may be found in Deligne-Morgan.

References

  • Pierre-Paul Grivel, Une histoire du théorème de Poincaré-Birkhoff-Witt, Expo. Math. 22 (2004), no. 2, 145–184 MR2005b:17024 doi

Revised on May 20, 2013 16:36:35 by Zoran Škoda (161.53.130.104)