# 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?

-

## 1 Answer

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
– DJBunk Jun 23 '12 at 3:32

1
@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
show 2 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 12, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9223257899284363, "perplexity_flag": "middle"}