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
\mathcal{L} = \frac{1}{2}\partial_{\mu}\phi\partial^{\mu}\phi^{*}-V\left(\left|\phi\right|^{2}\right)
where V is some arbitrary potential which can include a mass term.
This is clearly invariant under the global gauge transformation:
\phi\rightarrow\phi\exp(i\alpha)
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
J^{\mu}\partial_{\mu}\alpha
where J is the conserved Noether current, will be generated. You can try to get rid of this by including a term proportional to
A_{\mu}J^{\mu}
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:
|\phi|^2 \partial^{\mu}\alpha
So, the A_{mu}J^{mu} term we included in the Lagrangian will now produce an additional unwanted term proportional to:
|\phi|^2 \partial^{\mu}\alpha A_{\mu}
This we can get rid of by adding a term proportional to
|\phi|^{2}A_{\mu}A^{\mu}
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
F_{\mu \nu}=\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu}
is clearly invariant under gauge transformations, so we can include a term proportional to
F_{\mu \nu}F^{\mu \nu}
in the Lagrangian.