Here I give a brief overview of spontaneous symmetry breaking (SSB) in the way I would present it to experimental particle physicists, assuming only little QFT background and barely even mentioning group theory. We will start with one-dimensional discrete symmetry breaking, extend it to continuous SB, mention Goldstone’s theorem and introduce the Higgs mechanism, before jumping to electroweak theory and obtaining the main result of interest: the generation of masses for the and gauge bosons in the Standard Model.
Note: this is all standard material, but for more lectures on the Standard Model you can have a look under my teaching page.
- Discrete symmetry breaking
- Continuous symmetry breaking
- The Higgs mechanism
- Electroweak theory
Discrete symmetry breaking
We’ll start off by considering the simplest case in QFT: the scalar Lagrangian in theory, written
We note straight away that is invariant under (sometimes referred to as “flip-symmetry”). The physical case is of course that where (that is, the real scalar field has positive definite mass ), for which the potential admits a unique, global minimum at (and we can freely perturbate around this vacuum):
But what about the case where ? Of course we lose, or at least we seem to lose, the physicality of our scalar field – how do we interpret imaginary mass? Looking at the modified potential should give some clues on how to make sense of the situation:
We readily observe the transition to a double vacuum system, with local minima located at the vacuum expectation values (VEV) , where we’ve naturally defined by completing the square in the potential:
(Recall that shifting the potential by a constant has a no effect on the equations of motions). We should already have a feeling that perturbations around either of those vacua are no longer going to be symmetric: on one side the potential goes up to infinity, on the other we could classically (quantum mechanically) jump (tunnel) to the second vacuum. We are now going to make this intuition more precise, by considering small perturbations around the minimum:
(Again, we have ignored the purely constant terms). It should now be clear that the perturbed Lagrangian is that of a scalar field representing massive excitations with around the vacuum – we have effectively restored a physical positive mass. And because of the third order term in , the Lagrangian is no longer invariant under flip symmetry ; the symmetry was spontaneously broken by the VEV!
Continuous symmetry breaking
Instead of a single real scalar field, let’s now consider of them: . We still only look at theory and write the Lagrangian as
where dot products are understood between the ’s. In fact, all of our previous definitions (especially that of the VEV ) still apply, except that now we have a continuum of vacua , which live on a circle in the diagram below:
(This particular potential, by the way, is often referred to as the “Mexican hat potential”, for obvious reasons…). For simplicity, and without loss of generality, we’ll pick a particular vacuum configuration , and pertubate around it, making a difference between radial (i.e. along the potential gradient) and angular excitations (along the circle of vacuua):
where is defined as in the discrete case by . We have here another important result: only the radial mode is massive, and the angular modes are left massless. Indeed, only the field loses energy to the potential when excited.
A tiny bit of group theory, and the shortest statement of Goldstone’s theorem ever…
(OK, I lied, but I think this is an important enough point to deserve a paragraph of its own). The physical statement that we have reduced (or broken) the -dimensional rotational symmetry of the Lagrangian to only directions (the vacuum circle) is equivalent to saying the group of orthogonal matrices (which describe rotations in space) has been broken down to .
I’ll probably come back some day to write a proper article on the group theoretic treatment of SSB here it is, but the only fact we need right now is that has generators (a sort of basis of matrices, much like unit vectors). A quick calculation will convince you that if we start with and end up with , we’ve lost generators along the way. This is where Goldstone’s theorem come into play:
GOLDSTONE: broken generators massless modes
This is perhaps the crudest, least formal statement of this theorem I’ve ever come across, and it completely by-passes many of its subtleties (which, as it turns out, are the reason we need the Higgs mechanism in the first place), but at least it gets the point across: what we lose in symmetry (generators), we gain in massless excitations; and every other component of the original field (in our case, ) has to be massive.
The Higgs mechanism
Let’s make things slightly more complicated by now considering a complex scalar field with the usual photon ( gauge field) (this is sometimes called “scalar electrodynamics”). We assume here some QED priors and write:
We also know that under gauge transformations:
As before, the “physical” case preserves the (phase-shift) symmetry of the Lagrangian, and gives us a massive scalar and a massless photon, as expected. Yet, if we choose instead, we obtain again a circle of vacua . This time, we’ll write
(This is just the radial-angular distinction we made in the last section). Pertubating in all directions around this particular choice of vacuum:
where the last approximation comes from the assumption that . We rewrite the Lagrangian as , where contains higher-order interaction terms:
We recognize here some usual terms (field strength tensors, kinematic terms, masses), but stands out. It is particularly illuminating to rewrite the last three terms above as:
Indeed, this looks very much like a gauge transformation! Going to unitary gauge (just a transformation, as previously defined):
Effectively, we lost the angular mode and made sure the fluctuations are real. The final Lagrangian is
We started with a massive complex scalar and a massless gauge field , broke the symmetry, produced one massless Goldstone mode , and ended up with one massive real scalar (the Higgs of this theory) and a now massive gauge field ; in colloquial terms, we say that the gauge field ate the Goldstone boson. For completeness:
We now have all the tools we need to apply the Higgs mechanism to the EW sector of the Standard Model and generate the experimentally observed masses of the otherwise massless EW gauge bosons.
The gauge group of the EW sector is , and we introduce a massive complex scalar, the Higgs, in the doublet representation of with hypercharge (this last fact will be relevant at the very end, the rest is largely for informative purposes). Under a combined transformation:
where the generators are (and the are the usual Pauli matrices). In the unbroken theory, of course, the gauge bosons are massless; but now we let the Higgs acquire a non-zero VEV and “mass” , effectively enforcing the SSB – we’ll come back to this at the end. The part of the Lagrangian we’re concerned with is:
We now move on to generating masses for the physical gauge bosons , which, we point out, are not the massless gauge fields ! (but mixing thereof, defined in due course).
The relevant terms originate from the derivatives of the Higgs field:
And there we have it: mass terms for the physical gauge bosons! We can write
And we usually express the mixing between the and fields through the Weinberg angle :
such that the relation holds. Experimentally, rad.
Generators and broken symmetries
We conclude with final remarks on the generators of and how they relate to what might otherwise seem like an arbitrary definition of the physical gauge bosons. Generally speaking, we’ll say that a vacuum configuration is invariant under the action of a rotation (in internal space, of course) operator if and only if . That is, for small enough that we can expand around the vacuum, . It is then straightforward to see how the Higgs vacuum breaks :
and so both and are broken. However, the combination leaves the vacuum invariant! (as ). This is exactly the generator of , which is the left-over symmetry after SSB, and corresponds precisely to the mixing of and , i.e. gives us a massless photon, as expected. Again, we usually say that the physical gauge bosons ate the Goldstone modes of the SSB.
Final note: counting the number of degrees of freedom (or real components) of our field content before and after SSB is a very pedagogical exercise. We started with gauge fields ( and ), each having real components; and a complex doublet scalar field with real components, for a grand total of . At the end, only one real, massive Higgs is left ( component), we have a massless photon with two polarizations ( components), and three gauge bosons which have acquired an additional longitudinal mode (the Goldstone mode they “ate”), all of which tally up to .
Final final note: in the same way we mentioned the number of generators of above, the number of those of and can be obtained by and respectively. That is, has 3 generators and only 1 (as we already know from the above). The SSB of to guarantees massless modes through Goldstone’s theorem, which are effectively the other three components of the Higgs complex doublet that get “eaten” by the gauge fields.