jakob1111
Gold Member
- 24
- 16
All this disagreement and confusion about the status of "gauge symmetry" is really puzzling. So many smart people say things that are simply not true, at least not in general. In addition to the guys mentioned above, other prominent example would be Arkani-Hamed, who also likes to stress that gauge symmetries are not physical and merely redundancies, c.f. https://arxiv.org/abs/1612.02797 or Guidice, who in his last paper writes: "Gauge symmetry is the statement that certain degrees of freedom do not exist in the theory. This is why gauge symmetry corresponds only to as a redundancy of the theory description".
Without a careful and precise definition of what they mean by "gauge symmetry" these statements simply do not have any meaning. This is really the main problem that causes all this confusion: people talk about gauge symmetry without defining exactly what they mean by that word.
For some the global group is a subgroup of the local $U(1)$ gauge symmetry. This is possible if you define all transformation of the form $e^{i \alpha_a (x) T_a}$, with arbitrary functions $\alpha_a (x)$ as local gauge transformations. Global symmetry is then a special case where the function $\alpha(x)$ that parametrizes the local transformation happens to be constant. This is a naive definition that is repeated in many textbooks and believed by most students. With this definition, gauge symmetry is, of course, not just a redundancy but physical. It's physical effects are the conservation of electrical charge, the masslessness of the photon, the non-trivial QCD vacuum etc. Therefore, with this naive definition, the statements of Witten and Schwartz quoted above do not make sense. However, it's hard to tell what they really mean. Apparently they do not use this naive definition, but they do not specify any other definition. This is a problem because there is no canonical more precise definition.
As soon as you no longer want to use the naive definition, you run into a big problem: apparently there are as many other definitions as there are authors.
So to summarize:
Without a careful and precise definition of what they mean by "gauge symmetry" these statements simply do not have any meaning. This is really the main problem that causes all this confusion: people talk about gauge symmetry without defining exactly what they mean by that word.
For some the global group is a subgroup of the local $U(1)$ gauge symmetry. This is possible if you define all transformation of the form $e^{i \alpha_a (x) T_a}$, with arbitrary functions $\alpha_a (x)$ as local gauge transformations. Global symmetry is then a special case where the function $\alpha(x)$ that parametrizes the local transformation happens to be constant. This is a naive definition that is repeated in many textbooks and believed by most students. With this definition, gauge symmetry is, of course, not just a redundancy but physical. It's physical effects are the conservation of electrical charge, the masslessness of the photon, the non-trivial QCD vacuum etc. Therefore, with this naive definition, the statements of Witten and Schwartz quoted above do not make sense. However, it's hard to tell what they really mean. Apparently they do not use this naive definition, but they do not specify any other definition. This is a problem because there is no canonical more precise definition.
As soon as you no longer want to use the naive definition, you run into a big problem: apparently there are as many other definitions as there are authors.
- For example, Urs prefers the notion "gauge symmetry" for the compactly supported symmetries, and "gauge-parameterized gauge symmetry". for all other.
- Other authors, like Strominger, call the "compactly supported symmetries" "trivial gauge symmetries". The group of all gauge transformations modulo the trivial ones is then called "asymptotic gauge group".
- I'm pretty sure that, at least some, of the "Generalized Global Symmetries" by Davide Gaiotto, Anton Kapustin, Nathan Seiberg, Brian Willett are just another incarnation of Strominger's asymptotic symmetries.
- For another even different definition see, e.g. https://arxiv.org/abs/1405.5532, where the local symmetry is defined as a collection of infinitely many global ones. However, the difference between these global gauge transformations and the "real" global ones is that the correct global gauge group is realized linearly, while the others are not and therefore broken. (Gauge bosons are then the Goldstones of this symmetry breaking.)
So to summarize:
- Talking about the meaning of gauge symmetries makes absolutely no sense unless you specify precisely what you mean.
- There is a real need for some kind of dictionary that translates between all these different approaches to make the definition of gauge symmetries more precise.