First read about Lie algebras
. Roughly a representation of a Lie
algebra is a way to represent that Lie algebra by linear transformation
There is a deep and beautiful theory of such representations. I'll just scratch
the surface here by giving a precise definition and then showing a few
Let k be a field (like the real numbers or complex numbers).
If V is a k-vector space then denote by
gl(V) the collection of all linear transformations
from V to itself. This is a Lie algebra if we define
[f,g]=fg-gf, for two linear maps f,g:V-->V.
If V is finite-dimensional then gl(V) is isomorphic
as a Lie algebra to gl(n,k), which is just nxn matrices
Definition A representation of a Lie algebra g is a Lie algebra
homomorphism H:g-->gl(V). The
dimension of the representation is the dimension of V as a vector
space. A subrepresentation is given by a subspace of V that is stable
under transformations from the image of H.
We are going to investigate this concept for everyone's favourite
Lie algebra sl(2,k) which consists of all
| a b | such that a+d=0
| c d |
Recall that the bracket for this Lie algebra is defined by
. (The discussion doesn't depend on the field
except we do have to suppose that it has characteristic
zero. Note that this is true
As a vector space sl(2,k) is three-dimensional
with a basis given by
- - - - - -
e=| 0 1 | h=| 1 0 | f=| 0 0 |
| 0 0 | | 0 -1 | | 1 0 |
- - - - - -
To understand this Lie algebra we need to know what the brackets of these
basis elements are.
[e,f] = h
, [h,e] = 2e
, [h,f] = -2f
So far this is the only representation of sl
we know, a two-dimensional representation.
Here's another one the adjoint representation. For any Lie algebra
g we get a representation by taking V=g
and defining the representing Lie algebra homomorphism by
sending x in g to the linear transformation given
by y |--> [x,y]. Again one checks that this gives
a Lie algebra map and so this is a representation.
For sl(2,k) it is three-dimensional.
I'm am going to construct an n+1-dimensional representation
of sl(2,k), for each integer n>=0. Let V be an n+1-dimensional
vector space with basis e0,...,en.
Then define a map H: sl(2,k)-->gl(V)
. (We define e-1=en+1=0.
Checking that H
is a Lie algebra homomorphism is easy. For example,
by definition. Applying the formulae above we get that
the right hand side is H(e)((i+1)ei+1)-H(f)((n-i+1)ei-1)
Apply the formulae once more and this is
This is H([e,f])
, as required. Checking the other
brackets is similar.
It turns out that these representations are irreducible (they have no
subrepresentations except the zero space and the whole representation)
and that every representation of sl(2,k) may be contructed
by direct sums of these representations.