Chapter5 Script
Chapter5 Script
Chapter5 Script
GAUGE FIELDS
In this chapter, we will quantize the Maxwell Lagrangian. This will lead to massless spin-1
particles. As we will see in the next chapter, these particles mediate long range forces between
charged particles.
1. WIGNER’S CLASSIFICATION
Particles are classified by mass m and spin j:
• massive particles ⇒ 2j + 1 dofs ⇐ little group SO(3)
• massless particles ⇒ 2 dofs ⇐ little group SO(2)
However, Tµ1 ...µj has 4j components, so it is not an irrep of spin-j particles.
We need to impose extra constraints to isolate the spin-j component of the field.
2. MAXWELL EQUATION
Goal: Construct a Lagrangian for Aµ that propagates the right dofs.
Lorentz invariance and locality allow 2 possible kinetic terms
Lkin = a1 L1 + a2 L2 ,
where
L1 = ∂µ Aν ∂ µ Aν ,
L2 = ∂µ Aµ ∂ν Aν = ∂ν Aµ ∂µ Aν + boundary terms .
1 2
LMaxwell = − Fµν .
4
This Lagrangian has a gauge symmetry: Aµ → Aµ + ∂µ α.
The theory therefore only has two propagating dofs.
This can be seen explicitly in Coulomb gauge, where ∂ i Ai = 0.
The Lagrangian then is
1 1 1
LMaxwell = Ȧ2i − (∂j Ai )2 + (∂i A0 )2 .
2 2 2
We see that A0 is non-dynamical and can be set to A0 ≡ 0 using the residual
gauge freedom, A0 → A0 + α̇, with ∂i2 α = 0. The Lagrangian becomes
1
LMaxwell = (∂µ Ai )2 ,
2
subject to the constraint ∂ i Ai = 0. This describes the two transverse polariza-
tions of Ai .
2
A masssive spin-1 field must satisfy the Proca Lagrangian
1 2 1
LProca = − Fµν + m2 A2µ .
4 2
The corresponding equation of motion is
∂ µ Fµν = m2 Aν .
3. QUANTIZATION
In Coulomb gauge, the Maxwell equation is
A = 0 , with ∇ · A = 0 ,
where p · λ = 0, for λ = 1, 2.
The mode expansion of the operator A(x) therefore is
d3 p
Z
1 Xh λ +ip·x ∗ λ† −ip·x
i
A(x) = λ (p) ap e + λ (p) ap e ,
(2π)3 2Ep
p
λ
0 0
where aλp , aλq † ≡ (2π)3 δ (3) (p − q) δ λλ .
d3 p ip·(x−y) ij pi pj
Z
i j ij
[A (x), E (y)] = i 3
e δ − 2 ≡ i δ⊥ (x − y) .
(2π) |p|
3
Substituting the mode expansion into the Hamiltonian and momentum opera-
tors, we find
d3 p X
Z
H= 3
Ep aλ† λ
p ap ,
(2π)
λ
Z 3
dp X
P= 3
p aλ† λ
p ap .
(2π)
λ
Hence, aλ† p |0i creates particles of momentum p and energy Ep = |p|. With a
little bit of effort, we could also show that they have spin 1 and helicity λ = ±1.
We have discovered photons!
4. PHOTON PROPAGATOR
The Feynman propagator for the field Ai is
∆ij i j
F (x − y) ≡ h0|T {A (x)A (y)}|0i
d4 p i j
Z
i p p
= 4 2
δ ij − 2
e−ip·(x−y) .
(2π) p + i |p|
J 0 (t, y)
Z
∇2 A0 = −J 0 ⇒ A0 (t, x) = d3 y .
4π|x − y|
4
Substituting this back into the Lagrangian gives
Z 0 0
1 2 i 1 3 J (t, x)J (t, y)
L = (∂µ Ai ) + Ai J + dy .
2 2 4π|x − y|
↑
nonlocal Coulomb term
We could capture the Coulomb term by defining the following propagator for
the field A0 (x):
0
− 0
d4 p e−ip·(x−y)
Z
δ(x y )
∆00
F (x − y) = = .
4π|x − y| (2π)4 |p|2
−iη µν
∆µν
F (p) = .
p2 + i