Chapter 2

Space-

In classical theory any continuous of the action generates a conserved

current by Noether's procedure. If the Lagrangian is not but only shifts by a divergence the same procedure still applies.

We choose the fields ϕ A ()x as various representations of Lorentz in a

d − dimensional flat space-time manifold M . In an infinitesimal proper orthochronous

µµµµνµ Lorentz transformation xxx→ ′ =+ωων x,,ν <<1 ωωµν =− νµ the fields

transform as

! A 1 ϕϕAAA→ ′′=+ δω1 Σ µν ϕB ()xx ( ) " B µν ()B 2 () x (2.1) # 2 3

where ΣΣµν=− νµ are the matrices. ϕ A ()x transforms like a under space-

µµµµ→ =+ ϕϕ∂ϕ= d time translation xxxa′ . The action Sdx[] * (), µ is invariant Λ⊂ M

8 under the full Poincaré group of Lorentz transformation and space-time translation. Here the domain Λ ⊂ M is an invariant under the transformation.

2.1 Noether’s Theorem

AA The action of a field theory described by a local Lagrangian ()ϕ∂ϕ()xx, µ () is

ϕϕ∂ϕ= dAA Sdx[] * (), µ (2.2) Λ⊂ M

Suppose under an infinitesimal diffeormorphism xxxµµµµµ→ ′ =+εε() x,1 () x << the field, the Lagrangian, and the action transform as

ϕϕϕδϕAAAA()xxxx→ ′ ()=+ () () (2.3a)

()xxxx→ ′ ()=+ ()δ () (2.3b)

SS[]ϕϕϕδϕ→ ′′ [ ]=+ SS [] [] (2.3c)

AA µ where ′()xxx= ′′()ϕ∂ϕ (), µ ′ (), then up to the first order in ε ()x

δϕ=+d δ ∂ εµ Sdx[] * []µ () (2.4) Λ⊂ M

If xxxµµµµµ→ ′ =+εε() x,1 () x << is a symmetry of the field theory, then δϕS[]= 0.

If the choice of the domain Λ⊂M is arbitrary, then

9 µ δϕS[]= 00 δ+= ∂µ () ε (2.5)

This is a very strong condition. In the weakest situation Λ=M , so δϕS[]= 0 is a necessary and sufficient condition for the existence of a vector field Vxµ () such that

µ µ δ∂ε+=µ () ∂µV (2.6a)

V µ ()x = 0 (2.6b) infinity

AA Invariance of the action SS′′[]ϕϕ= []′ tells us ′′()xxx= ()ϕ∂ϕ′′′′′ (), µ (). Using the

∂ µ µ ∂ equation of −=∂ µ Π A 0 , where Π A = , one finds ∂ϕ A A ∂∂()µ ϕ

µ A δ∂()xx=Πµ ()A δϕ () (2.7)

Substituting this into eqn. (2.6a), we find

µµµA ∂δϕεµ ()Π A +−V =0 (2.8)

Therefore Noether’s conserved current for a space-time symmetry is

µµA µ µ Jx()=+−Π A () xδϕ () x ε ()() xx Vx () (2.9)

10 Jxµ () is arbitrary up to the addition of a divergence-less field and up to a change of

scale and sign. In the subsequent analysis we will use eqn. (2.9) to construct the canonical

conserved currents associated with the various space-time symmetries.

2.2 Poincaré Currents

Since the volume element (measure) d d x is invariant under a proper orthochronous

µ µ µ ν µ µ 0 Poincaré transformation x → x′ = Λ ν x + a , ()det()Λ ν = +1, Λ 0 ≥ +1 , the action

S[]ϕ is invariant in arbitrary domain Λ⊂M when the Lagrangian ()x is a Poincaré scalar. Therefore we will apply the strong condition (2.5) for calculating the Poincaré currents.

Canonical stress- is the conserved current associated with the

d − parameter space-time translation group xxxaµµµµ→ ′ =+. The fields ϕ A ()x form

a to the various representations of the and transform like scalars under translation

AAAν A µ δϕ()xxxaxa= ϕ′ ()−=− ϕ () ∂ν ϕ (),1 << (2.10)

We read the conserved current from eqn. (2.9) as

µν µ νA µν µν ΘΠ=−A∂ϕ η, ∂µ Θ = 0 (2.11)

11 This is the well-known canonical stress-energy tensor. Conservation follows identically by the equation of motion. The anti-symmetric part of Θ µν is given by

µν νµ µ νA ν µ A ΘΘΠ−=A∂ϕ − ΠA ∂ϕ (2.12)

The conserved current associated with the proper orthochronous Lorentz

µµµµνµ transformation xxx→ ′ =+ωων x,,ν <<=−1 ωωµν νµ is the canonical angular momentum tensor. The fields ϕ A ()x are representations of Lorentz group which transform like

! A 1 ϕϕAAA→ ′′=+ δω1 Σ µν ϕB ()xx ( ) " B µν ()B 2 () x (2.13) # 2 3

Due to the group structure of the Lorentz transformation, the spin-matrices ΣΣµν=− νµ satisfy the following commutation relation [29]

[]ΣΣµν λρ=−+−ηηηη µρ Σ νλ µλ Σ νρ νλ Σ µρ νρ Σ µλ , − (2.14)

Spin-matrices for scalar, vector, and second rank tensor fields are given by

Σ µν = 0 (2.15a)

µνA µA ν νA µ ()Σ B =−ηδB ηδB (2.15b)

µνAB µA νB νA µB µB νA νB µ A ()Σ CD =−+−ηδC δD ηδC δD ηδD δC ηδD δC (2.15c)

12 These equations can be easily generalized for arbitrary rank tensor fields. The spin-  matrices for Dirac bi- fields ψ ()x and ψ ()x which satisfy ()imγ∂µµ−= ψ 0 and

 µ ψγ∂()imµ +=0 (here the arrow on top of the differential operator denotes its direction of operation), respectively, are given by

µν ψ 1 µνi µν ()Σ ψ ==−[]γγ, σ (2.16a) 42−

µν ψ 1 µνi µν ()Σ ψ =−[]γγ, = σ (2.16b) 42−

µν ψ µν ψ ()ΣΣψ ==0()ψ (2.16c)

µ µν µν µνi µ ν Dirac matrices γ satisfy []γγ, = 2 η , and σγγ= [], . + 2 −

From now on the field indices A, B, C, ... will be suppressed and all the equations will be interpreted as equations with appropriate summation over the field indices.

Then from eqn. (2.13)

1 λρ ρλ λρ δϕ()xxx= ϕ′ ()−= ϕ () ωλρ []() x ∂ ϕ − x ∂ ϕ +Σ ϕ (2.17) 2

Noether’s current (2.9) defines the conserved canonical angular tensor as

µλρ λ µρ ρ µλ µ λρ µλρ Mx=−+()ΘΘΠΣ xϕ∂,0µ M = (2.18)

which is anti-symmetric in ()λρ, .

13 µλρ The ∂ µ M = 0 does not follow as an identity for arbitrary

Lagrangians. Therefore Lorentz invariance constrains the canonical stress-energy tensor.

µν Using ∂ µ Θ=0, we find

µλρ λρ ρλ µλρ ∂∂ϕµ M = 0  ΘΘ−=−µ () ΠΣ (2.19)

Hence, if a translation invariant field theory is also Lorentz invariant, then the anti-symmetric part of the canonical stress-energy tensor has to be a total divergence. It is

d Θλρ = d Θ ρλ ϕ() = interesting to notice that: * d x * d x if x ∂Λ 0 . In the next chapter we Λ Λ will prove the weakest set of necessary and sufficient conditions for the existence of a symmetric stress-energy tensor, and we will develop an algorithm to construct it from the canonical stress-energy tensor over a flat space-time manifold.

14