Let 𝔤
be a Lie algebra. The
Remember that adX:𝔤→𝔤 is the map adX(Z)=[X,Z].
The goal of this video is to explain why the weight lattice of SU(3) is drawn as the triangular lattice. The reason is that the weight lattice has an intrinsic notion of geometry (dot product, lengths, angles) associated to it, coming from a bilinear form called the Killing form
Let 𝔤
be a Lie algebra. The
Remember that adX:𝔤→𝔤 is the map adX(Z)=[X,Z].
The choice of basis doesn't affect the answer: if we change basis, this conjugates the matrix of the linear map by a change of basis matrix, and trace is invariant under conjugation.
The Killing form is a symmetric bilinear form. This means that K(X,Y)=K(Y,X) and that K(a1X1+a2X2,b1Y1+b2Y2)=∑2i=1∑2j=1aibjK(Xi,Yj) .
It's symmetric because Tr(MN)=Tr(NM) for any two matrices M and N .
It's bilinear because (a) adX is linear in X , (b) adY is linear in Y , and (c) the trace is linear on matrices.
A more famous symmetric bilinear form is the dot product on Euclidean space. So I want to think of K as like a dot product, and use it to define lengths of and angles between vectors in the same way (using the same formulas) that we do for dot product. That's what I mean when I say that certain roots make a 120 degree angle with one another, for example. For this to be true, we will need the Killing form to have certain positivity properties when restricted to subspaces of 𝔤 . We will discuss this later. For now, let's work out an example.
Let 𝔤=𝔰𝔩(3,𝐂) and let H13=(10000000-1) and H23=(00001000-1) . Together, these span the subspace 𝔥𝐑={Hθ:=θ1H13+θ2H23=(θ1000θ2000-θ1-θ2):θ1,θ2∈𝐑}
If we think of this as a dot product, then this would be telling us |H13|=|H23|=√12
Let's proceed with the calculation. What is adH13:𝔰𝔩(3,𝐂)→𝔰𝔩(3,𝐂) ? Let's calculate the matrix of this linear map with respect to the basis: H13,H23,E12,E21,E13,E31,E23,E32.
As a matrix, therefore, adH13 is the diagonal matrix: adH13=(001-12-21-1).
Similarly, we find that adH23=(00-111-12-2).
Therefore K(H13,H13) is the trace of (001-12-21-1)2=(00114411)
Finally, we have K(H13,H23)=Tr((001-12-21-1)(00-111-12-2))=-1-1+2+2+2+2=6.
Consider the basis of 𝔰𝔲(2) given by the Pauli matrices σ1=(i00-i),σ2=(01-10),σ3=(0ii0)