What is a gauge in a gauge theory?

Question

As I study Jackson, I am getting really confused with some of its key definitions. Here is what I am getting confused at. When we substituted the electric field and magnetic field in terms of the scalar and vector potential in the inhomogeneous Maxwell's equations, we got two coupled inhomogeneous wave equations in terms of $\mathbf{A}$ and $\phi$. So, the book states that to uncouple them, which definitely makes our equations simpler to solve, we introduced gauge transformations as adding a gradient to $\mathbf{A}$ and adding a constant to $\phi$ would not affect their meaning. My question is which one is a gauge and why in the expression for a gauge transformation $$\mathbf{A'}=\mathbf{A+\nabla \gamma}.$$ Somewhere in the internet, I read that $\gamma$ is a gauge function. So, is $\gamma$ a gauge, if yes, then why?

Basically: What is a gauge?

Answer 1

In normal usage, a gauge is a particular choice, or specification, of vector and scalar potentials $\mathbf A$ and $\phi$ which will generate a given set of physical force fields $\mathbf E$ and $\mathbf B$.

More specifically, a physical situation is specified by the electric and magnetic fields, $\mathbf E$ and $\mathbf B$. A set of potentials $\mathbf A$ and $\phi$ generates the force fields if it obeys the equations \begin{align} \mathbf B & =\nabla\times\mathbf A \\ \mathbf E & = -\nabla\phi-\frac{\partial \mathbf A}{\partial t}. \end{align} As you know, for a given set of force fields, the potentials are not unique. A gauge is a specific, additional requirement on the potentials. One good example of a gauge is the Coulomb gauge, which is mostly embodied by the requirement that $\mathbf A$ also be divergenceless, $$\nabla \cdot\mathbf A=0.$$ "The Coulomb gauge" refers to the set of potentials which satisfy this.

Gauges are usually thought of as specifying the potentials uniquely. This is not really true, but they do tend to specify the potentials "uniquely up to reasonable physical assumptions". The Coulomb gauge is a good example of this: the gauge transformation to \begin{align} \mathbf A'&=\mathbf A+\nabla \chi(\mathbf r)\\ \phi'&=\phi \end{align} preserves the physical fields, and if $$\nabla^2 \chi(\mathbf r)=0$$ then it also preserves the gauge condition that $\nabla \cdot\mathbf A'=0$. This is not great for unicity, because there are a lot of harmonic functions that satisfy the above condition. However, for a function to really be harmonic throughout all of space - with no exceptions and no singularities - then it must diverge at infinity, which is not really palatable in most cases. Because of that, saying that $\mathbf A$ is the vector potential in the Coulomb gauge usually means that $\nabla \cdot\mathbf A=0$ and that such 'infinite-self-energy' terms have been set to zero; this is usually a unique set of potentials in situations where the energy in the physical fields themselves is not infinite.

It is worth noting that, in certain situations, the word gauge can be naturally free of this ambiguity. In my field, strong-field physics, the words 'length gauge' and 'velocity gauge' are taken to mean that the total energy of an electron interacting with a laser field, at position $\mathbf r$ and with momentum $\mathbf p$, is of the form $$E=\tfrac1{2m}\mathbf p^2-e\mathbf r\cdot \mathbf E$$ and $$E=\tfrac1{2m}\left(\mathbf p-e\mathbf A\right)^2,$$ respectively. For a uniform field (i.e. in the 'dipole approximation') the two energies are equivalent via a gauge transformation. However, here the word 'gauge' is completely unambiguous except for a total constant energy which can very safely be ignored.

---

Thus far for technical matters. I think, though, that a lot of what worries you is the word 'gauge' itself, which is indeed a weird choice. In everyday usage, a gauge is a generic form of meter or dial. The phrase 'gauge invariance' seems to have come into physics via German, in Hermann Weyl's use of the word 'Eichinvarianz', which loosely means 'scale invariance' or 'gauge invariance' (in the sense that a choice of measuring instrument (gauge) determines the measured physical values in a given setting, i.e. determines the scale).

This invariance under changes of scale is exactly (part of) the (technical) gauge invariance in general relativity, which is invariant under coordinate transformations.

Note, though, that my source for this history is Wikipedia, so if someone can chime in with a better source it would be fantastic.

Answer 2

Continuous symmetries of the action of a system which are global, that is, do not depend on where they act, give rise through Noether's theorem to conserved quantities. For example, a translation in time $t \to t+\epsilon$ for $\epsilon \in \mathbb{R}$ is a global transformation, and leads to energy conservation.

On the other hand, if an action is invariant under local or gauge transformations which do depend on the point wherein they act, then the system possesses a redundancy. For example, in the case of,

$$\mathcal{L}=-\frac{1}{4}F_{\mu\nu}F^{\mu\nu}$$

which describes electromagnetism, where $F_{\mu\nu} = \partial_{[\mu}A_{\nu]}$, we have a gauge symmetry,

$$A_\mu \to A_\mu + \partial_\mu \epsilon(x)$$

since the field-strength $F$ will be the same. To convince yourself, write out the field-strength explicitly:

$$F'_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + \partial_\mu\partial_\nu \epsilon(x) - \partial_\nu\partial_\mu\epsilon(x)=\partial_\mu A_\nu - \partial_\nu A_\nu = F_{\mu\nu}$$

since $[\partial_\mu,\partial_\nu]\epsilon=0$. So, if I have a system with a 4-potential $A_\mu$, my action cannot distinguish it from the system with $A_\mu$ differing by a total derivative $\partial_\mu \epsilon(x)$. To go beyond your question now, notice a gauge symmetry allows us to simplify our problem often. If we choose to identify $A_\mu$ and $A'_\mu$ as the same system, then for any $A_\mu$ we can always make it satisfy,

$$\partial_\mu A^\mu =0$$

by choosing the right $\epsilon(x)$ such that $\partial_\mu \partial^\mu \epsilon(x)=-\partial_\mu A^\mu$. We call the former the 'gauge' or 'gauge condition.' This particular gauge is due to Lorenz.

Answer 3

You forgot to mention the electric potential $φ$. So the whole transform should read - expanding on the version of it that you wrote: $$' = + ∇γ, \hspace 1em φ' = φ - \frac{∂γ}{∂t}.$$ So, the gauge transform is an adjustment that re-gauged the electric potential - meaning: it reset its ground. The transform is generated by $γ$. So, that fits the bill.

In units: $$ is in Webers/meter, $φ$ is in Volts, which are Webers/second. So, $γ$ is in Webers. So, you might say that the Weber is the unit of "gauge". It's complimentary to Coulomb: the two multiply out to the unit for action: kilogram·meter²/second. And, Weber is also the unit of magnetic charge - the charge $g$ that would go with the field $$ to produce a force $g$ if only isolated charges were to exist.

That also means that in Kaluza-Klein theories, where electromagnetism is modeled as gravity in the fifth dimension, the extra dimension has the Weber as its unit. A gauge transform is a translation along the extra dimension. In SI, before 2019, in addition to the calibration 1 meter = c/299792458 seconds, there was the calibration 1 Weber = (μ₀/4π)·10000 km = (μ₀c/4π)/29.9792458 seconds, since 1 km = 1000 meters. But, since 2019, μ₀ and that Kilogram Bar of mass in Paris have been pulled off the A-list in favor of the positron charge e and Planck's constant h. Nowadays, the calibrations are for charge 1 Coulomb = e·10¹⁹/1.602176634, for action 1 Coulomb·Weber = h·10³⁴/6.62607015, and therefore: 1 Weber = (h/e)·10¹⁵·1.602176634/6.62607015.

You could ground $φ$ everywhere at all times, with the right gauge transform. Then, everything gets moved over into $$. Set: $$γ = \int^t_0 φ(T,) dT.$$ Then $$ φ'(t,) = φ(t,) - \frac{∂}{∂t} \int^t_0 φ(T,) dT = φ(t,) - φ(t,) = 0, \\ '(t,) = (t,) + ∇\int^t_0 φ(T,) dT = (t,) + \int^t_0 ∇φ(T,) dT. $$ But, since $$ = -∇φ - \frac{∂}{∂t},$$ then $$\begin{align} '(t,) &= (t,) - \int^t_0 \frac{∂}{∂t}(T,) dT - \int^t_0 (T,) dT \\ &= (t,) - ((t,) - (0,)) - \int^t_0 (t,) dT \\ &= (0,) - \int^t_0 (T,) dT. \end{align}$$

So, the actual gauge transform is: $$φ'(t,) = 0, \hspace 1em '(t,) = (0,) - \int^t_0 (T,) dT.$$

The setting is frame-dependent, since a transform to the frame of a moving observer mixes up $φ'$ and $'$ with each other, unless $'$ points in a constant direction and the observer is moving perpendicular to $'$, in which case they stay the same.