Koszul dual of a commutative algebraGeneral observation:

Consider the case when is a commutative algebra. This means that includes all antisymmetric tensors.

⇒

is a universal enveloping of a Lie algebra.

Example: If is the algebra of polynomials of variables , then the dual Lie algebra is the algebra of antisymmetric polynomials . This is the universal enveloping of the Lie superalgebra .