University Quantum Field Theory I · Discrete Symmetries of Quantised Fields: C, P, T and CPT · 11.4
The bilinears under C and T, and the photon under P, C and T
Here the discrete symmetries stop being definitions and become a table you can use. A transpose with its reordering sign gives every bilinear its C sign, a complex conjugation gives its T sign, one demand on the QED vertex gives the photon its laws, and the table then shows QED keeping C, P and T one at a time.
Build the model
Connect the measurement to the mechanism.
Topics 11.01 to 11.03 defined P, C and T on the fields, but Lagrangians are built from products of fields, so the working tool is a table of signs for the Hermitian bilinears ψ̄Γψ and for the photon. The P column is quoted from UAQM-05.06; the other two are derived here. C turns ψ into a column of ψ† and ψ̄ into a row of ψ, so a bilinear comes back transposed and in the wrong order: restoring the order costs −1 because the fields anticommute, and the transpose reverses a product of k distinct γ matrices, leaving the sign (−1)(k(k+1)/2), even for ψ̄ψ, iψ̄γ⁵ψ and the axial current, odd for the vector current and the tensor.
T keeps ψ̄ on the left and ψ on the right, so nothing is reordered, but it is antilinear: each γμ returns (−1)μ and each explicit i returns −1. The photon gets no laws of its own. Demanding that e ψ̄γμψAμ be invariant makes Aμ copy the current: C-odd, a polar vector under P, and under T keeping A⁰ while reversing A, as the classical potentials of a charge and its current do.
Then the mass, kinetic, Maxwell and gauge-fixing terms and the vertex are each even, so QED conserves C, P and T separately. That is a fact about these terms, not a theorem: an axial photon coupling or an electron dipole term would break them, and only the product CPT is protected in general.
- Simple definition
- The C and T columns of the bilinear table give the sign that each Hermitian Dirac bilinear, component by component, acquires under charge conjugation or time reversal of the quantised field; the photon field then takes whatever signs keep e ψ̄γμψAμ invariant.
- Example
- Of the 16 bilinear components, C is +1 on six, ψ̄ψ, iψ̄γ⁵ψ and the four ψ̄γμγ⁵ψ, and −1 on the four ψ̄γμψ and six ψ̄σμνψ; T is +1 on six, ψ̄ψ, ψ̄γ⁰ψ, ψ̄γ⁰γ⁵ψ and the three ψ̄σ(0i)ψ, and −1 on the other ten.
Derived. With (iγ²γ⁰)γμᵀ(iγ²γ⁰) = γμ and (iγ²γ⁰)² = −1, the sandwich returns a k-fold product reversed, times (−1)(k−1); the reorder sign makes it (−1)k.
Γ a product of γ matrices, ᵀ its transpose; ψ̄Γψ has mass dimension 3; the leading − is the anticommutation sign of topic 11.02
Derived: (−1)k from the rule above times (−1)(k(k−1)/2) for reversing k anticommuting matrices. Quantise with commutators and every entry flips.
k = 0, 4, 3, 1, 2 distinct γ's in each antisymmetrised Γ; C is unitary, so a factor i in front changes nothing
Derived from topic 11.03's T ψ(t, x) T⁻¹ = η γ¹γ³ψ(−t, x). γ¹γ³ commutes with γ⁰, γ², γ⁵ and anticommutes with γ¹, γ³, so (γ¹γ³)⁻¹γμ*(γ¹γ³) = (−1)μγμ.
Dirac or Weyl basis: γ² is the only imaginary γ and γ⁵ is real; Γ* is the complex conjugate; nothing is reordered
Derived. iψ̄γ⁵ψ: −1. ψ̄γμψ, ψ̄γμγ⁵ψ: (−1)μ. σ(0i): +1, σ(ij): −1. ∂₀: −1, ∂ᵢ: +1. With boson T phases +1, a term contracted with gμν alone is T-odd exactly when nᵢ is odd.
nₛ: spatial indices; nᵢ: explicit factors of i, with iγ⁵, σμν = (i/2)[γμ, γν] and ∂μ = −i(i∂μ) one each, γ⁵ none
Derived from the C-odd current. Every mode then obeys C a(k, λ) C⁻¹ = −a(k, λ), so a state of n photons carries C = (−1)ⁿ, the fact topics 11.07 to 11.09 use.
Aμ has mass dimension 1; fixed by demanding that e ψ̄γμψAμ, with e = 0.3028 dimensionless, be C-invariant
Derived from the vertex. A⁰ is kept and A reversed, as the classical potential of a charge and the vector potential of its current are, so E is T-even and B T-odd.
(−1)μ = +1 for μ = 0, −1 for μ = 1, 2, 3; P, by the same argument, gives (−1)μ Aμ(t, −x), a polar vector
C transposes the bilinear, then pays to reorder it
Work in ħ = c = 1 with the metric (+, −, −, −), and write (−1)μ for +1 at μ = 0 and −1 at μ = 1, 2, 3. Topic 11.02 gave C ψ C⁻¹ = iγ²γ⁰ψ̄ᵀ and C ψ̄ C⁻¹ = ψᵀiγ²γ⁰ at the same point. Put both into :ψ̄Γψ: and the result is Σ ψᵢMᵢⱼψ̄ⱼ with M = (iγ²γ⁰)Γ(iγ²γ⁰), a ψ now standing left of a ψ̄. Moving it back costs −1 inside the normal ordering, and Mᵀ = (iγ²γ⁰)Γᵀ(iγ²γ⁰) because iγ²γ⁰ is antisymmetric and appears twice. For a single γμ the sandwich returns γμ, so the reorder sign alone makes the current C-odd, as in 11.02. For a product of k distinct γ's, inserting 1 = −(iγ²γ⁰)² between neighbours returns the factors reversed, times (−1)(k−1); with the reorder sign that is (−1)k, and undoing the reversal of k anticommuting matrices costs (−1)(k(k−1)/2). So ηC = (−1)(k(k+1)/2): +1 for ψ̄ψ (k = 0), −1 for ψ̄γμψ (1), −1 for ψ̄σμνψ (2), +1 for ψ̄γμγ⁵ψ (3) and +1 for iψ̄γ⁵ψ (4). C is unitary, so the factors of i that make bilinears Hermitian play no part; quantise with commutators and every entry flips.
T conjugates the bilinear and reorders nothing
Topic 11.03's T ψ(t, x) T⁻¹ = η γ¹γ³ψ(−t, x) sends ψ to ψ and, through its adjoint, ψ̄ to η*ψ̄(γ¹γ³)⁻¹, since γ⁰ is real and commutes with γ¹γ³. The bilinear keeps its order, so no anticommutation sign appears, and the phase cancels. What T adds is antilinearity: it conjugates every c-number it passes, so T :ψ̄Γψ:(t, x) T⁻¹ = :ψ̄ (γ¹γ³)⁻¹Γ*(γ¹γ³) ψ:(−t, x). In the Dirac and Weyl bases γ⁰, γ¹, γ³ and γ⁵ are real and γ² is imaginary. γ¹γ³ commutes with γ⁰, γ² and γ⁵ and anticommutes with γ¹ and γ³, and conjugation supplies γ²'s minus sign, so (γ¹γ³)⁻¹γμ*(γ¹γ³) = (−1)μγμ for all four while γ⁵ is untouched; each explicit i becomes −i. Hence ψ̄ψ is T-even and iψ̄γ⁵ψ T-odd; ψ̄γμψ and ψ̄γμγ⁵ψ both take (−1)μ; and ψ̄σμνψ, carrying an i, takes −(−1)μ(−1)ν, so σ(0i) is even and σ(ij) odd. The derivative changes only through its argument: ∂₀ → −∂₀, ∂ᵢ → +∂ᵢ. Writing ∂μ = −i(i∂μ), with the momentum i∂μ taking (−1)μ, all of it is one rule, ηT = (−1)(nₛ + nᵢ).
Read the columns as the densities they are
In the non-relativistic reading every entry is a sign you already know. ψ̄γ⁰ψ = ψ†ψ is the number density, charge-weighted into the charge density: C-odd, T-even. ψ̄γiψ = ψ†αiψ is the current: C-odd, and T-odd because velocities reverse. ψ̄γiγ⁵ψ = ψ†Σiψ is the spin density: C-even, because an electron and a positron with the same spin add rather than cancel, and T-odd, because spin reverses. Its time component ψ†γ⁵ψ, of order σ⃗⋅p⃗/m, is a helicity density and T-even, since T reverses spin and momentum together. With σ(ij) = ε(ijk)Σk, ψ̄σ(ij)ψ is a magnetisation, T-odd like B, and ψ̄σ(0i)ψ an electric polarisation, T-even like E: the tensor bilinear transforms exactly as Fμν will. Every ψ̄Γψ has mass dimension 3, as a density in natural units must. One more check: the product of the C, P and T entries is +1, +1, −1, −1, +1 for ψ̄ψ, iψ̄γ⁵ψ, ψ̄γμψ, ψ̄γμγ⁵ψ and ψ̄σμνψ, that is (−1)ⁿ with n the number of Lorentz indices, the rule topic 11.05 turns into CPT invariance.
The photon's laws are read off the vertex
The photon has no spinor structure to compute with, so its laws come from a requirement: whatever C, P and T do to Aμ must leave e ψ̄γμψAμ invariant, the coupling e = 0.3028 being a real number that no operator changes. The current is C-odd, so C Aμ C⁻¹ = −Aμ. Under P the current takes (−1)μ at (t, −x), so Aμ goes to (−1)μAμ(t, −x), a polar vector. Under T it takes (−1)μ at (−t, x), so Aμ goes to (−1)μAμ(−t, x): A⁰ kept, A reversed. That is the classical limit exactly. The scalar potential follows the charge density, which T keeps, and the vector potential follows the current, which T reverses, so E = −∇A⁰ − ∂ₜA is T-even and B = ∇ × A is T-odd, while under P, E is odd and B even. The assignment is universal: the scalar current i(φ†∂μφ − (∂μφ†)φ) of topic 11.02 has the same three signs, so one photon law serves every charged field. In Unit 8's covariant quantisation all four modes obey C a(k, λ) C⁻¹ = −a(k, λ), and ∂μAμ goes into ±∂μAμ, so the Gupta–Bleuler condition is carried into itself.
QED, one term at a time
Now test ℒ = ψ̄(iγμ∂μ − m)ψ − ¼FμνFμν − (1/2ξ)(∂μAμ)² − eψ̄γμψAμ. The mass term is even under all three, as ψ̄ψ is, and the vertex is even by construction. Fμν = ∂μAν − ∂νAμ inherits the tensor's signs, C −1, P (−1)μ(−1)ν and T −(−1)μ(−1)ν, so FμνFμν = 2(B² − E²) is even. ∂μAμ = ∂ₜA⁰ + ∇⋅A goes to −∂μAμ under C and T and to +∂μAμ under P, so its square is even. The kinetic term needs care. Under T the time part collects −1 from i → −i and −1 from ∂₀, each space part −1 from i and −1 from γk, so the term returns itself at (−t, x). Under C the derivative ends on ψ̄, giving −i(∂μψ̄)γμψ, which is iψ̄γμ∂μψ minus the total derivative i∂μ(ψ̄γμψ), dropped from the action. P is quoted from UAQM-05.06. Every term is even, so QED conserves C, P and T separately, derived at the level of the action; the regulator respects all three, so renormalised QED does too (quoted). Measured: |dₑ| is below 4.1 × 10⁻³⁰ e cm (quoted), 2 × 10⁻¹⁹ of eħ/(2mₑc) = 1.93 × 10⁻¹¹ e cm, where QED alone predicts exactly zero.
What the table forbids, and what it leaves to the Lagrangian
Separate C, P and T conservation is a property of QED's particular terms, and the table shows which additions would end it. Add an axial coupling ψ̄γμγ⁵ψAμ: the axial current is C-even against a C-odd photon, and P-axial against a polar A, so the term breaks C and P, while T, which treats both currents alike, survives, and so does CP. The electron dipole term −(i/2)d ψ̄σμνγ⁵ψFμν has nᵢ = 3 and one γ⁵: T-odd and P-odd, but C-even. FμνF̃μν, proportional to E⋅B and contracted with εμνρσ, leaves three spatial indices: P-odd and T-odd, but for an abelian field it is the total derivative 2∂μ(εμνρσAν∂ρAσ) and changes no amplitude. Lorentz invariance and Hermiticity exclude none of these terms; what keeps the other two out of QED is more specific. The axial current of a massive electron is not conserved, ∂μ(ψ̄γμγ⁵ψ) = 2imψ̄γ⁵ψ, so the axial coupling is not gauge invariant, and the dipole term has mass dimension 5, so [d] = −1 and it is not renormalisable. Only the product CPT is guaranteed in general, by topic 11.05. Two cautions keep the table honest. For bilinears of two different fields, ψ̄₁Γψ₂, the intrinsic phases enter as η₁*η₂ and C also exchanges the two fields, so the entries hold only once those phases are fixed. And the signs belong to operators; whether an interaction respects them is a question about its Lagrangian, which the weak interaction answers by breaking C and P, here only named.
Change one variable at a time
Make the relationship visible.
Start at k = 1, the QED vertex: the photon copies the current and every term bar points right. At k = 3 the axial current's C and P bars flip and the photon's cannot, so ψ̄γμγ⁵ψAμ breaks C and P, not T. Change the spatial indices: P and T bars flip in the first two columns, never in the term.
LORENTZ INDICES n1
SPATIAL INDICES nₛ1
CPT SIGN OF ψ̄Γψ-1
SYMMETRIES THE TERM BREAKS0
Live interpretationLORENTZ INDICES n: 1. SPATIAL INDICES nₛ: 1. CPT SIGN OF ψ̄Γψ: −1. SYMMETRIES THE TERM BREAKS: 0
Catch the common trap
Explain before calculating.
QED's vertex has already fixed the photon's C, P and T laws. Suppose a small axial coupling gA ψ̄γμγ⁵ψAμ, with gA real, is added for the electron. Which statement is right?
Choose an answer to test the model.
Practice & worked examples
Reason from the model, then test the result.
EasyUsing the photon's C, P and T laws, find how ∂μAμ and AμAμ transform, and decide whether QED's gauge-fixing term −(1/2ξ)(∂μAμ)² and a photon mass term ½M²AμAμ are C-, P- and T-even. What, then, keeps the photon massless? Convert the measured bound, M below 1 × 10⁻¹⁸ eV (quoted), into the range ħ/(Mc) of a static field.
- AμAμ = (A⁰)² − A⋅A. Under C every factor gives −1; under P and T, A⁰ keeps its sign and A reverses. Each product pairs two equal signs, so AμAμ is even under all three, evaluated at the transformed point.
- ∂μAμ = ∂ₜA⁰ + ∇⋅A. C gives −∂μAμ. Under P, ∂ₜ and A⁰ are kept while ∇ and A both reverse: +∂μAμ at (t, −x). Under T, ∂ₜ reverses and A⁰ does not, while ∇ is kept and A reverses: −∂μAμ at (−t, x). The counting rule agrees: no spatial index survives and the one ∂ gives nᵢ = 1, so T-odd.
- Squares are even, so both terms are C-, P- and T-even. Dimensions: [A] = 1, so [M²AμAμ] = 2 + 2 = 4 and [(∂μAμ)²] = 4 with ξ dimensionless, as a Lagrangian density needs. Because ∂μAμ only changes sign, the Gupta–Bleuler condition is carried into itself.
- So C, P and T allow a photon mass. Gauge invariance is what forbids it: under Aμ → Aμ + ∂μλ, Fμν is unchanged but AμAμ gains 2Aμ∂μλ + ∂μλ∂μλ. The gauge-fixing term breaks it too, but only among unphysical modes, which the Ward identity keeps decoupled (quoted).
- Range: ħ/(Mc) = ħc/(Mc²) = 197.327 MeV fm ÷ (1 × 10⁻²⁴ MeV) = 1.97 × 10²⁶ fm = 1.97 × 10¹¹ m, about 1.3 times the Earth–Sun distance of 1.496 × 10¹¹ m.
Answer∂μAμ is C-odd, P-even and T-odd; AμAμ is even. Both terms are C-, P- and T-even, so only gauge invariance excludes the mass. The bound puts the range above 2.0 × 10¹¹ m, about 1.3 AU.
MediumAn electron has momentum 0.750 MeV along +z and spin along +z. With invariant normalisation its forward matrix elements are ⟨:ψ̄γμψ:(0)⟩ = 2pμ and ⟨:ψ̄γμγ⁵ψ:(0)⟩ = 2m sμ, quoted from Advanced QM. Evaluate both, then use only the C and T columns to predict them for the positron with the same momentum and spin and for the time-reversed electron, and check the T prediction directly.
- Kinematics: E = √(0.750² + 0.511²) MeV = 0.9075 MeV, so 2pμ = (1.815, 0, 0, 1.500) MeV. Spin along the motion gives sμ = (|p|/m, 0, 0, E/m), with s⋅p = 0 and s² = −1, so 2m sμ = (2|p|, 0, 0, 2E) = (1.500, 0, 0, 1.815) MeV. Dimensions: each operator has mass dimension 3 and each state −1, leaving MeV.
- C: topic 11.02's C sends |e⁻(p, s)⟩ to |e⁺(p, s)⟩ and equals its inverse, so ⟨e⁺|O|e⁺⟩ = ⟨e⁻|C O C⁻¹|e⁻⟩ = ηC ⟨e⁻|O|e⁻⟩. The vector element becomes (−1.815, 0, 0, −1.500) MeV: the positron counts negatively, and the electric current −e jμ flips with it. The axial element stays (1.500, 0, 0, 1.815) MeV: spin density counts both alike.
- T: topic 11.03's T sends |e⁻(p, s)⟩ to a phase times |e⁻(−p, −s)⟩. Being antiunitary, it gives ⟨Te|O|Te⟩ = ⟨e|T⁻¹OT|e⟩*, which for a Hermitian bilinear with ηT fixed is ηT times the real ⟨e|O|e⟩. Both columns give (−1)μ: vector (1.815, 0, 0, −1.500) MeV, axial (1.500, 0, 0, −1.815) MeV.
- Direct check: the reversed electron has p′ = −p and spin along −z, so 2p′μ = (1.815, 0, 0, −1.500) MeV. Both vectors flipped, so its helicity is unchanged and s′μ = (|p|/m, 0, 0, −E/m), giving 2m s′μ = (1.500, 0, 0, −1.815) MeV. Both agree; the axial time component, 2|p|, is a helicity density and so T-even.
- Contrast P, quoted: |e⁻(−p, s)⟩ reverses the momentum but not the spin, so the vector element again takes (−1)μ while the axial one takes −(−1)μ, giving (−1.500, 0, 0, 1.815) MeV with the helicity reversed. P and T agree on the vector current and disagree on the axial one.
AnswerPositron: vector (−1.815, 0, 0, −1.500) MeV, axial (1.500, 0, 0, 1.815) MeV. Time-reversed electron: vector (1.815, 0, 0, −1.500) MeV, axial (1.500, 0, 0, −1.815) MeV, matching 2p′μ and 2m s′μ.
HardA neutral spin-0 meson φ of mass m couples to photons through ℒ = (κ/4)φFμνFμν + (κ̃/4)φFμνF̃μν, with F̃μν = ½εμνρσFρσ and κ, κ̃ real. Find the C, P and T signs φ needs for each term to be invariant, and what both together break. Then set κ = 0 for the π⁰ (m = 134.977 MeV, τ = 8.43 × 10⁻¹⁷ s, BR(γγ) = 98.82%, quoted), extract |κ̃|, and say what an admixture κ = 0.10κ̃ would do to the photon polarisations.
- From Aμ's laws, Fμν = ∂μAν − ∂νAμ has C −1, P (−1)μ(−1)ν and T −(−1)μ(−1)ν. So FμνFμν = 2(B² − E²) is even under all three, while FμνF̃μν, proportional to E⋅B, is C-even, P-odd (E odd, B even) and T-odd (E even, B odd). The counting rule agrees: ε leaves three spatial indices.
- The κ term needs φ C-, P- and T-even, a 0⁺⁺ state. The κ̃ term needs φ C-even, P-odd and T-odd, a 0⁻⁺ state, and that T-odd sign is exactly the table's entry for iψ̄γ⁵ψ, carried by a pseudoscalar made of a fermion pair. With both non-zero, ηC = +1 keeps C, but no single ηP or ηT serves both terms: P, T and CP are broken, CPT is not.
- Rate: [φFF] = 5, so [κ] = [κ̃] = −1. Both amplitudes vanish when either ε is replaced by its photon's k, the Ward identity, so the polarisation sum Σ εμ εν* → −gμν is allowed and gives Σ|M|² = 2(κ² + κ̃²)(k₁⋅k₂)² = (κ² + κ̃²)m⁴/2, the cross term cancelling. Then Γ = ½ × (1/2m) × (1/8π) × Σ|M|² = (κ² + κ̃²)m³/(64π), the first ½ for identical photons; GeV⁻² × GeV³ leaves a width in GeV.
- π⁰ numbers: Γγγ = 0.9882 × ħ/τ = 0.9882 × (6.5821 × 10⁻¹⁶ eV s ÷ 8.43 × 10⁻¹⁷ s) = 7.716 eV. With κ = 0, κ̃² = 64πΓ/m³ = 201.06 × 7.716 × 10⁻⁹ GeV ÷ 2.4591 × 10⁻³ GeV³ = 6.309 × 10⁻⁴ GeV⁻², so |κ̃| = 0.02512 GeV⁻¹, or 0.02512 × 0.197327 fm = 4.956 × 10⁻³ fm with ħc restored.
- Polarisation: in the φ rest frame, with linear polarisations at relative angle χ about the photon axis, k⋅ε = 0 leaves M ∝ κ cos χ + κ̃ sin χ, the sign of the second term set by the orientation of εμνρσ. For κ = 0 the rate goes as sin²χ, perpendicular planes, as the π⁰'s double Dalitz pairs show (quoted). κ = 0.10κ̃ moves the maximum to χ = atan(κ̃/κ) = 84.3°, a 5.7° tilt that reverses under P and under T.
- Limits: κ̃ → 0 gives cos²χ, parallel planes, the 0⁺⁺ case. The total rate, proportional to κ² + κ̃², rises by only 1.0% for κ = 0.10κ̃, so a lifetime cannot see the admixture; only the P- and T-odd tilt can.
AnswerC(φ) = +1 for both; P = T = +1 for κ, P = T = −1 for κ̃; together they break P, T and CP, not C. For the π⁰, |κ̃| = 2.51 × 10⁻² GeV⁻¹ (4.96 × 10⁻³ fm); κ = 0.10κ̃ tilts the polarisation maximum from 90° to 84.3°.