Saturday, May 12, 2018

Noether's theorem and gauge symmetry


I'm confused about Noether's theorem applied to gauge symmetry. Say we have


L=14FabFab.


Then it's invariant under AaAa+aΛ.


But can I say that the conserved current here is


Ja=L(aAb)δAb=12FabbΛ ?


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?




Answer



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=t03i=1F0iiΛd3x=t=t0i3i=1F0iΛd3xt=t0(3i=1iF0i)Λd3x.

As 3i=1iF0i=μFμ0=0, the last integral does not give any contribution and we have Q=t=t0i(Λ3i=1F0i)d3x=limR+t=t0,|x|=RΛEndS.
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

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...