notes3
notes3
Adjoint Representation
c(g) : h → ghg −1
Unlike the left and right actions which are transitive, this action has fixed points,
including the identity.
Definition 1 (Adjoint Representation). The differential of the conjugation
action, evaluated at the identity, is called the adjoint action
Ad(g) = c∗ (g)(e) : Te G → Te G
Ad(g) : G → GL(g)
π : G → GL(V )
dπ : g → End(V )
defined by
d
dπ(X)v = (π(exp(tX))v)|t=0
dt
1
for v ∈ V . Using our previous formula for the derivative of the differential
of the exponential map, we find for the adjoint representation Ad(g) that the
associated Lie algebra representation is given by
d d
ad(X)(Y ) = (c(exp(tX))∗ (Y ))|t=0 = (Ad(exp(tX))(Y ))|t=0 = [X, Y ]
dt dt
For the special case of matrix groups we can check this easily since expanding
the matrix exponential gives
(X, Y ) = K(Y, X)
T r(AB) = T r(BA)
(ii) We have
ad(Ad(g)X) = Ad(g)ad(X)(Ad(g))−1
2
so
We will see later that for semi-simple compact Lie groups, the Killing form
is non-degenerate and its negative is a positive definite inner product on g.
As usual, the simplest example to keep in mind is G = SU (2). In this
case the Lie algebra su(2) has a basis of skew-hermitian 2 by 2 matrices, these
span the tangent space R3 to the group at the identity, which is that tangent
space to S 3 . The adjoint group action on this R3 is an action by orthogonal
tranformations in SO(3). The Killing form is just the negative of the standard
inner product on
Using Pauli matrices, a standard basis is:
0 i/2 0 −1/2
S1 = −iσ1 /2 = , S2 = −iσ2 /2 = ,
−i/2 0 1/2 0
−i/2 0
S3 = −iσ3 /2 =
0 i/2
and these satisfy
[Sj , Sk ] = jkl Sl
where jkl is a symbol antisymmetric in its indices and such that it is 1 for 123
and all cyclic permutations of the indices (123).
Writing an element X ∈ su(2) as
X = x1 S1 + x2 S2 + x3 S3
X → gXg −1
3
to a new vector
x0 = (x01 , x02 , x03 )
where
x0 = Ax
for some matrix A ∈ SO(3).
The adjoint action of the Lie algebra on itself is given by the commutation
relations for Sk
ad(Sk ) : X → [Sk , X]
One can work out what this means explicitly in terms of matrices, for instance
0 0 0
ad(S1 ) = 0 0 1
0 −1 0
References
[1] Borel, A., Essays in the History of Lie Groups and Algebraic
Groups,American Mathematical Society, 2001, Page 5.