1 8.324 Quantum Field Theory II Problem Set 2 Solutions

advertisement
1
8.324
Quantum Field Theory II
Problem Set 2 Solutions
1. (a) PS 15.1 (c) and (d): For this problem it is very useful to note that t1 − t7 are Pauli matrices in different
subspaces. t8 can than be treated separately. We would like to verify that
tr tar tbr = C(r)δ ab
(1)
and evaluate C(r) for the fundamental representation of SU (3). Just checking a few cases, for example


i 0 0
1
t1 t2 =  0 −i 0 
(2)
4 0 0 0
and so
tr t1 t2 = 0
which is a check on (1). Similarly
tr t1 t
1
(3)

 
1 0 0
1
1
= tr   0 1 0  =
4 0 0 0
2
(4)
implying that C(r) = 12 for the fundamental of SU (3). All other cases of (1) can be checked in a similar
way.
We now wish to verify that
tar tar = C2 (r) · �
(5)
A short but somewhat tedious computation gives C2 (r) = 4/3. Thus the relation
d(r)C2 (r) = d(G)C(r)
1
4
3· =8·
3
2
(6)
(7)
is verified.
(b) PS 15.2: The generators of the adjoint representation of SU (2) are computed to be


0 0 0
(t1 )ab =iǫa1b =  0 0 −i 
0 i 0


0 0 i
(t2 )ab =iǫa2b =  0 0 0 
−i 0 0


0 −i 0
(t3 )ab =iǫa3b =  i 0 0 
0 0 0
(8)
(9)
(10)
(you’ll notice that these are also the generators of the fundamental representation of SO(3).) We can
compute C(G) by, for example


0 0 0
1 1
tr t t = tr  0 1 0  = 2
(11)
0 0 1
so C(G) = 2. One also finds that
(t1 )2 + (t2 )2 + (t3 )2 = 2 · �
so that C2 (G) = 2 as well. These results agree with PS (15.104).
(12)
2
2. (a) The equations of motion for the gauge field are
Dµ F µνa = J νa
(13)
J νa = g ψ̄γ ν T a ψ
(14)
with
The equations of motion for the spinor and its conjugate are
Dψ
/ = mψ
∂µ ψ̄γ µ + ig ψ̄/
A = −mψ̄ .
(15)
Glancing at (14) we can see that the current must be covariantly conserved. By virtue of (13)
Dν J ν = Dν Dµ F µν =
1
1
1
[Dν , Dµ ] F µν + {Dν , Dµ } F µν = [Dν , Dµ ] F µν ,
2
2
2
(16)
where we used that {Dν , Dµ } is symmetric, while F µν is antisymmetric in µ, ν. Now we use the definition of
the field strength tensor and pay attention to the fact that it acts on an object in the adjoint representation:
1
ig (adj)
ig
ig
[Dν , Dµ ] F µν = − Fνµ
· F µν = − [Fνµ , F µν ] =
[Fνµ , F µν ] = 0 ,
2
2
2
2
(17)
where for the penultimate equality we raised and lowered indices and used the antisymmetry of the com­
mutator.
An alternate solution in components is:
Dν J aν =
1
ig
b
[Dν , Dµ ] F aµν = f abc Fµν
F aµν = 0 ,
2
2
(18)
where we again used the action of the covariant derivative on an object in the adjoint representation and
the total antisymmetry of f abc .
We can also directly calculate
¯ a ∂ψ
¯ ν T cψ
Dν J νa = g(∂ν ψ̄)γ ν T a ψ + g ψT
/ + g 2 f abc Abν ψγ
(19)
The third term in this expression is equal to
¯ ν T cψ = −ig 2 Ab ψγ
¯ ν T a , T b ψ = −ig 2 ψT
¯ aAψ
¯AT a ψ
g 2 f abc Abν ψγ
/ − ψ/
ν
(20)
where A should be understood as a matrix determined by the matter representation. Therefore (19) is
equal to
¯ a Dψ
¯ µ + ig ψ/
¯A T a ψ = mg ψT
¯ a ψ − mg ψT
¯ aψ = 0
Dν J νa = gψT
/ + g ∂µ ψγ
(21)
where in the second equality we have used (15).
(b) We seek to show that both sides of (13) transform in the same way. Now, we have shown in class that F
transforms in the adjoint meaning that infinitesimally
δF µνa = −f abc αb F µνc
(22)
The covariant derivative is constructed, almost by definition, so that the covariant derivative of some object
has the same transformation property, namely that
δ(Dµ F µνa ) = −f abc αb Dµ F µνc
Now, infintesimally δψ = iαb Tb ψ, meaning
¯ b T a γ ν ψ + ψT
¯
a T b γ ν ψ
δJ νa = iαb −ψT
b
ν
= iα ψ̄ [Ta , Tb ] γ ψ
= −f abc αb J νc
(23)
(24)
(25)
(26)
3
thus showing that both sides of equation (13) transform the same.
We can also, calculate the finite transformation of J ν . Firstly, we derive the result using the abstract
language and properties we learned from the notes by Prof. Zwiebach. From Zwi (27) the action of a gauge
transformation is:
a
a
Dµ F µν → adjU (Dµ F µν ) = U (Dµ F µν ) U † = (Dµ F µν ) U Tar U † = (Dµ F µν ) Tbr Dba ,
(27)
where Dba (g) is a representation of the same group element g as U (g) on a different space. Using Zwi (33),
−1
i.e. that Dba s are orthogonal matrices (Dba
= Dab ):
¯ ν T r ψ T r → gψU
¯ † γ ν T r U ψ T r = gψγ
¯ ν T r D−1 ψ T r = J bν T r Dab = J aν T r Dba ,
J n u = gψγ
a
a
a
b
b
a
a
b
ba
(28)
which is the same transformation law, as in (27). Hence the equation of motion transforms covariantly.
Secondly, we do a direct calculation for SU (N ). Putting matrix indices i, j, . . . on
ν
Jij
= J nua (T a )ij = g ψ¯l γ ν (T a )lm ψl (T a )ij
(29)
g
1
= (ψ̄j γ ν ψi − δij ψ̄l γ ν ψl )
(30)
2
N
In the third line, we have used the identity for SU (N )
(T a )lm (T a )ij =
1
1
(δlj δmi − δlm δij )
2
N
(31)
which can be found, eg., as equation (A.38) of Peskin. Thus under a gauge transformation ψ → U ψ and
ν
Jij
→
g
1
g
1
† ν
γ Ulm ψm ) = Uim (ψ̄l γ ν ψm − δlm ψ̄k γ ν ψk )Ulj† = U J ν U † ij (32)
(ψ̄l Ulj† γ ν Uim ψm − δij ψ̄k Ukl
2
N
2
N
i.e. J ν transforms in the adjoint.
3. (a) We start with the case of QED. Because L = Aµ Jµ + . . ., and the current is odd under C, Aµ is also odd
under C. This should hold for the non-abelian gauge field Aµ , but not necessarily for its components Aaµ !
(Note that CT a C = −T a .) ∂µ has no transformation under C so F is odd, but Lθ is even.
Under P , At and ∂t are even, whereas ∂i and Ai are odd. Since Lθ has an epsilon tensor, each index
({t, 1, 2, 3}) must occur exactly once. Since the spatial directions are odd, we get that Lθ is odd under
parity.
The discussion for T is equivalent, except with the roles of space and time exchanged, and so Lθ is odd under
T . We note with satisfaction that Lθ is still even under CP T . (However, the discussion for components is
again more complicated in this case. Because T is anti-unitary to keep the commutation relations in the
group algebra invariant we need T T aT = −T a .)
In summary Lθ breaks P, T (and hence CP ) and conserves C.
(b) We are aiming at:
Lθ =
θ
∂µ K µ
64π 2
(33)
Let us start with the most naive guess for K µ :
a
a
a
2∂µ ǫµνλρ Aaν Fλρ
= 2ǫµνλρ (∂µ Aaν ) Fλρ
+ Aaν ∂µ Fλρ
a
= ǫµνλρ ∂µ Aaν − ∂ν Aaµ Fλρ
+ 2ǫµνλρ Aaν ∂µ ∂λ Aaρ − ∂µ ∂ρ Aaλ + gf abc
The first term can be completed to give F Fe :
a
a
a
a
= ǫµνλρ Fµν
Fλρ
− gf abc Abµ Acν Fλρ
ǫµνλρ ∂µ Aaν − ∂ν Aaµ Fλρ
∂µ Abλ Acρ + Abλ ∂µ Acρ
(34)
(35)
4
Plugging this into (34) – after relabeling indices – we obtain:
a
a
a
2∂µ ǫµνλρ Aaν Fλρ
= ǫµνλρ Fµν
Fλρ
+ 2ǫµνλρ gf abc Aaµ Abν ∂λ Acρ
(36)
where we used ǫµναβ Aeµ Adα Abβ Acν f abc f aed = 0, which is true by the Jacobi identity. (This is easier to see in
the matrix notation: ǫµνλρ tr {Aµ [Aν , [Aλ , Aρ ]]} = 0.) Our naive guess didn’t turn out to be perfect, but
notice that the surplus term has one less derivative then the RHS. Now it is easy to see that
2ǫµνλρ gf abc Aaµ Abν ∂λ Acρ =
and hence
2 µνλρ abc a b c ∂µ ǫ
gf Aν Aλ Aρ
3
1
1
a
K µ = 2ǫµνλρ Aaν Fλρ
− gf abc Aaν Abλ Acρ = 4ǫµνλρ Aaν ∂λ Aaρ + gf abc Abλ Acρ
3
3
2ig
2ig
= 4ǫµνλρ tr Aν Fλρ +
Aλ Aρ
Aλ Aρ
= 8ǫµνλρ tr Aν ∂λ Aρ −
3
3
(37)
(38)
where we listed some possible ways of writing the result. Note that K µ does not have nice gauge transfor­
mation properties. It is a topological current used to characterize topological sectors in gauge theories.
4. (a) Under a gauge transformation
i
Aµ → U Aµ U † − ∂µ U U † .
g
(39)
To gauge away the field we thus need to solve for a U that satisfies
∂µ U (x) + igU (x)Aµ (x) = 0 .
(40)
Differentiating (40) with respect to xν we find
∂ν ∂µ U + igU ∂ν Aµ + ig(∂ν U )Aµ = 0
∂ν ∂µ U + igU ∂ν Aµ + g 2 U Aν Aµ = 0 ,
(41)
where we plugged in (40) to get to the second line. Antisymmetrizing in µ and ν we get
0 = (∂ν ∂µ − ∂ν ∂µ )U (x) = −igU (x) Fνµ
(42)
Thus Fµν = 0 implies [∂µ , ∂ν ] U = 0. (If Fµν =
� 0 the field configuration is not equivalent to zero, and (40)
cannot be solved.)
(b) Equation (40) must hold at any point in spacetime and differentiating along any direction. In particular,
given a path parametrised by xµ (s̄), s̄ ∈ [0, s], x(0) = x0 we contract (40) with the tangent vector at each
point on the curve, to obtain differential equation for U (x(s̄)):
dxµ ∂U
dU (x(s̄))
dxµ
=
=
−
igU (x(s̄))Aµ (x(s̄)) ,
ds̄ ∂xµ
ds̄
ds̄
(43)
with the initial condition U (x(0)) = 1. This equation should be familiar, it is a Schrödinger-like equation
that is satisfied by the non-abelian Wilson line (see for example PS equation (15.57)). The solution is
Z s
dxµ
†
U (x(s)) = V (x(s)) = P exp −ig
ds̄
Aµ (x(s̄)) ,
(44)
ds̄
0
5
where P is the path-ordering operator.
Solving (43) is not equivalent to solving (40) because (43) only ensures that the projection of the left hand
side of (40) along the tangent of the path is zero. However, if the solution of (43) for U (x(s)) is independent
of the path, then we can choose a path with a different tangent direction at x(s) and conclude that the
component of the left hand side of (40) is zero along the other direction too. In four dimensions we need
four paths starting from x0 with linearly independent tangent vectors to demonstrate that (40) is satisfied.
So, a path-independent solution U (x(s)) of (43) implies that the solution of (43) along any path provides
a solution of (40).
(c) Consider the change in U (s) when the path is changed from xµ (s̄) to xµ (s̄) + δxµ (s̄) with fixed endpoints:
δxµ (0) = 0 and δxµ (s) = 0. Writing U (s̄) → U (s̄) + δU (s̄). We find that the change in equation (43) is
dδU
dxµ
dδxµ
∂Aµ ν dxµ
δx
=0.
(45)
+ ig
δU Aµ + igU
+
A
µ
ds̄
ds̄
∂xν
ds̄
ds̄
We can now consider
d
† 1
ds (δU U )
. Using the hermitian conjugate of (43), we find
d
dU †
dδU †
dδxµ
∂Aµ dxµ ν
†
U†
(δU U ) = δU
+
U = −ig U
δx + Aµ
ds̄
ds̄
ds̄
∂xν ds̄
ds̄
d
d
∂Aµ dxµ † ν
U δx + ig (U Aµ U † )δxµ − ig (U Aµ U † δxµ ) .
= −ig U ν
∂x ds̄
ds̄
ds̄
(46)
Integrating (46) over the path from s̄ = 0 to s̄ = s, we obtain
Z s s
d
∂Aµ dxµ ν †
δU (s)U † (s) − δU (0)U † (0) = −ig
ds̄ U ν
δx U − (U Aν U † )δxν − igU (s̄)Aµ (s̄)U † (s̄)δxµ (s̄)0
∂x ds̄
ds̄
0
(47)
Since δU (0) = 0, δxµ (0) = 0, and δxµ (s) = 0,
Z s d
∂Aµ dxµ ν †
†
†
ν
δU (s)U (s) = −ig
ds̄ U ν
δx U − (U Aν U )δx
∂x ds̄
ds̄
0
The second term in the integrand is simplified using equation (43):
d
dxµ †
dxµ
∂Aν dxµ
†
†
†
Aν U + U
U + U Aν igAµ
.
(U Aν U ) = −igU Aµ
U
ds
ds̄
∂xµ ds̄
ds̄
(48)
(49)
Plugging into (48) we get:
δU (s)U † (s) = −ig
Z
0
s
ds̄
dxµ ν
δx U (∂ν Aµ − ∂µ Aν − ig [Aν , Aµ ]) U † = ig
ds̄
Z
0
s
ds̄
dxµ ν
δx U Fµν U †
ds̄
(50)
If Fµν = 0 then δU (s)U † (s) = 0, so δU (s) = 0. We conclude that the solution is path independent for a
flat connection.
eµ give the same field strength tensor:
5. (a) Let us assume that Aµ and A
eν − ∂ν A
eµ
Fµν = ∂µ Aν − ∂ν Aµ = ∂µ A
eµ
aµ ≡ Aµ − A
0 = ∂µ aν − ∂ν aµ = fµν
(51)
(52)
(53)
Hence aµ is an abelian gauge field with fµν = 0, According to Problem 4. this implies that aµ is gauge
equivalent to zero. Hence there exists such an α:
1
Alternatively we can consider U † δU .
6
1
0 = aµ + ∂µ α
e
(54)
1
eµ
− ∂µ α = aµ = Aµ − A
e
eµ = Aµ + 1 ∂µ α ,
A
e
(56)
Fµν = ∂µ Aν − ∂ν Aµ − ig [Aµ , Aν ]
(57)
1 σ3
1 σ3
and Ay = gx
Ax = − gy
2
2
2
2
(58)
(55)
eµ are gauge equivalent locally.
which is the statement that Aµ and A
(b) Recall
Suppose
then the field strength derives only from the derivative terms and the only nonzero components are
Fxy = g
σ3
= −Fyx
2
(59)
Note that this field configuration is essentially Abelian, i.e. the fields only take values from a U (1) subgroup
of SU (2).
Now suppose
A′x =
σ1
σ2
and A′y =
2
2
(60)
The field strength now derives entirely from the commutator terms and the only nonzero components are
′
Fxy
=g
σ3
′
= −Fyx
2
(61)
Hence the two field tensors are equal.
(c) Since the field strength has no coordinate dependence
Dρ Fµν = ∂ρ Fµν − ig [Aρ , Fµν ]
(62)
will come only from the commutator terms. For the connection A this will be zero, as both A and F are
in the σ 3 direction
Dρ Fµν = 0
(63)
However, the commutator terms are non-zero for A′ . One finds
′
Dx Fxy
= −g 2
σ2
σ 1
′
and Dy Fxy
= g2
2
2
(64)
If there were a gauge transformation between A and A′ then this gauge transformation would also take
(Dx Fxy )′ to Dx Fxy . However, this is not possible, as the gauge transformation U (Dx Fxy ) U † cannot
map zero to a non-zero object, because U is an invertible matrix. This is in contrast with the gauge
transformation properties of a gauge field, which involves an inhomogenuous term.
6. (a) We can follow exactly the same steps we followed for the Lorentz gauge calculation. We impose a generalized
axial gauge by inserting into the path integral a delta function
δ(Aa3 (x) − ω a (x))
where ω is some arbitrary function. We can then do a gaussian weighted integral over all
Z
Z
1
a 2
a
(w )
Dω exp −
2ξ
(65)
(66)
7
This adds a gauge fixing term to the lagrangian such that we have
1
1 a 2
L = − (Fµν
) − (Aa3 )2 + . . .
4
2ξ
In momentum space, the quadratic part of this Lagrangian is
1 a
1
Aσ −k 2 η σµ + k σ k µ − δ3σ δ3µ δ ab Abµ
2
ξ
This operator can be inverted. It can be checked that the inverse is
"
#
kµ k3 δν3 + kν k3 δµ3 ab
(ξk 2 + 1)kµ kν
i
ηµν +
δ
−
− 2
k − iǫ
k32
k32
(67)
(68)
(69)
For ξ → 0, the integral (66) oscillates very quickly except around ω a = 0 thus imposing the axial gauge
Aa3 = 0. In this limit the propagator becomes
"
#
kµ k3 δν3 + kν k3 δµ3 ab
i
kµ kν
− 2
ηµν + 2 −
δ
(70)
k − iǫ
k3
k32
Alternatively, one need not introduce the fixing function ω at all. Setting A3 = 0 in the original Lagrangian
gives a quadratic part in momentum space that is
1 a 2 σ̂µ̂
Aσ̂ −k η + k σ̂ k µ̂ δ ab Abµ̂
2
(71)
where hatted indices run over 0, 1, 2 but k 2 includes all momentum components. This can be inverted to
give a propagator
kµˆ kν̂
1
ηµ̂ν̂ + 2 δ ab
(72)
− 2
k − iǫ
k3
These two methods are equivalent as this propagator is just the non-zero 3 × 3 block of (70).
(b) When fa = ∂i Aia . things are very similar to the Lorentz gauge, except now indices run over only spatial
indices. The ghost Lagrangian becomes
Lghost = c̄a (∂i ∂ i δ ac − gf abc ∂ i Abi )cb
(73)
The propagator in momentum space is
i ab
δ
~k 2
where ~k 2 only involves spatial components.
(74)
MIT OpenCourseWare
http://ocw.mit.edu
8.324 Relativistic Quantum Field Theory II
Fall 2010 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
Download