|
In mathematics, if φ: G→H is a homomorphism of Lie groups, and g and h are the Lie algebras of G and H respectively, then the induced map φ* on tangent spaces is a homomorphism of Lie algebras, i.e. satisfies for all x and y in g. In particular, a representation of Lie groups φ: G→GL(V) determines a homomorphism of Lie algebras from g to the Lie algebra of the general linear group GL(V) over the vector space V. (GL(V) is just the endomorphism ring End(V) = Hom(V,V)). Such a homomorphism is called a representation of the Lie algebra g.
More generally (since we can study Lie algebras independently from their incarnation as the tangent space of a Lie group), such a representation may be described as a bilinear map (x,v)→x.v from g×V to V satisfying the Jacobi identity analogue
Equivalently, it is a representation of the universal enveloping algebra.
If the Lie algebra is semisimple, then all reducible reps are decomposable. Otherwise, that's not true in general.
If we have two reps, with V1 and V2 as their underlying vector spaces and .[.]1 and .[.]2 as the reps, then the product of both reps would have as the underlying vector space and
If L is a real Lie algebra and is a complex rep of it, we can construct another rep of L called its dual rep as follows.
Let V* be the dual vector space of V. In other words, V is the set of all linear maps from V to C with addition defined over it in the usual linear way BUT scalar multiplication defined over it such that for any z in C, ω in V* and X in V. This is usually rewritten as a contraction with a sesquilinear form <.,>. i.e. <ω,X> is defined to be ω[X].
We define as follows: <A[ω],X>+<ω,A[X]>=0
for any A in L, ω in V* and X in V. This defines uniquely.
See also
| 
Feeds |
Contact