Last week I talked about SSB and focused on its physical interpretation and effects, looking at fields and potentials while avoiding (as much as possible) to mention group theory. This is why I’ve decided to make the following into a separate post, where I’ll briefly re-emphasize a point I’ve already made in the last post (how we count massless modes in the broken theory) from a group-theoretic perspective.

## A few definitions

**Proper subgroup**-
if is a subset of and follows the same group axioms.

*It’s a group within a group.* **Left coset**-
.

*It’s the set of all possible left multiplications of with .* **Right coset**-
.

*It’s the set of all possible right multiplications of with . Duh.* **Normal subgroup**-
if .

*Happens when the left and right cosets of coincide.* **Vacuum manifold**-
.

*The set of all possible vacua (has cardinality one if the symmetry is unbroken).* **Invariant/stability group**-
.

*leaves the vacuum manifold… invariant…*

## Putting them together

Let’s consider a Lagrangian with symmetry group , spontaneously broken to , that is with . As we’ve seen in the previous post, is not any subgroup of , it’s the corresponding *stability group*. Or rather, having picked some , we define to be the corresponding invariant subgroup; this is with the idea in mind that different vacua might have different invariant subgroups. In fact, because we can still find some to transform a given to another , these subgroups have to be *isomorphic*. Consider for example and ; then if and only if :

Furthermore, it shouldn’t make any difference whether we act invariantly (with ) or not at all on a vacuum before we transform it into another one (with ), and so we are led to define equivalence classes: if such that . Eventually, all are assigned an equivalence class so that there is only one way to transform a vacuum into another, up to invariant operations. We sum all of this up by writing

(Note that because is a manifold, has to be a group and not a mere set; this is only achieved when is a *normal* subgroup). Now, acting infinitesimally on allows us to write down the usual linear perturbation

where ranges from to and are the generators of the Lie algebra of . In terms of the potential:

where are components of . Around a minimum :

Compare this to the usual and we can interpret the matrix of second derivatives as a *mass matrix* . Now taking the derivative of the previous equation (evaluated at the minimum):

If the theory is unbroken and the vacuum is unique, the first bracket vanishes (since ). On the other hand, **if the symmetry is broken, the bracket becomes an eigenvector of the mass matrix with eigenvalue (i.e. mass) zero** (for some ).

How many such eigenvectors are there? Let’s call the generators of for which . There are exactly of them, since by definition they generate a subgroup . All the Lie groups involved in the Standard Model are compact and semi-simple, so it is always possible to define a *scalar product* and the notion of *orthogonality*. We can then write the remaining generators of as and make them orthogonal to the : . The full basis of the Lie algebra of is therefore . The ’s are of interest, because they form the eigenvectors we’re after; it is now easy enough to count them: there are exactly of them !

The massless modes corresponding to these eigenvectors are precisely the **Goldstone bosons** we described in the previous post; finally, since is an matrix, there are at most massive modes.

*Note: I might write something about the full quantum proof of Goldstone’s theorem in the future, but this is already a good starter. The essential difference lies in the axioms the proof is built upon – in particular, the requirement of states with positive definite norms, which is broken by gauge theories (ghosts). This is why we end up needing the Higgs mechanism for the Standard Model.*