Professional Documents
Culture Documents
elementary particle
physics
TA-PEI CHENG
University of Missouri - St. Louis
and
LING-FONG LI
Carnegie Mellon University
CLARENDONPRESS . OXFORD
2000
OXFORD
UNIVERSITY PRESS
You must not circulate this book in any other binding or cover
and you must impose this same condition on any acquirer
A catalogue record for this book is available from the British Library
(Data available)
rsBN 0 19 850621 X
Typeset by
Newgen Imaging Systems (P) Ltd., Chennai, India
hospitality of the Santa Cruz Institute of Particle Physics when finishing up this
project . The original literature has only been referenced casually, and we apologize
to the authors whose work we may have neglected to cite.
This book and CL share a page on the World Wide Web at the URL
ht.tp z / /vrvw. umsl . edu/-tpcheng/gaugebooks . html. Misprints or
other corrections brought to our attention will be posted on this page. We would
be grateful for any comments about these books.
1 Field quantization
1.1 Simple exercises in ),Qa theory 1
1.2 Auxiliary field 6
1.3 Disconnected diagrams 8
I.4 Simple external field problem 9
1.5 Path integral for a free particle 1l
1.6 Path integral for a general quadratic action 13
1.7 Spreading of a wave packet t6
1.8 Path integral for a harmonic oscillator 11
1.9 Path integral for a partition function 2t
1.10 Partition function for an SHO system 23
1.11 Non-standardpath-integralrepresentation 25
Llz Weyl ordering of operators 26
l.13 Generating functional for a scalar field 32
l.I4 Poles in Green's function 35
2 Renormalization
2.1 Counterterms in )"Qa theory and in QED 37
2.2 Divergences in non-linear chiral theory 39
2.3 Divergences in lower-dimensional field theories 4l
2.4 n-Dimensional 'spherical' coordinates 43
2.5 Some integrals in dimensional regularization 46
2.6 Vacuum polarization and subtraction schemes 49
2.1 Renormalization of ),Q3 theory in n dimensions 53
2.8 Renormalization of composite operators 57
2.9 Cutkosky rules 59
3 Renormalization group
3.1 Homogeneousrenormalization-groupequation 63
3.2 Renormalizatron constants 64
3.3 B-function for QED 67
3.4 Behaviour of g near a simple fixed point 69
3.5 Running coupling near a general fixed point 70
3.6 One-loop renormalization-group equation in massless ,1,@a theory 7t
3.7 B-function for the Yukawa coupling 72
3.8 Solving the renormarization-group equation by coleman's method 75
3.9 Anomalous dimensions for composite operators 77
Contents
5 Chiral symmetry
5.1 Another derivation of Noether's current 1r0
5.2 Lagrangran with second derivatives 111
5.3 Conservation laws in a non-relativistic theory 113
5.4 Symmetries of the linear o-model 115
5.5 Spontaneous symmetry breaking in the o-model r22
5.6 PCAC in the o-model r23
5.7 Non-linear o-model l 126
5.8 Non-linear o-model II t28
5.9 Non-linear o-model III 130
5.10 SSB by two scalars in the vector representation 133
8 Gauge symmetries
8.1 The gauge field in tensor notation 158
8.2 Gauge field and geometry t6r
8.3 General relativity as a gauge theory r63
Contents IX
10 Ouantum chromodynamics
r0.I Colour factors in QCD loops 188
I (1.2 Running gauge coupling in two-loop t9l
r 0.-3 Cross-section for three-jet events 193
n 0.+ Operator-product expansion of two currents 198
I (1.5 Calculating Wilson coefficients 20r
11 Electroweak theory
I1.1 Chiral spinors and helicity states 205
l l.l The polartzation vector for a fermion 206
i r.3 The pion decay rate and f, 208
r l.-l Uniqueness of the standard model scalar potential 212
I 1.5 Electromagnetic and gauge couplings 213
l 1.6 Fermion mass-matrix diagonalization 214
I 1.7 An example of calculable mixing angles 2r5
r 1.8 Conservation of the B - L quantum number 2t6
12 Electroweak phenomenology
1t.l Atomic parity violation 218
11.2 Polarization asymmetry of Z -- f f 221
1-.J Simple z-lepton decays 222
n.-t Electron neutrino scatterings 223
11.5 CP properties of kaon non-leptonic decays 225
1t.6 Z --> H H is forbidden 226
t2.7 A,I j enhancement by short-distance QCD 227
-
n.8 Scalar interactions and the equivalence theorem 230
l].9 Two-body decays of a heavy Higgs boson 234
Contents
13 -0,"" in flavourdynamics
13. l Anomaly-free condition in a technicolour theory 238
13.2 Pseudo-Goldstone bosons in a technicolour model 239
13.3 Properties of Majorana fermions 239
13.4 LL --> ey and heavy neutrinos 244
13.5 Leptonic mixings in a vector-like theory 250
13.6 Muonium-antimuonium transition 252
14 Grand unification
t4.t Content of SU(5) representations 255
14.2 Higgs potential for SU(5) adjoint scalars 256
14.3 Massive gauge bosons in SU(5) 258
14.4 Baryon number non-conserving operators 260
14.5 SO(n) group algebra 260
14.6 Spinor representations of SO(n ) 263
14.7 Relation between SO(2n) and SU(n ) groups 267
14.8 Construction of SO(2n) spinors 269
15 Magnetic monopoles
15.1 The Sine-Gordon equation 275
15.2 Planar vortex field 280
15.3 Stability of soliton 282
15.4 Monopole and angular momentum 283
16 lnstantons
t6.t The saddle-point method 289
16.2 An application of the saddle-point method 292
t6.3 A Euclidean double-well problem 295
References 301
lndex 303
1 Field quantization
H1 - fio^ra. (1.1)
(a) Show that, to the lowest order in .1., the differeitial cross-section for two-
particle elastic scattering in the centre-of-mass frame is given by
do 72
(r.2)
de: 128"4
where s
- (pr * pz)' ,with p1 and p2being the momenta of the incoming particles.
(b) Use Wick's theorem to show that the graphs in Fig. 1.1 have the symmetry
factors as given. Also, check that these results agree with a compact expression
for the symmetry factor
Ftc. l.l.
ry s:4
Symmetry factors.
2 Field quantization 1.1
Write down, to the first order in ),, the various contributions to G$) (x; x1, x2).
do: I 1 1 l-i).e
---'
otlt o'!o'
lvr - v2l2E12E2' (2n)3282 (2tr)32Eq
x12n1434(h * pz - pt - nDL. (1.5)
The last I factor is inserted to account for the presence of two identical particles
in the final state.
We then have the phase space factor of
e --
IQn)-23(2E -28')#
-| eo>-2t(zr, -2E')41# o"
- 32nzl'lE an (r.7)
do
: tllpl L2
(1.8)
dQ yt
f'r - 4E' 32"'E 2
1.1 Simple exercises in ),Qa theory 3
* (+)' I oo r, do v, (otrIQ',)Q@z):Qor)Q(vr)Q(yt)Q(yt):
:Q 0)Q 0)Q 0)Q(y2) :l l0) . (1.10)
The amplitude like the one above but with the interchange 1l1 + yz has the same
contribution. This doubling cancels the first factor of fi in the above expression,
which comes from the Thylor expansion.
Wick's expansion leads to the following contractions. There are four ways to
contract Q @ ) with any one of the d (yr ) s and similarly four ways to contrac t Q @z)
with any one of the @(y2)s; then there are 3! ways to contract the remaining pairs
of QOt) and Q0). The (inverse) symmetry factor is
This checks with the result obtained by using eqn (1.3) directly, because g : l,
a3 : 1, and fr :0.
(ii) The diagram in Fig. 1.4 is first order in the coupling
c'-r 4'3
- u -z'
-l ( 1.13)
This checks with the result obtained from eqn (1.3), since g : l, d, : 0, and
fr:L
Frc. 1.3.
4 Field quantization 1.1
(iii) The diagram in Fig. 1.5, like the one in Fig. 1.2, corresponds to the second-
order term as given in (i).
The multiplicity is determined by noting that there are four ways to contract
Q@) with any one of the QOr)s and three ways to contract Q@) with any one
of the remaining three d(yr)s.And there *" (:) - 4.3 ways to contract the
remaining Q0) pair to all the possible pairs out of the four @(yz)s.
!a
>o< y3
b
1.1 Simple exercises in ),Qa theory 5
and examine its combinatorics. There arc 4. 3 ways to contract Q@r) and Q@z)
with the four @(yr)s, and the same number of ways between Q(x) and Q@a)
and the Q0)s. For the remaining two @(y1)s to contract into the respective four
d(y:)s and Q(y+)s there are2.4 . 4 ways. Similarly, for the remaining two @(yr)s
to contract into the respective remaining three d(y:)s and Q(ya)s there are2.3 .3
ways. Finally, there are two ways for the remaining two @(y:)s and d(y+)s to
contract into each other.
/l 4!\ I
ro_r: (i ' (4''2 ' Q'4'4) ' (2'3 '3) '2
; ) .*
:!(o'.t').!','" 1'
2 @04 - 4' (1'16)
This again checks with eqn (1.3), since g :2, a2 : l, and fr :0.
(c) First we show that the differentiation of the two-point function with respect to
.r yields
where the equal-time commutator actually vanishes. Differentiating for the second
time we have
From the equation of motion zQ@) _ -p2O - 0./3!),@3 and the canonical
commutation relation [Ood @), Q(y)] 6(xo - ]o)
- -i6a(x - y), we then obtain
the result stated in the problem.
To verify this relation diagrammatically we note that the first order in ,1, diagrams
for the two-point function are given in Fig. 1.7(a).
The Feynman diagrams lead us to the relation
Using the relation (tr, + 1"2)Lr(x - y) - -64(x - y), we obtain the left-hand
side of eqn ( 1 . 19) to first order:
yx z
(a)
Frc. 1.7.
Xlzx2
(a)
*o _0* (b)
Frc. 1.8.
Equations (1.21) and (1 .22) clearly show that the relation (1.19) is satisfied. The
Feynman diagram for eqn (1.22) is shown in Fig. 1.7(b).
(d) There are three first-order diagrams for the two-point function
We shall explicitly work out the case of diagram (a) in Fig. 1.8.
L - ;@,Q\(at'o,
,
- *r'r' - * (o"o\2. (1.2s)
(a) Work out the basic vertices in this theory by calculating the four-point ampu-
tated Green's function to the first order in )..
1.2 Auxiliary field
(b) Consider the Lagrangian density
(a) To the first order in ),, the four-point Green's function with the four external
lines carrying the internal indices a, b, c, d is given as
where we have grouped the four fields in the interaction term into two pairs labelled
i and 7, respectively-repeated indices are always summed over.
As displayed in Fig. 1.9, there are two ways @is can be contracted with QoQb,
and two ways between @/s and Q,Qd; these four ways are to be multiplied by 2
corresponding to the interchange i <> j. Thus the factor of 8 is cancelled and the
vertex is given by -i),3"b6'd. There are of course other ways we can pair off
the four external lines. Removing the propagators for the external lines, we have
the basic vertex for this theory:
gbd + 6"d |b,y. (1.28)
-i;(6ob Ard 1 5ac
(b) (i) Since the L' does not contain the 0ro field, the equation of motion for the
o field 0L'l3o - 0 is simply a constraint equation: of ). - lQ"Q". Substituting
this condition into the L' Lagrangian density, the o-dependent part becomes
*"'- )"r"r'- t
(o'o\2 -X6'r')': --f,ro"o">' (t'2s)
\./ \,/
,/\
(a) (b) (c)
Frc. 1.9.
Field quantization 1.3
oo
/
,/
\ \
to'
Ftc. 1.10. Feynman rules for the Lagrangian L' .
ab ad
\,/
V l"
ab
\/ \,/
\,/\,/
\,/
Y
i"
,^' /\ I
,/\ ,/ \,
c
,/\ 'd c
/\ 'b
Frc. 1.11.
(ii)
The Feynman rule from the Lttheory is shown in Fig. 1.10.
From this we can construct the Feynman diagrams for the four-point function
in Fig. 1.11.
Diagram (a) yields (-i3"\(+i)(-i6", - -i6ob6'd. Similarly, diagrams (b)
and (c) give -i 6o'6bd and -i6od 5b", respectively.
Remark. Very often this kind of auxiliary field is introduced to make the calcu-
lation more tractable. For the case here, the use of the o-field makes the flow of
the internal symmetry indices easier to monitor.
1 .3 Disconnected diagrams
Consider the unperturbed and perturbative parts of the scalar field theory
r+Lr+\-Jr
D:'+r-\+^.1
N: + \-/ O O+
+ \-----
+
Frc. 1.12.
+ i
N: + .
(r ) X
('1+O+O+ )
l'^ P2
,:t- 'n''t
,(ouQor' - 70''' - J(x)Qk) (1.33)
the field operator can then be written as @(x) : Qo@) + Q@), where ds(x) is a
c-number function:
(r.37)
Because dt"llO)
- (0lA(r) - 0 the vacuum expectation value of the unshifted
field operator is non-vanishing:
(b) The 'interaction vertex' in the Feynman's diagrams for this theory is given in
Fig. l.I4(a).
(i) The perturbative expansion for the vacuum expectation value can be repre-
sented by a diagram similar to Fig. 1.14(a).
(old(x)10) : QVQrt")I +
* oor,irrrf ,(yr).. .doynJ(y)Qr(y,)10),
I
- -i' Jf 0",
,q-. (0lrQr@)QrQ)10)/(y)
,n
x Y x Yt lz 0
(a) (b)
Frc. 1.14.
(ii) The perturbative expansion for the two-point Green's function is given by
Fig. 1.14(b).
* (yr + J)l
- @6(x)@e(0). (1.40)
You should check that this result can be obtained by starting either from the
Hamiltonian or the path integral (Lagrangian) representations of the transition
amplitude:
where H - p2l2m and L - (ml2)q2 and the integration measure in the path
integral representation is given by
- (q't^rl#rt'-'tftq)' (1.44)
Using this and the given integration measure, the transition amplitude can be
expressed as
The successive integrals can be calculated by using the formulae for Gaussian
integrals of the form
f@
F(tr,t): -
I:,,:,"
tdq(r)1.^o o,lo,t'+ cnrt * rr1l. (1.53)
{, 1,,"
Namely, we have the boundary condition r7(r) - nG') - 0. Thus ry(r) can be
thought of as the difference between a given q(t) and its classical trajectory.
t4 Field quantization I.6
(b) Show that the prefactor F (t f , ti) can be expressed in the compact form of
where
- 6n- and xnQ) : x,Ui :0. The inregration measure
Il,t x,G)x*(r)
NldnU)l - Nfl,dnj) can be taken as NlTndrn Thus we can obtain an
alternative definition of the path integral as
(ey,tylqi,ti) :N (1.s6)
lrydcnexpislql.
fQt-tt) 7
(Qy,tylqi,ti)
- :N I Vqlexpi latSr(q,q,t)1. (1.57)
J @'''') J
(q
r, t rlqi, ti) - exp(i s [q.])N Ii'.,',t' ldrt(t)l
x exp
I, 1,,"
dt laif * cnn * ,r'll
- F (t r,/;) exp li S,(q r, ty; ei, t)f (1.6r)
F (t r,t) : N
I wna)l exp
f, 1,,"
dt lart2 * crtn * ,r'll
:N i dtr'1t)l-"# +,*+ "] ,r'r}
Itdrt(t)t*o { 1,"
(1.62)
F(tr,t): -
| rydc,expl, 1,," at a(DArt(Dl (1.63)
where I
is the differential operator given in the problem. For convenience, we can
choose the orthornormal functions to be the eigenfunctions of ,4:
Ax,(t)
-l-"#.,ft *,fr,(r) - knx,(t). (1.64)
Then
[,"
Jti
o, rt(t)Art(t) -n I dt c,c*k*xnQ)x*(r) - Dr'; ,, (1.65)
We can check this result by working out explicitly the simple case of a free particle
S : [l,t dt (m /2)q2. Thus A -(m /D@2 / @tz) andthe eigenvalue equation has
-
the form for a simple harmonic oscillator equatio n, - (m 12) (d2 p / dt2) : kn X, ,
which has the solution of Xn - a,nsincr-r,(t - t),witho.,
- (zkrl*)r/2.The
boundary condition ron?f - ti) : nr,with n being an integer, implies thatthe
eigenvalues kn
- @/2)(nr/tf - r;)2. Thus, the determinant has the value of
det A-r/z : f]n k;t/' .Include the multiplicative factor from the Gaussian integral
of (m /2)(iflt/z and choose the normalization factor N' : [2n I im(t y - t)f"/z so
that we obtain the expected value (as determined in Problem 1. 1) for the prefactor:
rL@r, t y)
-I rn r, tylQt, t)t(qi, t) dqi. (1.6e)
(b) For the free particle, suppose t\(q, t : 0) is a Gaussian wave packet:
: (#)''0.*o
t(q, o)
l-t#l (1.70)
:
t{r (q, t)t2
l* "t^]
"'
"^o I #l (1.7 r)
where
o'(t)-o2(t* #) (1.72)
Remark. One may recall the physical interpretation for this spreading Gaussian
wave packet. The initial Gaussian wave function can be thought of as a super-
position of plane waves ei p'*. As they evolve with time, such plane waves acquire a
momentum and time-dependent phase e-ip" /2- ,whichwill make the superposition
go out ofphase for t t'0.
1.8 Path integral for a harmonic oscillator 17
(b) Substituting into the above equation the expression for transition amplitude
for the free particle case as derived in Problem 1.1 and the wavefunction ,lr (q , 0),
The lt* lr has a simpler expression; it is straightforward to show it checks with the
result given in the problem.
, -Td'- j, ( t76)
(b) Show that for an initial wave packet of the Gaussian form
we have
where Q"@)
- \qln) and Hln) - E"ln). Show this and then work out the ground
state energy and wave function by taking the limit of t 0 and t' --> -ioo in the
transition amplitude (q' , t'lq, t).
-
Thus we need first to calculate the classical action S,, then the prefactor F.
Given the Lagrangian we can immediately write down the equation of motion:
q + r2q _ 0. Its solution corresponds to the classical trajectory: q,(t) _
A sin at + B cos rttt wrth its coefficients A and B to be fixed by the boundary
conditions of q, (t : ti =0) : e; and Q, (t
A (Qf - {; cos roty)lsinoiy. Thus,
- t) - qf.Wefind B - Q; and
-
sin a(tr - t) * (1.82)
Q,(t) - =+
SrntDt s [q;
- arsina,lr]
s,(qr,trt qi.o)
- T Ir" a,la?(r) - ,rqltttl
: #=uT Ir" at tq? cos2a(tv - t)'
+ q? cos2oi - 2qiq r cos a,l (t y - 2t)1. (l .84)
This is the expression for the classical action that appears in the transition
amplitude:
lqt, t flqi, ti) - F(tf ,/;) exp lis,(qr, ty, Qi, t)1. (1.86)
Now we are ready to calculate the prefactor F (t f , /r). It can be determined from
the condition of
r
(q r, t rlqi, ri) -
J
I dq(qr, tyle, t) (q, tlqi, ti) (1.87)
where we have inserted a complete set of state {14, t)} for a fixed time t. Explicitly
writing this out, we have
where
r' -
A
ma fcosa,,ftr - t) |
cosr,,l(r - li)l (1.e0)
2i lsina(ts - t) '
-t
-------)-i----------- sin a(t - ri) I'
For our pu{pose of calculating the prefactor, there is no need to work out the B q * C
term as it only contributes to the exponent, which must match the i S,(q f , t y , Qi, ti)
-l
factor on the left-hand side of the equation. Thus with the presumed cancellation
(check this) of the resultant exponential factors on both sides of the equation, the
only relevant Gaussian integral is
r/2
- ti) .
IorexpAq2:(;)'/2-1ffi (1.e1)
- [sin co(tt - t)ft2 FUf ,r) ' [sin @(t - t,)11/'F(t,t). (1.92)
F(tr,ti):1ffi)"' (1.e3)
20 Field quantization 1.8
th@, t1
- J[ on'@, tlq' ,ol4(q',0) (t.e4)
where
(1.es)
and, as is given,
{"(q, t) : (T)''^
l## *ry,-,,,f"' ""0r.
.. I (l.ee)
eigenfunction of the SHO Hamiltonian, and the time evolution comes in only as
an overall phase.
(c) We will first express the transition amplitude in terms of the energy
eigenfunctions:
: -i -+
Setting t
- 0 for convenience, it is clear that in the limit of t' Z with Z oo
this sum is dominated by the ground state l0) contribution:
]i1y@'
, -irlq,0) - 1im Qo@)Q6(q) e-Eor . (1.102)
This should be compared to the limiting expression for the transition amplitude
obtained in part (a)
Noting that both cos ol and i sin ar' inuease as )e'r in this limit:
Compare the expressions in eqns (1.102) and (1.104) and we obtain the ground
state energy and wave function as
I
Eo
-;r, Qo(il: (T)''o "*o(+n) (1.10s)
where eo : e(r - 0) - q(-ip) and A(q, ri) is the Lagrangian in Euclidean time
r -it.
Field quantization 1.10
Compare this with the path integral representation of the transition amplitude, cf.
in particular Cl-eqn (I.47),
(q r, t flqi, til - \q r1e-inGr-ttl 1n,
and the initial and final position identified qf : ei : Qo. Namely, the path q(t) is
periodical
q(tr) - q(ti) : Qo. (l.l l0)
For convenience, we can introduce the new variable z _ i r. The integral in
eqn (1.108) becomes
,
Io-'u
d.t[pq - H(q,D]: Iou
orl,r# - u<n, ilf (1.111)
and therefore
Now use the path integral method, as outlined in Problem 1.9, to recover this
result in two ways:
(a) by making use of the SHO result of Problem 1.8, then performing the inte-
gration over boundary values of qo _ qGt) _ q(t;) as a simple Gaussian
integral, or
(b) by using the approach of calculating the path integral as indicated in
Problem 1.6: Z o< det A-112 with A being the appropriate operator for ttie SHO
case.
r, t rlqi, t, :
@
lffi]''= .,,0
l#;6=6
,lra? + all cosa(t y - t) - ,n,n,ll. (1.1 16)
To get the partition function by following the method given in Problem 1.9, we set
ti:0 and qy :
Qi :
qo;the exponent in the above equation becomes
lm(t)
{...} : ;ll=Zqor(cos aty - l) - -2imasinz(aty
12)
q3
I Stn tDt S
sinruot y
_q; 1_ _unaq;
-imosin(aIS2) . atf
).tan _.
_______________
ru (1.1 l7)
cos(utt1l2) 'u 2
(b) We start with the path integral representation of the partition function as given
in eqn (1.114):
rndet o :
Io'
dr4!# :r lo' r orW (r.r2r)
In the integrand we have substituted otby X.
*oo
d
].'
d X'
t"detA D <^, +4n2n2B-\-t
- n:-@ (r.r22)
:x-2.;+E(,'.m)
an) *& / n) 1r -l
: 'ty-2jrTL ,or,n("U\ - P L
2n \ 2n/ 2X"or1-,f 2
where we have used the identity
ny cothTTy : |* 2y2
D(n' + y')-t (t.123)
n:l
In this way
lndetA- ['pax"otn
Jo ry:zh(sinh +) 0n4)
or det { - (sinh (flx l2))2. Thus
z - N (rinr'
\
ry)-'
2/
(t.t2s)
which is in agreement with the result obtained in (a) when we recall that the
temperature independent constant in front has no physical significance.
1.11 Non-standard path-integral representation 25
(q)q'. L : (r.126)
:f
Thus the canonical momentum is p : f (q)q and the Hamiltonian H _
(p212f (q)). Show that the path-integral representation of the transition ampli-
tude has the form
:
(q',t'tq./) N'
I fdqlexpl, I o,ltr,d) - Lurort' /(n)]] e.nr)
Suggestion. One can start with the expression of the transition amplitude
(q',t'tq,t): rv
I taat I ,^*, {
i
l,'
attpq - H(q, p)tl
I
Remark. This is the counter-example, first given by Lee and Yang (1962), show-
ing that path-integral representation is not always of the form
(q',t'lq,t) : N'
I @qlexpl, I or trn,ill. O.tzs)
,, :
Io* dp ; exp
f,
u,
lo,
(r;+) #;l
:l2of (n,)f"'
'J ^-^ l-
2f (q) , - - ,rl
- ai-r)')' (l'l3l)
I iar '*P L ffi@i
26 Field quantization I.I2
Since we are eventually interested in expressing the [dq] integrand in the form of
an exponential, we will now write the position-dependent part of the prefactor in
the exponential form lf @)lt/2 - exp { it" f (q) }. In this way the above integral
becomes
,, : (#)'" "*o
[,Iry (+.)' -'t#f,, . (1.132)
This is the claimed result. To get to the last line we have used the expression for
Dirac's delta function as
E(0) : rim
dr-*O
l.6/ (1.134)
H,(p,q):#*rrn, (1.13s)
^.,
nrp.A) - !lm *t<i,t. (1.136)
I ,-, I
(pqn)w =
n+l Ita'ra
l:0
)
n+l
I
n
2
(p2qn)* = q^ pqtpq"-t-m. (1.139)
tu -t' -/ ,L,
\' -r 2\, l,m:O
lttu
Remark. To do Problem 1.12, you may find the following identities useful:
n1
D,-;n(n+t)
t:l
(r-1)
na
rAl
> l' : -tt(n -l 1)(2n * l) (r-2)
E6
1,' :l:,t, + rrl' (r-3)
ELzl
and
where (;) - @t/tt(n - /)!) are the binomial coefficients. Can you prove these
identities?
Suggestion. One approach to the first three relations will be to use the equalities
Li:o(t - l)* - Li:rl^ - (n + l)* for m :2,3,4. we note that the left-hand
sides are just different combinations of Di:o/ft with k
- 1,2,3. The last three
identities (I-4,I-5, and I-6) simply follow from the successive differentiations
(d" /dx')(l * x)" at x : I for m : 0, 1,2.
28 Field quantization I.I2
(a) Show that the Weyl ordering of operators p and q can be written as
(b) Show the Weyl ordering of the operator product with two powers of p:
Remark. According to eqns (1.140) and (1 .142), the matrix elements of q in the
Weyl ordering are just of the form (4;11 + qi) /2 as prescribed in the path-integral
formalism.
I .n
(pq")*=-,-Ltr'
n _f | .1:tJ
pq'-t)
| ."
l{nu" * ilq"-t!
n*I',_u
-- pqn + lnq'-t
2'' , (t.146)
where to reach the last line we have used the identity (I-1). This result is the same
as given in the problem, eqn (1 .139), because,
where we have used (I-4) and (I-5). The combination of eqns (1.146) and (t.t4t)
yields the claimed result:
(pq")*
lJ- nl
: 2nf;;q' pq"-'. (1.148)
(qi+t\(pq")y|qi|-+n"*r!-^.(q,*,Iqtpq"-tIqi)
:; (qi+rt
f 0'" *'qi-' Ptqi)
(Qi*t--r qi)' (n,*, lplq). 1.r4s)
- \ 2 /\
(
30 Field quantization l.l2
(b) Before working out the general n situation, let us first consider the simplest
non-trivial case of n 2:
-
(p'q')* : f{a'n' * qpqp + qp'q + pq'p * pqpq + p'q'). (1.150)
so that
(p'q')* : * { lp'q'
+ 2i(qp + pil) + t@q + i)qpl
+ t@q + i)pql + ln'o' + zipqf + ln'a' + ipq) * o'n'l
- Ircp2q'+ tzipq - 3) : p'q' +2ipq - i. 0:52)
This last expression can be shown to be just (q2 p2 I2qp2q + p'q\ 14 which is
eqn(I.l4l)withn -2:
j{a'n'*2qp2q + p'q') tol{n2a'+2ipq *2iqp)
-
+2(p2q *2ip)q + p'q'l
- Il+p'q'+*ipq -2]: p'q'+zipq - L.
(1.1s3)
Thus
. 1 ., I . )
(p'q'), -;(q'p'+2qp'q + p'q'), (r.1s4)
and
Now let us repeat the above steps for the general n situation.
2
(n D <on' I
* l)(n * 2) r.*:o
ilqt-t)q* pq"-'-*
2n
{na'*m onn-t-m * ilnt+--t
(n -f l)(n l2) |
onn-t-m 1
t.*:o
r.t2 Weyl ordering of operators 3l
2
(n*l)(n*2) lpq'** + i (t + m)qt+*_,) nn-r-^ .
,|lp
+ rt lnat+*-t + i(l + *- l)qt**-z1n,-_.t_.-l
(n+t)(n+2)
n
We will discuss separately the three terms on the right-hand side of this equation.
In the first term we have the sum
nnn-lnnn
I
l,m:o
- II - D@
l:0 m:0
l:0
-t +1) - I(n*t)-
l:0
II:0 I
- (n -r r)' - ln@ + r) : r t)(n * 2) Lz@ (1.157)
where the identity (I-l) has been used. We then evaluate the sum in the second
term of eqn (1.156):
nnn-mnn-m
D,ru*m)
l,m:0
-zDI,*D,*D,
m:0 l:0 m:0 l:0
ltn@ i
- m:0 r) - nml - n(n + D2 - ln21n + t1
- )n@ * r)(n + 2), (1.158)
where (I-1) has been used. To evaluate the sum in the third term of eqn (1.156),
we will need to use all three identities (I-l,I-2, and I-3):
D,'u-tm-r)
l.m:0
n n-l n n-l n n-l
-ItD*+It'D-ItI
/:0 m:0 /:0 m:0 l:0 m:0
n
I l- + n(n*l)(2n+1)
::l-3
21
n2(n
4
.
l\2
*3(n*l) - (n *"rJt+Il
: 1
-f l)(n + 2)(n - l)' (l.1se)
8'@
Substituting the results from eqns (1 .151) to (1.159) into eqn (1.156), we have
(p2q")* :* inpq"-' - i"(n - l)q"-z.
p2qn (1.160)
Comparing eqns (1.160) and (l .162) we see the relation of eqn (1.141) is satisfied.
where the Lagrangian density with an external c-number source "I("r) is given by
(a) Show that such an Ll leads to the equation of motion (n + p\O - ,/ with a
classical solution that can be obtained by the usual Green's function method:
(b) Show that, by a change of variable Q@) : Q,@) * ry@) in the Lagrangian
density, the generating functional can be expressed in the form
Remark. One way to understand the i e prescription in the expression (1.166) for
the propagator Ap(x - y) is to note that the path integral expression in (1.163)
is not well defined because of the oscillatory behaviour of exp {i I aax Lrl for a
real L1.In principle, we have to go over to the Euclidean space-time t : ir in
order to convert this oscillatory behaviour into a damping one. We then return to the
Minkowski space by the method of analytic continuation. However, a much simpler
approach that will accomplish the same task is to add a terrn exp{i I d4x(ie)E2]
with a > 0 in the generating functional. This will provide a strong damping to
the Gaussian integral. The generating functional will then be well defined. The
Green's function for the corresponding equation of motion (l + p2 - i e)Q
- 1
is of the form
Jol
Ioo*Lt: Io^.llraOf - ie"' -
srrdl - ie)Qz + (1.16e)
(r,+p2-ie)Q@)-J(x). (1.171)
with the Green's function (the propagator) being defined by the equation
Equation (1.I73) can be solved by Fourier transform with the solution being given
by eqn (1.166).
34 Field quantization 1.13
(b) The change of variable Q@) : Q,@) * n@) in the Lagrangian density of
eqn (1 .169)
:
s.,tdl -I oo* Lt
I o^.lLor-" - p\o * ta) (1.17 4)
I o^.{l+r,r
2)Q,
silQ, * ql - +t a rQ,)
Because @, satisfies the equation of motion, the second term on the right-hand side
vanishes and the first term can be simplified, .
:
w,IJl:
| ,or,exp{i s"rtdl} I ,or,exp{i silQ, * nll,
(r.r77)
we can then factor out the part of action which is independent of the 4(x) field:
* + u'tnatl
| wru)l exp I ; I do* n(x)(n
- y)r(t)o^rl
Nexp
t ; I dax l(x)Ar(x -
(1.178)
where
where the operators A(x)B(y) ... can be either elementary field operators like
Q@) or composite operators llke Q2(x). Suppose the operator A(x) has a non-zero
matrix element between the vacuum and some one-particle state carrying quantum
number a,
Show thatintheupperhalf of the energy plane Qo > 0 the functionT(q, ...) has
apole structure of
_
(0lA(0) lp, a) ,-in'' , and
Inserting this into eqn (1.183), we can evaluate the function T (q) in the limit of
q2 - mf,wrtheo > 0
where the ellipsis stands for the remaining terms, which are clearly free of poles
and hence can be dropped in this limit. This is the desired result.
We also note that for the case of (q, a lA(0) l0) + 0 there will be a pole term in
the qs < 0 region of the form
Remark. One of the key features of the QED theory is that it is invariant under
the gauge transformation (see Cl-Section 8.1 for details)
Solution to Problem2.l
(a) The superficial degree of divergence D is related to the number of external
boson lines B and the number of 03 vertices nrby Cl-eqn (2.133):
D-4-B-nr. (2.4)
(i) B - 2 (the self-energy diagram): see Fig. 2.1(a) for the one-loop divergent
lPI graph. Thus D
- 2-nr. Since the number of external lines is even, ,? I must also
be even: nt :0 and 2,Ieading to quadratically divergent Q2 and logarithmically
divergent }rQ \rQ counterterms.
(ii) B - 3 (the Q3-vertex diagram): see Fig. 2.1(b) for the one-loop divergent
lPIgraph. Thus D
-I -nt:0,asn 1 mustbeodd(hence nt:1), leadingtoa
logarithmically divergent @3 counterterm.
(iii) B - 4 (the Qa-vertex diagram): see Fig. 2.2for the one-loop divergent lPI
graph. Thus D 0leading to a logarithmically divergent Qa counterterm.
-
0+ <
38 Renormalization 2.1
(a) (b)
O
Ftc. 2.2.
Y OO8
YYY
(a) (b)
Frc. 2.3.
Remark. We may also consider the 'tadpole diagrams' of Fig. 2.3 with B - |
and D - 3 - n1 with odd nr : 1 and 3. The quadratically divergent ones are
shown in Fig. 2.3(b), while the logarithmic divergent one is shown in Fig. 2.3(a).
(b) Here both the external boson and fermion line numbers enter into Cl-eqn
(2.r33)
a
D:4-B--F.J2 (2.s)
Let us enumerate all possible terms starting with the lowest possible external
fermion (electron) and boson (photon) lines:
(i) f : 0, B- 2 (the vacuum polarization diagram, Fig. 2.4(a)): thus the
degree of divergence D
- 2 (i.e. quadratically divergent). In order to have a finite
term we need to expand this contribution r ur(k) beyond the second order in photon
momentum ft:
Thus the required counterterms are (A)2 and G il2 . But there is no gauge-invariant
counterterm of the non-derivative form (ilz .However, there is one gauge-invariant
term of @ilz: (}uA, - A"A)(AI'A' - A'Ap), which is the same form as the
photon kinetic energy term FurFP' .
2.2 Divergences in non-linear chiral theory 39
.affiiF4,
\,/^\,/-\-4.#i.4i$fifl#ril-r\-/\-/^\-,
IL \gW V
(a) (b)
F,?.n+^ *& /
vvvlf!#4!{fiw
A\FffiFN\
YiidHE#.y \
/
\:&:!v \i!.i:ijz \
(c) (d)
Frc. 2.4.
where
/ it. 6\
u_exp('
r /
and t- (rr, rz, 13) are the Pauli matrices.
40 Renormalization 2.2
Also / : 94 MeV is the pion decay constant. (For more discussion of non-linear
chiral theories, see Problems 5.7, 5.8, and 5.9.) Use power counting to enumerate
all the superficially divergent Green's functions at the one-loop level and construct
the appropriate counterterms.
Solution to Problem2.2
The superficial degree of divergence is given by
D-4-B+L",(bi*dt-4). (2.rr)
i
For the chiral Lagrangian, we have the number of derivatives in the i th vertex being
di :2, for all vertices. Substituting the topological relation
into
7-(IB)-Ini]-r (2.r3)
i
we get
l-
t: tLr,(bi B
-2) -t + t. (2.r4)
D
-4- B +D",(bi -2):2+2L. (2.ts)
This gives the result that at the one-loop level (L : 1) the degree of divergence
D : 4, independent of the external lines. It implies that the number of derivatives
in the counterterms should be four or less. The term with two derivatives is just the
term in the original Lagrangian. The four derivative terms should have the form
Similarly for the other counterterms. Taking into account the SU(2) x SU(2)
symmetry, the counterterms are of the form,
lrr(Tpur a*U112
Tr(|pUl 3*U A'Ut A,U)
Tr(|pUUt A,UUr ApU[Jt A'UUt)
T r (0p uI au u)T r (a,ur a*u1
i Lrr,(k)
'
: ::+ (2.18)
k' * tt
Use the formula deduced in (a) to write down all possible renoffnalizable and
super-renormalizable interactions for dimensions: (i) d 2 and (ii) d 3.
- -
Solution to Problem2.3
From the structure of the graph we have the relations
(IB)+(In-D",rI-L (2.20)
where -L is the number of loops in the graph. The superficial degree of divergence
can be calculated by using the relation (2.20)
D - dL -z(tB) - Qn * Fn;d;
,:(=) hnb-,]
.G) [P.,,, -,)
+Ini(di-il+a
i
-d-(=)'-(+),
a \-,,1a, . (T) u, * (? r, - o)
42 Renormalization 2.3
Or
D_d_(=)u_f+)
\ 2 )- \ 2 )
F*lni6i e22)
i
Clearly, these results check with Cl-eqn (2.133) for the case of dimension d - 4.
(i) The d
- 2 case: Equations (2.22) and (2.23) are reduced to
Note the interaction of the type ArAp is super-renormalizable but not gauge
invariance.
. renormalizable interaction,6i : 0
(ii) The d
- 3 case: Equations (2.22) and (2.23) are reduced to
t=
D -3 - -F * f/r n;6;,
' 6i: di +?I +' firt - 1. (2.21)
2
. renormalizableinteraction, 6; : 0
di : 0, 06, 'l"ltO',
di : l, orQN'L2. Q.29)
2.4 n-Dimensional'spherical' coordinates 43
where
and
1-r?+xl+...+*3 (2.32)
Solution to Problem2.4
We will solve this problem by finding the relation between the volume factors in
nand n - | dimensions. Namely, we will proceed from the simplest n 2 to
higher-dimensional
-
cases :
(n
-2) ----+ (n:3) ----+ (n
- 4) -+ (generaln). (2.34)
(a) n
-2
Here the two Cartesian coordinates (xt,xz) are related to the familiar polar
coordinates (rz,9r ) by
(b) n
-3
Consider a sphere in three dimensions. If we cut this sphere by a plane perpendic-
ular to the -r3-axis, we get a series of circles in the planes spanned by Cartesian
coordinates (rr, x2) which are related to the polar coordinates (rz, gr) by
The infinitesimal distance on this plane can be expressed in these two coordinate
systems as
We can also cut the sphere by a plane containing the x3-axis, resulting in a series of
'vertical circles'. On these two-dimensional subspaces, the Cartesian coordinates
arc (r2, x3) and the corresponding polar coordinates are (ry,02).We recognize that
02 is the usual polar angle.
Combining the two sets of coordinates in eqns (2.38) and (2.40), we get the usual
spherical coordinate relations,
xt : 13 sin 02sin01,
x2 : 13 sin 02cos01,
The volume element can be obtained from the product of these three terms
dV3
- @r)(r3 sin 0z d7)(rz de) - r.2 sin 7z(drz dil d0). (2.46)
2.4 n-Dimensional'spherical' coordinates 45
(c') n-4
We can also imagine cutting the sphere in four dimensions by the manifold (xq
-
constant) to get a three-sphere with radius 13 : 14 sin 03, where we can introduce
three-dimensional spherical coordinates (r:, 0r,02) as in eqn (2.43)
l':,=;l :l
,;
- 1 # ,.-,;J'; (2.41)
Now we introduce two-dimensional polar coordinates (rq, gl) in the (r3, xa) plane
(dr)2 + (d.xq)2
- (drl2 + rlgeS2. (2.50)
In this way the infinitesimal distance in this four-dimensional space can be rewritten
by using eqns (2.48) and (2.50)
(dtq)2
- [(dx)2 + (dx)2 + (d.x)2] + (dxq)2
- [(dry)2 + rl@e)' + r? sin2 ez(det)'] + (d.*02
::
xn : r, cos9n-1 Q.53)
where
- dxrdxz...dxn
'
dVn
:':'i,ii;!:;;,r,;,'.:';;];
es6)
(a) Is(a.rt)-
I#
.(-n)n/2 f(a - nl2) I (1 <'7\
(2n)" f (o) (M2 - P2 + ie)u-(n121'
(b)
. fdnk
Iu\a,rrl:Je"y@ kp
: -pplo(a,n). (2.58)
(c) Ir,(a,"r-Je"yffi
f d'k kuk,
(d) Irur(a,n)-l#ffi
: 1o(cv.
t-,
n\lnup,pp + i(su,pp I Bupp, I S,ppp)
M2-p2 I
"1"-42-nl'
2.5 Some integrals in dimensional regularization 47
Solution to Problem2.S
(a) In the Feynman integral
Io@,n):l# , (2'60)
where k'
- k * p. For the case p2 , M2, we can perform the Wick rotation to get
D - -82 + M2 - p2 + it - -(82 + o2) (2.62)
fd"k I I
(2'63)
Is(u' tt'
-' J Q"y FD" G'z + a'zY'
As usual [see Cl-eqn (2.112)1, the n-dimensional angular integration gives
f
on' :
2nnl2
(2'64)
J ro'lD'
Then
rg(a.n):,8;#1,-##
: i (-1;-" 2nn/2 , f* 7nl2-ttry
(2ry r or lDl Jo e + ary
t(-t)-" rn/2 I t@12)l(a - nlz)
(2n)' l(n12) (q2\a-tn1zl f(cY)
: (-n)"t2 l(u - n/2) 1i
\ 2"a5 t
Qn, l(" ) @'z - p'? + D"-";'?'
One of the most common convergent Feynman integrals has cv 3,
-
1o(3,rl):i#
_ (:),,1_'r(3 - (nl2)) e.66)
(2n), f (3) (M2 - pz + ie)3-n1z
which gives. for n 4,
-
fdlk I
1ur3,-lr:;/
e"y@
il (2.67)
32n2 (M2 - p2 + ie)'
48 Renormalization 2.5
I,(a,,,:l#ffi (26s)
and the term linear in k'u gives zero because of the symmetric integration. The
result is
(c)lu,(a,n):l#ffi
f d'k -
=JQ"Y@
(k'u pil(k', - p,)
--+t#+#
! l,or" - r, n) - a2Is(u, df . el2)
Using the identity f (x + 1)
- xf (x), we get
Io@-r,n)-;=%ts(u,n) (2.13)
and
I,u(4.n)-l#ffi
-lr,p, t )B,,tM2 - p\ c+,)f ,oro, nt. e.ls)
2.6 Vacuum polarization and subtraction schemes 49
It,(4,+1
-fnup,t|B*"1M2 - n2l]-L--f
96n2 (M2 - p2 ..-) .
+ ie
(2.16)
(d) I,o(u,n):l#ffi
- P')(k' - P)(k'' - Po) e..t\
- Jt !L(k''
(2r), (k2 + a2)"
Solution to Problem2.6
The usual vacuum polarization in QED is given by
:-(-iesr
I #r,lr"T_;Trr, t _u _^*uf
(2.78)
where e -- 4 - d and trr is some arbitrary mass scale that one can introduce in the
dimensional regularizatron scheme. The integrand can be simplified as
-"lr i
-rrl"*il-m+br,uil-d-m+ie) 1
r
- - tp, - m, + b ll-
:_[ )lA - -' q)2 m2 + ie
I
)
xT rlyo (il + *)yF (il - d + Dl. (2.80)
50 Renormalization 2.6
where fu is the identity matrix in d-dimensional Dirac algebra space, with the trace
rrl4-f@). (2.83)
Here f (d) can be any function so long as it has the property f (4) - 4. It is
straightforward to see that
(2.8s)
with
Trop(q)
-i,z I o" I #r'G# -A (2Bs)
To simplify the integration we shift the variable, p --> p luq. Then the numerator
(2.85) becomes
where we have dropped terms linear in p which will vanish under the symmetric
integration in p. Then we have
ir"P (q)
-i e2ort' f ,, Ir'
o,
| # @+
, lrr" ,u - 2u(t - a)q" qfl
2u(l - u)q" qF
ron(q) o,
-ieitt'rat fr' I errr!:Ll#-Y. (p2 - a2)2
I-
. 2a(l - u)q2g"fl g"P I
' (p' - a2\2 p' - o'l
The relevant formulae for the dimensional integration are eqns (2.57) and (2.59).
- f ddp
tu: I : i(-n)d/'l(u-dl2) I
+2'931
J (p'? -;ry ,2n',a l(") et'?Y-dt'z'
";F
: I ao u pp p'
1r"..
gu' (
- !2)
' - I Q")^ Q'z -r'zY - 1o - 412- ,, 10. (2.g4)
r"'t'
Using these we get
f !L- g:-
: soni( o)0,/'r(1 - dl2) .
I Qild (p, - a2) u (2n)d l(t ) --l-
(-a2)t-d/2' e.s6)
r(el2) 2
*tn(4n)+ o(e) (z'ee)
@";rt:;-Y
where T :0.5772. . . is the Euler constant,
we get
r (q) -
+# Io'
ooa( r - ", [: - y -r tn(4n) - rn
lt;":4ll
Write
nr,as(q) -- l9r-y
zTt' I 3
*rn4n)
_1,'daqr_a)"lryll
This corresponds to choosing the renormalization constant,
1Zr1)vs-t*6*. Q.to2)
2.1 Renormalization of )"03 theory in n dimensions 53
From this result we can study the low- and high-energy behaviour of z(4). For
lql' < *2,
f m2 u(l ulo21 m2
lnf - .,-
a2
l-ln )-cv(l-c-):= (2.104)
Lp'Jp'
and
oo u(r - ultnl
fm2-a(l- v u)
lr' ,t
fm2
(l-a)lln
- fo'ooo L lt'" -, a ( I-a ,#l
1m2
:-ln-
6p2 -301 (#)+
(2.10s)
Then we have
n6(il:-#mt,.#(#)+ (2106)
and
^1#] ='"(="ff) ['- m2
q2a(l _ a)
I
l
m2-u(7-u)q2 -I
Irt
oocu(l - ")t" I p2
:"(#) I,'duu(t-u ,
* Ir'
do o1t - a) ln[a(1 - cr)]
Solution to Problem2.T
(a) Since the action S : .[ d" x L is dimensionless, Lhas the dimension n. From
the mass term or the kinetic etergy term we see that @ has dimension (n - 2) 12,
which gives the dimension of i.e as (6 - n) 12.
(b) From eqn (2.23) we know that the index of divergence for the Q3 interaction is
6-3(+)-n-(+) (2.ttt)
which, as expected, is just the negative of the dimension of ).e. The superficial
degree of divergence is then
o'o
-iE(p)-(iLott')2 [ (2n)" --:- ' . (2.115)
2 I &2 - mz) I& - p)2 - m2l'
L'01"" t(t)'= oo
E(p) - ^[' (2.116)
2 (4T),/2 Jo lm2 - d(l - a)pz - iele'
Using
Jo | *'-ll
We now rewrite the Lagrangian as
- I - . 4a,-Lr'6,-!u*rO,
L:t@uf)'-ia-- ya"-z (2.118)
with 6m2 : m2 - *2*. This amounts to the replacement m2 - m2* and add the
term l6m'O'ut a new vertex. The new self-energy tR(p) is then
Now if we choose
I r I* I
d*'-{^2 (41rY (2't2o)
L-; '.1
where c. is finite for e -+ 0, but is otherwise arbitrary (different renormalizatron
schemes correspond to different choices of cr), then the pole at e
- 0 cancels
out and
ER @, m n) : + #1,^ - y t tn (H)
-1,'d^nlryll
is finite.
We now study this choice of c^ in various renormalization schemes.
56 Renormaliz.ation 2.7
for some M2. (This corresponds to normalizing the propagator such that it is the
same as the free propagator at p2 - -M2 ) Then the constant c^ is given by
c* : v - tn (ffi *
I,'
dutnlryf <r rrr>
-1,'d^nlry- rs]
l
I
(iii) Modified minimum substraction (MS scheme) It turns out that the
combination
cm : y -ln4n (2.12s)
and we get
,R (p,rn n) :-- rA I ft
2 (4n)2= lo
dr"l*'o - u(l fi u)p2 - ie ] erz6)
(c-II) The tadpole diagram
We have
j'k_ ,
2 If Q"Y k? - *'*=_LLot'f(e_r)(mn)t-,.
ir_QLo_t"') (z.tzj)
2 (4n)2-e ^ "
(Old(0)10) : T
., (2.r28)
m'R
and will give an infinite constant vacuum expectation value for the field. To elim-
inate this infinity, we can add another counterterm to the Lagrangian of the form
This counterterm will have the effect of cancelling all the tadpole terms, without
interfering with any other consideration.
2.8 Renormalization of composite operators 57
The one-loop divergent diagrams for these composite operators are shown in
Fig.2.7.
oOf
: yt'
/\Az *t :(n'+o;v
/
/\,/\
Pt P2
Ftc. 2.6.
58 Renormalization 2.8
aoi'
/\
/.\.
4/'
"ro,
(a) (b)
,'q'| l1noy
tt
.r'
4/
i-----\\p' pr '/
-!.'-- \' p2
(c) (d)
Ftc. 2.7.
where the first term is logarithmically divergent and all other terms are finite. Thus
we need a counterterm of the form
Figure 2.7 (b) gives a logarithmically divergent Green's function for the operator
Ol withtwo scalar external lines. Again, separate out the divergent part as
-i(rr,tn(t:" t::)(3)
- i 4'zij or QJ4t)
2.9 Cutkoslcy rules 59
where
The renormalization constants are now in the matrix form, explicitly display the
mixing of these operators,
t- : Zrt Zn\
(
(2'143)
\tr', z;; )
which is neither symmetric nor real. Nevertheless we can diagonalize this
by biunitary transformation (see Cl-Section 11.3 for the details of biunitary
transformation),
Z -
(r ZaVI . (2.144)
where
ry (2, o \
'r:(o zr) Q't4s)
0l : v,rio!, i! - uliJf
This means that neither Of nor Ol are multiplicatively renormalizable. But the
combinations
Show that in the complex s plane, the imaginary part for s > 4p2 is of the form
I
Imf(s) :
rlf(s * -
ie) f(s - te)l
Solution to Problem2.9
From the structure of the two propagators, the poles are located at the following
two locations in the complex ks plane. From the second propagator, we have
ko
- * (t'+ u')t'' + ie - L(Er, - ie) (2.150)
where Er, : (k2 + p,2)r12, and from the first propagator, we have
(ko*Po-Ep+r*ie)
We can close the contour in the upper half plane and get the contribution from the
residues atks - -Er*ie andko: -po- Ep+k* ie.
(i) Residueatks: -Er I ie
t^
rr - -Lr" QEk-is) CEr+ Er.r+ pr- lt) (-Er- Er.r+ pr+lt)
(2.ts2)
The last two terms in the denominator can be put into the form
, -LrL'
12: ^_: _
QEp+k- is) (pr+ Er.r - Er+lt) (no+ Er*r,* 81, _ ie)'
(2.rs4)
/l\t
Iz:-2ir,\n*)W. (2.156't
see that this denominator never vanishes for s > 4p.2 andwill not give
It is easy to
discontinuity in the physical region. Thus if we close the integration contour in
the upper half fts plane, only 11 will contribute to the discontinuity in the physical
region.
For the calculation of the discontinuity, we write
/ l\ I
Iy
- \-2it,, \m ) p@ __ zEk + b,
t2.t57 t
disc 11
- I{p * ie) - IrQ - ie)
- (-hri)'d(p - rtr, (+) (z.tss)
f"l
tr: dkoG2ni)6&2 - p2) (2.160)
J
We see that this corresponds to replacing the propagator (k2 - p.2 + i e)-l by
(-2n i)S (k' - p'). Similarly,
7z f d4k
disc r(s) -; J r"y?2tri)6(kz -
p211-2trt)dt(p + D2 - p2l Q.r62)
which is the requested result.
Discussion
,
" "-
K'-p'+tt
1
-----, 1-2n i)s&2 - p\e (kd . e.t63)
62 Renormalization 2.9
L2 fdak, dak, aa I I
f(s)- T p)&r,
_u?+is\E_u
J e"ye;F(2ir)*6"(kr*k2-
Then using the replacement given above we get the discontinuity as
x [4, a
I fzrl,G2ni)6(k3 - P2)(2n)4
L-;@,0)2-!r'-fi0^
I ^ 2 Ln
^'^,2
- ){a,Qo)'-;O'^- (counterterms) (3.1)
iu'0X+
where Ln, Qn, and mp are renonnalized quantities, and p is the arbitrary mass
scale one needs to introduce in the dimensional regularization.
Use the fact that the unrenormalized n-point Green's functions l@) (pi, Lo, mo)
depend on the bare parameters (ms, )"0) and are independent of the arbitrary mass
scale, trr,, present in any scheme of dimensional regularization,
rhl@) (p,, )"s, ms) :0, with ms,)'e held fixed (3.2)
f, n A A 0)"" 0 Emo E I
ztt^dplnZa*lt^dtt +p-*dlt d),.p*u-=:
* ap a^ * l
I )
fg) (pi, Ln, //tR, lD :0.
"
Defining the quantities,
.laDlnDmn
YQn): tu fl{x*1 - P
A;, Y.(Ln)mn: F r,
*lnzo.
(3.s)
64 Renormalization group 3.2
Remark 1. Implicit in such calculation is the fact that the bare quantities ,1.6 and
rfls zta held fixed.
LnQ-t)
- p-uz-t(p)lo Q.7)
udZ
fl (Lil - -sln - Z du^o (3.9)
Show that
y,2
fl(L): . (3.11)
""r+o(,t,3)
Solution to Problem3.2
(a) By explicit differentiation of eqn (3.7), we have
0).o_ pi:
Qil _ p=
A
F ztDxo)
dp dp'@_,
- -elt-'Z(lr)fo - Lr.-'l-t+;,
d 1t'
pdz"
--strn- 7 ou^- Q't2)
3.2 Renormalization constants 65
(b) Substituting the one-loop result (3.10) into eqn (3.8), we get
Z-t-z^tzto=z^t-r- # (3.r3)
tdz 3
(rn) . (3.1s)
Zu du = r6jr%P
:"*")
, freil--srn(t* #)'--,)".(t- (3r7)
fl gil : ro7r'
::i"+ o ('r'|) ' (3'18)
lo : L(tDp'Z. (3.19)
_ br(l),J9 + ...
Z-l* , ++ U r.. (3.2r)
then
).2:^*ar(l)
t'
+29 +... (3.22)
66 Renormalization group 3.2
By identifying powers of e on both sides eqn (3.24), we see that the B(),) series
must terminate after the first power of e (fl* :0 for ft > 1):
and
F(L):-^'\i).
^'(U\ (3.30)
In fact, _eqn (3.24) also relates different powers of (l/e) in the expansion of
Z(or ),2). From the coefficient of (l/e)'we have
.
-an+t*n^dan+t._(_n,*^do,\+.
aX
:\-o' *^^)^ (3.31)
Thus all the coefficients cn with n>I can be determined from ar, by repeated
use of eqn (3.31).
3.3 p-functionfor QED 67
'ef
iezD*u(q) - -Vffitr, (3.32)
where
and
where fr (q2)
- n(q2) - z(0) is finite. Show that in one-loop, we have
,'errf) - e2(-p2R, * #r^4 (3.36)
F@) - p^9,
dFn
(3.37)
n(qz):*##t1,'oofta_n,a;4,,
#{ (: *h4n-,)
pt
- a) r"l---i-)*
fm2-o2u(l-a)l I
-u
J,
dau(r o,',1 (3.3e)
68 enorrnalization group 3.3
: -#
Io'
oou(t - o"1#l (3 40)
Write
:
ffi5 - Re n(q\l' ( 3'4t)
"(q') "lr-
For the case of lq'l > m2, wehave
This means that a heavy fermion will decouple in the vacuum polarization at
energies much smaller than the heavy fermion mass. This property will enable
us to ignore all the unknown particles which are much heavier than the present
energies.
,y,(q') :# ooa(t e
In the limttm2 > lq'l we get
Io'
-
^^l#l 46)
' -'3=
o1r(qr) --, h(4\)
r2rz"'\p,
(3.41)
which is non-zero. Thus in this scheme, the heavy particles do not decouple at low
energies. One way to remove the effect of the heavy particles is to integrate out
3.4 Behaviour of g near a simple fixed point 69
the heavy fields in the Lagrangian and work with the effective Lagrangian without
the heavy particles.
with a being a known constant. This example illustrates the typical behaviour of
the running coupling near a simple fixed point.
Frc. 3.1.
-
The initial condition for the running coupling constant is
E(t) -+ So at t - 0.
g(t)+a if Bo>0
g(t) --> -a if 8o < 0.
This can be verified by more explicit calculation as given below.
Carrying out the integration and using the initial condition, we get
#1"(h)_h(_+)l :, (3.s0)
70 Renormalization group 3.5
or
r3 *), _
\E:- ,-2a2t (3.sr)
E'(s3 - o')
so that
-ta
E: (3.53)
" (l - Ae-2oz'1r/z'
To choose the sign, we need to go back to the initial condition that g gs &t / 0.
- -
For the case ge > 0, we take the positive sign
_a
o
(t - lt-2"")'l
so that at t :0,
g----o-:,?, a:go.
ov
Q - 41112 @lsd
In this case, g --s. at as / -+ oo. For the case go < 0, we need to choose the other
sign
_-a
: (3.5'+.1
E
"-(t- 1.s-zazt)t/z'
Then we have E
- -a as / -> oo.
3.5 - fixed point
Running coupling near a general
At the stable critical point g : go, show that
(a) if B(g) has a simple zero: B@) - -b(S - a) with b > 0, then the approach
of S(t) to gs as t --> @ is exponential in r;
(b) if B(g) has a double or higher zero: B(g) - -b(S - a)" with b > 0 and
n > l, then the approach of g(t) to ge as t + oo is some inverse power in r.
ds
--o-p(il, f dE f ..
l=--:---lbdt, (3.55)
ctt J 8-a J
3.6 One-loop renormalization-group equation in massless )"Sa theory 7I
(3.s6)
^(ffi)--u,
with b > 0,
I I
r= I l- 1 ' (so-a)'.t)-u'
[J G-a)n
-oE --[uo,
I tu- DLA-q)n-t
or
'w'
E:a*[ l-' aio(t-r/t,.-rt1
- \- . (3.s8)
lll3o_ a)n-t +@ - t1U lr-oo--'
p(r)
*^ -
,r(D)r$) tp, , p2, . . . , p,) :0. (3.5e)
l, #+
Verify explicitly, the one-loop result for the four-point function f [o) {f t , pz, pt)
satisfi es this renormalization-group equation.
we get
Solution to Problem3.T
ftc. 3.2.
t_(-ir, Ids(h)';
: r' - --a(t -u)P2 (3'68)
I # l fd witha2
3.7 B-functionfor the Yukawa coupling 73
where we have combined the denominators by using the Feynman parameter and
have shifted the integration variable k --> k I ap. The divergent part is then
f d4k I i / 1v2 \
J'
(3'6e)
(2r)a (kz - szl v:t6o'('t"7+ )
so that
if3 / 1v2 \
r:*n(.t"o+ (3.70)
).
The vertex renormalization constant is then
s2
zr: |+
#tGnA2 +...). (3.71)
z7' :
frr --laoh fi<'> (3'73)
(ii) Fermionself-energy
, f d4k i i(il-r)
>v@) - (-if)' J e"y pffi' (3'74)
af3 : (3.78)
flz - -/ a(lr, ,,\)
Z,L
*;2.
Since there are two such diagrams in the vertex, this contribution should be
multiplied by two.
74 Renormalization group 3.7
Eo@) _ (-if)2 n,
I #r, (; 6+)
_,\-/r
tr2 t d4k rr1#@ -f)l (3.7e)
- J e"y kre _ b,
The numerator is, in the dimensional regularization,
The denominator is
lfr : I
:
k\p - ky
o" with o2 -a(r - a)pz (3'81)
J0 @ -4
where the shift k --> k * aphas been made. With the shift the numerator is then
The self-energy is
>6(il--r2
I# Io'oo*!*&2+a\. (3.83)
I
dd
(2tt)d (kz - 6z7n (4rf 1z r(n ) #)"-',-' (x) (3 85)
we get
Eo@) : - r,
Io'
oo
#; (Ih) . (' - ) (#)'-''' (3.87)
3.8 Solving the renormalization-group equation by Coleman's method 15
-in2f2 / 2 \
Eq(P)ai,: -*fr\o -io2f2 L2.,
u ) - -Gf2tn (3.88)
where we have used the correspondence (21@ - d)) -+ ln A2 (see CL-p. 56). The
wave function renormalization constant is
sz Lz
Zo:l+G*zt",, (3.8e)
flt:- -L'
16n2''
(3.e0)
fl:(flrt2flz+Ft):#(r*r* ,l *, \) - i,r.
5f3
(3.er )
(a) Show that the density of the bacteria p(t, x) satisfies the differential equation
d
x) : u(t). (3.e3)
ati(t,
Show that if p(0, x) - po(x), then at later time p(t, x) is given by
p(t, x)
- ps(r(t,x)) exp
Ur'
or'rrt(t' , i)f . (3.e4)
Consider a fluid element / with length dx locatedat x. The bacteria in this fluid
element is just p(t , x) dx. At a later time, t + Lt , this fluid element is replaced by
those which were located at (x - uLt) at time t. Thus the rate of change in the
bacteria density in / is
lp(t,x)-p(t,x-uA,t)l (3.95)
A,t =ry0x
where we have made the approximation p(t, x - uA,t)
= p(t, x) - u\p/3xA,t.
This gives the second term in the differential equation.
(b) Integrating eqn (3.93) for I, we get
J- + [' 0,,.
[' u(y)_ Jo"'' (3.s6)
dt'g(It-r',
"ll] .
p(t, x)
- po(i(-t, x)) (3.101)
^rUr'
Remark. The generalization to a higher dimension is simply
l-a* ui(xr,...,x,) a I :0.
- 8(xr,. '. ' r,,l)0U,x1,....f,,,) (3.102)
L* axt
Define
d
xt, ..., x,) - ui(Ir, ..., i,) with I;(0, x1 xn) : xi.
Eit(t,
(3.103)
The solution is then
r'rz,trn:pr.pz):(+)l#l"Hl1t,-r,,-o)(3r's)
This has exactly the same structure as the function l(p2),given in Cl-eqn (2.10),
which appears in the four-point function. Taking over the result, we have
and
(ii) Anomalous dimension of Q6 The one-loop divergent graphs are all of the type
shown in Fig. 3.3 with altogether (!) Oistinctive diagrams.
Frc. 3.3.
This again can be expressed in terms of f (p2). Taking into account the combina-
torics we get
U - exp(i H) (4.1)
where 11 is hermitian, HI - H.
(b) det U : |implies that H is traceless.
Remark. This result means that n x n unitary matrices with unit determinant can
be generated by n x n traceless hermitian matrices.
vuf - ua (4.2)
,, :[
/ eio, \
'l ,0,,
I
\ ,'o')
where o;s ttre real. It is then straightforward to see the equality tla : siHo, where
Ha LS areal diagonal matrix: Ha - diag(u1, d2, . . . , d,). We then have
(J : Vt (laV : yl ,i Ha V : eiH (4.4)
(b) From the matrix identity ,rrA - det(eA), we have for U : eiH
- det(eiH) : detu.
,irrH (4.6)
(a) For every 2 x 2 unitary matrix U with unit determinant, show that there exists
a matrix S which connects U to its complex conjugate matrix U* through the
similarity transformation
(b) Supposefr and,[2are the bases forthe spin-] representation of SU(2) having
eigenvalues of *] for the diagonal generator 73,
H:atot*a2o2*a3o3 (4.10)
with real coefficients of expansion cs. Since cr1 and 03 ata real, o2 imaginary, we
have
H*:atot-azoz*aloz. (4.rt)
Equation (4.9) can be translated into relations between S and Pauli matrices:
S-torS : -dr, S-lo2S : oz, and S-1o3S -o3. Namely, the matrix S must
-
commute wrth o2, and anticommute with o1 and o3. This can be satisfied with
S:c6z (4.t2)
,lr'* : u* rh*
- (s-1 u $(t. or (sU*) - u (st*). (4.14)
This means that Sry'* has the same transformation properties as vb. Explicitly, with
S : ioz, we have
r: ([':) (4.t6)
tz@rD-tz((rr):i
tz@r)-tz(L)--t. (4.18)
4.4 An identity for unitary matrices 8l
(b) Show that the matrix B is invariant (up to a phase) under the transformations
generated by the matrix A, if these two matrices satisfy the commutation relation
of[A,B]:8.
::
{: L- - r cn-ie-ixA
,i)"AyfA, + {:l i'fA, c,-rf : cn.
dLn l^:, -
in
d)rn - - rt- t J-
(b) To show that 'the matrix B is invariant (up to a phase) under transformations
generated by matrix A' means to show that
for an arbitrary real parameter a. But from Part (a) we have already shown that
where we have used the basic commutation relations satisfied by the Pauli matrices:
(A. o)(B . o) : A .B
* io. (A x B). (4.28)
with n : I,2,. . . . The desired identity for the unitary matrix then follows as
exp(i r .o):+;$.o)n
_ IL n:
'!r, +(i.o) f4.nt'1r'
':ooo
: ;r;"* (i . o) ,,n,. (4.30)
Remark. This relation holds only for 2 x 2 unitary matrices and does not hold
for higher-dimensional cases, where anticommutation relations are much more
complicated than just the Kronecker delta.
Fi : (4.3r)
I ,,urtn@)d3x
where the quark field operators
{
tr;:i
i.*
q(x) (4.32)
tit
ll t' -
irr.
flt;
f;i,i
G.i:)
[:l
,i,;i
fa"(r),
qlDll',:r, - 6ob63(x - v), (4.33)
lli,
fi:i
llt; and where ).t, with i- 1,2, ... , 8, are the Gell-Mann matrices
fi
th,
(4.34)
ii.,
li
;ll
qi
It'+l-;vii't'
fi'
show that { Ft }, if assumed to be time-independent, generate the Lie algebra SU(3):
w! : ,;@)q"(x) d3 x. (4.36)
|
Show that W) is just the isospin raising operator. Similarly, Wl and W] ate,
respectively, the U-spin and V-spin raising operators.
84 Group theory and the quark model 4.6
Remark. In this notation the third component of the isospin generator Z3 takes
the form of
rz: qJq)a'*
L
lrr,, - d.ra)d3x: L l<n[n, -
: trwl - wh @.41)
and the hypercharge in the form of
y : ! rur, + dId- 2sts) d3x: +wi +w: -zwil. @.42)
|
4.7 Combining two spin-) states 85
Solution to Problem4.T
Under the SU(2) transformation, we have
'9.43)
,lt V' : r-ia't/z{r, VI ,lr'I
- ',yIria'r/z
- -
where a
- (ar, az, a3) are the three arbitrary real parameters. It is clear that tlrl tlr
is an invariant under SU(2) transformation.
S'
- ,h't ,lrt - tlrl ,+i u'r /2 ,-i u't /' ,1, - ,lrI ,1,
- S. (4.44)
n' n r t2,v
: I::,i: :,w' i i?J,t-r' (4.46)
Thus we have demonstrated the vectorial nature of V under the infinitesimal SU(2)
transformation
we clearly see that, because lGt/2),ttf :0, and thus Rtz3 R : 13, the third
component of V is unchanged under a rotation around the 3-axis. For the other two
components we need to calculate [(q 12) , z1 ,2 ] . This can be considerably simplified
if we work with the combinatiors z1 : rr *. ir2, which obey the commutation
relation of
llL2' '*l
"-J - tr+.
- 4L-'
(4.s2)
In particular, we have
and thus
RI t2R
- e-io' + ,- r*'o'): sin azrr * cosa3r2. @.57)
){r*
Consequently, the three components of V have the following transformation
property under a finite transformation around the 3-axis:
-t-
UttpU : II
L
+ (-, a .t) ' -, u .D2 + . . .fJnr,, -
* ,.( (e_.io*)p1t1, @.63)
or
Qi-Q'j:(r-'"'\ioQo. (4.6s)
Show that i' is also hermitian traceless, and with det i' - det i. Since i and
i' *. hermitian and traceless, they can be expanded in terms of Pauli matrices
Remark. This problem shows that there are two alternative ways to describe the
transformation of the vector representation (more generally, the adjoint represen-
tation): as in eqn (4.64) or as in eqn (4.66).
(b) To show that i'is hermitian if i is hermitian:
i't - (Uti (l)t : UriIU - (JtiU - i'. (4.71)
L,,NN-st t rN - s(F,
r_
^(;*-g:)(f)
- sltnn - nn)no + Jr(pn,T+ + nnr-tf , G.77)
and thus the relations among coupling constants are
: : 11 : : 8.
Sppro -*nnno @.78)
780"ftt 68nn"-
4.9 Couplings of SU(2) vector representations 89
Remark. The relation gorr* _ gnpo- follows from the hermiticity of the
Lagrangian density (or charge conjugation).
Lpo, - gff(Ptlar'fln)
- s,r(r'; , '::J:)(t# tll;:J)(;)" ti:)
- gl2p0' (arn+r- - orn-r*) + 2p*u (arr-rU - 0rn0n-)
* 2p-u (arn+no - outtor+)]. (4.80)
Remark 1. The decay p0 --> n0n0 is forbidden because the (r0n0) system can
only have even orbital angular momentum because of the Bose statistics. Hence
angular momentum conservation will forbid this decay. Note: the same argument
can be applied to the vector gauge boson Z to forbid the decay into two identical
Higgs (scalar or pseudoscalar) bosons.
(b) The SU(2) invariant Lorentz scalar combination out of the p, T , and a meson
fields can be constructed as
Lpn. - gtr(Fpfi)r*
- 29 (ptr"- * oun+ * oorno) coP. (4.8s)
muuu + mddd
- ^u !^*o (uu * aa'l +
22 ^' :*o @u - dd) (4.86)
contributes only a A,I _ 1 breaking, as the last term transforms as the third
component of the isospin generator 13. Thus the strong interaction Hamiltonian
can be written as
(a) 1 | multiplet (p, n). Thefirst-order mass shift due toH'111can be evaluated
-
by the Wigner-Eckart theorem as
6(t)mp
- (pluiul p) - (i,Ll71',rl+,+)
- (+,| | r, o; L,Ll d,',** : -J!30)mn (4.8e)
and
Remark 1. We can apply this result to any other I: i multiplets. For example,
which yields
3*o
- -6mn - 6mx. (4.94)
(b) 1
- 1 multiplet (E+, t0, t-) The Wigner-Eckart theorem yields
3(t)m>*
- (t* lu'rulE*) : (t, +t lu'r) 1, +l)
6(t) mzo
- (ro luiul xo) : (t,0171'sy I t, o)
3o)mz-
- (t- lH',rl r-) - (1, -rl'tl'o>l t,-t)
: (1, -111,0; 1, - I)60m2 - -if )8{Dm" (4.e7)
and
6Q)m>*
- (t* |\l'rrrlE*) : (1, +1 12,0; r, +rllQ)m' - ,fru Q)*> (4.9s)
6Q)m>o
- (to lU|r)Eo) : 0,012,0; 1, 0)6(2)*" : -rl|u"'*, (4.g9)
6Q)m>-
- (t- lH'rrrl>-) : (1, - 112,0;1, -175Q)m2
- ,f
L*a{2)mr. (4.100)
Combining these results and using the notatiorr t/t1 - Jl$rlm> and m2:
-L*a<ztm,, we have
,f
t7t2+:mO*mt+m2,
tTt2o-_mO*0-2m2,
mt-:ttxg-mtlmZ. (4.101)
tltt:l@r.-mE), (4.r02)
t7t2 : j@r. * m>- - 2m2o). (4.103)
While ml contains both the electromagnetic and up-down mass difference effects,
m2 is purely electromagnetic in origin.
Remark. The same analysis holds for the isotriplet pions. In particular, we have,
besides 60)moo 0, the result
-
60) mr* - -3(r) mo_ . (4.t04)
But z+ is the antiparticle of n- and should have the same mass. Hence
The only way to reconcile these two eqns (4.104) and (4.105) is to have the reduced
matrix element 6o)m, :
0. (The Wigner-Eckart theorem does not by itself give
any information about the reduced matrix element.) The same result can be seen
from writing out the mass term in the Lagrangian:
Thus the pion mass differences (and for p mesons also) are entirely due to the
I- 2 electromagnetic corrections.
4.lI Spin wave function of three quarks 93
6o) m t
sa)*^**
6++ - 11
6** -r-11 tl, 0; 12,
(1r, +?rl +)l
+)l 6(t) J l6(t) m t
n - nfatrl
3G) m
tnt 12,
6o)mn*
- (1,+Llr,0;1,++l6o)mt - if ft6{Dmo
6o)mno : (1,-ilt,o; ].,-+l6Q)mt: -u[a
o)mt
g.t07)
6o)mr - (1,-,11r,0;1,-'116o)mt - - iflr{l)mo
and
6Q) m
- (1, +112, 0; 1, +zrl m n - ,f m o
6** atz) Lratz)
tTtL-:rng-3mt*mZ. (4.10e)
- tlt6- :3(mt
tTt6++ - m*). (4.110)
11, 1) : d,tdz
where d
- l,l)
|
and F :
l+,-+l are the spin-up and spin-down states, respec-
tively. Also we have the spin-zero combination:
to obtain
s-l;,7):Jil|,+l . (4.11s)
The state lS
- i, S. : |)mustbe orthogonal to lS - i, S. : j) in eqn (4.117):
where the subscript S signifies the symmetry property of the state under the per-
mutation of quarks 1 <> 2. Similarly, we have
nut lf , ++) can also be obtained from combining the S12 - 0 and S: : 1 states.
Such combinations are antisymmetric under the permutation of quarks I <+ 2:
l+,+l^- h@rfrz- flp)uz
l+,-Llo: fi@fi2 - flp)fl2' (4.122)
: ,tot2o3
llr'1rl
l1'+) - hlarflzq* BP2u3*uP2B3l
l'r'-+l - hIarflzflz* flpzflz* hflzazl
11,-1) : fl'flrfl' (4.r23)
and two S : I states ll, +l), = XM,s,which have mixed symmetry with respect
to the permutation of ( I , 2, 3) but are symmetric under the permutation of | <+ 2:
l;' +)r - kl2ap2B3 - (fpz -t arfl)azl
l+, -l), : ftlzfrtflr"z - (atflz * P1u)Bt1
(4.124)
and two S :
I shtes li, +ilo = XM,A,which have mixed symmetry with respect
to the permutation of (1 ,2,3) but are antisymmetric under the permutation of
1<>2:
li,+)o-#@rfz-fp)az
l+,-Lrlo: $@,fl2 - fp)fr2. (4.12s)
Remark. If we are interested in the isospin of three non-strange light quarks u and
d (as for the nucleons and the A resonances), we can work out the corresponding
isospin wave functions by the simple substitution of cv --> u and B --> d:
(a) Symmetricisospinl
- lstates
A++ - 11,t): utuztt3
A* : 11, +l - *luizuz * dp24 t up2d3)
Ao : l?r, -+) :
+ludzdt * dp2d3 i d1d24l
a- - ||,-zri - ata2dt (4.126)
.:(,1 ?, ;) (4.rze)
"'r),':(ii;)
It is clear that under any of the permutation operations, the mixed-symmetric spin
wave functions /1,a,s and XM,A transform into linear combinations of /y,5 and
Xu,e. The trivial examples are 1 and Pp. By construction, we have
i.e.X*,s and Xy,a are eigenstates of Ppand 1. The operator 1 and Ppcanbe
written as an orthogonal matrices:
to yield
and
Pnxz
It is not difficult to convince oneself that, because the permuted states P X - X'
must remain orthogonal to each other, all the six permutation elements can be
represented by orthogonal matrices:
FrF-FFr-f. (4.136)
,lr"rbi
- lli Ujulrlro - Vi UiiU,orlro - tyi aj(rt - ,lri rlri. e.t4t)
Thus ,h' ,lr, has isospin I : O.It is easy to see that the remaining three combinations
in the product ,lr'Vi transform as an I : I triplet. We can remove the 1
combination by the following subtraction:
- 0
Tj : rlr' rlr
i- LS',(rlrk rlrr,) (4.142)
T]:rlrtrhr:utd-ir
T? : V'rlrt dtu - T*
-
and
T] : - L Urt V, + rlr'rlrr) -
V'rlrr. -+ (rlr'rlr, - rb'r[r)
2* x2 -L+3, (4.146)
where the representations are denoted by their respective dimensions. The triplet
is called the adjoint representation of SU(2).
4.I3 Combining nuo fundamental representations 99
is an SU(3) singlet. The remaining eight components transform as the octet repre-
sentation under SU(3),
3x3*-1+8. (4.148)
Following the same procedure as in (a) we can display the adjoint representation
of SU(3) as
A,j : rlr'rbi - \s',(rlrkrbr). (4.149)
Let us recall that here the U matrix is the defining representation of the SU(3)
group.
100 Group theory and the quark model 4.14
++ 2+ (#*h
I F _ E=\
h+)
V6
": (* E-
s'-
-Eo
!z
-
l^
B_ -a** Edl
=; u', vo
go
\ p #)
and the pseudoscalar meson octet by
7t'
a
.4)
M_
(rlr n0,48
Jz
-..-:+....-:
fr
Je
(a) In terms of these baryon and meson matrices, it is clear that there are only two
invariant E n ru couplings as there are only two independent traces of multiplying
these matrices together:
D+F D_F
8r: '62
O^: , (4.159)
so that
F D
LEu* - +tr(BlB, M *
, Ml) ,= tr(B{M,, B)).
B (4.1s9)
J2 ,{2
meson fields:
Or
Or
'..
:::.lrr,'{r{l B + nE- - fro*l
*,,
[
(+. *) E- + >+ eo -
+r^]l
- riK+lr, (# + nE-) . r, (+* r'r')
r-+tzre-.+u^] (4164)
Or
-,DKo{,, [u". *o (-
#.+) - +o"]
*,,[-E-+ (rr.*) Eo- +,"]l
Or
Lyo : .h*lry
e+ rr.) .'+( + + t=E-)
D + 1F
zr eo - '
- 2o onl.
- zJ6 2J6 I
@.167)
+ M3 (s,ri n] + srE?4) ]
: (ul n] + EIB? -zelal)
*[''
+sz (n| Bi + n7 ni - 2E?ul) ] +'''
so that
#[r't (= . *) (:"- +)
Lr': + >-r- + e-e- + >+r+
singlet: A
singlet : q8
,tLlt (4.172)
nN N , T E E, KA E, K'AN (4.173)
tri'in @.n6)
By working out the components such as
and comparing them with the couplings shown above, we can easily express the
SU(2) invariant couplings in terms of the SU(3) D and F couplings.
D-F
S(7rNN)- Z , s(nIE)-P, (4.178)
and similarly
D
-g(ryAA) - s(nEX) : sjr /YE) : ------=
Jt
D +3F
s(ryNN) - s(KAE)
2'E
D -3F
s(ryEE) : s(KAN) - 2"8
s@aE) : -s(KNI) - D+F
2
D-F (4.r7e)
s(KE>) - -g(ttNN):
Remark. Just as we have seen in Problem 8 that, in terms of the Cartesian com-
n :(ttr n2 n3),^the coupling l,tnl,t can be written as N zN ' n,thethree
ponents
triplet coupling trE'EfI can be written as i E' x ) . r, where we have used the
identity
- 1n[n]l12,21 (4.183)
: 1.,
12,01 + zltrlrl) + ln; $l) (4.18s)
fr(|"{ ";l
.
Similarly,
I 1, 1)
- a lr[ nll + b l"l"]l (4.r87)
with la 12 + lbl2
solution of a :
- l, the orthogonality condition becomes I lJl@ + b) - 0. The
-b - I lO can be chosen:
:
t1, r)
il"["8] - l"?"])) . (4.188)
:
tl, o)
iM[";l - 1";"{))
t1, -r ) : - l";"il) . (4.18e)
+1"?";l
(c) Thel-Ostate
The 10, 0) state must be orthogonal to both 12, 0) and 11, 0). This fixes it to be
: - l"i"il + ltr;n{l)
ro. o)
+|td (4.1e0)
Remark. We note that the I - 2 and / - 0 states are symmetric under the
interchange of particles 1 <> 2, while the 1 1 states are antisymmetric. (This
-
is why the combination l"?"ll is absent in the ll,0) state.) In general, for two
particles with the same isospin, the largest total isospin states are symmetric under
the interchange of particles I <> 2. Then the next isospin states are antisymmetric,
followed by symmetric states, etc. For example, in a system with two 1 :312
particles, the state with 1 : 3,I is symmetric, while the one with 1 2, 0 is
antisymmetric.
-
4.16 Isospins in non-leptonic weak processes 101
we see that this weak Hamiltonian can be decomposed into two pieces with definite
isospins:
7{*:lltp*Hz/2. .(4.re3)
HrptKo) - :
l+, i)l+, -ilr h(l l, o) + lo, o))
HzplKo) - l+,+)l+,-;) -- t-rr(12,0) + 11,0)). (4.1e6)
the interchange of ft* <> 20. Thus we must use the symmetric combination as in
12, +I) and only the 1 3/2 of the Hamiltonian can contribute:
-
qr+ n01H,lK+) r01r
- qr+
- 2)ytltplK+) - (2, t1Tfipl+, +). (4.19s)
As for the decays K0 -+ T*n- and K0 --, ,r0n0, we have from Problem 4.15
12,
- )G (lt ";l + zlnlrvl) + ln; j))
o) n
Thus
- +, (|a'n - A,n)
: *Ar,r. - frArn. (4.203)
Or
and similarly,
and
r(Ko ---!.:) o.
r1<o.--'r1T\ --YL' @.207)
This can then be translated through eqns (??), (??), and (??) into the amplitude
relation of
Thus
where Ar/, :
(1r,-llllzplA) and Ar/z : l+,-llltplA). Again the exper-
imental data are in agreement with the A1 - | rule Azp K A1p prediction
of
I(A -+ pir-) : _Ji. (4.2r2)
Z(A + nno)
5 Chiral symmetry
AL
jp'(x) : (s.2)
u@*Qrf,'
(b) Show that the coefficient of e in 6L is then the current divergence 0P juQ).
6L: AL AL
(5'3)
uhud'* uUo6(oPQi)'
Because variation and differentiation commute, and because d@; : fi:
e
6(0*Qi) : Ep(6Qi)
- (oue) fi * e\u f; (s.4)
we have
6 L -, l# f, *
#h,u, r,) * E,e
l, *-^ tl (s.5)
Noether's current (for 3re:0) in Cl-eqn (5.15) is just the coefficient of the 0re
term in eqn (5.5).
(b) The divergence of Noether's current can be evaluated directly:
Dp j*(x) : op
#^r, -la' #")r, * hou r, (s 6)
__a
AL
*
_-0.
AL
(5.7)
\rQ, 0(0uQi)
5.2 l-agrangian with second derivatives 111
we have
0P jr(xr: AL + ur'^\u.f,,
AL
(s.8)
Wft
which is just the coefficient of the e term of eqn (5.5).
:
I l#tr, * #^ou(sQ) . #^a,a,(60)) ",
6s oo (s.1 1)
where we have used the property that differentiation and variation commute,
AL AL AL
(s.13)
w - a' a(ar"il + apa' uuuo) - o'
(b) For the global transformation, 6Qi : efi(Q), the variation of the Lagrangian
becomes
*
6L -,1#,r,* #ru,"o,>lurt #^ara,r,f. (s.r4)
112 Chiral symmetry 5.2
After using the equation of motion, and combining terms with the same number
of derivatives:
:
d's
I l#tr' * #^0,(6Qi' * #ffiaua,Gq;] dax
flaL aL
*
- J lra'f'+ uUu?Pefi
eouf''1
: "ilr,are\'fi
I #^(D'eL'fi t eluouf;) da*
(5'19)
so that all terms are either proportional to e or ;re:
:
65
I {l#r' * #aro'ri -r #^aua'ri]el)
.l#^ri - o,#^r, * d#h,u. r,fau,lao, (s zo7
From this, we see that the coefficient of Ore is precisely Noether's current.
5.3 Conservation laws in a non-relativistic theory lI3
5.3 Conservation laws in a non-relativistic theory
Consider a non-relativistic system described by a Lagrangian L - L(qi, 4;) with
ei, i - l,2,...,n,being the generalized coordinates. Suppose L is invariant
under the infinitesimal transformation
Q - *tiiqi 6.22)
dqi
r---+r/:r*a 6.24)
where a is an arbitrary constant vector. Find the conserved charges.
(d) Consider a system of two particles interacting with each other through a poten-
tial which depends only on the relative coordinates V (r1 - r).Show that the total
momenta P : mtvt * m2v2 are conserved.
we get
daL
6L - at a4'6a'
* aLd
,,av.Jai)
: *,(#'r,) -*L*(ft,,'n,) (s27)
6L
-!*a"'-u'^"'ur:o
20r
(5.28)
^ 0r ^ x; ^ I
dr
- *6xi : -6xi: -xiijxj -0 (5.29)
and
'
to find the conserved charge for this rotational symmetry,
AL AL
Qti :
Ai,*i U4*, - mi;xi - miix; - Pixi - P jxi (5.32)
E:o*ir.tr. (5.39)
(a) Show that the Lagrangian is invariant under the isospin transformations:
where V exp( iF . t)is an arbitrury 2x 2 unitary matrix with B (flr, fz, : fl)
- Find conserved axial-vector cur-
being a set of real constants. the corresponding
rents A;.
(c) Calculate the charge commutators
where
jf ol.
Iesi , Nol, lQtt , o , [Qs' , 6.44)
116 Chiral symmetry 5.4
(s.4e)
Thus,
tr(Et2/11
- tr((uEUr)(u>tut)) - rr(EEt) (5.50)
NLE'Nh
- Nruru>uruNn - NLxNn. 6.52)
Thus ,C is invariant under the isospin rotation. To get the conserved current, we
need to work out the infinitesimal transformations:
or
6N _ ,yi*. (s.s4)
Also,
Thus,
Namely,
6o :0, 6n
- -q, x r. (5.59)
The conserved isospin vector current V, is simply the Noether current foq this
symmetry transformation :
aL dN + ut uo + 3L 6,
-a.Yp - A(asN) 3(0ro\ 0(3utt)
- -NvuTN - At'r'(ax r). (5.60)
N -+ N' :.^o (t
Tr,) t (s.62)
Hence ,C is invariant under the axial isospin rotations. To get the conserved current,
we need to work out the infinitesimal transformations
or the infinitesimally small change of the nucleon field under axial transformation
being
d.N
"2 : i'8.t vrN (s.67)
and
From {z;, t1l :26i7 we c&ri work out the last commutator to be
Thus,
Namely,
The conserved isospin axial-vector current A, is simply the Noether current for
this symmetry transformation:
: *
-p. At,
h6sN +
#t" #t,
- '2 *vrN
-Nyu * [Po(F . w) - olp tr . B. (5.73)
Or
AtL - Nyryri|
, t-2 - (r|po - olpn). (5.74)
R
- exp (,T) and L - exp(r?) (5 78)
and
E'-(o*ir.it)(t-t ,+)
2/
- o +it.tt-iT"*T+iry.' (s.80)
or
v.fi ,Exy y
6no-;, 64o-;-;o. (5.811
From these field variations, we can immediately work out the corresponding con-
served current
and
E'-(r*tlj) 2) @iir'it)
\
=o+ ir . ,ti+"-ry + i" lr6 ., (s.84)
LP' - Nly"rNr*, z.
rhevectorand
;T;;-'T,:-1, :" . -Lt" (s87)
120 Chiral symmetry 5.4
Q':lot-Vo@). (s.88)
and
- -i (ei1r*inrr00n'r* - i1,nimkEUntrk)63(x - y)
- -i(00ni ni - 5ii 60onn" + 6ii a0Tt nrt - 30ni ni )63(x - y)
After substituting the results of eqns (5.90) and (5.91) into (5.89):
ln'r, oLf --
i',ir,Qkr, lQ'*, OLf - i',it Qk^ (s'es)
and
Namely, each set of {Q'rl and {Qi} separately form an SU(2) algebra. This is why
it is referred to as the SU (2)L x SU(2)n algebra.
5.4 Symmetries of the linear o-model t2l
(d) Here we calculate the commutator of the various fields with the isospin charge
:
e'
I
ot- (,,,rtf"l
,*U, - iikaliri fxlnkfx>) . (s.e7)
tei, No(y)r
- I or.[r,,r,r (i)" N,(.r), N,o)] , (s.e8)
to get
[Q',o(y)]-0. (s.103)
By comparing these results with the eqns (5.54) and (5.58) obtained in Part (a), we
note that these charge-field commutators just yield the variation of the field under
the isospin transformation with some parameter ai:
where Q(x) - N(x), iti(x), or o(x). Similarly, for the axial charge, we have
lP'Q, Q@)l - i6sQ@):
lQt' , nt (y)l
- -i 6ii o (y\, (s.106)
tlY --{r",
- -4ro'
2r"
+t totrz) *Xr", + or)r.
ttz\I + I (s.ro8)
For the case of p2 > 0, the minimum of this potential is at [see Cl-eqn (5.168)],
(a) Show that the charges which do not annihilate the vacuum are Qt , Q2, and
Qs3, and the Goldstone bosons are rr , fr2, and o fields.
(b) Show that the remaining charges, Q5t , Qt', and Q3, form an SU(2) algebra.
(c) Show that the fermion bilinear L^ :
guV tysr3 N generated by (o3) u can :
be transformed into the standard fermion mass term of L* :
m N N'N' by some
chiral rotation. Find this transformation.
We see that the charges Qt , Q2, and Qs3 do not annihilate the vacuum [otherwise
the above equation would imply that (n3) - 01, and nr , T2, and o are Goldstone
boson fields.
(b) From the charge commutators calculated in Problem 4 we have
[est, et'] - iet, -re3, ettl - iet', let', e'l - iett. (5.113)
This means that the charges Qsr , Q52, and Q3 form an SU(2) algebra.
(c) To find the chiral rotation it is useful to decompose the fermion field into its
chiral components, N - Ny * Nn. In this way we have
wherecisaconstant.
tr2 1 . ), a
v - -7f"'+ n2) +
)toz +
1.
r2)2 t co. (s.t2t)
(b) Show that in this case, pions are no longer massless and, in the tree level, their
masses are proportional to the constant c.
(c) Show that the axial-vector current A, derived in Problem 5.4 is no longer
conserved. Calculate the divergence 8pA, and show that it is proportional to the
pion field rr.
124 Chiral symmetry 5.6
Remark. In this case the vacuum configuration is unique because the symmetry-
breaking term of eqn (5.120) has singled out a direction.
(b) To discover the physical content of the model, we shift the fields
where u is the solution to the cubic equation -Llu * )"u3 * c :0. The terms in
the effective potential become
:zPt' - 3c
mto (s.128)
i
)c
m; : -;. (s.rze)
If we pick c < 0, then both m2" and m2, are positive. That all three components
of n have equal mass means that the explicit breaking Lsn :
-co (x) still leaves
isospin SU(2) symmetry unbroken.
5.6 PCAC in the o-model t25
(c) The divergence of the axial current is related to the variation of the Lagrangian
as [seeCl-eqn (5.14) or Problem 5.1]
F.3'Ar:ysL. (s.130)
The right-hand side would vanish were it not for the presence of the symmetry-
breaking term Lsp : -co("r). Thus
where we have used a result obtained in Problem 5.4, eqn (5.72).In this way we
find
Remark 1. The constant c can be related to the pion mass and the pion decay
constant, m, and fo.For the r -+ &updecay, the amplitude is proportional to the
axial current matrix element, which defines f" by
Or
(s.13s)
The specific value of the pion decay constant is fixed as follows. The amplitude
for the nr --> l.t+vp decay can be written as
Go
r- (D)tty*(r - y)u (s.137)
72(olA;(o)lz+
with
(olA;(o)lz+(p)) - iJ2f, p*. (s.138)
With this definition, one finds from the decay rate that [see Problem 11.3(c) for
the calculationl
0.93
f, - -mn:92MeV.
(s.13e)
\/2
Remark 2. Comparing eqns (5.I29) and (5. I 35) we see that the VEV of the o -fi eld
is simply the pion decay constant:
u: fo. (s.140)
r26 Chiral symmetry 5.7
/ ltr2 ltra
o:f(t-rr-87+ )
. (s.143)
(a) Show that the linear o-model Lagrangian eqn ( s.38 ), after eliminating the
o-field through eqn (5.I42), is of the form
,._t I
: l- " + p:AQr ' 0p")' ^l -
NiyP 0,N
,l(aun)' )+
+ sN
I,n' -e * iyrr."f N. F.144)
(b) Calculate the scattering amplitudes, in the tree approximation, for the
reactions:
(i) N'(pr) + Nu(pr) + N'(pz) + Nd(p+),
(ii) zt(ftr) + No (p) --, tti (k) + Nb(pr).
(s.145)
11
duo--lrrjrtt--
n * (f2-fi2)tl2
n.'drtt. (s.146)
o
Substituting eqns (5.145) and (5.146) into the Lagrangian for the linear o-model
we get
- +sNI(f2-r2)t/2*iytt.nlN+... (5.148)
1
+ gY* a* - mt)N
- 1@ur,)2
w
+sN
C:+.ivst ") " .o+!+ (s r4e)
Pt P3
ca
b#d b
p2 p4 p2
Ftc. 5.1. NN scatterings with pion exchanges in the t- and u-channels, respectively.
In the tree diagrams for these two processes, the basic pion nucleon vertex is
the same as in the linear o-model. For the first diagram with a pion exchanged in
the r-channel:
I
T1
- g2fu@)iysGk),ou(pr)lt -mi"lu(pq)iysQk)auu(pz)l (5.150)
Tr
- 2s2 (u,uu,, - )u,"uuo) oror,rru(p) t _ mr,u(p)iy5u(p).
(s.rs2)
For the second diagram with the exchanged pion in the u channel, we have
where u - (pr - pq)2 and the extra minus sign in front is required by Fermi
statistics.
t28 Chiral symmetry 5.8
tJ ij
\- --.--
/' \/'\.
-a' t\,'
-)'-.-. \/,/
Mr - Doror>,sys(rb) ir,Vrrt _ __
(r")rii gysu(p)
I
- u(p)igysPt+# i gysu(p)(tb ro) j,, (5.1s4)
- *#r-mn
Mz-u(p)iyys, igysu(p)(r'rb)j,, (s.1ss)
" -
Pt-lfz-mt't
Mt - u(pz)u1p;6"b61i. (s.1s6)
E-o*it.tt:fexp(r+) (s.1s7)
with
(c) Calculate the scattering amplitudes for the same reactions as those in
Problem 5.7(b).
5.8 Non-linear o-model II r29
we get
(b) Since
and
f)
Lz: Tr,
+
(auDaui') + Niyrat'N + sf (Nrllro * h.c.). (5.166)
f2 l"
47,
(Artast')- iQub)' +...
(s.168)
l-- / it'6
sf(Ntilro *h.t'.): sf * -f #+ *r,)
Lt, \, )"^
- mNNN + SN(iysr. 0N
--g-N@')n +... . (s.16e)
Comparing with the interaction given in Problem 5.7, rt is clear that the @ fields
play the same role as the r fields as far as their couplings to N("r) are concerned.
Hence we recover the same scattering amplitudes as calculated in Problem 5.7.
130 Chiral symmetry 5.9
Remark. Problems 5.7 and 5.8 are equivalent ways to realize the chiral SU(2) x
SU(2) symmetry without the scalar field o(x). For example, in Problem 5.8 we
have, under the axial transformations, L - Rt - exp ("!)
Clearly, the relation between $ and @' is quite complicated and is, in general,
non-linbar. Thus the theories discussed in Problems 5.7 and 5.8 are referred to
as non-linear rcalizations of the chiral symmetry. In Problem 5.9 we will study
another non-linear representation.
with
1,3
"^-,f)
: Tr, (arfaui') + NLiyu [a, + rErlN',
r lri; yrll, + arrflri + sf (Nr'N'*+ Filri; . 6.173)
(b) Calculate the scattering amplitudes, in the tree approximation, for the
reactions:
(i) N'(pr) + Nu(pr) + N'(pt) + Nd1oo7,
(ii) zt(ftr) + N'(p) - ni (k) + Nb(p).
5.9 Non-linear o-model III 131
NR : RtNi - 6tN; , Nr - Lr NL
- NL, (5.174)
we get
NriN^ * h.c.
- NLr iftlri * h.c.
- NLN'I * h.c. (5.175)
From
f)
f - r -Tr (lutar,t') lmuN'N'
"r-n
+ tttriy*lo, + rarf NL + Nhiy, [4, + 6ar6r] N;. (s.178)
Remark. In this Lagrangian, the coupling of the Goldstone boson @ to the N
fermion always contains a derivative,
and
(b) (i) N'(pr) + N/ (p) + No (pt) + Nr(pa). The matrix element for the first
diagram in Fig. 5.1 is given by
Thus we see that this is the same scattering amplitude as obtained in Problem 5.7
(hence also Problem 5.8). Clearly, this is also true for the other diagram for the
NN scattering.
(ii) n"(kr) + N' (pt) -+ rb (k)+ N/ (p2). The matrix element for the diagram
in Fig. 5.2(a) is
: u(p) (n ii.
-_ (n
M'1 u(p)(rbro) (s.182)
il*-; _
Write
Then
- u(p)(zmxy)V,Tt (s.186)
- --(2mtyys>r@)|.
The second term is seen to be the same as the amplitude Ml obtained in Problem 5.7
after using the relatiort rlt x gf . Similarly, for the diagram in Fig. 5.2(b)
-
M'' : tr#f - ao'>Ql z + 2m
^)u(P)
Ri1 ure matrix elements that are real. The scalar product 0 . 0 is invariant under
o(n),
Q'iQ'i: RiiRirQiQo - 61*QjQr,: QiQi- 6-192)
The effective potential V (0) which is O(n) invariant can depend only on 0 . 0.
For example,
u2x
v(il - -;@.il ;@. 0)2.
+ (s.1e3)
In other words, V depends only on the magnitude @ : l0l of the O(n ) vector,
v (0
- v (0). (s.te4)
This means that the minimum of V (0) depends only on @,
will have the property that it is invariant under the rotation among then-l
coordinates Qr, Qz, . . ., Qn-1,
O(n)+O(n-1). (5.1e8)
Remark. In this case, the pattern of the symmetry breaking does not depend on
the fact that V (0) is a fourth-order polynomial in Q.
(b) It is easy to see that the O(n) invariant effective potential V can depend only
on the magnitudes of the vectors Q?
- h. :
0r, Q?. 0z- Qz,and the scalarproduct
:
of the two vectors 0r . 52, which can also be written as dr . 0z Qy$2 cos 0. The
effective potential V can then depend on three variables, Qr, Qz, and cos 0,
V V (Qr, Qz, cos 0). (s.1ee)
-
The minimization of V determines the values of these three variables, rp1 _
ut,Qz : u2, cos0 _ coscv. Clearly, these three variables define a plane, which
can be taken to be the (Q"_1, Q) plane. Two vectors Qt and Q2 can have non-zero
entries in the last two components. For example, one simple choice is
(s.200)
These configurations have the property that they are invariant under the rotations
of the first (n - 2) components. The pattern of the symmetry breakings is then
O(n ) -+ O(n - 2). (s.201)
Note that it is possible that as a result of minimization, we have a : 0 as the
solution. (This can happen if V depends on the even powers of cos 0 and the
5.10 SSB by two scalars in the vector representation r35
coefficient of the cos2 g term is negative.) This means that two vectors are parallel
and the plane degenerates into a line. The symmetry breaking is then O(n) -->
o(n - 1).
Remark. For the case of ft vectors in O(n ), the symmetry breaking is
O(n)+O(n-k). (s.202)
The generalization to unitary groups is straightforward and the result is that for
the case of k complex vectors in SU(n ) the symmetry breaking is
Z[n,it:
Iro,nw,h]expl, I W+it *o,ff (6.1)
,lr(x)
-I anQn, ,[f*> -I QI@)a,, (6.2)
where
and define
TrD
- J[ ao* eiP* ui (p, s)ysu(p, r\r-i'r
E4(O)ar (p, s)y5u(p, s) (6.7)
-
which is not well defined because A41O; --> oo, while uI (p, s)ysu(p, s) + 0. It
has been suggested by Fujikawa (1979) that we can regulate Tr(D) by Gaussian
6.1 Path-integral derivation of axial anomaly 137
cutoff
rr(D): ;TL
+I
ao* (orr,*o (- #) r.) (6 8)
,h'
-Dl"f:,r*r, 6,:Dcn*d^. (6.13)
1 - (detc)2. (6.14)
c,^x6,**tu (6.15)
IaaxQI@)vsQ*@)
or in matrix form
where
rrD -+
I aaxQI@)ysQ,@), (6.18)
and we used the identity det (eA) - ,rrA. Thus we can write the Jacobian as an
exponential:
This means that the effect of an axial transformation can be included as an extra
term in the Lagrangian,
(b) Here we calculate the trace in eqn (6.18) with Gaussian regularization
where M is some regulator mass, and )., is the eigenvalue of the operator i p,
and the integral over ft is convergent. For the general case we choose Q"@) to be
the eigenfunctions of the operator ip and write TrD as
rr D : x *, (#) (6.24)
+I
aa QI@)ys Q,@)
Since the trace is invariant under the change of basis (unitary transformation), we
can now use the plane wave state
D" \)
" -:?,i,?,.i,', ;;';:; l;;*:,':,: :,t.7'
: D'l qrou,Fu'
Lgr"{ot", - Tfy, y,f F*u -- D2 - (6.26)
where
Also,
p2 ,-ikx
- [- (k, + sAr)' - igl*Apfe-ir' (6 28)
Thus we have
/ o'\
.*p( + serfgauAuf
tut, 1 r-,0* - exp |
L -(k, W --trfe-'^'.-ikx (6.2e)
rrD-
l#lo^,,,(,,"-r(#)): Io^. I#
(r"+-'g!')'
'r,(r,*, [- - ]"-r"# - #u^'])
Changing the integration variable, k* - gA* : k'rM,
rrD -| ao*uo
I #,-k''r,(r, *n l-r",,r*' # - #r,^'])
It is clear that the last term in exponential, not containing any y-matrices, will not
contribute as Try5 0. We can expand the exponential
-
[- to,,r,, #f- #)
.-o exp
l-+y,yuFp,
- 1 - 'f rrr,r- J-
.:(T)' ,,r,rovpFu'r"u h+ "' . (6.30)
Only the first term and the M-a terms will survive as the M-2 term will vanish
after taking the trace, while the higher-order terms vanish in the limit M -+ oo.
I40 Renormalization and symmetry 6.2
we get
rrD- -+
I o^, I ffio,rruopFp'Fof
e-k'. (6.32)
From
f d4k t2 i
: t6r' 6'33)
J (2vYe-^
we get
6L - r**r1,,oBFp'FoB. (6.35)
Since the divergence of the axial vector current is just the coefficient of cv(x) in
6C under the axial transformation, we see that the Jacobian here will contribute to
O*AP as
lt' ,Al'
A,, : f' =r,,,,n6FP'
Fvat FoP . (6.36)
1612"
Or, if we define
-I
Fr, : (6.37)
)trroBF"P,
this can be written as
02
orA* : (6.3g)
#Fp'Fpu,
which is just the axial anomaly equation.
Alptq> + y (kr, er) y &2, e)] - el (k) ei (k2) iep,oBt<ikfr p (q'z) (6.39)
compute the decay ratio and compare it with the experimental results.
Solution to Problem6.2
(a) From Cl-eqns (6.69) and (6.72), we see that
02 p2
f,(0) : (q2x) and f4(0) -- ;1rr (QzLt).
;1rr
Using
Then we have
rJ:, _- yv,) :
r@ -+ yy) - (yr\' l\ \*?)l'
\^, ) lrr@'r) l
(6 45)
If we assume
r
"
(*,") ^- f,, (o) 6 (6'46)
T@ ffi:'/3'
142 Renormalization and symmetry 6.3
we get
Lsn:r(A?-A?) (6.s0)
Construct all possible counterterms and show that L * Lsa is still renormalizable.
D-4-Bt-Bz (6.51)
with B1 and 82 the numbers of external Q1 and @2 lines. Note that owing to the
symmetry Qr
- -Qr, or Qz * -Qz, Br and 82 have to be even.
(i) Br --2, Bz : 0, or Br : 0, Bz : 2, implies that D- 2. We need the
symmetric counterterms of the form,
(b) Lsr - , (Q? - 0i). The index of divergence is 6 : -2, and the superficial
degree of divergence is
Dsn:4-Br-82-2nsn (6.s4)
where n5s is the number of times L5p appears in the diagram. For diagrams with
ftsB :0, we need only the counterterms given in Part (a). For diagrams which
contain one symmetry-breaking vertex, the degree of divergence is improved by 2:
v (O)- - t jrt,(o,
tt.
.. .,o)lQJ" (6.s6)
-
where ptn)(0, . . . , 0) is the lPI n-point Green's function in the momentum space
and Q, is the classical field. For simplicity of notation, replace Q,by O. At the tree
level we have
v - vo(Qr-tr,*hr^ (6.s7)
which gives
Solution to Problem6.4
(a) The effective potential can be written in terms of the shifted field as
I
v (il - - ,.----\
I ;rr,r(0,
_ .. .,0)lol,
rl
.
: -;/-t 1.,,,(0,
,t
.. .,0)ro, +,f,
: -;Lnt 1rf'(0, .. .,0)lo')'
: -; 1rf,(0, ...,o)td - a)fn ( 6.61)
?nl
Thus it is clear that
(6.62)
#lr:,: -P(r)1s) -v'kD'
This means that we can calculate the tadpole diagram's one-point function ff )(O)
in the shifted field Q', and integrate f o)(0) over o to get the effective potential
v(il.
(b) Expanding the potential in terms of the shifted field
"--:,,:..[:.rrli.rI*h(Q'+'v.
(6.63)
we get
r#)(o)o
--(r,,*i,,) :-# (6.64)
or
u2^ L
vo@)
- T0'r (6.66)
^.Q".
This calculation, of course, is trivial. But it seryes to illustrate the relation between
p('r) un6 p(n).
6.4 Calculation of the one-loop ffictive potential 145
(c) From
vo@)
- vo(a) + (u', + f,r') O' + (+.+)Q'' +*r' *hao
(6.67)
I
rf;r 1o; r - + (xa2l2)'
(6.68)
Note that ff)tOl is the 1PI one-point function and there is no propagator for the
external line. Integrating this, we get
vrkD : Irf;)(o),
dot: -+
|# I*
)"a da
(p' + (xa212)
if d4k.l-.
vr@)-tJ LQ2l2 I
e"ytn[t - F:An)
(6.70)
Remark. It is not hard to see that different choices of the ar-independent C coffes-
pond to different choices of counterterms and will not affect the properties of
V"5 (Q) once the parametersin V"y (Q) are fixed by the renormali zatronconditions.
7 The parton model and scaling
Solution to ProblemT.l
From the parton model, we have for the proton structure function
rl@):*(t[u*ul+Ifa+d]+]ts+'1). e.z)
The neutron structure function can be obtained from the proton structure function
by the substitutions ,, <> d and u <> cl,
Fi@)-'(+[u+u]+]W+dl+]ts+'1) . e.3)
The proton and neutron difference is then
71
t - +
JoU, -u)+@ -illax. Q.s)
ft dx
F;(x)l : !
7t
J, TLF!@ - J,x, - + - htdx
d) (u
:++3Jrro-a)a*.
7l
e.6)
Remark 1. This sum rule can also be obtained with a weaker assumption,
jro',.':,.:--';,:ii:1.,*^,*rromthesimpler,:::
Remark2.rheassumpriol
of the quark pairs in the sea being created by the flavour-independent gluons and
the up and down quarks having similar masses. However, for light mass quarks
in the long-distance range, perturbative quantum chromodynamics (QCD) is not
applicable. Since the proton is not an isotopic singlet, there is really no reason to
expect its quark sea to be symmetric with respect to the u andd quark distributions.
where Ci (x)s are c-number functions and O; (0)s are local operators.
(a) Write out the first three local operators, having the lowest dimensions, in terms
of @(0) and 3rQ(0) in this expansion.
(b) Define the Fourier transform by
f
I ao, eiq* T(J(x)/(0)) - ct@)or(o) + cz@)ozq)+ ... . (7.10)
J
Use the Feynman rule to calculate the matrix element
to order 1.0. Then take the limit q2 -> -oo to identify the coefficients
C r(q) , Cz(q) , Ct@).
(c) Draw Feynman diagrams which will contribute to Ci@) to order l'.
Solution to ProblemT.2
(a) Since /(x) is symmetric under Q --> -Q, we need to consider only operators
which are even in @:
dim operators
01 (7.r2)
2 :62101
4 :Q4(0):,:3,Q0uQ:, :Q0,3rQ:
c{x) -
i, cz(i - ), ct,q@) - oQ). (7.r4)
(b) The first term in the OPE is a c-number and get its contribution from the
disconnected graph, as shown in Fig. 7.I(a), with contribution
r@(p,e):
I*r"+T.#_E (7.1s)
For the connected graphs, there are two contributions to order ),0; they are displayed
in Fig. 7.1(b) and their matrix elements are
T0(p.q\:
\r'1' +'(p_q)2_ttz
(p*q)2-p2
i i
(7.16)
- q2 *2p.q
I
q'z -2p n
For q2large,
I I t [, 2p.q . /2p.q\2
: q'lt I
V+2p n: n442u 4n'1
' - n' * \ n' )
and
I ,&-*--8. t\
P.r' P+q P
aa,"-*-tt ./ la\
\.
,'t
tt-
a--.'
l+q ,&-*--8.
Pzq
P -r' '\ p
-------f-----
p ,/ ,1 \
\.
(a) (b)
FIc. 7.1. Feynman diagrams for the operator-product expansion of two currents.
7 .2 Calculation of OPE Wilson cofficients I49
:02(o):--
| @f*ff I @#;P
x la(k)a(k') + ot (/,ar (t ') + or 1k1a(k') + aI (t<')a(t<)). (7.21)
Using
\pl:Q2(0):1il - 2. (7.22)
Similarly, a straightforward calculation gives
@l:Q4(o):lp) - 0 (7.23)
because each term in :@4(0): will have at least two destruction operators on the
right or two creation operators on the left. For the derivative of Q@), we have
Ir,Q@) : f d3k
s-ik ' + ar 1t<1rik x1 Q.24)
I p;;y(-ik*)ta(k)
and
e): :
:o uQ (o)o,Q
I @#ff I @"*!!;pGk pk,)
x la(k)a(k') + oI (k)oI (k') - aI (k)a(k') - aI 1k'1a1k11,
(1.2s)
:
:Qe)o,o,d(o):
I lr#pl@#*p?kuk.)
x [a(k)a(k') - or (k)ar (k') + ar (k)a(k') - aI (k')a(k)1.
(7.26)
Remark 1. The calculation of the matrix elements of the local operators is done in
free field theory for illustrative purpose (to show how this can be carried out). For
more general cases with interactions, these matrix elements are more complicated
than those in free field theory. However, from Lorentz invariance it is not hard to
see that the Lorentz structure of these matrix elements remains the same but the
coefficients will have more complicated dependence on the coupling constant ).,
ar, (7.28)
@l:Q2(0):lp) - - az,
@l:Q4(O):lpl
Note that because of) :0, we do not get any information on Cf'(4) from this
simple calculation. To get C{' (q) we need to use more complicated external states,
e.g. two particles in the initial and final states.
Remark 2. The basic idea of calculating the Wilson coefficients is to use the fact
that they are c-numbers and are process-independent. Thus we can choose some
simple external states to simplify the matrix elements of the local operators and
extract the Wilson coefficients.
(c)
/\/\/\
a-
/\/\/\
z\ /\
tlttlt
ll ll ll
tlllll
\/\/\/
tll, ll
/\ /\
6&
z^:
\/ tl
\/\/
tt
\/ /\.)o(.
-----)-{=j----.
------&----.&----
Ftc. 7.2. Feynman diagrams for one-loop contribution.
7.3 o,o,(e+e- --> hadrons) and short-distance physics 151
where Q is the charge matrix and i is the flavour index, calculate the commutator
It*{x), /'(o)] and show that
4:'"'
o1o1(e+e- -+ hadrong - Tr(ez). ( 7.35)
Jq"
(c) Suppose that the current J *(x) is made out of free elementary scalar fields,
do - + k, - pn)ry#"(; rzr')
N+),rroy*& ;
The spin sum of lZ12 is
As usual, the secondtermdoes notcontribute forthe case q0 > 0 (because pn > 0).
Then we can write
I 1r
I
do:
2E 2E'
Yrzr\a6a(o-
z-'' / \ ' e)
#"e4 t'u(ol /' ln) (nl /r' lo)
ry
|
: sllta) /:"
tp'rp,' (7.42)
From Lorentz invariance and current conservation, we can write the hadronic
tensor as
lea
: gEE,F : 8n2u2
otot x q"n(q.) Tt (7.43)
,4
8n2a2 f
otot : oo* eiq'' (\lUu@), /r'(0)ll0). (7.44)
ffi J
(b) In Cl-eqn (7.146), the c-number singularity in T (Ju@)J"(0)) is given by
:
c,,(x)
ffi: {a cf:rF - iaur, [tr+] ]t' o'*
From the substitution rule for going from T-product to the commutator
->2nie(xs;5('-rr @\ (1.4s)
@+n @+.(-1)'
7.3 o,o,(e+e- --> hadrons) and short-distance physics 153
we get
and
otot:
# (ry) I o^.rio.* lere'"d6,,(*z) + tar[e(xs)d,(xrl]l .
o,^,:-"1-1'(irroz\ ^ /2 r-1rr\
tot: rur, \; )n'\1a'- 6q- )
(z-so)
or
we have, after using Wick's theorem, for the c-number term in the operator product
expansion,
/++\
, (,0: @) e i i o rQ 1 e )::Qltyl e o, a,Qt 0),)
- i\i,Lr(x - fiialAi''(y - x)TrQ2
- -iai,Loio - y)il!, Le(:v - x)Tr Q2
a;Ap(.r)sj A,p(-x)Tr Q2 . (7.s3)
A
r54 The parton model and scaling 7.3
Similarly,
f
-gu' + I 4xux'
E,au L, p(x) -, l@:;* G#tr1 (7.s4)
Comparing this to the case with the spin-l/2 constituent, we see that the scalar
of Il4. Thus the total cross-section in this case is
case has an extra factor
irr,(Q)
r otlJ- ot
!, er)434(q - pt - pz)
- J effiett1tu,tz
" I u? pr)y,u(p)u(p)y,u(- p)
spin
(7.s7)
:# I+#$(q-P'l-p)(-4)
x (Ptpqz, I PzpPr, - Pr Pzqpr) (7.s8)
and
nt : p)30(q - pr - p).
3 I W(pt. (7.se)
n[(d:3lHgs(q-2E)
: fuo2Jf E2dE
aPz
6(o -2E)4n
q2
2n
7 .4 OPE of nuo charged weak curuents 155
Thus we get
ffi-rr(Qz)-Do? Q'6r)
One simple way to interpret this formula is to treat o,",1r:* r- --> hadrons) as sum
over d (e+e- + Qi/) where QiQi are treated as point-like spin-l/2 fermions.
Solution to ProblemT.4
Using Wick's theorem, we get
r (ry 1x;.rf;t1oy)
- T(:Q@)yp(r - y)Cyyq(x)::Q(0)y,(r - y)ClrqQ):)
*
:Qe)y,(l - y)Cf ;So1-"; y*(r - y)Cyyq(x):
:Q@)yu\ - y)Cwq@)4(0)y,(r - y)CIrqQ),
* Q.6s)
Assuming the fermions are massless, which is valid for lx I .
*, we have
sr(x)=iv'l#*+):#*+ (766)
156 The parton model and scaling 1.5
-2rr(c*ch)+H:# (767)
:4Q)yr,0 - y)crci.,l--L
* lm, ---'!-1
er: o, )r,rt - vs)qQ):
-ixo I . + I
7fu{{'u",oaie,o,p)..4Q)yp(1_y)C|,c*q{x):|.Q.70)
Thus we can write the operator product expansion in the free field theory as
r ef ril,wt(o))
" l,U@)yP
(r - y)C*CIrq(0):: - 1q)ye (r - y)C[rc*q("),] ]
*:Q@)yr(r - y)Cwq@)49)y,(r - DC[rqQ): (7.71)
1- pn)fr,#"(;
| - 2w
+I
1znra4@ -
; rzr') (i i3)
1 .5 The total decay rate of the W -boson 151
: f
oo, ,'o 'uolt[r l") @l( lo) e-iP"'"
+ J
-plJy ln)(n1t[I tol ,ip,'f
:
t U#"12n)a3a
(k - pr - P) Ptryttu)@l/Xl0)
(7.7s)
where we have used the fact that ko > 0 to eliminate the term proportional to eiPn'* .
-t-
'-48Mw\ (-.nr,
y_ 6 *' ry\ ,(y,&).
M'*)"'
(7.76)
,:fru'*nY. (7.78)
in the operator product expansion for the weak current worked out in the last
problem. The factor of 3 is due to the summation over colour. Then following the
same calculation as in the case for the electromagnetic current we get
l(w+ -+ hadrons)
f (W+ --> e+v) I (ru,,r' +ru,ir2).
-t i:d.b.s (7.81)
Gauge symmetries
where e is hermitian
,
io
: G'-).
. (8.4)
jo : j' (8'5)
' 'o
This means that the ordering of the upper and lower indices contains non-trivial
information.
The n-dimensional vector Q; and its complex conjugate @i have the following
infi nitesimal transformation law,
where
(a) Construct the covariant derivatives for @; and Qi, respectively. Show that the
transformation law for the gauge bosons is
(b) Construct the field strength tensor F* for the gauge fields Wul
(c) Construct the covariant derivative for scalar fields in the adjoint representation.
8.1 The gauge field in tensor notation 159
(DrQ)i
- SpQi + ig(w*),khr, (8.10)
The left-hand side (LHS) and righrhand side (RHS) of this equation can be written
out as
LHS
- arQi + iswr:Qi - 0*(Q, -t ie,t6,) + igw't:i(Q, + istkOk)
RHS
- 0t Qi * isw'u,Q, * ie,' (ar[, + igw[,E*) . (8.13)
Multiply both sides UV (Ai - ,r,t) and drop the terms of order e2, we get
(b) To find the field strength tensor Fr,l *, calculate the combination (DuD, -
D,Dp).
(D,D,Q)i : LD p(D,Q\i : \p(D,Q) i * i gW
*!@,il,
- ap (a,0, + igwf,Ao) + tgwr!, (a"ot + isw!,6*)
: 0p3,Qi * ig\rwf,Qo + ig (w,!\pQ* * wlia,Ok)
+ (iil2w'r,wX,Qo. (8.17)
This means that the field strength tensor should be of the form
(c) From the global transformation, it is easy to see that the combinati on W $ = Qw
which transforms as an adjoint representation is given by
(DrQ),i
- yrQ,i + ig(wrfai - w-lo,*). (8.22)
we have
and
with U(x) * U (y). Thus the usual derivative, being proportional to the difference
of fields at different points,
does not have a simple transformation property because U(x -l dx) # U(x).
Suppose we introduce the gauge fields A, such that we can define
(a) Show that if we define the covariant derivative by [see Cl-Section 8.2 for
discussion of the concept of a covariant derivative in connection with parallel
transport of a fieldl
then
(b) Show that the gauge field has the following transformation property:
From this we can discover the required transformation property of the gauge field
by substituting in the relation (8.29) on both sides of the equation:
LHS
- lr'(x + dx) + A'pdxt"lt' -U(x + dx)r[(x * dx) * A'*dxpU(x)lt
- U(x)lr(x) + @rUrl, +UaptDdxp * A'udxt'U(x)rlr (8.38)
RHS
- U (x)lV<r> * 0*t dxP i A, dxv{f . (8.3e)
The gauge field Ar,having been introduced as the difference between the covariant
and ordinary derivatives
Following the same procedure as suggested in Problem 8.2, we can choose to view
general relativity also as a gauge theory. Just as in eqn (8.44), a vector field f p(x)
and a (mixed) tensor fieldT((;r) have the transformation properties of
A comparison of eqns (8.29) and (8.48) shows that the compensating field ff,
plays the same role as the gauge fie\d Ap . The llu field is called a connection in
geometry or the Christoffel symbol.
(a) Show that if we define the covariant derivative by
then
DxP (8.51)
-8aP -1,l.,'
(b) Show that the connection has the following transformation property:
Namely, besides the usual homogeneous term (first one on the right-hand side),
there is an inhomogeneous term (the second one).
(c) Show that the Lagrangian for the vector field 6r'(x) given by
L : i (or") (o,e) Bp'BoB (8.s3)
E" e+ dx) - " (x) - E*o (x) dxp - l\r@)p (x) dx'
: (o*q" - tflrP) axP. (8.55)
Then the covariant derivative, being directly related to the left-hand side of this
equation through the definition (8.50) , D*o dxe , canbe expressed in terms of the
gauge field in the right-hand side:
We can extract the transformation property of the connection field by writing out
the components on both sides of this equation:
LHS
- * d.x) - f'#dx'Lq'o
'r(x
* (Jp,(x * dx)l' (x * dx) - f '#ULo dxo U'pp
RHS
- Up,(x) [6'(r) * d.xf 3p' - tiu dx" $pl. (8.59)
Remark. Just as the field tensor Fop in gauge theory can be defined through the
commutator of covariant derivatives
(D"Dp-DpD"){t=Foprb, (8.6s)
the corresponding field tensor in general relativity can be defined in a similar way:
is called the Riemann curvature tensor. From this, an invariant action of the gravi-
tational field can be constructed.
and eii - - e j i are the parameters which characteri ze the infinitesim al O(n) trans-
formations.
(b) Construct the covariant derivative for rf ,.
166 Gauge symmetries 8.4
(b) For the covariant derivative we need the adjoint representation of O (n). It is
not hard to see that they are just the second-rank antisymmetric tensors,
Qii --> Q"i: Qii * @irQ*i * eirhi) wrth Qi1 : -Qji G.74)
This gives the global transformation law for the gauge bosons Wpij. Write the
covariant derivative of @ as
LHS
- arh', + swL,oQL
- \p(Qt * eiiQ) * swl*(fu + e*ifi)
: ErQi * @pei)Q j * eij\rQi * gW'pit (fu + euQ) $.77)
RHS
- SpQi * gwp*Qt * e4(0rQ1 * gwplrQi. (8.78)
or
(c) Discuss the possible spontaneous symmetry breaking pattern for the case where
there are two such scalar fields Q1; and Q21.
which is just the scalar product in the n-dimensional complex vector space. The
SU(n) invariant scalar potential can depend on this combination QiQi ,
(b) Let QrQi : QiQi - p2.We can write the scalar potential as
v (Q)
-- t"2 p2 * Lo^ (8.85)
Then
3V . . ?.^ + rc
P-lT=u (8'86)
ap:(-tt'*LP4)2P-g
or
\Qilo:6inu. (8'88)
Qi:Q,i*6inu
168 Gauge symmetries 8.5
(o' Q,)'
- yo" oi + (0, + a;) u + u2f2
- u2 (Q, + oil' t 2u2 (o" o!) + . . . (8.e1)
:t\Q"+Q;).
-
l"' ,^ , -r*\2
(8.92)
This means that Qr, Qz, . . . , Qn-r and Im Qn aremassless Goldstone bosons. Since
each of Qr, Qz, . . . , Qn-is a complex field and has two degrees of freedoms, the
total number of Goldstone bosons is (2n - 1). This is precisely the number of
broken generators, (r2 - l) - t@ D2 - 11, in the symmetry-breaking partern
-
SU(n) -+ SU(n - l).
(c) For the case of two vectors, it is easy to see that the SU(n) invariant combin-
ations are of the form
Then the scalar potential V (0r, Q) candepend on pr , p2, &ndz. The minimization
of V (Q1, Q) will fix the value of these three variables. Without loss of generality,
we can choose the VEV to be
[| ),r,,,',,)
The symmetry-breaking pattern is
Note that just like vectors in SO(n ), we can generalize this to the k vectors to get
the symmetry breaking
(b) Work out the possible pattern for the spontaneous symmetry breakin gfor Q,i .
where we have written Q,i ut an n xn matrix. The scalar potential takes the form
For simplicity, we have imposed a discrete symmetry Q --> -Q to remove the term
of the form T rQ3 .
(8.ee)
h-f0z+"'*Qn:0. (8.102)
r70 Gauge symmetries 8.6
Since the cubic equation can have at most three different roots, the most general
form for @; is
X1
X2
o- (8.r0s)
X3
with
In other words, the SU(n) group with scalars in the adjoint representation can
break at most into products of three SU(n;) groups. A more detailed calculation
(Li 1974) shows the following symmetry-breaking patterns:
with
:1, n-fl
nr n even, nl: , n odd, (8.10e)
2
and for Lz < O,
(d)o:,(t (8.1 1 1)
,)
This situation is realized in the spontaneous symmetry breaking of QCD in the
large N, approximation (see Coleman and Witten 1980).
(a) Show that if Q : Qt I 0 is a minimum of V ($), then other @;s, which are
related to Qi by symmetry transformations of G, also minimize V (Q). (Vacuum
is necessarily degenerate.) Show that the symmetry operations that relate these
@;s form a subgroup, call it H, of G. The pattern of symmetry breaking is then
G --+ H.
(b) Because of the unbroken symmetry H , the minimum of V (Q) is a degenerate
one, i.e. there is more than one value of @ which minimizes V (il. Denote by M (Qo)
the set of rps which minimize V (il.Show that for a given pattern of symmetry
breaking, G --> H, M (Qd can be identified with the coset space G I H.
(c) For the case G - SO(n) and the scalar fields in the vector representation,
the coset space is SO(n)/SO(n - 1) : Sn-I, which is the surface of a sphere in
n-dimensional real space.
v(il-v(sQ) YgeG
where gd is obtained from @ by the transformation Q --> g@ with I G.Then
if h * 0 is a minimum of V (Q),gdr is also a minimum of V (Q). It is clear that
those group elements which leave Ql invanant form a subgroup, call it F1. This can
be seen as follows .If h1Q1 : Qt, hzfir : @1, then hthzQr - Q1 and nrrh : Qr.
Thus if hr,h2 H,then(hth) e H andht',h;t e H.Inotherwords,Flisa
subgroup. The pattern for the symmetry breaking is then G + H.
(b) Recall from group theory that the coset space G / H is made up of (left) cosets
of the form g; H ,i.e. the collection of elements obtained by left-multiplying Si f H
with the whole subgroup F1. The cosets obtained this way have the property that
either they are completely different (no elements in common) or they are identical.
1 H,theng;H:8i^F1,i.e.two
Inparticular,if Si f H andgl f H,butg;g,
cosets are identical. But rf Sig jr / H, then g; H and BiH have no elements in
common.
ll2 Gauge symmetries 8.8
Now let us look at the set M(Qd. Clearly, for each @; M(Qd, we have
HQi : @;. Suppose we choose an arbitrary h e M(Qe). Then by the action of
the coset giH we have (g; f H)
SiHQr:qifrfh. (8. l 12)
This means that the action of the coset giH on rp1 will generate another element
Qz : giHQt, which is different from @1. Since the potentialV (d) is invariant
under the group G, the new element @2 must also be in M(Qd. Furthermore,
M(Qd-[010.0-r,l (8.116)
and it is just the surface of a sphere in an n -dimensional real space, Sn-I. Therefore,
we have the result
u2 .
- -+0'I
^1"
vo@) .Q". (8.11e)
z4
We have shown in the Cl-eqn (5.134) that Vs(Q) has a degenerate minimum at
Q : :lu, with u Q| /L) l/2. Suppose we add a cubic term to vo@)
-
v6<o> : -tr' *'*r' * Xr^. (8.120)
Show that the degeneracy in the minimum of Vo(Q) is now removed. Find the true
minimum of Vs($). Also, show that, as a function of the parameter f , the VEV
(@)s changes discontinuously from (@)e
- -u to (d)o - u &S f changes from
positive to negative values going through 0.
8.9 Superconductivity as a Higgs phenomenon I73
Y_o
a0
+ QGt"r+2O+)"621 -s. (8.121)
2 - (D,,Qr)@uo) +
{0, o - }ro'o>' - IFp'
Fp, (8.12s)
with
DpQ
- - ieAp)Q, Ft" - At'A' - A'At".
@p (8.126)
and thus
V2B
- tzvzB (the Meissner effect). (8.128)
where
AL
Jp
oAu - tel(Du4') A - Or @uO]
_ tel@p + ieAp)Qr O - Or (op - ieA)Qf . (8.131)
Thus
J - ezu2\. (8.133)
/n.xr I
B(x)-exp(, / with ,:*. (8.1 3s)
This means that the magnetic fields decays in a distance of order of I - (eu)-' .
(c) Since EOA 0 and A0 :0, we get E 0. On the other hand, we have J + 0.
- -
This means that the resistivity must vanish (superconductivity) p :0.
9 Ouantum gauge theories
wIrtt -
| ra\,..n { i I ao*l}u,*r;@)e!, * t;o"f} rn tr
with
where
xtl@ - y)
- 6o(* - v)Kli@), (e.4)
show that
GII^*- y) - u.u
| #,-,r(x-v) [- (',, - ry) - try)i (e sr
For the internal symmetry indices, we have GX'^ o 6b'. We can thus define the
Fourier transform as
!Lr-'o \'-i1u^(k).
J[
cu,\ry - z) - su' (g.7)
(2n)o
We then get
* (t - i) wk'fE,x&) : Bf (e 8)
l-s,'r,z
116 Quantum gauge theories 9.2
Then we get
a&\l-rro'* (t -
;)
k.k^f+b&2) (+) k2kt'kx
- sf (e r0)
Thus,
E"x&):i[-("'-?-try) er2)
iLp,(k):-W. (e.13)
Solution to Problem9.2
We can write the generating functional as (see Problem 9.1),
wtl) :
I @vtl*o { i | {t,+ rt'v,) ao*l
: t'"f
I vvt)*n { i I ao * l}v,1xy xp' (x)v,(x) + r
} e.r4)
where KP' can be calculated from Ls as follow:
I o^. o :-l
*' *l
'
1o^.,1::::'
o^ ::.:';:;: :f "',
Comparing it to
:
I o^, Lo I o^. Lvug1rc,'(x)v,(x), (9.16)
9.3 Gauge boson propagator in the axial gauge t77
KP'(x)Gux(x - y)
- Sf 64(x - y), (9.18)
u---pz_yz'
/, _ __ u-
h _
Wlkr-W)
Thus we obtain the result
: I f k,kx1
E,x(k)
1rz _ 742 L-r,^ * ;A, ). (9.2t)
nP Aou:O (9'22)
where nP wrthn2 < }is a space-like vector. Show that the gauge boson propagator
in momentum space is of the form
rl
Lo: - O,Au)'^l^
* . A)'. (9.24)
+(AuA, - Zo@
Then
:
to
I Lgdax : I oo*U*(su,D' - atra,)A' . *Aenrn,,+,f
- I oo*)o***"o'
with
I I I n2-uk2
=-kT b: c--kr(,-ky, d:0. (9.27)
n.kkr,
We obtain the stated form of
0'A : 0, (9.29)
where we have ignored the internal symmetry index. To solve this problem we
suggest rewriting this gauge condition as
Solution to Problem9.4
The Lagrangian with the corresponding gauge-fixing term is given as
Thus,
:
I o^ , Lo
I .IIU,
o^ (02 I u, - a
t"a) A"l
and
Kp"(k):(-k'gu,+kpk,)
l-
+ lltcut<, - (c. Q (c,ku * c*k") + (c. k)2cuc,l
where
Since K p,(k) now has the same structure as in Problem 9.3, we can take over its
result to write
lf I n2-uk2 I
Lp,(k): nrk,).
t .,(npk, Ikrn,)-
(9.33)
k,l-rr,+ Q-W
From
It c.k
_ -ilsr, +
F
t k,c,)
^u"(k)
^r;e(c,k,
akzkuk"
-p:1r.1ry-_ I (e.34)
W_k.fr1
180 Quantum gauge theories 9.6
with
Show that, to the lowest order in the gauge coupling g, the fermion scattering
amplitude
Similarly,
Vector boson propagators Ap'(k) in different gauges differ from each other by
terms of the form k*ku or (kpn, * nrk). Since krJ* : k'Ju - 0, these terms
do not contribute to the amplitude M,d,ab. We get the same answer in all these
gauges. Note that it is essential that the term proportion al to n ,n u is absent in order
to get the gauge independence results.
where
I
f ^--:
r."ff -;ru'Fp, + rlrieuI - ;-A \.!,-^.
ieAp)t - mrltrl, - ;eu At)2
[lor"3
.-"
6J, - ' oL -,u
utt -,(
uapr,, 't) 'tt :0.
\1r,r,4,i) - v' ) (s.42)
Lo \"dri " di ) )L\r
(b) This identity (9.42) can be translated into an equation for the generating func-
tional for the connected Green's function W by Z: eiw. Furthermore, we can
write this in terms of the Legendre transform of W [q , i , J u)
6W-6W6W
t : un, ,lt : srt , A, -
Nr.
(9.44)
(c) Show that by differentiating the result in part (b) with respect to ry'("r1) and
,b0) and setting ,1, : ,b : Ap: 0 we can derive the familiar form of the Ward
identity:
where the vertex function f, and the propagator S;t in momentum space are
related to f in Q.a$by
f"
JI ' Jt
do'do*'d'4Y1si(n'"-Ptt-Qx)^
=''
6t(x)6tb11)6e*
- ie(2n)o6o(p' - p - dlp(p, q, p') (9.46)
and
I
oo*, d.4y, si(n''r-p!r)
fi#6 - ie(2tr)a64(p' - p)is;t @). (g.47)
r82 Quantum gauge theories 9.6
I 32W
-;o-ul -=-^ : o! 8P'60(r - Y)' (e.48)
LkrkrGu,(k): k, (9.49)
with
where ,C is the original Lagrangian without the gauge fixing and source terms.
Recall that L is invariant under the gauge transformation. Thus the changes of
L"yy under the gauge transformation all come from .C1,
u
I t"' oo' :-'
/ ,:,lrrr,^,)rA + rt"at,^ - iert(-t,q + n,t )f
(e.s1)
The change in the generating functional due to the gauge transformation is then
(b) Insert Z -- eiw into the above equation and perform the differentiation to get
where
6W-6W6W A'-
t: 'lt: 6n' Nu'
n'
Then we have
6f_6f_6f
-n: -Jp:
6r,lr' -n - 6rL' aAr"
[1o(at'Ap) -
dr ie / 6r* ,t[)-l o. (e.ss)
[a s,4r- (-/
Ep
' / - srl, srl, J
(c) Differentiating eqn (9.55) with respe ct to ,1t (xr ) and V 0) and settin g ,lr :
th : Ap: 0, we get the relation
d'f
=
-af^ Srlr(*,)St|0r)6eP
-ie6(-r-.rr) = "I- (yr)
' 6r\(xt)df
62f
- ie6(x - t) si@)6rb-. (e.s6)
Multiplying by exp i (p' x - plt - qx) and integrating over -tr, x1, arfld)1, we get
lo(u,-- s'Y \:
uf ru'60(* - (e.s8)
q \ ttt'(x)6J\y)) Y)'
62w
Gru(x - )) : (0lr @p@)A,(O))10) : (i)2 p
6J (x)6 Jv (y)
I 6'L-^r-ux
;o*ri *ru - E,ttvu^4(-t^ - )) (e.se)
or in momentum space
Remark. This relation is true to all order in e and gives the result that the longi-
tudinal part of G p, is not modified by the interaction. This can be seen as follows.
Write Gp,(k) as
Lk'Gr(kz1k,
- 1r, or Gilkz) :#
This is just the lowest order result as seen in Problem 9.1 (with * a).
60 : @Q0 (e.62)
where a,l is an arbitrary anticommuting Grassmann variable. From the BRS trans-
formations given in Cl-eqn (9.I32), show that the BRST charge has the property
of being nilpotent Q2Q 0 for (i) a gauge field Q : AL, (ii) a fermion field
-
Q : ,h, (iii) the ghost fields Q : p" and oo.
9.7 Nilpotent BRSZ charges 185
Hint. For the case of ghost fields we need to use the equation of motion for the
oo to show Q2po
-0.
Solution to Problem9.T
From the BRST in Cl-eqn (9.132), we can extract the properties of the BRST
charges:
6po
- -tf,{a* t) + epo - -f,{a* e"*) (e.65)
Q' Ao, t rou ,b'f o" o f AL - g'rou' e"f ob o" A[r. (9'68)
-
Using the anticommuting property of the ghost field, the last term can be written,
after relabelling indices, as
92 ,cbf o'ob AI
saec : (eobc ,cef - ,aec ,cbf ) ob o' AI
+
: -{, "'eo'f obo'A{, : -tr'"u rob'of oe ActL,
where to reach the last line, we have used the Jacobi identity
Finally we get
: i$
rufoo ob ,lr - r"u'T'oo ob ,lr,
+ lr" ,
g2To Tb oo ob r,1r (g.71)
where we have used the fact that os anticommute with each other.
(iii) Ghost fields
The right-hand side vanishes because of the equation of motion for the oo field as
implied by Cl-eqns (9.128) and (9.129) so that
Q2po (e.73)
-0.
Q",!;W\p5l'
To show that Q2oo
- 0:
(e.74)
Remark. Since we have only used the antisymmetric propeny of the structure
constant eob' of the SU(2) group, the same calculation will go through if we
replace s"b' by the more general structure constant f"b' which is also totally
antisymmetric.
(b) Show that the scalar product between any two states inHz is zero:
This implies that the states in?12 all have zero noffn.
(c) Show that the scalar product between states in'Jlz and states inHt is also zero.
QlVpny,) :0 (e.77)
This means that the zero norrn states in'llz will not contribute to physical matrix
elements and all important physics are contained in the space '112. The presence
of 'l1r and'l1z is to maintain the Lorcntz and gauge invariance. This is exactly
analogous to the Gupta-Bleuer quantization formalism of QED.
because
where a : I,2, . . . , (n'- 1) and Zf stands for the SU(n) generator in the rep-
resentation R. For the present case of the quark loop, R is the fundamental repre-
sentation F,
\a
-o-n (r0.2)
'o - T,
with {),o } being the usual n x n hermitian traceless matrices, and the above trace
becomes
where i - I,2, . .. , n. Thus the trace factor tz@) - | normalizes the (bare) QCD
coupling g.
(a)
(b)
(c)
where CzG) is the eigenvalue of the quadratic Casimir operator in the represen-
tation R. For the present case of quarks in the fundamental representation, we
have
[Here we are following the more commonly used notation of Cz(F), rather than
sz(V) as in Cl-text.l
In the gluon loop of Fig. 10. I (c), the sum over colour indices can be represented
either as a trace, like eqn (10.1),
cz(A)6u,, (r0.7)
+exr7)0,:
where Tft is the generator in the adjoint representation A, as is appropriate for the
gluon gauge field,
where Co6, is the structure constant of the SU(n) algebra. Since Co6, is totally
antisymmetric, it is clear that the above two expressions are equivalent:
l^
Cz(F):2n@'-l). (10.10)
Cz(A) n (10.11)
-
which is denoted by tz(V) in Cl-text.
Thus
Namely,
cz@):
*@2 - r\. (lo.ls)
f L" : ic'b,+
lT'-,?l)
(10.16)
2
goU,
- -i7Tr(),,[),", Lil). (10.17)
Then we have
gacd gbcd
- -18 Trl(),il,, - )",L) (LoL, - ),,x")l
| )")")")") . (10.20)
I0.2 Running gauge coupling in two-loop I9I
The first term can be calculated as
1st term
- - ()")ii()")irQ')u(L,)u
Tr().uL..LoL,)
/ I \
- (la)ir Q')u2 (6rrao, - ;SioS,,)
-/
Similarly,
/ 1\ 4
3rdterm-4(n-' la,r. 4thterm--16oa. 0,0.23)
\ n/ n
We then have
Namely,
Cz@) : tz(A)
- n. (10.25)
where
Show that the effective coupling constant g defined by (with , : Lln Q2 /tt')
dEG't)
: flG) with g(g, o)
- g (10.28)
dt
can be written as
" I f Llnln(oz/L2\
\-, ' r.-.t I
6;z__tl_,.
- flotn(e2lt2) tn(ez/L\ ' I
(10.29)
L' pA
192 Quantum chromodynamics I0.2
da2(
; - flG): -fl083 - FGs.
(10.30)
Io'---;Ir:'#uir (10.32)
or
t--:l-h.h^^#ulur', (r033)
+ fts')
Bstnt\2 = flornt", - + +
g2 ' +rn@o
fo"' g2
(10.34)
, _ +rn(fl' +_f,E').
02= -r, (ro.3s)
Fol"
fu flo E,
We can solve this for E'by iteration. To lowest order in g,
of
=2 _
I
l- 6r ln ln( e,l ty2)1
E': ffitno,/$Lt-tsi@ffi) (ro'38)
e -| #h#'h12o464(q - k1 - kz - kz)
q2
".. dxz
- fro, J[ dxr )-. (lo.4o)
with the fractional charge of the quark Qu : 213 and Qa : -l 13, etc., and
where s (p I p')2.
-
(d) Show that in the integration over 11 and x2 there are infrared divergences as
p --> 0, corresponding to configurations where the gluon is collinear with the
quarks, q or Q-the collinear divergence.
f d3k1d3k.'
e - J Qil4ra,'hr.t5(qo - a1 - o;z- ,,z)' {J0'44)
t94 Quantum chromodynamics 10.3
d3 k1 d3 k2
- (4r)(2r) d(cos e)k? dk&3 ab - 8r2 az da3a1 da1o2 dot2
(r0.47)
For q 0, we have
-
2kr .o 2a' 4
xr:--7q' + dx1dx2-qo,dro1da2 (10.48)
Qo
and
e: #i I a,,a,, (10.4e)
From o)r : (*2 +k!1r tz , the minimum for x js 2m / qs which goes to 0 for rn - 0.
Similarly, ar3 has a minimum at k3 - kr * kz
- 0, which implies that a1 : o)2,
and recall, for a massive gluon, the minimum is zt a4 - tr^c. It is easy to see that this
configuration gives a maximum value for a1, er a)2. From energy conservation,
the maximum for a,l1 is
Xt:
u .p
I _. (r0.50)
-
4o Jq'
Thus the range of integration is
p p
0<-r1 <1 /'r' O<x2<l (10.51)
\/ q' \/ q'
10.3 Cross-sectionfor three-jet events 195
(b)
kt+ kt
kz+ kt
i
X ;;--------;- (-ieyp)u(k) + u(k)(-ieyp)
#r-f#t'
'l
-i
" y; y r(-isY)u(k) )Qne^(fu)
o2o
- ; li ( p' ) v' u ( p\lu (k ) ltiuu (k)le^ (k) Qq
with
-1 I
/\t t, : YL t Yp (10.s2)
tl n ll3Yp ll3 + hY*
(c) We can write
^ ft*#3 l/z*#t
/\).tt -Y), t Yu (10.s3)
&t + kyYp 11rn OyYx.
The denominators can be simplified:
(h -f kt)' : (q - k)2 -- q2 - 2kz.e - qz(I - xz) (10.s4)
and
(kz*k)2:q2(I-x). (10.ss)
Then
:
A,,,r,
-;I\I-xz).yxQl t + tl )Yr" q'(l-xr)
The differential cross-section is then
The calculation of the matrix element is straightforward but tedious. After using
the relation
T'^
g,k)eB(s, k:)
- -sxn.ry (10.s8)
(the kzxktB term in the photon polarization sum will not contribute because of
gauge invariance) we have
: I(+{)"r'v,ilv.)rr(#
i I tMt2 t'vxpttzA,,)
: "Vfut*G&u
o4 o2
(10.59)
where
we have
The tensor G&', after the integration, can depend only on ep. Thus,
or
,r, G,u dp, : It", (r* - G(q2) : tr,Bu'I ,"u top dpt.
I 9 I
From eqn (10.60) we have
do - +#@q2): I ##6dx1dx2#nl
2a2u2 ^ f ztx? + xil
_do; J (r-,)(r_xz)
dx, dx,. (10.73)
Tn (++):'u+6..:4 (r0.74)
We then have
where Cl' @)s are the Fourier transform of the Wilson coefficient in the coordinate
space and the local operator has the general form of
(a) From dimensional analysis, show that we can write the forward matrix ele-
ments as
where subscript V means that the operator of:t'z"'p" (0) has the same parity as the
product of n polar vectors, e.g. xt', xt'z . . . ytrn, while A denotes the axial type of
operator Ol,r[2" u" (0) which has the same parity as the product of one axial vector
and (n - 1) polar vectors. The state lp, s) has momentum pp (p2
polarization is described by apolanzation vector sp and is normalized as
- M2) and the
(p' , t'l p ' sl : 2E p6rr, (2n)3 63 (p - p'). (10.82)
The operation S[. . . ] projects out the completely symmetric traceless components.
Also ary , d,r1 ?ta dimensionless constants.
(b) Show that the coresponding Wilson coefficients, which give the leading con-
tribution in the scaling limit, have the structure
ct't"' r"
@)(p, rlof,V' *'(o)lp, rl - # (:)"- (#)(-d+n)/2
(10.87)
we see that the physical state lp, s) has dimension -1. Thus the matrix element
(p, sl Ol,r&2"'u" (0)lp, s) has dimension (d - 2). Since pp is the only polar vector
200 Quantum chromodynamics 10.4
this matrix element can depend on, the Lorentzindices &r . - - F, in Oa,y aretaken
up by pttt pttt " ' pt'". The term of the form gt'Ltlrz pP3 ptt4 . . . pp^ is not traceless
and will give a non-leading term in the scaling limit. From these considerations,
we see that the general structure for the matrix element is
(p, s I Ot)#'z,p' (0) lp, sl : Md-n-z 51Our pt" ... pz")unv (r0.8e)
where ary is a dimensionless constant. The matrix elements of the axial operators
can be obtained similarly.
(b) The Wilson coefficient of the operator Ot,t#2"'P" (0) must have the Lorentz
structure Crr*r*r...r". Since Jr(x) has dimension three, we see that trr(4) has
dimension two. Sinc" O!)#, ''(0) has dimension d, the Wilson coefficient
Crrr,rr...*, (q) will have dimension (2 - d). The structure functions I4/1 , W2, arrd
Gr are defined by
1
and
I
W; - -7t Im 4 and Sr: Im G1. (10.e1)
Thus for structure function Wr, the Wilson coefficient is of the form
.10.92)
Cl't"r"'u" @)
- -gp' Slqpt qt-12 . . . qt"^leq\Q-d-")/2Ctn(g)
where C1n is a dimensionless constant and can depend only on the coupling con-
stant g.
Similarly, for the structure function W2, the Wilson coefficient is of the form
* permutationslCz,G). (10.e3)
Thus for twist-2 operator (recall twist is difference of spin and dimension, d
- n),
we have
where
tr,(4)
- | ao * eiq'' T (J r,(r)/,(o)). (10.e8)
offt,ttz"'u'(x)
- ;+ {4G)yp, Dt', ... Dt",q(x) * permurations}
ofti,!2"'u'(x)
- :+ {4@)yp'ysDp, ... Dp,q(x) * permutations}.
p p pzp
Flc. 10.3. Quark Compton scattering.
202 Quantum chromodynamics 10.5
Show that the matrix elements of these operators between quark states are given,
to lowest order in ar, by
(q(p,ilof:!' :
'*"lq(p,s)) (p*' ...pt")
(q(p, s)lo?',!' 'u"lq(p,s)) : h(p" ... pt'") (10.100)
where h is the helicity of the quark state q(p, s) and is related to the polarization by
1 1 1 ls n
(10.103)
(p -f q)2 2p .q * q2 q20 - @) q' ?:o
---/(t).
Similarly,
(p - q)2- 1i,-
--f-- t)n.n. (10.104)
q' f,:o
where s, and h arc the polarization and helicity of the quark state. Then
u(p, s)yp@ + d)y,u(p, s)
- 4ppP, * 2ppeu * 2qrpu - 2gp,@ ' q)
| 2ispvaxq" p^h (10.108)
(10.110)
ot
q(x) (p,s)sin'*u(p. s)].
- J[ - ' -t,-lb(p, s)e-iP'r 11(p, s) a d+
ltziltznrl"'
(10.1r2)
It is then easy to see that
Also to ordercuf , the covariant derivative D * is the same as the usual derivative 0,
and
: l-r
l-gu,(qr, qu, .. . qu,),
n(ns)
r- ( -
-qJt'J
i Bt,r,rsvp,qu3 ...qt'n +permutationr] u" ,pp,... ppn
: _ Bpucffl,(;)' _t pup,(i)'-'
iAr;,|
-'
* hep,ope" ,t (:) i6c';" . .(ro.n7)
Comparing this with the Compton amplitude given in (a), we see that
cli,'r)
- -2lr - (-1)'1, cli,') : -2lr + (-r)'1,
cf') - _2t1 + (-l)'1. (1o.l 18)
11 Electroweak theory
are eigenstates of the helicity operator i. : s . 0 in the massless limit, where the
spin operator is of the form
': + (; :) (1r 3)
Note that the same calculation should also show that the other two combinations
,'-(.t/o o/
l) ('.s)
Thus
- (\-1l',
t,
) r_ (11.6)
206 Electroweak theory II.2
where we have used E - p for the massless particle. Similarly,
un@) - +(t * y)u(p,*): (l) r. (r 1.7)
Then
Au,@):r(o
p
: r) (_"),
: + (-t, ," ' o)x- : -iu,(p). (11.8)
)
Similarly, we have
sr(p,
- *o(p, ))y,ysu(p, )'). (11.10)
^l
(a) Show that
o ?'P P(?'P)
m (E -f m)m
lI.2 The polarization vector .for a.fermion 207
or, alternatively,
s.p : : -
Z*il(p,L)ys?il)u(p,l) Zil(p,L)y5u(p,L). Ol.l7)
Thuss.p-0.
(b) For a parricle at resr, where we have u(p,L) : J2*(tO)^^,0-:
(m,0,0, 0), and s . p- 0, we get
so
- 0 (11.18)
and
"
: *rro, ))yy5u(0, r.)
x],0,', (: ;) (? ;) (l)'^ : xlox^ (1, le)
Thussl:J2-0and
,r-[t.
" 1o"*.
forx_
(r1.zo)
[-t
This means s is in the direction of the spin. In this simple frame we have
su(p,^,
- *r(p, L)y,ysu(p, L) (11.22)
1l
ro:E@+up!.p- EQt.p+bpz) (1r.24)
208 Electroweak theorv Il.3
and the condition s2 : -l can now be written as
^ rry.p+bp')'-(n+bp)2-t
1
(11.26)
E2'
or
or
,_ (? .p)
b (tt.2e)
m@fd.
(The other solution does not go to zero as p + 0.) Thus we have
p(tr.p)
s:?+ (ll.3o)
@+*)^.
11.3 The pion decay rate and fr
The decay nt --> p+ + u, is described by the effective Lagrangian for the four-
fermion interaction
Gr
^
Lwk : -icos g,
lny, e - Ddllurre - y)vr,l. (11.31)
(0luyrdln*(p)) - O (11.32)
(\luysdln* (p))
- - \\luy0dlr+ (-p)) (11.36)
or
(\luyodln*(p
- 0)) :0. (rr.37)
(\lu ydln+(p))
- \\lu ydln+(-p)). (1 1.38)
This matrix element is a three-vector under rotation and the only three-vector this
can depend on is p, which changes sign under parity. Thus
(\luydln+(p)) - 0. (11.3e)
In essence, this argument simply says that since z+ is a pseudoscalar, the matrix
element of vector current (0luyrdln+(p)) is an axial-vector while the only vector
it can depend ofr, pp., is a polar vector. Therefore, this matrix element must vanish.
(b) Using the same argument, we see that (\luy*ysdlr+ (p)) is a polar vector and
has to be proportional to pp:
G,
M _ _t g" (\luyuy5dlr+ @))u(k)yp (1 - y)u(k)
icos
-9,f"
T
cos0. puu(k)yq(l - y)u(k1)
o'!:
- \/2
cosg. m,u(k)(7 - y)u(k) (11.41)
where p : kr * kz, with k2 being the momentum of the muon. Note that this
matrix element is proportional to the lepton mass mr. The decay rate is then
210 Electroweaktheory 11.3
given by
and
T IMP - G',f3
spin
cosz e,mzuriQl2 - mr)(t - y)th (t * ys)l
and
and
f dx lE'
p: ,I l6(m"-x)Er-: (11.50)
+7T J X ^ -.
+Jf mft
ll.3 The pion decay rate and f, 2tr
For x : mr, we get tltv : Er * (*'u * Ellttz or E1 @? - mzr) /2mo. The
phase space is then
p- t *7-*ru (11.s1)
4n 2mn
p @i: *'r)
- -1-
2m, 8nm,
4f:Grrcosz e,*ru@r, - *rr)
: # r|*'u*o(' - e,
- : (rt.s2)
#)' "o,'
Substitute in the pion lifetime, the Fermi constant, and the Cabibbo angle,.etc.,
and we can deduce fo :0.66mo - 90MeV.
(d) In the V-A theory u, is left-handed and pr+ is right-handed. In the limit
ffi, : 0, p* has helicity f . Thus in the rest frame of n+, p,+ and u, come out
back-to-back and the total spin along the direction of p+is +1 (see Fig. 11.1).
However, z+ has spin zero. Thus this decay is forbidden in the limit ffip :0 and
the decay can proceed only if m, f 0, see eqn (11.41), in which case right-handed
p+ is not a pure helicity state.
Remark. If we use the same analysis for the charm meson decays, the results are
very similar:
lr* v
<-<-
FIc. 1 l.l. n --> 1t+v decay would be forbidden inthe mu: 0 limit.
212 Electroweak theory II.4
11 .4 Uniqueness of the standard model scalar potential
The usual SU(2)w x U(1)y scalar potential for the standard model is of the form
with
Show that this quartic term can be reduced to that in V (il of eqn (11.56).
(b) Show that another quartic term
vz@)
- LrD(oI{rbo) (orr"bQ)
a,b
(11.se)
- z (tioa,, - )u,,uo,)
. (t l.6l )
.rr")i1ko)rt
we obtain (Qr til . @I til - (Qr O)'.
(b) We can use the identity in eqn (11.61) to derive
b
* (, ) *, (r"
u u
D(t' j (t " r ) r,t
a,b
rb ) t
- l{t
a,b
" ), ) r,n G ) n,
Thus we have
(Or L71,(0, xil - zl fOr O), - lfOt Of1 - 2(n - r) (OI 02 r.1.64)
Ln)n
by using the identity
/l\
.r^"r,,(Lo)*r-
z (a;ra ,, - !s,,60,) . (l 1.65)
e: B sinOsr. (11.70)
Lu :D,r,Ji*
i:l
Air- Ii,a giJip siowf, :f a:l ",J"t'wi, el.lr)
214 Electroweaktheory 11.6
where ealfr
current, we get
- Lt gtJLS,,. For the case where Jf, : Jfi*, the electromagnetic
,Dc1lf
j
-fi:7 r,rls,o. Q1.73)
O-rr+Y, or Ji*:lt-+)t:,
Then the relation in eqn (11.75) becomes
111
: (It '77)
+
7 t, *'
Using g' : gtan?1ry, we get
+
e" - ltt
g'
* cot2 ey; or e: Bsingyz. (11.78)
UMUr - Ma
-diag(m1,rn2,...,ffir) (11.80)
Mo:MdS>0' (11.81)
Then
Mo:MaS-UMUtS-UMVI (11..82)
with UtS - Vl . Since both U and S are unitary, V is also unitary. Then Ma is
in the form of a biunitary transformation. In this way we can make all fermion
masses non-negative. Clearly, this can also be done even when M is not hermitian.
(b) If M is real then M MI is real and symmetric and can be diagonalized by
orthogonal transformation :
Let us define
/ \
uo:l^'' I *o H-sMasr, (11.84)
\ mn/
TTr _ H-t MMI (n-rrr _ H-t SUISr n-t - H-t H2H-t - t, (1 1.95)
M - HT - SMaSTT or Ma - 6r MTS)
- Sr MR (11.86)
u-(o- ?).
\o* b )'
(r.87)
Show that the mixing angle 0 which characterizes the 2 x 2 unitary matrix which
diagonalizes M is related to the mass eigenvalues by
l7l I
tan9 (1 1.88)
- lll2
with
Remark. Attempts to relate the Cabibbo angle to the strange and down quark
masses have been carried out along such approaches.
In order to conserve the quantum number B, the first term requires the assignment
h(h) - -+, while second term requires B2(h) ]. Thus the baryon number B
-
11.8 Conservation of the B - L quantum number 2I7
is not conserved. For the lepton number conservation we have L1(h) : -1 and
Lz(h) - 0, and the lepton number is not conserved. However, the combination
B - L has the values
2 1
and Bz-Lz :-
L
81 -Lt:j (rt.e4)
J
Remark. This simple example illustrates that the baryon number (or lepton num-
ber) conservation is an 'accidental symmetry' due to some special structure of the
Higgs potential.
12 Electroweak phenomenology
where At and V! are the axial and vector currents of the electron and Aq, and, Vfl
are the axial and vector currents of quarks.
(b) If we write Lx in the form
^,
L'N : Grr- (CrpFypp * C6nyrn) * Eyre (CrrFyryrp * C2nny*vsn)f
#lurryse
(12.3)
(d) Show that for the case of heavy atoms, the terms containing vector currents of
the nucleons add coherently and are much larger than the axial vector terms. The
interaction can be written as
-*rhJ[
l2.l Atomic parity violation 219
where the neutral current J I contains lepton and quark currents, and each current
has a vector and an axial vector part. Thus the parity-violating interaction due to
the exchange of a Z boson between electrons and the ud quarks in the nucleus
must result from the following V-A interference:
Lr,r : o2
+ v', eL] 02.6)
hlo'rvf,
where Vfr'q and A';q arethe electron/quark vector and axial vector neutral currents,
respectively.
(b) The neutral current having the general structure of JI o (Zl - sin2 Iyy Q) for
the electron, we have
and thus
and
Lr,r : %^[rurrysel(I
t - !sin2 01,s) uyuu+ (- i+ rrsin2 ory) avudf
"/2
+ (-f + ,int 01,y) Eyre2 (dyryra - avrvr4l. Q2.tt)
Reading out the coefficients, we get
where
The nucleon matrix elements of these operators are (in the limit of zero momentum
transfer)
where (p, n) are the proton and neutron spinors, respectively, and B t : - 1.25 is
the usual axial vector coupling constant of the nucleon. In terms of nucleon fields,
we can write
: -
Zfurrrrrl(ipyrp -
L7'1
Lny*n) 2sinz ew@y*p)]
Czp : 2 (-i * sin2 0*) so, C2n - -2 (-i + sinz ?yy) ga. Q2.17)
(d) In the non-relativistic limit, only the time component of the vector current is
non-vanishing. It counts the proton and neutron numbers in the nucleus, and we
have
and for the combination that appears in the weak neutral current
t-
(A.zl I j (t - 4sin2 gry)
D, pi p, - + T ,!,,fiA,z)
Li
-i[(t-4sin2e*)z-N] : lo*. (r2.re)
Thus we get
r,.. -
9+0*
kN - 2A="' eI yse.
tJ--
Note that the matrix element of axial vector current N yrytN in the non-relativistic
limit is proportional to the nuclear spin operator and is smaller than N or Z.
I2.2 Polarization asymmetry of Z -- f f 221
Arnu):ffi. (n.22)
(b) Calculate the asymmetry parameter A7p for the decays:
(i) Z --> eE,
(ii) z --> bb,
(iii) Z -+ cE.
For numerical calculation, use sinz Ory 0.22.
-
Solution to Problem 12.2
(a) In the calculation of the two decay rates in Arn, the amplitudes are the same
except for the overall couplings (gr or ga) and (l - y) or (1 * y5) projections.
As there are no V-A interference terms in the rates, we have
r(Z --> f'fil G'UD' (r2.23)
t(z --> f*f) GR(fl)2
and thus
(iii) Z --> cE
silc)- +-|sinz0w: -0.353, sn(b) - -?sin27yy - -0147,
ArnG) - 0.7. (r2.27)
222 Electroweak phenomenology 12.3
and
Thus
we get
# (:D**,r() rz,f
- \ sptn
t4 (p - k- q)#"#" (I 2 37)
The phase space is the same as that calculated in Problem 11.3, with appropriate
substitutions
o: len)a.a(p-k-il#n#^
: t rm?-y?\. (12.38)
4n \-Z;f- I
The spin average of the matrix element is given by
+L,lMf
spin
- )lc rv,afom,f rrul (l * rs) @ + m,) (r - y)l
- zG2e fllv,al2*?ep . k) - 2G2p fllv"ot'*? (*? - *?)
The decay rate is then
l^
|: * (ry)
-G'rfllv,al2*l(^? - ^')
:#rlv*?^i('-#)
G2- ^ / ,.^2'2
(n3s\
we get
sin2 e, -- (T,
,=2^!^
* 2m),1, '' - Y+1
l' - E, 2Ej J
(12.43)
kr:kz*Pz (r2.46)
krlmr:kz*Ez (r2.47)
t<2,
- 1t<t *m, - E)2 - t<l +*2 + n3+2k1m -2m82-2hEz. Q2.49)
or
The kinetic energy of the final electron being T, : Ez - m, the scattering angle
satisfies
.
sin' o" : g*2*-lr- ?_y+1. (n.n)
rm") L Eu 4 )
Remark. For the usual neutrino beams we have Eu ) m" and T, ) m": this
formula implies that sin2 g, is small and
^ 2m.
0"- (r2.s4)
"7,
Thus the electron moves very much in the forward direction and provides a good
signature for ve quasi-elastic scattering.
I2.5 CP properties of kaon non-leptonic decays 225
where X G) is just a plane wave describing the motion of the centre of mass and
is of no interest to us. Under the charge conjugation, we have n+ # Tr- , which
corresponds to 11 <-----> t2 or r -+ -r. The effect on the wave function is then
Q@ 3
QGr): (- t)tOG) e2.ss)
where / is the orbital angular momentum of the n*n- system. Thus
Under the parity, we have (- 1) from each of the pion and r -+ -r. Thus we get
because n0 is a C-even eigenstate. On the other hand, the nlno system consists of
identical bosons and from Bose statistics we should have symmetric wave function
226 Electroweak phenomenology 12.6
under 11 +---+ 12 which coffesponds to r -+ -r. This means that we can only
have /_ even states. Thus we also get
J : Jrz * J: (12.66)
where Jrz is the orbital angular momentum of the ntn- pair and J3 is the orbital
angular momentum of n0 with respect to the centre of mass of the n+n- pair.
Since K0 has spin-0, we have J : 0, which implies
lJrzl : lJ:1.
For the 3n0 state the only difference is that by Bose statistics 2tt0 has to be in the
/ ever state. Then we get
-
CPlro no no) (12.69)
- - lnororrol.
Remark 1,. From the fact that both Kr --+ n*n- and K1 --+ n0r0r0 are seen
experimentally, CP symmetry is broken. The fact that the rate for Kr --+ n+r- is
much smaller than K5 + T* 1r - implies that K y is mostly CP odd state and K5
is mostly CP even state.
12.6 Z + HH is forbidden
Show that in the standard model, the decay of the Z particle into two Higgs
bosons, Z --> H H, is forbidden by the angular momentum conservation and Bose
statistics.
Or : (uryPs) (rl*r"ur)
- lwv'(l - ys)rlldyr(r - v)ul (r2.7t)
Also, compute the anomalous dimension matrix for the OrOz system. The result
should indicate a QCD enhancement of the A1 | operator. -
Solution to Problem 12.7
The one-loop QCD corrections to Or are shown in Fig. 12.1.
For diagrams (a) and (b) in Fig. 12.1, these graphs are just QCD corrections to
current, e.E. fuflpsr) which has zero anomalous dimensiort, y :0 because of
its partial conservation. This means that these contributions will be cancelled by
wave function renormalization which are not shown in Fig. 12.1.
\-''
,,,,#t-.-
\-<
X
(a) (c)
>-.-,,'-
(d) (0
M, :
I #1" (;%),,,' tP,,,,)
"?ln'(f*),"rff,'u,]
: #- I
f*6lu'rv"vpYpsrlfd't"vovf '-"li
(12.73)
where we have used the replacement kokB : 5 S,p. Using the identity displayed
in Cl-eqn (A.17),
f ddk r _ i t(2-d12)
J e"Y t^ - (4"Y'
(r2.78)
I e)
we get
-o2
M':69-n I fe-dlz) ^ t-._
@tYpu)(d1v,1s7)
e")d/r-- ,-(+8) L
r-l (12.7e)
-5@*usr)(drYr,)
).
This shows that the operator O2 mixes with Or under the renormalization. It is
clear that Ma gives the same contribution as M,.
12.7 A,l : I enhancement by short-distance QCD 229
and
M,:ffidwt9+Pez>loz-i''] (1 2s2)
For graph (f), giving the same contribution as (e), the total contribution is .
f(2-d/2) t 12 ,l
@;A@F:n ' (W L; - Y *tn(4r) - rn P'l t02'84)
6r,,-
ffi(?-v -ttn(4n) (r' - ir') (r28s)
If we write
we get
zrr:r- &(?-r
(4n.
+h@n),
3s2 /2 \
Zn:
*;f (; - r +h@r) )'
(12'87)
It is straightforward to carry out the renormalization for the operator Oz and the
result is
with
zrr:zzz:t*&(^#. ),
Zrz:Zzt:#(^5. ) (r2.e0)
we get
where
(i;) (r2.96)
':
I2.8 Scalar interactions and the equivalence theorem 23t
(a) Show that if we param etize the four independent components of the complex
doublet field as
I /6t * i2z\
Q: 6\o' * iQo) ' (r2.e7)
then .C, is the same as the SU(2) x SU (2) sigma-model (without the nucleon).
(c) For spontaneous symmetry breaking, we have
Write the Lagrangian in terms of H and t and find the Hn+t-, and Hzz cou-
plings, where irt :
ftt"t - ir) and z - 7e.
(d) Calculate the scattering amplitudes: r*t- -+ zz, nTtft --> n*n-, and
77+77
o:+(I:+',ri)' (12.101)
we get
-
QIQ
| , .
- r(o? +
.
0'z2
1
+ 03 +
1\
oil : t@' o)
I
at ol apo : |.ruuo
. au o) Q2.to2)
which is clearly O (4) invariant because only the invariant scalar products appear
in the Lagrangian.
(b) If we break the 4-vector @; into a 3-vector and a scalar, r - (Qt,Qz,Qd,) and
o : Qz, the 4-scalar Q .@ corresponds to the sum of
O.O: T2 *o2 (t2.to4)
232 Electroweak phenomenology 12.8
-
L, : lr
,lturr)z
. ^a +
+ (a*d'f
u2
iet' + o') - i<"' + o')'
,i
(12.105)
(t2.r12)
Remark. This is the essence of the equivalence theorem: one can replace Wy and
Zp with the corresponding 'would-be-Goldstone bosons' in the limrt ms )) Mw
and M7.
12.8 Scalar interactions and the equivalence theorem 233
(a) (b)
(a) (b)
XX (c) (d)
Jv'
1r1@) (-i^'n)'--i----- . M(u, -\
JvL - (-t^2o)'--l-- (12.115)
-
-\ u ) s-ffi2n' u / t-m-H
/ . r r2 . / . ) r2
M@t _ (-,*', ) __= , Mo, : (-tm'H ) f__, (t2.118)
\ u / s-m'H \ u / t-m'H
: ---2
191tct
--)"'rr+x2x2 (l2.rlg)
8u2
M-j4t--=*-i----l
u'Ls-m'n t-^'rJ
(tz.tzo)
Remark. These simple results for the scattering of Goldstone bosons can be used,
through the equivalent theorem, to get the amplitudes for the longitudinal gauge
boson scattering.
Then
I
s pin
lM"3 --
02
fu @L - +mzorut2* + t2Mil)
:'#,^,(,-W."#) (nn3)
The decay rate is then
d3k
r - I f rz">o^^@ - k -
d3k
h J
ao k')
ffi #, Llt"r"l''
sptn
02:'24)
e :I 12n1464(p - k - 0L#*
:#la<^,-E-E)##; (r2.t2s)
Write
d3k (r2.t26)
-k2dk4n -4nkEdE.
We get
p:GlfkdEk
Jur*n-2E);-
(12.127)
^"^r.
The momentum k canbe calculated as follows:
Note that the result here for the two-body phase space is different from that cal-
culated in Problem I2.3, because of the equal masses in the final state here. The
decay rate is then
Note that in the limit of mp )) Mw', this is the same as eqn (12.I11)-as an
expression of the equivalence theorem.
(b) H --+ ZZ
The amplitude is given by
{M=t (e, e). (r2.r3r)
Ma - -i COS Ury
The phase space having an extra factor of j, because of the identical particles in
the decay products, the decay rate is then
f (H
/ 4M"
+ zz) - 49 (t - 4uV\t/2 (t-d- M!\
,ra Q2 t32)
r6J2jr\ E) )
This is the same as eqn (I2.ll2),if ma ) Mz.
(c'l H --+ tf
The amplitude is given by
M,: -ll7lt
u
(r2.r33)
and
T lM,l'^m?
spin
- #Trl(ft * m)(#' - m,)l
' _ 4*?
..._t (t
.k, _ *,r)
-,lt^
-zJiGr*?*',(r- ffi ri2.134)
where we have used ft . k' : * @L - z*?) and u-2 - J1G r. wirh the phase
space
we get for the decay rate, which should include a colour factor of 3,
r(rl _ _ *,
_+ try
W(, H)'''
(r2.t36)
I2.9 Two-body decays of a heavy Higgs boson 237
efQi -- E) (r2.137)
h(k,o,o,
which, in the high energy limit k ) Mw, takes the form
and
This is exactly the same answer for the decay H --> W+W- in the limit mn )
Mry. This shows that H --> W+W- is dominated by H --> WlWl.
Remark 1. Since the difference between total decay and the decay H --> WlWt
is of the order of M2* /mzs,thedecay of the Higgs boson into the transverse modes,
H --> w;W;, is suppressed by O (m2*1m2r).
Remark 2. We can translate this into a relation between effective coupling con-
stants:
Tuw,w,
gr-r*
-- ( Yy\ in
rrr the limitmn
L'v rtrrrrl ) Mw. (r2.t4t)
\W )
This means that in this limit, the Higgs coupling to Wp is much larger than that
to W7. On the other hand, W1 comes originally from the scalar fields. Thus the
physics of gauge bosons Wr and Higgs field F1 can be described in terms of
scalar self-interaction present in the original Lagrangian. This is the basis of the
Equivalence Theorem (between longitudinal gauge bosons and the scalar Higgs
mode) (see, for example, Cornwall et al. I974).
Remark 3. The same argument applies to the decay mode H + ZrZr which
willdominateover H --> ZrZr.
13 Topics in f lavourdynamics
Because of the presence of zs only the doublet members can contribute to this
? sum. I commutes with ri we can write
Tr(titiY) - Tr(riYt) - Tr(r1r;Y) - )frqt;, r)Y) - Eij Tr(Y) (13.3)
On the other hand, I takes the same value for both members of the doublet. This
means that the absence of anomaly requires that Y 0 for the doublet. From the
relation Q : Tz + g /2), we see that
-
For the case of two U(1) vertices, the coefficient of the triangle graph vanishes
because Tr(ti) : 0. For the case of three U(1) vertices, only the right-handed
singlet will contribute and the coefficient is proportional to Tr(Y3). This vanishes
as Up and Da contributions cancel because Y(Uil : i.: -Y(Dil.
Remark. One way to avoid this strange (unfamiliar) charge assignment is to intro-
duce a technilepton as in the standard model
where the charge assignment is the same as the ordinary fermions in the standard
model.
(a) If one turns off all except technicolour interactions, show that the model has
an SU(8)1 x SU(8)n global chiral symmetry.
(b) Suppose the technifermion condensate breaks this symmetry down to
SU(8)1+R. Show that there are 60 new Goldstone bosons besides those which
were removed by gauge bosons.
(c) Show that these Goldstone bosons will become massive if we turn on the gauge
interaction.
Note that for convenience we have changed the spin wave function from X (s) to
X'(s) in the u-spinor. Also there is an external minus sign in X (-+).
(a) Show that with these choices, the charge conjugation will just interchange the
u- and u-spinors, i.e.
can be decomposed as
drp
thtw@):+l s)u(p, s)s-io'' + b\(p, s)u(p, s)ein -f
lurro,
l{zn)tznolt/2
(1 3.15)
with
so that
,l/uy,'rhu
- 0, Vuouurbu - 0. (13.19)
:+I dtp
l{z,r)tzno1tt2
lu' @, s)u'(p, s)sin'r + d.(p,s)u'(p, s)e-in'"1
with
I
bu : s) * d(p, s)1. (13.24)
7Ib(n,
The anticommutator can be computed
lu*ro,
s), btu(p', r')
)
: ; lu@, s) * d.(p, s), bt (p', r') + dr 1p', s'yl
: L,
{b@,s), b* (p' , t')l + L {a@, s), dr (p,, r)I
: 6,,,63(p - p'). (13.25)
Thus b7a and bt* arejust the usual destruction and creation operators.
(c) From part (a), we have
u'(p, s) - u(p, s) : i yzu" (p, s) (13.26)
or
Then
where
C
- iyzyo, C-t - Cr - Ct - -C, Cy[C-t - -yp. (13.31)
Similarly
u(p, s)yuu(p', t') : ttr (p, s)CyuCur (p',J') : ur (p, ilyf.il'(p', t')
- u(p' , t')yuu(p, s). (13.33)
13.3 Properties of Majoranafermions 243
More generally,
u(p, s)f u (p', r') : Ltr (p, s)ClCur (p',s') : -ur (p,s)ClC-ru'(p', t')
- u(p' ,s')l'u(p, s) (13.34)
where
f-l l'-(-cc-r)r--1
| : o,v ofr,: (-Co;:C)
: ot r. (13.36)
(13.37)
t,uyutu:nl
@##T I @#ry
x lbrr(p, s)bu(p' , r')u(p, s)ypu(p' , s'1s-t{p-p')'*
n')'x
I b u (p, ilbtM(p' , ,')r(p, s)yr"u(p' , ,r1ri(n-
x
ur@, r)br*(p', r')u(p' , r')y*u(p, s)s-i(n'-il
nII
: I I bu(p','')btr(p,s)u(p,s)vt'u(p','r1'-i(n-n')'x
P
244 Topics inflavourdynamics 13.4
where we have interchanged (s, p) <----> (s', p').Then the first and second terms
combine into
drp d3 p'
EI l{zo )z z n o]''' leo )t 2 E,o]t
/'
* {bt*(p, s), b u (p' , s')Iu(p, s)yru(p' , ,r1r-i(n- n\'x
: \----a f d3 o
s)Y'u(P' s)' (13'3e)
+ J lQil'*Yu(P'
This is a c-number and can be removed by normal ordering. The third term can be
written as
Similarly, the fourth term is also zero. In an entirely analogous way, we can show
that (ryo*u{ru :0.
where
with
ft ,] -u\da
s(x)- Jo ^ --:. t2(r-a)(2-cv)+a(1
I (l-cy)*ax *a)xl. (13.43)
(b) Show that, for the case m! < M2w, this reproduces the result in Cl-eqn
(13.1 1s).
(c) Show that S(0) # S(a) and, if mz )) Myy and mrl K M1ry, the result is of
the form
: 3c
fiefsfoo) -
B(pt --> ey) sQ)lUI*u1,2\2 (t3.44)
13.4 p -+ ey and heavy neutrinos 245
I I
( a) (b )
Q ..--
I I
(c) (d)
ftr+il2- MzsNe'r
*
where
,, : (t3.46)
*(J[i(rpi
and
where
-
A : dll@ + D2 - *!l + az[(k * q)2 - M'*l+ (1 - ar - a)[o' - *?r]
- (k + arp * azq)2 - a2 (13.49)
with
f d4k
"Je"Y fft+ arplazq)2 -o'lt Sr
where
St : NprfP'. (13.s 1)
Sr -+ Sr (p . s)lu,(l
- * y)u*l2mr[2(I - ot)' * (2qt - Duz]. Q3.52)
f d4k I (i)
(13.s3)
J Q"f &'z=pF: 32n4''
The contribution to the invariant amplitude A is then
--\_-/-I.,
A(a\ L-,
mP
1612 (ilt dqt(I - u)2 (1 -
"')
t(l - cur) * utlm! 1u!r))
(13.s5)
I3.4 p --> ey and heavy neutrinos 247
-, D, I # .T#=A " ;W x
(ki| M,w'^N^
(13.56)
where
ri@)- I i
,,,,
I du1du20(1 -or -az) I #@+rf.
(13.58)
A(b)_p,,wlffi
+''W@1ffi
Diagram (c) gives the contribution
(1360)
ri@)
--' T I #''(p - " (#*)'''rmio * v) - m"(r - v)l
i (is \l i
v '(p + k) - *, \;'fr)
- vs)uptn) 1o' - rvr')
(-i sr') "u'Y'(t
x
I& +#: MfrGeMwex)
i i
x ' 12k + a)
&r: Mt t& + qy= Mfr(ie)e
2k-e.
--i+,,#t#ru,(p- q)(I P'\Y)r@*k)2-m!
v)u u@)l
- -4 -m?
4r,frro
. e)lu,(p - q)(I + y)u*(Dl
A(d):ffi,,+,,#(#)1ffi
:ffi'+''#(#)Iffi 0364)
:ffit"\,,#@1,'ffi
" { - zo - o)'(3 - 2a) - 2(r - o)' - Zu(r- a)(1 . r (+AI
:ffi,"+,,*G)'(#) (1365)
I3.4 p --> ey and heavy neutrinos 249
where
ft 0 - u\du
g@) I ;----.
- Jo (r -cu.) +ux 12(l -
a)(2 - cy) + cv(l * a)"rl (13.66)
and
,,:*uliupi. (t3.67)
: rt 0 - u\da
sQ) - a)(2 - a) + a(l * a)xl. (13.68)
Jo ffi12(r
Lety - 1l@ - 1) or x: (l + y)/y.
:.5 t*'l{ a)(2 -cy) + -r", @r-]
[ttt -
s@) ot(t
I,"ttr
|ft 0'-.-------
- u\du . LL)/\t v)\L v) I w\r
12v(1 -a)(2-d)+a(l*cu)(l+y)l
- lo +D
(cv
,f' .?t-(l
da
+ 3y)o3 * 8yu2 + (1 - 9y)o + 4yl. (13.69)
Jo (d+y)
To facilitate the integration we can write the numerator d(u) : -(1 + 3y)a3 +
8yo'+ (1 - 9y)o * 4y as
and
7l
s(x) - / t-tt
Jo
*3y)u2 t3y(y *3)a+ (-3y3 -9y' -9y * t)ldu
'
-3y3 - L'-!,
2' 2' +?
3
03.73)
250 Topics inflavourdynamics 13.5
and
2ndterm
- d(-y)" (?) : ffi r"" (13.74)
Thus
Forx < l,
11 2
s(x) -3(1 + 3x) - *<t
z
* t"l + ;(1 * "r) *; * o@')
5x. + O(x'). (r3.7s)
32
In this way we see that for mi K Mw, for all i, we get
6,. : z)r,,r,,l] _
:#l: _ (r,u pi (#) (13.76)
T
where we have used the unitary relation
because
52
S(0):J and S(oo):a. (13.7e)
Remark. Since the GIM mechanism is not effective here, the branching ratio will
be very large (compared to the experimental upper limit < 10-10), if the mixing
UIU pz is not very small. Thus the coupling of electron or muon to any neutral
lepton which is much heavier than a W boson must be highly suppressed.
Show that if the Higgs scalar is the usual SU(2) x U( I ) doublet, then the weak eigen-
states, fte, frLt can be expressed in terms of mass eigenstateS Nt , N2, D3, v4 as
follows:
(n,)r (^'
- \rnr cos@N1 +^'t/t2sin,fN2 * IJs3v3+ u"oro)/ t,
(nr)r: (- lt sin1Nr *ry * (J,ttvt + Uroro) Q3.81)
"or1Nz ,
where Uois ara elements of the unitary matrix that diagonalize the mass matrix.
where
: : (ili)^, (vi).:
(vi)^ v,ti'l'io
(|j),: uli{i'. (13.86)
252 Tbpics inflavourdynamics 13.6
vr M Ma(Jt (13.88)
-
we get
(cosQm, -sinQm,
\sin,frz" cosQmu .../\
/ u"t (J"z IJ"t \
o I3)I1:' Y:: :
-(*^'
\o m2 o "/ I
\ )
_ (^ru", ffi2u,r,2
\*rU"t m2Upz .../
) (13.g9)
Identifying matrix elements on both sides of this equation, we get (see Cheng and
Li 1977 for more details)
e+Np*
Ftc. 13.3. The box diagram for muonium-antimuonium transition.
The only diagram contributing to this process is the box diagram. We are inter-
ested in the limit where all external momenta are small compared to Myy.In this
13.6 Muonium-antimuonium transition 253
approximation, the general box diagram with arbitrary masses for the internal
fermion lines can be calculated in the 't Hooft-Feynman gauge
"Q=*)'(;E)eq)
: (#) I n r
G) G -"T)' G+) (;-,)
x lagyy'y^yo iO - D"Q)llaQ)yoy^v"l{r - y)u(l)] .
(13.e1)
After making the Wick rotation the momentum integration can be reduced to a
simple form that can be carried out explicitly:
Io^o6G+)'("+)("+)
: -# l,- {# ;r#5 : -# r @, y) (r3 s2)
where
m2, *',
* - d, i: W. (t3.e3)
, J(x) - J(y)
I(x.y): 1 x2
J(x):
x_y ,
(13.94)
l_x+11 _"ylnt.
The Dirac matrices can be simplified by the identity
Thus we have
Using
B(x' Y) : - 84
#WI @' Y) lne)Y^ io - Y')uQ))
x lapyyyLO - y)"0)1.
The effective interaction is then of the form
where
with .r;
- *? I u'*.
For the case -r < l,
*',^lnx -+
J(x) --]- + .. l *x +x2 +*21n"
| - x (l - x)'
Show that the SU(5) antisymmetric tensor representation 10 has the following
decomposition
10
- (3*,1) + (3,2) + (l,l) .(14.2)
24
- (8, 1) + (1, 3) + (1, 1) + (3, 2) + (3*,2). (14.3)
where the subscript 1-; denotes antisymmetrization (while 1a; will be used
todenote symmetrization). In SU(3), we have (3 x 3)1-.y _ 3*, and in
SU(2), (2 x 2)61- 1. Then we get
(5 x 5)1-;
- L0 (5 x 5)11;
- 15*. (14.6)
Thus we get
L0
- (3*, 1) + (3, 2) + (l,l), (14.1)
Namely, the single SU(5) representation having exactly the same number of states
(with the correct quantum numbers) as one generation of standard model fermions
clearly does not correspond to any particles we have observed so far:
L5*
- (6, 1) + (3, 2) + (1,3). (r4.e)
5 x 5* (14.10)
-24+l
To work out the SU(3) x SU(2) decomposition we note that
5 x 5*
- [(3, 1) + (1, 2)] x [(3*,
+ (1,2)l 1)
where F1 is the Higgs field in the adjoint representation of SU(5) and is repre-
sented as a 5 x 5 hermitian traceless matrix. Here, for simplicity, we have imposed
a symmetry of H --> -H to remove the cubic term.
(a) Show that H can be transformed into arcal diagonal traceless matrix
lht \
H-uHaut
I'n,'r,
with Ha-l
I
"r^r,)I fruJ4)
|
where h* hz * hz * h+ * hs : 0.
(b) Show that at the minimum, the diagonal elements his can take at most three
different values. From this result, discuss the most general form of symmetry
breakings that can be induced by a 24 adjoint Higgs field.
14.2 Higgs potential for SU(5) adjoint scalars 257
Since any hermitian matrix can be diagonalized by a unitary matrix, we can choose
U such that H is the unitary equivalent to a real diagonal matrix:
,,
Ha_uHUr: ,, (r4.16)
,^
[' ,,)
The trace is invariant under unitary transformation, Tr H - 0, which implies that
hlhz*h*h+ths-0. (r4.17)
Since h;s are not all independent, we need to use the Lagrange multiplier p to
account for the constraint L, h, 0. Write
-
V':V(H)-p.Tr(H)
: -m2)^l*^'(t ,?) ax,Dh? - r,4r, (t4ts)
Then
h*Qz*Qz:0. (r4.22)
258 Grand unification I4.3
Qt
Qz
Ha- with nrQr * nzQz I ntQz
- 0. (14.23)
Qz
to compare different choices of {n1,fl2,tt3} to get the one with smallest V(F1).
It turns out that for the case of interest there are two possible patterns for the
symmetry breaking,
or
(I'{)o: 0427)
'("',-,,)
where we have also written out the form for an infinitesimal transformation. The
conjugate representation transforms differently. For tlri = (Vi)* we have
The adjoint representation F{ transforms in the same way as the product Vi{k:
H',n : (di + iet,) (tf - i'k) H[' : n! + iet,nf - ielny. (14.30)
The covariant derivative is obtained by the replacement of efi --+ gwkin the above
expression:
where Wr, H are 5 x 5 traceless hermitian matrices. The gauge boson masses
come from the covariant derivatives
where
(FI)o:,("r_,_,) (14.36)
the gauge boson fields (W)!having i :1,2,3 and j :4,5 are massive, M2 --
25g2u2, while i, j
- 1,2,3 and i, j :4,5 are still massless. In other words, the
symmetry-breaking pattern is given by,
The remanent U(1) corresponds to a generator which has the same diagonal form
as that given in eqn (14.36). The number of massive gauge bosons is then
24-(8+3+l):12. (14.38)
260 Grand unification I4.5
(i) 4 doublets
g(z)
- (4f,rqiBt) (hfrrt"t) eoB, (te)i1 ' (te)r,, Q4.39)
(iii) 4 singlets
"f
(x) -+ f (x') - ,f (x) +
+ Jii f 6). 04.44)
then the commutators in (c) reduce to the usual angular momentum algebra
show that
Then
we get
we get
(d) If indices (i, j, k,l) are all different, the commutator is zero. Thus the follow-
ing generators will commute with each other:
Similarly,
Similarly,
Uz, Kzl - iKr, Ut, Krf : iKz, or [J;, K1) - ieij*Kr' Q4'67)
which gives
Similarly,
This means that SO(4) algebra is isomorphic to SU(2) x SU(2), generated by A;s
and B;s separately. Also this implies that the SO(4) group contains three distinct
SU(2) subgroups, namely those formed by {Ail, {Bi}, or {.4} generators.
yi - Oiilr. (14.76)
(e) Because the original {y;} form a complete set of matrix algebra, they are
related to the new {yi} by a similarity transformation
y/ - S(o)yis-t(o) or oir,y*
- S(o)yis-t(o) (14.78)
(f) Show that for the matric., $u* in part (c), we have
{S;;} then form the spinor representation of the SO(n) group. Clearly it is a
2^ : 2/2 dimensional representation. (In Problem 14.8, we shall study its decom-
position into two sets of 2*-r sptnor states.)
14.6 Spinor representations of SO(n) 265
/ \2
D,-?: ( I xiyil - I xixlyiyi :Dxixii(yryi -r yiy). (r4.s4)
i \i / i,i i.j
Thus we need to have
Tr(yi) - Q. (14.8e)
_
r,!^*,, ,i^*,l r*lrr,!:,^,,;^,r)
t)r (14.9t)
fi,w*'t,v*l? l
: (-;,, '::) * (;-, -'i^') -0, (14s2)
(vlr,i?)' -- r (r4.e3)
266 Grand unification 14.6
Similarly,
(6,r * eir)yr,
- (t + |is,6e"6) rt (t - 1is1,1e1,1) Q4.97)
or
Write
Thus we get
will satisfy the commutation relation (14.100). Since k + I, in S7,7, the above
relation can be written
Then
(f) From the definition of o;i and the recursion relation (14.73), we have for the
caseofn-m*I
o@+t) _ ilr!**,, rj**trf
: (, lr!*'or;^'l ,l)
+l_r,^1 ._r,
::\o("!r' o \ (r4'ro4)
";f')
The remaining results stated in part (f ) can be demonstrated in a similar manner.
(g) From the relation (14.102), the commutator can be evaluated:
[$;, S7,7]
- ti[Sii,yr,yil - t]{ISi1, yr,7yt * yilSii,ytl)
- l{Ari6,o - yi6ir)Yt * y1,(y,61 - yi6l))
- -i(d;tSir 167;S;t - 6;7.S;r - 6;tS;t). (14.10s)
(a) Show that the SU(n) transformations which leave Re(u . z) invariant can be
identified as those in an SO(2n) group. Thus, the SU(n) is a subgroup of SO(2n ).
(b) If we write the SO(2n) matrix in the form R : eM , where M is an antisym-
metric 2n x 2n matrix in the form
M - (_ou, z) (14.106)
(r4.108)
show that, for the unitary matrices written in the form as given in (b), the combi-
nation ai * ibl transformed into themselves and so did the combination a1 - ibi.
(d) Work out the decomposition of the adjoint representation of SO(2n) in terms
of the irreducible representations of SU(n).
268 Grand unification I4.j
Solution to Problem 14.7
(a) In the scalarproduct (w.z): I; wlzi we can write w; and 1; in terms of
their real and imaginary parts
Re(u.z):f,ro,o',-lb1b') (14.111)
j:l
From this we see that the SU(n ) group is a subgroup of SO(2n) whose transform-
ations leaves both Re(rl . z) and Im(u.' .z) invariant.
(b) and (c) By definition aU(n) transformation on the n-dimensional complex
vector space is of the form
(J : eH with
- -Ht being an antihermitian matrix.
F1 (14.115)
and
H! - -Hi,. (14.120)
M-(o^ 1)
A/ with A--Ar,B-Br. (r4.t24)
\-8
(d) From (b) and (c) we have learned that the vector in SO(2n) decomposes into
n * D* of SU(n). The generators in SO(2n ) can be associated with second-rank
anti-symmetric tensors. This implies the decomposition of SO(2n) generators as
where the subscript t-l means antisymmetrization. For example, we can decompose
the 45 generators of SO(10) in terms of the ineducible representations of SU(5):
45
-10+24 + 1+ 10*. (14.125)
yprun
- (-i)"(nyz...y2). fl4.128)
Show that ypry6 can be written as the direct product of n Pauli u3 matrices:
Yrrya:z3XT3x"'T3 (t4.129)
and
(c) Since the natural basis for Pauli matrices are spin-up l+) and spin-down l-)
states, we can take as the basis for the y-matnces the tensor product of such states
Show that 2n such states in the SO(2n) spinor representation decompose irre-
ducibly into two set of2-r states, called S+ and S-. They have the property
of
ror
fi',: {:l !l"u'"' (14.r32)
(d) For the case of n : 2, suppose we embed the SU(2) group into SO(4) by
identifying e, of SU(2) generators with Bp generators of SO(4) as defined in
part (f) of Problem 14.5. Show that spinor representation S+ and S- reduce with
respect to the subgroup SU(2) as
(e) Show that for the case n : 3, the spinor representation S+ and S- of 50(6)
reduced with respect to the subgroup SU(3) as
(f) Show that under SU(5), the spinor representation S+ - 16 of SO(10) reduces
as16-10+5+1.
For more details of SO(2n ) spinor construction, see Wilczek andZee (1982).
14.8 Construction of SO(2n) spinors 21I
Forthe n case:
-2
yr" : 11 X 13, y;" - 12 x 13,
From these it is not hard to obtain the general (n) case by induction
and deduce
lv*l,,,*,]
: Q4:43)
which implies tnut yfrl,ucommutes with the generator /,y, which are represented
by Jii : tro,iin the spinor representation. From (r#i,r)' : l, we can decompose
272 Grand unification 14.8
(e) We can embed the SU(3) group into 50(6) with the identification
Similarly,
For Si, we have the states I + ++), I + - -), I - +-), I - -+), and their quantum
numbers are given by
- (14.1ss)
(i :1;i) '
This means that S+ decomposes under SU(3) as 4+ -> 3* * 1. Similarly, S-
decomposes as 4- -+ 3 t 1.
(f) In the spinor representation S+ for SO(10), we can denote the states by
We can identify the firsttwo r;S &s the spinor states of SO(4) which contains SU(2)r
and the last three e;s with 50(6) which contains SU(3)c. Then the SU(2)r x
SU(3)c quantum numbers of spinor representation S+ are given by
1^l"a
L:
,(}oQ)' - tQ,il' - ;[1 - cos(bd)l (15.1)
(a) Show that the equation of motion for this Lagrangian is of the form
where n is an integer, and the n.fO *nn*ururtln, given by eqn (15.3 ), interpolates
between two such minima of V (Q):
Q@--@,)-L@in)
Q@ - +oo, t) - O!#1 . (1s.5)
t a:,112
E (1s.6)
-8 (;)
(e) If we write the Lagrangian 4 in powers of Q, flnd the mass and the quartic
coupling constant in terms of c and b. Express the energy E 8(a l6z1t /z in terms
-
of the mass and coupling constant.
276 Magnetic monopoles 15.1
i.e.
q (15.10)
Q@) -!run-t
D
where
A _, : I 3y
*tan-' ! yz 6x 05.12)
we obtain -4
a0 4 I a 4 (15'13)
;- br+qr;-;r.e@b1r/2,
and
a2O 4ay2qg - 2)
(15'14)
,i-- a;?f-.-'
Because the function Q(x, r) has the space-time dependence through the combi-
nation of (x - ut), the second derivatives must be related (as in the conventional
wave equation) a30 - r'40
- 0. The above result can then be written as the first
and second terms of the Sine-Gordon eqn (15.9):
4r:I -rr')"
a sinbQ: a sin 4o : (1s.1 8)
0 + ,2)2
which just cancel the first two terms calculated in eqn (15.15):
a|O-alt+asinbQ-Q. (1s.1e)
Remark. This solution has the space-time dependence through the variable f-
expflaUltl'y(* - rD]. One simple way to understand this is to note that iT we
write
I x-ut
f :- (1s.20)
(l - Yz1t 1z
then x' is related to x bya Lorentz transformation. Thus in this variable .tr', so
that f - expl(ab)r/2x'f, the function Q(6) is expected to be a solution to the
time - indep endent equation of
Let us demonstrate this. To solve this static equation by integration, we can multiply
both sides by 3*Q so that it becomes
(ts.22)
;*(#)': -;*(cosb@)
! ( 4!\' ++l{""'bQ)
z\ax ) 3 - c.
(cos bg) c' (rs.z3)
do (?\tt'
dx -
+2
\b/ ,in\2 (r5.2s)
278 Magnetic monopoles 15.1
fd6
_J_ t
_J_
I'
sin(bQ 12)
, (;)''' I o* (ts.26)
|
t(ab)t/2*' - !ln -cos(bf12) I _,n (o"4\ (rs.27)
t+cos(bQl2)l \ 4/
which just checks with our result of
Thus we can get the general solution by boosting this static solution in the x-
direction by a velocity u. In other words, the general solution is moving in the
x-direction with a velocity u.
so that AV lA0
- 0 can be satisfiedby bQ : fttr withm - 0, *1, 12, .. .. Such
extremum points are minima if
a2v
: ab cosbf > 0. (15.30)
a6,
Thus if we take ab > 0, then cosmTT > 0, only for even m : 2n. Thus the minima
of V (Q) are located at
o:^n,_2+
rn
b
n:0,+1,+2,.... (15.31)
T1
-r*oQ - L- l?oil'++@,ilz +v@). (15.36)
l/a6\2
t\;) -v or dx / l\r/z
oo-\*) (rs41)
u2 ^ )"
: tQ"
V (0) - 4t0" 05.44)
we have
t a t,l/2 u3
E-8(a;/ -8;. (t5.46)
Note that in a two-dimension fields theory, the parameters ). and p.2 have the same
dimension because @ is dimensionless.
2tr
Q,: (15.4e)
e
Dp(Dp)Q
- pzO - ),o(OQ\, (15.51)
15.2 Planar vortexfield 28t
while the equation of motion for the A, field
AL : AL
a, (rs.s2)
w ararl,l
works out to be
(b) In the polar coordinate system, we have g (?E /0r, 00 0 / ,). Thus for large
-
r, the asymptotic form we want to use can be written as
vO - 0i2o
",nr, A(r,0) : !v@r, : as r -+ oo. (15.54)
*A
Since Ao :0 and @ is independent of r, the full covariant derivative is given by
the spatial part, which vanishes asymptotically as
DQ :(v - ieA)Q
- lr'# - i,Yr] - oo-z) as r -+ oo.
(1s.ss)
Also from Q?,0) : a ei'o , we have
p,2Q-).(Q*O)Q-0 (1s.56)
where we have used a2 p.2 /L. Thus eqn (15.51) is satisfied up to terms of order
o(r-2).
-
We now show that eqn (15.53) is satisfied by these field configuration. The
righrhand side vanishes to o(r-2) because the field tensor Fr, --> o(r-2) as the
gauge field can be written as a pure gauge, eqn (15.48)
as r -+ oo (ls.s7)
ry
rhe rerrh""o ,,0i"*: i"i,n. ,i,tirl,:
,,1+e - --:4u] . * (*b) "' - o(r-2) (1s.s8)
Equations (15.53) and (15.51) are satisfied because both sides of these equations
vanish, at least to O(llr2).
(c) From Stokes' theorem, we get
ff
o- Js
/n.as-$t.at
Ic
(1s.se)
o- If2, Anrdo:tl
"
nf2,
eJo
do- 2n
(1s.61)
Jo e
Magneticmonopoles 15.3
t):0. (rs.64)
Wlr:rour*,
(b) Take 6(x, t) in the form of a superposition of normal modes:
6(x, t) - Re
Do, ei'"'rlrn(x). (1s.6s)
Show that
-t!t
dx2
+ v' (QilrL, - of,rb,.
| (1s.66)
(c) Show that if Qo@) is a monotonic function (i.e. has no nodes), then all
eigenfrequencies are non-negative.
(b) Substituting the normal mode expansion 3(x, t) : Re Ln on ei'^' tLn(-r) into
the above equation, we get
d2tb-
-# * v'(Qillrn: to?nlr, (rs.7 t)
which can be viewed as a Schrcidinger equation, rl.r"being the eigenfunction with
eigen-ener1y E, - a2".
15.4 Monopole and angular momentum 283
L - -ir xD - eg\
r
(15.76)
will have the usual commutation relations for the angular momentum operators,
dr .D (1s.78)
dt: -i-
which implies L: mr x dr/dt - egr/r.
284 Magnetic monopoles 15.4
1
D.D - (D D)1o.r) - (D x r);(D x r) (ts.79)
show that the Hamiltonian on a subspace of states for a given total angular momen-
tum is of the form
I f A2 2A1 + t;
fi--2*l**;*l* [1
(/
2*,t
- 12s21 - t"
_l
( 1s.81)
(e) Show that the quantum number I can take only values of the form,
A,:Ao:0, . s, (l -cosd)
AQ:; (15.83)
,*,
which has a string on the negative z-axis. Expressed in Cartesian coordinates, it
has the form
Since A depends only on the coordinates (not on the derivatives), it is easy to see
that
where we have used the fact that the monopole field is given by Br, gr1,f 13.
-
(b) Given the definition of (15.76)L
- -ir x D - egl we now compute the
commutators involving L;s :
'slv,,Dit - "r,,1:,
r,7- est+ -*T (ls.se)
where we have used [D; , f (r)l - f '(r)Or /\ri. Combining these two terms, we
get the result
The first term on the right-hand side can be calculated using the commutation
relations of (15.90) and (15.91):
:W,iA':*r
^ri,,.,u r:;I; ( 1 s e3,
where we have used the identity abcade : 6aa6r, - 3ur6"a; the second term on
the right-hand side in eqn (15.92) is
showing that L;s, as defined in (15.76), are indeed the angular momentum
operators.
286 Magnetic monopoles 15.4
H - -fir'*v(r) (ls.e6)
: 1
* ieiipDl Dp) - O. (15.97)
Z*QeilpDpDi
This means L is conserved by the Hamiltonian which describes the motion of
particle in a monopole field. These calculations verify quantum mechanically that
the monopole's contribution to angular momentum is indeed given by -egr lr.
(c) From the Heisenberg equation of motion:
D.D - (D n)(r.D) - (D
" ")i(r
x D) (1s.100)
we have
(D r)
)<, D) : (,**,) ) (,#) : #.?* (,5 ,03)
11
-(DxI);e xD): AG xD)2. (1s.105)
15.4 Monopole and angular momentum 287
6z 2a
- #*i *- 7t, x D)r.
I
D.D (15.lo6r
The last factor can be related toL2 because the definition (15.76) leads to
: 6z 2a y2-r2t2
D'D
ar:,
+; a,
* ,, (15'lo8)
The Hamiltonian is then
H - -lnt
2m
*v(r)
: - 2^I f A2+ ;2Au + --;'-
az-e2s21
v (r) (15' loe)
l* l+
and for states with orbital angular momentum l, we can replaceL2 by /(/ * l) to
get
* t)-- e2s2l
H1 tg +?!
--:'2mYor" rdr'*t(t ,z l+v{r)'
(l5'Ilo)
(e) We can write the usual spherical harmonics as
n-iL,u l0
- 0) : lg - 0) (1s.116)
(0
- 0ll, m'l +0 only when m' - O, (1s.118)
which implies that the allowed values for / are 0,1,2,3, ... .
Since 0
-0 corespondstox -y:0and z+0, wehave
(r x D).10 - 0) - (xDy - !D*)10 - 0) - Q (1s.120)
Thus we get
Then
(0
- OleiL,oll,m'l : s-iegu p - }lt,m') : r-im'a p - }lt,m) (15.123)
or
This implies that the matrix element (0 - 0ll, m') + 0 only if m' : eg. Since
I> lm'1, we have
(xytlxil)-(xr1r-iatthpi) -N (16.1)
lWdr't,o
,:fi-tv(x) (16.2)
and
(a) Show that in the Euclidean space t --> -ir , we can write
(xyle-H'tov) - * | w.lr_s'/h .
where
sr: Io'
o,l;(#)'*ru,]
(b) One can use the saddle-point method to,obtain a semi-classical result. Show
that in the limit h, --> 0, we have
65 d2xn
u"o - -mii *v'(xs) -Q (16'5)
(c) Show that the matrix element (xf V-a'/hlxi) for large z is of the form
(xy1e-H'/hl*,),1*r-notlh(xyl0)(0lx;) (16.7)
(d) Show that forxs which satisfies the equation of motion (16.5), the combination
! (4*o\'
\* ) - v(xo)' (16'e)
Z
interpreted as the 'energy', is conserved.
(e) Show that if xe(z) satisfies the equation of motion (16.5), then (dxs/dr) is an
eigenfunction of the second derivative operator, with zero eigenvalue,
sa : -i s:
Io'
o,,l; (!+)' * ru,] (16 11)
Sr(r)-Ss(xo+ry)
- s6(xo) +
Ir'
or'rl-# t v"(xsv4] . (16.13)
Write
with xe(O) : xi, xoi) :n*r, and xn(O) : xni)- OiOtro xns arechosen to be
orthonormal,
tdxt-tdnt-A#oq (16'16)
and
d2 rn
- t + V" (xo)xn : Lnxn (16.18)
f w.se-s,/h
l-t --sr/h :-n f dcn ^..^ t - s x,'11
J l;l J,6*..0 +; 1 )
:l;l#:dr, Q62o)
6 rv-
n' /o
l*,1 - D,t., 1e-
H' /k
1ny @lx il : r- t" /u (* r ln) (nlx ) . (16.22)
T
Since En > Es for n + 0, the ground state will dominate the sum for z large,
(xy1e-H'l'l*,) --r r-totlh(xy l0)(Ol,ri). e6.23)
(d) By multiplying dxs/dt to both sides of eqn (16.5), we get,
d f m /dxo\'-yr"nll :0.
nlz\;) - v(xo)J - (16.24)
E
-T (#)' - v(xd r'62s)
which is a constant of motion as the 'energy' of the particle in the Euclidean space.
292 Instantons 16.2
(e) By differentiating with respectto z both sides of the equation of motion (16.5),
we get
L(4\-v"(+) -o
mdr2\E)-, (t626)
\n )-".
This means that dxs/dt is the zero mode of the second derivative operator.
(xrtolx;o;
- (x11e-H'/ot*,)
- (*)"' "*ol--t -;Pl (t6.27)
(b) Compare this amplitude with the formula derived in Problem 16.1(b) to show
that
(c) Use the above results to find the ground state eigenfunction ,Lo@) and energy
Es for the case of a simple harmonic oscillator,
n2m
H - h* 1a2x2. (16.29)
(a) (xyle-Ho'o/ol*,):
l#@ylil(ple-p"o/'*ol*,1
ao
[
- J2n ,-P"o/z*h rip(xv-x)/h'
:
I*"*ol-*P2+'+')
_ ( _mh, \ttz f (xf - xi)2ml
t"p
\2" r, ) L *r' l t16.30)
f+- rnttl2
dx exp(-ar2 + bx) - exp(b2 /4a). (16.31)
J_* H
16.2 An application of the saddle-point method 293
(x
f , tolx;, 0) - N exp [-Sr (.rs)] fdet (-a) + V" 1xs1]-t/2 (16.32)
xo?):xi*(xr-il;. (rcs4)
sr(zo) :
lo^
o,'l|(#)'l-; Io"
dr,(xy-xi)2+:ry#t
and
(* f , totx,, 0) - N exp
l-*u;;;,' ] to"
(--a?)l-',' . (16.3s)
@#:(#)''' (1636)
4z
- jp', : tnxn + xn : A sin(e)t/2t. (16.37)
3 , :-(!!\t
x,(rs)-g + . (16.38)
', (;/
Thus we have to choose the normalization constant in such a way that
/42 :
* ,') xn tnxn + ,, : (T)' * ,'. (16.40)
\-n
294 Instantons 16.2
Thus
N 1
:["ryffi)] t.tffi
:\*)Gt"hfitz
/ amh\tl2 I
(16'4r)
(rc42)
fr('. "t):'#
The classical action can be calculated as follows.
m /dx\2 I ^ ^- I ^ .
Le : * (16.45)
Z\* ) 1mu.t"X' r*r'A'cosh2ar
where for simpli.r,, *. have set xi :O.fhe Euclidean action is then
maA2
: f ' Ls dr --'+ man2
tu
Jo
sinh2on
-';l cothror. (16.46)
Substituting the expressions derived in eqns (16.41) and (16.46) into the transition
amplitude:
: / mhn\t/2 I l- max2 I
coth a''rl
\ * ) Gt"h;tlz '*P L 2r, '
(t6.47)
we get,
V(x)-)"(x2-a2)2 (16.s2)
(a) Show that the solution to the equation of motion (set m 1 for simplicity)
-
d2rr
(16.53)
dr, -v'(x)-Q
with boundary conditions xrG) + La as r -+ *oo has zero energy
.
xl : al3nn
@(r - rr)
(16.ss)
,
with arbitrary constant. (This solution is usually referred to as the instanton
z1 some
centred at ro) Also show that the Euclidean action for this solution is
a3
so: 12r
(16.s6)
(c) The zero-mode eigenfunction x1(z) from the translational invariance is related
to the classical trajectory i(z) by
dx
xt: NE. (16.s7)
" (#)'
N - ,5;rz
1
with (16.s8)
'o: I
(d) Show that in the path integral ldxlthe integration over the coefficient c1 of this
zero mode can be converted into an integration over the location of the centre rs:
(16.se)
(e) Show that the one-instanton contribution to the transition matrix element is
given by
where det / means that the zero eigenvalue has been taken out.
(a) Given that x1(z) -+ a as r --> oo, we must also have dxlldt
- 0 in that
limit; otherwise, xr(r) will not stay at xt : a. Thus as r -+ oo, we have x1 : s
and dxlf dr 0, which implies that both the kinetic and potential energies must
-
vanish:
E :;(#)'- v(x1)
- Q at z -+ oo. (16.61)
we get from E - 0,
Theminussignischosenbecauseweareinterestedintheregion|.r1|<
Integrating this equation we have
: td.
xrG) - atanha(r 2 (16.65)
,,: ll;(#)'*,r.,>fa,
: rre)dr : rr@t#a,, - I ever))'/2 d,,
I I
- (z;)t,' I',?*? + o') dxr - 1zxlt/2!a3. (16.66)
se-(2),)','+(#o)':* Q667)
Having the coupling in the denominator shows that the classical action for the
instanton is intrinsically a non-perturbative contribution.
(b) We are interested in
(c) Substituting into the normalization condition, fi IxrG)12 dr' : 1, the trans-
lational relation between the zero mode and the classical solutions, we get
N, I lq]'
Jo ldr'J
dt, - t. (16.70)
so:
Io' (#)' o,' (167r)
1
N (16'72)
- 15pvr'
298 Instantons 16.3
On the other hand, the change induced by a small change in the location of the
centre zo is
dx - 9o^.
dT
(16.7s)
Thus we get
dTIdT
dx: xrG)dct - (16.76)
Edro - 6r)Vr iOrt.
Cancelling di /dr on both sides, we get
we can remove the zero mode in the determinant by integrating over the location
of the centre of instanton,
Then we have
TlTl)T2)
We will now evaluate the functional integral by summing all such configurations.
Since these n objects are widely separated, the classical action is just S : n So,
where Ss is the action for one instanton. Recall that for a single-well (harmonic
oscillator) potential we have,
for large z. If it were not for the small intervals containing the instantons and anti-
instantons, V" would be equal to ot2 over the entire time axis and give the result
16.3 A Euclidean double-well problem 299
(16.81) for the single-well potential. The small intervals containing instantons and
anti-instantons correct this formula and can be written as
where the factor K can be determined by demanding that this formula yields the
right answer for one instanton. The zero-mode integration is again converted to
integration over the centres, T7, Tz, . . . , Tn,
For transition from -a to a, the integer n is odd and from -a to -a, rt is even,
(-ale-H'tol - "l
:(h|nr-"/z D, g#
: (h)t r-., /21r"- (K e-
/2 sor t n
r)
Similarly,
\ale-H'/nl - ")
:(h)t/z'-"12 D,ry
: (h)t/z ,-.,/21:r'"* (rce-s,tnry
- exp (-Ke-surot)1. (16.85)
or
(16.8e)
antiquark density, see Gottfried sum rule 146 e*e- --, hadrons l5l
asymmetry ).@a scattering, I
polarization or left-right asymmetry in Z Cutkosky rules 62
decays 221 ).@3theory 59
atomic parity violation 218
coherence effect 21 8
axial anomaly decay rate
in a technicolour theory 238 4 --+ yy l4l
path-integral (Fujikawa) derivation I 36 H ---, W+W -, ZZ, tt 234
n --+ yy andzo --> yy l4O tTr --+ 1t+vr 125,208
tt* e+v"208
--+
W+ --> hadrons 156
B-Lconservation216 tt : i ru1e227
B -non-conserving operators 260 see non-leptonic weak decays
p-function 63 dimensional regularization 46
QCD two loops l9l arbitrary mass scale 63
QED 67 QED vacuum polarization 49
),Qa theory 66 disconnected diagram 8
YukawaT2 cancellation via Wick's theorem 8
zeros 69,70
biunitary transformation, see mass-matrix
diagonalization,215 e*e- --+ hadrons
il|1il ilil ilil|ilil ilIil ililil1IililI ililililil ill1|ilil ilil|lill illil ilil lill
3 1951 D01 843 421 0
iN 0-
ilil
80 l||ull[ilL |ruil