Professional Documents
Culture Documents
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright Clearance
Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to photocopy
is not required from the publisher.
Printed in Singapore
To the Students of all Greek Universities who greatly
appreciated the Greek version of this book and thus
encouraged the present edition.
This book was initiated in a set of lectures I have given at Nanjing Uni-
versity, since 2012. Most of the first chapter of the current volume is taken
from a set of lectures on The Standard Model and Beyond delivered to the
first-year graduate students of Department of Physics of Nanjing University
during the Fall of 2012 and later appeared as “Lecture Notes in Particle
Physics: The Standard Model and Beyond, Nanjing University Press, Nan-
jing, China, 2013”.
The other chapters of this volume resulted from a set of lectures on
Elementary Group Theory and Applications which have been delivered in
the Spring Semester of 2016 to advanced undergraduate and graduate stu-
dents of Nanjing University. I am indebted to the students who attended
the class for comments, suggestions and criticism. I am particularly in-
debted to Ruo Fei Xie, who acted voluntarily as my Teaching Assistant
(TA), read the notes carefully, made useful suggestions and transformed
most of the tables of the appendix in LaTeX form. In addition, I am happy
to acknowledge his excellent drawing of the Dynkin and the weight chain
diagrams.
I acknowledge support for my visit to Nanjing University by the Physics
Department and Professor Yeukkwan Edna Cheung. I am thankful to her
and Dr Konstantin G. Savvidy for their hospitality.
A major part of this volume, mainly chapters 4–8, was initiated during
a visit of the author at the University of South Carolina during the spring of
2015 and was almost completed while on a visit to ARC Centre of Excellence
in Particle Physics (CoEPP), University of Adelaide, Australia during the
Fall–Winter of the same year.
vii
viii Group and Representation Theory
The final touch was put at the Center for Axion and Precision Physics
(CAPP), IBS, KAIST, S. Korea, during a visit in the Fall of 2016.
The author is indebted to distinguished S.C. Professor Frank
Avignone and the Director of the Adelaide node of CoEPP, Professor
Anthony Thomas and the director of CAPP, Professor Y. Semertzidis, for
their support and hospitality.
There exist many similar titles in the market. This book differs from other
existing books in the sense that it tries to bridge more efficiently the gap be-
tween the mathematical structure, Lie groups and Lie algebra, with actual
applications. It has tried not to fall short of adequately describing realistic
applications or to introduce more or less ad hoc the basic conclusions of
the relevant mathematics into the applications.
Furthermore, this book is organized so that it can be used by an ad-
vanced undergraduate or beginner graduate student without going through
the full mathematical machinery. This can be achieved by going through
the rather elementary chapters 1, 2 and 10. Only familiarity with quan-
tum mechanics and an introduction to mathematical methods of physics
is a prerequisite. By studying only this part the reader will be rewarded
by obtaining the solution of the Kepler’s problem without solving a dif-
ferential equation via the Rünge-Lenz vector as well as by doing the same
thing for all differential equations encountered in quantum mechanics. An
instructor may also select to study these chapters in the first term and con-
tinue with the more elaborate mathematical structure in the second term.
Alternatively, he may skip chapters 1, 2 and 10 altogether and start with
chapter 3.
There exist many useful tables in the appendix, which can be used by
an experienced reader. They were constructed, however, mainly for the
reader who has understood the main text.
J.D. Vergados
KAIST, Daejeon, S. Korea, October 2016
Contents
Preface vii
ix
x Group and Representation Theory
4. Lie Algebras 93
4.1 Introduction to Lie algebras . . . . . . . . . . . . . . . . . 93
4.2 Homomorphism-isomorphism of Lie algebras . . . . . . . . 94
4.3 Classification of Lie algebras . . . . . . . . . . . . . . . . . 95
4.4 Roots and root diagrams . . . . . . . . . . . . . . . . . . . 95
4.5 The Cartan-Weyl theory — The root diagrams . . . . . . 98
4.6 Graphical representation of roots . . . . . . . . . . . . . . 101
4.7 Examples with ` ≤ 2 . . . . . . . . . . . . . . . . . . . . . 103
4.8 Construction of the algebras from the root system . . . . 106
Contents xi
Bibliography 327
Index 329
Chapter 1
1.1 Definitions
• Xi ∈ G0 , Yj ∈ G0 → Xi Yj ∈ G0 ,
• the elements of G0 satisfy all the above group properties.
Furthermore, if for any two elements of G0 we have:
Xi Yi = Yi Xi
then G0 is called Abelian.
A group is simple, if it does not contain any invariant subgroups, i.e.
non-trivial subgroup. A group is semisimple, if it does not contain any
continuous invariant Abelian subgroups.
1
2 Group and Representation Theory
Table 1.1: The multiplication table of the discrete group G = {1, −1, i, −i}
i −i 1 −1
−i 1 −1 −i i
i −1 1 i −i
1 i −i 1 −1
−1 −i i −1 1
Example 1: The set {i, −i, 1, −1} forms a group with a multiplication table
given in Table 1.1. This is an Abelian group.
The set {−1, 1} forms a subgroup of the above group. The subset {i, −i}
does not form a subgroup.
The matrices are well-known entities. We will briefly summarize here some
aspects relevant to groups.
X
(α)(β) = γ ↔ (αβ)ij = γij , (αβ)ij = αik βkj .
k
with
where Cij is the co-factor determinant of the matrix obtained after stripping
the row i and the column j. Furthermore,
(α)I = α
where I is the identity matrix, i.e. the matrix with 1 along the diagonal
and zeros everywhere else. Furthermore, since det(γ) = det(α)det(β),
if det(α) 6= 0 and det(β) 6= 0 ⇒ det(γ) 6= 0.
Thus the set of n × n non-singular matrices form a group.
For any given matrix (α) one defines the following matrices obtained
from it:
(α) → (αT ), (αT )ij = (α)ji transpose of (α)
∗
(α) → (α+ ), (α+ )ij = ((α)ji ) Hermitian conjugate of (α).
In other words the Hermitian conjugate is the complex conjugate of the
transpose matrix.
A matrix is symmetric if (αT ) = (α) and Hermitian if (α+ ) = (α).
Possible subgroups:
(1) The set of unitary matrices. A matrix is said to be unitary if:
(U + ) = U −1 ⇔ (U )(U + ) = (U + )(U ) = I ⇒
X X
(U + )(U ) = I ⇒ (U + )ik (U )kj = δij ⇒ (U ∗ )ki (U )kj = δij
k k
X X
+
(U )(U ) = I ⇒ (U )ik (U + )kj = δij ⇒ (U )ki (U ∗ )jk = δij .
k k
This shows the orthogonality of the rows and the orthogonality of
the columns (see below). In particular:
X X
∗
Uik Uik = 1, |Uik |2 = 1.
k k
The number of possible parameters 2n2 . The number of con-
straints:
X
i) |Uik |2 = 1, i = 1, 2, · · · , n → n constraints,
k
X
∗ 1
ii) Uik Ujk = 0 i 6= j → 2 · n(n − 1) constraints.
2
k
Thus the number of independent parameters is:
1
2n2 − n − 2 · (n − 1)n = 2n2 − n − n2 + n = n2 .
2
Recall now some facts about the scalar product in complex spaces:
4 Group and Representation Theory
Consequently:
hU α|U |βi = hα|U + U |βi = hα|βi. (1.3)
That is the unitary matrices have the nice property of preserv-
ing the scalar product of two vectors defined in a complex space.
Furthermore, if U1 unitary and U2 unitary
(U1 U2 )+ = U2+ U1+ ,
(2) The special unitary group SU(n) is a subset of U(n) such that
det(U ) = 1.
Thus now the number of independent parameters is: n2 − 1.
(1)
Furthermore:
(2)
(3)
tr(λi λj ) = 2δij ,
[λα , λβ ] = 2ifαβγ λγ .
1
Tk = λk ⇒ [Tα , Tβ ] = ifαβγ Tγ .
2
It is adequate to consider α ≤ β. Then the nonzero values of the parameters
fαβγ are given in Table 1.2: Note that in the special case of α = 4, β = 5
two terms appear in the commutator with the indicated structure constants.
Similarly for α = 7, β = 8.
λk
To each generator λk , there corresponds a group element, Uk = eiθk 2 .
Elements of Group Theory 9
µ ν ρ fµνρ µ ν ρ fµνρ
1 2 3 1 1
3 7 6 2
1 3 2 −1 1
4 5 3 2
1 √
1 4 7 2 8 3
2
1 5 6 − 21 4 6 2 1
2
1
1 6 5 2 4 7 1 1
2 √
1 7 4 − 21 3
4 8 5 − 2
2 3 1 1 ; 1
5 6 1 −2
1
2 4 6 2 1
5 7 2 2
1 √
2 5 7 2 3
5 8 4
2 6 4 − 21 2
1 6 7 3 − 12
2 7 5 2
√
3
1 8
3 4 5 2
2√
3 5 4 − 21 6 8 7 − 23
√
3
3 6 7 − 21 7 8 6 2
1 n2 + n − 4n + 2 (n2 − 3n + 2)
n(n + 1) − (2n − 1) = = phases eiδj .
2 2 2
Thus
n = 2 ⇔ one angle
a∗ c∗ |a|2 + |c|2 a∗ b + c∗ d
ab 10
I = = =
b∗ d∗ cd b∗ a + d∗ c |b|2 + |d|2 01
⇒ |a|2 + |c|2 = 1, |b|2 + |d|2 = 1, a∗ b + c ∗ d = 0
⇒ d = a∗ , c = −b∗ , |a|2 + |b|2 = 1 .
Thus
a b
(α) = |a|2 +|b|2 = 1, a = cos θeiα , b = sin θeiβ , α, β real,
−b∗ a
s13 e−iδ13
c12 c13 s12 c13
= −c23 s12 − s23 s13 c12 eiδ13 c12 c23 − s12 s23 s13 eiδ13 s23 c13
−c12 c23 s13 eiδ13 + s23 s12 −c12 s23 − s12 s13 c23 eiδ13 c23 c13
(1.34)
m m
(1) Ck` = −C`k .
(2) They satisfy the Jacobi identity. Indeed from the operator identity:
[[Tk , T` ], Tm ] + [[T` , Tm ], Tk ] + [[Tm , Tk ], T` ] = 0 , (1.38)
it follows that
X ρ ρ
n ρ n n
(Ck` Cnm + C`n Cnk + Cmk Cn` ) = 0. (1.39)
n
(3) The above operation defines the product of two elements of the set:
A × B ≡ [AB − BA] ≡ [A, B].
In this sense the above operators constitute an algebra.
Problem: A set of n × n matrices Eij are given such that its elements are
given by (Eij )α,β = δiα δjβ .
• Show that this set constitutes a basis in the space of n×n matrices.
• Show that it constitutes a Lie algebra and obtain its structure
constants:
[Eij , Ek` ] = δjk Ei` − δi` Ekj .
• Is the algebra semisimple? If not find an Abelian subalgebra.
• What is the number of the elements of the algebra? The maximum
number of the Abelian elements?
• If it is not semisimple, write it as a sum of two such algebras.
Once the structure constants we can obtain two useful concepts for the
group, namely the metric tensor and the Casimir operator. The latter is
an operator, which commutes with all the members of the algebra charac-
terizing the group.
Then
1 µν
gµν = i2 µρβ νβρ = µβρ νβρ = 2δµν , g µν = δ , (1.41)
2
i.e. gµν is diagonal, in fact twice the identity matrix.
With the use of the metric tensor, among other things, we can see
whether an algebra is semisimple, whether or not it has an Abelian subal-
gebra. If it is not semisimple2 one can find at least one element Xρ , which
commutes with all the other elements of the algebra, i.e.
σ
[Xλ , Xρ ] = 0, all λ → Cλ,ρ = 0 for all ρ, σ.
This means that an entire row (column) of the matrix has elements, which
are zeros, i.e. the metric tensor is singular.
1.5 Representations
a df (x) a2 d2 f (x) a2 d2
a d
f (x+a)=f (x)+ + +· · · = 1+ + ··· f (x),
1! dx 2! dx2 1! dx 2! dx2
d d
f (x + a) = ea dx f (x) ⇒ Ta = ea dx .
We verify
∞
d
a dx
X dn
Ta f = e f= an f = f (x + a).
n
dxn
d ~ d
Usually instead of dx we use the momentum operator px = i dx , which is
a Hermitian operator. Therefore
px
Ta = eia ~ . (1.48)
We can generalize Eq. (1.47) in three dimensions:
L: r → r − a, a = constant. (1.49)
18 Group and Representation Theory
dimensions, of course, it makes no difference, since we have three planes and three axes.
So it is immaterial whether we talk about a rotation in the plane (x, y) or around the
z-axis, which is defined to be perpendicular to it. This is not true in higher dimensions.
In four dimensions, e.g., we have 4 axes, but six planes. So the number of possible
rotations is 6.
Elements of Group Theory 19
We thus find:
cos θ12 sin θ12 0
Rz ↔ R12 = − sin θ12 cos θ12 0 rotation in the (1, 2) plane, (1.54)
0 0 1
cos θ13 0 sin θ13
Ry ⇐⇒ R13 = 0 1 0 rotation in the (1, 3) plane, (1.55)
− sin θ13 0 cos θ13
1 0 0
Rx ⇐⇒ R23 = 0 cos θ23 sin θ23 rotation in the (2, 3) plane. (1.56)
0 − sin θ23 cos θ23
This is the fundamental (basic) representation of the group SO(3) ≡ R(3),
with R(3) the group of rotations in 3-dimensional space. It is fundamental
in the sense that its dimension is the same with the dimension of the space,
i.e. the non-trivial representation with the lowest dimension. This can
trivially be extended to SO(n).
The above matrices can be found directly in the case of SO(3) without
going through the algebra. For more complicated groups one has no choice
but to start from the algebra and proceed as above. The opposite, i.e. to
get the generators of the algebra from those of the group, is, however, sim-
pler as is exhibited in the next example.
Example 3: From the above group generators of SO(3), we obtain the cor-
responding generators of the corresponding algebra.
We can do this by proceeding in the opposite direction by considering the
expansion:
dR
Rij = Rij (0) + iθij Jij , Jij = −i . (1.57)
dθij θij =0
Then
0 −i 0
dR
T3 ⇐⇒ J12 = −i = i 0 0, (1.58a)
dθ12 θ12 =0 0 0 0
0 0 −i
dR
T2 ⇐⇒ J13 = −i = 0 0 0 , (1.58b)
dθ13 θ13 =0 i0 0
00 0
dR
T1 ⇐⇒ J23 = −i = 0 0 −i . (1.58c)
dθ23 θ23 =0 0i 0
Elements of Group Theory 21
These are the same with the matrices γij above. We can verify that:
[Tk , T` ] = ik`m Tm . (1.59)
We can also define the operators:
dR
Kij = . (1.60)
dθij θij =0
Then
0 0 0
dR
K1 ≡ K23 = = 0 0 1,
dθ23 θ23 =0 0 −1 0
0 01
dR
K2 ≡ K13 = = 0 0 0,
dθ13 θ13 =0 −1 00
0 10
dR
K3 ≡ K12 = = −1 0 0,
dθ12 θ12 =0 0 00
which are antisymmetric. We can verify that
[Kk , K` ] = k`m Km . (1.61)
a+
i |0 = |i , ai |0 = 0
22 Group and Representation Theory
[ai , a+ + +
j ] = δi,j , [ai , aj ] = 0, [ai , aj ] = 0.
Ak` = a+
k a` (1.64)
Indeed
that is the matrix (ejk ) has 1 in row j and column k and zero elsewhere.
For SU(n) a slight complication arises, since the matrices have to be
traceless. The mathematicians choose the elements:
As we have seen the physicists prefer a different basis. In the case of SU(3)
1
λ6 =e23 +e32 , λ7 = −i(e23 −e32 ), λ3 = e11 −e22 , λ8 = √ (e11 + e22 − 2e33 ) .
3
Elements of Group Theory 23
[λk , λ` ] = cm
k` λm . (1.69)
Adj(λk )|`i = cm
k` |mi. (1.70)
T1 |1i = 0, (1.73)
3
T1 |2i = C12 |3i = i|3i, (1.74)
2
T1 |3i = C13 |2i = −i|2i. (1.75)
3
T2 |1i = C21 |3i = −i|3i, (1.77)
T2 |2i = 0, (1.78)
1
T2 |3i = C23 |1i = i|1i, (1.79)
0 0i
T2 = 0 0 0 . (1.80)
−i 0 0
24 Group and Representation Theory
10 0 0
(I) (0) 0 1 0 0
Σ3 = = .
(0) −I 0 0 −1 0
00 0 −1
One can verify that:
[Σj , Σk ] = 2ijkm Σm ,
i.e. it is the same as that involving the Pauli matrices σi (see Eq. (1.62)).
Sometimes the group elements are given and one proceeds to construct
the algebra. Then, from the structure constants of the algebra, a new
representation can be obtained.
0 01 0 0 1
So this representation is reducible to three 1-dimensional representations.
One simple way to find whether or not a representation is irreducible
is by calculating the corresponding Casimir operators associated with this
representation. If they are diagonal, the representation is perhaps irre-
ducible. If it is reducible the diagonal elements of the Abelian sub-algebra
will give a hint about the transformation required to reduce it. We will
illustrate this by some examples.
Example 1a: Let us consider the matrices Γ1 , Γ2 , Γ3 as follows:
√ √
3 i 3
0 2 0 0 0 − 2 0 0
√3 i√3
2 0 1 √0 0 −i 0√
2
Γ1 = , Γ 2 = ,
0 1 0 23 0 − i 23
0 i
√ √
0 0 23 0 0 0 i 23 0
3
0 0
2 0
0 1 0 0
Γ3 = 2 .
0 0 −1 0
2
0 0 0 − 23
One can verify that
[Γk , Γm ] = ikmn Γn
that is they form a representation of SU(2). This representation is irre-
ducible since:
3 5 15
Γ21 +Γ22 +Γ23 = × I= I and Γ3 is the diagonal representation of
2 2 4
s = 3/2.
Example 1b: Let us again consider the 4 × 4 matrices Γ1 , Γ2 , Γ3 as follows:
1 1
0 − 2i − 2i 0
0 2 2 0 100 0
1 0 0 1 i 0 − 2i
2 , Γ = 2 0
0 0 0 0
Γ1 = 2
2 i 0 0 − i , Γ3 = 0 0 0 0 . (1.93)
1 0 0 1
2 2 2 2
0 12 21 0 0 2i 2i 0 0 0 0 −1
28 Group and Representation Theory
One sees immediately that this is reducible, since the Casimir operator
constructed from it is not a multiple of the identity. The form of the value
of the Casimir operator as well as the diagonal values of Γ3 suggest that it
contains a representation associated with spin one, containing m = 1, 0, −1
and a trivial representation with spin zero. So we identify
1 1
|s = 1, m = 1 ⇔ |1 , |s = 1, m = 0 ⇔ √ |2 + √ |3 ,
2 2
1 1
|s = 1, m = −1 ⇔ |4 , |s = 0, m = 0 ⇔ √ |2 − √ |3 .
2 2
The desired unitary transformation is:
1 0 0 0
0 √1 0 √1
S = 12 2
0 √2 0 − √12
0 0 1 0
(2) (2) (2)
and thus we find γ1 = γ2 = γ3 = (0), the last row and column of the
reduced matrix contain only 0 and the upper left block is:
0 √12 0 0 − √i2 0
10 0
(1) (1) (1)
γ1 = √12 0 √12 , γ2 = √i2 0 − √i2 , γ3 = 0 0 0
0 √12 0 0 √i2 0 0 0 −1
(1.94)
which is the familiar adjoined representation of SU(2). The remaining one
is just the scalar representation associated with s = 0.
Example 2: Let us now consider the 6 × 6 matrices Γ1 , Γ2 , Γ3 as follows:
0 21 √12 0 0 0 0 − 2i − √i2 0
0 0
1 0 0 √1 0 0 i 0 0 − √i2 0 0
2 2 2
1
√ 0 0 21 √1 0 √i 0 i
0 −2 − 2 0 i
√
Γ1 = 2 2 2
1 , Γ2 =
1 1 i i
0 √2 2 0 0 √2 0 √2 2 0 0 − √i2
0 0 √12 0 0 21 0 0 √i2 0 0 − 2i
0 0 0 √12 12 0 0 0 0 √i
2
i
2 0
(1.95)
together with the diagonal matrix Γ3 with elements (3/2, 1/2, 1/2, −1/2,
−1/2, −3/2) along the diagonal. One can verify that:
[Γk , Γ` ] = ik`m Γm . (1.96)
In other words it is a 6-dimensional representation of SU(2).
Elements of Group Theory 29
One can immediately see that this representation is reducible, since the
operator Γ21 + Γ22 + Γ32 is not a multiple of the identity. Another basis,
however, can be found via a unitary transformation S. To get a hint about
how to proceed we look at the diagonal elements of Γ3 . One sees that
there exist two sets of degenerate m values, associated with m = 1/2 and
m = −1/2. The presence of m = ±3/2 suggests that it must contain a
representation S = 3/2 involving the m = 3/2, 1/2, −1/2, −3/2. Then the
remaining m = ±1/2 are absorbed by the s = 1/2 representation. So we
can take any linear combination of the degenerate m values. In hindsight I
choose:
p p
|3/2, 3/2 ⇔ |1 , |3/2, 1/2 ⇔ 1/3| |2 + 2/3| |3 ,
r r
3 1 2 1 11 2 1
| , − ⇔ | |4 + √ |5 , | ⇔ − |2 + √ | |3 ,
2 2 3 3 22 3 3
r
1 1 1 2 33
| − ⇔ − √ |4 + | |5 , | ⇔ |6 .
2 2 3 3 22
This leads to the unitary matrix:
1 0 0 0 q0 0
0 √13 0 0 − 23 0
q
2 √1
0 0 0 0
3 q 3
2 1
0 0 0 0 − 3
√
3 q
√1 2
0 0 3
0 0 3
0 0 0 1 0 0
so that the above representation can be cast in the form of Eq. (1.92) with:
√ √
0 23 0 0 0 − i 23 0
√ √
0
3
0 1 √0 (1) i 2 3 0 −i 0√
(1)
γ1 = 2 , γ = ,
0 1 0 23 2 0 − i 23
0 i
√ √
3 i 3
0 0 2 0 0 0 2 0
3
2 0 0 0
0 1
(1) 2 0 0
γ3 =
0 0 − 12 0
0 0 0 − 32
and
1
0 − 2i
1
(2) 0 2 (2) (2) 2 0
γ1 = 1 , γ2 = i , γ3 = .
2 0 2 0 0 − 12
30 Group and Representation Theory
(i)
Thus the Γi are reducible, while the γk are irreducible. As we have already
seen that those with k = 1 are associated with spin 3/2, while those with
k = 2 with spin 1/2.
Conclusion: The Kronecker product of two representations of the same
algebra is, in general, reducible. The most familiar example is the reduction
of two angular momenta, known from quantum mechanics. We know that:
jX
1 +j2
In the above example this reducible representation arises out of the Kro-
necker product |1/2, m1 ⊗|1, m2 . Clearly
11 33 1 1 3 3
| |1, 1 = | | − |1, −1 = | − .
22 22 2 2 2 2
For the cases m1 + m2 = ±1/2 using the coefficients used in the above
example we get the results given in Table 1.4.
This will be discussed in some detail in chapter 2, sections 2.6.1 and
2.6.2.
For other groups this very important topic will be discussed in chapter 9,
sections 9.2 and 9.3.
Table 1.4: The coefficients for the reduction of the product |1/2, m1
⊗|1, m2 of SO(3) for m1 + m2 = ± 12
1 3
j1 m1 j2 m2 J= 2
J= 2
√
1 1 √1 √2
2 2
1 0
3 3
√
1
2
− 21 1 1 − √2 √1
3 3
√
1
2
− 21 1 0 − √1 √2
3 3
√
1 1 √2 √1
2 2
1 −1
3 3
Elements of Group Theory 31
One can now verify that these 3 × 3 matrices obey the same commutation
relations as the original Pauli matrices as given in the above table. It is
a 1-1 mapping. This is the adjoined representation. We see that what
really enters in its construction is the structure constants. In other words,
this representation can always be constructed once an acceptable set of
structure constants is given.
Another Cartesian basis is:
0 −1 0 0 i 0 10 0
J1 = −1 0 1 , J2 = −i 0 −i , J3 = 0 0 0
0 1 0 0 i 0 0 0 −1
or normalized differently:
0 − √12 0 0 √i2 0
10 0
λ1 = − √12 0 √12 , λ2 = − √i2 0 − √i2 , λ3 = 0 0 0 ,
0 √1 0 0 √i2 0 0 0 −1
2
tr(λi λj ) = 2δij ,
[λi , λj ] = iijk λk
or another different normalization
0 −1 0 0 i 0
1 1 1
I1 = −1 0 1 , I2 = −i 0 −i , I3 = √ λ3 ,
2 2 2
0 1 0 0 i 0
tr (Ii Ij ) = δij ,
T+ |1, 1i = 0,
√
T+ |1, 0i = 2 |1, 1i ,
√
T− |1, 1i = 2 |1, 0i
Elements of Group Theory 33
√
0 2 √0 √0 0 0 10 0
T+ = 0 0 2, T− = 2 √0 0 , T0 = 0 0 0 ,
0 0 0 0 20 0 0 −1
T+ = T1 + iT2 ,
T− = T1 − iT2 ,
√
0 2 √0 √0 0 0
2T1 = 0 0 2 + 2 √0 0 ,
0 0 0 0 20
√
0√ 1/ 2 0√ 01 0
1
λ1 = T1 = 1/ 2 0√ 1/ 2 = √ 1 0 1,
2
0 1/ 2 0 01 0
i
λ2 = T2 = − (T+ − T− )
2 √
0 2 √0 √0 0 0 0 −i 0
i 1
=− 0 0 2 − 2 √0 0 = √ i 0 −i
2 2
0 0 0 0 20 0 i 0
10 0
1
T3 = √ 0 0 0 .
2
0 0 −1
In summary:
• The I = 1/2 representation of the SU(2) is described by the Pauli
matrices
01 0 −i 1 0
τ1 = , τ2 = , τ3 = .
10 i 0 0 −1
• the I = 1 representation of the SU(2) group is described by the
010 0 −i 0 10 0
1 1
λ1 = √ 1 0 1 , λ2 = √ i 0 −i , λ3 = 0 0 0 .
2 2
010 0 i 0 0 0 −1
[λk , λl ] = iklm λm ,
tr(λk λl ) = 2δkl .
coincides with the number of axes n. This of course is not true in higher
dimensions. We have seen that the number of parameters in the case of a
real orthogonal group is (1/2)n(n − 1), i.e. it coincides with the number of
planes. Thus we can talk about a rotation in a given plane. A rotation in
the (1, 2) plane also leaves unchanged the axis perpendicular to it. Thus
going from n = 3 to n = 4 we have:
cos θ1,2 sin θ1,2 0 0
cos θ3 sin θ3 0 − sin θ1,2 cos θ1,2 0 0
R3 = − sin θ3 cos θ3 0 → R1,2 = , (1.98)
0 0 1 0
0 0 1
0 0 01
cos θ13 0 sin θ1,3 0
cos θ2 0 sin θ2 0 1 0 0
R2 = 0 1 0 → R1,3 =
− sin θ1,3
, (1.99)
0 cos θ1,3 0
− sin θ2 0 cos θ2
0 0 0 1
1 0 0 0
1 0 0 0 cos θ2,3 sin θ2,3 0
R1 = 0 cos θ1 sin θ1 → R2,3 =
0 − sin θ2,3 cos θ2,3
. (1.100)
0
0 − sin θ1 cos θ1
0 0 0 1
One has, of course, three additional rotations involving the fourth compo-
nent:
cos θ1,4 0 0 sin θ1,4 1 0 0 0
0 10 0 , R2,4 = 0 cos θ2,4 0 sin θ2,4 ,
R1,4 =
0 01 0 0 0 1 0
− sin θ1,4 0 0 cos θ1,4 0 − sin θ2,4 0 cos θ2,4
(1.101)
10 0 0
0 1 0 0
R3,4 =
0 0 cos θ3,4 sin θ3,4 .
00 0 0 000 0 00 0 0
0 0 −i 0 0 0 0 −i 0 0 0 0
J2,3 =
0 i 0 0 , J2,4 = 0 0 0 0 , J3,4 = 0 0
.
0 −i
00 0 0 0i0 0 00 i 0
These generators obey the commutators
[Jij , Jk` ] = i (δik Jj` + δj` Jik − δi` Jjk − δjk Ji` ) . (1.103)
Sometimes in the literature one finds the notation:
M1 = J2,3 , M2 = J3,1 , M3 = J1,2 , N1 = J1,4 , N2 = J2,4 , N3 = J3,4 .
Then one can show:
[Mj , M` ] = ij`k Mk , [Nj , N` ] = ij`k Mk , [Mj , N` ] = ij`k Nk . (1.104)
The group O(4) is semisimple, since it does not have continuous Abelian
invariant subgroups. It is not simple, however, since it has non Abelian
invariant subgroups. Indeed define:
M i + Ni M i − Ni
Ai = , Bi = .
2 2
Then
[Aj , A` ] = ij`k Ak , [Bj , B` ] = ij`k Bk , [Aj , B` ] = 0. (1.105)
The two sets of generators are disjoint. Thus we write:
O(4) = O(3) ⊗ O(3).
Its properties are essentially those of O(3).
Show that for O(4) the following matrices constitute a basis:
0 0 21 0 0 0 − 2i 0
1
2 0 0 0
0 0 0 1 0 0 0 −i 0 1 0 0
A1 = 2 , A = 2 , A = 2
2 3 0 0 −1 0 ,
1 0 0 0 i 0 0 0
2 2 2
0 21 0 0 0 2i 0 0 0 0 0 − 12
(1.106)
1 i 1
0 −2 0 0
0 2 0 0 2 0 0 0
1 0 0 0 i 1
, B2 = 2 0 0 0 , B3 = 0 − 2 0 0 .
B1 = 2
0 0 0 1 0 0 0 −i 0 0 1 0
2 2 2
1 i
0 0 2 0 0 2 0 0 0 0 0 − 12
(1.107)
Then verify that
[Ak , Al ] = iklm Am , [Bk , Bl ] = iklm Bm , [Ak , Bl ] = 0. (1.108)
Hint: consider the Kronecker product A ⊗ B when
36 Group and Representation Theory
i) A = (1/2)(σ1 , σ2 , σ3 ), B = I,
ii) A = I, B = (1/2)(σ1 , σ2 , σ3 ).
The O(4) symmetry appears both in classical and quantum physics, when
the system is described by a potential ∝ 1/r. It is due to this symmetry
that in the Kepler’s problem the line connecting the two focuses of the
ellipse is not moving (the orbit is plane due to the conservation of angular
momentum, valid for any central potential. The shape of the orbit is a
consequence of both angular momentum and energy). A small perturbation
destroys this symmetry (the perihelion moves!). Similarly in hydrogen like
atoms we have a high degree of degeneracy, the energy depends on n, but it
does not depend on the orbital angular momentum quantum number `, as
is the case for any other central potential. A small perturbation destroys
this symmetry, the extra degeneracy is removed.
Define now
p µ
− 2H E < 0
R̃j = Rj (1.114)
p µ
2H E > 0.
Then
i~jk` R̃` E < 0
[R̃j , R̃k ] = (1.115)
−i~jk` R̃` E > 0.
Defining now
Li R̃i
Mi = , Ni = , (1.116)
~ ~
we recover Eq. (1.104) for E < 0 and proceed as above. For E > 0 we get
[Nj , Nk ] = −ijk` N` , but we will not concern ourselves with this case.
Fig. 1.1: The role of the Rünge-Lenz vector, here indicated by A in Keple-
rian motion.
Thus
dR
= 0. (1.118)
dt
Its relevance to the Kepler problem is given in Fig. 1.1. Since the vectors L
and R are conserved and perpendicular, we can define a natural coordinate
system:
L R
ê3 = , ê1 = , ê2 = ê3 × e1 . (1.119)
L R
The orbit is perpendicular to L. So
r = r(ê1 cos θ + ê2 sin θ) (1.120)
dr dr dθ dr dθ
p=µ = µ ê1 (cos θ − r sin θ ) + ê2 (sin θ + r cos θ )
dt dt dt dt dt
but
dθ dθ mur2
L = µr2 ê3 ⇒ = .
dt dt L
Thus
2 2
dr L dr L
R = ê1 L sin θ + − k cos θ −ê2 L cos θ − − k sin θ .
dt µr dt µr
But by definition R = rê1 , which implies
2
1 L2
dr L dr
L cos θ = − k sin θ ⇒ = − k tan θ,
dt µr dt L µr
Elements of Group Theory 39
L
R = ê1 r − k sin θ.
µ
Thus
s
L2
L 1
R=k 1+ E= −k
2µk 2 µr cos θ
or
`
r= (equation of the orbit) (1.121)
1 + e cos θ
with
s
L2 2L2 E
`= ,e= 1+ .
µk µ k2
With the eccentricity e thus defined the parameters a and b of the elliptical
orbit are given by:
L2 1 k p
a= 2
=− , b = a 1 − e2 .
µk 1 − e 2E
that is
k3 µ
(1) 1 2
C =− 2 ~ +
2~ 2E
k3 µ
1 2
− 2 ~ + ψ = 2a(a + 1)ψ.
2~ 2E
Finally
µk 2 1
− = (2a + 1)2 ,
4~2 E 2
1 1 M
En = − mc2 (Ze2 )2 2 , (n = (2a + 1)), a = 0, 1/2, 1, 3/2, · · · .
2 n m+M
(1.126)
The above wave functions |a, ma , b, mb do not have a good angular mo-
mentum. However,
L = ~(A + B),
|a − b| ≤ ` ≤ a + b.
Thus the wave functions of good angular momentum are going to be of the
form:
X
|n`m = ≺ ma , mb |`, m δma +mb −m |a, ma , b, mb . (1.127)
ma ,mb
At this point we should briefly discuss the algebra generated by the group
of the proper Lorenz transformations L(1, 3). It is customary to change
the index 4 → 0. Then the elements Ri,j and Ji,j , i, j = 1, 2, 3 remain the
same, describing rotations in ordinary space. Those that contain the time
component are modified:
Ri,4 (rotations) → Λ0,i (boosts),
cosh ξ1 sinh ξ1 0 0 cosh ξ2 0 sinh ξ2 0
sinh ξ1 cosh ξ1 0 0 0 1 0 0
Λ0,1 =
0
, Λ0,2 = ,
0 1 0 sinh ξ2 0 cosh ξ2 0
0 0 01 0 0 0 1
(1.128)
cosh ξ3 0 0 sinh ξ3
0 10 0
Λ0,3 =
0
, (1.129)
01 0
sinh ξ3 0 0 cosh ξ3
where tanh ξi = −υi /c, υ the relative velocity of the two frames.
The infinitesimal generators are
00 0 0 000 0 000 0
0 0 −i 0 0 0 0 −i 0 0 0 0
L1,2 = 0 i 0 0 , L1,3 = 0 0 0 0 , L2,3 = 0 0 0 −i ,
00 0 0 0i0 0 00i 0
−i 0 0 0 0 −i 0 0 0 0 −i
0
−i 0 0 0 , L0,2 = 0 0 0 0 , L0,3 = 0 0 0 0 .
L0,1 =
0 0 00 −i 0 0 0 0 00 0
0 0 00 0 0 0 0 −i 0 0 0
Then we find the commutators:
[L0,j , L0,k ] = −iLj,k , [L0,j , Lk,n ] = i (δjn L0,k − δjk L0,n ) , (1.130)
[Lk,j , Lm,n ] = i (δkm Lj,n + δnj Lk,m − δkn Lj,m − δjm Lk,n ) . (1.131)
Note that if we define: J0,k = −iL0,k , Jm,n = Lm,n we obtain the same
commutators as in the case of O(4), namely:
[Jij , Jk` ] = i (δik Jj` + δj` Jik − δi` Jjk − δjk Ji` ) . (1.132)
42 Group and Representation Theory
We say that the two groups are locally isomorphic. They are not, of course,
isomorphic in the large. The elements corresponding to boosts are not
bounded.
At this point we should mention that it is common in physics to define
the generators in terms of infinitesimal operators containing derivatives.
Thus
• for SO(n):
~ ∂ ∂
Jj,k = xj − xk , j, k = 1, 2, · · · , n. (1.133)
i ∂xk ∂xj
They obey the rule:
[Jij , Jk` ] = i~ (δik Jj` + δj` Jik − δi` Jjk − δjk Ji` ) . (1.134)
dO
= i [H, O] any operator O,
dt
dO
= 0 ⇔ [H, O] = 0,
dt
dJ
= i [H, J] (e.g. angular momentum),
dt
dJ
= 0 ⇔ [H, J] = 0.
dt
We have seen that:
[Jk , Jl ] = iklm Jm k, l = 1, 2, 3.
Conservation of angular momentum implies energy degeneracy:
φjm ⇔ j independent of m ⇔ 2j + 1 degenerate states
ta , tb = iCcab tc
,→ structure constants,
∂L ∂L
δL = δφi + δ (∂µ φi ) .
∂φi ∂ (∂µ φi )
Note that δ (∂µ φi ) = ∂µ φ0i − ∂µ φi = ∂µ δφi ⇒
∂L ∂L ∂L ∂L
∂µ − = 0 ⇒ δL = ∂µ δφi + ∂µ (δφi )
∂ (∂µ φi ) ∂φi ∂ (∂µ φi ) ∂ (∂µ φi )
∂L ∂L
= ∂µ δφi = α ∂µ i tα φ j .
∂ (∂µ φi ) ∂ (∂µ φi ) ij
Define
∂L
Jµα = −i t α φj . (1.140)
∂ (∂µ φi ) ij
Then one gets
δL = 0 ⇔ ∂ µ Jµa = 0. (1.141)
We call this a conserved current. Thus the observed charge operator
Z
Q = d3 xJ0a (x)
(a)
(1.142)
Elements of Group Theory 45
Thus
This is an Abelian U(1) symmetry with the generator tij = iδij . Thus
Furthermore
a
1 µ2 † λ † 2 τij
∂µ φ† (∂ µ φ) − φ φ φi → φ0i = ia φj
L= φ φ+
2 2 4 2
01 0 −i 1 0
τ1 = τ2 = τ3 = .
10 i 0 0 −1
Now
i
Jµa = − ∂µ φ†i τij
a
φj − φ†i τij
a
∂µ φj ,
2
i
a
J0 = − ∂0 φ†i τij
a
φj − φ†i τij
a
∂0 φj
2
i a
=− ni τij φj − φ†i τij
a †
nj ,
2
with πi = ∂0 φ†i .
[Qa , Qb ] = iabc Qc .
Elements of Group Theory 47
Furthermore,
i a i b h i
− τkl ni φj − φ†i n†j , nk φl − φ†k n†l
a b
J0 , J0 = − τij
2 2
2
i n h i h i
= − a b
τij τkl [ni φj , nk φl ] − ni φj , φ†k n†l − φ†i n†j , nk φl
2
h io
+ φ†i n†j , φ†k n†l
2
i n h i
= − a b
τij τkl [ni , nk φl ] φj + ni [φj , nk φl ] + φ†i , φ†k n†l n†j
2
h io
+ φ†i n†j , φ†k n†l
2
i
= − a b
τij τkl δil nk φj − δjk ni φl − δil φ†k n†j + δjk φ†i n†l
2
2
i a b a b a b † † a b † †
= − τij τki nk φj − τij τjl ni φl − τij τki φk nj + τij τjl φi nl
2
2 h
i
τ b τ a kj nk φj − τ a τ b il ni φl − τ b τ a kj φ†k n†j
= −
2
i
+ τ a τ b il φ†i n†l
2 h
i i
τ b τ a − τ a τ b il ni φl − τ b τ a − τ a τ b il φ†i n†l
= −
2
2 h
i i
= − 2 ibac τilc ni φl − ibac τilc φ†i n†l
2
i h i
= abc τilc ni φl − φ†i n†l .
2
That is
a b
J0 , J0 = iabc J0c , [Qa , Qb ] = iabc Qc
and Z Z
3 0 3
d x d x J0a (x) , J0b (x0 ) = iabc d3 xJ0c (x) = iabc Qc .
[Qa , Qb ] =
such that:
∂µ J µ = ∂µ ψ̄ γ µ ψ + ψ̄γ µ ∂µ ψ = imψ̄ψ + ψ̄ (−imψ) = 0,
Z
d3 x ψ̄γ0 ψ ,
Q=
J0 = ρc, J = ρv,
Z Z
J0 (x) 3
Q = ρ (x) d3 x = d x,
c
Z
cQ = d3 xJ0 (x) .
Furthermore,
LEM EM µ
int = eJµ A (x) ,
Jµ (x) = ēγµ e + µ̄γµ µ + τ̄ γµ τ in SU(2).
For quarks in flavor SU(3)
2 1¯ 1
Jµ = (ūγµ u) − dγµ d − s̄γµ s,
3 3 3
a λa
Jµ = q̄ (x) γµ q (x) ,
2
a λa
Jµ,s = q̄γµ γ5 q (x) ,
2
1 1
1 1 1 1
Jµ = Jµ3 + √ Jµ8 ' q̄γµ −1 q + q̄ 1 γµ q
3 2 23
0 −2
1 1 2
2 6 3
= q̄γµ − 12 + 1
6
q = q̄γµ − 1
3
q.
1 1
−3 −3
0
1.13 Problems
(1) In the case of SU(2) one normally uses the Pauli matrices
01 0 −i 10
τ1 = , τ2 = , τ3 = , (1.147)
10 i 0 0 −1
(“Cartesian” basis). Other options are, however, possible. Thus
Elements of Group Theory 49
iii Obtain all commutation rules and construct a table giving the
non-vanishing commutators.
iv Using these generators construct the rotation matrix repre-
senting the product of any two different elementary rotations
of your choice. Does your answer agree with that obtained by
using i) above?
v Show that a basis can be found: So that
− 2i i
0 0 0 0 0 0 2
i 0 0 0 0 0 − 2i 0
A3 = 2 , B1 = ,
0 0 0 − 2i 0 i
2 0 0
i
0 0 2 0 − 2i 0 0 0
i
− 2i
0 0 2 0 0 0 0
0 i i
0 0 2
, B3 = 2 0 0 0
B2 =
−i i .
2 0 0 0 0 0 0 2
0 − 2i 0 0 0 0 − 2i 0
(4) Repeat step iii of the previous problem in the case of the eight
standard generators λi , i = 1, ..., 8 of the group SU(3).
(5) In the case of the previous problem find the matrix corresponding
to the product of any two different elementary “rotations” of the
type Uk = eiωk λk , which are non-diagonal.
Hint: You may find it useful to proceed by finding the eigenvalues
of the corresponding matrices.
(6) If you can afford the time and you have the energy:
Try to understand from the literature the role of SO(4) in the case
of potentials proportional to 1/r, e.g. the Rünge-Lenz vector in the
Keplerian motion and in understanding the degeneracy and obtain-
ing of the spectrum of the hydrogen atom in quantum mechanics.
Elements of Group Theory 51
(7) Try to generalize the results of the first problem in the case of the
Lorentz group.
Hint: Now the rotations in the three planes (i, 4), i = 1, 2, 3 are
actually boosts, ± sin θ → sinh(ξ), with ξ real. Now the generators
associated with boosts are different and the commutators involving
them have different signs than in the case of O(4). The matrices
Ai , however, can be chosen to be:
0 − 12 i
0 0 0 0 2 0
0 0 − 2i 0 , A2 = 0
0 0 − 12
A1 =
0 i − i
,
2 0 0 02 0 0
− 12 0 0 0 0 − 21 0 0
− 2i 1
0 0 0 0 0 0 2
i 0 0 0 0 0 − 2i 0
A3 = 2 , B1 = ,
0 0 0 − 21 0 i
2 0 0
0 0 − 12 0 1
2 0 0 0
i
0 − 2i
0 0 2 0 0 0
0 1 i
0 0 2 , B = 2 0 0 0
B2 =
−i 3 1 .
2 0 0 0 0 0 0 2
1 1
0 2 0 0 0 0 2 0
(8) Show that if a representation A(Ji ) = eiθi Ji of a group is given, its
∗
complex conjugate A∗ (Ji ) = e−iθi Ji is also a representation. This
is, of course, significant only if some of the Ji contain complex
numbers.
Regardless of whether you proved the above or not, show that in
the case of SU(2), Ji = σi , the complex representation is obtained
by:
σ1 → σ10 = −σ1 , σ2 → σ20 = σ2 , σ3 → σ30 = −σ3 .
Find the structure constants in the case of the σi0 ’s. Furthermore
show that, unlike the SU(3) the complex conjugate is equivalent to
the original one. Construct the transformation matrix that achieves
this.
(9) Show that the set of operators:
~ ∂ ∂
Lm,n = xm − xn , m 6= n, m, n = 1, 2, · · · , N
i ∂xn ∂xm
constitute a Lie algebra and obtain its structure constants. Spe-
cialize this in the case of N = 3 and give such operators a physical
meaning in the context of quantum mechanics.
52 Group and Representation Theory
3
3 X
H = ~ω N + ,N= a+
k ak = the number operator.
2
i=k
3 ⊗ 3̄ = 9 = 8 + 1
1
1 = √ (|1 |1̄ +|2 |2̄ +|3 |3̄ )
3
(Democracy at work!)
(17) Consider the generators of the algebra SO(2, 1):
• The relevant generators are:
1 ∂ ∂
J1 ≡ J01 = x0 + x1 ,
i ∂x1 ∂x0
1 ∂ ∂
J2 ≡ J02 = x0 + x2 ,
i ∂x2 ∂x0
1 ∂ ∂
J3 ≡ J12 = x1 − x2 . (1.156)
i ∂x2 ∂x1
Thus
2
dr L
R = ê1 L sin θ + − k cos θ
dt µr
2
dr L
− ê2 L cos θ − − k sin θ .
dt µr
But by definition R = rê1 , which implies
2
1 L2
dr L dr
L cos θ = − k sin θ ⇒ = − k tan θ,
dt µr dt L µr
L
R = ê1 r − k sin θ.
µ
Thus
s
L2
L 1
R=k 1+ 2
E= −k
2µk µr cos θ
or
`
r= (the equation of the orbit) (1.165)
1 + e cos θ
with
s
L2 2L2 E
`= , e= 1+ .
µk µ k2
The eccentricity is defined by
2L2
e2 = 1 + E,
µk 2
L2 1 k p
a= 2
=− b = a 1 − e2 .
µk 1 − e 2E
Furthermore
R2 = µ2 k 2 + 2mEL2 . (1.166)
The eccentricity can be written as
L2
a(1 ± e2 ) = `, ` = , + for ellipse, − for hyperbola.
µk
Since the vector R is conserved and it is always along the symme-
try axis, pointing from the center of the force to the perihelium,
its conservation implies that the perihelium does not move. The
Rünge vector gives one additional constant of motion on top of the
four resulting conservation of energy and angular momentum, since
we have the two constraints given by Eqs. (1.161) and (1.166).
Elements of Group Theory 61
2.1 Introduction
The groups SU(2) and SO(3) are the simplest continuous groups. Their
associated algebras also simple and well-studied. They are useful tools in all
branches of physics. They have also played a crucial rule in the development
of quantum mechanics. The essential starting ingredients have been studied
in the introductory chapter. Some more formal aspects will be examined
in this chapter.
63
64 Group and Representation Theory
Since these operators are Hermitian f (α) and m must be real and the eigen-
vectors corresponding to different eigenvalues can be chosen to be orthog-
onal. Furthermore since the operator J 2 is positive definite, f (α) cannot
become negative. Furthermore using Eq. (2.1) the first of the eigenvalue
equations gives:
J− J+ |α, mi = (f (α) − m(m + 1)) |α, mi. (2.5)
Since, however, (J− )+ = J+ setting ψ = J+ |α, mi we get:
0 ≤ hψ|ψi = hα, m|J− J+ |α, mi = f (α) − m(m + 1) ⇒ f (α) − m(m + 1) ≥ 0.
(2.6)
Similarly choosing ψ = J− |α, mi we obtain:
f (α) − m(m − 1) ≥ 0. (2.7)
This means that Eqs. (2.6) and (2.7) can be simultaneously satisfied if:
p p
1 − 1 + 4f (α) −1 + 1 + 4f (α)
m1 ≤ m ≤ m2 where m1 = , m2 = .
2 2
(2.8)
Furthermore using Eq. (2.2) we obtain:
hα, m0 |J0 , J+ |α, mi = hα, m0 |J+ |α, mi
⇒ (m0 − m)hα, m0 |J+ |α, mi = hα, m0 |J+ |α, mi.
Thus for m0 6= m we get
m0 − m − 1 = 0. (2.9)
But Eq. (2.9) implies that m1 − m2 must be an integer, i.e.
p p
m2 − m1 ≥ 0 ⇒ −1 + 1 + 4f (α) = n ⇒ 1 + 4f (α) = n + 1, (2.10)
n = integer n ≥ 0 or
p p
m1 −m2 < 0 ⇒ 1− 1 + 4f (α) = n ⇒ 1 + 4f (α) = 1−n, n < 0. (2.11)
We will begin with the condition of Eq. (2.10). This implies:
nn+1
1 + 4f (α) = (n + 1)2 ⇒ f (α) = , f (α) = j(j + 1), (2.12)
2 2
with j = integer or half integer. This means that m1 = −j, m2 = j, i.e.
− j ≤ m ≤ j. (2.13)
From Eq. (2.11) proceeding similarly we obtain f (α) = j(j − 1), j = nega-
tive, integer or half integer. Thus:
j ≤ m ≤ −j, j = negative integer or half integer. (2.14)
Study of the SU(2) and SO(3) Representations and Applications 65
We will show below that the latter case leads to a representation, which is
not different from that with positive j and we will not discuss it here any
further.
We will thus label the eigenstates as |j, mi, j > 0. We now notice that:
J0 J+ |j, mi = [J0 , J+ ] |j, mi + J+ J0 |j, mi = (m + 1)|j, mi. (2.15)
In other words, J+ is an m raising operator, in the sense that if |j, mi
is an eigenvector of J0 wth eigenvalue m, J+ |j, mi is an eigenvector with
eigenvalue m + 1. Since however the space is finite we expect the process
to stop at the maximum possible m, i.e.
J+ |j, mi = N (+) (j, m)|j, m + 1i, |J+ |j, ji = 0.
The normalization constant is obtained via Eq. (2.6), i.e.
2
N (+) (j, m) = j(j + 1) − m(m + 1) = (j − m)(j + m + 1).
SO(3) involving rotations in ordinary space, the operators are the usual
angular momentum operators in units of ~, Ji → `i = Li /~ with
~ ∂ ∂ ~ ∂ ∂
Lz ⇔ Lxy = x −y , Lx ⇔ Lyz = y −z ,
i ∂y ∂x i ∂z ∂y
~ ∂ ∂
Ly ⇔ Lzx = z −x .
i ∂x ∂z
down with the operator `− . The obtained results are discussed in elemen-
tary quantum mechanics and we are not going to elaborate further. We
simply mention that this way we obtain the representation D` invoking
the symmetries of the operators without having to solve the Schrödinger
equation.
The half integral representations
D(j) = D(`) ⊗ D(1/2) (2.22)
can be obtained as it will be discussed below.
The group O(3) has been considered in the previous chapter, it is the set
of orthogonal transformations in three dimensions with det(O) = ±1. We
have also divided these transformations into two sets: the proper trans-
formations with det(O) = 1 and improper with det(O) = −1. The proper
transformations form a subgroup of O(3) called SO(3). The improper result
from the proper with multiplication with −I3 , where I3 is the identity 3 × 3
matrix. They do not form a subgroup, since the product of any two of them
is not an improper transformation. The proper orthogonal transformations
SO(3) or R(3) are generated by proper rotations R(α, β, γ) with three pa-
rameters (α, β, γ), which are three rotation angles that will be discussed
below. The improper orthogonal transformations cannot be generated from
R(α, β, γ) by a continuous change of the parameters.
The group of transformations of the group SU(2) is generated by the
the matrices:
a b
U (a, b) = , |a|2 + |b|2 = 1. (2.23)
−b∗ a∗
Since SU(2) and SO(3) are described in terms of three parameters, one
wonders whether there exists any relation between them.
To see this consider the matrix
z x − iy
(M ) =
x + iy −z
0
and the unitary transformation M → M = U (a, b)M U + (a, b) or
z0 x0 − iy 0
∗
a b z x − iy a −b
= . (2.24)
x0 + iy 0 z0 −b∗ a∗ x + iy z b∗ a
68 Group and Representation Theory
j
X
|j 0 i = Cm |jmi ⇒ J + |j 0 i
m=−j
j
X p
= Cm (j − m)(j + m + 1)|jm + 1i = 0 (2.29)
m=−j
Cm = 0, −j ≤ m ≤ j ⇒ j 0 = |jji.
We have seen, however, that all states of S2j+1 can be derived from this
state. So S = S2j+1 and the proposition is proved.
One can repeat the whole process starting with Eq. (2.11). Then one
obtains a new representation D−(j+1) . Now j takes negative values and
j ≤ m ≤ −j. It is, however, easy to show that in the case of SO(3)
the representations D(+j) and D−(j+1) are equivalent, related by a unitary
transformation. In fact the equation J0 |jmi = m|jmi as well as Eqs. (2.18)
and (2.19) remain unchanged if m → m, j → −(j + 1) (see also Fig. 2.1).
This is not true in the case of SO(2, 1), see section 10.2.
SU(2) and SO(3) are useful in many areas of physics. We will examine
some of their common applications.
70 Group and Representation Theory
j
4
3
D(j)
2
1
m
–3 –2 –1 0 1 2 3
D–(j+1)
Fig. 2.1: The values of m are represented on the x-axis and the values of
k on the y-axis for D(j) (upper part) and D−(j+1) (lower part). Both half
integral (large balls) and integral (small balls) are shown. The values of m
in a horizontal line characterize the representation. One can see that these
patterns are identical. So the two representations are equivalent. The figure
is extended to infinity both to the left and to the right. One can see that
Eqs. (2.18) and (2.19) remain unchanged if m → m, j → −(j + 1).
We have already seen that all representations can be obtained with the
fundamental 2-dimensional representation. A basis for it will be represented
by φ = (u, υ). Under SU(2) it transforms as:
u0
a b u
φ0 = U φ or = , |a|2 + |b|2 = 1 (2.30)
υ0 −b∗ a∗ υ
Study of the SU(2) and SO(3) Representations and Applications 71
j = ` + 1/2, ` = 0, 1, · · · , `,
which is a homogeneous polynomial of degree to (2j + 1) with respect to
the variables u and υ. The transformation of Eq. (2.30) induces a transfor-
j
mation TU (a, b) on the space of the functions fm (U φ), i.e.
j
TU (a, b)fm (φ) = φjm (U φ). (2.31)
We note, however, that:
a b u au + bυ
U |φi = =
−b∗ a∗ υ −b∗ u + a∗ υ
with
p
(j)
X (j + m)!(j − m)!(j + m0 )!(j − m0 )!
Um0 ,m (a, b) = aj+m−k
(j − m0 − k)!(j + m − k)!(m0 − m + k)!k!
k
0 0
b (−b∗ )m −m+k (a∗ )j−m −k .
k
(2.33)
The summation index k must satisfy the conditions j + m − k ≥ 0, j − m0 −
k ≥ 0, m0 − m + k ≥ 0, k ≥ 0. Thus
max(m − m0 , 0) ≤ k ≤ min(j + m, j − m0 ). (2.34)
j
It is clear that the functions fm (φ)
are linearly independent. Hence the
(j)
matrix Um0 ,m constitutes a (2j + 1) × (2j + 1) representation of SU(2)
associated with the operator TU (a, b). We will show that this representation
is irreducible.
72 Group and Representation Theory
Theorem 1: The representation defined by Eqs. (2.32) and (2.33) are irre-
ducible.
We will utilize the first Schur lemma:
First Schur Lemma: If a matrix (ρ) commutes with all the matrices D(R),
which form an irreducible representation of a group G, i.e. for all elements
R of G, then (ρ) is a multiple of the identity.
In our case:
U j (a, b)(ρ) = (ρ)U j (a, b) ∨ a, b ⇒ ρ = λI, I = the identity matrix, (2.35)
λ a constant.
The proof will be done in two steps:
i) Suppose b = 0, then a =iα/2 with α ∈ R.
In this case only k = 0 contributes to the sum of Eq. (2.33). The
sum is zero unless m = m0 . Then
(j)
Um0 ,m (eiα/2 , 0) = δm0 ,m eiα/2 .
Thus
j
U j (a, b)(ρ) = (ρ)U j (a, b) ⇒ (Um,m
j
(a, b)−Um 0 ,m0 (a, b))(ρ)m0 ,m = 0.
We can use the above formulas to compute the functions djm,m0 (β), see
Table 2.1 obtained using Mathematica. They can also be obtained in terms
of the Jacobi polynomials
n
1 X Γ(n + ν + 1)(x − 1)n−k Γ(n + µ + 1)((1 + x)k
Pn(ν,µ) (x) = n .
2 Γ(k + 1)Γ(n + ν − k + 1) Γ(n − k + 1)Γ(µ + k + 1)
k=0
One can now write Eq. (2.40) as
s
(j + m0 )!(j − m0 )! m0 −m m0 +m
djm,m0 (β) = (cos β/2) (− sin β/2)
(j + m)!(j − m)!
0 0
m −m,m +m
Pj−m 0 (cos β), m0 − m ≥ 0. (2.41)
0
For m − m < 0 we use the symmetry property dm,m0 (β) = −dm0 ,m (β).
We now notice that
djm,m0 (β + 2π) = (−1)2j djm,m0 (β).
This is not acceptable for representations of SO(3) for j = half integral,
since for SO(3) this transformation in coordinate space corresponds to ro-
tations, which we know they are single valued. So the above representation
is acceptable for SO(3) only if 2j = ` = integer. They are indicated as
(`) 2j
Dm,m0 = Dm,m 0 , ` = 0, 1, · · · .
SO(3) has representations with half integral values, however, if the trans-
formations are not restricted to ordinary space, e.g. if spin is included.
Study of the SU(2) and SO(3) Representations and Applications 75
1
j=1
j= m/m0
m/m0
2 0 1 −1
1/2 −1/2
j = 3/2
m/m0
3/2 1/2 −1/2 −3/2
3 β
√
β
√ β
1 2 1
sin3 β2
3/2 cos 2 3 csc 2 sin (β) 2 3 sin 2 sin(β)
4 √
1/2 − 34 csc β2 sin2 (β) 1 β 3β 1 β 3 β
4 cos + 3 cos (3 cos(β) + 1) sin sin sin(β)
√ 2 2 2 2
√
2 2
−1/2 23 sin β2 sin(β) 1 β 3β 1 β 3β 3 β 2
4 sin 2 − 3sin 2
4 cos 2 + 3 cos 2 4 csc 2 sin(β)
√ √
−3/2 − sin3 β2 1 β
2 3 sin 2 sin(β) − 4 3 csc β2 sin2 (β)
1
cos3 β2
Study of the SU(2) and SO(3) Representations and Applications 77
One can verify that dj (π) (Jz ) = −(Jz ) dj (π) , where
(Jz ) = diagonal(j, j − 1, · · · , −j + 1, −j).
Also under the time reversal transformation T the angular momentum op-
erator changes sign T −1 JT = −J, which means that T and J anti-commute.
Thus one can show that the operator T dj (π) commutes with (Jz ) and
J2 , so that all three can be diagonalized simultaneously. Indeed:
[T dj (π) , (Jz )] = T dj (π) (Jz ) − (Jz )T dj (π)
j
2.5 Another form of the rotation matrix: Rm,m 0 (ω, Θ, Φ)
m00
78 Group and Representation Theory
where Yµλ (Θ, Φ)are the usual spherical harmonics, hjm, λµ|jm0 i the C-G
(see section 2.6.1),
s λ
j
p (2j − λ)! ω λ d
χλ (ω) = (2j + 1 sin χj (ω)
(2j + λ + 1)! 2 d cos (ω/2)
with χj (ω) the character of the representation:
sin (2j + 1)ω
χj (ω) = .
sin ω
X
|j1 m1 i|j2 m2 i = hj1 m1 , j2 m2 |(ρj1 j2 )mi|ρ(j1 , j2 )j, miδm1 +m2 ,m . (2.57)
j
Since this is equal to the number of available states, the index ρ is not
needed and will be dropped. The state is completely specified by j1 , j2 , j, m,
which means that the representation D(j) occurs only once.
jX
1 +j2
where we have made the notation for the C-G slightly simpler and with the
needed restrictions on the quantum numbers understood. Acting on the
left-hand side of this equation we get:
p
J± |j1 , j2 )j, mi = (j ∓ m)(j ± m + 1)|j1 , j2 )j, m ± 1i
X p
= (j ∓ m)(j ± m + 1)hj1 m1 , j2 m2 |j ± mi∗ |j1 m1 i|j2 m2 i.
m1 (m2 )
(2.60)
Study of the SU(2) and SO(3) Representations and Applications 81
With this choice all C-G are real. Also the coefficient for the unique state
j = j1 + j2 , m = j1 + j2 is always equal to one. Furthermore with this
convention the C-G have the following symmetry relations:
hj2 m2 j1 m1 |jmi = (−1)j1 +j2 −j hj1 m1 j2 m2 |jmi (2.66)
1 11 1 p 11 1 1
⇒ hj1 m − , |j1 − mi = j1 − m + 3/2hj1 j1 , |j1 − j1 − i
2 22 2 s 2 2 2 2
j1 − m + 3/2
=− . (2.74)
2j1 + 1
Inserting j = j1 − 1/2 in Eq. (2.70) we obtain the recursion relation:
s
1 1 1 1 (j1 + m + 1/2) 1 1 1 1
hj1 m+ , − |j1 + mi = hj1 m− , − |j1 − +m−1i.
2 2 2 2 (j1 + m − 1/2) 2 2 2 2
(2.75)
Applying this repeatedly we get
s
1 1 1 1 j + 1/2 + m 1 1 1 1
hj1 m + , − |j1 + mi = hj1 j1 − |j1 − j1 − i
2 2 2 2 2j1 2 2 2 2
s
j1 + m + 1/2
= . (2.76)
2j1 + 1
The coefficient hj1 m + 21 , 12 − 12 |j1 + 21 mi can be obtained analogously. We
prefer, however, to construct it using the orthogonality of the matrix of
C-G coefficients. Thus we get:
s
1 1 1 1 j1 − m + 1/2
hj1 m + , − |j1 + mi = .
2 2 2 2 2j1 + 1
The above results are summarized in Table 2.2.
84 Group and Representation Theory
The recursion relations have been used to give the C-G coefficients in
algebraic form, see, e.g., [Varsalovich et al. (1989)], [Edmonds (1957)]. In
fact it can be expressed in terms of the usual binomial coefficients:
hj1 m1 j2 m2 |jmi = Cjjm
1 m1 j2 m2
,
cγ
Caα bβ =
s
2a 2b J +1 2a 2b 2c
J − 2c J − 2c J − 2c a−α b−β c−γ
X J − 2c J − 2b J − 2a
× (−1)z
z
z a−α−z b+β−z
where J = a+b+c. It can also be expressed in terms of the hypergeometric
functions 3 F 2 , but we will not present such results here.
3.1 Introduction
85
86 Group and Representation Theory
(a) (b)
Fig. 3.1: Examples of two not simply connected spaces in the plane (a) and
toroidal surface (b). A plane segment without holes is simply connected.
The surface of a sphere, unlike that of a torus, is also simply connected.
points lies entirely in the parameter space, the space is simply connected
or connected. Otherwise the space is multiply connected or not connected.
A group is simply connected if its parameter space is simply connected.
Example 1: Let us consider the real line R and the unit circle S and the
mapping
ρ : x → P (x) : P (x) = ei 2πx . (3.2)
This sends the group G, defined with respect to addition, the inverse of an
element being its opposite and the identity the zero element, to the group
G0 defined the usual way, via multiplication. Clearly
−1
P (x1 )P (x2 ) = ei 2π(x1 +x2 ) , P −1 (x) = ei 2π(x = ei 2π−(x) ,
1.0
0.5
-0.5
=⇒ -1.0
(a) (b)
with determinant +1. The group R(3) is not simply connected. This can be
seen from the simple parametrization of the 3-dimensional space S3 : Every
element of R(3) is described by a rotation involving a rotation axis u and the
angle rotation angle ψ. So it can be represented by a vector ω parallel to u
with length ψ. Then every element of R(3), with the exception of those that
correspond to a rotation angle ψ = π, are into one-to-one correspondence
with the interior of a sphere of radius π, |ω| < π. Then we face the hurdle
to deal with the problem that one cannot distinguish rotations by an angle
ψ = π from those with ψ = −π. The way out is to view the anti-diametric
points of the sphere as being glued together. In other words the two points
opposite to a diameter of a sphere correspond to the same rotation in R(3).
This has important implications regarding the connectivity of R(3).
These identifications illustrate that SO(3) is connected but not simply
connected. As to the latter, in the ball with antipodal surface points iden-
tified, consider the path running from the “north pole” straight through
the interior down to the south pole. This is a closed loop, since the north
pole and the south pole are identified. This loop cannot be shrunk to a
point, since no matter how you deform the loop, the start and end points
have to remain antipodal, or else the loop will “break open”. In terms of
rotations, this loop represents a continuous sequence of rotations about the
z-axis starting and ending at the identity rotation (i.e. a series of rotation
through an angle ψ where ψ runs from 0 to 2π).
90 Group and Representation Theory
Surprisingly, if you run through the path twice, i.e. run from north pole
down to south pole, jump back to the north pole (using the fact that north
and south poles are identified), and then again run from north pole down
to south pole, so that ψ runs from 0 to 4π, you get a closed loop which can
be shrunk to a single point: first move the paths continuously to the ball’s
surface, still connecting north pole to south pole twice. The second half of
the path can then be mirrored over to the antipodal side without changing
the path at all. Now we have an ordinary closed loop on the surface of the
ball, connecting the north pole to itself along a great circle. This circle can
be shrunk to the north pole without problems. The same situation arises
if we consider two points P1 and P2 on the sphere. They can be directly
connected following the shortest path between P1 and P2 . Another path is
to go the opposite way. Then eventually a point P10 , which forces a jump
directly to its anti-diametrical point P20 and eventually along the surface of
the sphere reach the point P2 . The path P1 P10 P20 P2 is not continuous and
it cannot be continuously deformed achieve the goal to lead smoothly from
P1 to P2 . The group R3 is not simply connected. The same is true for
orthogonal groups in higher dimensions.
Definition: A group is compact, if its parameter space is compact, i.e.
closed and bounded. This means that a Cauchy sequence with elements in
parametric space has a limit which lies in the parameter space.
For some Lie groups it is possible to obtain every element of the group with
a continuous variation of its parameters. This, e.g., is possible in the case
of SO(n) but not in the case of O(n). In the case of O(n) the parametric
space can be composed of two non-overlapping sheets, depending on the
sign of the corresponding determinant. We can construct all the elements
of one sheet starting with parameter values (0, 0, · · · , 0), which correspond
to the identity. Then the elements corresponding to the other sheet can be
obtained by multiplying the elements of this sheet with an element coming
from the other sheet. Thus the elements of O(2) are obtained by multiply-
ing the elements of SO(2) given by a rotation in a plane, Eq. (3.1), with
the diagonal matrix (1, −1), with determinant −1. The elements of O(3)
are obtained from those connected with the identity, given by Eq. (2.27),
and the additional ones obtained from the previous ones with determinant
−1, e.g., the diagonal matrices (1, 1, −1), (−1, −1, −1) etc. We may thus
say that the group O(n) is described by r = (1/2)n(n − 1) continuous
Elements of Lie Groups 91
parameters and the sign of the determinant of its elements. The sheet
containing the identity is of particular interest in what follows.
Consider now an element A ∈ G belonging to the sheet containing the
identity, A = φ(α), E = φ(0), φ(α) differentiable. Then
r r
X ∂φ 1 X ∂φ ∂φ
A=φ(α)=φ(0)+ αk + αk α` +· · · .
∂αk αk =0 2 ∂αk αk =0 ∂α` α`=0
k=1 k=1,`=1
Thus defining
∂φ
Xk = , (infinitesimal generators of the group) (3.3)
∂αk αk =0
we get
r r
X 1 X
A=E+ αk Xk + αk α` Xk X` + O(α2 ),
2
k=1 k=1,`=1
r r
X 1 X
A−1 = E − αk Xk + αk α` Xk X` + O(α2 ).
2
k=1 k=1,`=1
Thus
X
Y` − X` = αk (Xk X` − X` Xk ) + O(α2 ) + O(β 2 ). (3.4)
k
92 Group and Representation Theory
Lie Algebras
[X, Y ] = XY − Y X. (4.2)
93
94 Group and Representation Theory
For a given group one can locally define a Lie algebra in a manner discussed
in section 1.3. Different groups, however, may yield the same Lie algebra.
Lie algebras are classified using Dynkin diagrams, which encode the geo-
metric structure of root and weight diagrams associated with an algebra.
This chapter begins with an introduction to Lie algebras, roots, and Dynkin
diagrams. We then show how Dynkin diagrams define an algebra’s root and
weight diagrams, and provide examples showing this construction.
of L satisfying:
i) [hi , Ej ] = λji Ej (no sum), λji ∈ R
ii) [hi , hj ] = 0
iii) [Ej , E−j ] ∈ h
Cartan showed that this can be done by diagonalizing adj(H) and, thus,
obtaining the nonzero eigenvalues which come in pairs α and −α. Further-
more Cartan showed that there is one and only one element Ej for any
given eigenvalue λji . The basis elements Ej and E−j are referred to as
raising and lowering operators.
Property i) associates every Ej with an `-tuple of real numbers rj =
(λ1 , · · · , λj` ), called roots of the algebra. This association is one-to-one.
j
have dealt with it in chapter 1. The algebra SU(2) is the set of 2×2 complex
traceless Hermitian matrices. Setting
01 0 −i 1 0
σ1 = , σ2 = , σ3 = .
10 i 0 0 −1
We choose now as a basis h1 = 21 σ3 for the Cartan subalgebra h, and use
E1 = 21 (σ1 +iσ2 ) and E−1 = 21 (σ1 −iσ2 ). Then [h1 , h1 ] = 0, [h1 , E1 ] = 1E1 ,
[h1 , E−1 ] = −1E−1 , [E1 , E−1 ] = h1 .
Example 2. As an example consider the representation T of section 1.5.2,
the adjoined representation of SO(3). The Abelian subalgebra consists of
one element, ` = 1. Let us choose this to be the element T3 . The eigenvalues
of T3 are 1, −1, 0 with eigenvectors the column of the matrix
1
√ √1 0
1 −i 0 2 2
T3 = i 0 0 ⇒ S = √i2 − √i2 0
0 0 0 0 0 1
respectively. Thus
− √12
1 i 0
0 0
1
h = −T3 = −i 0 0 , f−1 = √ (T1 − iT2 ) =
0 0 − √i2
,
2 √1 √i
0 0 0 0
2 2
√1
0 0 2
1
f1 = √ (T1 + iT2 ) =
0 0 − √i2 .
2
− √12 √i
2
0
One can verify:
0 i 0
[h, f1 ] = f1 , [h, f−1 ] = −f−1 , [f1 , f−1 ] = h = −i 0 0 .
0 0 0
This is equivalent to the standard form, i.e. one with T3 brought into
diagonal form via the unitary matrix S:
1 0 0 0 0 0
h = −S + T3 S = 0 −1 0 , E1 = S + f1 S = 0 0 1 ,
0 0 0 −1 0 0
0 0 −1
+
E−1 = S f−1 S = 0 0
0 .
0 1 0
98 Group and Representation Theory
We can verify:
[h, E1 ] = E1 , [h, E−1 ] = −E−1 , [E1 , E−1 ] = h.
So with the above normalization the nonzero roots are r1 = 1 and
−1
r = −1. By Properties ii) and iii), we associate the root vector r1 = (1)
with the raising operator E1 and the root vector r−1 = (−1) with the
lowering operator E−1 , while the zero root (0) associated with h, we plot
the corresponding three points (1), (−1), and (0) for the states r1 , r−1 , and
h.
From this relation one can see that the metric tensor becomes zero, unless
λ = −α. Thus
gαλ = 0 or λ = −α.
In other words if −α is not a root det (g) = 0, which contradicts Cartan’s
criterion, since the algebra was assumed semisimple. Thus
Theorem 1: If α is a nonzero root of a semisimple algebra, −α is also a
root.
Theorem 2: If α and β are two roots of a semisimple algebra, then
2hα|βi hα|βi
= integer and β − 2α is also a root. (4.8)
hα|αi hα|αi
In our notation hα|βi = αi β i = αi g ij βj .
We will follow here the proof of Racah [Racah (1965)]. Suppose that α
and β are roots, but there exists a vector Eγ , such that α + γ is not a root.
Then
0
[E−α , Eγ ] = N−α,γ Eγ−α = Eγ−α
0 00
[E−α , Eγ−α ] = N−α,γ N−α,γ−α Eγ−2α = Eγ−2α
after j steps:
0 0
[E−α , Eγ−jα ] = Eγ−(j+1)α . (4.9)
This procedure cannot continue forever. It has to stop after some steps,
say g
0
[E−α , Eγ−gα ] = 0.
Then
0 0
[E−α , Eγ−(j+1)α ] = Λj+1 Eγ−jα , (4.10)
0
see Eq. (4.6). So we must compute Λj+1 . Substituting the value of Eγ−jα
as given by Eq. (4.9) in the last equation we find:
0 0
Λj+1 Eγ−jα = [Eα , [E−α,Eγ−jα ]].
100 Group and Representation Theory
hα|γi
One member of the chain is γ − 2α hα|αi . After changing notation γ → β
the proof is complete. As a side effect we got the bonus of the root chain
hα|βi
β, β − α, β − 2α · · · β − 2 α. (4.17)
hα|αi
Theorem 3: If α is a root among its multiples only α, 0, −α can be roots.
Proof: Obviously 2α is not a root, since
[Eα , Eα ] = 0.
Then kα, |k| > 2 cannot be a root, since then, according to the previous
theorem, 2α should have been a member of the chain.
Theorem 4: Consider a chain of the root α, which contains the root β with
hα|βi 6= 0, then the quantity 2hα|βi/hα|αi can take at most the following
7 values:
2hα|βi
= 0, ±1, ±2, ±3. (4.18)
hα|αi
Proof: Clearly the theorem holds for β = ±α according to the previous
theorem. Suppose now that β 6= ±α and there exist five roots. We can
then number them to take the form:
β − 2α, β − α, β, β + α, β + 2α (4.19)
we have seen that 2α and 2(α + β) cannot be roots. Then, since 2α =
(β + 2α) − β and 2(α + β) = (β + 2α) + β, the chain beta, which contains
β + 2α, contains only one element, i.e.
hβ|β + 2αi = 0. (4.20)
Similarly −2α and −2(β − α) cannot be roots, which means (β − 2α) − β
and (β − 2α) + β are not roots. So again
hβ|β − 2αi = 0. (4.21)
Now the conditions (4.20) and (4.21), imply hβ|βi = 0, which is against our
assumption. So the formula (4.18) is the only possibility.
2hα|βi
• hα|αi = integer.
hα|βi
• If α and β are roots so is 2α hα|αi .
• hα|βi can be chosen to be real. Thus one can define the angle φ
between two roots by:
hα|βi
cos φ = p . (4.22)
hα|αihβ|βi
From the above we find that:
1 2hα|βi 2hα|βi 1
cos2 φ = = nn0 , n, n0 = integers.
4 hα|αi hβ|βi 4
From the above second proposition it is adequate to consider 0 ≤ φ ≤ π/2.
Thus
1√ 0
cos φ = nn , n, n0 , non-negative integers
2
and thus
√
1 1 3 π π π π
cos φ = (0, , √ , , 1) → φ = (0, , , , ).
2 2 2 6 4 3 2
The above relation constrains the ratios of the lengths of the roots as fol-
lows:
(1) φ = 0. Then
hα|αi
α=β→ = 1.
hβ|βi
(2) φ = π/6 → nn0 = 3. Then
2hα|βi 2hα|βi hα|αi
i) n = 1, n0 = 3 → = 1 and =3→ =3
hα|αi hβ|βi hβ|βi
2hα|βi 2hα|βi hα|αi 1
ii) n = 3, n0 = 1 → = 3 and =1→ = .
hα|αi hβ|βi hβ|βi 3
(3) φ = π/4 → nn0 = 2. Then
hα|αi hα|αi 1
= 2, = .
hβ|βi hβ|βi 2
(4) φ = π/3 → nn0 = 1. Then
hα|αi
= 1.
hβ|βi
(5) φ = π/2 → nn0 = 0. Then
hα|αi
is not defined.
hβ|βi
Lie Algebras 103
Thus if the roots are ordered so that hα|αi ≤ hβ|βi and define hβ|βi =
khα|αi we summarize the above results as follows:
π π π
φ = 0 ↔ k = 1, φ = ↔ k = 3, φ = ↔ k = 2, φ = ↔ k = 1,
6 4 3
π
φ= ↔ k = undefined.
2
Example 1: ` = 1.
Now there is one Abelian element and two nonzero roots α and −α. The
root diagram is two vectors in opposite directions. The structure of the
algebra is:
[h, E1 ] = E1 , [h, E−1 ] = −E1 , [E1 , E−1 ] = h.
This algebra is denoted by A1 and isomorphic to the one associated with
SU(2) and SO(3).
Example 2: ` = 2, φ = π/2.
Now we have four nonzero roots. We can choose the two orthonormal roots
α = (1, 0) and β = (0, 1). The root diagram is composed of the roots ±α
and ±β. We observe that any two different roots are orthogonal. The root
system breaks into sets i) ±α and ii) ±β. This indicates that the algebra
is not simple but it breaks into two rank one algebras L = L1 ⊕ L1 . It is
associated with the symmetry SO(4) = SO(3) ⊗ SO(3) (see Fig. 4.1(a)).
Example 3: ` = 2, φ = π/4.
Let us begin with a root α such that hα|αi = 1. We can choose α = (1, 0).
Then there is a root β such that hβ|βi = 2hα|αi = 2. This can be at angles
φ = π/2 relative to the previous, i.e. β = (1, 1). Since
2hα|βi
= 2,
hα|αi
the α chain containing β, see Eq. (4.17), is β, β − α, β − 2α, which yields
the additional roots (−1, 1) and (0, 1). Thus we have the following system
±(1, 1), ±(1, 0), ±(1, −1), ±(0, 1).
This exhausts all the roots. So the number of elements of the algebra
2 + 2 × 4 = 10. This algebra is named B2 and is isomorphic to that
corresponding to the group SO(5). It is also isomorphic to the algebra C2
associated with the group Sp(4), the symplectic group in four dimensions.
The structure constants of the algebra can be constructed applying the
104 Group and Representation Theory
techniques of section 4.8. The root system is exhibited in Figs. 4.1(c), (d).
Joining the ends of the roots by straight lines we form a square.
Example 4: ` = 2, φ = π/3. √
Here hβ|βi = hα|αi = 1. Choosing α = (1, 0) and β = (1/2, 3/2). The
condition
2hα|βi
= 1,
hα|αi
√
yields the β chain: β, β − α, i.e. the new root (−1/2, 3/2). We thus
obtain the system:
√ √
1 3 1 3
±(1, 0), ±( , ), ±(− , ),
2 2 2 2
which is complete. The number of elements is 2 + 2 × 3 = 8. This is the
algebra A2 , which is isomorphic to that corresponding to the group SU(3)
(see Fig. 4.1(b)). If we join the tops of the roots via straight lines we obtain
the regular hexagon.
Example 5: ` = 2, φ = π/6.
Let us suppose that there is a root of unit length along √ the x-axis, i.e.
α = (1, 0). Then there exists another root β of length √ 3, which forms
an angle π/6 with the previous one, i.e. β = (3/2, 3/2). Clearly two
additional roots are the opposite of the above. Thus
2hα|βi 3
= 2 = 3 → yielding the chain β, β − α, β − 2α, β − 3α. (4.23)
hα|αi 2
√ √
Thus in√ addition to β we obtain the roots (1/2, 3/2), (−1/2, 3/2),
(−3/2, 3/2). Thus we also get as new √ roots their opposites.
√ Tak-
ing now from the above list α = (1/2, 3/2), β = (3/2, √ 3/2) we find
that Eq.√ (4.23) still
√ holds. This yields the roots: (3/2,√ 3/2), (1,0),
(1/2, − 3/2), (0, − 3), i.e. we obtain the new root (0, − 3) and, hence,
its opposite. We thus have the following 12 roots:
√ √ √ √
±(1, 0), ±(0, 3), ±(3/2, 3/2), ±(3/2, − 3/2), ±(1/2, 3/2),
√
±(1/2, − 3/2).
This is the exceptional algebra G2 which has 2 + 2 × 12 = 26 elements.
The structure constants of the algebra can be constructed applying the
techniques of section 4.8. For the root system, see Fig. 4.1(e). Joining the
ends of the roots by straight lines, a shape like the star of David is formed.
Lie Algebras 105
(a) (b)
(c) (d)
(e)
Fig. 4.1: The root diagrams for D2 = A1 × A1 (a), A2 ↔ SU(3) (b), B2 ↔ SO(5)
(c), C2 ↔ Sp(4) (d) and G2 (e). The algebras B2 and C2 are isomorphic. The
algebra D2 is not simple.
106 Group and Representation Theory
Then
α̃i = g ij αi , g ij the inverse of gij .
The constants Nα,β must be defined in a consistent way using the Jacobi
identity. We will not elaborate further on this point since for the most
common cases, i.e. algebras associated with matrices, A` , B` , C` , D` , there
exist alternative convenient methods, see the following chapter. We only
mention the results:
• The following are true:
Nα,β = Nβ,−(α+β) , N−α,α+β = −N−β,(α+β) ,
Thus
30 1/3 0
(gij ) = → (g ij ) = (gij )−1 =
03 0 1/3
√ √
1 1 3 1 3
α̃(1) = ( , 0), α̃(2) = ( , ), α̃(3) = ( , − ), α̃(−ρ) = −α̃(ρ) .
3 3 6 6 6
From these expressions we get:
(ρ)
[hi , Eα(ρ) ] = αi Eα(ρ) (4.24)
• The set eij constitutes a Lie algebra and its structure constants are
obtained as follows:
X
[eij , ek` ]mn = [(eij )mp (ek` )pn − (ek` )mp (eij )pn ]
p
= δjk δim δ`n − δmk δjn δ`i = δjk (ei` )mn − δi` (ekj )mn
or
hi = eii . (5.3)
110 Group and Representation Theory
see Eq. (5.2). It is not, however, semisimple or simple, since it contains the
Pn
element I = i Aii which commutes with all the elements of the algebra.
One is able, however, to construct Casimir invariants, i.e. operators which
commute with all the elements of the algebra, e.g.:
X
K (1) = Aii
i
This can be realized by restricting the algebra to the set of traceless matri-
ces. We have seen in the previous chapter that this corresponds to the set
of transformations represented by matrices of determinant unity: U = eiα ,
det(U ) = 1 ↔ tr(α) = 0.
Obviously any linear combination of traceless matrices is traceless:
tr(λ(α) + µ(β)) = λtr(α) + µtr(β) = 0.
A basis for this algebra is made up of the elements eij as before and ` = n−1
traceless diagonal matrices. We will find it convenient to select:
hi = eii − ei+1,i+1 , i = 1, 2, · · · , n − 1. (5.14)
We now find
[hk , eij ] = (δik − δjk − δi+1,k + δj+1k )eij (5.15)
it is adequate to construct the roots for i < j, since the rest are obtained
as the opposites of these, i.e.
αρ (ij) = (δρi − δρ+1,i − δρj + δρ+1,j ), i ≤ ρ ≤ j − 1, i < j ≤ n. (5.16)
Thus
α(1, 2) = (2, −1, 0, . . . , 0), α(`, ` + 1) = (0, . . . , 0, −1, 2), (5.17)
and
α(ij) = (0, 0, . . . , 0, 1, −1, . . . , −1, 1, 0, . . . , 0), 1 < i < j, j < n. (5.18)
i i+1 j j+1
112 Group and Representation Theory
We see that all entries in the roots can take values 0, ±1, ±2. We also
have αji = −αij as in the previous section and relation (5.9) still holds.
Furthermore
j−1
X
[eα , e−α ] = eii − ejj = hi , i < j − 1. (5.19)
i
In other words
α̃(i, i + 1) = (0, 0, . . . , 1, 0, . . . , 0), (5.20)
i
Since Eq. (5.8) still holds, one can obtain all roots, once the following root
set:
α(1, 2), α(2, 3), α(3, 4), · · · , α(`, ` + 1) (5.22)
is already known. Indeed:
α(1, 3) = α(1, 2) + α(2, 3)
i) n = 2` = even. We choose:
e2k−1 + i e2k e2k−1 − i e2k
ξk = √ , ξ−k = √ , k = 1, 2, · · · , `
2 2
then
hξk |ξk i = ξ−k |ξ−k i = 0, hξk |ξ−k i = hξ−k |ξk i = 1
or
hξi |ξj i = δi,−j , i, j = ±1, ±2, · · · , ±`.
ii) n = 2` + 1 = odd. We choose:
|ξk i, k = ±1, ±2, · · · , ±` as above, |ξ0 i = e2`+1 .
Now we have the additional constraints:
hξ0 |ξ0 i = 1, hξ0 |ξk i = hξk |ξ0 i = 0
again
hξi |ξj i = δi,−j , i, j = 0, ±1, ±2, · · · , ±`.
The matrix S can be written as:
S = S ij eij (summation convention understood).
We would like to express it in the new basis. We write |ξi = xi |ξi i, |ηi =
yi |ξi i. Then
hξ|Sηi = yi xk S ij hξk |ξj i = yi x−j S i,j , hSξ|ηi = hη|Sξi = xi y−j S ij
or
X
S= S −i,j fij , fij = e−ij − e−ji .
i>j
116 Group and Representation Theory
The fij constitute a basis for the algebra. In fact one can show that:
[fij , fk` ] = δj,−k fi` + δ`,−i fjk − δj,−` fik − δk,−i fj` . (5.23)
At this point we should mention the commutator relations that hold for the
operators associated with rotations in the i, j plane in units of ~/i, namely
∂ ∂
Lij = xi − xj .
∂xj ∂xi
Noting that
∂ ∂
xα , xρ = δβρ Lασ + δασ Lβρ
∂β ∂xσ
and
∂ ∂ ∂ ∂ ∂ ∂
[Lij , Lk` ] = xi , xk − xi , x` − xj , xk
∂xj ∂x` ∂xj ∂xk ∂xi ∂x`
∂ ∂
+ xj , x` .
∂xi ∂xk
We obtain
[Lij , Lk` ] = δjk Li` + δi` Ljk − δj` Lik − δik δj` . (5.24)
This algebra has the same commutations with that of matrices (see
Eq. (5.23)), even though the latter has been derived in Cartesian coor-
dinates (so the indices are now positive).
• 0 < i < j:
α(i, j) = (0, 0, · · · , 0, 1, 0, · · · , 0, · · · , 0, 1, 0, · · · , 0) (5.28)
i j
• i > 0, j < 0, −j > i > 0:
α(i, j) = (0, 0, · · · , 0, 1, 0, · · · , 0, · · · , 0, −1, 0, · · · , 0). (5.29)
i −j
The above roots are positive roots (the first component is positive).
The second set of roots includes
{α(n − 1, −n), α(n − 2, −n), · · · , α(1, −n), α(n − 2, −n + 1),
α(n − 3, −n + 1), · · · , α(1, −n + 1), · · · , α(2, −3), α(1, −3), α(1, −2)} .
We notice that
α(i, −(i + 1)) + α(i + 1, −(i + 2)) = α(i, −(i + 2)),
that is all the roots of this set can be obtained from the minimal set
α(` − 1, −`), α(` − 2, −(` − 1)), · · · , α(1, −2).
We note in addition that
α(i, −(i + 1)) = (0, 0, · · · , 0, 1, −1, 0, · · · , 0).
i i+1
Thus, if the root α(`, ` − 1) is known, all the roots can be obtained,
α(`, ` − 1) + α(` − 2, −(` + 1)) = (0, 0, · · · , 0, 1, 1) + (0, 0, · · · , 1, −1, 0)
= (0, 0, · · · , 1, 0, 1) = α(` − 2, `)
1 if j = −k or ` = −i
[fα , fβ ]=Nα, β fα+β , Nα, β = , α ⇔ (ij), β ⇔ (k`),
−1 if j = −` or k = −i
(5.35)
if α+β is a nonzero root. All other commutators are the opposite (obtained
by changing the order in the commutator) or zero.
In particular
δi,−j i > 0
hξi |Ω|ξj i = = sign(i)δi,−j . (5.43)
−δi,−j i < 0
Then the matrices S, such that A = eS , satisfy the condition
AT ΩA = Ω ⇒ (1 + S T )Ω(1 + S) ≈ Ω ⇒ S T Ω + ΩS = 0.
Thus
(p) (q) (p) (q)
if S = ⇒ (t)T = −(p), (r)T = (r), (q)T = (q) ⇒ S =
(r) (t) (r) (−p)T
(5.44)
with (q) and (r) real symmetric n × n matrices. From this form we see that
we have two independent real symmetric and one real n × n matrices. Thus
the number of parameters is
1
N (Sp(2n, R)) = 2 × n(n + 1) + n2 = n(2n + 1)
2
which is the same number of generators of the algebra Cn . In the case of
n = 2 we have
a1 a2 a3 a4
a5 a6 a4 a7
S= a8 a9 −a1 −a5 .
It is not surprising that the last four elements can be chosen arbitrarily (no
symmetry)1 .
The nonzero roots are obtained from the elements of Eq. (5.45) for
i 6= −j. Furthermore if h = k λk hk and α = αij fij we get
P
which means
[h, α] = 0 ⇒ αmn = 0 for m 6= n
which means that the above set hk is maximal. The algebra is semisimple
of rank `, has ` zero roots, 2`2 nonzero roots
αρ (ij) = (δρi + δρj − δρ,−i − δρ,−j ) , i ≥ j, i 6= −j, , ρ = 1, 2, · · · , ` (5.48)
and
r = (1/2)(2` + 1)(2`) = `(2` + 1)
is the number of its elements. Furthermore, the above set forms a closed
system, since it is a bit tedious but straightforward to show that:
[fij , fk` ] = δj,−k fi` − δi,−` fkj + δi,−k sign(ij)fj` − δj,−` sign(kj)fki . (5.49)
as follows
h1 = H1 + H2 , .h2 = H2 + H3 .
Thus in the study of the chain C2 ⊃ A2 we may write h1 = H1 + H2 , h2 = H2 (see
section 7.12).
122 Group and Representation Theory
All roots can be obtained from the roots α(i, −(i + 1)) of D` and the root
α(`, `). As an example:
α(`, `) + α(` − 1, −`) = (0, 0, · · · , 0, 0, 2) + (0, 0, · · · , 0, 1, −1)
= (0, 0, · · · , 0, 1, 1) = α(` − 1, `),
α(`, ` − 1) + α(` − 1, −`) = (0, 0, · · · , 0, 0, 1, 1) + (0, 0, · · · , 0, 0, 1, −1)
= (0, 0, · · · , 0, 2, 0) = α(` − 1, ` − 1) etc.
The conjugate roots are
α̃(i, j) = (0, 0, · · · , 0, 0, 1, 0, · · · , 0, · · · , 0, 1, 0 · · · , 0) (5.52)
i j
5.5 Problems
One can use the matrix basis employed in this chapter to construct related
operators, which form an isomorphic algebra with the matrix algebra.
(1) The algebra A` as follows:
eij → Aij = a+ + + +
i aj such that [a, aj ] = [ai , aj ] = 0, [a, aj ] = δij ,
i, j = 1, 2, · · · , ` + 1.
For the Abelian elements we use
Hi = Aii − Ai+1,i+1 , i = 1, 2, · · · , `.
(2) The algebra B` as follows.2 Thus
∂ ∂
fij → Fi,j = x−i − x−j ,
∂xj ∂xi
hi → Hi = Fi,−i , i = 1, 2, · · · , `.
2 For the algebras B` , C` and D` the association:
∂
eij → xi
∂xj
is first made.
The Classical Algebras L` , A` , B` , C` 123
hi → Hi = Fi,−i , i = 1, 2, · · · , `.
(4) The algebra C` as follows:
∂ ∂
fij → Fi,j = x−i +sign(ij)x−j , i ≥ j, i, j = ±1, ±2, · · · , ±`
∂xj ∂xi
hi → Hi = Fi,−i , i = 1, 2, · · · , `.
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
We have seen in the previous two chapters that a given semisimple al-
gebra of rank ` is characterized by r − ` nonzero vectors (roots) which
can be represented by an `-tiplet of numbers which will be denoted by
x = (ξ1 , ξ2 , · · · , ξ` ). All these vectors can result from a set of roots known
as simple roots. There is a 1-1 correspondence between the simple roots
and the Dynkin diagrams.
Definition: We will say that a vector x of the root space is positive, if its
first nonzero component is positive. We will indicate it as x > 0.
Definition: We will write x1 > x2 if x1 − x2 > 0.
As an example let us consider the algebra B2 . We have seen the nonzero
root vectors are:
{(1, 0), (1, 1), (0, 1), (1, −1), (−1, 0), (−1, −1), (0, −1), (−1, 1)} .
The first four of these are positive. We also see that (1, 1) > (1, 0) >
(0, 1) > (1, −1) > (0, −1) etc.
Definition: We shall call a root simple, if it is positive and cannot be
written as a sum of positive roots. From the above roots of B2 only the
(0, 1) and (1, −1) are simple. The other two positive roots are not simple,
since: (1, 0) = (0, 1) + (1, −1) and (1, 1) = (0, 1) + (1, 0). The set of simple
125
126 Group and Representation Theory
Proof:
β + jα, β + (j − 1)α, · · · , β, β − α, · · · , β − kα
hxi |xj i ≤ 0, i 6= j, i, j = 1, 2, · · · , k
The Dynkin Diagrams — Another Classification of Classical Lie Algebras 127
Definition: Given two subsets Π0 and Π00 of Π, which are mutually orthog-
onal in the sense that
α ∈ Π0 , β ∈ Π00 ⇒ hα|βi = 0.
if θ = 120◦
1
if θ = 135◦
hβ|βi
2
(6.2)
hα|αi
3 if θ = 150◦
indefinite if θ = 90◦ .
We are not going to prove Eq. (6.2), but we are going to illustrate it with
some special examples like B3 and G2 .
We know that the three simple roots of B3 are α = (0, 0, 1), β =
(0, 1, −1) and γ = (1, −1, 0). We find
−1 1 hβ|βi
cos θαβ = √ = − √ ⇒ θαβ = 135◦ ⇒ = 2,
1× 2 2 hα|αi
hγ|γi
cos θαγ = 0 ⇒ θαγ = 90◦ ⇒ = 1 (accidentally possible in this case),
hα|αi
1 1 hβ|βi
cos θβγ = − √ √ = − ⇒ θβγ = 120◦ ⇒ = 1.
2 2 2 hγ|γi
So we have two lengths and two angles in this case.
We know the roots of algebra
√ G2 (see section
√ 4.7). The two positive
simple roots are α = (1/2, − 3/2) and β = (0, 3). Thus
√
−3/2 3 hβ|βi
cos θαβ = √ =− ⇒ θαβ = 150◦ ⇒ = 3.
1× 3 2 hα|αi
The Dynkin Diagrams — Another Classification of Classical Lie Algebras 129
We will exploit the above results to find a different way of classifying the
semisimple Lie algebras obtained by Dynkin according to the following
rules:
(1) To every simple root α ∈ Π we assign a circle. Under the circle we
write the length of the root in some units say λ, from which the
relative length of the roots is seen.
(2) The circles corresponding to the roots α and β are connected by
straight lines as follows:
• One line if the angle θαβ between the roots is 120◦ .
• Two lines if θαβ is 135◦ .
• A triple line if θαβ is 150◦ .
• The circles corresponding to the roots α and β are not con-
nected, if θαβ is 0◦ . This does not occur if the algebra is
simple.
• The circle corresponding to the root of minimal length may
be filled (black).
Note: According to√the√previous theorem, if the ratio of the lengths of the
roots β and α is 3, 2 and 1, the angle θαβ is 150◦ , 135◦ , and 120◦
respectively is indicated by drawing three, two and one line respectively.
This is shown in Fig. 6.1. Dynkin showed that there exist no other
systems, but we will not give the proof here. We see that:
• The lengths of all roots are equal. Then
- The circles are connected by a single line forming a chain.
This is the case of A` .
- It is possible to have more than two terminating circles.
These can stem from the root β`−2 like in the case D` .
They can also stem from one of the other roots like in the case
of the special algebras E6 , E7 and E8 . Dynkin showed that
they are no other such special systems.
• It is possible to have one root with different length than that of
the rest. This root can only be put at the end of a chain. There
exist two possibilities:
- this root can have the smallest length as in the case of B`
(this root is half of that of the other roots, put at the end of
the chain).
130 Group and Representation Theory
- This root can be the largest length like the case of C` (this
root has double length compared to that of all the others. It
is put last).
• It is possible to group the roots into two sets, with the members of
each group having equal length. Dynkin showed that there exists
only one such special system indicated as F4 . The smallest roots
are put at the end of the chain.
• There is only one possibility for a triple line. So we have one special
Lie algebra, indicated by G2 .
Aℓ F4 G2
Bℓ
Cℓ E6
E7
Dℓ
E8
Fig. 6.1: The Dynkin diagrams associated with the simple classical algebras.
From left to right we write the roots of Π in the order β1 , β2 , · · · , β` . In
the case of B` , C` , F4 and G2 the roots do not have the same length. The
roots in black have the smallest length.
From the Dynkin diagrams one can draw a number of conclusions, e.g.
whether two algebras are isomorphic or whether a given algebra is contained
in one with a higher rank. Thus it is evident that B2 and C2 are isomorphic.
Similarly A3 and D3 . We also find the relations
• A` ⊃ A`−1 (obvious)
• B` ⊃ B`−1 (obvious) B` ⊃ A`−1 (not so obvious)
• C` ⊃ C`−1 (obvious) and C` ⊃ A`−1 (not obvious)
• D` ⊃ D`−1 (obvious), D` ⊃ A`−1 (not obvious)
• We cannot conclude from the Dynkin diagram that B` ⊃ D` , i.e.
SO(2` + 1) ⊃ SO(2`)
• E8 ⊃ E7 ⊃ E6 (obvious), E8 ⊃ A7 (not obvious), E7 ⊃ A6 , E6 ⊃
A5 (not obvious) etc.
Of course many more subalgebras can be found, if we cut the chain, but
then these subalgebras are not maximal.
In finding subalgebras it is often useful to consider the associated Dynkin
diagrams [Slansky (1981)], see section 8.14, which can also be found in
Table A.2 of appendix A.
Further information about the algebras is given compactly in the form
of the Cartan matrix.
Recall that this value of the diagonal elements has already been used in the
construction of the Dynkin diagram. Thus, e.g., we find
2 −1 0
2 −1
A2 = , A3 = −1 2 −1 . (6.5)
−1 2
0 −1 2
The general form is:
2 −1 0 · · · 0 0 0
−1 2 −1 · · · 0 0 0
0 −1 2 · · · 0 0 0
. . . . . . .
A` ⇔ (A) = . (6.6)
. . . . . . .
0 0 0 · · · 2 −1 0
0 0 0 · · · −1 2 −1
0 0 0 · · · 0 −1 2
This is a symmetric and, somewhat surprisingly, the columns (rows) coin-
cide with the roots as obtained in the previous chapter (the α̃’s were just
an intermediary).
0 0 −1 0 0 2
(6.11)
2 −1 0 0 0 0 0 0
2 −1 0 0 0 0 0 −1 2 −1 0 0 0 0 0
−1 2 −1 0 0 0 0
0 −1 2 −1 0 0 0 −1
0 −1 2 −1 0 0 −1
0 0 −1 2 −1 0 0 0
E7 = 0 0 −1 2 −1 0 0 E8 = .
0 0 0 −1 2 −1 0 0
0 0 0 −1 2 −1 0
0 0 0 0 −1 2 −1 0
0 0 0 0 −1 2 0
0 0 0 0 0 −1 2 0
0 0 −1 0 0 0 2
0 0 −1 0 0 0 0 2
(6.12)
The reader is urged to reproduce these matrices from the Dynkin diagrams.
You may use, even if you did not derive, up to possible reordering, as simple
roots the following:
For E6 :
(1, −1, 0, 0, 0, 0), (0, 1, −1, 0, 0, 0), (0, 0, 1, −1, 0, 0), (0, 0, 0, 1, −1, 0),
1 √
(0, 0, 0, 1, 1, 0), − (1, 1, 1, 1, 1, 3).
2
For E7 :
(1, −1, 0, 0, 0, 0, 0), (0, 1, −1, 0, 0, 0, 0), (0, 0, 1, −1, 0, 0, 0), (0, 0, 0, 1, −1, 0, 0),
1
(0, 0, 0, 0, 1, −1, 0), (0, 0, 0, 0, 1, 1, 0), (1, 1, 1, −1, −1, −1, −1).
2
For E8 :
(1, −1, 0, 0, 0, 0, 0, 0), (0, 1, −1, 0, 0, 0, 0, 0), (0, 0, 1, −1, 0, 0, 0, 0),
1
(0, 0, 0, 0, 0, 1, 1, 0), − (1, 1, 1, 1, 1, 1, 1, 1).
2
136 Group and Representation Theory
(6.14)
(see Eq. (6.3)). We note the beauty of the Dynkin representation, the roots
and the weights for all semisimple Lie algebras are expressed in terms of
integers.
Thus for A2 we have:
2 −1
(D) (D)
α(1) = , α(2) = .
−1 2
Sometimes the superscript D will be dropped, if it is obvious that we are
talking about the Dynkin roots. These coincide with the roots we encoun-
tered in section 5.2. This is true for all the roots A` discussed there. This,
of course, has been a clever coincidence but, it need not have been. The
same applies to the algebras B` , C` , and D` , but other choices exist. For
the A2 another set of simple roots is:
(1) √ 0 (2) √ 1/2
α = ,α = .
3 − 3/2
We find the matrix of overlaps
3 −3/2
αi .αj = .
−3/2 3/4
Thus
2×3 2 × (−3/2)
a(1) 1
= = 2, a(1) 2 = = −1,
3 3
2 × (−3/2) 2 × (3/4)
a(2) 1
= = −1, a(2) 2 = = 2,
3/4 3/4
i.e. we obtain the Dynkin matrix. Furthermore, we find the inverse of the
Cartan matrix to be:
1 21
(AT )−1 = .
3 12
The Dynkin Diagrams — Another Classification of Classical Lie Algebras 137
Weights of Irreducible
Representations — Maximal
Subalgebras
In this chapter, utilizing the root vectors and diagrams in the Dynkin rep-
resentations, we will construct the weights, which characterize a given rep-
resentation. These are expressed in terms of the eigenvalues of the elements
of the Abelian subalgebra of the Lie algebras we examined previously. We
will see that a representation is characterized completely from the maximal
weight. Using the Weyl group of reflections we will obtain the constraints
that the maximal weights must satisfy. Then the formulas providing the
character of the irreducible representations and their dimensions are given
in terms of the maximum weight. We also show how to obtain all weights
from the maximum weight and how to construct a basis for the irreducible
representations of a semisimple Lie algebra.
αi hi ,
α = −β
[eα , eβ ] = (7.3)
Nα+β eα+β , α + β 6= 0.
139
140 Group and Representation Theory
The vectors α are known as root vectors. In this section we are going to
extend and generalize these concepts. Let us suppose that there exists a
basis |u1 i, |u2 i, · · · , |un i, which defines a representation of the algebra:
hi → Hi , eα → Eα .
Then
Furthermore,
in other words the vector Eα |ui has Λ + α as a weight. We will see later
that by acting on u with suitable polynomials of the operators Hi , Eα Eβ
etc. we obtain a basis set ∆, which covers the space RT , on which the
representation T is defined. The set ∆ is not empty, since one such weight
system exists, namely the set of the roots α associated with the regular
representation.
Definitions:
But then f (H)|uk i = 0, since one of the factors in f (H) will yield zero as
|uk i was assumed to be a vector with weight Λ(k) . Then
f (H)|ui = (H − Λ(1) )(H − Λ(2) ), · · · , (H − Λ(n) )|ui
⇒ (Λ − Λ(1) )(Λ − Λ(2) ), · · · , (Λ − Λ(n) )|ui = 0.
However, Λ 6= Λ(k) , k = 1, 2, · · · , n we must have |ui = 0, QED.
Theorem 3: An irreducible representation is fully characterized by its max-
imum weight.
We will not give a complete proof, but will sketch the essential steps.
Lemma: Consider two vectors ui and |u0 i such that
|u0 i = Eαm Eαm−1 · · · Eα2 Eα1 |ui, α1 , α2 , · · · , roots.
Suppose further that these vectors have the same maximum weight. Then
they are proportional to each other.
142 Group and Representation Theory
Suppose that the lemma holds. Then consider all the weights of the
representation T and let Λ their maximum. The lemma guarantees that
the vector |ui associated with the weight Λ is uniquely specified. Consider
now two representations T = {H, Eα } and T 0 = {H 0 , Eα0 } and the two sets
of vectors:
S = {|ui, Eα |ui, Eα Eβ |ui · · · } and S 0 = |ui, Eα0 |ui, Eα0 Eβ0 |ui · · · .
The above vectors are not all independent, but they cover the spaces RT
and RT 0 respectively associated with the representations T and T 0 . One
can show that there exists a 1-1 correspondence between S and S 0 with the
given order. Thus the representations T and T 0 are equivalent. In other
words, representations with the same maximum weight are equivalent.
Proof of the lemma: According to what we have seen above the state |u0 i
has weight Λ = Λ + α1 + α2 + · · · + αm . This means α1 + α2 + · · · + αm = 0.
In other words, not all roots can be positive. Suppose |u01 i = Eα1 |ui, then,
since Λ = Λ + α1 , it is not possible to have m = 1. On the other hand,
if m > 1 we must have α1 < 0, since otherwise Λ + α1 , contrary to the
assumption that Λ is maximum. Similarly if m = 2, we get α1 + α2 = 0.
Thus |u02 i = Eα1 E−α2 |ui, α2 > 0. Thus
|u02 i = Eα2 E−α2 |ui = [Eα2 , E−α2 ] |ui + E−α2 Eα2 |ui
X
= α2i Hi , since Eα2 |ui = 0,
i
which means that |u02 i = i α2i mi |ui, i.e. the vector |u02 i is proportional
P
to |u0 i.
Let us now suppose that the lemma holds for m = µ. We will show that
it holds for m = µ + 1. We write:
|uµ+1 i = Eαµ+1 Eαµ · · · Eα2 Eα1 |ui,
with the understanding that the operations start from the right. Suppose
now that the first positive root is αk , i.e.
|uµ+1 i = Eαµ+1 Eαµ · · · Eαk+1 Eαk · · · Eα2 Eα1 |ui.
Our goal is to bring it to be the first to act, in which case it will give
zero. On its way, however, the commutators Eαk , Eαj , j = 1, 2, · · · , k
will come into the picture. Note, however, that:
P i
i αk Hi , if αk + αj = 0
Eαk , Eαj = Nαk +αj Eαk +αj , if αk + αj = root
0 , otherwise.
We thus encounter the following two forms:
Weights of Irreducible Representations — Maximal Subalgebras 143
• of type F1
F1 = Eαµ+1 Eαµ · · · Eαk+1 Eαk−1 · · · Eα2 Eα1
in which case αµ+1 + αµ + · · · αk+1 + αk−1 · · · + α2 + α1 = Λ,
X
|u0µ+1 i=F1 |ui= αki Hi Eαµ+1 Eαµ · · · Eαk+1 Eαk−1 · · · Eα2 Eα1 |ui,
i
which is of the given form with µ products.
• of type F2
F2 = Nαk +αj Eαµ+1 Eαµ · · · Eαk+1 Eαk−1 · · · Eαj+1 · · · Eαk +αj Eαj−1
· · · Eα2 Eα1
with the operator Eαj replaced by Eαk +αj . Then the operator
|u00µ+1 i = F2 |ui is of the given form with µ products.
Thus finally the |uµ+1 i is a sum of terms of the form |uµ i. Since the lemma
holds for |uµ i, it holds for |uµ+1 i.
Before proceeding further let us apply this in the familiar case of A1 or
B1
|ui = |j ji
|u3 i = E−1 E−1 E−1 |ui, |u03 i = E1 E−1 E−1 |ui, |u003 i = E−1 E1 E−1 |ui etc.
From all these linear independent are the following1 :
j−m
|um i = (E−1 ) |ui, m = −j, −j + 1 · · · j1 , j.
Clearly:
H|um i = m|um i ⇒ Λ = (m), m = −j, −j + 1 · · · j1 , j, Λmax = (j).
The above states can be normalized.
Definition: Multiplicity of a weight Λ, indicated as n(Λ) is the number of
times it can occur in a representation Λ. If n(Λ) = 1, we say the weight is
simple.
We can now state the converse of the above theorem:
Theorem 4: A representation is irreducible if its maximum weight is simple.
We will not give the proof here, for a proof see [Racah (1965)], [Jacobson
1 E.g. |u02 i = [E1 , E−1 ] + E−1 E1 = 2H|ui ∝ |ui.
144 Group and Representation Theory
(1962)]. We simply note that if the maximum weight Λ is simple, the vector
uΛ associated with it is unique. Then starting from this we obtain a set
of linearly independent states, which cover the space RΛ by simply acting
with the operators:
Ωµ = Eαµ Eαµ−1 , · · · , Eα2 Eα1 .
Thus from a vector |ui i ∈ RΛ we obtain the vector |ui,α i:
|ui i, α=0
|ui,α i =
Eα |ui i, α 6= 0.
Clearly it is not possible to have X|ui,α i = 0 for every element of the
algebra. Indeed, if Hi |ui i = mi |ui i,
X
E−α |ui,α i = E−α Eα ui = [E−α , Eα ] ui = − αj Hj ui 6= 0.
j
in other words the theorem holds for i = 1. Suppose it holds for i. Then
In other words,
1
µg+1 = 0 ⇒ (g + 1)hα|Λi = g(g + 1)hαi.
2
Thus for hαi =
6 0 we get
2hΛ|αi
= g = integer.
hα|αi
So part i) of the proof is complete.
We now encounter two possibilities.
The net result of the above theorem is that the weights can be chosen to
be integers.
Combining the above two theorems we can state the following theorem:
Theorem 7: Suppose that T is a representation of a semisimple Lie algebra
and m a given weight of T then:
We will exploit the results of Theorem 5 to study the weights of the irre-
ducible representations of the classical algebras: L` , A` , B` , C` and D` .
i) The algebra L`
Here the elements are hi = eii and eij , i 6= j with roots αρ (ij) =
δiρ − δjρ . Thus hα(ij)|α(ij)i = 2 and hΛ|αi = mi − mj . Then the
second of Eq. (7.5) yields
mρ , ρ 6= i, ρ 6= j
m̃ρ = mρ − (mi − mj )αρ (ij) ⇒ m̃ρ = mj , ρ=i
mi , ρ = j.
2(mi − mj )
= integer ⇒ mi − mj = integer.
2
Thus the highest weight of Ln is specified by the numbers
m1 , m2 , · · · , m` such that
m1 ≥ m2 , · · · ≥ m` , mi − mj = integer, ` = n.
Thus now equivalent weights can also occur with sign change of
one of the two exchanged components. As a result all negative
components can eventually become positive. Thus the numbers
2hΛ|αi
= integer ⇒ ±mi ± mj = integer, i, j = 1, 2 · · · , `
hα|αi
m̃ρ = mρ − sign(i)m|i| + sign(j)m|j| sign(i)δρ|i| + sign(j)δρ|j| .
case (b) i = j
2hΛ|αi
hα|αi = 4, = sign(i)m|i| = integer
hα|αi
mρ , ρ 6= |i|
m̃ρ = mρ − sign(i)m|i| δρ|i| = .
−m|i| , ρ = |i|
Thus the mi are integers. Furthermore equivalent weights can be
obtained by exchanging two weights with a sign change of one of
them. Thus the maximum weight is defined with the natural num-
bers mi that is
hβ` |β` i = 4,
that is
Λβi = Λi − Λi+1 , i = 1, 2, · · · , ` − 1, Λβ` = Λ` .
v) The algebra D` . The roots are βi as above in B` and β` = α(`, `−1).
Thus
(βi )ρ = δiρ −δi+1,ρ , (β` )ρ = δ`ρ +δ`−1,ρ , hβi |βi i = 2, i = 1, 2, · · · , `,
The parameters λk depend on the chosen set of roots. In the special case
of the Dynkin roots we get
hm|αi i X 2hαj |αi i X
λj AT ij .
mαi = 2 = λj = (7.12)
hαi |αi i j
hαi |αi i j
Since the Cartan matrix is non-singular, we can invert the above equation
to get:
−1
λj = AT mαi .
ji
In other words,
−1
m= AT mD αk ,
k
with mD the corresponding weight in the Dynkin representation. One can
proceed in an analogous fashion to obtain the parameters λk in any root
system.
152 Group and Representation Theory
−1
With the aid of AT we can obtain the metric G of the roots:
−1 1
Gij = AT hαi |αj i (7.13)
ij 2
Thus
2 1
1
3 3 2 0 1 21
G= 1 2 1 = .
3 3 0 2 6 12
We thus find
1 1 21 2 1 1 2 1 21 −1 1 0
ã = = , ã = = .
6 12 −1 2 0 6 12 2 2 1
The normalization of the roots is arbitrary. We could have chosen α0 =
√
3α. Then the metric G would have been:
2 1 3
3 3 2 0 1 21
G= 1 2 = ,
3 3 0 32 2 12
which is preferred not only for A2 . It can be extended to A` and in general
to all classical algebras (see Table A.8 of appendix A).
Example 2: The Algebra G2 √ √
Two positive roots are α1 = (0, 3) and α2 = ( 21 , − 23 ) with hα1 |α1 i = 3,
hα2 |α2 i = 1, hα1 |α2 i = −3/2. The Dynkin roots are given by the rows of
the Cartan matrix:
2 −1
a(1) = , a(2) = .
−3 2
Weights of Irreducible Representations — Maximal Subalgebras 153
Now
2 −1 −1 21 T −1
23
A= ⇒A = ⇒ A = .
−3 2 32 12
Thus
3
23 2 0 1 63
G= 1 = .
12 0 2 2 32
We thus find
1 63 2 1 3 1 63 −1 1 0
ã1 = = , ã2 = = .
2 32 −3 2 0 2 32 2 2 1
From these roots, which can be treated as positive, since they were obtained
from genuinely positive roots, one can obtain all roots by considering all
possible chains.
One can show that in all cases the components of the contragredient
roots ãk obey
i 1
ã(k) = δik hαk |αk i.
2
Indeed
i
(k) −1 hαj |αj i 2hαk |αj i −1
ã(k) = Gij aj = AT ij = AT ij hαk |αj i
2 2hαj |αj i
−1 hαk |αk i −1 hαk |αk i 1
= AT ij Akj = AT ij Ãjk
= δik hαk |αk i.
2 2 2
Thus these roots have only one nonzero component which is positive.
The matrices giving the metric (metric matrices) are very useful in ob-
taining and handling the weights of the representations of the semisimple
Lie algebras and they are tabulated in appendix A (see Tables A.8 and
A.9).
or
X X α
σiα a(i) = γi a(i) , γiα = integers.
Λ̃ = Λ − k (7.15)
i i
We see that the weight (−1, 0) of the representation (2, 0) has been pro-
duced twice. Yet it is not, double but single, since in the process of getting it
we ended up in the same location. The same is true for the weight (−1, −1),
of (1, 1), which is again single. The weight (0, 0) of (1, 1), however, is not
single. It is encountered twice in different places. In other words we have
degeneracy. This has nothing to do with the Dynkin algorithm. The eigen-
values of the Abelian elements do not suffice. We need additional quantum
numbers, in the case of A2 three operators need to be diagonalized. We will
see later that for all the algebras one can find such a set, but the beauty
of the simple weight description is lost. For particle physics applications,
however, this is not a serious problem, since the groups encountered could
be complicated, but the needed representations are very simple.
The way of obtaining the weights associated with the representations
(1, 0) (regular) and (0, 1) of the algebra G2 is shown diagrammatically in
Fig. 7.2. We see that the weight (0, 0) is also degenerate in the case of
(1, 0). The (1, 0) coincides with the regular representation of G2 (the (0, 1)
is not the conjugate of (1, 0)).
156 Group and Representation Theory
we get the weight (−1, 0). The procedure stops, since there are no positive
components and the obtained weight is not a root. This is expected since the
representation is 4-dimensional and we have obtained all the four weights.
Finally let us consider some more involved examples of interest to par-
ticle physics like the fundamental 10 of D5 , see Fig. 7.3, the spinorial rep-
˘ 1/2, 1/2) ⇔ 16 and (1/2, 1/2, 1/2, 1/2, −1/2) ⇔
resentations (1/2, 1/2, 1/2,
16 of D5 , see Fig. 7.4, and the representations 27 and 27∗ of E6 , see
∗
Fig. 7.5.
Fig. 7.3: The tree of obtaining the weights from the maximum weight and
their level in the case of the fundamental 10 of D5 .
Fig. 7.4: The same as in Table 7.3 for the spinorial representations 16 (left)
and 16∗ (right) of D5 . The weights are given in the Dynkin representation.
Fig. 7.5: The same as in Table 7.3 but for the 27 (left) 27∗ (right) of E6 .
2
vi) det(Sα ) = −1. Clearly (detSα ) = 1, since the transformation is
orthogonal. The root +1 is excluded since Sα |αi = −α.
With the aid of its reflection group, Weyl proved the following important
theorems. We will state them without proof:
Theorem 8: Let Λ be the maximum weight of the representation T of the
semisimple Lie algebra L. Let h be an element of the Abelian subalgebra
B. Then the character associated with representation T (h) is given by
P
detS exp hS(Λ + δ)|hi
χ(h) = S∈W P (7.18)
S∈W detS exp hSδ|hi
Recall
X
h = λi hi , hΛ|hi = λi mi , Λ = (m1 , m2 , · · · m` ).
i
We will apply the above formulas to obtain explicit expressions giving the
dimension of the irreducible representations, in terms of their maximum
weight Λ = (Λ1 , Λ2 , · · · , Λ` ), of the algebras L` , A` , B` , C` and D` . The
essential ingredient is to obtain an expression for δ.
Thus
X X X
α= δρi − δρj
α>0 i<j i<j
Weights of Irreducible Representations — Maximal Subalgebras 161
δ = (` − 1, ` − 2, · · · , 2, 1, 0) ⇒ δρ = ` − ρ,
Y Y Y
hα|Λ + δi = (Λi + Λj + 2` − (i + j)) (Λi − Λj + j − i).
α>0 0<i<j 0<i<j
Thus finally
`
Y Λi + Λj + 2` − (i + j)
dimΓΛ =
i<j
2` − i − j
`
Y Λi − Λj + j − i
× . (7.22)
i<j
j−i
In such a case
h2α|αi i X α hαj |αi i X
= kj or (a(α ))j = kjα Aij
hαi |αi i j
hαi |αi i j
1X α 1 X −1
hα|δi = kj hαj |αi i = (A )ji (a(α) )i hαi |αj i (7.28)
2 2 i,j
1 X −1
hα|Λ + δi = (A )ji (a(α) )i hαi |αj i(1 + Λαj ). (7.29)
2 i,j
There is no point repeating the evaluation for the classical algebras. The
method can be applied in the case of the special algebras. As an example
we will consider G2 . The roots of this algebra were obtained in section 4.8
√ √ √ √
√ 3 3 3 3 1 3 1 3
±(1, 0), ±(0, 3), ±( , ), ±( , − ), ±( , ), ±( , − ).
2 2 2 2 2 2 2 2
√ √
The two simple roots are (0, 3), (1/2, 3/2). From these we construct
the following data:
2 1 2 −1 21
A= , a(1) = , a(2) = , A−1 = .
−3 2 −3 2 32
The positive roots are:
0 1/2 3/2 0 3/2
α1 = √ , α2 = √ , α3 = √ , α4 = , α5 = √ ,
3 − 3/2 3/2 1 − 3/2
1
α6 = .
0
To these we associate the Dynkin roots:
2 −1 1 0 1
a(1) = , a(2) = , a(3) = , a(4) = , a(5) = ,
−3 2 −1 1 −3
1
a(6) = .
0
Obviously the Dynkin roots are not literally positive, but they belong to
the set π of positive roots, if their parent was positive. The contragredient
to those are:
a(1) = 3/2, 0 , a(2) = 0, 1/2 , a(3) = 1, −1 , a(4) = 3/2, 1 ,
Table 7.1: The relevant data for determining the dimensions of the irre-
ducible representations of C3 = Sp(6). The quantity j λα
P
j is obtained
from the last column by setting the weights equal to zero.
Pα
α kα λα
j λj (1 + Λ αj )
(2,0,0) (2,2,1) (2,2,2) 6 + 2(Λ1 + Λ2 + Λ3 )
(0,1,0) (1,2,1) (1,2,2) 5 + 2Λ1 + 2Λ3
(1, −1, 1) (1,1,1) (1,1,2) 4 + Λ1 + Λ2 + 2Λ3
(−2, 2, 0) (0,2,1) (0,2,2) 4 + 2Λ2 + 2Λ3
(1, 1, −1) (1,1,0) (1,1,0) 2 + Λ1 + Λ 2
(−1, 0, 1) (0,1,1) (0,1,2) 3 + Λ2 + 2Λ3
(2, −1, 0, ) (1,0,0) (1,0,0) 1 + Λ1
(−1, 2, −1) (0,1,0) (0,1,0) 1 + Λ2
(0, −2, 2) (0,0,1) (0,0,2) 2 + 2Λ3
with the understanding that the weights are given in the Dynkin represen-
tation. Thus
3(λ1 + 1) λ2 + 1 3λ1 + λ2 + 4 λ2 + 1 3λ1 + 2λ2 + 5
dimΓ(Λ1 ,Λ2 ) =
3 1 4 1 5
3(λ1 + λ2 + 2) 2(2λ1 + λ2 + 3)
×
6 6
1
= (1 + Λ1 )(1 + Λ2 )(4 + 3Λ1 + Λ2 )(5 + 3Λ1 + 2Λ2 )
120
× (2 + Λ1 + Λ2 )(3 + 2Λ1 + Λ2 ). (7.31)
Thus we find that the representation Λ = (1, 0), regular or adjoined is 14-
dimensional. While the representation Λ = (0, 1) is 7-dimensional, i.e. this
is the fundamental representation (see also Fig. 7.2).
We will consider another application of this approach, namely the alge-
bra C3 = Sp(6). The results are summarized in Table 7.1. Weyl’s formula
becomes:
1
dimΓ(Λ1 ,Λ2 ,Λ3 ) = (6 + 2(Λ1 + Λ2 + Λ3 ))(5 + 2Λ1 + 2Λ3 )
5760
× (4 + Λ1 + Λ2 + 2Λ3 )(4 + 2Λ2 + 2Λ3 )(2 + Λ1 + Λ2 )
× (3 + Λ2 + 2Λ3 )(1 + Λ1 )(1 + Λ2 )(2 + 2Λ3 ). (7.32)
Weights of Irreducible Representations — Maximal Subalgebras 167
The diagonal matrices ΓHa(i) are easily obtained. First we order the possible
weights in some fashion, m(1) , m(2) , · · · , m(`) and associate the state |ki
with the weight m(k) . We know that Ha(i) are diagonal, i.e.
(k)
Ha(i) |ki = mm
a(i) |ki.
H1 |1i= |1i, H1 |2i= −|2i, H1 |3i = 0, H2 |1i= 0, H2 |2i= |2i, H2 |3i= −H2 |3i
1 0 0 00 0
ΓH1 = 0 −1 0 , ΓH2 = 0 1 0 .
0 0 0 0 0 −1
Weights of Irreducible Representations — Maximal Subalgebras 169
1
E−1 |(0, 0)2 i = √ |1, −2i.
2
Thus:
1 √
r
1 1 1 3
E−2 |4i = √ |1, −2i = √ |7i, E−2 |6i = √ (2 2 − √ )|1, −2i = |7i.
2 2 3 2 2
We summarize the above results as follows:
√ √
E−a(1) |1i = |2i, E−a(1) |2i = 0, E−a(1) |3i = 2|4i, E−a(1) |4i = 2|5i,
We thus get:
1 000 000 0 10 0000 0 0
0 −1 0 0 0 0 0 0 0 2 0 0 0 0 0 0
0 0 2 0 0 0 0 0 0 0 −1 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
ΓH1 = , ΓH2 = . (7.37)
0 0 0 0 −2 0 0 0 0 0 0 0 1 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 1 0 0 0 0 0 0 0 −2 0
0 0 0 0 0 0 0 −1 0 0 0 0 0 0 0 −1
As we have mentioned these matrices can be constructed from the knowl-
edge of the structure constants, see section 1.5.2, i.e. given the elements λk
of an algebra ordered in some way the structure constants provide a basis
|ki yielding the adjoined representation Γk via the rule:
m m
[λk , λ` ] = Ck` λm ⇒ Γk |`i = Ck` |mi (7.38)
In the case of A2 we order the elements as follows H1 , H2 , E12 , E23 , E13 ,
E21 , E32 , E31 . For our purposes it is sufficient to consider the commutators
involving the elements E21 and E32 , we find:
[E21 , H1 ] = −2E21 , [E21 , H2 ] = E21 , [E21 , H12 ] = −H1 , [E21 , E23 ] = 0,
[E21 , E13 ] = E23 , [E21 , E21 ] = 0, [E21 , E32 ] = −E32 , [E21 , E31 ] = 0
[E32 , H1 ] = −2E32 , [E32 , H2 ] = −2E32 , [E32 , H12 ] = 0, [E32 , E23 ] = −H2 ,
[E32 , E13 ] = −E12 , [E32 , E21 ] = E31 , [E32 , E32 ] = 0, [E32 , E31 ] = 0.
Thus we get:
Γ21 |1i = 2|6i, Γ21 |2i = −1|6i, Γ21 |3i = −|1i, Γ21 |4i = 0,
Γ21 |5i = |4i, Γ21 |6i = 0, Γ21 |7i = −|8i, Γ21 |8i = 0
Γ32 |1i = −|7i, Γ32 |2i = 2|7i, Γ32 |3i = −0, Γ32 |4i = −|2i,
Γ32 |5i = −|3i, Γ32 |6i = |8i, Γ32 |7i = 0, Γ32 |8i = 0
0 0 −1 0 0 0 0 0 000 0 0000
0 0 0 0 0 0 0 0 0 0 0 −1 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 −1 0 0 0
0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
Γ21 = , Γ32 = . (7.39)
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
2 −1 0 0 0 0 0 0
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 −1 2 0 0 0 0 0 0
0 0 0 0 0 0 −1 0 000 0 0100
The diagonal matrices are the same as above.
This representation is equivalent to the one above, i.e. the two are
related by a similarity transformation. Note that there is an arbitrariness
in this case as well, namely the ordering of the generators.
172 Group and Representation Theory
The level of a weight is the integer specifying the number of times the low-
ering operator must act on the maximum weight to yield this weight. The
maximum weight is characterized by level 0. For the (1, 1) representation of
A2 from Fig. 7.1 we see that the level of the weights of (2, −1) and (−1, 2)
is 1, the level of (0, 0) is 3 and the level of (−1, −1) is 4. The last is the
maximum possible level.
The maximum level T (Λ) corresponding to a given weight can be cast
in the form
X 1 X −1
T (Λ) = R̃i Λi , R̃i = A ji
.
i
2 j
According to Theorem 5 the level E(m) of a weight (mα1 ,
mα2 , · · · , mα` ) is given by
1X i
E(m) = R̃ (Λαi − mαi ).
2 i
E(−1, 0) = 10.
The theorem simply says that the degeneracy can be determined if the
degeneracies of the weights of the higher levels are known. We are not going
to prove the theorem, but the proof can be found in standard textbooks.2
We will determine the degeneracy of the weight (0, 0) of the (1, 1) rep-
resentation of A2 . We have
Thus
2 1 X
(2, 2) − (1, 1) n((0, 0)) = 2 |αi
2 1
α>0
but
2 1 X
(2, 2) , (1, 1) = 2,2 = 12 ⇒ 6n((0, 0)) = 12
2 1
α>0
or
n((0, 0)) = 2.
m(η) = im(h).
The subalgebra L0 = A1 ⊗ U(1) has the same rank with A2 (both are of
second rank ` = 2) but the L0 is not semisimple. We could, of course, have
chosen another set, e.g. the set
L1 = −i(e23 − e32 ), L2 = −i(e13 − e31 ), L3 = −i(e12 − e21 )
which are the generators of SO(3) or B1 . L0 = B1 is maximal semisimple
Lie algebra, but it has smaller rank than the previous one.
The upper quantum number characterizes the A1 and the lower the Y
or U(1). Thus the triplet of A2 breaks into a doublet of A1 with values
m = 1, −1 and Y = 1/3, the first two states, and a singlet of A1 with
m = 0 and Y = −2/3, the third state. Thus we write
1 2 1 2
(1, 0) → (1) ⊗ + (0) ⊗ − or 3 → 2, + 1, − .
3 3 3 3
Let us now consider the chain A2 ⊃ B1 . This chain is favored in nuclear
physics, since the higher symmetry SU(3) is that of the harmonic oscillator
and provides a good shell model basis. The lower symmetry’s SO(3) yielding
wave functions of good angular momentum. This chain is harder to deal
with, since the angular momentum operators are linear combinations of
eij , i.e. involving all three indices. Furthermore the weights characterizing
A2 and B1 have degeneracies, which must somehow be removed. So two
additional labels are needed. One of them is easy to incorporate, it can be
the eigenvalue of the angular momentum operator L2 , while the other is
hard to construct.
Let us see what we can do with the technology we have already devel-
oped. Consider any weight Λ of A2 . Then
hΛ|L3 |Λi = −ihΛ|e12 |Λi + ihΛ|e21 |Λi = −i (Λ|Λ + αi − Λ|Λ − αi)
= −2ihΛ|αi.
In the Dynkin representation this becomes
X
ihΛ|L3 |Λi = Λαi hαi |αi i = (Λα1 hα1 |α1 i + Λα2 hα2 |α2 i)
i
= 2 (Λα1 + Λα2 ) .
Thus
Λα1
A2 ⇔ → 2 (Λα1 + Λα2 ) ⇔ B1 ⇒ P = (2, 2), 1 × 2 matrix.
Λα2
Thus
A2 : Λ (1, 0) (1, −1) (0, −1)
B1 : 2m 2 0 −2
i.e. the SU(2) triplet contains an angular momentum triplet (L = 1; m =
1, 0, −1). Similarly for the SU(3) representation (2, 0) ⇔ 6 we get
A2 : Λ (2, 0) (0, 1) (2, −2) (1, −1) (−1, 0) (0, −2)
B1 : 2m 4 2 0 0 −2 −4
i.e. the SU(2) (2, 0) ⇔ 6 contains an angular momentum 5, quadruplole,
(L = 2; m = 2, 1, 0, −1, 2) and a scalar (singlet) with L = 0.
The projection procedure is a simple matter in the Dynkin representa-
tion, provided that the maximal subalgebra is known.
178 Group and Representation Theory
The subalgebras of a given algebra are divided into two main groups, regular
and irregular:
Definition: A subalgebra L0 of L with a basis h0i and e0α is regular if a
basis hi and eα for L can be found such that {h0i } ⊂ {hi }, {e0α } ⊂ {eα }.
Otherwise the algebra L0 is called irregular.
Finding the maximal subalgebras of a given algebra is not a trivial
problem. So we will concentrate in some cases of interest to physics. For a
more complete discussion see Dynkin [Dynkin (1975)], and Slansky [Slansky
(1981)].
The maximal subalgebras are semisimple and non-semisimple. The lat-
ter have factors U(1) in them. The subalgebras originating from semisim-
ple algebras can be determined by inspecting the Dynkin diagrams, by just
cutting off one dot (more subalgebras can be obtained by subsequently re-
moving additional dots or cutting the diagram at some other dot). When
cutting from the beginning or the end, keep track of the relative size of the
remaining roots to determine the subalgebra. We thus obtain the following
chains:
A` ⊃ A`−1 ⊗ U(1) ⊃ A`−2 ⊗ U(1) ⊗ U(1) · · · (7.40)
(0, −1) (see section 7.3.3). The above projection operator makes
the reduction:
1 −1 1 −1
→(1)(0), →(0)(1), →(0)(−1), →(−1)(−1).
0 1 −1 0
Recalling that the weights are doubled, we see that in the reduction
C3 ⊃ A1 ⊗ A1 both A1 representations are 2-dimensional indicated
by (1) ⇔ 1/2. In the reduction C3 ⊃ A1 ⊗ U(1) we have (1)0 +
(0)(−1) + (0)(−1) where the first number in parentheses is the
weight of A1 and the second number indicates the value of Y . In
other words the first term in the above sum is an SU(2) doublet
and the other two are SU(2) singlets.
• In the second chain the generators of the maximal subalgebra are:
1 1 −1
→ (1)(1), → (1)(−1), → (−1)(−1).
0 −1 0
That is
Applying the above techniques as well as those of the next chapter one can
obtain useful group chains, see e.g. Tables B.23–B.29, B.33, B.34, B.35,
B.37 and B.39 of appendix B. One can also obtain maximal subalgebras,
see e.g. Tables B.9–B.10 of appendix B.
One can write the reduction of the weights of a representation of an
algebra in terms of a desired chain, see e.g. Tables B.4 and B.5 of appendix
B.
Weights of Irreducible Representations — Maximal Subalgebras 181
One must make sure that the dimensions of the projection matrices are
appropriately defined to allow for their multiplication.
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
Construction of Irreducible
Representations — Young Tableaux
From what we have discussed so far we know that every Lie algebra has a
least two non-trivial representations.
183
184 Group and Representation Theory
Thus
h1 ξ 1 = −ξ 1 , h1 ξ j = 0, i = 2, 3, · · · , ` ⇒ Λ1 = (−1, 0, · · · , 0)
Generally:
0 0 · · · ∓1 0 0
Λ±ρ = , ρ = 1, 2, 3, · · · , `; Λ0 = (0, 0, · · · , 0, 0).
ρ
The maximum weight Λ = Λ−1 . Since the highest weight is simple, the
representation is irreducible.
The first and the last are made in one way and the other two have been
made in two arrangements. For each Young tableaux [f ] we can associate
a Young operator Y [f ]. For r = 2 we have the following:
• The symmetric case.
Y 1 2 = 1 + P12 ⇒ T i1 i2 = Y 1 2 F i1 ,i2
= F i1 ,i2 + F i2 ,i1 .
Since i1 ≤ i2 for three objects we have the following tensor possi-
bilities:
i) Those with identical indices F i1 i1 , F i2 i2 , F i3 i3 which are already
symmetric.
ii) Three tensors with different indices:
T i1 i2 = Y 1 2 F i1 i2 = F i1 i2 + F i2 i1 , T i1 i3
=Y 1 3 F i1 i3 = F i1 i3 + F i3 i1
T i2 i3 =Y 2 3 F i2 i3 = F i2 i3 + F i3 i2 .
In general for n objects we have
n 1
N (n, [2]) = n + = n + n(n − 1) = n(n + 1).
2 2
• The antisymmetric case:
!
1
Y = 1 − P12 .
2
We normally write for i1 < i2
! ! !
1 i1 1
Y = 1 − (12) ⇒ T =Y F i1 i2 = F i1 ,i2 − F i2 ,i1 ,
2 i2 2
i.e. the usual antisymmetric tensor normally written as xi1 ⊗ xi2 .
For 3 objects we have
! ! !
1 1 2
Y , Y , Y .
2 3 3
In general for n objects we have
n 1
N n, 12 =
= n(n − 1)
2 2
Construction of Irreducible Representations — Young Tableaux 189
= (1 − P13 ) F i1 i2 i3 + F i2 i1 i3 = F i1 i2 i3 + F i2 i1 i3 − F i3 i2 i1 + F i2 i3 i1 .
Similarly
! !
T i1 i3 =Y 1 3 F i1 i2 i3 = (1 − P12 ) (1 + P13 ) F i1 i2 i3
i2 2
= (1 − P13 ) F i1 i2 i3 + F i3 i2 i1 = F i1 i2 i3 + F i3 i2 i1 − F i2 i1 i3 + F i3 i1 i2 .
Suppose we are given two tensor representations T ([f ]) and T (f 0 ]). The
product T ([f ]) ⊗ T ([f 0 ]) is in general a reducible tensor representation, but
it can be expressed as a linear combination of irreducible tensors.
X
T ([f ]) ⊗ T ([f 0 )] = α[f ],[f 0 ],[f 00 ] T [(f 00 )].
[f 00 ]
Construction of Irreducible Representations — Young Tableaux 191
The question of evaluating the coefficients α[f ],[f 0 ],[f 00 ] is complicated and
it will be addressed later. At this point we would like to know how to find
the possible Young tableaux [f 00 ] corresponding to the “product” [f ] ⊗ [f 0 ].
We will assume that the first tableaux corresponds to the symmetry group
Sr and the second to the symmetry group Sr0 , while the product to the
group Sr+r0 . This product will be indicated as “external product”. We will
not prove the relevant theorems but we will only state the rules and apply
them in some simple cases of practical interest.
(1) We select the most complicated symmetry [f ], usually containing
the largest number of boxes, and write the corresponding Young
tableaux.
(2) in the Young tableaux corresponding to the symmetry [f 0 ] we put
some numbers, e.g. number 1 in the first row, number 2 in the
second row. We add the boxes of [f 0 ] one by one on [f ] in all
possible ways to yield an acceptable Young tableaux but with the
following restrictions:
(3) the number of boxes in [f 00 ] must be equal to the sum of the number
of boxes of [f ] and [f 0 ].
(4) The boxes with the same number cannot belong to the same col-
umn.
(5) In the resulting Young tableaux when reading the elements of a
row from right to left every number 2 must be preceded by at least
one number 1, every number 3 must be preceded by at least one
number 2 etc.
Let us begin with the very simple cases:
i) One of the Young tableaux has only one box. Let us consider
the two simple cases ⊗ and ⊗ . Since the second
tableaux in both cases has only one box there is no need to put
any numbers in the second box. Thus:
⊗ → +
From this reduction we can find the dimension of [2, 1] in the case
of n objects. All we need to do is to equate the dimensions of the
left and right of the above equation:
N ([12 , n]) × N ([1, n]) = N ([[1, 1, 1], n]) + N ([2, 1], n)
192 Group and Representation Theory
1 1
⇒ n(n − 1)n = n(n − 1)(n − 2) + N ([2, 1], n)
2 3
1
⇒ N ([2, 1], n) = n(n + 1)(n − 1).
3
Similarly we find
⊗ → +
The reductions
⊗ → + ,
⊗ → + ,
⊗ → + ,
Then
1
1 1 1
⊗ 1 1 → + 1 + 1
The middle diagram is not consistent with the above rules and it
is omitted. As a result:
⊗ → + (8.6)
1 1
We write it as ⊗
. Then we proceed successively for
2
each row of the second tableaux.
As a first step we have:
1
1 1 1
⊗ 1 1 → 1 + 1 + 1
1 1
+ 1 + 1
The last Young tableaux does not satisfy the above rules and is
omitted. Thus the correct expression is:
1
1 1 1 1
⊗ 1 1 → 1 + 1 + 1 + 1
(8.7)
We now continue with the second step:
1 1
1 1 1 1
⊗ 2 → 2 + 2
1
1 1 1
1 ⊗ 2 → 1 2 + 2
The diagram
1 2
1 ,
does not satisfy the above rules and has been omitted.
1
1 1
1 2 1
1 ⊗ 2 → 1 + 2
194 Group and Representation Theory
1
1 1 1
1 ⊗ 2 → 1 2 + 2
As a result:
⊗ → + +
+2 + + + (8.8)
Note that the above rules yield the multiplicities, if any. E.g. [3,
2, 1] can be obtained in two different ways:
1 1
1 1 2
2 , 1
f1 ≥ f2 ≥ · · · ≥ fn , f1 + f2 + · · · + fn = r.
symmetry.
Construction of Irreducible Representations — Young Tableaux 195
is:
1 1 1 1 ············ 1
2 2 2 ········· 2
3 3 ······ 3
···············
n ······ n
Recalling now that hi xj = δij xj we get
h1 |u = f1 |u , h2 |u = f2 |u , · · · , hn |u = fn |u .
Hence the maximum weight is:
Λ = (f1 , f2 , · · · , fn ).
This is an integral representation since the components of the weight are
all integers. Its dimension is
`
Y fi − fj + j − i
dim([f ]) = ,l=n (8.9)
i<j
j−i
(see Eq. (7.21)). Starting from the highest weight and acting with the
operators Eαi as we described in the previous chapter we obtain all the
weights of the representation.
The representation [1n ] is 1-dimensional with weight Λ = (1, 1, · · · , 1).
On the other hand, the representation [1r ] has dimension and weight given
by:
n 1 1 ··· 1 0··· 0
N [1r , n] = ,Λ= . (8.10)
r r n
As an application we consider the reduction of Ln if we restrict ourselves
to Ln−1 . Then
X
Γ([f ], n) = Γ([f 0 ], n − 1), [f 0 ] contains at most n − 1 rows.
[f 0 ]
In order to get a standard tableaux, the index n should be in the last box
of a given column. The Young tableaux [f ] should be of the form
····················· x x
··············· x x
············ x x
············ x
···············
x x x x x
196 Group and Representation Theory
where at least one of the x and everything to its right should be n. The
diagrams [f 0 ] should satisfy the conditions:
f1 ≥ f10 ≥ f2 ≥ f20 ≥, · · · fn−1 ≥ fn−1
0
≥ fn .
For example in the case of [f ] = [6, 4, 2] and n ≥ 3 we have
6 ≥ f10 ≥ 4 ≥ f20 ≥ 2 ≥ f30 > 0.
The possible solutions are
0 0
f2 = 4 f3 = 2, 1, 0
0 0 0
f1 = 6 → f2 = 3 f3 = 2, 1, 0
0
f2 = 2 f30 = 2, 1, 0.
For f10 = 5 we get f20 and f30 as above. Similarly for f10 = 4. Thus the
solutions are:
[f 0 ]=[6, 4, 2], [6, 4, 1], [6, 4, 0], [6, 3, 2], [6, 3, 1], [6, 3, 0], [6, 2, 2], [6, 2, 1], [6, 2, 0],
[5, 4, 2], [5, 4, 1], [5, 4, 0], [5, 3, 2], [5, 3, 1], [5, 3, 0], [5, 2, 2], [5, 2, 1], [5, 2, 0],
[4, 4, 2], [4, 4, 1], [4, 4, 0], [4, 3, 2], [4, 3, 1], [4, 3, 0], [4, 2, 2], [4, 2, 1], [4, 2, 0].
In the special case of n = 3, [f 0 ] must have at most two rows, i.e. 6 ≥ f10 ≥
4 ≥ f20 ≥ 2,
[f 0 ] = [6, 4], [6, 3], [6, 2], [5, 4], [5, 3], [5, 2], [4, 4], [4, 3], [4, 2].
The reader should check that dim[f ] = [f ]0 dim[f 0 ].
P
, , - ,
in the case of A2 (SU(3)) are all equivalent to the last one [f ] = [4, 2], which
is the simplest.
× → +
So we take the product of the fundamental representation with
highest weight (1, 0) with itself. On the right-hand side the first
is the symmetric representation with highest weight (2, 0) and the
second is the antisymmetric with highest weight (0, 1). We know
that their dimensions are 6 and 3, i.e. 3 × 3 = 6 + 3. We write
(1, 0) × (1, 0) → (2, 0) + (0, 1)
3 × 3 → 6 + 3
ii) Consider the reduction
× → +
i.e we take the product of the antisymmetric representation [1, 1]
with highest weight (0, 1) found above with fundamental represen-
tation with highest weight (1, 0). On the right-hand side the first
is the antisymmetric representation with highest weight (1, 1, 1) of
U(3), which, restricted to SU(3), becomes (0, 0) and the second is
the mixed symmetry with highest weight (1, 1). We know that the
dimension of (0, 0) is 1. So the dimension of (1, 1) = 3 × 3 − 1 = 8,
which can of course be obtained from Weyl’s formula. We thus
write
(0, 1) × (1, 0) → (0, 0) + (1, 1)
3∗ × 3 → 1 + 8
iii) Consider the reduction
× → +
i.e we take the product of the symmetric representation with
highest weight (2, 0) with fundamental representation with high-
est weight (1, 0). On the right-hand side the first is the mixed
symmetry representation with highest weight (1, 1) and the sec-
ond is the symmetric representation with highest weight (3, 0).
We know that the dimension of (1, 1) is 8. So the dimension of
dim(3, 0) = 6 × 3 − 8 = 10, which, of course, can be obtained from
Weyl’s formula. We thus write
(2, 0) × (1, 0) → (1, 1) + (3, 0)
6 × 3 → 8 + 10
Construction of Irreducible Representations — Young Tableaux 199
× → +
The [4], and [3, 1] have highest weight (4, 0) and (2, 1). Thus if we
know that the dimension of [4] is 15 we can obtain the dimensions
for all the rest.
(3, 0) × (1, 0) → (4, 0) + (2, 1)
10 × 3 → 15 + 15
(there exist two representations with dimension 15).
v) Consider the reduction:
× → + +
The last diagram restricted to SU(3) becomes . Furthermore the
[2, 2] has highest weight (0, 2). We know that the dimension of
(2, 1) is 15 and obtain dim(0, 2) = 6. We thus write
(1, 1) × (1, 0) → (2, 1) + (0, 2) + (1, 0)
8 × 3 → 15 + 6 + 3
• [f ] = [3, 0].
[f ] = , f1 × n = , [f¯] =
⇒ [f¯] = [3, 3]
• [f ] = [4, 2].
[f ] = , f1 × n = , [f¯] =
Before concluding this section we remind the reader that the Dynkin
representation is often more convenient. From the Young diagram we can
obtain the Dynkin weight:
Recall the assertion that the Young tableaux completely specifies the rep-
resentations of Gn , U (n ) etc. was based on the assumption that there is no
other symmetry except the symmetry Sr , in other words there is no subset
of the tensors associated with a given Young tableaux left invariant under
the group G. This, however, does not hold in the case of the symmetries
O(n) and Sp(n). Indeed consider a tensor of rank r ≥ 2, e.g. F i1 ,i2 ,i3 ,··· ,ir ,
and the quantity:
(r) i3 ,i4 ,··· ,ir
X
G12 ≡ F12 ≡ δi1 , i2 F i1 ,i2 ,i3 ,··· ,ir (8.12)
i1 ,i2
but
X X
δi1 , i2 αji11 αji22 = αji 1 αji 2 = δj1 , j2 ,
i1 ,i2 i
such that
X
δα,β F0i1 ,i2 ,i3 ,··· ,ir = 0, (traceless tensor) (8.13)
α,β
1
(3) (2) (3)
Kα = −G12 + (n + 1)G13 − G23 ,
(n − 1)(n − 2)
1
(3) (2) (3)
Lα = −G12 − G13 + (n + 1)G23 .
(n − 1)(n − 2)
Finally, we have
1
F0i1 ,i2 ,i3 = F i1 ,i2 ,i3 + (n + 1)
(n − 1)(n − 2)
"
X
× ((n + 1)F i,i,i3 − F i,i3 ,i − F i3 ,i,i )
i
X
+ (−F i,i,i2 + (n + 1)F i,i2 ,i − F i2 ,i,i )
i
#
X
−F i,i,i1 − F i,i2 ,i + (n + 1)F i1 ,i,i
+ . (8.14)
i
Construction of Irreducible Representations — Young Tableaux 203
Thus
X X
αki α`j sign(`)δ`,−k = δi,−j sign(i) ⇒ j
αki α−k sign(k) = sign(i)δi,−j
k,` k
0 X 0
i3 ,i4 ,··· ,ir
(G(r) )012 = F12 = δi1 ,−i2 F i1 ,i2 ,i3 ,i4 ,··· ,ir
i1 ,i2
XX
= αji33 αji44 · · · αjirr αji11 αji22 sign(i2 )
i1 ,i2
X
⇒ G0r i3 i4 ir
12 = αj3 αj4 · · · αjr δj1 ,−j2 sign(j1 )F j1 ,j2 ,j3 ,j4 ,··· ,ir
j1 ,j2
0
i3 ,i4 ,··· ,ir j3 ,j4 ,··· ,ir
⇒ F12 = αji44 · · · αjirr F12 . (8.15)
With the aid of traceless tensors defined above we are going to find the
representations of the algebras B` , D` and C` from the Young diagrams of
U(n).
204 Group and Representation Theory
T ([µ]) = Y ([µ])F0 i1 , i2 , · · · , ir , µ1 ≥ µ2 ≥ · · · ≥ µ` ,
µi = integer ≥ 0, i = 1, 2, · · · , `; µ1 + µ2 + · · · + µ` = r. (8.20)
This representation has maximum weight
[n]
Λ = (µ1 , µ2 , · · · , µ` ), ` = , [n] = integral part of n. (8.21)
2
Construction of Irreducible Representations — Young Tableaux 205
[f ]2 = [µ1 + 1, 1]
The diagram [f ]2 is connected to [f ]1 . These are equivalent as
diagrams of SO(3), but not as diagrams of O(3).
• The group O(5). Here ` = 2 and we have two diagrams µ = (µ1 , µ2 )
and µ = (µ1 , µ2 , 1) as follows:
[f ]1 = ,
[f ]2 =
The diagram [f ]2 is connected to [f ]1 . These are equivalent as
diagrams of SO(5), but not as diagrams of O(5).
206 Group and Representation Theory
where the Young operators have at most ` rows (Young operators with more
than ` rows give something identical to zero). Thus now [f ] → (ω):
(ω) = ω1 , ω2 , · · · , ω` , ω1 ≥ ω2 ≥ · · · ≥ ω` , ωi = integer, i = 1, 2 · · · , `,
ω1 + ω2 + · · · + ω` = r.
All representations are now integral and proceeding as in the case of the
orthogonal groups, it can be shown that they are real. The branching rules,
however, are a bit complicated4 and they will not be given here. Rewriting
Eq. (7.22) the dimensions of the irreducible representations read:
` `
Y ωi + ωj + 2(` + 1) − (i + j) Y ωi − ωj + j − i
dim((ω), `) =
i<j
2(` + 1) − i − j i<j
j−i
`
Y ωi + ` + 1 − i
× . (8.26)
i=1
`+1−i
(i)r−2
where F0 (iα , iβ ) is a traceless tensor of rank r − 2 obtained from F (i)r
(i)r−4
after contraction of the indices iα , iβ . Similarly F0 (iα , iβ , iλ , iµ ) is a
traceless tensor of rank r − 4, after contraction of the 4 indices iα , iβ , iλ , iµ
etc.
We note that δ iα ,iβ is itself a symmetric second rank tensor, δ iβ ,iα , which
under O(n) transforms like .
This observation suggests an algorithm for the reduction of symmetry [f ].
One gets:
i) The symmetry [f ] itself.
ii) What remains after removing two boxes .
iii) What remains after removing two more boxes .
iv) We continue till all boxes are removed or stop only when one box
or two boxes remain.
The only restriction imposed in each step is that the two removed
boxes cannot be in the same column. In addition, if the two boxes
do not come from a symmetric pair, the remainder cannot be fur-
ther contracted.
We should check the results by the dimensionality criterion.
As an example let us consider the reduction A4 ⊃ B2 or better, U(5) ⊃
SO(5). We will consider the following simple cases:
[2, 0, 0, 0, 0] → (2, 0) + (0, 0)
→ or
15 14 1
The dimensionality is checked by applying Eqs. (8.9) and (8.25).
[1, 1, 0, 0, 0] → (1, 1)
→ or
10 10
Note however that the [3, 1] cannot be further contacted to (2, 0), (0, 0) and
(1, 1), since it was obtained from boxes not belonging to a . Then
using the above results for the last three cases we get:
[4, 2, 0, 0, 0]→ (4, 2)+(2, 2)+(4, 0)+(3, 1)+2(2, 0)+(0, 0)
→
420 220 35 55 81 2 × 14 1
Note the representation (2, 0) appears twice, since it has been produced in
two independent ways, from [f ] = [2, 2] and [4, 0]. The one produced from
[3, 1] was removed according to the above criterion. For the same reason
the (1, 1) and the would be (0, 0) were removed from the final result.
As we have seen in section 8.8 in the case of B` and C` Young tableaux
with more than two rows do not give us anything new, since the diagram
with a column [1p ] gives the same SO(n) with the one with [1n−p ]. Thus
[2, 12 ] gives the same reduction as [2, 1], i.e. [2, 12 ] → (2, 1) + (1, 0). For
more examples see Tables B.14 and B.15 in appendix B.
iv) We continue till all boxes are removed or stop only when one box
or two boxes remain.
The only restriction imposed in each step is that the two removed
boxes cannot be in the same row.
Let us consider SU(4) ⊃ Sp(4). We know that Young tableaux’s with at
most two rows are admissible. Thus for r ≤ 4 we have:
• r=2
[2, 0, 0, 0] → (2, 0)
→ or
10 10
• r=4
[4, 0, 0, 0] → (4, 0)
→ or
35 35
Nanjing University group [Chen et al. (2002)] in the ’70s and ’80s in accordance with
the concepts and methods used in quantum mechanics along the lines, but going much
further than the pioneering work of E. Wigner.
Construction of Irreducible Representations — Young Tableaux 213
Thus
Proceeding further we recall that for fermions, j = half integral, the wave
function must be antsymmetric with at most 2j + 1 particles.
Thus for j = 3/2 the symmetry is U(4) and
We put the state m1 in the first box, m2 in the second box and m3 in
the third box. These must be all different, since they belong to the same
column, and their sum must be fixed by the desired angular momentum
M -quantum number, m1 + m2 + m3 = M . It is adequate to consider only
positive values of M . Thus we have the following possibilities:
m1 = 25 , m2 = 3
2, m3 = 1
2, M= 9
2
m1 = 25 , m2 = 3
2, m3 = − 12 , M= 7
2
5 3
m1 = 2, m2 = 2, m3 = − 32 , M= 5
2
5 3
m1 = 2, m2 = 2, m3 = − 52 , M= 3
2
5 1
m1 = 2, m2 = 2, m3 = − 12 , M= 5
2
5 1
m1 = 2, m2 = 2, m3 = − 32 , M= 3
2
5 1
m1 = 2, m2 = 2, m3 = − 52 , M= 1
2
5
m1 = 2, m2 = − 21 , m3 = − 32 , M= 1
2
3 1
m1 = 2, m2 = 2, m3 = − 12 , M= 3
2
3 1
m1 = 2, m2 = 2, m3 = − 32 , M= 1
2.
We thus find that the maximum value of J = 9/2, which takes off the
values M = 9/2, 7/2, 5/2, 3/2 and 1/2. Then we know that the next
possible value of J, J = 7/2, but no M = 7/2 is left. The next allowed
value of J is J = 5/2 which removes the M values of 5/2, 3/2 and 1/2.
So only the values of M = 3/2 and 1/2 are left, which are absorbed by
j = 3/2. So we summarize
5 9 5 3
j= , [f ] = ⇒J = , ,
2 2 2 2
J = 0, 2 1 1, 2 1, 3
216 Group and Representation Theory
J= 1 0, 2 1 1, 2, 3
(1 × (0 + 2) = 1, 1, 2, 3).
× = +
J = 1, 2 1 1 1, 2, 3
((0 + 2) × 1 = 0, 1, 2, 1, 2, 3).
× = +
J= 1, 3 1 1, 2, 3 0, 2, 4
((1 + 2) × 1 = 0, 1, 2, 2, 3, 4) etc.
iii) n = 4, i.e. j = 3/2. We now easily see that:
[1] [12 ] [13 ] [14 ]
J = 3/2 J = 0, 2 J = 3/2 J = 0
Proceeding as above:
× = +
J = 3/2 3/2 0, 2 1, 3
× = +
J = 3/2 3/2 0 1, 2, 3
Construction of Irreducible Representations — Young Tableaux 217
J = 1, 3 0, 2 1, 2, 3 12 , 2, 32 , 4, 5
((1 + 3) × (0, 2) = (1, 3) ⊗ 0 + (1 + 3) × 2 = 1, 3, 1, 2, 3, 1, 2, 3, 4, 5).
Note that J = 1 and 3 appear twice in [f ] = [3, 1]. This means
that the quantum numbers J and M do not suffice to completely
specify the state. Furthermore
× = +
× = + +
The Young tableaux are also useful in reducing the product of integral
representations of the classical groups. We obtain in the product the irre-
ducible representations of U(n). Then in the product space:
• For the algebra A` , ` = n − 1 remove all columns with n boxes.
• For B` and D` remove all symmetrically coupled pairs (only trace-
less tensors need to be considered). Only ` = [n]/2 is relevant.
[f ] → (µ1 , µ2 , · · · , µ` ),
e.g.
[2, 14 ] → (2, 1, 1, 1, 1, 0, · · · , 0) + (1, 1, 1, 1, 0, · · · , 0).
• For C` remove all anti-symmetrically coupled pairs (only traceless
tensors need to be considered). Only n = 2` is relevant.
[f ] → (ω1 , ω2 , · · · , ω` ),
e.g.
[2, 14 ] → (2, 1, 1, 1, 1, 0, · · · , 0) + (2, 1, 1, 0, · · · , 0) + (2, 0, · · · , 0).
218 Group and Representation Theory
Before proceeding to the study of the examples below, the reader is urged
to study the examples discussed in section 8.9.1. These results can also be
used to check whether the dimensionality criterion is fulfilled.
Example 1:
U (n) ⊗ = +
U (n) ⊗ = +
Example 3:
U (n) ⊗ = +
Let us now analyze Eq. (8.35) in the case of n = 5, i.e. SO(5). In this case
it is written as (2, 0) × (1, 0) = (3, 0) + (2, 1) + (1, 0). We can verify that
14 ⊗ 5 = 30 + 35 + 5,
7 In labeling the B` , D` and C` representations the extra zeros are understood for large
n.
Construction of Irreducible Representations — Young Tableaux 219
i.e. the dimension criterion is satisfied. Let us do the same for Eq. (8.32).
Since [13 ] is the same with [12 ] in the case of B2 it is written as (1, 1) ×
(1, 0) = (1, 1) + (2, 0) + (1, 0). Again
10 ⊗ 5 = 10 + 35 + 5.
Let us also look at Eq. (8.32) in the case n = 4, i.e. SU(4) ⊃ Sp(4). In
this case [13 ] is equivalent to [1] and it yields only (µ) = (1, 0), i.e. no
contraction is needed. Thus instead of Eq. (8.33) we have in this case
(1, 1) × (1, 0) = (2, 1) + (1, 0). Thus
5 ⊗ 4 = 16 + 4.
The situation is often tricky and one must always employ the dimensionality
check!
One can proceed further this way starting with the simplest representa-
tions so that on the right-hand side only one Young tableaux is really new.
The process seems straightforward, but it becomes a bit tedious for B` , D`
and C` , even with the aid of modern computers. We will return to this
problem in the next chapter using the Dynkin weights, a method which is
less elegant, but easier to code with computers.
For A2 (SU(3)) one can find general formulas. Thus using now the
standard notation, namely λ = f1 − f2 and µ = f2 − f3 , we find:
(λ, µ) ⊗ (1, 0) = (λ + 1, µ) + (λ − 1, µ) + (λ, µ − 1),
(λ, µ) ⊗ (2, 0) = (λ + 2, µ) + (λ − 2, µ + 2) + (λ − 1, µ) + (λ + 1, µ − 1)
+ (λ, µ + 1) + (λ, µ − 2),
⊗ = + = 28 + 21
B3 ⊃ G2 ⊃ A1 ,
Using the techniques of Clifford algebra it can be shown that there exist
one elementary weight of B` , Λ = (1/2, 1/2, · · · , 1/2) and two elementary
weights in the case of D` , namely Λ = (1/2, 1/2, · · · , ±1/2). Thus we
conclude that all representations of the classical algebras can be generated
from the following:
Thus we have the following basic weights for the orthogonal groups:
1 0 0 0 ··· 0 0
1 1 0 0 ··· 0 0
1 1 1 0 ··· 0 0
B` , D2k ⇔Λ=
1 1 1 1 ··· 1 0
1 1 1 1 ··· 1 1
1/2 1/2 1/2 1/2 · · · 1/2 1/2
222 Group and Representation Theory
1 0 0 0 ··· 0 0
1 1 0 0 ···
0 0
1 1 1 0 ··· 0 0
D2k+1 ⇔Λ= 1 1 1 1 ··· 1 0 (8.36)
1 1 1 1 ···
1 1
1/2 1/2 1/2 1/2 · · · 1/2 1/2
1/2 1/2 1/2 1/2 · · · 1/2 −1/2
1 (`−1)
λ` = a + (`)
2
we obtain
a(i) =λi −λi+1 , i=1, 2, · · · , `−2, a(`−1) =λ`−1 −λ` , a(`) = λ`−1 +λ` .
From the formulas we have obtained in section 7.3.1, we find for the spinorial
representations:
Λ = (1/2, 1/2, · · · , 1/2) ⇔ Λ(D+) = a(+) = (0, 0, · · · , 0 0, 1),
Fig. 8.1: The extended Dynkin diagrams containing all the elementary
representations, including the spinorial ones.
224 Group and Representation Theory
1
⇒ a(1) =λ2 −λ3 , a(2) =λ3 −λ4 , a(3) =λ4 , a(4) = (λ1 − λ2 − λ3 − λ4 ) .
2
ii) The algebra E6 . The weights are (the extended) weights λi , i =
1, 2, · · · , 5 of A5 and λ of A1 , i.e.
λ4 =(0, 0, −1, 1, 0, 0), λ5 =(0, 0, 0, −1, 1, 0), λ6 =(0, 1, −1, 0, −1, 2).
We have seen that each weight can be expressed in terms of the simple roots
and root can be expressed in terms of the elementary weights the weights
can be a linear combination of the elementary weights.
226 Group and Representation Theory
The quantity `i can be determined from the maximum weight. From the
discussion in the previous chapter we find:
`−1
1 X
B` : `i = Λα` + Λαk
2
k=i
`
X
C` : `i = Λαk
k=i
`−2
1 X
D` : `i = (Λα`−1 − Λα` ) + Λαk .
2
k=i
For F4 we find
3 1
`1 = Λα1 + 2Λα2 + Λα3 + Λα4 , `2 = Λα1 + Λα2 + Λα3 ,
2 2
1 1
`3 = Λα1 + Λα3 , `4 = Λα3 .
2 2
For the remaining algebras we do not have a unique solution so we impose
P
the condition i `i = 0. Thus we get:
` `
1 X X
A` : `i = iΛα`i + Λαk ,
`+1 i
k=i
1 1 2
G2 : `1 = Λα1 + Λα2 , `2 = Λα2 , `3 = −Λα1 + Λα2 , (8.37)
3 3 3
5 5
X X k
E6 : `i = `6 + Λαk , i = 1, 2, · · · , 5, `6 = − Λαk ,
6
k=i k=1
1
`8 = −(Λα1 + 2Λα2 + 3Λα3 ) − (9Λα4 + 6Λα5 + 3Λα6 + 7Λα7 ),
4
7
X 1
E8 : `i = `8 + Λαk , i = 1, 2, · · · , 7, `8 = (Λα8 − 2Λα2 − Λα6 ),
3
k=i
1
`9 = − (3Λα1 − 10Λα2 + 9Λα3 + 12Λα4 + 15Λα5 + 10Λα6 + 21Λα7 + 8Λα8 ).
3
In some cases the `i have simple interpretation, e.g. in the case of D5
1 1 1 1 1 1
Λ = (0, 0, 0, 1, 0) ⇒ `i = ⇔ ` = ( , , , , )
2 2 2 2 2 2
1 1 1 1 1 1 1 1 1 1 1
Λ=(0, 0, 0, 0, 1) ⇒ `i =− ⇔ `=−( , , , , ) ⇔ `=( , , , , − ),
2 2 2 2 2 2 2 2 2 2 2
i.e. we get the spinorial representations.
For E6 we get
2
≺ λi |λi = ;
3
1 1
≺ λ|λi = 0, ≺ λi |λj = − , i 6= j, i, j = 1, 2, · · · , 5, ≺ λ|λ = .
3 2
228 Group and Representation Theory
Similarly we have
Y YX Y
≺ Λ + δ|α = mi ≺ λi |α = (mp − mq ).
α>0 α>0 i p>q
In all cases the needed expressions are obtained in terms of the quantities
δi given above and mi given by:
mi = `i + δi . (8.38)
Construction of Irreducible Representations — Young Tableaux 229
Thus we get:
Y mp − mq
A` : dimΓΛ = (8.39)
δp − δq
Y mp
Y
mp − mq
Y
mp + mq
B` , C` : dimΓΛ = (8.40)
δp δp − δq δp + δq
Y mp − mq Y mp + mq
D` : dimΓΛ = (8.41)
δp − δq δp + δq
Y mp Y mp − mq
G2 : dimΓΛ = (8.42)
δp δp − δq
Y mp Y mp − mq Y mp + mq
F4 : dimΓΛ =
δp δp − δq δp + δq
Y m1 ± m2 ± m3 ± m4
(8.43)
δ1 ± δ2 ± δ3 ± δ4
m Y mp − mq Y mp + mq + mr + m/2
E6 : dimΓΛ = (8.44)
δ δp − δq δp + δq + δr + δ/2
(here m and δ correspond to the weight λ)
Y mp − mq Y mp + mq + mr + ms
E7 : dimΓΛ = (8.45)
δp − δq δp + δq + δr + δs
Y mp − mq Y mp + mq + mr
E8 : dimΓΛ = . (8.46)
δp − δq δp + δq + δr
The above formulas are relatively neat. Note, however, that there are many
definitions hidden behind them. Let us apply this in the case of G2 . For
the representation (1, 0) (see Eq. (8.37)) we have
`1 = 1 `2 = 0 `3 = −1
4 1
δ1 = 3 δ2 = 3 δ3 = − 53 ,
7 1
m1 = 3 m2 = 3 m3 = − 38
7 1 −8 7
− 13 7
+ 83 1
+ 83
3 3 3 3 3 3 7 × 1 × 8 6 × 15 × 9
dim(1, 0)= 4 1 −4 4
= = 14.
− 13 4
+ 53 1
+ 53
3 3 3 3 3 3
4× 3×9×6
The Casimir operators were defined in section 1.4.2. They commute with all
the elements of a semisimple Lie algebra and their eigenvalues completely
specify the representation. The most useful is the quadratic one whose
eigenvalues C(Λ) in terms of the maximum weight Λ of the representation
were given by Weyl
C(Λ) =≺ Λ|Λ + δ . (8.48)
A related expression is the index of the representation defined relative to
the regular representation:
dim(Γ(Λ))
`(Λ) = C(Λ). (8.49)
dim(Γ(Λreg ))
Construction of Irreducible Representations — Young Tableaux 231
(see Tables B.6–B.8). We can proceed as above and write these expressions
in terms of the elementary weights
X
C(Λ) = `i (`j + δj ) ≺ λi |λj . (8.50)
i,j
`+1
X
B` : C(Λ) = `i (`i + 2` − 2i + 1). (8.52)
i=1
`+1
1X
C` : C(Λ) = `i (`i + 2` − 2i + 2). (8.53)
2 i=1
`+1
X
D` : C(Λ) = `i (`i + 2` − 2i). (8.54)
i=1
6
1 X
E6 : C(Λ) = `(` + 22) + 2 `i (`i − 2i). (8.57)
2 i=1
8
!
X 17
E7 : C(Λ) = 8k `i (`i − 2i) − `8 . (8.58)
i=1
2
9
!
X 82
E8 : C(Λ) = 9k `i (`i − 2i) − `9 . (8.59)
i=1
3
8.17 Problems
F0 ( i j k ` )=(n+2)(n+4)Ai Aj Ak A` −(n+2)A2 Ai Aj δ k` +· · ·
X
−(A2 )2 δ ij δ k` + δ ik δ j` + δ i` δ jk , A2 = Am Am , A ∈ O(n).
m
,
Construction of Irreducible Representations — Young Tableaux 233
Construction of Irreducible
Representations, Kronecker Products,
Clebsch-Gordan Coefficients
We have seen that if we have two irreducible representations ΓΛ1 and ΓΛ2
of a semisimple Lie algebra with maximum weights Λ1 and Λ2 respectively
the product ΓΛ1 ⊗ ΓΛ2 is also a representation of the algebra, which, in
general is reducible. It can however be written as
X ρ
ΓΛ1 ⊗ ΓΛ2 = ΓΛ
Λ,ρ
where ρ is an index, which is necessary whenever the representation Λ
appears more than once.
235
236 Group and Representation Theory
X
|hΛ(1) σ1 m(1) |Λ(2) σ2 m(2) i = h(Λ(1) Λ(2) )Λσm|Λ(1) σ1 m(1) , Λ(2) σ2 m(2) i
Λρ
hΛ(1) σ1 m(1) , Λ(2) σ2 m(2) |(Λ(1) Λ(2) )Λ0 σ 0 m0 iρ = δρρ0 δΛΛ0 δmm0 δσσ0
X
hΛ(1) σ1 m(1) , Λ(2) σ2 m(2) |(Λ(1) Λ(2) )Λσmi∗ρ
ρΛmσ
• In particle physics
1 1
C2 , H1 = (E11 − E22 ), Y = H2 = (E11 + E22 − 2E33 )
2 3
with eigenvalues I(I + 1), I3 and Y . In other words the represen-
tation is specified by the three numbers I, I0 , Y (Y is often called
hypercharge).
• In nuclear physics
1
C2 , H 1 = (E11 − E22 ), Q0 = −3H2 = 2E33 − E11 − E22
2
with eigenvalues Λ(Λ + 1), Λ0 and , i.e. the representation is spec-
ified by the three numbers Λ, Λ0 , . These are specified as follows
1
= 2λ + µ − 3(p + q), Λ = (µ + p − q), Λ3 = Λ − r,
2
p = 0, 1, · · · , λ, q = 0, 1, · · · , µ, r = 0, 1, · · · , 2Λ.
This is an interesting construction1 , using the Young tableaux discussed in
the previous chapter, but we are not going to elaborate further.
The chain A2 ⊃ B1 is also interesting, but a bit more complicated. It is
extremely hard to find an operator commuting with the angular momentum
operators L2 and m. A solution has, however, been found, using appropriate
projection techniques [Vergados (1968)]. In the rest of this chapter we will
follow the procedure usually followed in particle physics using the weights in
the Dynkin representation. Then what is needed is to evaluate the matrix
elements of the operators Ea(i) and E−a(i) associated with the simple roots
a(i) , roots of the algebra in the Dynkin representation.
This approach has the advantage that one needs not worry about consider-
ing the chain of subalgebras. The disadvantage is that one must cope with
the problem of multiplicities. The real problem is that the transformation
matrices do not factorize and they are become quite large. Suppose that
we consider a state |mi with weight m of a representation with maximum
weight Λ. Then we consider the lowering operator E−α associated with the
positive root α. As we have seen in section 7.7
where the second set of parentheses indicates the weight and the first set
of parentheses the maximum weight, i.e. the representation. To simplify
the notation we write Ei = E−αi we omit the representation labels on the
right-hand side with the understanding that (1, 0) comes first. Thus, since
we find
√ √
3|(3, 0)(1, 1)i = (−1, 1)i|(2, 0)i +
2(1, 0)i|(0, 1)i
√
1 2
⇒ |(3, 0)(1, 1)i = √ |(−1, 1)i|(2, 0)i + √ |(1, 0)i|(0, 1)i. (9.5)
3 3
Construction of Irreducible Representations 241
This is the first relation. The sum of the weights on the left must also
occur in |(1, 1)(1, 1)i. Noting, however, that this state is an orthogonal
combination of the one we have obtained, we find:
√
2 1
|(1, 1)(1, 1)i = − √ |(−1, 1)i|(2, 0)i + √ |(1, 0)i|(0, 1)i (9.6)
3 3
with arbitrary choice of phase. Acting now on Eq. (9.5) we find:
1 √
2|(3, 0)(−1, 2)i = √ 0 + 2(−1, 1)i|(0, 1)i
3
√
2 √
+ √ (−1, 1)i|(2, 0) + 2(1, 0)i|(−2, 2)i
3
√
2 1
⇒ |(3, 0)(−1, 2)i = √ (−1, 1)i|(0, 1)i + √ (1, 0)i|(−2, 2)i. (9.7)
3 3
Proceeding as above we get the orthogonal combination:
√
1 2
|(1, 1)(−1, 2)i = − √ (−1, 1)i|(0, 1)i + √ (1, 0)i|(−2, 2)i. (9.8)
3 3
Acting now with the operator E2 on Eqs. (9.5) and (9.6) we find:
√
2 1
|(3, 0)(2, −1)i = √ (1, 0)i|(1, −1)i + √ (0, −1)i|(2, 0)i, (9.9)
3 3
√
1 2
|(1, 1)(2, −1)i = √ (1, 0)i|(1, −1)i − √ (0, −1)i|(2, 0)i. (9.10)
3 3
The weight (0, 0) of (3, 0) and (1, 1) can be obtained in two ways. Acting
with E1 on Eq. (9.9) we obtain:
√
√ 2
2|(3, 0)(0, 0)i1 = √ ((1, 0)i|(−1, 0)i + (−1, 1)i|(1, −1)i)
3
1 √
+√ 2(0, −1)(0, 1)
3
or
1
|(3, 0)(0, 0)i1 = √ (|(1, 0)i|(−1, −0)i + |(−1, 1)i|(1, −1)i
3
+ |(0, −1)i|(0, 1)i) , (9.11)
while acting with E2 on Eq. (9.7) we obtain:
√
√ 2
2|(3, 0)(0, 0)i2 = √ ((−1, 1)i|(1, −1)i + (0, −1)i|(0, 1)i)
3
242 Group and Representation Theory
1 √
+ √ 2(1, 0)(−1, 0)
3
1
⇒ |(3, 0)(0, 0)i2 = √ (|(1, 0)i|(−1, 0)i + |(−1, 1)i|(1, −1)i
3
+ |(0, −1)i|(0, 1)i) . (9.12)
It is not surprising that we get the same equation, since the weight (0, 0)
appears in (3, 0) only once. On the other hand, acting with E1 on Eq. (9.10)
we obtain
1
|(1, 1)(0, 0)i1 = √ (|(1, 0)i|(−1, −0)i + |(−1, 1)i|(1, −1))
6
2
− √ |(0, −1)i|(0, 1)i, (9.13)
6
while acting with E2 on Eq. (9.8) we obtain
2
|(1, 1)(0, 0)i02 = √ |(1, 0)i|(−1, −0)i
6
1
− √ (|(−1, 1)i|(1, −1)i + |(0, −1)i|(0, 1)i) . (9.14)
6
We are not surprised that the last two equations are different, since the
weight (0, 0) appears in (1, 1) twice. Unfortunately the two expressions do
not lead to orthogonal states. We can use the first to define the state with
weight (0, 0) and apply the Gram-Schmidt orthogonalization procedure to
obtain the other state. The result is quite simple:
1
|(1, 1)(0, 0)i2 = √ ((1, 0)i|(−1, −0)i − (−1, 1)i|(1, −1)) (9.15)
2
(arbitrary phase selection).
Having crossed the Rubicon of the multiplicity it is straightforward to
continue this procedure till all states are completed. We note, however, that
we have a symmetry under (m1 , m2 ) → (−m2 , m1 ) i.e. for (λ, µ) = (3, 0)
and (1, 1) we have
= (−1)φ h(1, 0)(−m2 , −m1 ); (2, 0)(−m02 , −m01 )|(λ, µ)(−m2 −m02 , −m1 −m01 )i.
m1 + m2 = (0, 0) Λ Λ0 Λ00
m1 m2 (3, 0) (1, 1)1 (1, 1)2
q
1 √1 √1
(1, 0) (−1, 0) 6 (9.20)
q6 6
(−1, 1) (1, −1) √13 − 13 √12
q
(0, −1) (0, 1) √13 − 23 0
can be read off from the Cartan matrix of D5 (see section 6.3.4). Since the
highest weight of 210 is simple we find that:
We can act on this equation with the operators E4 and E5 . Since these
operators give a non-vanishing contribution on only one of the states of the
product, after their acting on Eq. (9.21) we get the rather trivial result:
√
Acting on the same equation with E4 we get 2|(0, 1, 0, 0, 0)i =
1 |(0, 0, −1, 1, 0)i|(0, 1, −1, 1, 0)i + 1 |(0, 0, 0, 1, 0)i|(0, 1, 0, −1, 0)i or
1
210 ⇔ |(0, 1, 0, 0, 0)i = √ (|(0, 0, −1, 1, 0)i|(0, 1, −1, 1, 0)i
2
+ |(0, 0, 0, 1, 0)i|(0, 1, 0, −1, 0)) . (9.33)
Acting on it with the same operator once more we get:
|(0, 1, 1, −2, 0)i = |(0, 0, 1, −1, 0)i|(0, 1, 0, −1, 0)i. (9.34)
The operator E3 acting on Eq. (9.27), yields nothing√new √ (yields Eq. (9.33)).
Acting, however, with E3 once more it yields 2 2|(0, 2, −2, 1, 1)i =
|(0, 1, −1, 0, 1)i|(0, 1, −1, 1, 0)i + |(0, 1, −1, 0, 1)i|(0, 1, −1, 1, 0)i or
|(0, 2, −2, 1, 1)i = |(0, 1, −1, 0, 1)i|(0, 1, −1, 1, 0)i|(0, 1, 0, 0, 0)i (9.35)
at this point we observe that the weight (0,1,0,0,0) also appears in 210. So
we construct a state orthogonal to that of Eq. (9.33), yielding:
1
45 ⇔ |(0, 1, 0, 0, 0)i = √ (0, 0, −1, 1, 0)i|(0, 1, −1, 1, 0)i
2
1
− √ |(0, 0, 0, 1, 0)i|(0, 1, 0, −1, 0). (9.36)
2
This serves as a starting point to begin constructing C-G involving 45.
One can thus continue to complete all C-G coefficients. The algorithm
is quite simple. The hurdle occurs when we reach the weight (00000) which
appears in all three representations (10 times in 210, 5 times in 45 and
once in 1. Now we have to diagonalize a 16 × 16 matrix. The labels
of the matrix are as follows: the lines by the 16 weights of the initial
representations 16(n)16∗ (−n), n = 1, 2, · · · , 16, while the columns by the
multiplicity of occurrence of |210iρ1 , ρ1 = 1, 2, · · · , 10, the multiplicity
|45iρ2 , ρ2 = 1, 2, · · · , 5 and |1. Such a program has been published, see,
e.g., [Patera (1970)], [Koh et al. (1984)], [Horst and Reuter (2011)]. For
the case of D5 in particular see [Papantonopoulos (1984)].
The matrix can be substantially reduced if one uses the states specified
by a proper chain of subgroups. We are not going to do it here, but we will
display the method using the simpler algebra A2 .
The above algorithm is quite simple, modulo the degeneracy problem, but
the dimensions of the matrices can get quite large if more complicated rep-
resentations are needed. So as we have mentioned this problem is resolved
246 Group and Representation Theory
1 1
(2, 0)(0, 2) ⇔ (2, 0)4, 0, 0; (2, 0)(1, −1) ⇔ (2, 0)1, , ;
2 2
1 1
(2, 0)(−1, 0) ⇔ (2, 0)1, , − ; (2, 0)(2, 0) ⇔ (2, 0) − 2, 1, 1;
2 2
(2, 0)(0, 1) ⇔ (2, 0) − 2, 1, 0; (2, 0)(−2, 2) ⇔ (2, 0) − 2, 1, −1.
Where the set of 3 labels outside the parenthesis corresponds to , I, I3 .
Similarly in the case of (3, 0) and (1, 1) we have
(3, 0)(0, 0)⇔(3, 0)0, 1, 0; (1, 1)(0, 0)1 ⇔(3, 0)0, 1, 0; (1, 1)(0, 0)2 ⇔(3, 0)0, 0, 0
(for the rest of the correspondence see Tables 9.1 and 9.2). Note that now
the degeneracy of (0, 0) on the case of (1, 1) has been removed. Using these
results the last matrix of the example 1 (Eq. (9.20)) can be written as:
(λ, µ)I, I3
(1, 0)I, I3 (20)I, I3 (30)1, 0 (1, 1)1, 0 (1, 1)0, 0
1 1 1 1 √1 √1 √1
2, 2 2, −2 3 6 2
1 1 1 1 √1 √1
2, −2 2, 2 3 6
− √12
√
0, 0 1, 0 √1
3
− √23 0
Similarly
√
1 1 h(10) 12 12 (20) 21 − 12 |(1, 1)1, 0i 1/ 6 1
h(10) (20) ||(11)1i = = √ =√
2 2 h 12 21 21 − 12 |1, 0i 1/ 2 3
11 1 1
√
1 1 h(10) 2 2 (20) 2 − 2 |(1, 1)0, 0i 1/ 2
h(10) (20) ||(11)0i = =− √ = 1.
2 2 h 12 21 12 − 21 |0, 0i −1/ 2
Thus we get the two sub-matrices
(10) ⊗ (20) (3,√0)1 (1, 1)1
1 1 √2 √1
(10) ⊗ (20) (1, 1)0
2 2 3 3
√
, 1 1
2 2 1
0 1 √1 − √2
3 3
The benefit of factorization does not look impressive for these simple rep-
resentations. It becomes, enormous, however, for complicated representa-
tions.
The reader should verify that the above transformation coefficients are a
special case, for λ = 1, µ = 0), of the general formulas [Hecht (1965)]. They
can also be obtained from the results [Vergados (1968)] exhibited in Table
9.3. From Table 9.3 we can obtain the C-G SU(3) coefficients involving the
two most important representations, namely the regular 8 = (1, 1) and the
fundamental 3 = (1, 0). Thus
1 1 1 1
h(1, 1)3, , (1, 0)2, 0|(2, 1)5, i = 1, h(1, 1)−3, , (1, 0)−1, |(0, 2)−4, 0i = 1
2 2 2 2
1 3
h(1, 1)0, 1, (1, 0) − 1, |(2, 1) − 1, i = 1, 1i = 1,
2 2
1 1
h(1, 1) − 3, , (1, 0) − 1, |(2, 1) − 4
2 2
(, Λ) = (2, 1) (, Λ) = (2, 0)
(1, 1) × (1, 0) (21) (02) (1, 1) × (1, 0) (21) (1, 0)
1 , Λ1 2 , Λ2 , 1 , Λ1 2 , Λ2 √
0, 1 2, 0 √1 − √12 0, 1 2, 0 3 1
2 2 √2
0, 21 −1, 21 √1
2
√1
2 0, 21
−1, 12 − 21 2
3
(, Λ) = (−1, 21 )
(1, 1) × (1, 0) (21) (02) (1, 0)
1 , Λ1 2 , Λ 2 √ √
−3, 21 2, 0 √3 − 21 √3
2 2 √ 2 2
0, 1 −1, 21 − 41 √3 3
2√ 2 4
0, 0 −1, 21 3 √3 − 41
4 2 2
248 Group and Representation Theory
Table 9.1: The SU(3) ⊃ SU(2) × U(1) reduction of the weights of (3, 0) and
(1, 1) representations of SU(3).
m I I3 Y = − 13 Λ
(3,0) 3/2 3/2 1 (3,0)
(1,1) 3/2 1/2 1 (3,0),(1,1)
(−1, 2) 3/2 −1/2 1 (3,0),(1,1)
(−3, 3) 3/2 −1/2 1 (3,0),(1,1)
(2, −1) 1 1 0 (3,0),(1,1)
(0, 0)1 1 0 (3,0),(1,1)
(−2, 1) 1 −1 0 (3,0),(1,1)
(0, 0)2 0 0 (1,1)
(1, −2) 1/2 1/2 −1 (3,0),(1,1)
(−1, −1) 1/2 −1/2 −1 (3,0),(1,1)
(0, −3) 0 2 (3,0)
Table 9.2: The SU(3) ⊃ SU(2) × U(1) reduction of the weights of (1, 0),
(2, 0) representations of SU(3).
m I I3 Y = − 13 Λ
(2,0) 1 1 2/3 (2,0)
(0,1) 1 0 2/3 (2,0)
(−2, 2) 1 −1 2/3 (2,0)
(1, −1) 1/2 1/2 1/3 (2,0)
(−1, 0) 1/2 −1/2 1/3 (2,0)
(0, −2) 0 0 −1/3 (2,0)
(1,0) 1/2 1/2 1/3 (1,0)
(−1, 1) 1/2 −1/2 1/3 (1,0)
(0, −1) 0 0 −1/3 (1,0)
Construction of Irreducible Representations
Table 9.3: The Clebsch-Gordan SU(3) coefficients (λ, µ) × (1, 0) → (λ0 , µ0 ). Here = 2λ0 + µ0 − 3(p + q),
Λ = 21 (µ0 + p − q).
2 , Λ2 (λ0 , µ0 ) = (λ + 1, µ) (λ0 , µ0 ) = (λ, µ − 1) (λ0 , µ0 ) = (λ − 1, µ + 1)
Λ1
q q q
(−p+λ+1)(−q+λ+µ+2) (q+1)(p+µ+1) (p+1)(−q+µ+1)
2, 0 (λ+1)(λ+µ+2) (µ+1)(λ+µ+2)
− (λ+1)(µ+1)
Λ
q q q
q(−p+λ+1)(−q+µ+1) (p+µ+1)(µ−q)(−q+λ+µ+1) (p+1)q(−q+λ+µ+2)
4 − 1, 12 − (λ+1)(p−q+µ+1)(λ+µ+2) (µ+1)(p−q+µ)(λ+µ+2) (λ+1)(µ+1)(p−q+µ+2)
Λ − 21
q q q
p(p+µ+1)(−q+λ+µ+2) p(q+1)(−p+λ+1) (λ−p)(p+µ+2)(−q+µ+1)
−1, 12 (λ+1)(p−q+µ+1)(λ+µ+2)
− (µ+1)(p−q+µ)(λ+µ+2) (λ+1)(µ+1)(p−q+µ+2)
Λ + 21
249
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
In this chapter we are going to discuss briefly the three common non-
compact Lie groups, namely SO(2, 1), the special linear group SL(2, c) and
the Lorentz group SO(3, 1).
They resemble the commutations of the SO(3), except for one sign. The
corresponding group elements are:
cosh η 0 sinh η
cosh ξ sinh ξ 0 0 1 0 1 0 0
Λ01 =sinh ξ cosh ξ 0 , Λ02 =
sinh η 0 cosh η , Λ12 = 0 cos θ sin θ .
0 0 1 0 − sin θ cos θ
0 0 1
(10.3)
The last is a bona fide rotation, the other two are “pseudo-rotations”.
The first two are not bounded. The above operators leave invariant the
expression:
251
252 Group and Representation Theory
1 3
D(−k) ⇔ k = , 1, , · · · ; m = −k, −(k + 1), −(k + 2), · · ·
2 2
(10.14)
The unitary representations are not finite dimensional since the
group is not compact. This is indicated in Fig. 10.1.
254 Group and Representation Theory
k
4
D(–k) D(+k)
3
–4 –3 –2 –1 1 2 3 4 m
Fig. 10.1: The values of m are represented on the x-axis and the values of
k on the y-axis. Both half integral (large balls) and integral (small balls)
are encountered. One can see that the range of values of k associated with
a given m is increasing as the absolute value of m increases. The figure is
extended to infinity both to the left and to the right.
ii) b > 0.
Now we choose:
1/2 − 8b
tanh θ = − ,
1/2 + 8b
in which case we obtain:
c
J1 ψ̃ = √ ψ̃. (10.22)
4 b
In this case the spectrum is continuous. It is not of interest to us
and we are not going to elaborate further on this case.
Thus
( −1/2 )
2 (αZ)2
En,` = mc 1+ 2 −1 ,
gK−G (n, `)
s 2
1 1
gK−G (n, `) = n + `+ − (αZ)2 . (10.38)
2 2
Some Non-Compact Algebras and Applications 259
Thus
!−1/2 s
2
2
(αZ) 1
En,j = mc2 1+ 2 −1 , Γ= j+ − (αZ)2
(n + Γ) 2
or finally
−1/2
2
2
(αZ)
En,j = mc 1 + − 1 . (10.39)
q 2
1 2
n+ j + 2 − (αZ)2
This is the set of 2 × 2 matrices with determinant one defined over the field
of complex numbers:
ab
G= , ab − cd = 1. (10.41)
cd
Consider now the matrix
x0 + x3 x1 + ix2
X= , det(X) = x20 − x21 − x22 − x23 . (10.42)
x1 − ix2 x0 − x3
The group G leaves this invariant, i.e.
0
x0 + x03 x01 + ix02
∗ ∗
ab x0 + x3 x1 + ix2 a c
= (10.43)
x01 − ix02 x00 − x03 cd x1 − ix2 x0 − x3 b∗ d∗
x00
1 0 0 0 x0
x01 0 cos θ31 0 sin θ31 x1
R31 =
x0 = 0
,
2 0 1 0 x2
x03 0 − sin θ31 0 cos θ31 x3
1 0 0 0
x00
x0
x01
0 cos θ 12 sin θ12 0 x1
R12 = 0 = 0 − sin θ12 cos θ12
0 x2 .
x2 0 0 1 0
x03 x3
0 0 0 1
These are the generators of the proper SO(3), which is a subgroup of the
Lorentz group.
The other three are non-compact and can be written as
0
x0 cosh ζ01 sinh ζ01 0 0 x0
x01 sinh ζ01 cosh ζ01 0 x1
L01 =
x0 =
,
2 0 0 1 0 x2
x03 0 0 01 x3
x00
cosh ζ02 0 sinh ζ02 0 x0
x01 0 1 0 0 x1
L02 =
x0 = sinh ζ02
,
2 0 cosh ζ01 x2
x03 0 0 0 1 x3
x00
cosh ζ03 0 0 sinh ζ02 x0
x01 0 10 0 x1
L03 =
x0 =
,
2 0 01 0 x2
x03 sinh ζ03 0 0 cosh ζ01 x3
262 Group and Representation Theory
p
with cosh ζ = 1/ 1 − (υ/c)2 , υ = the velocity. These correspond to the
boosts of the proper Lorentz transformations. These are orthogonal with
the metric diag(1, −1, −1, −1).
The above results are, of course, consistent with those obtained in sec-
tion 1.11. We thus recall that, if we make the substitution L0k → iJ0k ,
Lk` → Jk` , k, `, 6= 0, where Li,j the generators of the Lorentz and Jij those
of SO(4), the commutators are the same. We also know from section 1.9
that for SO(4) we can construct a set of operators Ai and Bi such that
with
In the case of the Lorentz group to the phase i these are modified to be
• a = 1/2, b = 0. Then
• a = 0, b = 1/2. Then
0 −i 0 −i 0 1 0 −1
+(1/2,1/2) i 0 i 0 −(1/2,1/2) −1 0 1 0
Γ2 =
0 −i 0 −i , Γ2
=
0 −1 0 1
i 0 i 0 1 0 −1 0
2 0 0 0 0 0 00
, Γ−(1/2,1/2) = 0 −2i 0 0 .
+(1/2,1/2) 0 0 0 0
Γ3 = 3
0 0 0 0 0 0 −2i 0
0 0 0 −2 0 0 00
One proceeds analogously for more representations.
The Dirac γ matrices employed in relativistic quantum mechanics and
field theory are:
γ0 = Σ3 , γk = Σ3 Σ1 sk .
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
i) A symmetry.
It is not simple but of the type SUI (2) ⊗ SUc (3) × UY (1). It is a
gauge symmetry.
ii) A particle content.
All particles are initially massless. We distinguish two possibilities:
– The gauge bosons.
These are spin-one particles. They are put in the adjoined
representation of the group. Their structure and interactions
are fixed by the symmetry.
– All other particles are put in by hand in some judiciously
chosen representation of the symmetry group.
These other particles form a minimal set including:
– A scalar particle (spin-zero particle). Such an elementary par-
ticle did not exist till 2012, when a particle has been found at
LHC, CERN.
265
266 Group and Representation Theory
The rest of the fields are not dictated by the symmetry and were put in by
hand. The fermion fields were put in chiral multiplets:
1 1
fL = (1 − γ5 )f, fR = (1 + γ5 )f such that γ5 fL = −fL , γ5 fR = −fR .
2 2
The left-handed are put in isodoublets (I = 1/2) and the right-handed in
isosinglets (I = 0).
Some Symmetries Involved in Particle Physics 267
The Abelian operators are not normalized, but we can choose them so
that the electric charge (in units of the proton charge) is related to the
SUI (2) × UY (1) quantum numbers, |I, I3 i and Y respectively, as follows:
Y
Q = I3 + (11.1)
2
(1) Leptons.
νe νµ ντ 1
`L = , , with I = , Y = −1,
e− L
µ− L
τ− L
2
`R = e− − −
R , µR , τR with I = 0, Y = −2.
The absence of the right-handed neutrino is conspicuous. We know
now that there are three generations. The number of generations
was not important at the time.
(2) Quarks. Also in three generations, each appearing in three colors
r, g, b:
α α α
u c t 1 1
qL = α , α α with I = , Y = , α = r, g, b.
d L s L b L 2 3
αR = (uα α α
R , cR , tR ) , Y = 4/3,
κR = (dα α α
R , sR , bR ) , Y = −2/3; I = 0, α = r, g, b.
(3) Scalars.
An isodoublet of complex scalars (Higgs) and its adjoined:
0 +
φ 1 ∗ φ 1
φ= − , I = , Y = −1 and φ̄= iτ 2 φ = ∗0 , I = , Y = 1.
φ 2 −φ 2
For these reasons there have been efforts to go beyond the SM. The most
attractive path was to proceed by extending the symmetry Gs to a simple
group. This way one hopes to achieve unification of all interactions. For this
reason the emerging framework is called Grand Unified Theory or simply
GUT.
In proceeding towards GUTs one notices that the group GS = SUc (3) ⊗
SUI (2) ⊗ UY (1) has rank ` = 4, which is equal to the sum of the ranks
of its individual parts, i.e. ` = 2 + 1 + 1 = 4. Thus the suitable simple
group must have at least rank equal to 4. Furthermore it is desirable that
the group admits complex representations, i.e. the conjugate T ∗ of such
a representation T should not be equivalent to it, i.e. they should not
be related via a similarity transformation [Slansky (1981)]. Under these
conditions the lowest rank groups are:
• Rank `=4 groups: A4 , B 4 , D 4 , C 4 , F 4 .
• Rank `=5 groups: A5 , B 5 , D 5 , C 5 .
• Rank `=6 groups: A6 , B 6 , D 6 , C 6 , E 6 .
• Rank `>6 groups, e.g.: D16 , E8 .
Obviously if a high rank group is considered a chain of subgroups down to
the standard model group Gs must be included.
The most popular choices are the groups SU(5), SO(10) and E6 with
ranks 4, 5 and 6 respectively. SU(5) is the simplest of these and, for this
reason, it will be selected for exhibiting the main ideas of Grand Unification
[Georgi and Georgi (1974)]-[Ellis (1980)], even though SO(10) [Fritzsch and
Minkowski (1975)] and E6 [Slansky (1981)] may possess some advantages.
with all the generators of SU(3) and SU(2) of GS (it is proportional to the
identity in the relevant subspaces). It can be identified with the generator
of U(1). In fact we will see that it is proportional
to the hypercharge. All
these are normalized so that tr (Hi )2 = 2.
For our purposes we can take the hypercharge operator to be1
• Consider
(1)
a) the operators Tij , i < j, j ≤ 5 with zeros everywhere except
the number one in row i and column j and one in row j and column
i (the analog extension of the Pauli matrix σ1 ) and
(2)
b) the operators Tij , i < j, j ≤ 5 with −i in row i and column j
and i in row j and column i (the analog of the Pauli matrix σ2 ).
These operators are normalized so that tr (Tij )2 = 2.
• Alternatively the operators:
+
a) The step up operators Eij , i < j, j ≤ 5 with zeros everywhere
except in row i and column j, where there exists one (the analog
of the matrix σ + ) and
−
b) The step down (lowering) operators Eij , which are the hermi-
− + +
tian conjugates of the previous ones, i.e. Eij = Eij .
These
operators are normalized to unity
− 2
+ 2
tr Eij = tr Eij =1 .
1 The hypercharge operator must be diagonal. So it can be written as a linear combi-
is not mathematically elegant and often ambiguous. It suffices, however, if only the
lowest dimension representations are used. Strictly speaking one should use the Young
tableaux specified by a set of positive integers [n1 , n2 , · · · , n` ] or the weights (Dynkin
labels) like |mi = mα1 , mα2 , · · · , mα` , with mαi integers. ` is the rank of the group.
3 It is customary to include only left-handed fermions and anti-fermions. Thus instead
Note the absence of left-handed anti-neutrino. Note also that the bilinear
a
ψ̄L a
γλ ψL , with a indicating that it is a member of 5∗ or of the 10 can have
the quantum numbers of the adjoined representation of SU(5). So such a
current can couple to the gauge bosons. Note also that since quarks and
leptons co-exist in the same multiplet the gauge bosons can cause both
lepton and baryon number violation.
The GS quantum numbers (color, SU(2) and hypercharge) of the
fermions are obvious.
The gauge bosons transform like the adjoined representation. So they can
be decomposed in terms of the generators of the group. We will do the
ordering and classification according to the subgroup GS = SUc (3) ⊗
SUI (2) ⊗ UY (1):
We will see below that only the color anti-triplets are relevant for proton
decay since one of the outgoing particles must be a lepton.
where the upper left and the lower right segments are understood to be
3 × 3 and 2 × 2 in the SUc (3) and SUI (2) spaces. The parameter υ is
the vacuum expectation values of Φ, i.e. (0|Φ|0) = diag(υ, υ, υ, − 32 υ, − 23 υ).
The complex scalar field along the diagonal takes the form
Φ = φα , φ0∗ , φ0 , α = color index.
(11.12)
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
275
276 Group and Representation Theory
Table A.1: The Dynkin diagrams for the semisimple Lie algebras. The
length of the roots is above the corresponding knot (in arbitrary units λ).
See section 6.2.
46M
40M
4QM
40M
Summary of Useful Expressions 277
46M
40M
4QM
40M
278 Group and Representation Theory
Table A.3: The Cartan matrices of the classical algebras. See section 6.3.
2 −1 0 · · · 0 0 0
−1 2 −1 · · · 0 0 0
0 −1 2 · · · 0 0 0
. . . . . . .
A` ⇔ (A) = (A.1)
. . . . . . .
0 0 0 · · · 2 −1 0
0 0 0 · · · −1 2 −1
0 0 0 · · · 0 −1 2
2 −1 0 · · · 0 0 0 0
−1 2 −1 · · · 0 0 0 0
0 −1 2 · · · 0 0 0 0
. . . . . . . .
B` ⇔ (A) = . . . . . . . . (A.2)
0 0 0 · · · 2 −1 0 0
0 0 0 · · · −1 2 −1 0
0 0 0 · · · 0 −1 2 −1
0 0 0 · · · 0 0 −2 2
2 −1 0 · · · 0 0 0 0
−1 2 −1 · · · 0 0 0 0
0 −1 2 · · · 0 0 0 0
. . . . . . . .
C` ⇔ (A) = . . . . . . . . (A.3)
0 0 0 · · · 2 −1 0 0
0 0 0 · · · −1 2 −1 0
0 0 0 · · · 0 −1 2 −2
0 0 0 · · · 0 0 −1 2
2 −1 0 · · · 0 0 0 0
−1 2 −1 · · · 0 0 0 0
0 −1 2 · · · 0 0 0 0
. . . . . . . .
D` ⇔ (A) = . . . . . . . . . (A.4)
0 0 0 · · · 2 −1 0 0
0 0 0 · · · −1 2 −1 −1
0 0 0 · · · 0 −1 2 0
0 0 0 · · · 0 −1 0 2
Summary of Useful Expressions 279
Table A.4: The Cartan matrices of some low rank algebras. See section 6.3.
2 −1 0
2 −1
A2 = , A3 = −1 2 −1 (A.5)
−1 2
0 −1 2
2 −1 0
2 −1
B2 = , B3 = −1 2 −1 (A.6)
−2 2
0 −2 2
2 −1 0 2 −1 −1
2 −2
C2 = , C3 = −1 2 −2 , D3 = −1 2 0 , (A.7)
−1 2
0 −1 2 −1 0 2
2 −1 0 0 0
2 −1 0 0
−1 2 −1 0 0
−1 2 −1 0
D4 =
, D5 = 0 −1 2 −1 −1
. (A.8)
0 −1 2 −1
0 0 −1 2 0
0 0 −2 2
0 0 −1 0 2
280 Group and Representation Theory
Table A.5: The Cartan matrices of special algebras. See section 6.3.5.
2 −1 0 0
2 −1 −1 2 −1 0
G2 = , F4 =
0 −2 2 −1 ,
(A.9)
−3 2
0 0 −1 2
2 −1 0 0 0 0
−1 2 −1 0 0 0
0 −1 2 −1 0 −1
E6 = , (A.10)
0 0 −1 2 −1 0
0 0 0 −1 2 0
0 0 −1 0 0 2
2 −1 0 0 0 0 0
−1 2 −1 0 0 0 0
0 −1 2 −1 0 0 −1
E7 = 0 0 −1 2 −1 0 0 , (A.11)
0 0 0 −1 2 −1 0
0 0 0 0 −1 2 0
0 0 −1 0 0 0 2
2 −1 0 0 0 0 0 0
−1 2 −1 0 0 0 0 0
0 −1 2 −1 0 0 0 −1
0 0 −1 2 −1 0 0 0
E8 = . (A.12)
0 0 0 −1 2 −1 0 0
0 0 0 0 −1 2 −1 0
0 0 0 0 0 −1 2 0
0 0 −1 0 0 0 0 2
Summary of Useful Expressions 281
Table A.6: Expression of the roots in terms of the elementary weights. See
section 8.14.
282 Group and Representation Theory
Table A.7: The positive roots of some representations of the classical alge-
bras in the Dynkin basis (see section 7.3.2). The maximum weight is at the
top.
SU(3) Sp4 G2
(1 0) (2 0) (1 0)
(2 − 1) (−1 2) (0 1) (−1 3)
(2 − 1) (−2 2) (0 1)
(1 − 1)
(2 − 3) (−1 2)
SU4 SO7
(1 0 1) (0 1 0)
(1 1 − 1) (−1 1 1) (1 − 1 2)
(2 − 1 0) (−1 2 − 1) (0 − 1 2) (1 0 0) (−1 0 2)
(1 1 − 2) (−1 1 0)
(2 − 1 0) (−1 2 − 2) (0 − 1 2)
Sp6 SU5
(2 0 0) (1 0 0 1)
(0 1 0) (1 0 1 − 1) (−1 1 0 1)
(1 − 1 1) (−2 2 0) (1 1 − 1 0) (−1 1 1 − 1) (0 − 1 1 1)
(1 1 − 1) (−1 0 1) (2 − 1 0 0) (−1 2 − 1 0) (0 − 1 2 − 1) (0 0 − 1 2)
(2 − 1 0) (−1 2 − 1) (0 − 2 2)
SO10
(0 1 0 0 0)
(1 − 1 1 0 0)
(−1 0 1 0 0) (1 0 − 1 1 1)
(−1 1 − 1 1 1) (1 0 0 − 1 1) (1 0 0 1 − 1)
(0 − 1 0 1 1) (−1 1 0 − 1 1) (−1 1 0 1 − 1) (1 0 1 − 1 − 1)
(0 − 1 1 − 1 1) (0 − 1 1 1 − 1) (−1 1 1 − 1 − 1) (1 1 − 1 0 0)
(0 0 − 1 0 2) (0 0 − 1 2 0) (0 − 1 2 − 1 − 1) (−1 2 − 1 0 0) (2 − 1 0 0 0)
a5 a4 a3 a2 a1
Summary of Useful Expressions 283
Table A.8: The metric matrices of the classical algebras (see section 7.3.2).
1·n 1 · (n − 1) 1 · (n − 2) · · · 1·2 1·1
1 · (n − 1) 2 · (n − 1) 2 · (n − 2) · · · 2·2 2·1
1 1 · (n − 2) 2 · (n − 2) 3 · (n − 2) · · · 3·2 3·1
G(An )= n+1
··· ··· ··· ··· ··· ···
1·2 2·2 3·2 · · · (n − 1) · 2 (n − 1) · 1
1 2 3 · · · n − 1 n/2
1 1 1 ··· 1 1
1 2 2 ··· 2 2
1 1 2 3 ··· 3 3
G(Cn )= 4
· · · · · · · · · · · · · · · ···
1 2 3 · · · n − 1 n − 1
1 2 3 ··· n − 1 n
2 2 2 ··· 2 1 1
2 4 4 ··· 4 2 2
2 4 6 ··· 6 3 3
1
G(Dn )= 2 · · · · · · · · · · · · ··· ··· ···
2 4 6 · · · 2(n − 2) n − 2 n−2
1 2 3 · · · n − 2 (n − 2)/2 (n − 2/)/2
1 2 3 · · · n − 2 (n − 2)/2 n − 2
4 5 6 4 23
5 10 12 8 4 6
1 6 12 18 12 6 9
G(E6 )= 3
4 8 12 10 5 6
2 4 6 5 4 3
3 6 9 6 36
284 Group and Representation Theory
`
Y fi − fj + j − i
dim([f ]) = (A` ). (A.14)
i<j
j−i
` `
Y µi + µj + 2` − (i + j) Y µi − µj + j − i
dim(µ, n)= , (orthogonal), n=2`.
i<j
2` − i − j i<j
j−i
(A.15)
` `
Y µi + µj + 2` + 1 − (i + j) Y µi − µj + j − i
dim(µ, n) =
i<j
2` + 1 − i − j i<j
j−i
`
Y 2(µi + ` − i) + 1
, n = 2` + 1, (orthogonal) . (A.16)
i=1
2(` − i) + 1
` `
Y ωi + ωj + 2` − (i + j) Y ωi − ωj + j − i
dim((ω), `) =
i<j
2` − i − j i<j
j−i
`
Y ωi + ` + 1 − i
, Sp(2`). (A.17)
i=1
`+1−i
286 Group and Representation Theory
Y mp − mq
A` : dimΓΛ = . (A.18)
δp − δq
Y mp Y mp − mq Y mp + mq
B` , C` : dimΓΛ = . (A.19)
δp δp − δq δp + δq
Y mp − mq Y mp + mq
D` : dimΓΛ = . (A.20)
δp − δq δp + δq
Y mp Y mp − mq
G2 : dimΓΛ = . (A.21)
δp δp − δq
Y mp Y mp − mq Y mp + mq
F4 : dimΓΛ =
δp δp − δq δp + δq
Y m1 ± m2 ± m3 ± m4
. (A.22)
δ1 ± δ2 ± δ3 ± δ4
Y
mY mp − mq mp + mq + mr + m/2
E6 : dimΓΛ = .
δ δp − δq δp + δq + δr + δ/2
(A.23)
(here m and δ correspond to the weight λ)
Y mp − mq Y mp + mq + mr + ms
E7 : dimΓΛ = . (A.24)
δp − δq δp + δq + δr + δs
Y mp − mq Y mp + mq + mr
E8 : dimΓΛ = . (A.25)
δp − δq δp + δq + δr
Appendix B
Table B.1: The tree of obtaining the weights from the maximum weight
and their level in the case of the fundamental 10 of D5 .
287
288 Group and Representation Theory
Table B.2: The same as in Table B.1 but for the spinorial representations
(1/2, 1/2, 1/2, 1/2, 1/2) ⇔ 16 (left) and (1/2, 1/2, 1/2, 1/2, −1/2) ⇔ 16∗
(right) of D5 . The weights are given in the Dynkin representation.
Some Useful Tables 289
Table B.3: The same as in Table B.1 but for the 27 (left) 27∗ (right) of E6 .
290 Group and Representation Theory
291
292
Table B.5 Continued.
SO(10) SU(5)
E6 SUc (3) 2I3 Y Q
Dynkin Dynkin
(0 − 11 − 100) (0 − 11 − 100) 45 (01 − 11) 24 (11) (0) 0 0 g
(−1010 − 1 − 1) (−1010 − 1) 16 (10 − 10) 10∗ (10) (0) 4
3
2
3
1 2
(−100100) (−10010) 16 (100 − 1) 10 (10) (1) 3 3
5 1
(−1101 − 1 − 1) (−1101 − 1) 45 (1 − 10 − 1) 24 (1 − 1) (−1) Y2
Table B.6: The Dynkin weight (first row), the dimension (second row)
and the index (third row) of some SU(3) representations (top) and SU(4)
(bottom).
Dynkin dim ` Dynkin dim `
(10) 3 1 (41) 35 105
(20) 6 5 (70) 36 210
(11) 8 6 (32) 42 119
(30) 10 15 (08) 45 330
(21) 15 20 (51) 48 196
(40) 150 35 (90) 55 495
(05) 21 70 (24) 60 230
(13) 24 50 (16) 63 336
(22) 27 54 (33) 64 240
(60) 28 126
Table B.9: The maximal subalgebras of the classical algebras with rank
` ≤ 8.
`=1
SU2 ⊃ U1
(SU2 , SO3 , Sp2 )
`=2
SU3 ⊃ SU2 × U1
⊃ SU2
Sp4 ⊃ SU2 × SU2 ; SU2 × U1
⊃ SU2
(SO5 Sp4 , SO4 = SU2 × SU2 )
`=3
SU4 ⊃ SU3 × U1 ; SU2 × SU2 × U1
⊃ Sp4 ; SU2 × SU2
SO7 ⊃ SO6 ; SU2 × SU2 × SU2 ; Sp4 × U1
⊃ G2
Sp6 ⊃ SU3 × U1 ; SU2 × Sp4
⊃ SU2 ; SU2 × SU2
(SO6 isomorphic SU4 )
`=4
SU5 ⊃ SU4 × U1 ; SU2 × SU3 × U1
⊃ Sp4
SO9 ⊃ SO8 ; SU2 × SU2 × Sp4 ; SU2 × SU4 ; SO7 × U1
⊃ SU2 ; SU2 × SU2
Sp8 ⊃ SU4 × U1 ; SU2 × Sp6 ; Sp4 × Sp4
⊃ SU2 ; SU2 × SU2 × SU2
SO8 ⊃ SU2 × SU2 × SU2 × SU2 ; SU4 × U1
⊃ SU3 ; SO7 ; SU2 × Sp4
`=5
SU6 ⊃ SU5 × U1 ; SU2 × SU4 × U1 ; SU3 × SU3 × SU3 × U1
⊃ SU3 ; SU4 ; Sp6 ; SU2 × SU3
SO11 ⊃ SO10 ; SU2 × SO8 ; Sp4 × SU4 ; SU2 × SU2 × SO7 ; SO9 × U1
⊃ SU2
Sp10 ⊃ SU3 × U1 ; SU2 × Sp8 ; Sp4 × Sp6
⊃ SU2 ; SU2 × Sp4
SO10 ⊃ SU5 × U1 ; SU2 × SU2 × SU4 ; SO8 × U1
⊃ Sp4 ; SO9 ; SU2 × SO7 ; Sp4 × Sp4
Table B.9 Continued.
`=6
SU7 ⊃ SU6 × U1 ; SU2 × SU5 × U1
⊃ SO7
SO13 ⊃ SO12 ; SU2 × SO1 0; Sp4 × SO8 ; SU4 × SO7 ; SU2 × SU2 × SO9 ; SO11 × U1
⊃ SU2
Sp12 ⊃ SU6 × U1 ; SU2 × Sp1 0; Sp4 × Sp8 ; Sp6 × Sp6
297
298
Table B.9 Continued.
G2 ⊃ SU3 7 = 1 + 3 + 3∗
⊃ SU2 × SU2 7 = (2, 2) + (1, 3)
⊃ SU2 7 =7
F4 ⊃ SO4 26 = 1 + 9 + 16
⊃ SU3 × SU3 26 = (8, 1) + (3, 3) + (3∗ , 3∗ )
⊃ SU2 × Sp6 26 = (2, 6) + (1, 14)
⊃ SU2 26 = 17 + 9
⊃ SU2 × G2 26 = (5, 1) + (3, 7)
E6 ⊃ SO10 × U1 27 = 1 + 16 + 16
⊃ SU2 × SU6 27 = (2, 6∗ ) + (1, 15)
⊃ SU3 × SU3 × SU3 27 = (3∗ , 3, 1c ) + (3, 1, 3) + (1, 3∗ , 3∗ )
⊃ SU3 27 = 27
⊃ G2 27 = 27
⊃ Sp8 27 = 27
⊃ F4 27 = 1 + 26
⊃ SU3 × O2 27 = (1, 6∗ ) + (3, 7)
E7 ⊃ E 6 × U1 56 = 1 + 1 + 27 + 27∗
⊃ SU8 56 = 28 + 28∗
⊃ SU2 × SO12 56 = (2, 12) + (1, 32)
⊃ SU3 × SU6 56 = (3, 6) + (3∗ , 6∗ ) + (1, 20)
⊃ SU2 56 = 10 + 18 + 28
⊃ SU2 56 = 6 + 12 + 16 + 22
⊃ SU2 56 = 28∗ + 28
⊃ SU2 × SU2 56 = (5, 2) + (3, 6) + (7, 4)
⊃ SU2 × O2 56 = (4, 7) + (2, 14)
⊃ SU2 × F4 56 = (4, 1) + (2, 26)
⊃ G2 × Sp6 56 = (1, 14) + (7, 6)
300 Group and Representation Theory
Table B.14: The reduction U(5) ⊃ SO(5) representations with rank r ≤ 10.
U(5) SO(5)
r N [f ]
[f ] (µ1 , µ2 )
0 [0] (00) 1
1 [1] (10) 5
[2] (20)(00) 15
2
[11] (11) 10
[3] (30)(10) 35
3
[21] (21) (10) 40
[4] (40)(20)(00) 70
[31] (31) (20)(11) 105
4
[22] (22)(20)(00) 50
[211] (21) (11) 45
[41] (41)(21)(30)(10) 224
[32] (32) (30)(21)(10) 175
5 [311] (31)(21)(11) 126
[221] (22)(21)(10) 75
[2111] (20) (11) 24
[42] (42)(40)(31)(22)(20)2 (00) 420
[411] (41) (31)(21)(11) 280
6 [33] (33)(31)(11) 175
[321] (32)(31)(22)(21)(20)(11) 280
[3111] (30) (21)(10) 70
[43] (43)(41)(32)(30)(21)(10) 560
[421] (42)(41)(32)(31)(22)(30) (21)2 (10) 700
[331] (33)(32)(31)(21)(11) 315
7
[4111] (40)(31)(20)(11) 160
[322] (32)(30)(22)(21)(10) 210
[3211] (31)(22)(21)(20)(11) 175
[44] (44)(42)(40)(22)(20)(00) 490
[431] (44)(42)(33)(41)(32)(31)2 (22)(21)(20)(11) 1050
8
[422] (42)(32)(40)(31)(22)2 (20)2 (00) 560
[4211] (41)(32)(31)(30) (21)2 (11) 450
[441] (44)(43)(42)(41)(32)(22)(30)(21)(10) 980
[432] (43)(42)(41)(33)(32)2 (31)(30)(22)(21)2 (10) 1120
9
[4311] (42)(40)(33),(32)(31)2 (22)(21)(20)(11) 720
[4221] (41)(32)(31)(22)(30)(21)2 (10) 480
[442] (44)(43)(42)2 (32)(40)(31)(22)2 (20)2 (00) 1176
[4411] (43)(33)(41)(32)(31)(21)(11) 700
10
[4321] (42)(41)(33)(32)2 (31)2 (30)(22)2 (21)2 (20)(11) 1024
[4222] (40)(31)(22)(20)2 (00) 200
304 Group and Representation Theory
3
Table B.18: The reduction SU(2j + 1) ⊃ SO(3) for j = 2 and r ≤ 4.
r [f ] J dim[f ]
0 [0] 0 1
3
1 [1] 2 4
[2] 1,3 10
2
[11] 0,2 6
1 3 5 7
3 [21] 2,2,2,2 20
[22] 0,(2)2 , 4 20
4
[211] 1,2 ,3 15
Some Useful Tables 307
r [f ] S E D F G H I K L M N O Q dim
8 [44] 4 1 6 4 8 4 7 3 4 2 2 · 1 490
r [f ] J= 0 1 2 3 4 5 6 7 8 9 10 11 12 dim
[f ]
0 [0] 1 1
1 [1] · · · 1 7
2 [2] 1 · 1 · 1 · 1 28
[11] · 1 · 1 · 1 21
3 [3] · 1 · 2 1 1 1 1 · 1 84
[21] · 1 2 2 2 2 1 1 1 112
[111] 1 · 1 1 1 · 1 35
4 [4] 2 · 2 1 3 1 3 1 2 1 1 · 1 210
[31] · 3 3 5 4 5 4 4 2 2 1 1 378
[22] 2 · 4 1 4 2 3 1 2 · 1 196
[211] · 3 2 4 3 4 2 2 1 1 210
310 Group and Representation Theory
Table B.23: The branching in the chain SU(4) ⊃ SU(3) ⊗ U(1). We show
the Dynkin labels and the dimension of the SU(4) representation (Λαi =
fi − fi+1 , i = 1, 2, · · · , ` − 1, Λ` = 2f` ). The quantum number Y (see
chapter 11) associated with U(1) is enclosed in parentheses.
(100) = 4 = 1(1) + 3(− 13 )
(010) = 6 = 3( 23 ) + 3∗ (− 23 )
(200) = 10 = 1(2) + 3( 32 ) + 6(− 23 )
(101) = 15 = 1(0) + 3(− 34 ) + 3∗ ( 34 ) + 8(0)
(011) = 20 = 3(− 31 ) + 3∗ (− 35 ) + 6∗ (− 13 ) + 8(1)
(020) = 20 = 6∗ (− 34 ) + 6( 34 ) + 8(0)
(003) = 20 = 1(−3) + 3∗ (− 53 ) + 6(− 13 ) + 10(1)
(400) = 35 = 1(4) + 3( 38 ) + 6( 34 ) + 10(0) + 150 (− 43 )
(201) = 36 = 1(1) + 3(− 31 ) + 3∗ ( 37 ) + 6(− 53 ) + 8(1) + 15(− 31 )
(210) = 45 = 3( 38 ) + 3∗ ( 34 ) + 6( 43 ) + 8(0) + 10(0) + 15(− 34 )
(030) = 50 = 10(2) + 10∗ (−2) + 15( 23 ) + 15∗ (− 32 )
0 ∗
(500) = 56 = 1(5) + 3( 11 7 1
3 ) + 6( 3 ) + 10(1) + 15 (− 3 ) + 21 (− 3 )
5
SU5 ⊃ SU4 × U1
(1000) = 5 = 1(4) + 4(−1)
(0100) = 10 = 4(3) + 6(−2)
(2000) = 15 = 1(8) + 4(3) + 10(−2)
(1001) = 24 = 1(0) + 4(−5) + 4∗ (5) + 15(0)
(0003) = 35 = 1(−12) + 4∗ (−7) + 10∗ (−2) + 2000 (3)
(0011) = 40 = 4∗ (−7) + 6(−2) + 10∗ (−2) + 20(3)
(0101) = 45 = 4(−1) + 6(−6) + 15(4) + 20(−1)
10∗ (−6) + 20(−1) + 200 (4)
311
75 = (1 1)(0) + (1 3)(10) + (2 3)( 5) + (1 3
312
Table B.25: As in Table B.23 but for SU(6) ⊃ G⊗U(1) with G = SU(4), G = SU(2)⊗SU(4) and G = SU(3)⊗SU(3).
SU6 ⊃ SU4 ⊃ U1
(10000) = 6 = 1(−5) + 5(−1)
(01000) = 15 = 5(−4) + 10(2)
(00100) = 29 = 10(−3) + 10∗ (3)
(20000) = 21 = 1(−10) + 5(−4) + 15(2)
(00001) = 35 = 1(0) + 5(6) + 5∗ (−6) + 24(0)
(30000) = 56 = 1(−15) + 5(−9) + 15(−3) + 35∗ (3)
1050 = (6, 1)(−4) + (1, 6)(4) + (3, 3)(0) + (8, 3∗ )(−2) + (3∗ , 8)(2) + (6∗ , 6∗ )(0)
313
314 Group and Representation Theory
Table B.26: As in Table B.25 but for SO(9) ⊃ SO(8) and SO(9) ⊃ SU(2) ⊗
SU(4).
SO9 ⊃ SO8
9 = 1 + 8v
16 = 8 c + 8s
36 = 8v + 28
44 = 1 + 8v + 35v
84 = 28 + 56v
126 = 35c + 35s + 56v
128 = 8c + 8s + 56c + 56s
156 = 1 + 8v + 35v + 112v
231 = 8v + 28 + 35v + 160v
432 = 56c + 56s + 160c + 160s
450 = 1 + 8v + 35v + 112v + 294v
495 = 35v + 160v + 300
576 = 8c + 8s + 56c + 56s + 224vc + 224vs
594 = 28 + 56v + 160v + 350
Table B.26 Continued.
315
316
Table B.27: As in Table B.25 but for SO(10) ⊃ SU(5) ⊗ U(1) and SO(10) ⊃ SU(2) ⊗ SU(2) ⊗ SU(4).
SO10 ⊃ SU5 × U1
(10000) = 10 = 5(2) + 5∗ (−2)
(00001) = 16 = 1(−5) + 5∗ (3) + 10(−1)
(01000) = 45 = 1(0) + 10(4) + 10∗ (−4) + 24(0)
(20000) = 54 = 15(4) + 15∗ (−4) + 24(0)
(00100) = 120 = 5(2) + 5 (−2) + 10(−6) + 10∗ (6) + 45(2) + 45∗ (−2)
∗
(00002) = 126 = 1(−10) + 5∗ (−2) + 10(−6) + 15∗ (6) + 45(2) + 50∗ (−2)
(10010) = 144 = 5∗ (3) + 5(7) + 10(−1) + 15(−1) + 24(−5) + 40(−1) + 45∗ (3)
Table B.28: The same as in Table B.23 but for SO(10) ⊃ SO(9) (top) and
SO(10) ⊃ SO(3) ⊗ SO(7) (bottom).
SO10 ⊃ SO9
10 = 1+9
16 = 16
45 = 9 + 36
54 = 1 + 9 + 44
120 = 36 + 84
126 = 126
144 = 16 + 128
210 = 84 + 126
2100 = 1 + 9 + 44 + 156
320 = 9 + 36 + 44 + 231
560 = 128 + 432
SO(10) ⊃ SO(3) ⊗ SO(7)
10 = (3, 1) + (1, 7)
16 = (2, 8)
45 = (3, 1) + (1, 21) + (3, 7)
54 = (1, 1) + (5, 1) + (3, 7) + (1, 27)
120 = (1, 1) + (3, 7) + (1, 35) + (3, 21)
126 = (1, 21) + (3, 35)
144 = (2, 8) + (4, 8) + (2, 48)
210 = (1, 7) + (1, 35) + (3, 21) + (3, 35)
2100 = (3, 1) + (7, 1) + (1, 7) + (5, 7) + (3, 27) + (1, 77)
320 = (3, 1) + (5, 1) + (1, 7) + (3, 7) + (5, 7) + (3, 21) + (3, 27) + (1, 105)
560 = (2, 8) + (4, 8) + (2, 48) + (4, 48) + (2, 112)
318
Table B.29: The same as in Table B.25 for SO(10) ⊃ SU(5) ⊗ U(1) and SO(10) ⊃ SU(2) ⊗ SU(2) ⊗ SU(4).
SO10 ⊃ SU5 × U1
(10000) = 10 = 5(2) + 5∗ (−2)
(00001) = 16 = 1(−5) + 5∗ (3) + 10(−1)
(01000) = 45 = 1(0) + 10(4) + 10∗ (−4) + 24(0)
(20000) = 54 = 15(4) + 15∗ (−4) + 24(0)
(00100) = 120 = 5(2) + 5 (−2) + 10(−6) + 10∗ (6) + 45(2) + 45∗ (−2)
∗
(00002) = 126 = 1(−10) + 5∗ (−2) + 10(−6) + 15∗ (6) + 45(2) + 50∗ (−2)
(10010) = 144 = 5∗ (3) + 5(7) + 10(−1) + 15(−1) + 24(−5) + 40(−1) + 45∗ (3)
Table B.30: The Dynkin symbol, the dimension and the index, ` of SU(8).
We also show the branching ratio SU(8) ⊃ SO(8).
Dynkin dim ` SU8 ⊃ SO8
(1000000) 8 1 8v
(0100000) 28 6 28
(2000000) 36 10 1 + 35v
(0010000) 56 15 56v
(1000001) 63 16 28 + 35v
(0001000) 70 20 35s + 35c
(3000000) 120 55 8v + 112v
(1100000) 168 61 8v + 160v
(0100001) 216 75 56v + 160v
(2000001) 280 115 8v + 112v + 160v
(4000000) 330 220 1 + 35v + 294v
(0200000) 336 160 1 + 35v + 300
(1010000) 378 156 28 + 350
(0010001) 420 170 35s + 35c + 350
(0001001) 504 215 56v + 224sv + 224cv
(2100000) 630 340 28 + 35v + 567v
(0100010) 720 320 35s + 35c + 300 + 350
(0000005) 792 715 8v + 112V + 6720v
(3000001) 924 550 28 + 35v + 294v + 567v
(2000010) 945 480 28 + 350 + 567v
(0000110) 1008 526 8v + 160v + 840v
(0000200) 1176 700 1 + 35v + 300 + 840v
320 Group and Representation Theory
Table B.31: The Dynkin representation, the dimension the index `/6 of F4 .
Dynkin dimension `/6 Dynkin dimension `/6
(0001) 26 1 (1002) 10829 1666
(1000) 52 3 (3000) 12376 2618
(0010) 273 21 (0004) 16302 3135
(0002) 324 27 (2001) 17901 3213
(1001) 1053 108 (0101) 19278 3213
(2000) 10530 135 (0020) 19448 3366
(0100) 1274 147 (1100) 29172 5610
(0003) 2652 357 (0012) 34749 6237
(0011) 4096 512 (1003) 76076 16093
(1010) 8424 1242 (0005) 81081 20790
2925 = 16(−3) + 16∗ (3) + 451 (0) + 452 (0) + 1201 (6) + 1202 (−6) + 144(−3) + 144∗ (3) + 210(0)
+560(−3) + 560∗ (3) + 945(0)
Some Useful Tables 323
Table B.36: The E7 Dynkin symbol, the dimension, the index `/12 and the
branching ratio E7 ⊃ E6 .
Dynkin Dimension `/12 E7 ⊃ E6
(0000010) 56 1 1 + 1 + 27 + 27∗
(1000000) 133 3 1 + 27 + 27∗ + 78
(0000001) 912 30 27 + 27∗ + 8 + 78 + 351
+351∗
(0000020) 1463 55 1 + 1 + 1 + 27 + 27 + 27∗ + 27∗ + 3510
∗
+3510 + 650
(0000100) 1593 54 1 + 27 + 27 + 27 + 27∗ + 78 + 351
∗
+351∗ + 650
(1000010) 6480 270
(2000000) 7271 351
(0100000) 8645 390
(0000030) 24320 1440
(0001000) 27644 1430
(0000011) 40755 2145
(0000110) 51072 2832
(1000001) 86184 4995
324 Group and Representation Theory
Table B.38: The E8 Dynkin symbol, the dimension and the index, `/60.
Dynkin Dimension `/60 Dynkin Dimension `/60
(10000000) 248 1 (30000000) 1763125 22750
(00000010) 3875 25 (00100000) 2450240 29640
(20000000) 27000 225 (11000000) 4096000 51200
(01000000) 30380 245 (00000020) 4881384 65610
(00000001) 147250 1425 (00000100) 6696000 88200
(10000010) 779247 8379 (10000001) 26411008 372736
Table B.39: The branching of the chains E8 ⊃ E7 ⊗ SU(2), E8 ⊃= SU(5) ⊗ SU(5), E8 ⊃ SO(16) and E8 ⊃ SU(9).
E8 ⊃ SU2 × E7
248 = (3, 1) + (1, 133) + (2, 256)
3875 = (1, 1) + (2, 56) + (3, 133) + (1, 1539) + (2, 912)
E8 ⊃ SU3 × E6
248 = (8, 1) + (1, 78) + (3, 27) + (3∗ , 27∗ )
3875 = (1, 1) + (8, 1) + (3, 27) + (3∗ , 27∗ ) + (6∗ , 27∗ ) + (8, 78) + (1, 650)
325
b2530 International Strategic Relations and China’s National Security: World at the Crossroads
327
328 Group and Representation Theory
329
330 Group and Representation Theory