Phrak said:
Facinating, and are you sure? I had no idea. Could you explain in more detail, because I don't follow?
Consider a complex scalar field described by a Lagrangian density of the form
[tex]\mathcal{L} = \frac{1}{2}\partial_{\mu}\phi\partial^{\mu}\phi^{*}-V\left(\left|\phi\right|^{2}\right)[/tex]
where V is some arbitrary potential which can include a mass term.
This is clearly invariant under the global gauge transformation:
[tex]\phi\rightarrow\phi\exp(i\alpha)[/tex]
You can use Noether's theorem to find what the conserved current is. You can try to make the theory invariant under local gauge transformation, i.e. for alpha that depends on the space time coordinates. If you consider an infinitesimal space time dependent gauge transformation (so we take alpha to be infinitesimal and work to first order in alpha), then apart from total divergences that vanish upon integration, an extra term of the form
[tex]J^{\mu}\partial_{\mu}\alpha[/tex]
where J is the conserved Noether current, will be generated. You can try to get rid of this by including a term proportional to
[tex]A_{\mu}J^{\mu}[/tex]
in the Lagrangian where A_{mu} is a new vector field that under gauge transformation is assumed to yield the derivative of alpha so that the extra term you got above, cancels. However, the current itself produces a term under gauge transformations, proportional to:
[tex]|\phi|^2 \partial^{\mu}\alpha[/tex]
So, the A_{mu}J^{mu} term we included in the Lagrangian will now produce an additional unwanted term proportional to:
[tex]|\phi|^2 \partial^{\mu}\alpha A_{\mu}[/tex]
This we can get rid of by adding a term proportional to
[tex]|\phi|^{2}A_{\mu}A^{\mu}[/tex]
in the Lagrangian. We then don't get any additional unwanted terms.
Finally, the vector field A_{mu} can make a contribution to the Lagrangian without a coupling to the scalar field. A gauge invariant contribution can be constructed as follows. The anti-symmetric tensor
[tex]F_{\mu \nu}=\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu}[/tex]
is clearly invariant under gauge transformations, so we can include a term proportional to
[tex]F_{\mu \nu}F^{\mu \nu}[/tex]
in the Lagrangian.