An Introduction Theory of Spinors PDF
An Introduction Theory of Spinors PDF
ur/
Is
II
II
I%,
/I/I
I.-ft
l i
AN INTRODUCTION
/%'-U;I II /I
11.41
" // 11
it
i
i/I,//I/i11
IF
I/III/I'lV/I/l/ II I/I
/
1'lv(l I
l , /I \
I/
SW v/I rII.W/ rr lbli
OSHE CARMELI
AN IIYTRODUCTiON
m Upbwr$
MOSHE CARMELI
Ben Gurion University, Israel
SHIMON MALIN
Colgate University, USA
World Scientific
Singapore -New Jersey London Hong Kong
Published by
World Scientific Publishing Co. Pte. Ltd.
P O Box 128, Fairer Road, Singapore 912805
USA office: Suite 1B, 1060 Main Street, River Edge, NJ 07661
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.
ISBN 981-02-4261-1
and
Michaela
Preface
This is a textbook intended for advanced undergraduate and graduate stu-
dents in physics and mathematics, as well as a reference for researchers.
The book is based on lectures given during the years at the Ben Gurion
University, Israel. Spinors are used extensively in physics; it is widely, ac-
cepted that they are more fundamental than tensors and the easy way to
see this fact is the results obtained in general relativity theory by using
spinors, results that could not have been obtained by using tensor methods
only. The book is written for the general physicist and not only to the
workers in general relativity, even though the latter will find it most useful
since it includes all what is needed in that theory.
But the foundations of the concept of spinors are groups; spinors appear
as representations of groups. In this text we give a wide exposition to the
relationship between the spinors and the representations of the groups. As
is well known, both the spinors and the representations are widely used in
the theory of elementary particles.
After presenting the origin of spinors from representation theory we,
nevertheless, apply the theory of spinors to general relativity theory, and a
part of the book is devoted to curved spacetime applications.
In the first four chapters we present the group-theoretical foundations
of the concept of two-component spinors. Chapter 1 starts with an intro-
duction to group theory emphasizing the rotation group. This followed
by discussing representation theory in Chapter 2, including a brief out-
line of the infinite-dimensional case. Chapters 3 and 4 discuss in detail
the Lorentz and the SL(2,C) groups. Here we give an extensive discussion
on how two-component spinors emerge from the finite-dimensional repre-
sentations of the group SL(2,C). Chapter 4 also includes the derivation
of infinite-dimensional spinors as a generalization to the two-component
spinors.
In Chapters 5 and 6 we apply the two-component spinors to a variety of
vii
vii'
Moshe Carmeli
Beer Sheva, Israel
Shimon Malin
Hamilton, N. Y.
U.S.A.
Contents
Preface Vii
1 Introduction to Group Theory 1
1.1 Review of Group Theory ... . . . . . . . . . . . . . . . . . 1
2 Representation Theory 11
2.1 Some Basic Concepts . . ... .. . . . . . . . . . . . . . . . 11
2.1.1 Linear Operators . . . . . . . . . . . . . . . . . . . . 11
2.1.2 Finite-Dimensional Representations . . . . . . . . . 12
2.1.3 Unitary Representations . . . . . . . . . . . . . . . . 13
2.2 Representations of SO(3) and SU(2) . . . . .. 13
2.2.1 Weyl's Method ........... ... .....
... . .. ... .
2.2.2 Infinitesimal Generators .. .
.. . . . . . .
. .
.
.
13
14
..
2.2.3 Basic Infinitisimal Operators . . . . . . . . . . . 16
2.2.4 Canonical Basis . ... . ... .. . . . . . . . . . . . 16
2.2.5 Unitary Matrices Corresponding to Rotations . . . . 17
2.3 Matrix Elements of Representations .. .. . . . . . . . . . 18
2.3.1 The Spinor Representation of the Group SU(2) . . . 19
ix
x CONTENTS
4 Two-Component Spinors 65
4.1 Spinor Representation of SL(2,C) . . . . . . .. . ... .. . 65
4.1.1 The Space of Polynomials . . . . . . .. .. ... . . 65
4.1.2 Realization of the Spinor Representation . ... . . . 66
4.1.3Two-Component Spinors . . . . . . . . . . . . . . . . 68
4.1.4Examples . . . .... ... . .. .. . ... ...
. . 71
4.2 Operators of the Spinor Representation . . . . . . . . . . . 73
4.2.1 One-Parameter Subgroups . . . . . . . . . . . . . . . 73
4.2.2 Infinitesimal Operators . . . . . . . ... . .. . . . 74
4.2.3 Matrix Elements of the Spinor Operator D (g) .. . 75
4.2.4 Further Properties of Spinor Representations . . . . 77
4.3 Infinite-Dimensional Spinors . . ..
. . . . . .. . ... . . . 77
4.3.1 Principal Series of Representations . . . . . . . . . . 77
4.3.2 Infinite-Dimensional Spinors . . . . . . . . ... ... 79
4.4 Problems . . . . . . . .... ..
. . . . . . . . . . .. . . . 81
4.5 References for Further Reading . . . . . . . . . . .. . . . . 81
. . . . 92
5.3.1 Spinor Affine Connections . . . . . . . . .. .. . . . 92
5.3.2 Spin Covariant Derivative . . . . .. ..
. . . . . . . 93
5.3.3 A Useful Formula ... . ... . . . . . . . .. . . . . 95
5.4 The Electromagnetic Field Spinors . . . . . . .. .. . . . . 95
5.4.1 The Electromagnetic Potential Spinor . . . . . . . . 95
5.4.2 The Electromagnetic Field Spinor . . . . .. . . . . 96
5.4.3 Decomposition of the Electromagnetic Spinor . . . . 96
5.4.4 Intrinsic Spin Structure . . . . . . . . . . . . . . . . 97
5.4.5 Pauli, Dirac and Maxwell Equations . .. .. . . . . 98
5.5 Problems . ..
. . . . . ... .
. . . . . . . ... .. . . . . 100
5.6 References for Further Reading . . . . . . . . . . . . . . . . 107
xii CONTENTS
Index 197
Chapter 1
Introduction to Group
Theory
In this chapter a brief discussion on group theory is given. This includes the
concept of group and subgroup, normal subgroup and factor group. Isomor-
phism and homomorphism are subsequently discussed. This thep followed
by introducing the rotation group and the group SU(2), the aggregate of
unitary matrices of order two and determinant unity. A homomorphism
between the pure rotation group and the group SU(2) is subsequently es-
tablished. The chapter is concluded with presenting invariant integrals over
the groups.
1
2 CHAPTER 1. INTRODUCTION TO GROUP THEORY
the kernel of the homomorphism. If the kernel coincides with the identity
of G then the homomorphism is an isomorphism. It follows that N is a
normal of G, and G' is isomorphic to GIN. The isomorphism between G'
and GIN is called the natural isomorphism.
The mapping f of a group G on GIN defined by associating with each
element a of G the element f (a) = A of GIN containing a is a homomor-
phism, called the natural homomorphism of a group on its factor group. If f
is a homomorphism of a group G on another group G' and H is a (normal)
subgroup of G, then f (H) is a (normal) subgroup of C'. If f is a homo-
morphism of a group G on another group G', and g is a homomorphism of
G' on a third group G", then the mapping gf is a homomorphism of G on
G".
One finally notes that if f is a homomorphism of a group G on part
of another group G' then the set of all elements of G' which are images of
elements of G forms a subgroup of G'. Also, if f -1 (H') is the set of all
elements of G which go into H' C G' under the homomorphism f, and if
H' is a (normal) subgroup of the group G', then f -1 (H') is also a (normal)
subgroup of the group G.
such parameters is that of the familiar Euler angles, which are defined as
the three successive angles of rotation describing the transformation from
a given Cartesian coordinate system to another one by means of three
successive rotations performed in a specific sequence.
The sequence will be started by rotating the original system of axes X
by an angle 01 clockwise about the z axis. The new coordinate system will
be denoted by E. One then has
E= g (41) X, (1.1)
cos4i -sinol 0
g (01) = sin 01 cos 01 0 (1.2)
0 0 1
1 0 0
9(0) = 0 cos 0 - sin B (1.4)
0 sine cos 0
The ' axis is called the line of nodes. Finally the E' axes are rotated
clockwise by an angle (02 about the ' axis to produce the desired X' system
of axes,
X' = g (02) ,=, (1.5)
where the orthogonal matrix g (02) is now given by
xk = gklxl,
where gkl are elements of the matrix g ESO(3), and repeated indices means
summation from 1 to 3. With each coordinate system xk one associates a
2 x 2 Hermitian matrix P defined by
P=x 0, z x+iy
X - x iy z ,
(1.10)
-(1 0)' a2
-(0
al 0 1 0 2
-i 0)' a3 1 0
-1 (1.11)
1.3. THE SPECIAL UNITARY GROUP SU(2) 7
0 0
cos 2 isin 2
U (0) = T 0 0
(1.16b)
i sin - cos -
2 2
and
etim2/2 0
u(0z)=T-( 0 e-i02/2 (1.16c)
u=
cos eisin 22 (1.17)
e-i(m2+m1)/2
isin 2 e-=(02-01)/2 cos
8 CHAPTER 1. INTRODUCTION TO GROUP THEORY
The expression dg is called a measure. When the Euler angles are used
to parametrize the elements g of the group SO(3), one can write dg in terms
of the angles 01, 0, (02 as
f dg = 1. (1.23)
The integration limits extend over the whole domain of definitions of the
variables, i.e., 0 < c51 < 27r, 0 < 0 < 1r, and 0 < 02 < 27r.
1.4. INVARIANT INTEGRALS OVER GROUPS 9
if the Euler angles are used for parametrization. The analogous periodicity
conditions to those of Eq. (1.19) for functions defined over SO(3) will now
be
f (01 + 47r, 9, 02) = f (01, 0, 02), (1.25a)
du = 1. (1.29)
J
The integration limits here will be: 0 < 1 < 47r, 0 < 0 < ir, and 0 < 02 <
27r.
In the next chapter the theory of representations of groups is given and
applied to the rotation group.
10 CHAPTER 1. INTRODUCTION TO GROUP THEORY
1.5 Problems
1.1. Show that a right identity e is also a left identity, namely, ea = a, for
any element a of a group G. Show also that a right inverse a-1 of a is also
a left inverse, namely, a-1a = e.
Solution: The solution is left for the reader.
1.2. Show that a necessary and sufficient condition for a subset H of a
group G to be a subgroup is that if H contains two elements a and b it
must also contain the element ab-1.
Solution: The solution is left for the reader.
11
12 CHAPTER 2. REPRESENTATION THEORY
j-1
A,k are the elements of the matrix representing the operator A relative
to the basis el, ..., en. One can show that the operator A is completely
determined by its matrix Att. Furthermore, the operations of addition,
multiplication by a number, and multiplication of operators correspond to
the same operations of their matrices relative to a fixed basis.
the matrix elements relative to another basis are linear combinations, with
constant coefficients, of the matrix elements relative to the original basis.)
Only continuous representations will be considered here.
whether or not D (u) is equal to D (-u). The use of the group SU(2) for
finding the representations of the group SO(3) was originally suggested by
H. Weyl and has been wildly adopted when the Euler angles are used to
parametrize the groups. The advantage of Weyl's method is in giving the
double-valued representations along with the proper representations. The
double-valued representations are important in physical problems dealing
with spin-like properties of particles whose spins are half integers.
We point out that, by using Weyl's method, one can obtain a general
invariant result that is a function of the element u c SU(2), valid for any
parametrization one uses to describe the rotation. To find the representa-
tions of the group SO(3) in terms of a specific set of parameters, one has
merely to express u in terms of these parameters, as is the case when the
Euler angles are adopted.
In addition, by having the results as functions over the group SU(2),
certain relations will be obtained which are invariant under change of the
parameters. As an example, the orthogonality relations between the matrix
elements of the irreducible representation can be written in the form of an
invariant integral over the group SU(2). Hence the relations are valid for
any parametrization.
where r, s and t take the values from 1 to 3. Rotations gi (0), 92 (0) and
g3 (0) around Ox1i Ox2 and OX3 axes are then obtained from Eq. (2.3) by
putting the proper values for the polar angles 0 and 0. These matrices are
given by
1 0 0
g1 (vi) = 0 cos,0 - sin,0 (2.4a)
0 sin -0 cos,0
cos 0 0 sin o
92 (') = 0 1 0 (2.4b)
-since 0 cos 0
2.2. REPRESENTATIONS OF SO(3) AND SU(2) 15
coso -sine 0
93 (z/,) = sin,0 cos 0 (2.4c)
0 0 1
Infinitesimal Matrices
The infinitesimal matrices gr, corresponding to rotations about the axis
Oxr are defined by
9r= IL d,0(&) J .0=o
Ldgr
and satisfy the commutation relations
0 0 1
92 = 0 0 0 , (2.7b)
-1 0 0
0 -1 0
93 = 1 0 0 (2.7c)
0 0 0
Ar (W)
^ D (9r) ('Y) . (2.9)
Ar (v') are called the basic one-parameter groups of the given representation
and define one-parameter groups of operators that satisfy Ar (ibi) Ar ('02) =
Ar (01 + 02); they are differentiable functions of 0 and may be expanded
as Ar (0) = exp (OAr), where Ar is defined by Eq. (2.10)
16 CHAPTER 2. REPRESENTATION THEORY
L3 = iA3, (2.12b)
one then finds for the commutation relations of the infinitesimal generators
L+, L_, and L3 the following:
L3 fm = mfm (2.14b)
where m=-j,-j+1, ...,j.
It also follows that for each j there corresponds an irreducible repre-
sentation of SO(3). If the operators Lv and L3 of a representation of
SO(3) in a (2j + 1)-dimensional space are given relative to some basis
f_., f_j}1, ..., f3 , then by Eqs. (2.14) that representation is irreducible.
cos i sin
u1() (2.17a)
i sin cos 2
2
18 CHAPTER 2. REPRESENTATION THEORY
cos - - sin 2
U2 (Y) _ (2.17b)
sin 2 cos 2
el1,/2 0
1/
(2.17c)
U3 (0) = T 1 0 e-'i'/2 )
Using these matrices, the operators A, (0) of the group SU(2) will be de-
termined in the next chapter.
The infinitesimal matrices u,., corresponding to rotations around Ox,.,
are given by
u,. _ [dui.('b)1 (2.18)
dpi
and explicitly,
ul l i
_ 1r0 i
0
u2=:F 2
1 0
1
0
1
u32 (0 1 i 0
-i
. (2.19)
These are related to the Pauli matrices, Eq. (1.11), by
z r
ur=F2o (2.20)
P1,...,pk=1
The operator D(k) (u) for this new realization in the space of polynomials
Sk is then given by
D(k) (u) P (z1, z2) = p (zi, Z2'), (2.25a)
where
2
Introducing now a new variable z = zl/z2, the polynomial p (zl, z2) can
then be written as z2 p (z), where p (z) is a polynomial in the variable z
of degree not exceeding k. The operators D(c) (u) of the representation zk
are, accordingly, given by
operators A, (0), one needs u,. (0) only for small values of 'i. The signs in
Eqs. (2.17) are determined by the conditions limu,. (V)) = 1 when 1i - 0;
hence the + sign must be used.)
fm (z) _
(-z)' (2.27)
M)!11/2'
[(j - m)! (j +
where m = -j, -j + 1, ..., j then form a canonical basis for the represen-
tation zk in the space Sk. Using Eq. (2.26), one finds
j
Dlkl (u) fn (z) _ D1mn (u) fm (z) , (2.28)
m=-j
where Dan (u) are the matrix elements of the operator D (u) of the ir-
reducible representation of weight j relative to the canonical basis, which
corresponds to an arbitrary rotation g. Its explicit expression is
(-1)2j-m-n
(j - m)! (j +m)! 1/2
D nn (u) _
[ (j -n)! (j +n)! I
.) +n ) "a11"
712-m-au21 j-+L-a m+n+a
(2.29)
a (j-m-a u22 ,
where a runs from a = max (0, -m, -n) to a = min (j - m, j - n), and
m m!
(2.30)
n (m-n)!n!
In Eq. (2.29) the indices m and n take the values -j, -j + 1, ..., j and
j = 0, 1/2, 1, 3/2, 2, ... .
2.3. MATRIX ELEMENTS OF REPRESENTATIONS 21
It will be noted that (-u) = (-1)22 Dj.n (u). Thus the represen-
tation is single-valued for integer j and double-valued for half-integer j. In
the sequel the matrix u of Eq. (2.15) will be taken with the + sign.
To find the matrix elements (2.29) in terms of the variables Vi, 0 and 0
we simply substitute for up, their expressions as functions of these variables
as given by Eq. (2.15). (One can easily find the expression of Di in terms
of Euler's angles.) One obtains
where x is defined by
x = 1 - 2 sine sine B. (2.33)
or
(u)-1
Dmn = V. (u) . (2.35b)
^= ( e-'0/2 0
(2.36)
0 i-0/2 )
where 0 is a real number. If one applies now the representation formula
(2.26), where p (z) is taken as the basis functions fm (z) of Eq. (2.27), one
obtains
e""Ofm
D7fm (z) (z). (2.37)
(7-m) ((j+M)I
Hence the matrix Di (-y) is diagonal, and Din,,, (-y) = e2no. Furthermore,
one easily finds that
Relations similar to (2.39) are valid for any compact group. See, for exam-
ple, the book of Pontrjagin.
U(9)U(g")=U(9g"). (2.44)
[ddfl g +.. .
99 = 9 (0, 9, 0)+a 18th + 80 [da] + aS [da] ]
a=0 &=0 a=0
(2.49)
2.4. DIFFERENTIAL OPERATORS OF ROTATIONS 25
Therefore
1 0 0 0 0 0
g1 (a) = 0 1 0 +a 0 0 -1 +. (2.51)
0 0 1 0 1 0
0 913 -912
991 = 9 (I, 0, 0) + a 0 923 -922 + (2.52)
0 933 -932
On the other hand, ggl is given by Eq. (2.49) when g1 = g'. Comparing
these two expressions for gg1, we obtain equations from which the three
expressions given in (2.47) can be determined for the case of rotation about
Ox1. We obtain
di 1 1
= Cs in m + cos 2 cos B cos 1J , (2.54b)
d 2
L J=o
a 2
A3 = cos9 - 2 cot sin BAe (2.55c)
2
Using the last three equations in Eq. (2.12) one obtains for the operators
L+, L_ and L3:
a
L = iei4' in 0 _ + 2 Ti + cot 2
cos B)
IS a70-
11 ]
2.5. INFINITE-DIMENSIONAL REPRESENTATIONS 27
Normed Space
A linear space R is said to be norrned if a function, denoted by I x I, is
defined in it, which satisfies:
(1) Ix I>0, Ixl=O if and onlyifx=0;
(2) ax1=IaIIxI for any number a andanyxER;
(3) Ix+yI<Ix1+IyI foranyx,yER.
Such a function I x I is called a norm.
28 CHAPTER 2. REPRESENTATION THEORY
I X I= (x x). (2.57)
The axioms for a norm will be satisfied; in fact, the first two axioms are
trivially satisfied. To prove the triangle inequality one needs
I(x,y)I<-IxIIyI, (2.58)
This Hilbert space is sometimes denoted by L2 (a, b). In the same way the
Hilbert space L2(SU(2)) is defined as the aggregate of all functions f (u)
satisfying f I f (u) I2 du < oo, where the scalar product is defined by
Let a linear space be denoted by R and let its conjugate space be denoted
by R', Then for every element x of R there exists a functional f of R' such
that f (x) =1 x I and I f 1= 1. Hence if f (x) = 0 for all f of R' then
x = 0. Furthermore, if M is a closed subspace of a Banach space R and xo
is a vector in R not belonging to M, then there exists a functional f of R'
satisfying f (xo) 54 0, and f (x) = 0 for al l x of M.
Since the conjugate space R' is a normed space, one can therefore con-
sider the linear bounded functional Fn it. Such functionals are ob-
tained, for example, if we put Fx (f) = f (x) for a fixed element x of R since
Fx (f) is a bounded linear functional in R'. A space R is called reflexive if
the functionals FF (f), for all x of R, exhaust all the bounded linear func-
tionals in R'. In other words if every bounded linear functional F (f) in R'
is given by F (f) = f (x) for some x of R. (Throughout our discussion we
consider only representations in reflexive Banach spaces.)
(Section 2.5)
I.M. Gelfand, M.I. Graev and N.Ya. Vilenkin, Generalized Functions, Vol.5:
Integral Geometry and Representation Theory (Academic Press, New York,
1966) (Sections 2.1, 2.5).
I.M. Gelfand, R.A. Minlos and Z.Ya. Shapiro, Representations of the Ro-
tation and Lorentz Groups and their Applications (Pergamon Press, New
York, 1963). (Section 2.1)
I.M. Gelfand and Z.Ya. Shapiro, Representations of the group of rotations
in three-dimensional space and their applications, Usp. Mat. Nauk 7, 3-117
(1952); Amer. Math. Soc. Transl. Ser.2., 2, 207-316 (1956). (Section 2.1)
H.E. Moses, Irreducible representations of the rotation group in terms of
the axis and angle of rotation, Ann. Phys. (N. Y) 37, 224-226 (1966); 42,
343-346 (1967). (Section 2.2)
H.E. Moses, Irreducible representations of the rotation group in terms of
Euler's theorem, Nuovo Cimento 40A, 1120-1138 (1965). (Section 2.2)
M.A. Naimark, Linear Representations of the Lorentz Group (Pergamon
Press, New York, 1964). (Sections 2.1, 2.4, 2.5)
L.S. Pontrjagin, Topological Groups (Princeton University Press, Princeton,
New Jersey, 1946). (Section 2.3)
E.P. Wigner, Group Theory and its Application to the Quantum Mechanics
of Atomic Spectra (Academic Press, New York, 1964). (Section 2.4)
Chapter 3
The Lorentz and SL(2,C)
Groups
In this chapter the elements of the theory of special relativity are given
and the relationship between the Lorentz group and the group SL(2,C)
is discussed extensively. We first discuss the Lorentz group. The group
SL(2,C), the aggregate of all 2 x 2 complex matrices with determinant unity,
is consequently introduced. It is shown that SL(2,C) is homomorphic to
the homogeneous, orthochronous, Lorentz group. A direct correspondence
between elements of the matrices of the two groups is given explicitly. The
representations of these groups are given in the next chapter.
35
36 CHAPTER 3. THE LORENTZ AND SL(2,C) GROUPS
the same time at separate points by means of light signals. This then raises
the problem of defining simultaneity.
Simultaneity
The definition of simultaneity is made as follows. If light requires the same
time to pass across a path A - M as for a path B --> M, where M is the
middle of the distance AB, then we say that the light signals at A and B
started simultaneously if the observer at M sees the two light signals at the
same time.
Will the two events, which occur simultaneously in one system, also be
simultaneous in another system moving with a velocity v with respect to
the first one? The answer is negative; events which are simultaneous in one
coordinate system are not necessarily simultaneous in others. It follows
that every inertial system has its own particular time.
x'=x-vxt, (3.1a)
y = y - vyt, (3.1b)
where v, vy and vz are the components of the velocity v along the x axis,
y axis, and z axis, respectively. Of course the Newtonian laws of classical
mechanics are invariant under the full ten-parameter Galilean group of
trannformations, and we have what can be called a Galilean invariance.
and only the x0 and xl coordinates require changes when transforming from
one system to the other. One will therefore have the form
Ao A 1 0 0
A- Al o All 0 0
(3 . 3)
0 0 1 0
0 0 0 1
We therefore obtain
xi1x'
x70_c
6
t' = = tanh o, (3.9)
-Q
sink V' = (3.11b)
1-a2
Using these results in Eq. (3.7) then yields
( 1
1 - Qz
-Q
1 _'32 oof
-Q 1
A= l - Q2
0 0 ( 3 . 12 )
1 - #2
0 0 1 0
0 0 0 1
0 0
I 1102 1-Q2
Q
A-1= 1
0 0 (3.13)
1 - QZ 1 --)32
I 0 0 1 0
0 0 0 1
ct - ox
ct = (3.14a)
x'+/3ct'
x ( 3 . 15b )
with the same T, just as for light emitted from a source with velocity v with
respect to the first one,
c2t'2 - (x12 + 12 + z'2) = 0. (3.19)
The question is then what is the transformation between v', x', y', z'
and v, x, y, z that satisfies the invariance formula (3.20).
The transformation can be derived like deriving the Lorentz transfor-
mation by writing, in the two-dimensional case,
T2ti2-xi2=T2v2-x2 (3.22)
whose solution is
Tv' = Tv cosh it i - x sinh i,b,
(3 . 23)
x' = x cosh ik - Tv sinh,i.
At x' = 0 we obtain
tanhO=
x
Tv
= t
T
(3.24)
and therefore
t/T
sinh w = t2 '
3.25a)
1- T2
3.1. ELEMENTS OF SPECIAL RELATIVITY 43
1
cosh,/, = (3.25b)
,
(3.26b)
1-2
T
t2
light cone in special relativity. The symmetry axis of the cone coincides
with the x axis which extends from -7-c to +7-c.
or
77vx4x'v
= 77vxxv, (3.30)
where x and x'" are defined by
x = (ct, x, y, z) , x" = (ct', x', y', z') , (3.31)
and the symbol 77v,v (and later on 77v) is the flat-space metric, given by the
matrix
+1 0 0 0
0 -1 0 0
7 (3.32)
0 0 -1 0
0 0 0 -1
In the above equations, and throughout the following, repeated indices
indicate the use of the summation convention.
We will seek a linear transformation of the form
x'"` = Avxv (3.33)
between the times and spatial coordinates of the two inertial systems K
and K'. Using matrix notation, Eqs. (3.30) and (3.33) can then be written
in the form
x't77x' = xt?7x (3.34)
3.2. THE LORENTZ GROUP 45
and
X'= Ax, (3.35)
respectively. Here x and x' are the one-column matrices
xo x"
xl x'i
x= x2 ,x= I x,2 (3.36)
I
x3 xi3
xt and x't are the transposed matrices to the matrices x and x', respectively,
and A is the 4 x 4 matrix whose elements are AA,,.
Using now Eq. (3.35) in Eq. (3.34) then gives
AMA = n (3.38)
(detA)2 = 1, (3.40)
(3.49)
(4) 'L+: detA = +1, Ao < -1. This part contains the element ST.
As was mentioned before, from the above four parts of the Lorentz group
one obtaines the subgroup L1 = L+ U LT (the union of L+ and L? ), called
the orthochronous Lorentz group. Likewise, the subgroup L+ = L+ UL' ,
called the proper Lorentz group, is obtained.
Finally, we notice that every improper Lorentz transformation can be
written in the form
A = SAP, (3.50)
where S is a space-inversion element and AP is a proper Lorentz transfor-
mation.
1 0 0 0
0 cos 0 0 sin 0
a2 (3.51b)
0 0 1 0
0 -sin o 0 cos 0
1 0 0 0
0 cos4i -sin0 0
(3.51c)
a3 (0) = 0 cos 0 0
sin V
0 0 0 1
and
coshb sinh o 0 0
sinh 0 cosh 0 0 0
bl (0) - 0 0 1 0
(3.52a)
0 0 0 1
b2
_ 0 1 0 0
(3.52b)
sinh -0 0 cosh 0 0
0 0 0 1
cosh ,0 0 0 sinh,i
0 1 0 0
bs (3.52c)
0 0 1 0
sinh 0 0 0 cosh
Infinitesimal Matrices
As in the case of the rotation group, the infinitesimal matrices a, and b, of
the group L are defined by
a, = [dar(IP)] b,, =
db J =o PW ,0=0
(3.53)
denote 3.3.2
One
Ei.,k
denote THE
dimensional
is can
an
the
space easily
Ar
B usual see
(b)
arbitrary
= (see
Infinitesimal
that a3 a2
D b3 b2 bl
INFINITESIMAL
linear = = = = =
(ar [bi, these
[ai, [ai,
Levi-Civita
Chapter
b9]
(V,)) b3] a.]
, 2) = 0 10 0
= = 0 0 00 0 000 0 0 0 1 -1 00 0
Br by Operators matrices
symbol
g 0 0 00 0 0 0 1 0 0 0 0 0 0 -1 0 0 00 0 APPROACH
(0) -+ representation
Eijkbk.
0 00 1 0 000 0 0 0 0
Eijkak,
-Ei,,kak, 0 00 0 00 10
= D of satisfy
defined
D (g)
'
the the
(br by
and
E123
(b)) group
. for =
L 1.
in
commutation
an
convenience
(3.58) we infinite- (3.57c) (3.57b) (3.57a) relations (3.56c) (3.56b) (3.56a) (3.55c) (3.55b) 49
50 CHAPTER 3. THE LORENTZ AND SL(2,C) GROUPS
Ar (0) and Br (14') are continuous functions of 0 and are called basic one-
parameter groups of operators for the given representation. They satisfy
the relations (no summation on r)
Ar (01) Ar (02) = Ar (01 +02), (3.59a)
one then finds that they satisfy the following commutation relations:
3.3.4 Conclusions
A detailed investigation of the commutation relations (3.65) in terms of the
canonical basis f j,, then leads to the following conclusions:
(a) Each irreducible representation of the group L is characterized by
a pair of numbers (jo, c), where jo is integral or half-integral, and c is a
complex number.
(b) The space R (jo, c) of any given irreducible infinite-dimensional rep-
resentation of the group L is characterized by integer or half-integer jo such
that
R (jo, c) = M' Mj0+1 ... (3.66)
The whole space R (jo, c) is apanned, therefore, by the set of base vectors
f;,,, where j = jo, jo + 1, jo + 2, ..., and m = -j, -j + 1, ..., j. If the given
irreducible representation is finite-dimensional then the direct sum of the
subspaces M's terminates after a finite number of terms.
(c) A given reppresentation is finite-dimensional if and only if
c2 = (jo + n)2, (3.67)
F'tf = [(j+m)(j+m-1)]1/2C;fmt1
1)11/2
- [(j m) (j m + Aj fmf 1
(3.68c)
f [(j m + 1) (j f m + 2)] 1/2 Cj+lfm 1
F'3fm = [(j - m) (j+ m)]1/2 C; f;,,-1 - mA1fm (3.68d)
-[(j+m+1)(j-m+1)11/2Cj+lfn 1.
3.3. THE INFINITESIMAL APPROACH 53
C2
_ i(j2-X0)1/2(72-C2)1/2 (3.69b).
j (4j2 - 1)1/2
(e) To each pair of numbers (jo, c), where jo is integral or half-integral
and c is complex, there corresponds a representation g -+ D (g) of the group
L, whose infinitesimal operators are given by Eqs. (3.68).
Equations (3.68), for the unitary representations case and under certain
assumptions, were first obtained by Gelfand (see the book of Naimark);
they later on were rederived by Harish-Chandra, and by I.M. Gelfand and
A.M. laglom.
Adjoint Operator
An operator B is called an adjoint to the operator A if (Ax, y) _ (x, By) for
all x, y E R. Let A be an infinitesimal operator of a unitary representation
g --4D (g) of the group L. Then A (t) = D (A (t)) is a unitary operator and
therefore its adjoint satisfies:
[A (t)]' = A (-t). (3.70)
with
det g = ad - be = 1. (3.75)
In the natural topology of matrices the group SL(2,C) is simply connected.
The relation between the two groups can be established as follows.
3.4. THE GROUP SL(2,C) AND THE LORENTZ GROUP 55
In this way one defines a one-to-one linear correspondence between all four-
vectors and all 2 x 2 Hermitian matrices. Equation (3.76) can also be written
as
Q = X'u-, (3.77)
where ak, k = 1, 2, 3, are the three Pauli matrices and ao is the 2 x 2 unit
matrix:
Ol al (0 11 i (1
Qo
1
O 1 0 J'
y2
-i 0'
0 3
0
0
-1
1
(3.78)
.
WrQ')
x'O = vx p = 1 T1 (o o') XP = I Tr
2 2
(a"gcpgt) xp.
= 2Tr (a,9Q9t) = 2Tr (3.83)
Ao=IgoI2+EI9kI2, (3.84b)
k=1
A i6klmgtgm, (3.84c)
0 = 90'9k + 9o9k -
Ak = 909k + 909k + jEklm9t9m (3.84d)
3
One also notices that because the group SL(2,C) is connected, and the
mapping into the homogeneous Lorentz group is a continuous homomor-
phism, the image of the group SL(2,C) must be a subgroup of the proper
orthochronous, Lorentz group L.
3.4. THE GROUP SL (2, C) AND THE LORENTZ GROUP 57
0, (3.88)
k=1
the matrix A then describes a rotation with an angle Ic, and one has
3
9k = ivj. (3.92)
In this fashion one reaches the conclusion that there exists a two-to-one
mapping between all the elements of the group SL(2,C) and all the elements
A of the proper, orthochronous, Lorentz group L such that to each element
A of the group L there correspond two elements g of the group SL(2,C),
and to each element g of the group SL(2,C) there corresponds an element
A of the group L. The mapping preserves the group multiplication and
constitutes, therefore, a homomorphism of the group SL(2,C) on the group
L. As a result of this, the description of the representations of the group L
is equivalent to that of the group SL(2,C); a representation g -+ D (g) of
L is single- or double-valued according to whether or not D (g) is equal to
D (-g) or not.
Here the numbers ao and ak, k = 1, 2, 3, are real and satisfy the condition
2
ao - ai2 + a2 - a3 = 1. (3.98)
60 CHAPTER 3. THE LORENTZ AND SL(2,C) GROUPS
from which one infers that ao = v, al = vi, a2 = V3, and a3 = -v2. This
one-to-one mapping of the two groups SU(1,1) and SL(2,R) onto each other
is sometimes called the standard isomorphism.
Finally, the group of triangular matrices
e-+O/2
pe-i0/2 eio/2 (3.100)
0 /
where is complex and 0 < .0 < 4ir, with the group multiplication law
(01, Al) x (02412) = (01 + 02 (47r), p1 + e'Ol A2), is isomorphic to the
group of Euclidean motions on the Riemannian plane of functions zl/2.
3.5 Problems
3.1 Use Eq. (3.84a) to prove Eqs. (3.84b)-(3.84e).
Solution: The solution is left for the reader.
3.2 Prove Eq. (3.86).
Solution: The solution is left for the reader. (See the book of Riihl.)
3.3 Prove Eq. (3.92).
Solution: The solution is left for the reader. (See Riihl.)
3.4 Prove that the kernel of the homomorphism of the group SL(2,C) onto
the group L coincides with the center of the group SL(2,C). (Notice that
62 CHAPTER 3. THE LORENTZ AND SL(2,C) GROUPS
+2
2 (cc + dd) +2 (cc - dd)
2
t (ac + bd) R (ad + bc) s (ad + bc) R (ac - bd)
A= s (ac + bd) s (ad + bc) R (ad - bc) s (ac - bd)
(aa + bb) R (ab - cd) s (ab + cd) (aa - bb)
2 (cc+ dd)
-2 2
-2 (cc - dd)
where R ands denote real and imaginary parts. Show that the same matrix
can also be obtained directly from either Eq. (3.80) or Eqs. (3.84b)-(3.84e).
Solution: The solution is left for the reader.
of the Lorentz group, Fortschritte der Physik 21, 397-425 (1973). (Section
3.3)
M. Carmeli and S. Malin, Representations of the Rotation and Lorentz
Groups (Marcel Dekker, New York and Basel, 1976).
A. Einstein, Zur Elektrodynamik bewegter Korper, Ann. Physik 17, 891-
921 (1905); English translation, On the electrodynamics of moving bodies,
in: The Principle of Relativity (Dover, New York, 1923). (Section 3.1)
A.P. French, Special Relativity (W.W. Norton, New York and London,
1968). (Section 3.1)
I.M. Gelfand, M.I. Gravy and N.Ya. Vilenkin, Integral Geometry and Rep-
resentation Theory (Academic Press, New York, 1966). (Section 3.4)
I.M. Gelfand and A.M. Iaglom, General relativistic invariant equations and
finite-dimensional representations of the Lorentz group, Zh. Eksp. Theor.
Fiz. 18, 703 (1948). (Section 3.3)
Harish-Chandra, Infinite irreducible representations of the Lorentz group,
Proc. Roy. Soc. (London) A 189, 372 (1947); On relativistic wave equa-
tions, Phys. Rev. 71, 793 (1947). (Section 3.3)
A.I. Miller, Albert Einstein's Special Theory of Relativity (Addison-Wesley,
Reading, Massachusets, 1981). (Section 3.1)
M.A. Naimark, Linear Representations of the Lorentz Group (Pergamon
Press, New York, 1964). (Section 3.3)
W. Riihl, The Lorentz Group and Harmonic Analysis (W.A. Benjamin,
New York, 1970). (Sections 3.2, 3.4)
Chapter 4
Two-Component Spinors
Spinors were invented by Elie Cartan without reference to the theory of
representations of groups. The natural way to study spinors, however, is
through the representation theory of the groups SU(2) and SL(2,C); two-
component spinors occur in the spinor representation of the group SL(2,C).
The latter is an irreducible, finite-dimensional, nonunitary representation.
It can be shown that any finite-dimensional representation of the group
SL(2,C) is equivalent to the spinor representation. In this chapter we study
the above-mentioned topics. Infinite-dimensional spinors are subsequently
given.
65
66 CHAPTER 4. TWO-COMPONENT SPINORS
have
m,n
p(z,z)= Eprszrz'=P00+p10 +p01 + +p,nnz'n!n- (4.1)
r,s=O
ap'(z,a)+ap"(z,z)=a(p'+p")(z,z). (4.5)
Thus Pmn is a linear space. The space Pn will be used in the following as
the space of representation for the group SL(2,C).
g= I a d
where a, b, c and d are four complex numbers. We then define the operator
D (g) in the space Pnn by
3) n
D (g) p (z, z) = (bz + d)m (bz + P (w, w) , (4.7)
D (I) = 1, (4.10)
for arbitrary elements g1 and 92 of the group SL(2,C). In the above formulas
I denotes the unity element of SL(2,C) and 1 denotes the unit operator in
the space P,,,,,,,.
Let now the elements g1 and 92 of the group SL(2,C) be denoted by
91 = C a1 b1 ) 92 = a2 d2
b2 I (4.11)
Cl di c2
Applying now the operator D (gi) on both sides of Eq. (4.13), we obtain
A simple calculation then gives the following for the products of the
terms with equal powers m and n in Eq. (4.15):
(blz+di)(b2wi+d2)=(aib2+bid2)z+(cib2+did2)=bz+d. (4.18)
Accordingly we obtain
In the above formulas a, b, c and d are the elements of the matrix g = 8192
given by Eq. (4.12). Accordingly we obtain for Eq. (4.19), using Eq. (4.20),
the following:
thus proving Eq. (4.9). The proof of Eq. (4.10) is immediate since
D (I) p (z, z) = p (z, z) by the representation formula (4.7).
The correspondence g -+ D (g) is thus a finite-dimensional representa-
tion of the group SL(2,C) since it is being realized in the finite-dimensional
space P,,,,,. It is known as the spinor representation and is usually denoted
by D( i). Its dimension is, of course, equal to (m + 1) (n + 1).
,
This polynomial is of degree not larger than m in the variable z and not
larger than n in the variable z. Hence the polynomial (4.23) belongs to the
space P,nn.
On the other hand every polynomial
of the space P,nn may be written in the form given by Eq. (4.23) by relating
the coefficients of z'V of the two polynomials (4.23) and (4.24). We then
obtain
In Eq. (4.25)
M _ m!
. (4 . 27)
n
(m - n)!n!
A second form of the spinor representation is obtained if we apply the
operator D (g) on the polynomial (4.23). We then obtain
/
D(g)p(z,z 1z
(4.29)
and therefore
-
D (9) P (z, z) = YgoB' ...9oB'"9o'," ... 9o'
Y
Q'Bi ...B,,,YI...Y,
+...+91BI ...91BTM91Yi
= rr
A ,X' B[,,YY'
Bi B,,.- Yi
9AI ...9Am 9Xi
- Y'0Bi...B,,.Y1...Y
"X,
XzA`+...+A-. X,'+...+X; .
(4.30)
Accordingly we may finally write the following for the spinor represen-
tation:
0iA1...q,,.Xi XAl +...+A,,, -Xi+...+Xn
D (9) p (z, z) ;.
z z (4.31)
where
0q1...q
nXi...Xn =
B1 ...9A-B_
gAl ...9X;,-Y
gxi Y' OB1...B-yl...yn (4.32)
B,Y'
this fact, spinors can be used to describe particles with spins .1 , 2,... in
addition to those with spins 0, 1, 2,..., whereas tensors can describe only
the latter kind of particles. As a consequence, spinors are considered to
be more fundamental than tensors from both the mathematical and the
physical points of view.
4.1.4 Examples
1. The spinor representation D(z''-z).
The representation DO,') corresponds to m = 2j1 = 1 and n =
2j2 = 1. The space of representation has accordingly the dimension of
(2j1 + 1) (2j2 + 1) _ (m + 1) (n + 1) = 4. The space P,nn is the aggregate
of all polynomials of the form
Hence we have a spinor with two indices, one is unprimed and one is primed.
The polynomial p (z, z) is therefore defined in the space P,,,, by
Hence we have
or
Hence we finally have for the polynomial p (z, x), in terms of the spinor
OABX' the following:
_ cABX'Z`9+BZX'
(3)
al
() _ cos 2 i sin 1 /' _ cos ,27t - sin
( i sin cos 22 )' a2 (w) sin 2 cos 2
2
0
a3 0 (4.33a)
eti+'/2 e- ii'/2
where as,, and bk are given in terms of the three Pauli matrices (3.78) by
ak = iak/2 and bk = ak/2.
74 CHAPTER 4. TWO-COMPONENT SPINORS
(cosl'z+isinV) cosz-isin'!'
2 2 2 2
xp
V)
i sin Z z +cos
b' ?b
-isin Z z +cos 2 J t , (4.35a)
Azp =
112
(1 zz)
az
+ 2 (1 + -j2) 8 - 2 (mz + nz)] p' (4.36b)
Bip = 2 (1 - z2) 8z 1 (1
- zz) 5i + 2 (mz + nz)1 p, (4.36d)
B3p =
Lz 8z +
z
is 2
(m + n)] p' (4.36f)
4.2. OPERATORS OF THE SPINOR REPRESENTATION 75
The operators L, L3, K, and K3 can now be found, using Eqs. (4.36):
L+p _
az
- x2 + n71 P, (4.37a)
n J+M-n 921
X 911912
J+M'-n 922
n-M-M' (4.43)
where the sum over n extends over all integers for which neither of the
binomial coefficients vanish.
If we restrict the group SL(2,C) to the subgroup SU(2), we obtain
the matrix DMM, (u) defining the unitary irreducible representation of the
group SU(2). Each element DMM, (u) is a homogeneous polynomial of de-
gree 2J in the matrix elements of u, and the coefficients of the polynomial
are real. A substitution uij -+ gj2, with i, j = 1, 2, leads us back to the
matrix elements DMM, (g). If we substitute
ul1 = a + if3,
U12=7'+iS," (4.44)
U21 = -'Y + id,
u22=a-i13,
with real a, ,3, 'y, 5, such that
a2+R2+'y2+52=1, (4.45)
the substitution uij --+ gij can be interpreted as an extension of the real
parameters a, /.3, 'y, b into the complex domain. This is called a complexi-
fication of the group SU(2).
4.3. INFINITE-DIMENSIONAL SPINORS 77
jo = I m -n (4.46a)
2
CeI
'Y = 0 (4.49)
eY'k )
L23(SU(2)) provides a Hilbert space where the scalar product is defined by
where
g=C 911 912 )
921 922 J
The aggregate of all such systems ,,, forms a Hilbert space, which we
denote by 12', where the scalar product is defined by
00
(2j + 1) (4.54)
j=19I m=-j
for any two vectors O,,, and Vi;;,, of 12'.
With each vector O',,, E 12', we associate the function
00 j
where Dm (u) is the matrix element Ds,,, (u) of the irreducible representa-
tion of SU(2). Since
(7u) = e"I D;,, (u) , (4.56)
the function given by Eq. (4.55) belongs to the space L2'(SU(2)).
On the other hand, every function in L2'(SU(2)) can be written in the
form (4.55), since the D;,, (u) provide a complete orthogonal set,
or
V(g)0(u)=L,(2j+1)E01E(2j'+1)
7 m it
(4.60)
m'
where
a (ug)
(g; s, P) = (4.61)
V mm '
a (ug) Din (vg) Dm/ (u) du.
Accordingly, we obtain
01i' 00
4.4 Problems
4.L Show that the matrix elements DMM, (g) of Eq. (4.43) satisfy the
properties:
DMM'(9) = DMM' (g),
DMM, (9t) = DMM' (g),
(-1)M-M,
DMM' ((g-1)t) = DjM,-M' (g).
L
16-7rfapfap- Ij`Aa+Le. (5.1)
83
84 CHAPTER 5. MAXWELL, DIRAC AND PAULI SPINORS
0 Ex Ey Ez
f" - -E, 0 HZ -Hy (5.7b)
- Ey - HZ 0 H.
-EE Hy -H. 0
In terms of the dual * f to the electromagnetic field tensor fap, given
by
* fop = 2 Eap"f
5.1. MAXWELL'S THEORY 85
the Maxwell equation (5.4) may also be written in the alternative form
a*faA
0. (5 . 9)
axp
We then have for the dual the following explicit expressions:
0 -Hx -Hy -HZ
fuv _ Hx 0 -Ez Ey
(5.10a)
Hy E. 0 - Ex
H. -Ey E. 0
0 H. Hy H.
* f _ -Hx 0 -E. Ey
(5.10b)
-Hy E. 0 -Ex
-Hz -Ey Ex 0
To obtain the Maxwell equations in the usual notation, we have merely
to make the following identifications:
A = (A, A-) _ (0, A), (5.11a)
E _ -0 O - c , (5 13)
.
H=OxA. (5.14)
Equations (5.3) and (5.4), on the other hand, give
(5.15)
VE=-c W, (5.16)
O.H=0, (5.17)
1 aE 4ir ,
O x H = at + j. (5.18)
86 CHAPTER 5. MAXWELL, DIRAC AND PAULI SPINORS
OV fv = _jA (5.19)
c
f, = V A - vAv, (5.20)
for Eqs. (5.3) and (5.2), whereas
ac
= _ 1 vr--g fao
9 - " 9 P V f
, - V = _ 1 (5.26)
a (aA,, /axp) 4-7r
- v - - g
4-7r
5.1. MAXWELL'S THEORY 87
1 a (rfap) 47r
(5.27)
Vr-g axo =c
or
fap = 47rja
Op (5.28)
c
Equations (5.27) and (5.28) are Maxwell equations in the presence of grav-
itation and are a generalization of their flat-space counterpart, Eq. (5.3).
It remains to generalize the Maxwell equations (5.4) into curved space-
time. This may be achieved by replacing the partial derivatives appearing
in those equations by covariant derivatives. The result is
Op *fao = 0. (5.30)
One can easily show that the above equations are identical to Eqs. (5.4)
for the flat-space case.
Continuity Equation
The equation of continuity is obtained in the electromagnetic theory from
the Maxwell equations (5.3). We obtain, because of the antisymmetry of
the Maxwell field f", the following:
a,p
= o. (5.31)
ax
('V__9ja) = 0. (5.32)
axa
Again, it can easily be shown that the latter formula may also be written
in the equivalent form
Vaja = 0. (5.33)
88 CHAPTER 5. MAXWELL, DIRAC AND PAULI SPINORS
The matrices CAB, are generalizations of the unit matrix and the three Pauli
matrices. They are functions of spacetime. There is no need to calculate
them explicitly, however, when spinors are used in general relativity theory.
The relationship between the matrices o and the geometrical metric
tensor g.,,, is as follows:
gvaAB'aCD' = EACEB'D'.
(5.35)
Here CAC and EB'D', along with EAC and OW to be used in the sequel, are
the skew-symmetric Levi-Civita metric spinors. They are defined by the
matrix
_0 . (5.36)
/
The raising and lowering of spinor indices is accomplished by means of the
above metric spinors as follows.
5.2. SPINORS IN CURVED SPACETIME 89
and
cA = CBEBA, 77A' = 77B/EB'A', (5.38)
for arbitrary spinors C and 77. The above formulas give, for instance, CO = Ct
and C1 = -eo. We have, moreover,
CA77A
= CA77BEBA = -CAEAB77B = -CB 77B. (5.39)
Hence contraction with spinor indices should be done according to the con-
vention given by Eqs. (5.37) and (5.38).
We finally notice that the Levi-Civita spinor satisfies the simple identity
The above identity may easily be proved by taking the different values of
the indices A, B, C, and D.
orA14
B'avAB' = 9v (5.41 a)
or
aAB'01V B (5.41b)
= 5L,
which is equivalent to Eq. (5.41a).
The spinor equivalent of a tensor is a quantity that has an unprimed
and a primed spinor index for each spacetime tensor index. The spinor
equivalent of the tensor Tap, for instance, is given by
The above formula may be reversed. We then obtain the tensor correspond-
ing to the spinor TAB'CD'. We obtain
AB'allCD'
TAB'cD' = Q
AB'QvCD' a P
Q aAB'CCD'TaP
9ABD = QaAB'0
CD'
= SAB' = jCjD' _
0 1
(5.45b)
0
The relationship between the flat spacetime metric gAB'cD' and the ordi-
nary Minkowskian metric tensor 7 7,,, is obtained if we take for the matrices
QAB' the Pauli matrices and the unit matrix, divided by Accordingly
we may take
0 1 1 _ 1 (0 11
QAB' 0 )1' C1
QAB'
1 72 1
0
5.2. SPINORS IN CURVED SPACETIME 91
AB'_
2 1( 0 il ag _ 1 (1 -0 1 (5.46a)
01
-i 0 JJ ' AB 0 1J'
and, raising the indices AB', we obtain
Q
OAB' __
f(0 1a
1 1 0 1AB'
2
0
-1
-1
0
i)
2AB' =
f -i
1 0 3AB'
VA= aA
ax
- B
(5.52)
Here rAp is the spinor afjine connection. When taking the covariant deriva-
tive of the complex conjugate of the spinor eA, we have
V A' = aX (5 . 53)
VA= axN'
+ r BC B . (5 . 54)
aC A/ A' B'
D A' ax,
+ r B'N, C (5 . 55)
Hence we obtain
C
rCgaECB = rBaECA, (5.60a)
or
FBA. = rABa, (5.60b)
where rABa = rgaECA-
In the sequel we use the covariant derivative operator DAB defined by
Of course the two components Voo and V11, are real, whereas Vol, and
Vio' are complex, each being the complex conjugate to the other one,
Vlo' = Do,l = Dol- The operator DAB' is often denoted as follows:
DAB, _ (D 5 / . (5.62)
In the above formula it has been assumed that the coordinates are Carte-
sian, x = t, x1 = x, x2 = y, and x3 = z, with the speed of light c = 1.
D A' (B = -A
A, - rA'B (C, (5 . 64c)
for the spinors (B and 8,. Similar formulas for the spin covariant deriva-
tives of the spinors (B arid B :
B
DA (B = azA + rAC(c, (5.65a)
a(B
V A(
B'
= azA
+rB' -c1
AC'( , (5 . 65b)
_ B
V A'( B = A, + r A'c( , (5 . 65c)
It will be noted that Eqs. (5.64c) and (5.65c) are the complex conjugates
of Eqs. (5.64b) and (5.65b), respectively. The quantities IF are called spin
affine connections.
We finally relate the spin covariant derivative to the ordinary coordinate
covariant derivatives. This is done by expressing the ordinary covariant
derivative as a product of the newly defined ones,
DAB' = VAVB', (5.66)
where VAB' = O',AB,OA, and thus one has
O'aAB DAB, = v';B'VADB,. (5.67)
Since DAB' is Hermitian, VA is real. In terms of the complex variables zo
and zi, one then has
CAB -
- ( VzoVy V '-' 1
5.68
( V=I O= Ozi Oz, J )
5.4. THE ELECTROMAGNETIC FIELD SPINORS 95
Since the vector A is real, the spinor ACD' is Hermitian, namely, ACD' =
AD'C. Thus the components A00, and All, are real, whereas A01, and Alo,
are complex conjugate to each other,
fAB'CD' = C AB'UU
CD'fl+1 (5.73)
Since f1,, is skew-symmetric and real, the spinor (5.73) is antisymmetric un-
der the exchange of the two pairs of indices AB' and CD' and is Hermitian
with respect to these indices. Accordingly we have
We then have
1 C'1 1 '0' ,y,
OBA = 2fBC'A = -2fA BC' = 2fAC'B = WAB (5.81)
5.4. THE ELECTROMAGNETIC FIELD SPINORS 97
where e,,p.ya is the Levi-Civita tensor density of weight W = -1, then the
spinor equivalent to the dual is given by
*fAB'CD' = i tbACEB'D') . (5.86)
The above formulas are analogous to those for defining the Riemann cur-
vature tensor (see next chapter).
From Eq. (5.87) we obtain
I (5.90)
V NV M - VMVN) CQ = 4?PQMNeP.
On the other hand, by lowering the free index Q in Eq. (5.89), we have
thus the spinor 4) is symmetric with its first two indices. It is also obvious,
by its derivation, that 4? is skew-symmetric with respect to its last two
indices,
'PQMN = -'PPQNM. (5.93)
Using now Eq. (5.70), one thus has
VAB'I7A = 0. (5.95)
The Dirac equation can also be described by coupled two equations with
the two 2-component spinors aA and QA (see Problem 5.12):
OCD' f
AB'CD' = 4*7r,AB' (5.98a)
c
VCD'
*fAB'CD' _ (5.98b)
where f and *f are given by
fAB'CD' = tACEB'D' (5.99a)
* fAB'CD' = 5ACEB'D') (5.99b)
Defining now the spinor f+ _ ``f + i *f, we then obtain for the Maxwell
equations
OCD'
f+AB'CD' = 4?r,AB' (5.100)
c
with fgB'CD' = 20ACEB'D'.
In the next chapter we discuss the gravitational field dynamical vari-
ables, starting with a review of general relativity theory.
100 CHAPTER 5. MAXWELL, DIRAC AND PAULI SPINORS
5.5 Problems
5.1 Decompose the commutator of the covariant differentiation operators
in spinor form.
Solution: The spinor equivalent to the commutator (0"V - is
given by
(VCD'VAB' - DAB'VCD') (1)
VCD'VAB' -DAB'VCD'
= (VCD'VAB' - VCB'VAD') + (VCB'VAD' - DAB'V CD') (2)
The first bracket on the right-hand side is antisymmetric in the indices D'
and B', whereas the second bracket is antisymmetric in the indices C and
A. Hence we can use Eq. (5.69). We then obtain
5.2 Show that the Levi-Civita contravariant tensor density E"aA of weight
W = +1 may be presented in the form
E"a/j = 2 111-QCB',,"AD' (QCD'O'AB'
- QCD'QAB') (1)
where
a = deta B' = f = -i g, (4)
Eq. (3) then yields, using Eq. (2),
EvaPaMN' 01 PQ' aAB' or CD'
v a P
Equation (6) is identical to Eq. (1) if we raise the indices MN' and
PQ' of aMN, and aPQ, and lower the same indices of the bracket without
causing any change.
5.3 Show that the spinor equivalent to the tensor
Ea/3
- V - `! 9aP9PEpQv =
=
9p9vaEpaaf3
Fyv =
1 (1)
where Epa,v and Epaaf are the Levi-Civita covariant and contravariant ten-
sor densities of weights W = -1 and +1, respectively, is given by
Solution: Using the representation for the Levi-Civita tensor density given
by Eq. (1) of the previous problem, we obtain
D' (3)
5.4 Show that the spinors equivalent to the tensor c'O and to the tensor
Lryb are related by
AB'CD' - AB'CD'
CEF'GH' - ti"EH'GF' (1)
Lp = L Lp - Lu L. (2)
Hence its spinor equivalent is given by
LAB'CD' =LAB' LCD' LAB' LCD'
E F' G H' EF' G H' - G H' EF' (3)
where
ISEF' = LELF' . (4)
Comparing Eq. (3) with Eq. (5) of the previous problem for the spinor
equivalent of the tensor ep, we obtain Eq. (1).
5.5 Write the spinor affine connections in terms of the ordinary tensor affine
connections and the matrices a and their derivatives.
Solution: We use the fact that the covariant derivative of the matrices a"
vanish. We then obtain
Qv v v Cp v
QAB' = a,LaAB' + F PaAB' - I'AaC"B'
_- D'
B'aAVD'
V = 0, (1)
where alf = af/ax. Multiplying now the above equation by aEF' and
summing over the index v, we obtain
Contracting now the indices F' and B' in Eq. (2), yields
BB' v
awyA B' + av
EB'rjAp
v P AB' - 2q,
E = 0,
av (3)
and therefore
rAp = aEB' (r1PaAB' + a O'AB') . (4)
2
Likewise we obtain, by contracting indices A and E in Eq. (2),
rB' = 2av F"
(rPaAB' + a'AB') (5)
5.5. PROBLEMS 103
5.6 Write the ordinary tensor affine connections (see Chapter 6) in terms
of the spinor connections and the matrices Qa and their derivatives.
Solution: From the vanishing of the covariant derivatives of the matrices
oA B' we obtain
AB'-r)3 B'
+ rC01a
B'
+ rB,c C' = 0. (1)
l1JFy01
o0
Multiplying this equation by cAB' and summing up over the indices AB'
then yields
AB'
4I = TAP
In Eq. (2) use has been made of the fact that the matrices Qa are Hermitian.
The first term on the right-hand side of the above equation is real since
B BA'
aAB'al.aaB/ = A'BaA0 a = BA = OrAB'alOraB (3)
Hence we finally obtain
5.7 Find the relationship between the spinor affine conections I A and the
spin affine connections IBC.
Solution: The solution is left for the reader.
5.8 Show that if fap is the electromagnetic field tensor and * fap is its dual,
then the spinor equivalent to the dual is given by Eq. (5.86).
Solution: The spinor equivalent to the dual * fap is given by
2QAB'QCD'V a, = u (1)
Changing now the spacetime tensorial indices in Eq. (1) by the spinorial
indices, we get
1
KL'MN'
*fAB'CD' = 2EAB'CD'fKL'MN' (2)
Using now Eqs. (5) and (6) of Problem 5.3 in the above formula, we
obtain
*fAB'CD' = 2 (fAD'CB' - fCB'AD') = ifAD'CB' (3)
104 CHAPTER 5. MAXWELL, DIRAC AND PAULI SPINORS
*fAB'CD' = i tACED'B')
or
where use has been made of the fact that OAB is symmetric and eB'D' is
skew-symmetric.
5.9 Find the spinor equivalent to the tensor
fv = fv +i*fv. (1)
T = 41r
(9wfafp - (1)
fEF'CH'fEF'GH'
= 2 (.pEG EG+ (3)
with m, n = 0, 1, 2, and using the notation given by Eq. (5.84) for the
electromagnetic field spinor cAB we then obtain from Eq. (2) the following
simple formula:
Tmn = 0-Wn (6)
ZTr
Here m, n = 0, 1, 2.
5.11 Show that the energy-momentum tensor for the neutrino field is given
by
Tv = Z(QX,?AV ?1x + av X'r7AV X,
-0 (2)
Q
Finally, show that Eq. (1) yields the two equations (5.96). Find the matri-
ces y" and write them in terms of the three Pauli matrices and the 2 x 2
unit matrix.
Solution: The solution is left for the reader.
5.13 "Ghost neutrinos" in general relativity are solutions of the Einstein-
Dirac equations with a neutrino current but with zero energy-momentum.
Solve the Einstein field equations for a static, plane-symmetric spacetime
generated by neutrinos. [See T.M. Davis and J.R. Ray, Phys. Rev. D 9,
331-333 (1974); also C. Collinson and P. Morris, Nuovo Cimento 16B, 273
(1973).]
Solution: The Einstein-Dirac equations are given by
1 8irG ( )
Gv = Rv - 29R = c4
TV, 1
106 CHAPTER 5. MAXWELL, DIRAC AND PAULI SPINORS
Ac
Tv =- 4
OGtyoG;' - t v-rp + i,t7,4b;" -0 -Y"0) (2)
where satisfies the zero-mass Dirac equation
-Yav);. = 0, (3)
where u and v are functions of x and t only, and the speed of light c is
taken as unity. For the static case u, v, Vi, etc. depend on only x.
The exact solution to the Einstein-Dirac equations is given by
and
P,, = (kx+ 1)-3/8 ybao, (7)
where
1
f1 '
'Yao=a (8)
fi
and k and a are arbitrary constants. The neutrino current density,
J = i,'t,YI,O, (9)
is consequently given by
5.14 Show that the solution to the Einstein-Dirac equations given in Prob-
lem 5.13 can be generalized to represent "non-ghost" neutrinos,
1
v= 2ln(ax+b), (2)
s
= e i" io (3)
where a, b are constants, and s, q and 0 are arbitrary real numbers. All
components of T are zero except Too and T11, which are equal.
Solution: The solution is left for the reader. [See K.R. Rechenick and J.M.
Cohen, Phys. Rev. D 19, 1635-1640 (1979).]
5.15 Generalize the solutions given in Problems 5.13 and 5.14 to the case
in which an electromagnetic field is present. Show that in the presence
of an electromagnetic field even the time-dependent Dirac field has ghost
solutions, but the solutions become ghost-free in the presence of charged
matter. Show also that the time-independent Dirac field has a ghost-free
solution if the neutrinos are considered to possess some mass.
Solution: The solution is left for the reader. [See K.D. Krori, T. Chaud-
hury and R. Bhattacharjee, Phys. Rev. D 25, 1492-1498 (1982).]
5.2-5.4)
E.M. Corson, Introduction to Tensors, Spinors and Relativistic Wave Equa-
tions (Hafner Publishing Co., New York, 1953). (Section 5.4)
P.A.M. Dirac, Proc. Roy. Soc. A 117, 610 (1928). (Sections 5.2-5.5)
M. Fierz, Uber die Relativistische Theorie kraftefreier Teilchen mit beliebi-
gen Spin, Helv. Phys. Acta 12, 3 (1938). (Sections 5.2-5.5)
L. Infeld and B.L. van der Waerden, The wave equation of the electron in
the general relativity theory, Sb. preuss. Akad. Wiss., Phys.-mat. K1. 380
(1933). (Section 5.2)
J.D. Jackson, Classical Electrodynamics (John Wiley, New York, 1975).
(Section 5.1)
T. Kahan (Editor), Theory of Groups in Classical and Quantum Theory,
Vol. I (Oliver and Boyd, London, 1965). (Sections 5.2-5.5)
W. Pauli, Zur Quantenmechanik des magnetischen Electrons, Z. Physik 43,
601 (1927). (Sections 5.2-5.5)
R. Penrose, A spinor approach to general relativity, Ann. Phys. (N. Y.) 10,
171-201 (1960). (Sections 5.2-5.4)
0. Veblen and J. von Neumann, Geometry of Complex Dynamics (The In-
stitute for Advanced Study, Princeton, New Jersey, 1958). (Section 5.2)
B.L. van der Waerden, Die gruppentheoretische Methode in der Quanten-
mechanik (Springer, Berlin, 1932). (Sections 5.2-5.5)
Chapter 6
In this chapter the gravitational field spinors are presented. These include
the curvature spinor and the spinors equivalent to the Riemann, Weyl,
Ricci and Einstein tensors. A decomposition of the Riemann spinor into
its irreducible components is also given. We start the chapter with a brief
review of the essentials of general relativity theory.
109
110 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
where fu are four independent real functions of x". A necessary and suffi-
cient condition that fu be independent is that their Jacobian,
8 U o 3
af
ax"
afo
8x3
Contravariant Vectors
Let two sets of functions VA and V" be related by
V, = ax'IA
V"
ax" '
similar to the way the differentials dx' and dx'` are related. V'2 and V'2
are then called the components of a contravariant vector in the coordinate
6.1. ELEMENTS OF GENERAL RELATIVITY 111
systems x" and x''`, respectively. Hence any four functions of the x's in
one coordinate system can be taken as the components of a contravariant
vector whose components in any other coordinate system are given by Eq.
(6.5).
A contravariant vector determines a direction at each point of the space
V4. Let V' be the components of a contravariant vector and let dx' be a
displacement in the direction of V'`. Then dx/V = . . . = dx3/V3. This
set of equations admits three independent f k (x'`) = ck, where k = 0, 1, 2,
and the c's are arbitrary constants and the matrix afk/ac is of rank
three. The functions fk are solutions of the partial differential equation
V"afk/ax" = 0. Hence using the transformation laws (6.1) and (6.3)
one obtains V'k = 0 for k = 0, 1, 2, and V'3 # 0. Hence a system of
coordinates can be chosen in terms of which all components but one of a
given contravariant vector are equal to zero.
Two sets of functions Vo and V.' are called the components of a covariant
vector in the systems x and x', respectively, if they are related by the
transformation law of the form (6.6),
VJ = X7'A V (6.7)
Tensors
Tensors of any order are defined by generalizing Eqs. (6.5) and (6.7). Thus
the equation
ax''' ax'1m axo' ax^
"1' "^ 5xP1 axPm ax-'"1 ax'"^ 1 ..an
112 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
Metric Tensor
Let g,, be the components of the metric tensor, i.e., a symmetric covariant
tensor, which is a function of coordinates, and let g = det g,,,,. The quantity
g"', denoting the cofactor of g,,, divided by g, is a symmetric contravariant
tensor and satisfies
9p9vp = by (6.9)
T :. = jN ax' ax p
... Tp::: (6.11)
axp ax
Here J is the Jacobian determinant I arc'/ax'p 1. The superscript N is the
power to which J is raised. Tom'.'.' is called a tensor density of weight N. For
example, if g' denotes det g' then g' = J2g, where g = det g,,. Hence
one has for the four-dimensional elements in two coordinate systems the
equality:
V, gd = -g7d4x'. (6.12)
6.1. ELEMENTS OF GENERAL RELATIVITY 113
Christoffel Symbols
From the two tensors gp" and gp" one can define the two functions
rA = g, arapa (6.14)
They are symmetric in p and a, and are called the Christofel symbols of
the first and second kind, respectively.
Both kinds of Christoffel symbols are not components of tensors. By
starting with the differential transformation law for g,, it is not too diffi-
cult to show that rapo transforms according to the following relation (see
Problem 6.10):
Making use of the transformation law for gap then leads to the transfor-
mation law of as
agJAV
(6.17)
r ap 2gax
" a
This equation can be rewritten in terms of the determinant g of g,,. The
rule for expansion of a determinant leads to the formula
(6.18)
a9"
where AP" is the cofactor of the element gp". From the law for obtaining
the inverse of a determinant, and from the definition of gp", Eq. (6.18)
may be written as
ag
= 99p", (6.19)
agp"
and consequently
dg = 99p"dg, _ -99p"dgp". (6.20)
114 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
Hence we have
aa9 = 99V aa9pv = -99Vaa9V (6.21)
The use of Eq. (6.21) enables us to write Eq. (6.17) in the form
rap
1
2g
ag 1 a- (6.22)
axa axa
Covariant Differentiation
We have seen that the derivatives of an invariant are the components of a
covariant vector. This is the only case for a general system of coordinates in
which the derivative of a tensor is a tensor. However, there are expressions
involving first derivatives which are components of a tensor. To see this we
proceed as follows.
Let V and V'V be a contravariant vector in two coordinate systems x
and x'. Then
(6.23)
Differentiating this equation with respect to xa and using Eq. (6.16) gives
(see Problem 6.11):
l+ 'P 'V aXjA
From the above equation one has for the curl of a vector V:
Hence a necessary and sufficient condition that the first covariant derivative
of a covariant vector be symmetric is that the vector be a gradient.
It is easily seen, using the law of covariant differentiation of tensors (see
Problem 6.12), that
Vpgl" = 0, (6.29a)
Vpgv = 0, (6.29b)
VP 5'1" = 0. (6.29c)
Other properties of covariant differentiation can be established (see Problem
6.13).
R=R"JAI (6.34)
116 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
The last important tensor constructed from the Riemann tensor is the
Weyl conformal tensor (see Section 6.1.8):
1
- 6 (9pv9a - 9P9vo) R. (6.36)
Cp Pv
0. (6 . 37)
Geodesics
The differential equations of the curves of extremal length are called geodesic
equations. To find their equations we seek.the relations which must be sat-
isfied to give a stationary value to the integral f ds. Hence we have to find
the solution of the variational problem
5 1 L ds = 0, (6.38)
6.1. ELEMENTS OF GENERAL RELATIVITY 117
dx dx") 1 /2
(6.39)
L - Cg" ds ds
Accordingly we have
A simple calculation then gives, using the Lagrangian given by Eq. (6.39),
d2x dx dxP
+ r-p 0. (6.43)
ds2 ds ds =
Bianchi Identities
A study of Eq. (6.16) shows that it is always possible to choose a coordinate
system in which all the Christoffel symbols vanish at a point. For, suppose
the Christoffel symbols do not vanish at a point A. One can then carry out
the coordinate transformation
where the subscript A indicates to the value at the point A. By Eq. (6.16)
one finds that the Christoffel symbols in the new coordinate system vanish
at the point A.
A coordinate system for which the Christoffel symbols vanish at a point
is called geodesic. (It is also possible to transform away the Christoffel
symbols along a given curve.)
118 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
O,Rapry+OryRPa,p+VpR`.ry,,=0. (6.46)
Since the terms of this equation are components of a tensor, this equation
holds for any coordinate system and at each point. Hence Eq. (6.46) is an
identity throughout the space. It is known as the Bianchz identities.
Multiplication of Eq. (6.46) by gapb gives
Using the symmetry properties of the Riemann tensor, the last equation
becomes:
0 CRry
- Z5 R 1 = 0. (6.48)
V contracte/Jd
and demand its variation to be zero. Here La and LF are the Lagrangians
for the gravitational and other fields, respectively. We take LG = R, where
R is the Ricci scalar, R = RIA g".
The first part of the integral (6.52) gives
6R = Va VV (ora) . (6.54)
122 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
1 (gV br;hv
- 9a 5r13)1
d4x. (6.56)
The second part of the integral (6.52) leads to (see Problem 6.21)
TV
-2 (a(/ LF) 9(y'LF)l (6.59)
a9 V / ,a - 9gV J
and a comma denotes partial differentiation, f, = as f . Combining Eqs.
(6.52), (6.57) and (6.58) then leads to the field equations (6.50):
1
RV - 911V R = nTV. (6.60)
2
LF =- 1 pV fapfV
9 (6.61)
16ir9
6.1. ELEMENTS OF GENERAL RELATIVITY 123
ds2 = a (r, t) dt2 + b (r, t) dr2 + c (r, t) drdt + d (r, t) (d02 + sin 2 0d02).
(6.66)
Because of the arbitrariness in the choice of the coordinate system in gen-
eral relativity theory, we can perform a coordinate transformation which
does not destroy the spherical symmetry of ds2. Hence we can choose new
coordinates r' and t' given by some functions r' = r' (r, t) and t' = t' (r, t).
Making use of these transformations, we can choose the new coordinates
so that the coefficient c (r, t) of the mixed term drdt vanishes and the coeffi-
cient d (r, t) of the angular part to be -r'2, in the metric (6.66). The latter
condition implies that the radius vector is now defined in such a way that
the circumference of a circle whose center is at the origin of the coordinates
is equal to 27rr. It is convenient to express the functions a (r, t) and b (r, t)
in exponential forms, e" and -ea, respectively, where v and A are functions
of the new coordinates r' and V. Consequently, the line element (6.66) will
have the form
where, for brevity, we have dropped the primes from the new coordinates
r' and t', and the speed of light c is taken as equal to 1.
We now denote the coordinates t, r, 0, 0 by x, x1, x2, x3, respectively.
Hence the components of the covariant metric tensor are given by:
fe" 0 0 0
0 -ea 0 0
(6 . 68a)
g " 0 0 -r2 0
0 0 0 -r2 sine B
the Christoffel symbols associated with the metric (6.68). The nonvanishing
components are:
1
V/
Ioo=2-e v- F0 =2,
A
1 I'11= 2
1
A/
( 6.69b )
C2 2=-1e-X v 'A'
2 2 r 2 )
2
z
e-" =IcT22, (6.70d)
+2 L
(6.71a)
126 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
CA 1\\ + 0, (6.71b)
r r2 r2
A=0. (6.71c)
From Eq. (6.71a) and (6.71b) we find v' + A' = 0, so that v + A = f (t),
where f (t) is a function of t only. If we perform now the coordinate trans-
formation x0 = h (x'o) xk = x/k then goo = h2goo. Such a transformation
amounts to adding to the function v an arbitrary function of time, while
leaving unaffected the other components of the metric. Hence we can choose
the function h so that v + A = 0. Consequently, we see, by Eq. (6.71c),
that both v and A are time-independent. In other words the spherically
symmetric gravitational field in vacuum is automatically static.
Equation (6.71b) can now be integrated. It gives:
e-X=eL= 1- K
r
(6.72)
0 0 0 -r2 sin2 B
It is known as the Schwarzschild solution and describes the most general
spherically symmetric solution of the Einstein field equations in a region
6.1. ELEMENTS OF GENERAL RELATIVITY 127
90r = 0, (6.76)
2Gm/r xrx9
9rs = -ars - 1 - 2Gm/r r2
given by
Jgoo (1)
U (6.77)
- Up Too (2)'
For a gravitational field like that of Schwarzschild, one therefore obtains
for the frequency shift per unit frequency:
Ov _ v - vpGm 1 1
(6.78)
Up
Up C2 (r1 T2
r - rc2 + Gm = Gm
3rz - 2r +2 G-m } , (6 . 83a)
r2 r2 l r JJJ
r2 = Je-2Gm/r, (6.83b)
Planet A0
Mercury 43.03"
Venus 8.60"
Earth 3.80"
Mars 1.35"
The astronomical observations for the planet Mercury give 43.11 0.45 sec
per century, in good agreement with the calculated value.
Deflection of Light
To discuss the deflection of light in the gravitational field we must again
solve the geodesic equation, but now with the null conditions ds = 0. Using
the appropriate solution (6.79) then gives for g,,,,dxdx" = 0
for the orbit of the light ray. In the lowest approximation u satisfies u"+u =
0, whose solution is a straight line
u= cos
R, (6.97)
u1 +u= 3 Gm
R2
cos 2 (6 . 98)
U =cosR + Gm
R2
(1 + s in
2 0)
. (6 . 99)
x=R- Gm x2 + 2y2
R ,,,,,-x2+
y2 . (6.100)
R-2R l y (6 . 101)
space is flat. The angle 04 between the two asymptotes is, however, equal
to
AO=4 GR (6.102)
Radar Experiment
Shapiro has designed a radar experiment to test general relativity by mea-
suring the effect of solar gravity on time delays of round-trip travel times of
radar pulses transmitted from the Earth toward an inner planet, i.e., Venus
or Mercury. The experiment is based on the phenomenon that electromag-
netic waves "slow down" in the gravitational field. Within the framework of
general relativity there should be an anomalous delay of 200 microseconds
6.1. ELEMENTS OF GENERAL RELATIVITY 133
in the arrival time of a radar echo from Mercury, positioned on the far side
of the Sun near the limb.
For example, if we calculate the proper time T at r = r2 for a radial
round-trip travel r2 -4 rl --> r2i with r2 > r1, of a radar pulse in the
Schwarzschild field, and subtract from T the corresponding value To when
the spherical mass m = 0, we find
4 r2
OT = C3 I In
\ 1
- r2 r 2
rl + O (m2) (6.104)
In gener a l on e finds
OT - 4 Gm (I n
e
r e + rpp - R/
(6 . 105)
Low-Temperature Experiments
Schiff has proposed an experiment to check the equations of motion in
general relativity by means of a gyroscope, which is forced to go around the
Earth either in a stationary laboratory fixed to the Earth or a satellite. The
unique experiment is made possible by complete use of a low-temperature
environment, and the properties of superconductors, including the use of
zero magnetic fields and ultrasensitive magnetometry. Schiff has calculated,
using results obtained by Papapetrou for the motion of spinning bodies
in general relativity, that a perfect gyroscope subject to no torques will
experience an anomalous precession with respect to the fixed stars as it
travels around the Earth.
Eleven years later when Einstein and Grommer showed that the geodesic
postulate need not be assumed, but that it rather follows from the gravita-
tional field equations; this is a consequence of the nonlinearity of the field
equations along with the fact that they satisfy the four contracted Bianchi
identities (see Subsection 6.1.1). The discovery of Einstein and Grommer
is considered to be one of the most important achievements, and one of the
most attractive features of the general theory of relativity. Later on Infeld
and Schild showed that the equations of motion of a test particle are given
by the geodesic equation in the external gravitational field. This result,
however, does not differ from the geodesic postulate because, by definition,
a test particle has no self-field.
where Ti"
For a system of N particles of finite masses, represented as singularities
of the gravitational field, T" may be taken in the form
N
T" = > mgvAVA5A (X - ZA) . (6.107)
A=1
Here zA are the coordinates of the Ath particle. (Roman capital indices,
A, B, , run from 1 to N. For these indices the summation convention
will be suspended.) Also v = z" = dz"ldt (vy = zA = 1), and b is the
three-dimensional Dirac delta function satisfying the following conditions:
f 6 (x - z) d3x = 1, (6.108b)
Self-Action Terms
Equation (6.109) may be interpreted as an "exact equation of motion" of
the first particle. However, since the Christoffel symbols are singular at
the location of the particle, the equation contains infinite self-action terms.
However, it was shown by Carmeli that these terms can be removed as
follows.
Putting Eq. (6.107) into Eq. (6.106) we obtain
ao + an + 0,
A=1 A=1
(6.110)
where Latin indices run from 1 to 3. The first term on the left-hand side
of Eq. (6.106) can be written as
N N N
a0 E mAVAJA = a0 (mAVA) 5A + E MAVgaObA, (6.111)
A=1 A=1 A=1
with
aO5A = MA (x9 - zA) = -an&AVA (6.112)
Using the above results in Eq. (6.110), we obtain
N
d
E
A=1
( dtv A) + mAr"PVA'fJA JA = 0. (6.113)
Equation (6.113), which is identical with Eq. (6.106), is satisfied for any
spacetime point, since otherwise the Bianchi identity or the Einstein field
equations will not be satisfied.
136 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
Let us further assume that the Christoffel symbols near the first singularity
can be expanded into a power series in the infinitesimal distance r, defined
by r2 = (x' - z') (x' - z'), where z' = zj, in the vicinity of the first
particle. Then we have
where the indices written in subscripts on the left of a function indicate its
behavior with respect to r, and k is a positive integer.
For example oF1 is that part of the Christoffel symbol which varies as
ro, i.e., is finite at the location of the first particle. When one uses spherical
coordinates r, 0 and , one can write
Terms like lI'a trap, etc., however, need not be taken into account when
one puts the above expansion into Eq. (6.114) since rib (x - z) = 0 for any
positive integer j. If we denote now mAapv'vp, by A, . we can write
Eq. (6.114) in the form
16(r) d3x =
sin OdOdo rzdr = 1, (6.120)
Hence when one integrates Eq. (6.117) over the three-dimensional space,
there will be no contribution from the first term.
In order to show that the second term of Eq. (6.117) will also not
contribute to the three-dimensional integration of the same equation, we
multiply it by rk-1. We obtain now, after neglecting terms that do not
contribute,
{r-1A'`(0, 0)+B(0,0)}6(r)=0. (6.125)
138 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
with
b (r) = r ff B" (0, 0) sin Od0do = 0. (6.129)
Proceeding in this way, one verifies that the angular distribution of all
functions A, BA, etc., is such that they all satisfy equations like Eqs.
(6.121) and (6.127). Hence it is clear that one obtains
or equivalently
Einstein-Infeld-Hoffmann Method
Having found the law of motion (6.131), one can now proceed to find the
equation of motion of two finite masses, each moving in the field produced
by both of them. In the following we find such an equation of motion in the
case for which the particles' velocities are much smaller than the speed of
light. Moreover, we will confine ourselves to an accuracy of post-Newtonian.
This means the equation of motion obtained will contain the Newtonian
6.1. ELEMENTS OF GENERAL RELATIVITY 139
That is, differentiation with respect to x raises the order by one. Thus if
the coordinates z9 of a particle are considered to be of order zero, i' will be
of order one, and P of order two. Using now the Newtonian approximation
mass x acceleration=mass x mass/(distance)2, we see the mass is of order
two. In all the power developments we take into account only even or only
odd powers of 1/c. (The expansion of the metric tensor, etc., in a power
series in c-2 (such as 0 = 00 + 20 + - - -, or 0 = 10 + 395 + .. ) corresponds
to the choice of the symmetric Green function, thus excluding radiation.)
Thus, because of the order with which we start m and z', we have
TOO =2 Too +4 Too + .. .
I2 gapT , (6.137)
)
140 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
where T = T"g", and R,,,Q is the Ricci tensor. From the right-hand side
of the field equations it follows that Roo and R,,,.n (when m = n) start with
order two, Rn (when m # n) start with order four, while Rom starts with
order three. The lowest order expressions of the left-hand side are
Roo ti I hoo,ss,
Rom 2 (hom,ss - hos,ms - hms,os + hss,or), (6.138)
where, for simplicity, we have put AA = 2mnA. Hence the equation obtained
is
2
This gives
z1 Gazk z2 (6.144)
1
where z2 = (z7 - z2) (zj - z2). Equation (6.144) is, of course, the Newto-
nian equation of motion.
Einstein-Infeld-Hoffmann Equation
To find the equation of motion up to the fourth order, we must know besides
2hoo the functions 4hoo, 3hon and 2hmn The second and third functions are
easy to find. The left-hand side of the corresponding equations is written
out in Eq. (6.138), whereas the right-hand side is given by Eq. (6.137) and
it is -K > PAZ' 8A for the Om component, and z E / A6A for the mn
component. Therefore, for the 2hmn we have the equation
whose solution is
2hmn = 5mn 2 h00. (6.146)
Using the value of 2hmn in terms of the 2hoo found above, we obtain
2
3hOn,ss - 3hos,ns + 22hoo,no = -2K E ILAinjA. (6.148)
A=1
Using these values for 4hoo, 3hon, and 2h,,,.m in the equation of motion
(6.132) gives, for the two-body problem (Problem 6.25):
8 -3 Z
+ [4i1 (i2 - in) + 3ii i2 - 4i2i2] az/z) + 2 z2z2 (6.151)
i 8za az" }. 1 1 1
No new quantities can be obtained from any of the above three irreducible
components by contraction of their indices.
When written in full details, the decomposition (6.154) will then have
the form:
1
(9pv9a - 9pogav) R. (6.155)
12
It can also be written in the form:
1
+6 (9Pvga - 9P9av) R. (6.156)
vvv 4 = avrQ,cP -
+r,\, rQX - (6.159)
144 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
Calculating now the same expression, but with the indices and v being
exchanged, and subtracting it from the expression (6.159), we then obtain
(V ,VY, - Vvy) SQ = -F Py(P (6.160)
Equations (6.160) and (6.162) are analogous to the formulas for defining the
Riemann curvature tensor (see, for instance, Eisenhart). The occurrence of
the minus sign in the curvature spinor is just a matter of convention.
We may also apply the commutator of the covariant derivatives to prod-
ucts of spinors and spinors with more than one index, using a combination
of Eqs. (6.160) and (6.162). Thus, for instance, we obtain
(VvV - VV,) ((P?Q) = -F py(A77Q + FQ,,eP?IA, (6.163)
We may, on the other hand, lower the free index Q in Eq. (6.162), thus
getting
(V LV - V,Ov) eQ = FQPLSP. (6.170)
Comparing now the last two equations we find that the curvature spinor
satisfies the property
FPQL = FQpL, (6.171)
namely, it is symmetric with respect to its two spinor indices P and Q.
By its definition, furthermore, it is antisymmetric in its spacetime tensorial
indices u and v, namely
where the minus sign is introduced for convenience, and where the two new
spinors XPQAC and OPQB'D' are defined by
(6.175)
2
146 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
In the following we study the properties of the above two spinors. Before
doing so we relate the curvature spinor to the Riemann curvature tensor.
As we see, the curvature spinor has only six spinorial indices. Since the
Riemann tensor has four spacetime indices, its spinor equivalent will have
eight spinorial indices. We will see in the next section that the two spinors
X and 0 describe completely the Riemann spinor. It thus follows that the
curvature of spacetime is determined by a six-indices spinor (the curvature
spinor) and not by an eight-indices spinor (the Riemann spinor). In fact,
we will see that the Riemann spinor is obtained from the curvature spinor
and its complex conjugate.
(V v0 - V ,V ) (PQ'ace
P Q1 D' C ' ) (CD'.
= - (F CpvOraPD' + F Q vcaQ
(6.177)
Hence we may write, since (pQ'Q.PQ' = (a is a vector,
and
RPav = RCD/avfCD'+ (6.180)
by Eq. (6.178). The tensor given by Eq. (6.180) is the Riemann curvature
tensor. The last two formulas give the relationship between the curvature
spinor and its complex conjugate on the one hand, and the Riemann cur-
vature tensor on the other hand.
From Eq. (6.179) we now obtain
Likewise we obtain
1 RABAF'' = 2QcAB'aOA FiRapv, (6.184)
-1 0
9AB'CD' = EACEB'D' 0 -1
(6.191)
0
1 0
The rows and the columns of the 4 x 4 matrix (6.191) are labeled by the
pairs of indices AB' and CD', each taking the values (1, 2, 3, 4)=(00', 01',
10', 11).
The proof of the above formula is left for the reader (see Problem 6.3).
To compare the above decomposition for the spinor equivalent of the
curvature tensor with that given in the last section for the same tensor, we
denote the last two terms on the right-hand side of Eq. (6.193) as follows:
L' (6.194)
XACEG = -4RAP'CPEL'G
P,
_ -4 RAP'CKF' K
H'- (6.195)
6.4. THE GRAVITATIONAL FIELD SPINORS 149
Using now the decomposition (6.182) for the spinor equivalent to the Rie-
mann curvature tensor in Eqs. (6.194) and (6.195), we get
1
XACEG = --FACEL'G L' (6.196)
Comparing the last two formulas with Eqs. (6.175) and (6.176), we find
that they are identical. Hence Eqs. (6.194) and (6.195) are consistent with
our previous definitions for the same quantities XPQAB and OPQA'B' given
by Eqs. (6.175) and (6.176), respectively, when the decomposition (6.182)
is used.
The decomposition of the spinor equivalent of the Riemann curvature
tensor, given by Eq. (6.193), may be further simplified if we notice that the
first two terms on the right-hand side of that equation may be written in
terms of the complex conjugate of the spinors XABCD and OABC'D'. To see
this we use the fact that the Riemann curvature tensor is real, and therefore
it satisfies
R P K P
PB' D'KF' H' - R B'PD' F' KH'
_ KR P,
BP' D FK' H
K'
I P, L'
_ -4 RAP'C EL'G = XACEG (6.203)
In the same way, using the fact that R,,,p.y6 = we find that
XACEG is symmetric with respect to the two indices E and G, namely,
XACEG = XACGE Finally, using the fact that Rap76 = R.y6ap leads to the
symmetry of XACEG under the exchange of the first and second pairs of
indices, XACEC = XEGAC. Accordingly we have
by Eq. (6.195) and using the symmetry of the Riemann tensor. Using now
the fact that the Riemann tensor is real and hence its spinor equivalent is
Hermitian, we then obtain
Reality of A
The reality of A may be seen using the symmetry property expressed by
*RP.PP = 0, which the dual to the Riemann curvature tensor satisfies. In
spinor calculus the above equation is given by
*REF' (6.211)
AB'EF'CD' _ 0.
Using the expression for the spinor equivalent to the dual of the Riemann
curvature tensor, given by Eq. (6.201), in Eq. (6.211), we then find
*REF'
AB'EF'CD'
Accordingly we obtain
XEAEC = 2EACX, (6.215)
namely, ) is real.
As a consequence of the reality of A, the spinor XABCD has only 11 in-
dependent real components rather then 12. In the sequel the spinor XABCD
is shown to describe the Weyl spinor plus the Ricci scalar curvature, and
it will be referred to as the gravitational spinor.
The spinor ABC'D', on the other hand, behaves like a 3 x 3 Hermitian
matrix. This fact may easily be seen if we write OABC'D' in the form of the
matrix
000 001 4'02 0ooo'o' 4ooo'i' 0ooi'i'
_ 010 011 012 = 0oio'o' 0oio'i' 0oii'i' (6.217)
020 021 22 0iio'o' 0iio'i' -0iii'i'
Hence the matrix elements satisfy 4mn = fin,,,,, with m, n = 0, 1, 2, by Eq.
(6.209), namely, the matrix P is Hermitian, V = -P.
Accordingly the spinor 4ABC'D' has three complex components 001,
002, '12 and three real components too, 01i, 022, namely, it has nine real
independent components. In the sequel the spinor cABC'D' is shown to
describe the tracefree Ricci tensor
1 (6.218)
S, = R - 4
6.4.3 The Ricci Spinor
We now calculate the Ricci spinor. It is given by
Using the expression (6.200) for the spinor equivalent to the Riemann cur-
vature tensor, we then obtain
The second and third terms on the right-hand side of the above formula
are equal to each other by Eqs. (6.208) and (6.209). Moreover, from Eqs.
(6.215) and (6.216) we obtain
1
E (6.221a)
XEA C = 2 CAC,
FD' (6.221b)
XF' B' = Z1 EB'D' a,
Hence the Ricci spinor is given by
Hence the spinor ACB'D' is equal to one half the spinor equivalent of the
tracefree Ricci tensor.
The spinor equivalent of the Einstein tensor is given by
1
+3 (XABCD - XADBC) (6.227)
where
'GABCD = (XABCD + XACBD + XADBC) (6.229)
3
We notice that the first expression in brackets on the right-hand side
of Eq. (6.228) is antisymmetric in the indices B and C. Hence using Eq.
(5.70), it may be written in the form
1 1 E (6.230)
3 (XABCD - XACBD) = 3XAE D EBC.
The last term of Eq. (6.228) may also be written as
1 1 (6.231)
(XABCD -XADBC) = (XABDC -XADBC) = 3XAE C EBD,
3 3
by Eqs. (6.204) and (5.70). Using now Eq. (6.221), furthermore, we finally
obtain the following for Eq. (6.228):
Since A is a real quantity, it follows that the spinor OABCD has 10 indepen-
dent real components.
The symmetry of the spinor ?PABCD may be found as follows. From Eq.
(6.232) we see that it satisfies the same symmetry as the spinor XABCD,
namely, 'OABCD ='GBACD = I)ABDC = ',CDAB In fact the spinor ',bABCD
is symmetric with respect to all of its four indices. For instance
(6.233)
V'ACBD =
3 (XACBD + XABCD + XADCB) ,
by definition. Hence
1
YACBD = 3 (XABCD + XACBD + XADBC) = VGABCD, (6.234)
are 1oooo, V)oooi, 1ooii, ' otii, and 01,11. These components are sometimes
denoted as follows:
From Eq. (6.236) we see that the spinor (6.237) satisfies the same symme-
tries as those of the spinor equivalent to the Riemann curvature tensor. We
have to show, in addition, that the trace
cEF'CD'EF'GH' (6.238)
_ 0-
Indeed a direct calculation verifies that Eq. (6.238) is satisfied.
Hence the spinor IGABCD is equivalent to the Weyl conformal tensor and
is referred to in the sequel as the Weyl conformal spinor.
If C,,p.ya is the Weyl conformal tensor and *Cap.ya is its dual,
Coyd 1 --
= 2v
(
6:239)
is given by
CAB'CD'EF'GH' 2,bACEG EB'D' EF'H' (6.241)
The proof of the above formula is given in Problem 6.5.
As a consequence of the decomposition of the gravitational spinor 'OABCD
into the Weyl conformal spinor plus the Ricci scalar curvature, the curva-
ture spinor (6.174) may finally be written in the form
ll
FPQAB'CD' [PQAC + s (EPA EQC + EPC EQA)J EB'D' -OPQB' D' CAC.
(6.242)
Equation (6.242) describes the decomposition of the curvature spinor into
its irreducible components, namely, the Weyl spinor, the tracefree Ricci
spinor, and the Ricci scalar curvature. This is similar to the decomposi-
tion of the Riemann curvature tensor into its irreducible components (see
Subsection 6.1.8).
In analogy with the curvature spinor we may define the conformal spinor
by
1PPQ0 =''GPQABa C'apBC'. (6.243)
Under the conformal transformation gv = e2pgv, the matrices a trans-
form into & given by
&J, (x) = epa (x) , (6.244a)
& (x) = e-pa W, (6.244b)
We now find the transformed components of the conformal spinor " PQp
under the conformal transformation. From Eq. (6.241) we find that
6.5 Problems
6.1 Find the expressions for the differential operators
= XPQAB(PDE'
+X PD
AB(QPE' +OE
P'ABCQDP', (1)
and
PDE' + PE' +
O(A'B')(Q DE' = rPQA'B'( PA'B'(Q XP E' A'B'(Q DP' (2)
Solution: Equations (1) and (2) are direct generalizations of the results of
Problem 6.1 and are left to the reader for verification.
6.3 Prove Eq. (6.193) for the decomposition of the Riemann curvature
tensor.
Solution: Equation (6.193) is a straightforward result of the application
of Eq. (5.70) and is left to the reader for verification.
6.4 Find the spinor equivalent to the dual of the Riemann curvature tensor.
Solution: The spinor equivalent to the dual of the Riemann curvature
tensor is defined by
*Rap.ya = 2/
1
(2)
Using now the expression for the spinor equivalent to the Riemann
curvature tensor given by Eq. (6.200) and the expression for the spinor
EEF'CH given by Eq. (5) of Problem 5.3 in the above formula, we then
obtain
We consequently obtain
6.7 Find the expression for the spinor *FPQAB'CD', the dual to the spinor
FPQAB'CD', in terms of the Weyl conformal spinor, the tracefree Ricci
spinor, and the Ricci scalar curvature. Show that Eq. (6.190) is identical
to the Bianchi identities (6.251).
Solution: The spinor *FPQAB'CD' is defined by
1 KLMN'
*FPQAB'CD' = 2EAB'CD'FPQKL'MN' (1)
160 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
V"
*FpQ'" = 0,
(2)
where *FpQ'" is the dual to FpQ``" and JpQh represents the energy-
momentum tensor, as possible field equations for the theory of gravitation.
Solution: The solution is left for the reader.
6.9 Write the Einstein gravitational field equations in the presence of an
electromagnetic field using the spinor calculus.
Solution: The Einstein field equations in the presence of an electromag-
netic field have the form R" = (8.7rG/c4) T" since R = 0. The equivalent
equations, using spinor calculus, are given by
/, 4irC
WACB'D' = TAB'CD', (1)
C4
where OACB'D' is the tracefree Ricci spinor. Using now Eq. (6.217) and
Eq. (6) of Problem 5.10, we then obtain
2G (2)
mn = C4 0"01 "
& Tap
V.,T`p = + ra,rTap + I' T`6,
Also show that for a skew-symmetric tensor Fap the covariant divergence
is
ppFap = 1 a
V ga2p (Fap,f g) .
Solution: The solution is left for the reader.
162 CHAPTER 6. THE GRAVITATIONAL FIELD SPINORS
6.17 Find the expression for the Riemann tensor From it prove
Eqs. (6.32).
Solution: The solution is left for the reader.
6.18 Show that a curve with a covariantly constant tangent vector is nec-
essarily geodesic.
Solution: Let the curve be denoted by xa = xa (s) and the tangent vector
by dxa/ds. If the tangent vector is covariantly constant, then
dxc' ()
ds 0' 1
or explicitly
a v
8x ds
+ r" ds = 0. (2)
gives
d2xa dx dx" _ 0.
+ r " ds (4)
ds2 ds
6.19 Discuss the constancy of the weak and gravitational coupling con-
stants.
Solution: The solution is left for the reader.
6.20 Use the geodesic equations, Eq. (6.43), to determine the force per unit
mass on a body at rest, and show that it is given by F` = -c2I oo where
i = 1, 2, 3. In the weak field approximation gia are very close to the Lorentz
metric, and for a time- independent metric F` = c2I'0io (c2/2) 8i9oo Show
that in the weak field case Eq. (6.50) reduces to the Poisson equation (6.49)
where goo 1 + 20/c2. From this show that the constant t in Eq. (6.50)
is given by is = 8.7rG/c4.
Solution: The solution is left for the reader.
6.21 Prove Eqs. (6.58) and (6.59).
Solution: The solution is left for the reader.
6.22 Derive the gravitational field equations (6.50) using the calculus of
variation by treating both g" and I'.p as independent variants, and ob-
tain thereby equations that determine both objects. Such a procedure is
6.6. REFERENCES FOR FURTHER READING 163
(2) T" =
47r { 4g"fo rP - .fief" 1r
167
168 CHAPTER 7. THE GAUGE FIELD SPINORS
what to call a proton and what to call a neutron at one spacetime point,
one is then not free to make any other choices at other spacetime points.
It also seems not to be consistent with the localized field concept which
underlies the usual physical theories.
When combined with Eq. (7.2), we obtain the isotopic gauge transforma-
tion of the 2 x 2 potential matrix B,.:
F., =a (7.5)
Now Eq. (7.4) is valid for any S and its corresponding B,. Furthermore,
the matrix S-18S/8x appearing in Eq. (7.4) is a linear combination of the
isotopic spin "angular momentum" matrices T', i = 1, 2, 3, corresponding
to the isotopic spin on the field ' under consideration. Here T' = "ai,
where o' are the three Pauli spin matrices.
Accordingly, the matrix B,. itself must also contain a linear combination
of the matrices Ti; any part of B in addition to this, denote it by BA,
is a scalar or tensor combination of the T's, and must transform by the
homogeneous part of (7.4),
B = S-1B,S. (7.8)
Such a field is extraneous and was allowed by the very general form we
took for the B potential, but is irrelevant to the question of isotopic gauge.
Therefore, the relevant part of the B potential can be written as a linear
combination of the matrices T:
B = 2b N, T, (7.9)
-F = 2f T, (7.10)
7. 1. THE YANG-MILLS THEORY 171
where
f" =
8b - 8b" + 2b x b,,. (7.11)
8x" 8x
One notices that f transforms like a vector under an isotopic gauge trans-
formation. The corresponding transformation of b, is cumbersome. Under
infinitesimal isotopic gauge transformations,
b=b-2bx6w+axw. (7.13)
One can also include a field with isotopic spin 1 to obtain the following
total Lagrangian density:
where
J = 2iV'y T'. (7.18)
Continuity equation
Since the divergence of J does not vanish, one may define
T= (7.21)
Since the potential ba,. is real, its spinor equivalent baAB' is Hermitian,
namely,
baAB' = baB'A (7.25)
Accordingly ba00' and ball' are real quantities, whereas baol' and balo' are
complex quantities, conjugate to each other,
where
1 CB'D'faAB'CD' (7.28)
XaAC = XaCA =
Since the spinor XaAB is symmetric in its spinor indices A and B, it has
3 x 3 complex components: Xaoo, XaOl = XalO, and Xall, with a = 1,2,3.
These nine complex components are equivalent to the 18 real components
of the field strength fav
XaO = XaOO
Xa2 = Xall
which is the dual to the gauge field strength fa,,. We then find
1 KL'MN'
*faAB'CD' = 2EAB'CD faKL'MN', (7.31)
is consequently given by
We then obtain
Accordingly we have
and
*fo,AB'CD' = ZfaAB'CD', (7.38)
for the duals of fAB'CD'
Tv =
T7r
(49vfaapfaap - faafava) , (7.39)
Tv =
87r
(faafav a +* faafav a, (7.40)
7.2. GAUGE POTENTIAL AND FIELD STRENGTH 175
TAB'CD' =
8 (faAB'EF'faCD'IF' + *faAB'EF' *faCD'IF) (7.42)
Using now the expressions for f and *f given by Eqs. (7.27) and (7.32) in
Eq. (7.42), we then obtain
1 _
TAB'CD' = rXaACXaB'D'- (7.43)
Tmn = TXamXan-
1 (7.45)
where use has been made of Eqs. (6.222) and (6.223). Using now Eqs.
(6.217) and (7.40), we then obtain for the Einstein field equations in the
O(7.48)
presence of a gauge field the following:
2G
mn = C`1 XnmXan-
176 CHAPTER 7. THE GAUGE FIELD SPINORS
(7.51)
a3M ( 0 1 )
7.2.4 Spinor Indices
The SU(2) spinor indices for the Pauli matrices are chosen in such a way
that the spinor equivalent to the isovector is symmetric when both indices
are upper or lower:
CMN = CM EPN = QaM EPNCa = QaMNCa = CNM, (7.52)
7.3. THE GEOMETRY OF GAUGE FIELDS 177
91MN =
1-1
(
0 1
)
, Or2MN =
1 r -i
O
Ol
i
1 0 11 (7.54)
0'3MN = 1 0J,
and
QMN = MN 0
-i
1
; 2 ( 0 0)
1
QZ
2 0
UM N
3
= i 0 -1 ), (7.55)
72= f -1 0
We also notice that in the SU(2) spinor calculus there are no primed indices,
and that we raise and lower the indices with eMN and eMN just as for the
SL(2,C) spinor case.
In the next section we give the geometry of the Yang-Mills fields.
The tensor Rvpa which is an SU(2) invariant, satisfies the symmetry prop-
erties
Rvpo = -Rv,cpa = -Rpvap = +Rpav (7.58)
Hence the tensor R,,,upa is skew-symmetric in each pair of the indices v
and pa, and is symmetric under the exchange of these two pairs of indices
with each other. These symmetry properties are the same as those of the
Riemann curvature tensor, or the Weyl conformal tensor, known from the
geometry of curved spacetime (see the book of Eisenhart).
It will also be useful to define another tensor Rvpo,, which is also an
SU(2) gauge invariant, by
Rvpo = -fav *fapo, (7.59)
The tensor R*,,,po has the same symmetry properties as those of Rvpo,
namely
* * *
R vpo = R-vap =+Rp * aJv
(7.61)
From the two tensors Rp,,P, and Rvpo, we may then define the complex
tensor
Rvaa = Rvpo + 2Rvpa = favfapv
(7.62)
where
fapo -fapo + 2 fapo (7.63)
The new tensor Rvpo also satisfies the same symmetry properties of Rvpo
and Rvpo,
Rvpo = -Rvpa = -Rvap = +Rpav (7.64)
From the tensor Rvpo, we may define the Ricci tensor Rap = Raaap
and the Ricci scalar curvature R = R.
Since the tensor Rap.ya has the same symmetry properties (except for
the cyclic identity) as those of the Riemann curvature tensor, we may de-
compose it as follows:
1
+1 (9pv9a - 9p90-v) R, (7.65)
7.3. THE GEOMETRY OF GAUGE FIELDS 179
1
(7.66)
12 (9Pt'9a - 9p9ov) R.
Here Sv is the tracefree Ricci tensor,
Sv = Rv - 49v
1 R, (7.67)
which satisfies S = 0.
Contracting now either Eq. (7.65) or Eq. (7.66) with respect to the
indices p and , we find that the trace of the tensor CPQ vanishes, CP,,PP =
0. Hence Eqs. (7.65) and (7.66) express the fact that the tensor R,,,p.ya
decomposes into its irreducible components.
and
(ABC'D' = XaABXaC'D', (7.75)
respectively.
From the definition of the spinor (ABCD we see that it satisfies the
following symmetry properties:
for the Einstein spinor and the tracefree Ricci spinor, respectively.
We now find the spinor equivalent to the tensor Ra,-,, defined by Eq.
(7.59). It is given by
RCD'GH' = 2
(P -' l ECG ED'H', (7.88)
R*=2i(P-P), (7.89)
respectively.
Finally, the spinor equivalent to the complex tensor defined by
Eq. (7.62), is given by
The Ricci spinor, Ricci scalar curvature, Einstein spinor, and tracefree Ricci
spinor are then given by
1Z = -4P, (7.95)
permutation of the pairs of numbers 00, 01(=10), 11, and zero otherwise.
Hence it can be decomposed as follows:
XABCDEF =
Q (CAC CBE EDF+CAF EBC CDE+EAC EBF EDE+EAE EBC EDF
24
+EAD EBF CCE + CAD CBE ECF + CAF EBD ECE + CAE 6BD CCF), (7.100)
where Q is a complex quantity, the trace of the spinor XABCDEF:
Q = XACCEEA = CCBCED6 (7.101)
XABCDEF
185
186 CHAPTER 8. THE EUCLIDEAN GAUGE FIELD SPINORS
Here ?'l is a gauge covariant derivative of the spinor Vi. Under the in-
finitesimal SU(2) transformation with generators 9a, where a = 1, 2, 3, the
spinor 0 transforms according to some representation of the group SU(2),
namely,
5?i) = iTallbOa. (8.2)
B = baTa. (8.4)
8.1. EUCLIDEAN SPACETIME 187
Fv=avB,4-a3B"+i[B,,By], (8.5)
so that the action integral is finite. This requirement then implies that the
Pontrjagin index, defined by
is an integer. Here *fa{cv is the dual to fav, and fav is the gauge field
strength. Also, in Eq. (8.5) and the rest of this chapter the coupling
constant g is taken as unity.
Now 0 is also a four-component spinor in the Euclidean space. The
4 x 4 Dirac matrices y satisfy the Euclidean anticommutation relations
{'yr`, y"} = 2b". (8.7)
The metric here is 5N," and the signature is (+, +, +, +) so that there is no
distinction between upper and lower space indices.
The y Matrices
A convenient realization of the y matrices is given by
10 -ick
0 Ya= 10
0 I
(8.8)
'Yk= k 2 k
,
where ak (k = 1, 2, 3) are the three Pauli matrices given by Eq. (7.51) and
I is the unit 2 x 2 matrix. With the above realization for the matrices y,
we define the matrix y5 by
'Y5 = 'Y1727374 =
)
The matrix y5 consequently anticommutates with the matrices
{7,'Y5} = 0, (8.10)
S = (-iak, I) , (8.14)
sv =
2i
(St S - st s) , (8.17a)
s 1 (S's - (8.17b)
which satisfy
2st S. = bv + 2is,,, (8.18a)
8.1. EUCLIDEAN SPACETIME 189
where
Sv = 12EvpQS po'
*t =12fvpQS tpQ
SAL
Commutation Relations
The spin matrices satisfy the 0(4) commutation relations given by
SakS = 0, (8.23c)
. (8.24)
Lt 0 V) B_ E \ VE /
This is a two-component spinor form which exhibits the chiral structure.
Here the operators L and Lt are defined by
L = s (2a + B) , (8.25a)
Lt = st (ia. + BN,) , (8.25b)
Here 7(i+ and 0- are two-component spinors which also carry an isospin
label according to the representation (8.3).
Matrix Elements
We denote the matrix elements of the matrix s by
(st)
...
- stA'A (8.28)
Accordingly we have
1 1 0 -i
( -i
sAA' = o (8.29a)
2
sAA'
__ 1 ( D 1
(8.29b)
1\ -1 0
g
sAA,
1 -i0 0
i (8.29c)
V`
l rl
sAA'
9
7I\0 1
1
J,
(8.29d)
and
$tA'A = 1 0
i (8.30a)
( z
0
S2 (8.30b)
1
S3
= 1 i
(8.30c)
3
72(0
$tA'A = 1 1
4 (8.30d)
VL (
Superscript and Subscript Indices
= the subscript 0(4)
There is no distinction between the superscript and
tensorial indices, namely, (s) = (s) and (silt) (s) . The spinor
equivalent to the vector V. is thus given by
VAA' AA' V
192 CHAPTER 8. THE EUCLIDEAN GAUGE FIELD SPINORS
AA' (8.37)
S SvAB' + SA 4' SAB' = bB' bv,
for the relationship between an 0(4) vector and its spinor equivalent.
8.2. THE EUCLIDEAN GAUGE FIELD SPINORS 193
and
fMNAA'BB' = fa aaMNSAA'SBB' (8.44)
where vaMN are given by Eqs. (7.54). The pair of indices MN are internal
SU(2) spinor indices, whereas AA' and BY are 0(4) spinor indices. Both
the gauge potential and the gauge field strength are symmetric in their
SU(2) spinor indices M and N.
Obviously the field strength spinor (8.44) is skew-symmetric in the pair
of indices AA' and BY. The above spinors are related by
where
1
fM+NA'B' _ -JMNAA'AB'" (8.48a)
Hence for self-dual fields the expression fMNAB must vanish, whereas
for anti-self-dual fields the expression fMNAB' must vanish.
8.3 Problems
8.1 Verify Eqs. (8.16), (8.17) and (8.18).
Solution: These equations are direct consequences of the definition of the
s matrices and are left to the reader for verification.
8.2 Verify Eqs. (8.21) and (8.22).
Solution: Equations (8.21) and (8.22) are left to the reader for verification.
197
198 INDEX
1380 he
www.worldscientific.com L