# Gauge symmetry description for $\phi^4$?

That is a follow-up to this question: Gauge symmetry is not a symmetry?

Ok, gauge symmetry is not a symmetry, but ...

... a redundancy in our description, by introducing fake degrees of freedom to facilitate calculations.

I want some simple and practical example for this.
So If I, say, take a simple $\phi^4$ theory, then I can gauge it by...

... introducing the proper fake degrees of freedom

Can I?

-

A trivial example:

Take your original field $\phi$ to be a free real scalar field on $\mathbb{R}^n$. Double the number of fields by adding another free real scalar field $\chi$ to your list of fields

Now introduce a gauge symmetry by making the group of functions $g: \mathbb{R}^n \to \mathbb{R}$ act by $g: (\phi,\chi) \mapsto (\phi,\chi+ g)$. So your group of gauge transformations acts trivially on the space of $\phi$'s and freely and transitively on the space of $\chi$'s.

Now fix a gauge in your favorite way. You can grind through the BRST machinery, or you can just choose the gauge slice $\chi= 0$. Either way your original free scalar field is precisely equivalent to the new theory with two fields and the wacky gauge symmetry I described above.

-
Could you explain what does gauge away mean? I came across this expression while reading about the Higgs mechanism but didn't understand what it means and what is the significance of doing it. I wanted to start a question on it but found it stated here, hence my question. (And by the way I'm trying to comprehend what you wrote here but this stuff is a bit heavy for me.) –  user09876 Jun 22 '12 at 23:15
A gauge symmetry is a symmetry of the variables used to describe a physical system which isn't actually a symmetry of the physical system. Gauging away a variable means using a gauge symmetry to eliminate it from the description of the system. I was getting ahead of myself when I said 'gauge away' $\chi$, since I hadn't actually introduced the gauge symmetry or used it to eliminate $\chi$. Fixed that. –  user1504 Jun 23 '12 at 2:08
When you say "not actually a symmetry" can you elaborate? Isn't U(1) symmetry of QED "due to" conservation of electric charge? I mean obviously since we're talking about a bundle over space-time the "translations" (phase changes) aren't actual translations but otherwise i'm not sure what you meant by this. –  tachyonicbrane Jun 23 '12 at 2:50
Regarding gauge symmetry not being a real symmetry - see physics.stackexchange.com/questions/13870/… –  DJBunk Jun 23 '12 at 3:32
@JerrySchirmer: The imaginary part in your example in the comments is not a gauge field, it is just zero after the constraint. It isn't arbitrary, and you don't pick out a slice in the path integral. –  Ron Maimon Jun 23 '12 at 11:14