Quantum Field Theory

Post navigation

This is part 2 of my mini-series on understanding symmetry breaking, Goldstone’s theorem and the Higgs mechanism intuitively. Part 1 is here.

The punchline of the Higgs mechanism is often summarized as:

There are no Goldstone bosons if we break a local symmetry.

For example, in the standard model, we break the $SU(2)$ gauge symmetry. Since gauge transformations depend on the location $G=G(x)$ they are local and therefore no Goldstone bosons appear when we break it.

Unfortunately, such a summary of the Higgs mechanism has many problems and leads to a lot of confusions.

The problems all have to do with the following observation: Before we can calculate anything that we can compare with experiments, we must remove the gauge symmetry by fixing the gauge. Usually, in the textbooks, the Higgs mechanism is discussed before the gauge has been fixed. Then, there is no obvious problem. We discuss breaking of the gauge symmetry and then fix the gauge to remove the gauge symmetry completely.

However, what happens if we reverse these two steps? We can first fix the gauge and then have a look what the Higgs mechanism is doing. Certainly, then we can’t talk about breaking of the gauge symmetry since it has been removed completely from the theory. What is the Higgs mechanism then doing and why are there no Goldstone bosons? The story gets even weirder because there are different possible ways to fix a gauge. The story of what the Higgs mechanism is doing changes depending on how we fix the gauge. We can even remove the $SU(2)$ symmetry completely by changing the field variables (See: J. Fröhlich, G. Morchio and F. Strocchi, Phys. Lett. B97, 249 (1980) and Nucl. Phys. B190, 553-582 (1981)).

If all this weren’t bad enough there is even a famous theorem, called Elitzur’s theorem, whose punchline is:

Spontaneous breaking of a local symmetry is impossible.

I don’t want to dive into the details here, but if you want to have a look at what people are discussing in this context have a look at this paper.

The same confusing situation does not only exist in particle physics. The Higgs mechanism is often invoked to explain how superconductors work. Analogous to the story in particle physics, students are usually taught that here the electromagnetic $U(1)$ gauge symmetry is broken. The cooper pairs play then the role of the Higgs field and since the broken $U(1)$ symmetry is local no Goldstone bosons appear in the spectrum. (See, for example, the discussion in An Invitation to Quantum Field Theory by Luis Alvarez-Gaumé and Miguel A. Vázquez-Mozo). Again, we run into lots of difficulties if we have a closer look as discussed, for example, in this article.

Now the good news.

Since we already understand symmetry breaking and Goldstone’s theorem intuitively, it is not that hard to understand how the Higgs mechanism works. Especially, we will not run into confusing situations as the ones outlined above, since we will stick to physical things.

Much of the confusion surrounding the Higgs mechanism can be attributed to the confusion surrounding gauge symmetries. I will discuss gauge symmetries in another post since to understand the Higgs mechanism it is sufficient to stick to what is physical about gauge symmetries and leave all the mysticism aside.

The loophole in Goldstone’s theorem

Like for most theorem in physics, there are loopholes in Goldstone’s theorem. Especially, there are systems where the configuration with the lowest energy, the ground state, breaks a symmetry, but no Goldstone modes exist.

To spoil the surprise: in these systems, no Goldstone modes exist because there are long-range forces present before the symmetry breaks. Such long-range forces are what is physical about gauge symmetries and this explains the connection between gauge symmetries and the Higgs mechanism.

The simplest example is again a ferromagnet. As mentioned above, usually the spins of the individual atoms only talk to their nearest neighbors. In other words, there are no long-range forces. Below the Curie temperature, the spins align, but it costs no energy to perform a rotation of all spins at once. Such a uniform rotation is a “spin wave” with infinite wavelength and thus our Goldstone mode here. It appears here because the fundamental laws are rotational invariant and only the ground state of the ferromagnet below the Curie temperature, i.e. the configuration with all spins aligned, breaks the symmetry.

However, if there is additionally a long-range force present in the system, for example, the $1/r$ Coulomb force, such a global uniform rotation costs energy, because we must work against the Coulomb force. Therefore, as soon as long-range forces are present there are no Goldstone modes.

Instead, what happens is that the long-range force becomes short-ranges as soon as the phase transition happens (in the example above, below the Curie temperature). The long-range force waves combine with the would-be Goldstone modes and the result is a short-range force. The waves with an infinite wavelength that would be the Goldstone modes now also have an effect on the long-range force, e.g. on the electric field. Thus such a wave with infinite wavelength is no longer possible without costing energy.

Instead, in the case of the ferromagnet, when we consider such a global uniform rotation what we get is a charge-density wave. This charge density wave is independent of the wavelength. As a result, the Goldstone modes have a finite non-zero frequency.

As mentioned above in part 1, symmetries break when the system becomes rigid. Below the Curie temperature, the ferromagnet resists rotations of individual spins. As a result of this rigidity, the former long-range force becomes short ranged.

The long-range electromagnetic force is mediated by electromagnetic waves, which simply means oscillations of electric and magnetic fields. When the system has become rigid, these electromagnetic waves can no longer propagate freely. The displacement of individual spins and thus of individual magnetic moments cost energy if the system is rigid. Hence, the system tries to minimize such displacements by intruding magnetic oscillations. As a result, the electromagnetic waves get damped and thus no longer have an infinite range.

In particle physics terms, we say the photon now has a mass. Before the symmetry breaking the photon is massless which means the range of electromagnetic interactions is infinite. After the system has become rigid the range of electromagnetic interactions is finite and this means the particle mediating the interaction is massive

The Higgs mechanism in particle physics

“Anatoly Larkin, posed a challenge to two outstanding undergraduate teenage theorists, Sacha Polyakov and Sasha Migdal: “In field theory the vacuum is like a substance; what happens there?”

from Chapter 9 in The Infinity Puzzle, by F. Close

As already mentioned in the introduction above there is a folklore that is repeated over and over in the textbooks. According to the folklore the Higgs mechanism exploits a loophole in Goldstone’s theorem because the symmetry that gets broken is a local one. This is wrong. A local symmetry is not a symmetry, but merely a redundancy in the description and cannot be broken anyway.

The real loophole, as discussed above, is that we consider a system with long-range forces. Prior to the phase transition into a ground state with smaller global symmetry, we have massless spin $1$ bosons that mediate the long-range forces. The scalar field then undergoes a phase transition and condenses into a new rigid ground state. This new ground state does no longer correspond to an empty vacuum, but to a uniform distribution of Higgs field, which could be called “Higgs Substance”, to borrow a phrase from Guidice’s “A Zeptospace Odyssey“.

In particle physics, the conventional formulation of the non-empty vacuum state is that we say that the Higgs has a non-zero vacuum expectation value.

A non-zero vacuum expectation value means that on average we expect to see some Higgs excitations in the vacuum, i.e. the vacuum is filled with Higgs field excitations.

A zero vacuum expectation value means that we see on average no Higgs excitations if we observe the vacuum, i.e. the vacuum is empty.

The point is that below some critical temperature the configuration with the lowest energy is no longer an empty state, but one that is filled with the Higgs substance. The spontaneous filling of the vacuum with the Higgs substance is completely analogous to how a ferromagnet becomes filled with magnetization below the Curie temperature. In this sense, the vacuum is not empty but rather more like a medium.

The spontaneous alignment of the spins in a ferromagnet picks randomly a direction in space and breaks, therefore, rotational symmetry. Analogously, the Higgs field picks a direction in the internal $SU(2) \times U(1)$ space. Before the vacuum becomes filled with the Higgs substance there is no way to distinguish the three $SU(2)$ bosons. Only after the Higgs spontaneously picks a direction, these bosons become distinguishable.

There is an important second effect. Special relativity tells us that massless particles move with the speed of light while massive particles always move slower. A direct consequence of a vacuum filled with Higgs substance is that all particles that interact with this substance can no longer move freely. Instead, whenever they try to get from A to B, they are stopped all the time by the Higgs substance. Hence, they no longer move with the maximum velocity, i.e. the speed of light. In this sense they acquire an effective mass through the permanent interaction with the Higgs substance. However, the Higgs substance makes its presence not only felt when particles are moving.

Instead, the permanent interaction with the Higgs substance also happens when particles are at rest. Without the Higgs substance filled vacuum, all particles would move with the speed of light.

To summarize: The real loophole that makes the Higgs mechanism possible are long-range interactions. Whenever we are dealing with a system with long-range interactions, there are no Goldstone bosons after symmetry breaking, i.e. when the system becomes rigid. After symmetry breaking, the long-range interaction becomes short-ranged and in particle physics terms this means that the corresponding boson is now no longer massless but massive. An important second effect is that other formerly massless field excitations can become massive through the now rigid structure. In particle physics particles interact all the time with the “Higgs substance” that fills all of the vacuum after symmetry breaking.

To read more about what the Higgs mechanism is really doing in more abstract terms have a look at this post, especially the last section.

For example, every advanced student of physics knows Goldstone’s theorem. The punchline of the theorem is that every time a symmetry gets broken, massless particles automatically appear in the theory. These particles are known as Goldstone bosons.

So far, so good.

However, what almost no student knows is why this happens. In addition to the punchline, the only thing that is presented in the standard textbooks and lectures is a proof of the theorem. But knowing the punchline + knowing that you can somehow prove the punchline does not equal understanding. To express it in terms I introduced here: what is missing is a “first layer” explanation. Students are usually only shown abstract second and third layer explanations.

I strongly believe there is always an intuitive explanation and at least Goldstone’s theorem and the famous Higgs loophole are no exceptions.

Symmetry Breaking Intuitively

Speaking colloquially, a symmetry is broken when the system we are considering is in some sense stiff. Before we consider a stiff system and why this means that a symmetry is broken, let’s consider the opposite situation first.

A gas of molecules is certainly not stiff. Consequently, we have the usual symmetries: rotational symmetry and translation symmetry.

What this means is the following:

The molecules move chaotically and if you close your eyes for a moment, I perform a global translation, i.e. move all molecules in some direction, you open your eyes again, it is impossible for you to tell that I changed something at all. The is the definition of a symmetry: You close your eyes, then I perform a transformation on an object/system and if you can’t tell that I changed anything at all, the transformation I performed is a symmetry of the object/system.

Hence, translations are a symmetry of a gas of molecules. Equally, we can argue rotations are a symmetry of the system.

Now, systems of molecules can not only appear as a gas but also as a solid system. IF we cool down the gas it will become fluid and eventually freeze. The thing is that solid systems like an ice-crystal are stiff and possess less symmetry than a gas. This is the opposite of what most laypersons would suspect. For example, thinking about beautiful ice crystals, most people would agree immediately that ice is much more symmetric than water or steam.

However, this is wrong. An ice crystal can only be rotated by very special angles, like 120 degrees or 240 degrees and still looks the same. In contrast, water or steam can be rotated arbitrarily and always looks the same. “Looks the same” means as described above that you close your eyes, I perform a transformation, and if you can’t tell the difference, the transformation is a symmetry.

An important side note: The picture of the gas above has no symmetry at all. They are just randomly jumbled together with no long-range pattern. However, the gas is not well described by an image. Instead, a video would be much better. The gas molecules are floating around widely. So better imagine a series of snapshots like the one above. Such a series of snapshots will look the same if, for example, rotated.

Next, we want to understand, as promised, Goldstone’s theorem intuitively. To do this, let’s first talk about energy for a moment.

A crystal consists of molecules arranged in regular, repeating rows and columns. The molecules arrange like this because the perfect arrangement in a lattice is the configuration with the lowest energy. As noted above, symmetry is broken if the atoms are arranged like this. This means directly, that I can no longer perform move the molecules around freely like I could in a gas. It now costs energy to move molecules.

With this in mind, we are ready to understand Goldstone’s theorem.

Why do we expect Goldstone bosons when a continuous symmetry gets broken?

We just noted that symmetry breaking means that a system becomes stiff. This, in turn, means that it now costs energy to move molecules around.

However, there is no resistance if we try to move all the atoms at once by the same amount. This is a result of the previously existing translational symmetry. This observation is exactly what is made precise in Goldstone’s famous theorem.

The relation between displacements and the corresponding energy cost is called dispersion relation. In technical terms, a dispersion relation describes the connection between the wavelength $\lambda$ and the frequency $\phi$ or equivalently the energy $E$. The observation mentioned above that moving all atoms at once by the same amount is a wave with infinite wavelength. The corresponding energy cost is zero because no atoms are brought closer to each other or are separated.

The interactions among the atoms are completely unaltered by such a global shift. Therefore, we have dispersion relation $\phi (\lambda) = \frac{1}{\lambda}$. As $\lambda$ goes to infinity, the frequency and thus the energy becomes zero. Such a “wave” with infinite wavelength is called in this context a Goldstone mode. While you can always consider waves with infinite wavelength in any system, the special thing here is that here they cost zero energy.

This is a result of the translational symmetry of the physical laws, which is only broken by the ground state, i.e. the perfect lattice configuration. Shifting the complete perfect lattice costs no energy. Only individual displacements cost energies. Such individual displacements correspond to waves with lower wavelength and hence have a non-zero frequency.

At a first sight Goldstone’s theorem is surprising. Why should moving all the atoms at once cost no energy, whereas small changes to the lattice structure cost much more energy?

The reason for this surprising fact is the translational invariance of the laws of physics and here of the background spacetime where we imagine our crystal lives in. The spacetime is everywhere the same and hence it makes no difference to which location we move our crystal. Hence, there is no energy penalty for changes that move the complete crystal at once.

In contrast, there is a huge energy penalty for displacing individual atoms in the lattice, because the perfect lattice is configuration with the lowest energy, In this sense, the ground state configuration is stiff.

So to summarize: Whenever we have a system that is described by physical laws which posses some symmetry, where the state with the lowest energy (the ground state) does not respect this symmetry, waves with infinite wavelength cost no energy. Expressed more concisely: Whenever a global symmetry gets broken by the ground state, we get Goldstone modes.

In a crystal low-frequency, phonons are the Goldstone modes.

Completely analogous, we can discuss what happens in a magnet. Above the Curie temperature, all the spins are aligned randomly and therefore we have rotational symmetry. However, below the Curie temperature the individual spins conspire and align in some direction. This leads to magnetic stiffness which means that the individual spins resist twists. However, a uniform twist of all spins costs not energy. The corresponding Goldstone modes are called spin waves.

A spin wave – inspired by Fig. 8.4 in Quantum Field Theory by Lewis H. Ryder

In the ground state below the Curie temperature, all spins are aligned along some direction. This random choice of alignment breaks the rotational symmetry. The Goldstone modes correspond to those transformations that transform the various possible ground states into each other.

It is convenient to introduce the notion “order parameter” in this context. The order parameter is a way to classify in what phase a given system is in. In the case of the ferromagnet, the overall magnetization (= the total spin vector) is the order parameter.

Above the Curie temperature all spins are directly randomly and thus the total sum of all spins is zero. However, below the Curie temperature, the spins align and we get a non-zero overall spin vector = a non-zero order parameter.

A nice example to keep all this in mind is a chair. The above observation is exactly what allows us to move all the atoms in a chair at once. Instead of allowing a deformation of the lattice structure, the $10^9$ atoms that make up the chair prefer to move all at once.

In a second essay, I will try to explain which loophole Peter Higgs (and others) discovered that makes it possible to have symmetry breaking without Goldstone bosons.

Often in particle physics, we spent a lot of time speculating about what goes on at high-energies. Theories that address current problems or puzzles in particle physics, are often UV-theories (UV=ultraviolet). A UV-theory is a theory that is valid at high energy scales. For example, a popular class of UV-theories are Grand Unified Theories. In such theories, the standard model gauge group is replaced with a “better” group. This group structure would become visible at much higher energies.

This is the usual side of the energy spectrum where we expect new symmetries to show up.

While everyone expected new symmetries to show up at high energies, instead new symmetries were discovered at the other side of the energy spectrum. This other side of the spectrum is known as infrared (IR) region and corresponds to what is going at low energies.

We can always relate energy scales to length scales. A high energy scale corresponds to tiny length scales (tiny wavelengths), low energies correspond to long length scales (long wavelengths). The newly discovered symmetries are not relevant to what is going on at tiny length scales, but instead for our description of large length scales. Such symmetries are known as asymptotic symmetries.

The first discovery of a non-trivial asymptotic symmetry was a complete surprise. In 1962 Burg, Metzner and Sachs investigated the asymptotic symmetry group of general relativity. They investigated a system that becomes asymptotically flat. Imagine a large sphere in spacetime. Let’s assume all relevant stuff is inside the spacetime and thus inside the sphere spacetime is certainly curved. However, outside of the isolated system in the sphere, spacetime becomes flat, because everything that can curve spacetime is inside the sphere. Usually, to simplify the discussion, we say the sphere is infinitely large and hence that spacetime becomes flat “at infinity”. However, we do not really mean infinity. Instead what is usually meant with infinity is that it is sufficiently far away. We use the same simplification in quantum field theory. To calculate scattering amplitudes we take the integrals from $t=-\infty $ to $t=\infty$ and often integrate all over space. Analogously these infinities shouldn’t be taken literally, but simply represent, for example, a long enough time span.

Now, back to the situation investigated by Burg, Metzner, and Sachs. Inside the sphere, the relevant symmetry group is the diffeomorphism group. (The diffeomorphism group is basically the set of all transformations that do not “destroy” spacetime, i.e. do not rip holes into it etc.). In the asymptotic region where spacetime becomes flat, the naive expectation is that the relevant symmetry group is simply the symmetry group of flat spacetime, namely the Poincare group. To everyone’s surprise, this is not what Burg, Metzner, and Sachs found. They found a different symmetry group that is now called BMS group. The BMS group was the first example of a non-trivial asymptotic symmetry. In words, this discovery means that general relativity does not simply reduce to special relativity for weak fields at large distances.

Now immediately several questions pop up:

How can we find such asymptotic symmetries?

What about the asymptotic symmetries of the other forces like electromagnetism?

Why should we care about them?

The answer to the third question is certainly the most important one. If you don’t care about asymptotic symmetries, there is no point in discussing how they are defined or what the asymptotic symmetry of electromagnetism is.

Why do we care about asymptotic symmetries?

I got interested in asymptotic symmetries because I wanted to understand gauge symmetries in general. The usual discussion of gauge symmetries in almost every textbook is extremely sketchy and confused me a lot. A proper discussion of asymptotic symmetries helped me immensely to understand the different types of gauge transformations (small, large, global, local). I’ll write some more about this below.

Other reasons to be interested have to do with the buzzwords: holography, memory effects, black hole information paradoxes and soft-photon theorems.

I actually know too little about these topics to write something sensible. Thus, I’ll just quote people who know more about this:

“A central motivation for these IR investigations is to understand the holographic structure of quantum gravity in 4D asymptotically flat spacetimes, which is a good approximation to the real world. This is how I came into the subject. There has been a very beautiful unfolding story over the last twenty years about the holographic structure of quantum gravity in antide Sitter space. The story begins [137] with the identification of the symmetries in anti-de Sitter space with those of its proposed holographic dual. Following this successful example, the very first question we should ask in attempting a holographic formulation of flat space quantum gravity is “What are the symmetries?”. Up until three years ago, the answer to this question was unknown. We now know [41] at the very least that the symmetry group is infinite-dimensional and includes a certain subgroup of, but not all of, the BMS group on past and future null infinity.” https://arxiv.org/pdf/1703.05448.pdf

“Although I didn’t start this IR project with black holes in mind, as usual all roads lead to black holes [40,46,156]. The IR structure has important implications for the information paradox [157]. This paradox is intertwined with the deep IR because an infinite number of soft gravitons and soft photons are produced in the process of black hole formation and evaporation. These soft particles carry information with a very low energy cost. They must be carefully tracked in order to follow the flow of information. This is hard to do without a definition of the S-matrix! Moreover, their production is highly constrained by an infinite number of exact quantum conservation laws which correlate them both with energetic hard particles and with the quantum state of the black hole itself. This requires that black holes must carry an infinite number of conserved charges, described as ‘soft hair’ in a recent collaboration with Hawking and Perry [46,156]. The information paradox cannot be clearly stated [158], let alone solved, without accounting for soft particles. The implications of soft hair are recently discussed in [126, 158–175], for example.” https://arxiv.org/pdf/1703.05448.pdf

Moreover, it was recently discovered that asymptotic symmetries, memory effects, and soft-photon theorems are actually the same thing, just viewed from different perspectives. This is an extremely surprising connection because, at a first glance, these things have nothing to do with each other.

Source: https://arxiv.org/pdf/1703.05448.pdf

“Soft theorems characterize universal properties of Feynman diagrams and scattering amplitudes when a massless external particle becomes ‘soft’, i.e. its energy is taken to zero. They tell us that a surprisingly large — in fact infinite — number of soft particles are produced in any physical process, but in a highly controlled manner which is central to the consistency of quantum field theory” https://arxiv.org/pdf/1703.05448.pdf

“Soft theorems are relations between n and n + 1 particle scattering amplitudes, where the extra particle is soft. Any linear relation between scattering amplitudes can be recast as an infinitesimal symmetry of the S-matrix. It is gratifying that in some cases the resulting symmetries have turned out to be known space-time or gauge symmetries. For example Weinberg’s soft graviton theorem [20, 21] is equivalent to a symmetry of the S-matrix generated by a certain diagonal subgroup [2] of the product of BMS [22] supertranslations acting on past and future null infinity, I + and I −. This equivalence relation is of interest for several reasons. It “explains” why soft theorems exist and are so universal: they arise from a symmetry principle. Moreover, it imparts observational meaning to Minkowskian asymptotic symmetries, which have at times eluded physical interpretation. The framework has proven useful for establishing new symmetries [14] and new soft theorems [4–6]. In the quantum gravity case, the symmetries provide the starting point for any attempt at a holographic formulation, see e.g. [23]. In the gauge theory case, they are potentially useful for improving the accuracy of collider predictions, see e.g. [24].” https://arxiv.org/pdf/1407.3789.pdf

“We often think of gravitational-wave (GW) signals as having an oscillatory amplitude that starts small at early times, builds to some maximum, and then decays back to zero at late times. For example, this is the standard picture of a waveform from a coalescing compact-object binary. However, this picture is incomplete. In reality, all gravitational-wave sources possess some form of gravitational-wave memory. The GW signal from a `source with memory’ has the property that the late-time and early-time values of at least one of the GW polarizations differ from zero:
\begin{equation}
\Delta h_{+,\times}^{\rm mem} = \lim_{t\rightarrow +\infty} h_{+,\times}(t) – \lim_{t\rightarrow -\infty} h_{+,\times}(t),
\end{equation}
where $t$ is time at the observer.

When a GW without memory passes through a detector, it causes oscillatory deformations but eventually returns the detector to its initial state. After a GWwith memory has passed through an idealized detector (one that is truly freely-falling), it causes a permanent deformation—leaving a `memory’ of the waves’ passage. High-frequency detectors like bars or LIGO are rather insensitive to the memory from most sources because the detector response timescale is generally much shorter than the rise-time of typical memory signals (the characteristic time for the non-oscillatory piece of the GW signal to build up to its final value). A detector like LISA is better able to detect the memory because of its good sensitivity in the low-frequency band where typical memory sources are stronger” https://arxiv.org/abs/1003.3486

“Gravitational waves are observed by geodesic deviation of nearby freely falling observers. An interesting of gravitational waves called ‘bursts with memory’ will induce permanent relative displacement of nearby observers. Such effect is the well known gravitational memory effect. […] The gravitational memory formula is nothing but the Fourier transformation of Weinberg’s formula for soft graviton production. Moreover, accompanied with an earlier discovery [8], a triangular equivalence has been found. The precise ingredients of the three corners are BMS super-translation [9], Weinberg’s soft graviton theorem and gravitational memory effect” https://arxiv.org/pdf/1703.06588.pdf

[T]he memory effect both physically manifests and directly measures the action of the asymptotic symmetries. […] The bigger picture emerging from the triangle is that deep IR physics is extremely rich, perhaps richer than previously appreciated. Every time we breathe, an infinite number of soft photons and gravitons are produced […] The gravitational memory effect imparts a physical meaning to the soft graviton theorem. Soft gravitons may seem a bit unphysical because it takes longer and longer to measure them as the energy goes to zero. Surprisingly, despite this, the memory effect can be measured in a finite time because the Fourier transform of the Weinberg pole is a step function in retarded time. In (unconfined and unhiggsed) nonabelian gauge theory, the color memory effect rotates the relative colors of nearby quarks. If a pulse of gluons passes a pair of initially singlet quarks, it will generically no longer be in a singlet. In abelian gauge theories such as QED, the electromagnetic memory effect gives relative phases to adjacent charged particles, which can be measured by quantum interference or other experiments, as recently discussed in [38, 39, 195]. […] To phrase the issue more generally, soft gravitons are produced in every scattering process. The infrared pole in the soft theorem says that their production is more ubiquitous than might have been expected. In fact, infinitely many are produced in any physical process. The soft modes are correlated with the hard modes and can store information at little or no cost in energy. Many are made in any process of black hole formation/evaporation in a manner which is highly regulated by an infinite number of conservation laws. It strikes us as implausible that we could solve the information paradox in asymptotically flat spacetime without a good understanding of these modes.

So, now that you are hopefully interested it’s time to answer the other two questions from above that I recite here for convenience: How can we find such asymptotic symmetries? What about the asymptotic symmetries of the other forces like electromagnetism?

To understand asymptotic, we first need to talk about gauge symmetries in general. There is a lot of confusion surrounding gauge symmetries and understanding them properly helps a lot. What is especially unhelpful is that almost any authors use different notions for things. So, let’s fix the meaning of the notions we use here first.

Let’s define local gauge symmetries properly

A global gauge symmetry $G = \{ g\}$ is a set of transformations that leaves the action invariant. If $G=U(1)$ a global gauge transformation is simply $e^{i a}$, with some real number $a$. In contrast, a local gauge symmetry is a set of group transformations $\mathcal{G}$ parametrized by some localized functions of spacetime. Again, for the $U(1)$ example this means that a local gauge transformation is $e^{i f(x)}$, such that $f(x) \to 0 $ for $x \to \infty$. A function $f(x)$ with this property $f(x) \to 0 $ for $x \to \infty$ is what we call a localized function. This aspect of a local gauge transformation is usually not discussed or mentioned and this is the reason for much of the confusion surrounding gauge transformations.

In words, the restriction that our local gauge transformation is parametrized by localized functions means that they only act non-trivially inside some compact bounded region. As a formula, we have: $ g(x) \to 1$ as $|x| \to \infty$ . Only such transformations truly deserve the name local gauge transformation. The global gauge group is not a subgroup of the local gauge group because global transformations do not become trivial at infinity. This is a crucial aspect that is usually overlooked. Without the restriction to localized functions, the global gauge symmetry is simply a special case of the local group with a constant function.

However, with our restriction to truly local transformations, this is no longer the case. With our definition, we can easily keep the local gauge group and the global gauge group apart. The global gauge group is responsible for the conservation laws and is a real symmetry. In contrast, the local gauge symmetry acts trivially on all observables and is merely a redundancy in our description. The local gauge group acts trivially on all physical states, whereas the global gauge group does not. The global gauge group acts non-trivially on charged states: $e^{i q}$, where $q$ is the charge.

There is one additional thing I want to mention here, although it’s not directly relevant for the following discussion. A gauge transformations can be trivial at infinity: $ g(x) \to 1$ as $|x| \to \infty$, although $f(x)$ is not zero there. This is possible, because the function $f(x)$ appears in the exponent: $e^{i f(x)}$ and the exponential function is also $1$ for $f(x) = 2 \pi$ or $f(x) = 4 \pi$ etc. The set of gauge transformations that is trivial at infinity, but where the function that parametrizes the transformation is non-zero are known as large gauge transformations. These large gauge transformations are those that carry non-zero winding number and their implications were discussed here.

What are asymptotic and global symmetries?

Now, with this in mind, we can define what asymptotic symmetries are. The asymptotic symmetry group $ASG$ for given gauge theory is defined as

Expressed differently this means the asymptotic symmetry consists of all gauge transformations that are non-trivial at infinity. As discussed above, we call gauge transformations that are trivial at infinity local gauge transformations (plus large gauge transformations), because, well, they are non-trivial only in a localized region.

Take note that this asymptotic group is not the global gauge group. The global gauge group (GGG) can be defined similarly

$$ GGG \equiv \frac{\text{all gauge symmetries that become constant at infinity}}{ \text{all gauge symmetries that are trivial at infinity} }.$$

Does this definition make sense? Elements of the global gauge group are not parametrized by spacetime coordinates. Hence they do not care about infinity and certainly do not become trivial there. However, at the same time, we must recall that elements of the global gauge group are parameterized by constant functions, i.e. numbers, and therefore cannot depend on angular variables as $|x| \to \infty$. Therefore, the global gauge transformations are given as the subset of all gauge transformations that are constant at infinity, modulo all local and large gauge transformations.

When one first encounters this definition of the global gauge group it is natural to wonder: What about they rest? What about all these transformations that are non-trivial and non-constant? Well, they are what we call asymptotic symmetries. From the definition here, we can already see that the global gauge group is a subgroup of the asymptotic symmetry group.

One last thing: What gets broken in the Higgs mechanism?

Finally, I want to mention one last thing that leads to far too much confusion: the spontaneous breaking of local gauge symmetries via the Higgs mechanism. It is well known that the standard story told in almost any textbook is wrong. Local gauge symmetries are 1.) not really symmetries and 2.) can’t break, which was proven by Elitzur. A proper discussion is worth its own essay, but just one short comment. A question that always pops up when people mention that spontaneous breaking of local symmetry is impossible is: “What then is the Higgs mechanism really doing?”. Well, there is symmetry breaking, but just not of the local gauge symmetry. Instead, what gets broken is the global gauge group, which we defined above as $\mathcal{G}/\mathcal{G} _* $, where

Again, $ \mathcal{G} _*$ is the unphysical local gauge group that only represents a redundancy and acts trivially on all states and observables plus the set of all large gauge transformations). The factor group $\mathcal{G}/\mathcal{G}_* $ is the global gauge group which is responsible for the Noether charges.

A nice introduction to asymptotic symmetries and their far-reaching connections is Lectures on the Infrared Structure of Gravity and Gauge Theory by Andrew Strominger. The special focus is on the many surprising connections to things like soft photon theorems. Especially interesting is the discussion in section 2.11, where he discusses that “the soft photons are the Goldstone bosons of spontaneously broken large gauge symmetry.”