I'm confused about Noether's theorem applied to gauge symmetry. Say we have
L=−14FabFab.
Then it's invariant under Aa→Aa+∂aΛ.
But can I say that the conserved current here is
Ja=∂L∂(∂aAb)δAb=−12Fab∂bΛ ?
Why do I never see such a current written? If Noether's theorem doesn't apply here, then is space-time translation symmetry the only candidate to produce Noether currents for this Lagrangian?
Indeed, nothing is wrong with Noether theorem here, Jμ=Fμν∂νΛ is a conserved current for every choice of the smooth scalar function Λ. It can be proved by direct inspection, since ∂μJμ=∂μ(Fμν∂νΛ)=(∂μFμν)∂νΛ+Fμν∂μ∂νΛ=0+0=0.
Above,
∂μFμν=0 due to field equations and
Fμν∂μ∂νΛ=0 because
Fμν=−Fνμ whereas
∂μ∂νΛ=∂ν∂μΛ.
ADDENDUM. I show here that Jμ arises from the standard Noether theorem. The relevant symmetry transformation, for every fixed Λ, is Aμ→A′μ=Aμ+ϵ∂μΛ.
One immediately sees that
∫ΩL(A′,∂A′)d4x=∫ΩL(A,∂A)d4x
since even
L is invariant. Hence,
ddϵ|ϵ=0∫ΩL(A,∂A)d4x=0.
Swapping the symbol of derivative and that of integral (assuming
Ω bounded) and exploiting Euler-Lagrange equations, (1) can be re-written as:
∫Ω∂ν(∂L∂∂νAμ∂μΛ)d4x=0.
Since the integrand is continuous and
Ω arbitrary, (2) is equivalent to
∂ν(∂L∂∂νAμ∂μΛ)=0,
which is the identity discussed by the OP (I omit a constant factor):
∂μ(Fμν∂νΛ)=0.
ADDENDUM2. The charge associated to any of these currents is related with the electrical flux at spatial infinity. Indeed one has: Q=∫t=t0J0d3x=∫t=t03∑i=1F0i∂iΛd3x=∫t=t0∂i3∑i=1F0iΛd3x−∫t=t0(3∑i=1∂iF0i)Λd3x.
As
∑3i=1∂iF0i=−∂μFμ0=0, the last integral does not give any contribution and we have
Q=∫t=t0∂i(Λ3∑i=1F0i)d3x=limR→+∞∮t=t0,|→x|=RΛ→E⋅→ndS.
If
Λ becomes constant in space outside a bounded region
Ω0 and if, for instance, that constant does not vanish,
Q is just the flux of
→E at infinity up to a constant factor. In this case
Q is the
electric charge up to a constant factor (as stressed by ramanujan_dirac in a comment below). In that case, however,
Q=0 since we are dealing with the free EM field.
No comments:
Post a Comment