Representation of a Lie algebra

A linear map from a Lie algebra to endomorphisms of a vector space that preserves brackets.
Representation of a Lie algebra

Let g\mathfrak{g} be a Lie algebra over R\mathbb{R} (or C\mathbb{C}), and let VV be a vector space over the same field. A representation of g\mathfrak{g} on VV is a linear map

ρ:gEnd(V) \rho:\mathfrak{g}\to \mathrm{End}(V)

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

ρ([X,Y])=ρ(X)ρ(Y)ρ(Y)ρ(X), \rho([X,Y])=\rho(X)\rho(Y)-\rho(Y)\rho(X),

i.e. ρ\rho is a Lie algebra homomorphism from g\mathfrak{g} to the Lie algebra gl(V)\mathfrak{gl}(V) with commutator bracket.

When g\mathfrak{g} is the Lie algebra of a GG and π:GGL(V)\pi:G\to \mathrm{GL}(V) is a smooth group representation, the induced map dπe:ggl(V)\mathrm{d}\pi_e:\mathfrak{g}\to\mathfrak{gl}(V) (the ) is a Lie algebra representation.

Examples

  1. Standard matrix action. For g=gl(n,R)\mathfrak{g}=\mathfrak{gl}(n,\mathbb{R}) and V=RnV=\mathbb{R}^n, the map ρ(A)(v)=Av\rho(A)(v)=Av is a representation.
  2. Adjoint representation. The map ad:gEnd(g)\mathrm{ad}:\mathfrak{g}\to \mathrm{End}(\mathfrak{g}) given by adX(Y)=[X,Y]\mathrm{ad}_X(Y)=[X,Y] is a representation of g\mathfrak{g} on itself.
  3. Trivial representation. The map ρ:gEnd(V)\rho:\mathfrak{g}\to \mathrm{End}(V) with ρ(X)=0\rho(X)=0 for all XX is always a representation (since both sides of the bracket-preservation identity vanish).