Representation of a Lie group

A smooth group homomorphism from a Lie group to the general linear group of a vector space.
Representation of a Lie group

Let GG be a and let VV be a finite-dimensional real (or complex) vector space. A (finite-dimensional) representation of GG is a group homomorphism

ρ:GGL(V) \rho:G\to \mathrm{GL}(V)

that is also a .

Equivalently, ρ\rho determines a smooth left action of GG on VV by linear isomorphisms, via (g,v)ρ(g)v(g,v)\mapsto \rho(g)v. Differentiating ρ\rho at the identity yields a Lie algebra representation dρe:ggl(V)\mathrm{d}\rho_e:\mathfrak{g}\to \mathfrak{gl}(V) (a special case of the ).

Examples

  1. Defining representation of GL(n)\mathrm{GL}(n). The map ρ:GL(n,R)GL(Rn)\rho:\mathrm{GL}(n,\mathbb{R})\to \mathrm{GL}(\mathbb{R}^n) given by ρ(A)(v)=Av\rho(A)(v)=Av is a smooth representation.
  2. Adjoint representation. The map Ad:GGL(g)\mathrm{Ad}:G\to \mathrm{GL}(\mathfrak{g}) is a representation; it encodes how GG acts on its Lie algebra by conjugation.
  3. Circle characters. For G=S1G=S^1, the maps ρk:S1GL(C)\rho_k:S^1\to \mathrm{GL}(\mathbb{C}) defined by ρk(z)(w)=zkw\rho_k(z)(w)=z^k w give 1-dimensional complex representations indexed by integers kk.