Lie Bracket

A bilinear operation on a vector space satisfying antisymmetry and the Jacobi identity.
Lie Bracket

A Lie bracket on a g\mathfrak{g} is a bilinear map

[ , ]:g×gg [\ ,\ ]:\mathfrak{g}\times\mathfrak{g}\to\mathfrak{g}

such that, for all X,Y,ZgX,Y,Z\in\mathfrak{g},

[X,Y]=[Y,X]and[X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0. [X,Y]=-[Y,X] \quad\text{and}\quad [X,[Y,Z]]+[Y,[Z,X]]+[Z,[X,Y]]=0.

A vector space equipped with a Lie bracket is a .

Intuition and standard source of examples

If an associative product ABAB is available (e.g. matrices), the commutator

[A,B]=ABBA [A,B]=AB-BA

is a Lie bracket. This is why Lie brackets are often thought of as measuring “noncommutativity.”

Another fundamental example is the commutator of on a manifold.

Adjoint operator

Given a Lie algebra g\mathfrak{g}, each XgX\in\mathfrak{g} defines a linear map

adX:gg,adX(Y)=[X,Y], \operatorname{ad}_X:\mathfrak{g}\to\mathfrak{g},\qquad \operatorname{ad}_X(Y)=[X,Y],

which is the at the Lie algebra level.

Brackets from Lie groups

For a GG, the canonical Lie bracket on TeGT_eG is defined using ; see .