Sunil Mukhi
SERC Preparatory School, Goa, OctNov 2010
Contents
1 Scalar elds 3
1.1 Preliminaries: why QFT? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Classical elds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Quantising free scalar elds . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Comment on normalisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5 Time evolution of the eld . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.6 Causality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 The Feynman propagator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.8 Actions and eld equations . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.9 Interactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.10 Wicks theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.11 Interactions via Wicks theorem . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.12 Momentum space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2 Vector elds 35
2.1 Denition of vector eld . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.2 Lagrangian for vector elds . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.3 Coulomb gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.4 Lorentz gauge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5 Scalar electrodynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
1
2.6 Feynman rules for scalar electrodynamics . . . . . . . . . . . . . . . . . . . . 45
3 Fermions 47
3.1 Lorentz algebra and Cliord algebra . . . . . . . . . . . . . . . . . . . . . . . 47
3.2 Spinor elds and Dirac equation . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.3 Dirac Lagrangian . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.4 Weyl basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
3.5 Majorana basis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.6 Freeparticle solutions of Dirac equation . . . . . . . . . . . . . . . . . . . . 58
3.7 Quantisation of the Dirac eld . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.8 Dirac propagator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.9 Spin of the eld
a
(x) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.10 Charge of a state . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
4 The Smatrix 67
5 Quantum Electrodynamics 72
5.1 Feynman rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.2 e
+
e
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
6 Radiative corrections and renormalisation 84
7 The Higgs mechanism 88
8 Nonabelian gauge theories 92
8.1 Nonabelian gauge invariance . . . . . . . . . . . . . . . . . . . . . . . . . . 92
8.2 Quantum chromodynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . 95
8.3 Electroweak interactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
2
1 Scalar elds
1.1 Preliminaries: why QFT?
We know that quantum mechanics and the special theory of relativity are both properties
of nature. The validity of quantum mechanics is experimentally demonstrated by the pho
toelectric eect, atomic spectra etc. Similarly that of special relativity is demonstrated by
experiments showing constancy of speed of light, time dilation etc.
The question then is: how do we extend quantum mechanics to incorporate relativity? Or
putting it the other way, how do we extend relativity to incorporate quantum mechanics?
The basic equation of quantum mechanics is the Schrodinger equation:
i
t
(x, t) =
2
2m
2
(x, t) + V (x)(x, t)
Clearly this is not relativistic, since it treats space and time dierently.
Now, a basic equation of relativity is:
E
2
= p
2
c
2
+ m
2
c
4
which in units where c = 1 (which we use henceforth) becomes:
E
2
= p
2
+ m
2
Of course this equation is classical rather than quantum.
In quantum mechanics, [(x, t)[
2
is the probability of nding a particle at some point in
space and time. As we will see, extending the Schrodinger equation to a relativistic wave
equation is not merely a technicality but forces us to change interpretation.
Where does the Schrodinger equation come from? We start with the nonrelativistic classical
relation:
E =
p
2
2m
+ V (x)
and then make the replacements, motivated by wave mechanics:
E i
t
, p i
For a free particle (V (x) = 0) it is easy to guess a relativistic equation. For a relativistic
particle we have:
E =
_
p
2
+ m
2
m+
p
2
2m
3
where the RHS holds (after dropping the constant m from the denition of energy) in the
nonrelativistic limit.
So we may just replace E =
p
2
2m
by E
2
= p
2
+m
2
and then try to convert it to a Schrodinger
like equation for a wave function (x
) where x
)
as (x) for simplicity. The result is:
2
2
t
2
=
2
2
+ m
2
Introducing:
=
_
t
,
_
and
, we have:
(E, p) i
(x) + m
2
(x) = 0
which is the free KleinGordon equation. To check that the dimensions are correct, note that
in units where c = 1 we have:
[] = ML, [
] = L
1
, [m] = M
The general solution to this equation is:
(t, x) = e
ikx
2
k
+ m
2
= 0
This can be solved for k
0
:
k
0
=
1
2
k
2
+ m
2
Since energy is represented by i/t, the energy eigenvalue follows from:
i
t
e
ikx
= k
0
e
ikx
=
1
2
k
2
+ m
2
e
ikx
A(t, x) (the vector potential). In special relativity these two elds combine into a 4vector
potential:
A
(x) =
_
(t, x),
A(t, x)
_
We can write Maxwells equations in free space (no charges or currents) as:
B = 0,
B =
E
t
,
E = 0,
E =
B
t
where:
E =
A
t
,
B =
A
These can be written in relativistic form as follows. Dene
F
by:
F
0i
= E
i
, F
ij
=
1
2
ijk
B
k
and the Maxwell equations become:
= 0,
= 0
The electromagnetic eld A
, is:
(x) = 0
This is the massless free KleinGordon equation. But now it is not a wave equation! (x) is
not the wave function of a particle with [[
2
being the probability density. That would lead
us back to the problem of negative energy states. Instead, we consider (x) to be a eld and
quantise the eld.
To be a little more general, we extend the eld equation by putting back the mass term. It
remains to be seen what is the physical interpretation of the eld, as well as the mass term.
We return to that later on. Thus we want to quantise (x) satisfying:
(x) + m
2
(x) = 0
Lets assume we have never quantised a eld before, but we know how to quantise coordinates
q(t) appearing in a harmonicoscillator Lagrangian like:
L =
1
2
m q
2
1
2
m
2
q
2
This is quantised by promoting q(t) to an operator and imposing the canonical commutation
relation:
[q, p] = i
As we now show, we can reduce (x) to a set of harmonicoscillator coordinates labelled
q
k
(t), by a simple device. Each q
k
(t) will describe a separate harmonic oscillator and can be
quantised independently as above.
For this, place the system in a cubical box of side L. Thus,
0 x, y, z L
Now impose periodic boundary conditions across the box:
(t, x, y, z) = (t, x + L, y, z) = (t, x, y + L, z) = (t, x, y, z + L)
The functions of x that satisfy the box boundary conditions are:
e
i
kx
where
k =
2
L
(m
1
, m
2
, m
3
) for any three integers m
1
, m
2
, m
3
.
6
Therefore an arbitrary eld conguration (x) can be expanded as:
(t, x) = ^
k
q
k
(t)e
i
kx
where ^ is a normalisation factor. The q
k
(t) are uctuation modes of the eld (x).
Inserting this into the KleinGordon eld equation above, we nd:
q
k
(t) +
_
k
2
+
m
2
2
_
q
k
(t) = 0
where
k
2
=
4
2
L
2
(m
2
1
+m
2
2
+m
3
3
). Thus for every
k
=
_
k
2
+
m
2
2
Note that the q
k
(t) are not physical coordinates of space, but because they obey the harmonic
oscillator equations of motion they can be thought of as some type of generalised coordi
nates.
Since we chose (x) to be real, we have
q
k
(t) = q
k
(t)
Thus the quantum KleinGordon eld has reduced to a collection of innitely many harmonic
oscillators, each decoupled from the other. This is a system we know how to quantise.
1.3 Quantising free scalar elds
We can write down a Lagrangian whose equations of motion give the equations of motion
for q
k
(t) written down in the previous section:
L(q, q) =
1
2
q
2
0
1
2
2
0
q
2
0
+
k>0
_
q
k
q
k
q
k
q
k
_
where we conventionally take the vector
k =
2
L
(m
1
, m
2
, m
3
) to be > 0 if its rst non
vanishing component is > 0. In deriving the above Lagrangian, the normalisation of the
expansion of (x) in terms of the q
k
was used.
7
The canonical momenta for this Lagrangian are:
p
0
L
q
0
= q
0
p
k
L
q
k
= q
k
p
k
L
q
k
= q
k
where
k > 0. The Hamiltonian is then:
H = p
0
q
0
+ p
k
q
k
+ p
k
q
k
L
=
1
2
p
2
0
+
1
2
2
0
q
2
0
+
k>0
_
p
k
p
k
+
2
k
q
k
q
k
_
= H
0
+
k>0
H
k
Now impose canonical commutation relations:
[q
k
, p
] = i
k,
, [p
k
, p
] = [q
k
, q
] = 0
The above equations hold for all positive and negative
k as well as
k = 0.
This converts q
k
(t) into quantum operators, and thereby
(x, t) = ^
k
q
k
(t)e
i
kx
also becomes a quantum operator. Note that the operators obey:
p
k
= p
k
, q
k
= q
k
The Hamiltonian is solved by factorising each harmonic oscillator using the creation/annihilation
operator method. We start by dening:
a
k
=
1
_
2
k
_
ip
k
+
k
q
k
_
where
k,
k
=
1
_
2
k
_
ip
k
+
k
q
k
_
8
It is easy to check that:
[a
k
, a
] =
k,
Now we have:
H =
k
_
a
k
a
k
+
1
2
_
where the sum is over all k.
For each harmonic oscillator, the state of lowest energy is the Fock vacuum dened by:
a
k
[0) = 0, all
k
This is interpreted as the quantum state of the eld theory which is empty of excitations.
Other states will be interpreted as containing eld quanta, otherwise known as elementary
particles.
The ground state energy of the entire system is the constant (operatorindependent) term
in the Hamiltonian, namely:
E
0
=
1
2
0
+
k>0
k
Unfortunately the sum is innite! This is the rst of many potential diculties in quantum
eld theory.
On the other hand, all excited states have strictly positive energy compared to the ground
state. Negative energy states simply do not exist when we quantise a eld!
To see this more explicitly, we rst redene the Hamiltonian by subtracting o the innite
constant. This simply means we measure all energies relative to the vacuum state, which
seems quite reasonable physically. In a true harmonic oscillator we measure the ground state
energy by comparing it with the energy when the oscillator is absent. For a eld, we cannot
do this the eld is always present, whether or not it is excited. In the absence of gravitation
(which couples to all energy including vacuum energy) we can therefore just set the vacuum
energy of a eld to zero
1
.
Hence the quantum Hamiltonian of the free real KleinGordon eld is simply:
H =
k
a
k
a
k
1
When gravity is present we would instead set the vacuum energy equal to the value measured experi
mentally. However a fundamental theory of quantum gravity could possibly allow us to calculate the vacuum
energy.
9
The nite size is only a convenience. If we take the limit L , we get continuous allowed
values of
k and:
H =
_
d
3
k
(2)
3
k
a
k
a
k
where
[a
k
, a
] = (2)
3
3
(
)
Now that we have quantised the free KleinGordon eld, we need to interpret the result.
The energy eigenstates are
a
k
1
a
k
2
a
kn
[0)
As we saw, the state [0) is chosen to have zero energy (this amounts to a choice of the origin
of energy). Now consider the state a
+
k
[0). This state satises:
H(a
k
[0)) =
k
(a
k
[0))
and therefore its energy is:
E
k
=
k
=
_
2
k
2
+ m
2
This state ts perfectly with our expectations of a state containing a single particle of
momentum p =
P =
k a
k
a
k
measures the 3momentum of the state. We have
P[0) = 0,
P ( a
k
[0) ) =
k ( a
k
[0) )
which is exactly what we expect with our interpretation.
If we consider the most general state:
a
k
1
a
kn
[0)
we have
H
_
a
k
1
a
kn
[0)
_
=
_
i=1
k
i
_
_
a
k
1
a
kn
[0)
_
as well as:
P
_
a
k
1
a
kn
[0)
_
=
_
n
i=1
k
i
_
_
a
k
1
a
kn
[0)
_
10
as expected for a multiparticle state with n noninteracting particles.
Also, because the a
k
1
a
k
2
[0) is the same as the
state a
k
2
a
k
1
[0). This means the particles corresponding to this eld satisfy Bose statistics!
We also see that there is a single state for xed particle number and momenta. The absence
of another label giving a degeneracy indicates there is no spin in this case.
Thus we see that quantising the free real KleinGordon eld gives us states containing arbi
trary numbers of free spinless particles, all of a common mass m and obeying Bose statistics.
Let us now see what quantisation of the a
k
, a
k
tells us about the original eld . We have:
(x) =
_
d
3
k
(2)
3
q
k
(t) e
i
kx
where again we are using language appropriate for innite space rather than a box. Since:
q
k
=
1
_
2
k
_
a
k
+ a
k
_
we have
(x) =
_
d
3
k
(2)
3
1
_
2
k
_
a
k
e
i
kx
+ a
k
e
i
kx
_
Since we also have
p
k
= i
_
k
2
(a
k
a
k
)
we can construct:
(x) = i
2
_
d
3
k
_
(2)
3
_
k
2
_
a
k
e
i
kx
a
k
e
i
kx
_
This operator (x) is called the canonical momentum conjugate to (x). Later we will see
that it has a natural denition even without going to Fourier modes.
Now it is straightforward, using
[a
k
, a
] = (2)
3
3
(
)
to show that
[(t, x), (t, x
)] = i
3
(x x
)
[(t, x), (t, x
)] = [(x), (x
)] = 0
This could be an alternate starting point for the quantisation procedure. Notice that the
eld commutators are taken at equal times.
Henceforth in these lectures we work in units in which = 1.
11
1.4 Comment on normalisation
How to normalise the state:
[
k) a
k
[0)
If we try
k[
) = (2)
3
3
(
0
= cosh k
0
+ sinh k
1
k
1
= sinh k
0
+ cosh k
1
Then the deltafunction becomes:
3
(
) = (k
1
)(k
2
)(k
3
)
which is equal to:
_
sinh (k
0
0
) + cosh (k
1
1
)
_
(k
2
2
)(k
3
3
)
Since k
0
=
k
=
_
k
2
+ m
2
, we have:
k
0
0
=
=
_
k
2
+ m
2
2
+ m
2
Using the behaviour of the deltafunction under a change of variables, one can now show
that:
_
sinh (k
0
0
) + cosh (k
1
1
)
_
=
(k
1
1
)
It follows that
k
3
(
) is Lorentz invariant.
Therefore we choose the normalisation such that:
k[
) = (2)
3
2
3
(
)
which means the normalised state of momentum k should be dened as:
[
k) =
_
2
k
a
k
[0)
We will see that in this way, the Hamiltonian formalism recovers Lorentz invariance for
physical quantities, despite noncovariant choices along the way.
12
1.5 Time evolution of the eld
With all this, we can now go to the Heisenberg picture and explicitly determine the time
evolution of (t, x). We have
(t, x) = e
iHt
(0, x) e
iHt
This can be easily computed starting from the analogous statement for the creation and
annihilation operators:
a
k
(t) = e
iHt
a
k
e
iHt
, a
k
(t) = e
iHt
a
k
e
iHt
where in this equation and everything that follows, a
k
, a
k
stand for a
k
(t = 0), a
k
(t = 0).
There is a simple trick to evaluate the above expressions. From the Hamiltonian:
H =
_
d
3
k
(2)
3
k
a
k
a
k
we nd:
[H, a
k
] =
k
a
k
[H, a
k
] =
k
a
k
It follows that
e
iHt
a
k
e
iHt
= e
i
k
t
a
k
e
iHt
a
k
e
iHt
= e
i
k
t
a
k
Then from
(0, x) =
_
d
3
k
(2)
3
1
_
2
k
_
a
k
e
i
kx
+ a
k
e
i
kx
_
we get
(x, t) =
_
d
3
k
(2)
3
1
_
2
k
_
a
k
e
ikx
+ a
k
e
ikx
_
where k x = k
, with k
= (
k
,
k) and x
= (t, x).
Notice that a
k
multiplies e
i
k
t
while a
k
multiplies e
i
k
t
(by denition,
k
> 0 always). We
call e
i
k
t
a positive frequency mode (because acting on it with i/t would give a positive
energy eigenvalue) and e
i
k
t
a negative frequency mode.
We see that the positive frequency mode is multiplied by an operator which destroys a
particle of energy
k
while a negative frequency mode occurs with an operator that creates
a particle of energy
k
. The energy is always positive.
13
For complex , things are dierent. We then have two elds (x),
k
_
b
k
e
ikx
+ a
k
e
ikx
_
(x, t) =
_
d
3
k
(2)
3
1
_
2
k
_
a
k
e
ikx
+ b
k
e
ikx
_
We a
k
as the operator that creates a particle of momentum
k, as before, while b
k
creates a
particle of the same momentum but opposite charge. We call the latter an antiparticle.
From the mode expansion we see that contains the modes a
contains modes b
k
_
a
k
e
ikx
+ a
k
e
ikx
_
we have:
(x)[0) =
_
d
3
k
(2)
3
1
_
2
k
e
ikx
a
k
[0)
14
since the rst term a
k
[0) vanishes. This can be interpreted as the state corresponding to one
particle localised at position x, and evolving in time t. The corresponding adjoint state is:
0[(x) =
_
d
3
k
(2)
3
1
_
2
k
e
ikx
0[a
k
Now we already know that
[(t, x), (t, x
)] = 0
as long as x ,= x
).
The answer is hard to compute explicitly but simplies in the limit of large (spacelike or
timelike) separation. Let us dene:
D(x, y) = 0[(x)(y)[0)
Note that by translation invariance, D(x, y) depends only on the separation between the two
spacetime points. Henceforth we denote it D(x y).
Inserting the mode expansion for , we have:
0[(x)(y)[0) =
_
d
3
k
(2)
3
d
3
k
(2)
3
1
_
2
k
1
_
2
e
ik
x
e
+iky
0[a
k
[0)
The expectation value is evaluated as follows:
0[a
, a
k
[0) = 0[
_
a
, a
k
_
[0) = (2)
3
3
(
)
where we have used that a
k
[0) = 0[a
k
= 0.
The result is that:
D(x y) =
_
d
3
k
(2)
3
1
2
k
e
ik(xy)
This will be computed for large separations in an Appendix to this section.
In terms of this quantity we have:
0[[(x), (y)][0) = D(x y) D(y x)
As we show in the Appendix, in the spacelike case
D(x y) e
mr
15
for large r. Therefore at least in this limit, D(x, y) D(y, x) = 0. In the timelike case, we
have instead:
D(x y) e
imt
for large t. Therefore D(x, y) D(y, x) sin mt ,= 0. Therefore signals can, and do,
propagate only over timelike intervals.
We have:
D(x y) D(y x) = 0[[(x), (y)][0) =
_
d
3
k
(2)
3
1
2
k
_
e
ik(xy)
e
ik(xy)
_
For x
0
> y
0
this is equal to:
_
d
3
k
(2)
3
_
dk
0
2i
1
k
2
m
2
e
ik(xy)
where the contour passes above the poles k
0
=
k
. To show the above, note that:
1
k
2
m
2
=
1
2
k
_
1
k
0
1
k
0
+
k
_
Now since x
0
> y
0
, the contour can be closed in the lower halfplane and we get:
_
dk
0
2i
i
k
2
m
2
e
ik(xy)
=
1
2
k
_
e
ik(xy)
k
0
=
k
e
ik(xy)
k
0
=
k
_
Inserting this in the above expression we recover
D(x y) D(y x) =
_
d
3
k
(2)
3
1
2
k
_
e
ik(xy)
e
+ik(xy)
_
k
0
=
k
as desired.
If instead x
0
y
0
< 0 then with the same pole prescription we can close the contour in the
upper halfplane and we get 0. Therefore we have shown that:
_
d
4
k
(2)
4
i
k
2
m
2
e
ik(xy)
= 0[[(x), (y)][0), x
0
y
0
> 0
= 0 otherwise
This motivates us to dene a propagator called the retarded propagator by:
D
R
(x y) = (x
0
y
0
)0[[(x), (y)][0) =
_
C
R
d
4
k
(2)
4
i
k
2
m
2
e
ik(xy)
16
where the contour (
R
passes above the poles. Here (x
0
y
0
) is the step function which is
+1 for positive arguments and 0 for negative arguments.
Correspondingly the advanced propagator is:
D
A
(x y) = (y
0
x
0
)0[[(x), (y)][0) =
_
C
A
d
4
k
(2)
4
i
k
2
m
2
e
ik(xy)
where the contour passes below the poles.
Exercise: show that
(
2
+ m
2
)D
R,A
(x y) = i
4
(x y)
showing that the retarded and advanced propagators are Greens functions for the Klein
Gordon equation.
Appendix to Section 1.6
We wish to compute the dependence of
D(x, y) 0[(x)(y)[0)
on x y. As we have seen,
D(x, y) =
_
d
3
k
(2)
3
1
2
k
e
ik(xy)
This is divergent for x
= y
!
Now we consider two special cases:
(i) x
0
y
0
= t, x y = 0
(ii) x
0
y
0
= 0, x y = (r, 0, 0)
The rst case corresponds to timelike separation while the second corresponds to spacelike
separation.
All timelike separations can be brought to the rst form, and all spacelike separations to
the second form, by a Lorentz transformation.
(A quick sketch of the proof is as follows. By a spatial rotation, any vector a
can be brought
to the form (a
0
, a
1
, 0, 0). Now consider
a
= a
0
a
1
17
and notice that a a a
= a
+
a
a
+
, a
, i.e. a
is of the form (a
0
, 0, 0, 0). If instead a a < 0
(spacelike separation) then a
+
and a
, i.e. a
k
2
+ m
2
e
i
k
2
+m
2
t
Since the integrand depends only on the magnitude of
k we use d
3
k = 4
k
2
d[
k[ and get:
D(x, y) =
4
2(2)
3
_
0
d[
k[
k
2
_
k
2
+ m
2
e
i
k
2
+m
2
t
=
1
8
2
_
m
dE
E
2
m
2
e
iEt
where in the last step we have made the substitution E =
_
k
2
+ m
2
.
One can easily check by saddlepoint methods that for large t, E m and so the integral in
the timelike case goes like:
e
imt
, t
Next consider the spacelike case:
D(x y) =
_
d
3
k
(2)
3
1
2
_
k
2
+ m
2
e
i
k(x y)
This time the integrand depends on the angle made by
k with the xaxis, so we use d
3
k =
2 sin d
k
2
d[
k[. Then:
D(x, y) =
_
2 sin d
k
2
d[
k[
(2)
3
1
_
k
2
+ m
2
e
ikr cos
=
1
(2)
2
_
0
d[
k[
k
2
2
_
k
2
+ m
2
e
i
kr
e
i
kr
i[
k[[r[
=
1
(2)
2
i
2[r[
_
+
dp
p e
ipr
_
p
2
+ m
2
This has squareroot branch cuts at p = im. So we set p = i and nd:
D(x, y) =
2
8
2
[r[
_
m
d
e
r
_
2
m
2
e
mr
18
1.7 The Feynman propagator
There is another propagator, also a Greens functions of the KleinGordon equation, that
corresponds to an important physical quantity. Dene:
D
F
(x y) =
_
C
F
d
4
k
(2)
4
i
k
2
m
2
e
ik(xy)
where the contour (
F
is taken to pass below the rst pole (at k
0
=
k
) and above the second
pole (at k
0
=
k
). Now if x
0
> y
0
then we can close the contour below, capturing only the
pole at k
0
=
k
. In the reverse case y
0
> x
0
we close the contour above and capture the pole
at k
0
=
k
.
In the rst case, we nd:
D
F
(x y) =
_
d
3
k
(2)
3
1
2
k
e
ik(xy)
[
k
0
=
k
which is the same as D(x y) = 0[(x)(y)[0). In the second case we get D(y x).
Therefore we have:
D
F
(x, y) = D(x y), x
0
> y
0
,
= D(y x), y
0
> x
0
or more concisely,
D
F
(x, y) = (x
0
y
0
)D(x y) + (y
0
x
0
)D(y x)
Physically this is a propagator that takes a particle from earlier times to later times. It is
called the Feynman propagator and can be expressed as:
D
F
(x y) = 0[T((x)(y))[0)
where T is the timeordering symbol, dened by:
T((x)(y)) = (x
0
y
0
)(x)(y) + (y
0
x
0
)(y)(x)
The eld at the later time is put to the left of the one at the earlier time.
We now derive an expression for the Feynman propagator that will be useful later on. Let
us decompose into its creation and annihilation pieces:
+
(t, x) =
_
d
3
k
(2)
3
1
_
2
k
a
k
e
ikx
(t, x) =
_
d
3
k
(2)
3
1
_
2
k
a
k
e
ikx
19
Because
+
always annihilates on the right, and
(y)[0) + (y
0
x
0
)0[
+
(y)
(x)[0)
But for the same reason, we are allowed to replace each bilinear with a commutator, getting:
D
F
(x y) = (x
0
y
0
)0[ [
+
(x),
(y)] [0) + (y
0
x
0
)0[ [
+
(y),
(x)] [0)
Now the objects inside the vacuum expectation value are cnumbers, so we can drop the
expectation value altogether, getting:
D
F
(x y) = (x
0
y
0
) [
+
(x),
(y)] + (y
0
x
0
) [
+
(y),
(x)]
As we will see, the Feynman propagator and the concept of timeordering are fundamental
in Quantum Field Theory.
1.8 Actions and eld equations
Let us now study some basic properties of the KleinGordon equation and the Lagrangian
from which it is obtained. Our considerations will be classical for a while. The KleinGordon
equation is:
(
+ m
2
) = 0
This can be thought of as a variational equation obtained from the action:
S =
_
d
4
x
_
1
2
1
2
m
2
2
_
To show this, we must calculate
S
(y)
which is a functional derivative. For this, the basic
relation is:
(x)
(y)
=
4
(x y)
which can be understood as an extension to the continuous case of the dierentiation rule
for variables depending on a discrete index, namely:
x
i
x
j
=
ij
where the RHS is the Kronecker delta.
20
Applying the functional derivative rule we nd:
S
(y)
=
_
d
4
x
_
(x)
4
(x y) m
2
(x)
4
(x y)
=
_
d
4
x
_
(x) m
2
(x)
4
(x y)
=
_
(y) + m
2
(y)
_
Thus the equation of motion is:
S
(y)
= 0 (
+ m
2
)(y) = 0
which is the free KleinGordon equation as desired.
We will later encounter more general actions, which will always be integrals over spacetime
of a local Lagrangian density depending on and (usually) rst derivatives of :
S =
_
d
4
xL(,
)
It is a straightforward exercise to show that in terms of the Lagrangian density, the variational
equation S/(x) = 0 is equivalent to:
L
(
(x))
L
(x)
= 0
To generalise the KleinGordon Lagrangian to a complex eld , we simply write:
S(,
) =
_
d
4
x
_
m
2
_
whose equations of motion are:
(
+ m
2
) = (
+ m
2
)
= 0.
as desired. Note that when a eld is complex, we vary and
independently.
Given a Lagrangian density L, the Hamiltonian density is dened by rst dening the canon
ical momentum conjugate to the eld variable :
(x) =
L
(x)
and then writing
H = (x)
(x) L
and nally eliminating
in favour of .
For the KleinGordon case we easily nd that =
and
H =
1
2
2
+
1
2
(
)
2
+
1
2
m
2
2
21
1.9 Interactions
To introduce interactions, we must add terms to the Lagrangian of KleinGordon theory
which are of higher than quadratic power in the eld . The resulting eld equations will
then be nonlinear.
Thus, consider:
L =
1
2
1
2
m
2
2
V ()
where V () is some function (with powers higher than quadratic) of , called the potential.
Note that it is a potential in eld space, not a potential V (x) in ordinary space.
With this, the Hamiltonian density is
H =
1
2
2
+
1
2
(
)
2
+
1
2
m
2
2
+ V ()
What is a reasonable choice for V ()? Let us take a fourth order polynomial:
V () = a + b + c
2
+ d
3
+ e
4
We will see later that scalar eld theories with higher than four powers of are non
renormalisable and therefore inconsistent.
In this potential the constant term is irrelevant for physics so we drop it. The linear term
can removed by shifting . The quadratic term just modies the value of m
2
so we can
ignore it. That leaves the cubic and quartic term. It is common to take just the quartic
term, i.e. set a = b = c = d = 0. Conventionally the potential is then written as:
V () =
4!
4
The corresponding equation of motion is:
(
+ m
2
) +
3!
3
= 0
To study the resulting quantum theory, we are going to assume that the eect of interactions
is small and answers can be expressed as a power series in , with = 0 giving the usual
free answers that we have already obtained.
The Hamiltonian of the interacting theory can be written:
H =
_
d
3
x
_
1
2
2
+
1
2
(
)
2
+
1
2
m
2
2
+
4!
4
_
= H
0
+ H
int
22
where H
int
=
4!
_
d
3
x(x)
4
.
We already know how to treat H
0
. We showed that H
0
could be converted into:
H
0
=
_
d
3
k
(2)
3
k
a
k
a
k
, [a
k
, a
] = (2)
3
3
(
)
with [0) dened by a
k
[0) = 0 for all
k.
Now we can write
_
d
3
x(x)
4
in terms of a
k
, a
k
and therefore
H =
_
d
3
k
(2)
3
k
a
k
a
k
+ H
int
where H
int
is a function of a
4
, a
a
3
, a
2
a
2
, a
3
a, a
4
. It is clear that generically, H
int
[0) , = 0.
The state of minimum energy, or the true vacuum
(H
0
+ H
int
)[) = minimum
is therefore very complicated and cannot be calculated exactly. However, in terms of this
state we know what we would like to compute: the probability for a particle to propagate
from one point to another at a later time in the true vacuum of the interacting theory:
[T((x)(y))[)
We will now see how to expand [) and (x) in terms of their free versions [0),
0
(x). We
have already encountered the denitions:
[0) : H
0
[0) = 0
[) : (H
0
+ H
int
)[) = E
0
[)
where E
0
is the lowest energy eigenvalue of H
0
+ H
int
.
Similarly, given a eld conguration (0, x) at time 0, the free eld
0
(t, x) is the one that
evolves via H
0
, while the full (t, x) evolves via H:
0
(t, x) = e
iH
0
t
(0, x) e
iH
0
t
(t, x) = e
iHt
(0, x) e
iHt
We worked out the time dependence of
0
(t, x) when we studied free elds. What we now
need is the time evolution of the full (t, x), which is not simple due to the interactions. We
have:
(t, x) = e
iHt
(0, x) e
iHt
= e
iHt
e
iH
0
t
0
(t, x) e
iH
0
t
e
iHt
23
Now since [H, H
0
] ,= 0, we cannot write e
iHt
e
iH
0
t
as e
i(HH
0
)t
= e
iH
int
.
To overcome this problem, dene the operator
U(t) e
iH
0
t
e
iHt
Then:
(x, t) = U(t)
0
(x, t) U(t)
We would now like to express U(t) purely in terms of H
int
. To do this, we use the trick of
rst obtaining a dierential equation for U(t):
U
t
= i e
iH
0
t
(H
0
H) e
iHt
= i e
iH
0
t
H
int
e
iHt
= i e
iH
0
t
H
int
e
iH
0
t
e
iH
0
t
e
iHt
= iH
I
(t)U(t)
where we have dened:
H
I
(t) = e
iH
0
t
H
int
e
iH
0
t
called the interactionpicture Hamiltonian. Note that this Hamiltonian is constructed in
terms of the eld
0
, which is sometimes known as the interaction picture eld.
The dierential equation we have derived:
i
U
t
= H
I
(t)U
is like a timedependent Schrodinger equation (with a timedependent Hamiltonian) for U!
We can write a formal solution for it as:
U(t) = T
_
e
i
R
t
0
dt
H
I
(t
)
_
where T is our friend the timeordering symbol. Without it, the exponential would not be
a solution because H
I
(t
1
) and H
I
(t
2
) do not commute. The T symbol makes sure that when
we dierentiate, we pull out an H
I
(t) at the leftmost point as desired.
Now consider the state [) dened by (H
0
+ H
int
)[) = E
0
[) where E
0
is the minimum
eigenvalue of H = H
0
+H
int
. We would like to nd a relation between [) and [0). For this,
note that if [n) are the eigenstates of the full Hamiltonian H and E
n
are the corresponding
24
eigenvalues, then:
e
iHt
[0) =
n
e
iEnt
[n)n[0)
= e
iE
0
t
[)[0) +
n=0
e
iEnt
[n)n[0)
= e
iE
0
t
_
[)[0) +
n=0
e
i(EnE
0
)t
[n)n[0)
_
We can remove the contribution of all terms except the rst one by taking a limit t
keeping a slightly negative imaginary part. Thus,
lim
T(1i)
e
iHT
[0) = lim
T(1i)
e
iE
0
T
[)[0)
We assume the right hand side above is nonzero, i.e. that the true vacuum [) has some
overlap with the free vacuum [0).
Hence we nd that:
[) = lim
T(1i)
e
iHT
[0)
e
iE
0
T
[0)
We can temporarily forget the normalising factor on the RHS and restore it later. Then the
RHS can be written in terms of U(T). Because H
0
[0) = 0, we can write:
e
iHT
[0) = e
iHT
e
iH
0
T
[0) = U
(T)[0)
Therefore
[) lim
T(1i)
U
(T)[0)
upto a normalisation.
Similarly, by starting with
0[e
iHt
and performing the analogous manipulations, one can show that:
[ lim
T(1i)
0[U(T)
We will restore the normalisation by simply dividing the nal answer by [).
Recalling that (x) = U(x
0
)
0
(x)U(x
0
) and (y) = U(y
0
)
0
(y)U(y
0
), and taking rst
x
0
> y
0
, we write:
[(x)(y)[) lim
T(1i)
0[U(T) U
(x
0
)
0
(x)U(x
0
) U(y
0
)
0
(y)U(y
0
) U
(T)[0)
25
Now use:
U(T)U
(x
0
) = T
_
e
i
R
T
x
0
H
I
(t
)dt
_
which holds because T is a much later time than x
0
(at the end we will take T ). Indeed
all elds are in time order, so we can write the RHS above as:
lim
T(1i)
0[T
_
U(T) U
(x
0
)
0
(x)U(x
0
) U(y
0
)
0
(y)U(y
0
) U
(T)
_
[0)
If we started with x
0
> y
0
, we would get exactly the same result, since the RHS has time
ordering built into it.
Therefore we have shown that:
[T ((x)(y)) [) = lim
T(1i)
0[T
_
U(T) U
(x
0
)
0
(x)U(x
0
) U(y
0
)
0
(y)U(y
0
) U
(T)
_
[0)
Inside the time ordering we can move around operators as we like. Therefore we can write
the RHS as:
lim
T(1i)
0[T
_
0
(x)
0
(y)U(T)U
(x
0
)U(x
0
)U
(y
0
)U(y
0
)U
(T)
_
[0)
= lim
T(1i)
0[T
_
0
(x)
0
(y)U(T)U
(T)
_
[0)
Now
U(T)U
(T) = T
_
e
i
R
T
0
dt
H
I
(t
)
_
T
_
e
i
R
T
0
dt
H
I
(t
)
_
= T
_
e
i
R
T
T
dt
H
I
(t
)
_
So, after restoring the normalisation, we have nally arrived at a result of great importance:
[T ((x)(y)) [)
[)
= lim
T(1i)
0[T
_
0
(x)
0
(y)e
R
T
T
dt
H
I
(t
)
_
[0)
0[T
_
e
R
T
T
dt
H
I
(t
)
_
[0)
It is easy to convince oneself that this result generalises to a product of any number of elds.
1.10 Wicks theorem
Having deriving the general result:
[T ((x
1
) (x
n
)) [)
[)
= lim
T(1i)
0[T
_
0
(x
1
)
0
(x
n
)e
i
R
T
T
H
I
dt
_
[0)
0[e
i
R
T
T
H
I
dt
[0)
26
we now need some rules to manipulate the RHS. This is made up entirely out of free elds.
Therefore we essentially need a rule to compute:
0[T (
0
(x
1
)
0
(x
m
)) [0)
for all possible m, in free eld theory.
In deriving these rules we temporarily go back to free eld theory and drop the 0 index
on . The rule we are trying to derive is called Wicks theorem.
Let us now dene the concept of normal ordering. This puts creation operators to the
left and annihilation operators to the right. In terms of
. The key property of normal ordered products is that their vacuum expectation value
vanishes.
Wicks theorem is a relation between time ordering and normal ordering. We now derive it
for a few special cases and then state the general result without proof.
We start by considering the timeordered product of two elds:
T ((x
1
)(x
2
)) = (t
1
t
2
)(x
1
)(x
2
) + (t
2
t
1
)(x
2
)(x
1
)
= (t
1
t
2
)
_
+
(x
1
)
+
(x
2
) +
+
(x
1
)
(x
2
) +
(x
1
)
+
(x
2
) +
(x
1
)
(x
2
)
_
+ (t
2
t
1
)
_
+
(x
2
)
+
(x
1
) +
+
(x
2
)
(x
1
) +
(x
2
)
+
(x
1
) +
(x
2
)
(x
1
)
_
=
+
(x
1
)
+
(x
2
) +
(x
1
)
(x
2
)
+ (t
1
t
2
)
_
+
(x
1
)
(x
2
) +
(x
1
)
+
(x
2
)
_
+ (t
2
t
1
)
_
+
(x
2
)
(x
1
) +
(x
2
)
+
(x
1
)
_
On the other hand, the normal ordered product of the two elds is:
: (x
1
) (x
2
): =
+
(x
1
)
+
(x
2
) +
(x
1
)
+
(x
2
) +
(x
2
)
+
(x
1
) +
(x
1
)
(x
2
)
Thus:
T((x
1
)(x
2
)) : (x
1
)(x
2
): = (t
1
t
2
)(
+
(x
1
)
(x
2
) +
(x
1
)
+
(x
2
))
+ (t
2
t
1
)(
+
(x
2
)
(x
1
) +
(x
2
)
+
(x
1
))
((t
1
t
2
) + (t
2
t
1
))[
(x
1
)
+
(x
2
) +
(x
2
)
+
(x
1
)]
= (t
1
t
2
)[
+
(x
1
),
(x
2
)] + (t
2
t
1
)[
+
(x
2
),
(x
1
)]
= 0[T((x
1
)(x
2
))[0)
27
where the last equality was shown when we discussed the Feynman propagator.
Thus we have shown that:
T((x
1
)(x
2
)) = : (x
1
)(x
2
) : +0[T((x
1
)(x
2
))[0)
This is the rst example of Wicks theorem. If we take the vacuum expectation value
on both sides, we get a trivial identity because the vev of the normal ordered term van
ishes. The content of the theorem becomes nontrivial if we look at higher point functions
T((x
1
) (x
n
)), n > 2. Applying the same steps as above to the fourpoint function, and
using the shorthand notation
i
(x
i
), we nd:
T(
1
4
) = :
1
4
:
+ :
1
2
: 0[T(
3
4
)[0)+ :
1
3
: 0[T(
2
4
)[0)+ :
1
4
: 0[T(
2
3
)[0)
+ :
2
3
: 0[T(
1
4
)[0)+ :
2
4
: 0[T(
1
3
)[0)+ :
3
4
: 0[T(
1
2
)[0)
+0[T(
1
2
)[0)0[T(
3
4
)[0) +0[T(
1
3
)[0)0[T(
2
4
)[0)
+0[T(
1
4
)[0)0[T(
2
3
)[0)
This time we get a nontrivial result by taking the vev on both sides:
0[T(
1
4
)[0) = 0[T(
1
2
)[0)0[T(
3
4
)[0) +0[T(
1
3
)[0)0[T(
2
4
)[0)
+ 0[T(
1
4
)[0)0[T(
2
3
)[0)
= D
F
(x
12
)D
F
(x
34
) + D
F
(x
13
)D
F
(x
24
) + D
F
(x
14
)D
F
(x
23
)
where we have introduced the shorthand x
ij
= x
i
x
j
. This reduces the calculation of
fourpoint functions to products of pairs of Feynman propagators in all possible ways.
The above result is easily extended to all evenpoint functions in free eld theory, which
reduce to products of twopoint functions in all possible distinct ways. The total number of
possible twopoint contractions among 2n points is easily seen to be (2n 1)!! = (2n
1)(2n3) . For the 4point function we have 3 independent contractions, as above, while
for the 6point function we would get 15 independent contractions. Odd npoint functions
vanish.
1.11 Interactions via Wicks theorem
Now we turn to the interacting theory. The new feature is that we encounter elds coming
from expanding the exponential of H
I
. Thus, consider for example the leading correction to
the propagator in the theory with H
int
=
4!
_
d
3
x
4
.
28
We nd [T((x
1
)(x
2
))[)
= 0[T((x
1
)(x
2
))[0) i
4!
_
d
4
y 0[T((x
1
)(x
2
)
4
(y))[0)
The second term is a 6point function, which we certainly know how to compute using Wicks
theorem. The new feature is that four of the elds are at the same spacetime point, and
there is an integral over all possible locations of that point.
Wicks theorem applied to this 6point function gives:
0[T((x
1
)(x
2
)
4
(y))[0) = 3 D
F
(x
1
x
2
) D
F
(y y) D
F
(y y)
+ 12 D
F
(x
1
y) D
F
(x
2
y) D
F
(y y)
Diagrammatically we can represent this by:
In this diagram the points x
1
and x
2
are labelled by 1 and 2. Each line represents a
Feynman propagator from the starting point to the endpoint of the line. Since we are work
ing to rst order in the interaction, the rst term in the expansion of e
i
R
H
I
is represented
by a single fourpoint vertex. In general the number of fourpoint vertices in the diagram
counts the order of perturbation theory. Such diagrams with vertices and lines, depicting
the possible terms arising from Wick contraction in perturbation theory, are called Feynman
diagrams.
We see a variety of potential problems with this result. For the second term, corresponding
to the connected diagram, we get a factor of D
F
(y y) = D
F
(0). Now,
D
F
(0) =
_
d
4
p
i
p
2
m
2
which is divergent. The divergence comes from the region of large [ p[, so it is an ultraviolet
divergence.
29
However, in the rst term, which diagrammatically corresponds to a loop disconnected from
the freely propagating particle, the integrand is yindependent! This integral therefore ap
pears to give a divergence proportional to the volume of spacetime. This is multiplied by a
factor (D
F
(0))
2
which as we have seen above is also divergent.
In general we should always imagine cutting o ultraviolet divergences using a large momen
tum cuto, [ p[ < . This is called a UV cuto. For the volume divergence we can put the
system in a nite box in spacetime, which is called an IR cuto. The problem is then how
to remove the cutos. We will return to this later.
Fortunately we can easily dispose of the problem of disconnected diagrams. The gure of
8 diagram above seems rather unphysical, after all: a virtual interaction takes place at an
arbitrary point y while the external particle propagates freely from x
1
to x
2
. In fact, this
term is cancelled by a similar term coming from the denominator, where we have to expand:
0[T(e
i
R
H
I
)[0) = 1 3
i
4!
_
d
4
y D
F
(y y)D
F
(y y) +
Thus we have, to order ,
[T((x)(y))[)
[)
=
D
F
(x
1
x
2
)(1 3
i
4!
_
d
4
y D
F
(0)
2
) 12
i
4!
_
d
4
y D
F
(0)D
F
(x
1
y)D
F
(x
2
y) +
1 3
i
4!
_
d
4
y D
F
(0)
2
+
= D
F
(x
1
x
2
)
_
1 3
i
4!
_
d
4
y D
F
(0)
2
_ _
1 + 3
i
4!
_
d
4
y D
F
(0)
2
_
12
i
4!
_
d
4
y D
F
(x
1
y) D
F
(x
2
y) D
F
(0) +O(
2
)
Since we are working to order , we see that:
_
1 3
i
4!
_
d
4
y D
F
(0)
2
_ _
1 + 3
i
4!
_
d
4
y D
F
(0)
2
_
= 1 +O(
2
)
and the disconnected part has cancelled! This is an example of a general phenomenon. All
disconnected diagrams can be shown to be cancelled by denominator contributions. More
over this uses up all denominator contributions, so we can consistently ignore disconnected
diagrams as well as denominators.
Therefore, to calculate any correlation function:
0[T ((x
1
)(x
2
) (x
n
)) [0)
we only need to keep connected diagrams, by which we mean all parts of the diagram are
connected to at least one of the external legs x
1
, x
2
, , x
n
(there is another meaning of
30
connected in which the diagram is required to have all points connected to each other.
This may arise in later discussions).
As an example, the connected diagrams for the fourpoint function:
0[T ((x
1
)(x
2
)(x
3
)(x
4
)) [0)
are given to order by:
1.12 Momentum space
Feynman diagrams are shorthand symbols for numbers depending on external positions as
well as the coupling constant and mass m. But in practice we rarely produce particles
at xed positions. Instead they are produced at xed momenta so that they can scatter.
Therefore it is more appropriate to consider the Fourier transform of the position space n
point function that we have studied up to now. In fact we will see that momentum space is
more natural and simpler than position space.
We have seen that some diagrams give divergent answers. Among other things we will show
in what follows, using momentum space, that only diagrams with closed loops can have UV
divergences.
Dene:
D
F
(k) =
i
k
2
m
2
+ i
31
which is the Fourier transform of the Feynman propagator by virtue of the relation:
D
F
(x y) =
_
d
4
k
(2)
4
D
F
(k)e
ik(xy)
Now consider the diagram:
This can be evaluated as:
i
_
d
4
yD
F
(x
1
y)D
F
(x
2
y)D
F
(x
3
y)D
F
(x
4
y)
= i
_
d
4
y
4
i=1
__
d
4
k
i
(2)
4
1
(k
2
i
m
2
+ i)
_
e
i
P
i
k
i
(x
i
y)
The integral over y is:
_
d
4
y e
iy
P
i
k
i
= (2)
4
4
_
i
k
i
_
Thus the above expression is equal to:
i
_
4
i=1
_
d
4
k
i
(2)
4
1
(k
2
i
m
2
+ i)
_
(2)
4
i
k
i
_
e
i
P
i
k
i
x
i
Thus the contribution of this diagram to G(x
1
, , x
4
) = [T((x
1
) (x
4
))[) is:
_
i
d
4
k
i
(2)
4
e
i
P
k
i
x
i
(2)
4
i
k
i
_
G(k
1
, , k
4
)
where:
G(k
1
, , k
4
) = i
4
i=1
1
k
2
i
m
2
+ i
We refer to
G(k
1
, , k
4
) as the momentum space correlation function although it is not
G(k
1
, , k
4
) but rather (2)
4
(k
i
)
G(k
1
, , k
4
) that is the Fourier transform of G(x
1
x
4
).
An overall momentumconserving deltafunction occurs automatically for every Feynman di
agram.
32
In fact, the above diagram could occur as part of a Feynman diagram, so we actually nd a
momentumconserving function at each vertex of a Feynman diagram.
Now, apart from the combinatoric factors (which are the same as in position space) we can
describe momentumspace Feynman diagrams by giving each leg an independent momentum,
then assigning a propagator
D
F
(k) =
1
k
2
m
2
+ i
to each line, putting in a momentumconserving function at each vertex and then inte
grating over each momentum except the ones directly connected to external points. All
momenta should have arrows describing their orientation. The arrows are arbitrary but
must be assigned once and for all at the start. The signs of the momenta appearing in
momentumconserving functions will be determined by these arrows.
Example: Consider a particular oneloop correction to the fourpoint function:
We must integrate over k
5
, k
6
as these are not any of the external momenta. Now we have
the functions:
4
(k
1
+ k
3
+ k
5
k
6
)
4
(k
2
+ k
4
+ k
6
k
5
)
A function contributes only when its argument vanishes, so we can substitute the vanishing
of the argument of the second function into the rst function, to get:
=
4
(k
1
+ k
2
+ k
3
+ k
4
)
4
(k
2
+ k
4
+ k
6
k
5
)
As expected, there is the overall function that conserves external momenta. The other one
xes, say, k
6
in terms of k
5
and external momenta, so we can write k
6
= k
5
k
2
k
4
and
forget the d
4
k
6
integration. That leaves only an integral over k
5
.
In this way it is easy to see that there is one momentum integral for every closed loop.
The physical interpretation is that there is a virtual particle circulating in the loop. This
particle does not need to satisfy k
2
= m
2
, nor does it need to have a positive value for k
0
.
However, external momenta should satisfy k
2
= m
2
and this property is referred to as being
onshell. Internal momenta such as loop momenta, by contrast, are oshell.
33
A puzzle here is that if the external momenta k
1
, , k
4
are placed onshell then the external
propagators all diverge. Therefore temporarily we will allow even external momenta to be
oshell. Keeping the external legs of correlation functions oshell can be very useful to
develop recursive formulae among them. When we connect the npoint function to physically
measured quantities, specically the scattering matrix or Smatrix, we will show that external
propagators should be dropped and then the external momenta put onshell.
Returning to the diagram we drew above, the corresponding loop integral is:
_
d
4
k
(2)
4
i
k
2
m
2
i
(k k
2
k
2
)
2
m
2
We see that as k , the numerator and denominator both scale like [k[
4
. Thus the
integral is logarithmically divergent in the ultraviolet. We will discuss how to deal with such
divergent integrals at a later stage.
34
2 Vector elds
2.1 Denition of vector eld
A Lorentz transformation acts on spacetime coordinates as:
x
(x
) =
(x)
Such a eld would be called a vector eld rather than a scalar eld. If we lower the index of
this eld via:
A
(x)
(x)
then we nd that it transforms as:
A
(x
(x
) =
(x) =
(x) = (
1 T
)
(x)
where we have used the result:
= (
1 T
)
(x
) = (
1 T
)
(x)
However our main interest is to consider vector elds A
35
whose equation of motion is:
= 0
In this case, A
=
L
=
A
(t, x),
(t, x
)] = i
3
(x x
)
This in turn means that
[A
(t, x),
A
(t, x
)] = i
3
(x x
)
which leads to oscillators a
k
, a
k
satisfying
[a
k
, a
] = (2)
3
3
(
)
This means
[a
0,
k
, a
0,
] = (2)
3
3
(
)
while
[a
i,
k
, a
j,
] =
ij
(2)
3
3
(
)
Thus three of the four oscillators seem to have an unconventional sign in their commutator!
We would be better o taking a sign in the original canonical commutator. This can be
achieved by ipping the Lagrangian to
L =
1
2
=
1
2
A
0
A
0
+
1
2
A
i
A
i
Now
=
A
and
[A
(x),
A
(x
)] = i
3
(x x
)
which in turn means that
[a
,
k
, a
] =
(2)
3
3
(
)
36
Now the spacelike oscillators have the correct sign, however for the timelike oscillator we
nd:
[a
0,
k
, a
0,
] = (2)
3
3
(
)
An oscillator with a minus sign in its commutator is very badly behaved. To see this, consider
the state:
a
0,
k
[0)
Its norm is given by
0[a
0,
k
a
0,
[0) = 0[[a
0,
k
, a
0,
][0) = (2)
3
3
(
)
which means that this is a negative norm state. This leads to negative probabilities and a
physically meaningless theory.
We conclude that the Lagrangian above is wrong. In the process, we see that copying the
KleinGordon Lagrangian for a eld with vector indices simply cannot work. The reason is
that a Lorentz covariant commutation relation inevitably involves
) = 0
which can be more compactly written:
= 0 where F
Notice that F
= F
.
The above equations of motion come from the Lagrangian:
L =
1
4
(
)(
)
=
1
2
+
1
2
=
1
4
F
(1)
In the second line, the rst term is what we had tried without success but now there is a
second term with a dierent arrangement of indices. Does this Lagrangian manage to avoid
the problem of negative norm states?
Right away we see an encouraging sign that the problem of negativenorm states might be
absent. When we compute canonical momenta, we nd:
=
L
= F
0
37
By antisymmetry F
00
= 0, so we have
0
= 0. Thus the potentially troublesome commutator
is absent. In fact there is no canonical commutation relation for A
0
! It turns out that, for
this reason, A
0
is not a dynamical variable at all.
To understand the source of this unusual property, we note that the Lagrangian of electro
dynamics is unchanged under the transformation:
A
(x)
for an arbitrary function (x). This is called a gauge transformation. To demonstrate the
invariance, simply note that under the transformation,
F
= F
so F
(x) +
, A
are physically
equivalent. This means that the theory has less physical content than it originally seems. In
fact we can simplify it down to its physical degrees of freedom, but at the cost of manifest
Lorentz invariance.
Gauge invariance seems like a complicated and undesirable feature because it introduces a
redundancy in the eld congurations. However it is necessary in order to reconcile Lorentz
invariance with unitarity (the fact that all physical states have positive norm). Note that
with gauge invariance, there is no longer the possibility of adding a mass term m
2
A
to
this theory. Such a term would violate gauge invariance and ultimately bring back negative
norm states.
As a matter of terminology, we remark that vector elds with gauge invariance are often
referred to as gauge elds. The simple type of gauge invariance discussed here, where A
is a single eld and (x) is a single function, has the property that the gauge transforma
tions commute with each other. Indeed, under two successive gauge transformations with
parameters
1
(x),
2
(x), we have:
A
(A
1
) +
2
= (A
2
) +
1
Therefore it is referred to as Abelian gauge invariance. Later we will discuss a generali
sation called nonAbelian gauge invariance in which two dierent gauge transformations
will not commute with each other. Both types of gauge invariance are relevant in nature.
38
2.3 Coulomb gauge
We now discuss ways to x the gauge invariance. In this way the physical content of the
theory gets revealed. We start by choosing a gauge called Coulomb gauge. For this, given
any conguration A
, x) dt
i
F
0i
= 0
Since we have set A
0
= 0, this implies
0
(
i
A
i
) = 0
so we see that the spatial divergence of A
i
is time independent.
If instead we set = j in the equation of motion, we nd:
0
F
0j
+
i
F
ij
= 0
and therefore:
0
A
j
+
i
(
i
A
j
j
A
i
) = 0
Without the last term, this equation is quite simple, namely a KleinGordon equation for
the three oscillators A
i
. To remove the last term we notice that:
i
A
i
i
A
i
+
i
39
Therefore if we choose (x) to solve the Poisson equation
i
=
j
A
j
then making a gauge transformation with this , we nd:
i
A
i
i
A
i
+
i
i
= 0
Importantly, once we have set
i
A
i
= 0 in this way, the A
0
equation of motion
0
(
i
A
i
) = 0
guarantees that
i
A
i
remains 0 for all time.
Now the equations of motion simplify to:
A
j
= 0
with the constraint
j
A
j
= 0.
The free vector eld theory no longer looks like four copies of the KleinGordon eld, but
like three copies with one constraint. Since we eliminated A
0
using gauge transformations,
it is clear that there are no negative norm states. The remaining elds A
i
can be canonically
quantised in terms of oscillators, all of which have positive norm.
The constraint reduces the physical Hilbert space built out of the oscillators to that generated
by only two independent oscillators.
The spin of the particle associated to a vector eld A
)
2
=
1
2
(
A
0
)
2
+
1
2
A
i
A
i
40
So A
i
behave like three massless KleinGordon elds. But in this gauge there is also A
0
to
worry about. In fact, now it has a canonical momentum! We see that:
0
=
L
A
0
=
A
0
We will treat this eld along with the three others as a valid dynamical variable even though
it gives negativenorm states. At the end, the constraint
= 0
As usual, we must check what residual gauge invariance is present after xing
= 0.
Sending A
(k)
A
(k) + k
(k)
where
is any function of k, subject to the condition that k
satisfying k
(k) 0
(ii) a redundancy:
A
(k)
A
(k) + k
(k)
where the symbol means the congurations
A
(k) and
A
(k) + k
(x, t) =
_
d
3
k
(2)
3
1
_
2
k
_
a
,
k
e
ikx
+ a
k
e
ikx
_
Imagine that a
,
k
, a
k
are quantised as usual. Now consider the four states a
k
[0) and take
the most general linear combination:
k
[0)
The gauge conditions are:
k
k
[0) 0
a
k
[0) a
k
[0) + k
k
[0)
41
where
k
is a mode of .
Now choose a Lorentz frame in which k
0,
k
[0) a
3,
k
[0)
where again means we identify the two states.
The second gives:
= 0
0
+
3
= 0
Therefore the states we are considering become
0
a
0,
k
[0) +
1
a
1,
k
[0) +
2
a
2,
k
[0) +
3
a
3,
k
[0) =
0
_
a
0,
k
[0) a
3,
k
[0)
_
+
1
a
1,
k
[0) +
2
a
2,
k
[0)
1
a
1,
k
[0) +
2
a
2,
k
[0)
since a
0,
k
[0) a
3,
k
[0) 0.
This leaves behind the two linearly independent states
a
1,
k
[0), a
2,
k
[0)
describing a transverse photon.
The new thing is that the gauge condition did not break Lorentz invariance. Only in im
plementing it did we choose a Lorentz frame for k
to complex scalars ,
m
2
6
(
)
2
The corresponding equations of motion are:
+ m
2
+
3
2
= 0
+ m
2
+
3
2
= 0
42
Notice that this Lagrangian is invariant under
(x) e
i
(x)
(x) e
i
(x)
but only as long as is constant. The innitesimal version of the above transformation,
assuming to be small and keeping only the lowest order term, can be written:
(x) = i(x),
(x) = i
(x)
Transformations with constant parameters are called global symmetries.
Related to the above fact, this theory has a current that is conserved due to the equations of
motion. A current is simply any 4vector made out of elds and their derivatives. Conserved
currents are associated to symmetries of the Lagrangian. The relevant current here turns
out to be
2
:
j
= i (
)
To show that it is conserved, we compute its 4divergence:
= i (
)
= i
_
m
2
2
+ m
2
+
3
2
_
= 0
To this current is associated a conserved charge:
Q =
_
d
3
xj
0
= i
_
d
3
x(
)
We now show that this charge treated as an operator (and multiplied by the parameter )
generates the same symmetry transformation via the canonical commutation relations. One
may think of e
iQ
as the generator of the symmetry transformation in much the same way
as e
iHt
generates time translations in quantum mechanics. Then the transformation of a
eld under a nite symmetry transformation is:
(x) e
iQ
(x) e
iQ
,
(x) e
iQ
(x)e
iQ
,
The innitesimal version of this is the change of to rst order in , which is easily seen to
be:
(x) = i[Q, (x)] = i(x)
(x) = i[Q,
(x)] = i
(x)
2
It can be derived using the Noether procedure.
43
where we have used:
[
(t, x),
(t, y)] = [(t, x),
(t, y)] = i
3
(x y)
If we allow to depend on x, which makes it a local transformation, the kinetic term in the
Lagrangian changes as follows:
(e
i
(e
i
)
=
+ i
Thus by itself the scalar eld theory is not invariant under local transformations.
However we can now couple a gauge eld A
ieA
)
in the action, where e is an arbitrary constant which will turn out to be a coupling constant
of the theory. Then, under a gauge transformation that simultaneously acts as:
(x) e
i(x)
(x)
(x) e
i(x)
(x)
A
(x) A
(x) +
1
e
(x)
one can easily check that:
(
ieA
) e
i(x)
(
ieA
)
The generalised kinetic term:
(
+ ieA
ieA
)
is then gauge invariant, as are the potential terms that depend only on the scalar eld.
After adding a kinetic term for the gauge eld, the full theory with Lagrangian:
L = (
+ ieA
ieA
) m
2
6
(
)
2
1
4
F
44
2.6 Feynman rules for scalar electrodynamics
We close this discussion by providing a summary of the Feynman rules for calculating cor
relation functions in scalar electrodynamics. For this we need to separate the Lagrangian
into the free part which is treated exactly, and the interacting part which is treated in
perturbation theory. The free part consists of terms quadratic in the elds:
L
0
=
m
2
1
4
F
) + e
2
A
6
(
)
2
Now the free part gives rise to Feynman propagators for the dierent elds ,
, A
. We
have:
0[T (
(x)(y)) [0) = D
F
(x y)
which is similar to what we saw for real KleinGordon elds, except that for complex elds
the propagator connects to
.
For the A
propagator things are more subtle because we must rst x the gauge. The
easiest gauge for this purpose is Lorentz gauge, for which as we have seen, we should replace
the gauge eld kinetic term by:
(x)A
(y)) [0) =
D
F
(x y)
m=0
When we draw Feynman diagrams we need to be careful with two points. One is that the
propagator for the scalar eld comes with an arrow depicting the direction of charge ow.
The other is that the gauge eld propagator needs a dierent symbol so we depict it with a
wavy line.
For the interaction Hamiltonian, we have:
H
int
= L
int
= ieA
) e
2
A
+
6
(
)
2
We notice that scalar electrodynamics has two coupling constants, e and . There is a
familiar quartic selfcoupling of with coecient proportional to , as well as a new quartic
45
coupling A
e
2
6
Scalar electrodynamics describes the physics of an electrically charged spinless particle (and
its antiparticle) coupled to a photon. Since most particles in nature are spin
1
2
fermions, we
will now move on to describe fermions and study electrodynamics further in that context.
46
3 Fermions
3.1 Lorentz algebra and Cliord algebra
Lorentz transformations are a set of three rotations (in the xy, yz and zx planes) and three
boosts (with respect to x, y and z). Just as rotations are implemented by three genera
tors J
x
, J
y
, J
z
, the Lorentz transformations can be implemented by means of six generators
labelled M
1
=
_
0 1
1 0
_
,
2
=
_
0 i
i 0
_
,
3
=
_
1 0
0 1
_
In the relativistic theory there must be an algebra of commutation relations among all the
M
which includes the rotation algebra but also species the commutators of boosts with
rotations and boosts with boosts. These commutation relations dene the Lorentz algebra
and look as follows:
[M
, M
] =
_
_
As a simple exercise one can check that if we label M
12
= J
z
and cyclic, then the above
commutator implies:
[J
x
, J
y
] = J
z
47
Just as J
x
, J
y
, J
z
are abstract rotation operators that are realised on spin
1
2
elds through
Pauli matrices (and on spin1 elds in a dierent way), the Lorentz generators M
can also
be thought of as abstract operators which are realised in dierent ways on dierent elds.
These dierent ways are called representations. The general action is given, in terms of
the matrix m
Here
are the parameters of the transformation, which specify the amount of rotation
and boost. This is analogous to the generators of time translations or gauge transformations
being exp(iHt), exp(iQ) respectively.
We are already familiar with one representation of the M
One can check that these satisfy the commutation relations of the Lorentz algebra. Because
each V
has a pair of vector indices, it acts on vector elds. The transformation is:
A
(x
) =
_
e
1
2
V
_
(x) =
_
e
_
(x)
Now we have the identity:
e
_
e
_
T
=
which is precisely the dening relation of the usual Lorentz transformation matrix . There
fore we can write:
=
_
e
_
(x
) =
(x)
We have seen that a vector eld carries 1 unit of spin. By allowing multiple spacetime
indices, we can nd more general elds called tensor elds that transform in more complicated
representations of the Lorentz algebra. Being built out of the vector representation, these
are associated to particles of various dierent integer spins.
However, experimentally it was determined long ago that the spin of an electron is
1
2
in units
of . Therefore electrons, and more generally fermions, cannot be described by scalar, vector
or tensor elds. Are there any elds that carry spin
1
2
and if so, how do they transform under
Lorentz transformations?
48
It turns out that mathematically there is an additional class of representations of the Lorentz
group, called spinor representations. These arise from the following theorem. Consider the
following algebra that is quite distinct from the Lorentz algebra:
= 2
that
satisfy:
(
)
ab
(
)
bc
+ (
)
ab
(
)
bc
= 2
ac
or for short,
= 2
=
1
4
[
]
Using the fact that
satisfy the
Lorentz algebra:
[S
, S
] = [
]
The Cliord algebra is simpler than it looks. It simply says:
if ,=
(
)
2
= +1 = 0
= 1 = 1, 2, 3.
Also, we have S
=
1
2
From what we discussed above, a relativistic eld that transforms in the spinor representation
of the Lorentz algebra will take the form
a
with the transformation law being:
a
(x
) =
_
e
1
2
_
ab
b
To determine the range of values of a, b, called spinor indices, we need to determine the
dimension of the matrices. For this, note rst that the Pauli matrices
i
themselves
49
satisfy a Cliord algebra, but only with respect to space directions (hence we have
ij
rather
than
on the RHS):
i
,
j
= 2
ij
Our strategy will be to construct matrices using tensor products of the Pauli matrices.
As an example consider
1
2
:
2
=
_
0 i
1
i
1
0
_
=
_
_
_
_
0 0 0 i
0 0 i 0
0 i 0 0
i 0 0 0
_
_
_
_
Tensor products satisfy the multiplication rule:
(AB)(C D) = AC BD
From this it is easy to see that the four 4 4 matrices:
2
11
all mutually anticommute and all of them square to 1.
To make a set of matrices that obey the Cliord algebra, we simply need to multiply three
of them by i, for example:
0
=
1
1
= i
1
2
= i
1
3
= i
2
11
There are two important representations that we will discuss later on. All the representations
of interest to us are 4 4, which is the minimum allowed value. Therefore the elds that
transform under them will be 4component elds.
The full matrix algebra is made up of the identity matrix 11 and all
as well as their
products. There are altogether 16 independent matrices. A particularly useful matrix in this
set is:
5
i
0
3
50
where the coecient i has been introduced so that:
5
=
5
, (
5
)
2
= 1
The important identity:
5
is easy to derive. In the representation listed above, we nd that:
5
=
3
11
and can see explicitly that it veries the above identities.
In terms of the above matrices, the matrix algebra consists of the 16 matrices:
11,
,
5
,
5
, S
=
1
4
[
].
It is easy to see that all other combinations of the matrices are linearly dependent on the
ones listed above. For example
5
S
can be
reexpressed in terms of
5
etc.
3.2 Spinor elds and Dirac equation
With the above results, we now dene a spinor eld
a
(x), a = 1, 2, 3, 4, as a eld that
transforms as:
a
(x
) =
_
e
1
2
_
ab
b
under Lorentz transformations.
To write a eld equation, we need to ask ourselves what could be the possible building blocks
of the equation. For a free eld, the equation will be linear in the eld
a
. As before we
may then guess that each component of a spinor should satisfy a KleinGordon equation (of
secondorder in derivatives).
However there is a new possibility with spinors and it turns out that nature makes use of it.
This possibility arises because the dierential operator:
ab
when acting on a spinor, gives another quantity that also transforms as a spinor. In other
words, under
e
1
2
51
one can show that:
e
1
2
We will prove this below. Assuming it to be true for a moment, we see that the equation:
= 0
is a Lorentzcovariant equation. We can easily generalise the equation by adding a mass
term:
(i
m) = 0
This clearly retains Lorentz covariance, and is called the free (massive) Dirac equation. A
commonly used terminology is to represent:
/
One should remember that / is not only a dierential operator but also a matrix in spinor
space.
To prove the above result, note that
_
_
e
1
2
__
e
1
2
_
Equating this to the desired result:
e
1
2
1
2
V
_
_
e
1
2
_
ac
_
e
1
2
_
db
cd
=
ab
Such an identity indeed holds. It is easy to check it at the level of innitesimal transforma
tions, for which we have:
LHS =
_
1
2
(V
)
_ _
ac
1
2
ac
_
_
db
+
1
2
db
_
cd
=
ab
1
2
(V
)
ab
1
2
ac
cb
+
1
2
db
ad
So the last three terms should add up to zero for any arbitrary , in other words:
(V
ab
+ S
ac
cb
S
db
ad
= 0
52
This identity can be written in matrix notation as:
[
, S
] = (V
)
m) and nd:
(i
m)(i
m) = (
+m
2
) = (
1
2
+m
2
) = (
+m
2
) = 0
Therefore if satises the Dirac equation then each component of it also satises the Klein
Gordon equation! However the reverse is not necessarily true: every solution of the Klein
Gordon equation need not be a solution of the Dirac equation. In fact unlike the Klein
Gordon equation, the Dirac equation relates dierent components of the fourcomponent
spinor
a
to each other.
Since i
m)
ab
b
with another fermion
a
.
However
a
a
is not a Lorentz scalar. It is equal to:
a
_
e
1
2
_
ab
b
_
e
1
2
_
ac
c
The rst term in brackets is the transpose of the second, so it would only cancel the second
term in brackets if we had S
T
= S
. In fact,
(S
=
_
1
4
[
]
_
=
1
4
[
]
=
1
4
[
]
We already know that
0
=
0
while
i
=
i
, which implies that S
,= S.
53
This suggests that the operation that reverses S should combine Hermitian conjugation with
something that treats
0
dierently from the other matrices. This operation, called bar,
is dened by :
a
a
0
ba
The corresponding operation on matrices is:
0
One easily shows that
0
S
0
= S
a
is Lorentz invariant.
Thus the general rule is that we always multiply a spinor by a barred spinor from the left in
order to get a Lorentz invariant. Thus it is clear that the Dirac action should be:
L =
(i
m)
which is a good Lorentz scalar. Since a lot of indices are implicit, just for once we write the
above expression explicitly:
L =
0
ab
(i
bc
m
bc
)
c
Since is complex, in nding the equations of motion we can vary ,
independently, to
get:
0
(i
m) = 0 (i
m) = 0
(i
m) = 0
We can also exhibit the canonical momenta following from the Dirac equation:
a
=
L
a
= i(
0
)
a
= i
a
54
3.4 Weyl basis
An alternate basis of the matrices gives us some useful physical information about the
nature of fermions.
0
= 11
1
=
_
0 11
11 0
_
1
= i
1
2
=
_
0
1
1
0
_
2
= i
2
2
=
_
0
2
2
0
_
3
= i
3
2
=
_
0
3
3
0
_
Again we can check explicitly, using the Pauli matrix algebra, that the above matrices form
a representation of the Cliord algebra. This is called the Weyl representation.
A key feature of the Weyl representation is that the matrix
5
is diagonal:
5
= i(i)
3
2
= i11 i
3
= 11
3
=
_
11 0
0 11
_
In this representation we also have the following properties for the Lorentz generators S
:
S
0i
=
1
2
i
=
1
2
(11
1
)(i
i
2
) =
1
2
3
=
1
2
_
i
0
0
i
_
Similarly, when i ,= j we have:
S
ij
=
1
2
j
=
1
2
(i
i
2
)(i
j
2
) =
1
2
ijk
k
11 =
i
2
ijk
_
k
0
0
k
_
We see that in the Weyl representation the Lorentz generators S
R
_
where each of
L
,
R
is a 2component spinor. We see that:
5
_
R
_
=
_
R
_
55
The upper part
L
, corresponding to the negative eigenvalue of
5
, is called a lefthanded
spinor, while the lower part corresponding to the positive eigenvalue of
5
is called right
handed.
Now consider the action of a Lorentz transformation on a spinor:
a
_
e
1
2
_
ab
b
Using the form of S
=
0i
S
0i
+
1
2
ij
S
ij
=
0i
2
_
i
0
0
i
_
i
4
ijk
ij
_
k
0
0
k
_
=
1
2
_
_
0i
i
+
i
2
ijk
ij
k
0
0
0i
i
+
i
2
ijk
ij
k
_
_
Let
k
=
1
2
ijk
ij
. These are the rotation parameters around the kaxis (k = 1, 2, 3). Similarly
0i
=
i
are the boost parameters along i = 1, 2, 3.
Recalling the denitions of the twocomponent spinors
L
,
R
, we nd that under Lorentz
transformations:
L
_
1
i
i
2
i
i
i
2
_
L
and
R
_
1 +
i
i
2
i
i
i
2
_
R
We learn the important fact that
L
,
R
transform the some way under rotations, but op
positely under boosts.
In the Weyl representation, the LHS of the Dirac equation is:
(i
m) =
_
m i(
0
+
i
i
)
i(
0
i
) m
__
R
_
So the Dirac equation becomes:
i(
0
+
i
i
)
R
m
L
= 0
i(
0
i
)
L
m
R
= 0
Dening:
= (1,
i
),
= (1,
i
)
56
the Dirac equation reduces to:
i
R
m
L
= 0
i
L
m
R
= 0
Note that when m = 0, the two equations decouple. This is an extremely important property.
The lefthanded and righthanded Weyl spinors are in fact parity conjugates of each other.
In the massless limit we see that the two types of spinors do not mix. It is therefore possible
to assign dierent quantum numbers (generalised charges) to left and righthanded spinors,
leading to a parityviolating theory. This is implemented in the Standard Model.
3.5 Majorana basis
One more interesting basis for the matrices is:
0
=
1
1
= i
1
2
= i
1
3
= i
3
11
Note that here, all
are pure imaginary. This is called the Majorana basis. The benet of
purely imaginary matrices is that the Dirac equation becomes a real equation. Therefore
we can consider real spinors if we like. Such spinors, which are real in the Majorana basis,
are called Majorana spinors.
In particle physics, real elds represent particles which are their own antiparticles. In this
sense a Majorana spinor is analogous to a real scalar eld. Though no examples are known
with certainty in nature, it is thought that (some) neutrinos might be Majorana particles.
Note that in this representation,
5
= i
0
3
=
2
11
which is also imaginary. Since we know that
0
is Hermitian as well as pure imaginary, it
must also be antisymmetric. This is easy to check.
The existence of the Majorana basis highlights a problem with classical spinors. The mass
term in the Dirac Lagrangian is:
m = m
a
(
0
)
ab
b
57
Since
0
is antisymmetric, this suggests that the mass term vanishes!
By the same argument one can also show that the kinetic term would be a total derivative.
Since
0
)
ab
b
=
1
2
a
(
0
)
ab
b
_
If this were correct there would be no Lagrangian for Majorana spinors at all!
However these statements are incorrect. Instead, we learn a fundamental fact: that classical
spinor elds should anticommute with each other instead of commuting:
b
=
b
a
Then the mass term is nonzero and the kinetic term also is nontrivial.
Because the spinors classically anticommute, the quantum mechanical treatment of them
will impose canonical anticommutators rather than commutators, as we will see.
3.6 Freeparticle solutions of Dirac equation
We have seen that solutions of wave equations are generically of the form e
ikx
. However
now our elds are spinors, so this factor can only be a building block and must be multiplied
by some (possibly kdependent) spinor. Hence we take:
a
(x) = u
a
(k)e
ikx
where k
2
= m
2
.
This certainly solves the positionspace KleinGordon equation. However it does not neces
sarily solve the Dirac equation. Acting on the above by i
, so
the Dirac equation imposes the constraint on u
a
(k) that:
(
m)u(k) = 0
We assume the mass m is nonzero (we can treat the massless case later by taking the limit
m 0). In this case we can boost to the rest frame of the particle: k
= (m,
0). In this
frame the Dirac equation becomes:
(m
0
m)u(k) = 0
or equivalently:
(1
0
)u(k) = 0.
58
To nd zero eigenvectors of (1
0
), we go to the Weyl representation where:
0
=
_
0 11
11 0
_
Then,
1
0
=
_
11 11
11 11
_
=
_
_
_
_
1 0 1 0
0 1 0 1
1 0 1 0
0 1 0 1
_
_
_
_
This has two zero eigenvectors:
_
_
_
_
1
0
1
0
_
_
_
_
and
_
_
_
_
0
1
0
1
_
_
_
_
Thus the most general zero eigenvector is:
a
_
_
_
_
1
0
1
0
_
_
_
_
+ b
_
_
_
_
0
1
0
1
_
_
_
_
=
_
_
_
_
a
b
a
b
_
_
_
_
=
_
_
where a, b CI and is an arbitrary twocomponent spinor. We see that any spinor u(k)
with equal left and righthanded components solves the Dirac equation.
We choose to normalise the solution as follows:
u(k) =
m
_
_
,
= 1
As a result, one can easily show that uu = u
0
u = 2m.
Note that after applying Dirac equation, a spinor has only 2 independent (complex) degrees
of freedom. These will later be identied with the spin up and spin down modes of a fermionic
particle.
It is a straightforward exercise to show that if we go away from the rest frame to a frame
where k
= (E, 0, 0, k
3
), the freeparticle solution becomes:
u(k) =
_
_
_
_
_
Explicitly, we have:
_
=
_
E + k
3
1
3
2
+
_
E k
3
1 +
3
2
_
=
_
E + k
3
1 +
3
2
+
_
E k
3
1
3
2
59
Taking a basis for the twocomponent spinor as:
_
1
0
_
,
_
0
1
_
we nd the basis spinors:
u
1
(k) =
_
_
_
_
_
_
_
_
_
_
E k
3
0
E + k
3
0
_
_
_
_
_
_
_
_
_
_
, u
2
(k) =
_
_
_
_
_
_
_
_
_
_
0
E + k
3
0
E k
3
_
_
_
_
_
_
_
_
_
_
Denoting the pair u
1
(k), u
2
(k) as u
s
, s = 1, 2 we nd that u
s
= u
s
0
are given by:
u
1
(k) =
_
_
E + k
3
0
_
E k
3
0
_
u
2
(k) =
_
0
_
E k
3
0
_
E + k
3
_
Therefore:
u
1
(k)u
1
(k) =
_
_
E
2
k
2
3
+
_
E
2
k
2
3
_
= 2m
u
1
(k)u
2
(k) = 0
which can be summarised as:
u
r
(k)u
s
(k) = 2m
rs
Similarly if we look for solutions of the conjugate Dirac equation:
(
+ m)v(k) = 0
of the form:
(k) = v(k)e
ikx
we nd a basis to be:
v
1
(k) =
_
_
_
_
_
_
_
_
_
_
E k
3
0
E + k
3
0
_
_
_
_
_
_
_
_
_
_
, v
2
(k) =
_
_
_
_
_
_
_
_
_
_
0
E + k
3
0
E k
3
_
_
_
_
_
_
_
_
_
_
60
and
v
1
(k) =
_
_
E + k
3
0
_
E k
3
0
_
v
2
(k) =
_
0
_
E k
3
0
_
E + k
3
_
Hence we nd:
v
r
v
s
= 2m
rs
The inner products between us and vs vanish:
u
r
v
s
= v
s
u
s
= 0
We also have a pair of completeness relations:
s=1,2
u
s
a
(k)u
s
b
(k) = (
+ m)
ab
s=1,2
v
s
a
(k)v
s
b
(k) = (
m)
ab
3.7 Quantisation of the Dirac eld
Now that we have the positive and negative frequency freeparticle solutions, we can expand
the spinor eld (x) over them as follows:
a
(x) =
_
d
3
k
(2)
3
1
_
2
k
2
s=1
_
a
s
k
u
s
(k) e
ikx
+ b
s
k
v
s
(k) e
ikx
_
a
(x) =
_
d
3
k
(2)
3
1
_
2
k
2
s=1
_
b
s
k
v
s
(k) e
ikx
+ a
s
k
u
s
(k) e
ikx
_
As we mentioned earlier, spinor elds are quantised via canonical anticommutation relations.
We therefore impose:
a
(t, x),
b
(t, y) = i
ab
3
(x y)
since
a
= i
a
, we get
a
(t, x),
b
(t, y) =
ab
3
(x y)
Note that this relation does not involve derivatives of the elds, and is symmetric between
and
. These features arise because the Dirac equation is rstorder in time. We also have:
a
(t, x),
b
(t, y) =
a
(t, x),
b
(t, y)
61
The above relations imply the following anticommutator brackets for the oscillators:
a
r
k
, a
s
= b
r
k
, b
s
= (2)
3
3
(
)
rs
and, with any choice of momenta and labels,
a, a = b, b = a, b = a, b
= 0.
Now just as we did for scalar elds, we dene the vacuum state by:
a
s
k
[0) = b
s
k
[0) = 0, s = 1, 2
The Hamiltonian is:
H =
_
d
3
x(
a
L) =
_
d
3
x(i
i
+ m
) =
_
d
3
k
(2)
3
2
s=1
k
(a
s
k
a
s
k
+ b
s
k
b
s
k
)
where we have dropped an innite additive constant. The physical interpretation of the
oscillators is as follows. a
s
k
creates a fermion of polarisation s, momentum
k. On the other
hand b
s
k
creates the antiparticle of this fermion, with polarisation s and momentum
k.
We choose a Lorentz invariant norm:
k, r[
, s) = 2
k
(2)
3
3
(
)
rs
which means the particle state [
k
a
s
k
[0). Of course
there will be a similar antiparticle state involving b
.
In a subsequent section we will show that the particles created by the spinor eld have
angular momentum
1
2
in units of . Therefore all quarks and leptons in nature can, at least
at the free level, be described by spinor elds. We will consider interactions later on.
3.8 Dirac propagator
Because fermions are quantised via anticommutators, we must dene timeordering for them
as follows:
T((x) (y)) = (x) (y) if x
0
> y
0
= (y) (x) if x
0
< y
0
With this, we can compute
0[T
_
a
(x)
b
(y)
_
[0)
62
This time we use a shortcut. Recall that for scalars,
0[T ((x)(y)) [0) = D
F
(x y)
was the Feynman propagator which solves:
(
+ m
2
)D
F
(x y) = i
4
(x y)
Thereby we can determine that
D
F
(x y) =
_
d
4
k
(2)
4
i
k
2
m
2
+ i
e
ik(xy)
where the i determines the contour.
The fermion propagator likewise should be a Greens function for the Dirac equation, satis
fying:
(i
m)
ab
(S
F
(x y))
bc
= i
ac
4
(x y)
We have seen that acting once more with the conjugate Dirac operator gives us the Klein
Gordon operator. Using this in the above equation we get:
(i
+ m)(i
m)S
F
(x y) = (
2
+ m
2
)S
F
(x y)
= i(i
+ m)
4
(x y)
This can be solved by writing
(S
F
(x y))
ab
= (i
+ m)
ab
D
F
(x y).
Using the momentum representation of D
F
(x y), we have:
S
F
(x y) =
_
d
4
k
(2)
4
i(k/ + m)
k
2
m
2
+ i
e
ik(xy)
where we have used the notation k/ =
, M
] = [
]
We know that M
0i
generates boosts and M
ij
generates rotations. But we have not taken
account of translations. These are generated by the momentum operator P
, which satises:
[P
, P
] = 0
[P
, J
] =
The Lorentz algebra [M, M] together with the commutators [P, P] and [P, M] is called the
Poincare algebra.
Now there is a theorem that representations of the Poincare algebra are classied by the
values of P
2
= P
and W
2
= W
where
W
=
1
2
= (m, 0, 0, 0) and:
W
0
= 0, W
i
=
1
2
m
ijk
M
jk
so W
i
is proportional to the ordinary angular momentum that we dene in nonrelativistic
quantum mechanics. In fact W
i
is what we normally call J
i
(apart from a factor m) and we
know that:
J
i
J
i
= j(j + 1).
Now, for spinors we have
(x
) =
_
1 +
1
2
_
(x)
or
=
_
1 +
1
2
64
Dening the RHS to be
_
1 +
1
2
_
, we have
M
= S
(x
)
which expresses the angular momentum as the sum of a spin part and an orbital part.
Thus as an operator the PauliLubanski vector is:
W
=
1
2
_
S
(x
)
_
i
=
i
2
Note that the orbital part has dropped out, justifying the claim that W
measures the
intrinsic angular momentum.
Now:
W
=
i
2
i
2
=
1
4
(
+ )
_
1
4
[
]
__
1
4
[
]
_
=
3
4
(i
)
2
=
3
4
m
2
The last steps above are left as an exercise.
Thus we nd that s(s + 1) =
3
4
and therefore s =
1
2
. This proves that the spinor eld
a
(x)
describes a eld of spin half.
3.10 Charge of a state
Just like complex scalars, spinors too have a global phase invariance:
e
i
,
e
i
The Dirac Lagrangian is easily seen to be invariant under this transformation as long as
is constant. The corresponding conserved current, which can be deduced using Noethers
theorem, is:
J
and it is easily checked that this is conserved on using the equations of motion.
65
The conserved charge is:
Q =
_
d
3
xJ
0
=
_
d
3
x
0
=
_
d
3
x
At the quantum level the charge operator has to be dened with normal ordering so that the
expectation value of charge in the vacuum is zero. Thus after quantisation we must write:
Q =
_
d
3
x :
:
In terms of the oscillators a
s
k
, b
s
k
we get:
Q =
_
d
3
k
(2)
3
1
2
k
_
a
s
k
a
s
k
b
s
k
b
s
k
_
Using the anticommutation relations for the a and b, we can now check that:
Q
_
a
s
k
[0)
_
= a
s
k
[0), Q
_
b
s
k
[0)
_
= b
s
k
[0)
demonstrating that a
creates antiparticles.
This charge will become a physical quantity when we couple the theory to the vector eld
A
. In that situation the physical charge depends on the value of the coupling constant e
which always multiplies Q. If e is a negative number equal to the charge of the electron,
then the charge of particles is [e[ and of antiparticles is +[e[, which is what we expect for
electrons and positrons respectively.
The free Dirac theory described here can be used to describe all charged fermions in nature:
electrons, muons, tau leptons and quarks. For the neutrinos there is a slight subtlety. It is
possible that one or more of the neutrinos is a Majorana particle, which means it would be
described by a eld that is real in the Majorana representation. Such a particle would be its
own antiparticle. This question is not yet settled and remains under investigation.
66
4 The Smatrix
We now have all the machinery needed to compute physical quantities in QFT. But we still
need to make a connection between the correlation functions or npoint functions
0[T((x
1
)(x
2
) (x
n
))[0)
and physically measured quantities. This is done via the Smatrix.
In this section we do not want to be very specic about which eld we are referring to (scalar,
spinor or vector) because the discussion applies to all of them. However whenever specic
formulae are needed, we will work with a real scalar eld with a
4
interaction, since it
provides the simplest example.
The Smatrix, or scattering matrix, of a QFT is given by a collection of matrix elements
between in states and out states in a scattering process. To understand these states,
recall how we dened the interacting invacuum:
[) = lim
T(1i)
e
iHT
[0)
and the outvacuum:
[ = lim
T(1i)
0[e
iHT
(both upto normalisation).
We have seen that the overlap between the two vacua is nontrivial:
[) = lim
T(1i)
0[T
_
e
i
R
T
T
H
I
(t
)dt
_
[0)
The physical interpretation of the operator appearing above is that it is a unitary operator
that evolves us from the free vacuum in the far past to the free vacuum in the far future.
The Smatrix will be a similar unitary operator, but it will take us from a noninteracting
multiparticle state in the past to another one in the future.
Let us take the in state to be [ p
1
, p
2
)
in
associated to two particles of 4momenta (
p
1
, p
1
)
and (
p
2
, p
2
). In the interacting theory it would be hard to dene this state. However in the
free theory we know that the corresponding state is:
[ p
1
, p
2
)
0
=
_
2
p
1
_
2
p
2
a
p
1
a
p
2
[0)
Accordingly we dene the state:
[ p
1
, p
2
)
in
= lim
T(1i)
e
iHT
[ p
1
, p
2
)
0
67
and likewise:
out
k
1
, ,
k
n
[ = lim
T(1i)
0
k
1
, ,
k
n
[e
iHT
Now the Smatrix is dened as the overlap, or inner product, of the in state with the out
state:
S
(
k
1
, ,
kn p
1
, p
2
)
=
out
k
1
, ,
k
n
[ p
1
, p
2
)
in
From the denition of in and out states, we can guess a formula that provides a useful
calculational technique to evaluate the Smatrix in terms of free elds in perturbation theory,
namely:
S
(
k
1
, ,
kn p
1
, p
2
)
= lim
T(1i)
0
k
1
, ,
k
n
[T
_
e
i
R
T
T
H
I
(t
)dt
_
[ p
1
, p
2
)
0
It is not easy to justify the above formula very precisely as we did for the vacuum expectation
value earlier. Here we will simply assume it.
Consider the special case of 2 2 scattering, which means the nal state has two particles
in it. Expanding the above formula, we have:
S
(
k
1
,
k
2
 p
1
, p
2
)
= lim
T(1i)
0
k
1
,
k
2
[T
_
e
i
R
T
T
H
I
(t
)dt
_
[ p
1
, p
2
)
0
=
0
k
1
,
k
2
[ p
1
, p
2
)
0
+O() (2)
where for deniteness we can imagine an interaction of the form H
int
=
4!
_
4
. Now, the
rst term in the last line is just:
_
2
k
1
_
2
k
2
_
2
p
1
_
2
p
2
0[a
k
1
a
k
2
a
p
1
a
p
2
[0)
= 2
p
1
2
p
2
(2)
6
_
3
( p
1
k
1
)
3
( p
2
k
2
) +
3
( p
1
k
2
)
3
( p
2
k
1
)
_
This term simply sets the initial state equal to the nal state. So it does not take into
account interactions. The corresponding Feynman diagrams are disconnected, not in the
sense of bubble diagrams that we saw earlier but in the sense that particles pass through the
process without interacting with each other.
We would like to dene a matrix T that is the nontrivial part of S. For this purpose we
need to drop all terms which do not contribute to scattering. Schematically we have:
S = 1 + iT
As we go along, we will see precisely how T should be dened.
Consider now the terms of order :
i
4!
0
k
1
,
k
2
[ T
_
_
4
(y)d
4
y
_
[ p
1
, p
2
)
0
68
(here refers to the free eld in the interaction picture, which should really be denoted
0
but we drop the 0 hoping no confusion will arise). Notice that this time we do not have
a vacuum to vacuum amplitude so we cannot just expand the timeordered product using
Wicks theorem. However we can use the result, derived in a previous lecture, that:
T(
4
(y)) = :
4
(y): + 6D
F
(0) :
2
(y): + 3D
F
(0)
2
Now, recalling that =
+
+
with:
+
(t, x) =
_
d
3
k
(2)
3
1
_
2
k
a
k
e
ikx
(t, x) =
_
d
3
k
(2)
3
1
_
2
k
a
k
e
ikx
we see that
+
(x)[ p
1
) , = 0 (unlike
+
[0)). In fact,
+
(x)[ p
1
) =
_
d
3
k
(2)
3
1
_
2
k
a
k
e
ikx
_
2
k
1
a
p
1
[0) = e
ip
1
x
[0)
It follows that
k
1
,
k
2
[:
4
(y):[ p
1
, p
2
) , = 0. We evaluate it as follows. Notice that terms in
:
4
(y): of the form
4
+
(y) give a vanishing contribution to the matrix element:
k
1
,
k
2
[
4
+
(y)[ p
1
, p
2
) 0[a
k
1
a
k
2
(a)
4
a
p
1
a
p
2
[0) = 0
Extending this argument to the other terms, the only term we need to keep from :(y)
4
: is
6
2
(y)
2
+
(y). Thus we have:
6
i
4!
_
d
4
y
k
1
,
k
2
[
2
(y)
2
+
(y) [ p
1
, p
2
)
Now its easy to see that:
+
(y) [ p
1
, p
2
) = e
ip
1
y
[ p
2
) + e
ip
2
y
[ p
1
)
So
2
+
(y) [ p
1
, p
2
) = 2 e
i(p
1
+p
2
)y
[0)
and similarly,
k
1
,
k
2
[
2
(y) = 2 0[e
i(k
1
+k
2
)y
Thus we nally get:
i
_
d
4
y e
i(k
1
+k
2
p
1
p
2
)y
= i(2)
4
4
(k
1
+ k
2
p
1
p
2
)
69
This is clearly a contribution to T). Let us dene / by:
k
1
,
k
2
[iT[ p
1
, p
2
) = i/ (2)
4
4
(k
1
+ k
2
p
1
p
2
)
So this term, coming from :
4
(y):, contributes /= .
Now we consider the other terms. For example, D
F
(0) :
2
(y): gives:
D
F
(0)
k
1
,
k
2
[
(y)
+
(y)[ p
1
, p
2
)
This can be represented as 4 terms:
Since all these represent noninteracting propagation, we include these in the 1 part of
S = 11 +iT.
Finally terms with (D
F
(0))
2
give completely disconnected pieces which are therefore
dropped.
Thus to order , we have:
/=
Here we nally see the physical meaning of : it is just (minus) the leading contribution
to the /matrix, which in turn contains all the physical scattering data contained in the
Smatrix.
We also see that / diers in an important way from the fourpoint correlation function:
0[T
_
(x
1
) (x
4
)
_
d
4
y
4
(y)
_
[0).
The latter in momentum space has four propagators and is equal to:
i=1
1
k
2
i
m
2
+ i
(2)
4
4
(k
i
+ + k
r
)
Thus / is an amputated version of the fourpoint function, i.e. with the external legs
chopped o. This is just as well, because with external onshell particles satisfying k
2
= m
2
,
the propagators
1
k
2
m
2
+ i
would have diverged!
But now we see a problem. In the next order we would nd
70
In this diagram, even after chopping o the external propagators, we nd there is an internal
propagator (marked by the arrow) of momentum k
2
! This would diverge onshell.
The solution is to understand that the true propagator is
and it is the whole thing that should be chopped o. In fact the blob diagram on the RHS
encodes how [ p)
0
turns into [ p).
Therefore the prescription to compute the T or / matrix is to keep only completely con
nected diagrams, amputate the full (corrected) full external legs, and then place the external
particles onshell.
71
5 Quantum Electrodynamics
We are now ready to compute physical quantities using QFT. We will work with the theory
of quantum electrodynamics, namely a single charged fermion (electron) (x) coupled to the
photon A
m
and promoting the phase invariance under e
i
, with constant, to a gauge invariance
where = (x). This requires the introduction of a vector eld A
ieA
+ i
ieA
) m
We split the above Lagrangian into its free (quadratic) part and its interacting (cubic) part.
The free part is then quantised via anticommutators for the fermions. For the gauge eld we
choose Lorentz gauge and then perform quantisation via the usual commutators. The next
step is to make a mode expansion for as we have done in a previous section, and a mode
expansion for A
(x) =
_
d
3
k
(2)
3
1
_
2
k
3
r=0
_
a
r
(k)e
ikx
+ a
r
k
r
(k)e
ikx
_
where
r
is treated as a perturbation.
5.1 Feynman rules
We start by formulating the Feynman rules for this theory. The momentumspace propaga
tors are:
:
i(k/ + m)
k
2
m
2
+ i
A
:
i
k
2
+ i
We need to put polarisation factors on the external photon lines as follows:
72
Similarly we need to put in external polarisation factors for spinors:
Finally, the interaction vertex of QED is just the matrix:
ie
Depending on where this appears in a diagram, it can describe an electron emitting a photon,
or an electron absorbing a photon, or a positron emitting a photon, or a positron absorbing
a photon, or an electronpositron pair annihilating into a photon, or a photon dissociating
into an electronpositron pair. We see that the vertex is rather a versatile object! It must
73
be noted that for kinematical reasons, none of the above six processes can actually occur as
an onshell processes with external particles for example, it is wellknown that an electron
positron pair cannot give rise to a single photon because energymomentum conservation
along cannot be satised for this process along with the onshell conditions for each particle.
This is not a problem, because all the particles in the interaction vertex are allowed to be
oshell. The vertex is then used as a building block for more complicated physical processes
that do satisfy all the kinematical conditions, such as electronpositron annihilation into a
pair of photons or scattering of electrons with positrons or photons or with themselves.
To add more matter particles in the theory, we simply add one copy of the Dirac action
(minimally coupled to the gauge eld) for each species of particle, with the mass parameter
appearing in the mass term being xed to its experimental value for each species. Each
species will give its own interaction vertex ie
To illustrate how QED calculations of physical quantities are carried out, consider the pro
cess:
e
+
e
for e
, e
+
and r, r
for
,
+
.
e
e
+
+
p
k
p k
Time is taken to ow from right to left in this diagram. Note that the momentum ow and
particle number ow (the latter is the same as negative charge ow) are in the same direction
for particles. Hence a single arrow on the line labels both. However they are in opposite
directions for antiparticles. In this case the arrow on the line indicates the particle number
ow while the separate arrow labels the momentum ow.
The corresponding Smatrix element is
S
(
k,r,
,r
 p,s, p
,s
)
= 1 + (2)
4
4
(p + p
k k
) i/
with
/= v
s
(p
)(ie
)u
s
(p)
ig
(p + p
)
2
u
r
(k)(ie
)v
r
(k
)
74
where we have used the fact that the 4momentum carried by the internal photon is (p+p
.
The above process is of order e
2
in the Smatrix. Note that no other diagrams contribute
at this order.
A diagram like the above where the incoming particles rst annihilate into a virtual particle
and then the nal state particles are produced, is called an schannel diagram.
If we were doing e
+
e
e
+
e
e
+ +
k
p
e
e
k
p
e
p
k
e
e e
e
p
k
k
p
where the rst one is tchannel and the second is uchannel. However there is no schannel
diagram because e
)
2
v
s
(p
u
s
(p) u
r
(k)
v
r
(k
)
Now we need to extract a physical quantity out of this. This quantity is the dierential
crosssection, which can be shown to be:
_
d
d
_
cm
=
1
2
p
2
p
[v v
[
[
k[
16
2
E
CM
[/(k, k
; p, p
)[
2
75
where v =
p
p
and v
=
p
, so v v
)
4
_
v
s
(p
u
s
(p) u
s
(p)
v
s
(p
)
_ _
u
r
(k)
v
r
(k
) v
r
(k
u
r
(k)
_
where we have used (u
v)
= (v
, s, s
. Also
we often dont measure the nal spins, in which case we must sum over nalstate spins r, r
.
In such situations we therefore need to calculate:
1
2
s
1
2
[/[
2
In this situation the completeness relations, derived in a previous lecture, help us to simplify
the expression. Using:
s
u
s
(p)u
s
(p) = p/ + m
s
v
s
(p)v
s
(p) = p/ m
we nd that:
1
4
spins
[/[
2
=
e
4
4(p + p
)
4
tr
_
(p/
m
e
)
(p/ + m
e
)
tr
_
(k/ + m
(k/
76
As shown in Appendix II to this Section, this reduces to:
1
4
spins
[/[
2
=
8e
4
(p + p
)
4
_
p k p
+ p k
k + m
2
p p
+ m
2
e
k k
+ 2m
2
m
2
e
We now set m
e
0 since m
2
e
p p
= (E, 0, 0, E)
with 2E = E
cm
. Also, k = (E,
k) and k
= (E,
k), where E =
_
k
2
+ m
2
.
Now,
(p + p
)
2
= 4E
2
p p
= 2E
2
p k = E
2
E[k[ cos = p
p k
= E
2
+ E[k[ cos = p
k
where is the angle of the outgoing
+
pair. So,
1
4
[/[
2
=
8e
4
16E
4
_
E
2
(E [k[ cos )
2
+ E
2
(E +[k[ cos )
2
+ 2m
2
E
2
=
e
4
2E
2
_
2E
2
+ 2[k[
2
cos
2
+ 2m
2
=
e
4
E
2
_
E
2
+ cos
2
(E
2
m
2
) + m
2
= e
4
__
1 +
m
2
E
2
_
+
_
1
m
2
E
2
_
cos
2
_
Finally,
d
d
=
1
4 E
2
[v v
[
[
k[
16
2
E
cm
e
4
__
1 +
m
2
E
2
_
+
_
1
m
2
E
2
_
cos
2
_
Using
[v v
[ =
p
z
E
p
z
E
= 2, E =
E
cm
2
and
=
e
2
4
, [k[ = E
_
1
m
2
E
2
77
we can write down our nal answer for the dierential crosssection:
d
d
=
1
2E
2
cm
E
cm
2
1
4m
2
E
2
cm
1
16
2
E
cm
e
4
__
1 +
4m
2
E
2
cm
_
+
_
1
4m
2
E
2
cm
_
cos
2
_
=
2
4E
2
cm
1
4m
2
E
2
cm
__
1 +
4m
2
E
2
cm
_
+
_
1
4m
2
E
2
cm
_
cos
2
_
For the total crosssection, we simply integrate:
=
_
d
d
d
=
_
d(cos ) d
d
d
The dierential crosssection is independent of and has a dependence of the form A +
Bcos
2
. Then the integral is given by:
= 2
_
d(cos )[A+ Bcos
2
]
= 2
_
2A+
2B
3
_
=
4
3
(3A+ B)
Inserting the value of A and B we get:
=
4
3
2
4E
2
cm
1
4m
2
E
2
cm
_
4 +
8m
2
E
2
cm
_
=
4
2
3E
2
cm
1
4m
2
E
2
cm
_
1 +
2m
2
E
2
cm
_
In the limit E
cm
m
, we get
d
d
2
4E
2
cm
(1 + cos
2
)
4
2
3E
2
cm
78
Appendix I to Section 5.2: Formula for
d
d
For this, note that in an experiment, rather than the idealised process:
p, s; p
, s
k, r;
k
, r
(2)
3
1
_
2
p
( p)
( p
)[ p, p
)
where ( p), ( p
(2)
3
[
(p
)[
2
More precisely, one of the wavepackets is allowed to have a transverse spread with an impact
parameter
b. Thus we use
[
e
,
e
+) =
_
d
3
p
(2)
3
1
_
2
p
d
3
p
(2)
3
1
_
2
p
( p)
( p
)e
i p
b
[ p, s; p
, s
)
For the nal state, we assume the momenta k, k
k
,
d
3
k
(2)
3
1
2
.
Then the innitesimal crosssection d is dened as:
d =
d
3
k
(2)
3
1
2
k
d
3
k
(2)
3
1
2
_
d
2
b [
k, r;
, r
[
e
,
e
+)[
2
This appears to depend sensitively on ( p),
( p
, s, s
we have:
_
d
2
b [
k,
[
e
,
e
+)[
2
=
_
d
2
b
_
d
2
p
(2)
3
( p)
_
2
p
_
d
3
p
(2)
3
(q
)
_
2
p
_
d
3
q
(2)
3
(q)
_
2
q
_
d
3
q
(2)
3
(q
)
_
2
q
k,
[ p, p
k,
[q, q
e
i
b( q
)
Now from the denition,
k,
[ p, p
) = i/(
k,
; p, p
) (2)
4
4
(p + p
k k
k,
[q, q
= i/
k,
; q, q
) (2)
4
4
(q + q
k k
)
79
The
_
d
2
b integral can now be done, giving (2)
2
2
(q
).
Next we would like to evaluate the integrals
_
d
3
q,
_
d
3
q
2
(q
1
)
4
(q + q
k k
)
If the scattering direction is z then
2
(q
) just sets q
x
= p
x
and q
y
= p
y
. That leaves
integrals over q
z
, q
x
, q
y
, q
z
. But the q
x
and q
y
integrals are also easy they set:
q
x
= k
x
+ k
x
p
x
= p
x
q
y
= k
y
+ k
y
p
y
= p
y
The integral over q
z
is also easy:
_
dq
z
(q
z
+ q
z
k
z
k
z
)
sets q
z
= k
z
+ k
z
q
z
.
Finally we have:
_
dq
z
(q
0
+ q
0
k
0
k
0
) =
_
dq
z
_
_
q
2
+ m
2
+
_
q
2
+ m
2
k
0
k
0
_
z
=kz+k
z
qz
=
1
qz
q
0
z
q
0
k
0
k
0
= 0 and q
z
+q
z
= k
z
+k
z
= p
z
+p
z
. Therefore q
0
+q
0
= p
0
+p
0
which implies that q
z
= p
z
, q
z
= p
z
.
Notice that:
q
z
q
0
z
q
0
= v v
where the RHS is the relative velocity of the two beams in the lab frame. Thus the functions
set q
= p
, q
= p
and we have
_
d
2
b [
k,
[
e
,
e
+)[
2
=
_
d
3
p
(2)
3
1
2
p
_
d
3
p
(2)
3
1
2
p
[/(
k,
; p, p
)[
2
[v v
[
[( p)[
2
[
( p
)[
2
(2)
4
4
(p + p
k k
)
At this stage there is some simplication because
1
(2)
6
from
_
d
3
q,
_
d
3
q
multiplied by a
(2)
2
from
_
d
2
b, times a (2)
4
from one of the /s gives 1.
80
Now if ( p),
( p
(2)
3
[( p
)[
2
= 1
and take everything else outside:
_
d
2
b[ [ )[
2
=
[/(k, k
; p, p
)[
2
2
p
2
p
[v v
[
(2)
4
4
(p + p
k k
)
Thus the innitesimal crosssection d is the above multiplied by:
d
3
k
(2)
3
1
2
k
d
3
k
(2)
3
1
2
We have chosen the z direction as the scattering direction. Therefore the answer is not
expected to be rotation or Lorentzinvariant, except under zboosts. This is indeed the
case:
1
p
[v v
[
=
1
[p
z
p
p
p
[
=
1
[p
z
p
t
p
t
p
z
[
=
4
[p
+
p
+
p
[
with p
= p
t
p
z
. And this manifestly exhibits 2d Lorentz invariance.
The dierential crosssection per unit solid angle is obtained by writing out the k, k
integral
and carrying out the k
integration:
_
d
3
k
(2)
3
1
2
k
_
d
3
k
(2)
3
1
2
(2)
4
4
(p + p
k k
)
If we are in the centreofmass frame then p + p
= 0. Thus
_
d
3
k
sets
k
k and the
above expression becomes:
_
d
3
k
(2)
3
1
2E
1
2E
2 (E
CM
E E
)
where E =
_
k
2
+ m
2
and E
=
_
k
2
+ m
2
. Now writing d
3
k = d[k[ [k[
2
d, the integral
becomes:
_
d[
k[ [
k[
2
d
16
2
(E
CM
E E
)
EE
=
_
[
k[
2
d
16
2
1
EE
1
_

k
E
+

k
E
_
where now [
k
2
+ m
2
+
_
k
2
+ m
2
= E
CM
81
Thus the above expression is equal to:
_
d
[k[
16
2
1
E + E
=
_
d
16
2
[k[
E
cm
and:
_
d
d
_
cm
=
1
2
p
2
p
[v v
[
[
k[
16
2
E
cm
[/(k, k
; p, p
)[
2
Appendix II to Section 5.2: Evaluation of a trace
In this Appendix we wish to evaluate:
1
4
spins
[/[
2
=
e
4
4(p + p
)
4
tr
_
(p/
m
e
)
(p/ + m
e
)
tr
_
(k/ + m
(k/
For this we need to know the traces of several matrix products. It is easy to establish that:
tr 11 = 4
tr
= 0
tr
= 4
tr
= 0
tr
= 4(
)
From the above,
(p/
m
e
)
(p/ + m
e
)
= p
tr
m
2
e
tr
= 4 p
) 4m
2
e
= 4 (p
+ p
pp
) 4m
2
e
= 4 (p
+ p
(p p
+ m
2
e
))
Similarly,
tr (k/ + m
(k/ m
= 4 (k
+ k
(k k
+ m
2
))
82
With these results we nd that:
1
4
spins
[/[
2
=
16 e
4
4(p + p
)
4
[p
+ p
(p p
+ m
2
e
)][k
+ k
(k k
+ m
2
)]
=
4e
4
(p + p
)
4
_
2p k p
+ 2p k
k 2(p p
+ m
2
e
)(k k
)
2(k k
+ m
2
)p p
+ 4(p p
+ m
2
e
)(k k
+ m
2
)
_
=
8e
4
(p + p
)
4
_
p k p
+ p k
k + m
2
p p
+ m
2
e
k k
+ 2m
2
m
2
e
we have:
e
e
+
e
e
e
e
+
+
+
+
+
e
e
+
These corrections include a diagram where the photon, while propagating, emits a virtual
electronpositron pair and reabsorbs it. This is considered to be a contribution to the
photon selfenergy. Also there are two diagrams where the cubic interaction vertex of
QED gets corrected by a virtual photon. This is called the vertex correction. Finally there
could have been diagrams where the electron or positron had a selfenergy correction due to
a virtual photon, but these have been dropped as part of the prescription of amputating full
external legs.
The photon selfenergy and vertex correction are associated to two and threepoint functions
respectively. So we can study them in isolation and then plug them back into the 4point
function later. However, the last diagram is not of this type. It is intrinsically a correction
to a fourpoint function.
Let us therefore examine each one in turn. We start by studying the electron propagator
correction. To all orders in perturbation theory, one can represent it by:
84
Now let us we dene a oneparticle irreducible diagram (1PI) by saying it does not fall
apart on cutting one line:
Then the entire expansion can be organised as a collection of 1PI contributions strung in a
row:
Note that since we are attaching them to each other with Feynman propagators, the 1PI
pieces themselves should be amputated. Let this amputated 1PI contribution, calculated to
any order in perturbation theory, be called i(p). Note that it is a matrix in spinor space.
85
Now the full propagator can be written:
i
p/ m
0
+
i
p/ m
0
(i)
i
p/ m
0
+
=
i
p/ m
0
_
1 +
1
p/ m
0
+
1
p/ m
0
1
p/ m
0
+
_
=
i
p/ m
0
(p)
Here we have denoted the mass that appears in the Lagrangian by m
0
. We see that the full
propagator
i
p/ m
0
(p)
has a pole not at p/ = m
0
(since (p)[
p /=m
0
,= 0), but at some
shifted value which we can write p/ = m.
Accordingly we dene the physical mass of the electron to be the parameter m satisfying:
(p/ m
0
(p))
p /=m
= 0
To lowest order
2
(p) is of order e
2
, so to the same order, inside it we can set p/ = m m
0
,
thus:
p/ m
0
2
(p/ = m
0
) = 0
which tells us that to this order,
m = m
0
+
2
(p/ = m
0
).
Now using Feynman diagram techniques, the lowestorder contribution to can be com
puted. It involves a divergent momentum integral but if we cut o the integral at a UV scale
then we get:
2
(p/ = m
0
) =
3
4
m
0
log
2
m
2
0
where as usual = e
2
/4 and we ignore higherorder corrections in .
Thus there is a mass shift or renormalization so that the physical mass m (the pole in the
full propagator) is related to the bare mass m
0
(the parameter in the Lagrangian) by:
m = m
0
_
1 +
3
4
log
2
m
2
0
_
This tells us that once quantum corrections are introduced, the parameter m
0
in the La
grangian is not the physically observed mass m = 0.5110 MeV. Rather, m
0
is tuned as a
function of the UV cuto so that the physically observed mass m becomes 0.5110 MeV.
The physical picture that emerges is that parameters in the classical QFT Lagrangian do
not correspond to experimentally measured quantities! Instead, one rst computes quantum
86
corrections and then sets the quantumcorrected parameter (in this case, the mass) to the
experimentally measured value. The same is done with the coupling constant. The bare
constant is called e
0
and the vertex correction diagram allows one to dene a renormalised
constant e in terms of e
0
(as well as the cuto). The experimentally measured ne structure
constant is not e
2
0
/4 but rather e
2
/4. Besides the masses and coupling constants, elds
are also renormalised.
Notice that the relation between the bare parameters m
0
, e
0
and the renormalised ones
m, e, is divergent as the cuto goes to . In the present interpretation, this simply
means that the bare parameters m
0
, e
0
, are themselves innite, while the renormalised
parameters m, e, are nite. This causes no conceptual problem since by denition, bare
parameters are physically unobservable.
Once the coupling constants of a theory have been renormalised, one can compute loop
diagrams for scattering processes. For example in QED we can calculate loop corrections
to e
e
+
+
. These will initially be expressed in terms of m
0
, e
0
. The cuto is kept
nite during the calculation. At the end, m
0
, e
0
are eliminated in terms of the physical
(renormalised) couplings (m, e). If the resulting expression is nite in the limit that the
cuto is taken to innity then we obtain an unambiguous and physically meaningful answer
for a physically observable scattering crosssection (say) in terms of the physically observed
parameters of the theory. Theories satisfying this requirement for all possible processes are
said to be renormalisable.
Renormalisation can be carried out to any arbitrary order in perturbation theory (with in
creasing diculty). However if the theory has any interaction of dimension > 4, perturbation
theory generates more and more couplings that need to be independently renormalised, lead
ing to a loss of predictive power. Such theories are called nonrenormalisable and gravity
is among them. Theories which satisfy the dimensional argument for renormalisability need
not necessarily be renormalisable (the argument is necessary but not sucient). Typically,
very hard work is required to prove renormalisability for any eld theory.
87
7 The Higgs mechanism
In this section we will describe a remarkable phenomenon that occurs in a rather simple
quantum eld theory. We will couple a complex scalar to a vector eld, as we already did
in a previous section. This is the theory that we called scalar electrodynamics.
First we reexamine the complex scalar theory by itself. Let us make a change of eld
variables and write the complex scalar eld as:
(x) =
1
2
R(x)e
i(x)
.
In these variables, the Lagrangian
m
2
6
(
)
2
becomes:
L =
1
2
R
1
2
m
2
R
2
4!
R
4
+
1
2
R
2
R +
1
2
m
2
R
2
4!
R
4
+
1
2
R
2
(
)
2
The potential term is now:
V (R) =
4!
R
4
1
2
m
2
R
2
which has a well shape (recall that R(x) is always positive, as it is a radial variable):
88
It is strange to consider a eld with a negative value of m
2
(imaginary mass!). However this
merely tells us we have a bad choice of variables. The potential has a local maximum at
R = 0, and a minimum at:
dV
dR
= 0
6
R
3
m
2
R = 0
R =
_
6m
2
R = R
_
6m
2
The eld
R takes its minimum at 0 and therefore this shifted eld should have decent prop
erties including a normal positive value of (mass)
2
. Performing this shift in the Lagrangian,
we nd after a short calculation:
L =
1
2
R m
2
R
2
m
2
_
3
2
R
3
4!
R
4
+
3m
2
)
2
+
_
6m
2
R(
)
2
+
1
2
R
2
(
)
2
Notice now that
R has a sensible mass
changes to:
1
2
R
2
( + )
( + )
We know that coupling a vector eld A
)
in the Lagrangian, which becomes:
L =
1
2
R
1
2
m
2
R
2
4!
R
4
+
1
2
R
2
(
)
2
Now if we perform the transformation + (x) together with A
, it is
manifest that this action is invariant. Then, to the above Lagrangian we add:
L
A
=
1
4
F
and we end up with a coupled theory that is gauge invariant. In fact it is just scalar
electrodynamics in new variables.
Now we again consider the negative m
2
type of potential that stabilises R at a nite value.
With a gauge eld coupled in the system, something rather dierent happens compared to
what we saw above. The key dierence arises from the dependent term, which in R,
variables is now:
1
2
R
2
(
)
2
Once we take account of the nontrivial minimum away from R = 0 and expand the eld
about it, this term becomes:
1
2
_
R +
_
6m
2
_
2
(
)
2
from which we can extract the quadratic term:
3m
2
)
2
90
This term is not a good quadratic term as it stands, since it has a cross term between A
and
The eect of this is that the eld disappears completely from the theory and the term
becomes:
3m
2
the eld
redenition just looks like a gauge transformation and therefore that term remains invariant.
Recall that a mass term for a gauge eld was prohibited by gauge invariance. However
here we have managed to introduce such a term in a gauge invariant theory! In fact the
theory above has a real massive scalar
R of mass
.
This process is called the Higgs mechanism, and
R is the Higgs eld. We learn that when
we try to implement spontaneous symmetry breaking in the presence of a gauge symmetry,
Goldstones theorem does not apply but instead the Higgs mechanism takes place. The
wouldbe Goldstone boson disappears from the theory and the gauge eld acquires a mass.
91
8 Nonabelian gauge theories
8.1 Nonabelian gauge invariance
Symmetries play an important role in quantum eld theory, to which we have not been able
to do full justice in this short course. What we have seen is the simplest class of continuous
symmetries, which act as phase transformations on scalar and fermion elds. We also saw
that these transformations can be given an arbitrary spacetime dependence and thereby
converted
3
from constant (global) to spacetime dependent (local).
We now extend the phase transformations to transformations that act as a matrix on multi
component elds. Then we will consider the local version of such transformations.
Start with a set of complex scalar elds
I
where I = 1, 2, N. The natural generalisation
of a phase transformation on a single eld would be a unitary transformation on this set of
elds:
I
(x) U
IJ
J
(x)
Here U
IJ
is a constant matrix that satises U
I
m
2
I
V (
I
I
)
is invariant under the above transformations, where we have taken the potential to be an
arbitrary function of
I
I
.
Choosing the unitary matrix to be:
U =
_
_
e
i
1
e
i
2
e
i
3
_
_
we see that an independent phase rotation on each
I
is included in the possible unitary
matrices. However there are many more transformations included in U, and the nondiagonal
ones mix the dierent components of
I
. It is easy to show that a unitary N N matrix
has N
2
independent components. There are ways of parametrising the matrix in terms of
these N
2
variables but we will not need this explicitly for the moment.
Let us now consider promoting the unitary symmetry to a local one, which means letting U
be an arbitrary function U(x). The Lagrangian above fails to be invariant because:
U
1
_
(U)
3
If we consider a completely general local transformation (x) then it can be decomposed into a part that
is constant everywhere and another part that is spacetime dependent but falls o at . In this sense (x)
contains distinct global and local parts. Therefore it is not accurate to say that local is a generalisation
of global, though it is often said nonetheless.
92
where now we have suppressed the index I on the scalar eld, as well as the corresponding
indices of U. Expanding out the right side, we get:
_
U
1
+
U
1
_
(
U +U
) =
(U
1
U) +
U
1
U)
U
1
U)
This time the unwanted terms are matrices made out of the U
IJ
and sandwiched between
I
and
J
. It is reasonable to guess that they could be cancelled by introducing a matrix
valued vector eld A
IJ
and generalising the derivative to:
I
(D
)
I
(
IJ
ieA
IJ
)
J
which we henceforth write in more implicit notation as
ieA
)
Now we would like to arrange that under U(x) we get:
D
U(x)D
transforms to A
ieA
) U = U (
ieA
)
Expanding both sides we have:
U +U
ieA
U = U
ieUA
U = UA
U
or
A
= UA
U
1
i
e
U U
1
This is the required generalised gaugetransformation law for the matrixvalued vector eld.
As a check, we may specialise to the case of a singlecomponent scalar, whereupon U becomes
the 1 1 unitary matrix e
i
and A
= A
+
1
e
=
1
e
+ i[, A
]
We see that the commutator of the vector eld and the gauge parameter enters into the
transformation law.
Finally we need to consider adding a kinetic term that will make the matrix A
into a
propagating eld, analogous to
1
4
F
= [D
, D
] = [
ieA
ieA
] = ieF
We learn the fact (which has a deep mathematical signicance) that the eld strength F
arises as the commutator of two covariant derivatives. Notice that in this case the gauge
invariance of F
= e
i
D
where
= e
i
. The above relation implies:
[D
, D
= e
i
[D
, D
]
The LHS can be evaluated to give ieF
e
i
while the RHS gives ie e
i
F
. It follows
that F
= F
.
Returning to the general case, the commutator of two covariant derivatives can be evaluated
and gives:
[D
, D
] = ieF
where now F
ie[A
, A
]
Repeating the above steps we nd that the transform of this F under matrix gauge trans
formations satises:
UF
= F
U
4
There should be no confusion with our previous use of the symbol for Lorentz transformations.
94
from which we see that:
F
= U
1
F
U
It follows that the Lagrangian
1
4
tr F
is gauge invariant
5
.
To summarise, we have found a nonAbelian analogue of scalar electrodynamics by starting
out with the assumption that the scalars form a column vector and promoting the unitary
global symmetry to a gauge symmetry. The resulting Lagrangian is:
(D
)
I
(D
)
I
V (
)
1
4
tr F
The last term in this Lagrangian is called the YangMills Lagrangian. It is a beautiful
mathematical generalisation of the Maxwell Lagrangian and we see that it is required by local
unitary gauge invariance
6
. Expanding it out, we see a key dierence between the YangMills
and Maxwell Lagrangians:
1
4
tr F
=
1
4
tr (
)
2
+
ie
2
(
)[A
, A
] +
1
4
e
2
[A
, A
][A
, A
]
We see that the single term
1
4
F
ieA
) m
1
4
tr F
where we must be careful to keep in mind that colour indices have been suppressed in the
fermionic terms. Making them explicit we have:
i
I
(
IJ
ieA
IJ
)
J
m
I
I
, I, J = 1, 2, 3
Unlike QED with deals with electrons and photons, QCD deals with quarks and gluons which
have never been observed as free particles. This posed a puzzle for a long time. Quarks were
experimentally observed via hard scattering o nucleons, but could not be liberated, while
gluons were proposed essentially just for the sake of having nonAbelian gauge symmetry.
Today we understand the resolution to the puzzle of why they cannot be liberated.
The eective strength of a force is given by the renormalised rather than bare value of
the corresponding coupling constant. In QCD the relevant coupling constant is the strong
interaction coupling constant, denoted g
s
rather than e as we have done above. Now unlike
the bare coupling, the renormalised coupling involves subtraction of the cutodependent
piece at some energy scale. This eectively imposes an energydependence on the coupling
constant which is then thought of as g
s
() where is the typical energy scale at which
renormalisation is performed.
Now as we work at higher and higher energies E, the strength of the interaction is dened by
g
s
( E). In pure nonAbelian gauge theory as well as in the same theory after coupling
to a small number of quarks, it has been shown that
g
s
(E)
1
log E
Therefore the strong interactions become weaker at high energies. In fact one needs to work
at suciently high energy to be able to use perturbation theory to study QCD.
The converse of this statement, which is on a less rigorous footing, is that at lower and lower
energies, corresponding to long distances, the coupling constant g
s
becomes large. Hence if a
quark or gluon tries to escape from a nucleon then the force pulling it back is eectively very
large. This is believed to lead to the phenomenon of permanent connement according to
which the coloured quarks and gluons never appear as external physical states in the theory.
96
Instead, only colour singlets, bound states of quarks and gluons into colourneutral objects,
are seen.
Studying QCD at low energies, in particular proving the connement hypothesis, cannot be
done in perturbation theory. Therefore one has to use methods like lattice gauge theory or
string theory.
8.3 Electroweak interactions
We do not have time to discuss the electroweak interactions in any detail here. So we will
limit ourselves to the fact that they are described by a nonAbelian gauge theory with gauge
group SU(2) U(1), i.e. a nonAbelian and an Abelian factor, coupled to all the fermions
in specic ways as well as to a scalar eld that forms an SU(2) doublet.
There are therefore four gauge bosons in the theory. Introducing a negative (mass)
2
in the
scalar potential, we nd at the end that the Higgs mechanism renders three of the gauge
bosons massive. The remaining massless one is identied with the photon. The massive
ones are named W
, Z and are the mediators of the weak interactions. This accounts for the
experimentally observed fact that the weak interactions are shortranged. In fact this theory,
called the GlashowSalamWeinberg theory, can be well treated in perturbation theory and
is spectacularly successful. Moreover in some way it unies the weak and electromagnetic
interactions.
97
Bien plus que des documents.
Découvrez tout ce que Scribd a à offrir, dont les livres et les livres audio des principaux éditeurs.
Annulez à tout moment.