In the Glashow-Weinberg-Salam formulation, the Higgs field is a complex doublet prior to symmetry breaking, thus has four degrees of freedom. We then introduce an energy potential of the form (\Phi
2 - λ
2)
2 for the Higgs field, where \Phi = (\phi
1, \phi
2, \phi
3, \phi
4), \phi
i real, represents the four components of the field. This has a non-zero energy of λ
4 when \phi
1 = \phi
2 = \phi
3 = \phi
4 = 0 and a minimum energy state when |\Phi| = λ.
We then postulate that the fields (\phi
1 + i\phi
2) and (\phi
3 + i\phi
4) form a doublet under a local SU(2) gauge symmetry for which we introduce vector gauge fields (W
0, W
1, W
2) plus a local U(1) gauge symmetry for which we introduce a further vector gauge field B. The other three
We note that, at this stage, the set of \Phi states for which the energy is minimum form a 4-sphere. We then postulate that the symmetries are broken in such a way that \phi
2 = \phi
3 = \phi
4 = 0, leaving only \phi
1 free. Noting that the ground state is now simply \phi
1 = λ, we can write \phi
1 = λ + h, where h is the difference between the actual \phi
1 value at any given point in spacetime and its vacuum expectation value λ.
h is the Higgs boson we are looking for at the LHC.
When we do the maths, the presence of the \phi
2, \phi
3 and \phi
4 dimensions in the equation not only results in an intermixing of the constant λ with the components of the W
i and B fields, but intermixes in a way that generates mass terms for three of these four vector fields. These three \phi
i become Goldstone bosons that are 'eaten' by the gauge fields.
With some further algebraic maniuplations, we end up with
W+ = (1/√2) (W1 - iW2)
W- = (1/√2) (W1 + iW2)
Z0 = W3 cos \thetaW - B sin \thetaW
A = W3 sin \thetaW + B cos \thetaW
where \theta
W is defined so as to eliminate any coupling between the A field and the Goldstone bosons.
Thus the three weak gauge bosons that we observe in experiments gain rest masses while the fourth gauge boson remains massless and can thus be matched to the electromagnetic field.
So, in terms of the original \phi
i fields, the ground state everywhere is now \phi
1 = λ, but this corresponds to nothing directly observable because it is the ground state. The effects of the other \phi
i are observed as the masses of the weak bosons.
In the full theory, we also introduce interactions between the \Phi fields and the fundamental fermions (leptons and quarks). To do this, however, we have to introduce specific coupling constants between \Phi and each individual fermion field. This is in contrast to the weak boson mass terms, whose values come out of the maths as fixed formulae based only on λ, \theta
W and the coupling strength of the forces, for which the electromagnetic charge strength
e can be taken as the parameter. (\theta
W itself turns out to be based on the ratio between the coupling strengths of the W
i and B fields). So the fermion mass generation is a bit of a 'bolt-on', and there are 'fermiphobic' versions of the theory in which this part is omitted, and the fermions are thus assumed to get their masses by some other, unknown means.
The fact the fermions come in three generations/families, each with the same sets of charges but differing only in the rest masses of the respective particles, strongly suggests we haven't yet found the complete theory for this area. It is as if, for each flavour of fermion, the mechanism that gives it its rest mass works like an operator that has three distinct eigenstates, hence giving the three generations of particles we observe.