.

This article describes the mathematics of the Standard Model of particle physics, a gauge quantum field theory containing the internal symmetries of the unitary product group SU(3) × SU(2) × U(1). The theory is commonly viewed as containing the fundamental set of particles – the leptons, quarks, gauge bosons and the Higgs particle.

The Standard Model is renormalizable and mathematically self-consistent,[1] however despite having huge and continued successes in providing experimental predictions it does leave some unexplained phenomena. In particular, although the physics of special relativity is incorporated, general relativity is not, and the Standard Model will fail at energies or distances where the graviton is expected to emerge. Therefore in a modern field theory context, it is seen as an effective field theory.

This article requires some background in physics and mathematics, but is designed as both an introduction and a reference.

Quantum Field Theory
The pattern of weak isospin T3, weak hypercharge YW, and color charge of all known elementary particles, rotated by the weak mixing angle to show electric charge Q, roughly along the vertical. The neutral Higgs field (gray square) breaks the electroweak symmetry and interacts with other particles to give them mass.

The standard model is a quantum field theory, meaning its fundamental objects are quantum fields which are defined at all points in spacetime. These fields are

the fermion field, ψ, which accounts for "matter particles";
the electroweak boson fields \( W_1, W_2, W_3 \), and B;
the gluon field, Ga; and
the Higgs field, φ.

That these are quantum rather than classical fields has the mathematical consequence that they are operator-valued. In particular, values of the fields generally do not commute. As operators, they act upon the quantum state (ket vector).

The dynamics of the quantum state and the fundamental fields are determined by the Lagrangian density \mathcal{L} (usually for short just called the Lagrangian). This plays a role similar to that of the Schrödinger equation in non-relativistic quantum mechanics, but a Lagrangian is not an equation – rather, it is a polynomial function of the fields and their derivatives. While it would be possible to derive a system of differential equations governing the fields from the Langrangian, it is more common to use other techniques to compute with quantum field theories.

The standard model is furthermore a gauge theory, which means there are degrees of freedom in the mathematical formalism which do not correspond to changes in the physical state. The gauge group of the standard model is SU(3) × SU(2) × U(1), where U(1) acts on B and φ, SU(2) acts on W and φ, and SU(3) acts on G. The fermion field ψ also transforms under these symmetries, although all of them leave some parts of it unchanged.
The role of the quantum fields

In classical mechanics, the state of a system can usually be captured by a small set of variables, and the dynamics of the system is thus determined by the time evolution of these variables. In classical field theory, the field is part of the state of the system, so in order to describe it completely one effectively introduces separate variables for every point in spacetime (even though there are many restrictions on how the values of the field "variables" may vary from point to point, for example in the form of field equations involving partial derivatives of the fields).

In quantum mechanics, the classical variables are turned into operators, but these do not capture the state of the system, which is instead encoded into a wavefunction ψ or more abstract ket vector. If ψ is an eigenstate with respect to an operator P, then Pψ = λψ for the corresponding eigenvalue λ, and hence letting an operator P act on ψ is analogous to multiplying ψ by the value of the classical variable to which P corresponds. By extension, a classical formula where all variables have been replaced by the corresponding operators will behave like an operator which, when it acts upon the state of the system, multiplies it by the analogue of the quantity that the classical formula would compute. The formula as such does however not contain any information about the state of the system; it would evaluate to the same operator regardless of what state the system is in.

Quantum fields relate to quantum mechanics as classical fields do to classical mechanics, i.e., there is a separate operator for every point in spacetime, and these operators do not carry any information about the state of the system; they are merely used to exhibit some aspect of the state, at the point to which they belong. In particular, the quantum fields are not wavefunctions, even though the equations which govern their time evolution may be deceptively similar to those of the corresponding wavefunction in a semiclassical formulation. There is no variation in strength of the fields between different points in spacetime; the variation that happens is rather one of phase factors.

Vectors, scalars, and spinors

Mathematically it may look as though all of the fields are vector-valued (in addition to being operator-valued), since they all have several components, can be multiplied by matrices, etc., but physicists assign a more specific meaning to the word: a vector is something which transforms like a four-vector under Lorentz transformations, and a scalar is something which is invariant under Lorentz transformations. The B, Wj, and Ga fields are all vectors in this sense, so the corresponding particles are said to be vector bosons. The Higgs field φ is a scalar.

The fermion field ψ does transform under Lorentz transformations, but not like a vector should; rotations will only turn it by half the angle a proper vector should. Therefore these constitute a third kind of quantity, which is known as a spinor.

It is common to make use of abstract index notation for the vector fields, in which case the vector fields all come with a Lorentzian index μ, like so: \( B^\mu, W_j^\mu \), and \( G_a^\mu \). If abstract index notation is used also for spinors then these will carry a spinorial index and the Dirac gamma will carry one Lorentzian and two spinorian indices, but it is more common to regard spinors as column matrices and the Dirac gamma γμ as a matrix which additionally carries a Lorentzian index. The Feynman slash notation can be used to turn a vector field into a linear operator on spinors, like so: \( {\not}B = \gamma^\mu B_\mu \); this may involve raising and lowering indices.

Alternative presentations of the fields
Connections denoting which particles interact with each other.

As is common in quantum theory, there is more than one way to look at things. At first the basic fields given above may not seem to correspond well with the "fundamental particles" in the chart above, but there are several alternative presentations which, in particular contexts, may be more appropriate than those that are given above.

Fermions

Rather than having one fermion field ψ, it can be split up into separate components for each type of particle. This mirrors the historical evolution of quantum field theory, since the electron component ψe (describing the electron and its antiparticle the positron) is then the original ψ field of quantum electrodynamics, which was later accompanied by ψμ and ψτ fields for the muon and tauon respectively (and their antiparticles). Electroweak theory added \( \psi_{\nu_{\mathrm e}}, \psi_{\nu_\mu} \), and \( \psi_{\nu_\tau} \) for the corresponding neutrinos, and the quarks add still further components. In order to be four-spinors like the electron and other lepton components, there must be one quark component for every combination of flavour and colour, bringing the total to 24 (3 for charged leptons, 3 for neutrinos, and 2·3·3 = 18 for quarks).

An important definition is the barred fermion field \(\bar{\psi} \) is defined to be \(\psi^\dagger \gamma^0 \) , where \( \dagger \) denotes the Hermitian adjoint and γ0 is the zeroth gamma matrix. If ψ is thought of as an n × 1 matrix then \( \bar{\psi} \) should be thought of as a 1 × n matrix.

A chiral theory

An independent decomposition of ψ is that into chirality components:

"Left" chirality: \(\psi^L = \frac{1}{2}(1-\gamma_5)\psi \)
"Right" chirality: \(\psi^R = \frac{1}{2}(1+\gamma_5)\psi \)

where \( \gamma_5 \) is the fifth gamma matrix. This is very important in the Standard Model because left and right chirality components are treated differently by the gauge interactions.

In particular, under weak isospin SU(2) transformations the left-handed particles are weak-isospin doublets, whereas the right-handed are singlets – i.e. the weak isospin of ψ_R is zero. Put more simply, the weak interaction could rotate e.g. a left-handed electron into a left-handed neutrino (with emission of a W⁻), but could not do so with the same right-handed particles. As an aside, the right-handed neutrino originally did not exist in the standard model – but the discovery of neutrino oscillation implies that neutrinos must have mass, and since chirality can change during the propagation of a massive particle, right-handed neutrinos must exist in reality. This does not however change the (experimentally-proven) chiral nature of the weak interaction.

Furthermore, U(1) acts differently on \( \psi^L_{\mathrm e} \) than on \( \psi^R_{\mathrm e} \) (because they have different weak hypercharges).

Mass and interaction eigenstates

A distinction can thus be made between, for example, the mass and interaction eigenstates of the neutrino. The former is the state which propagates in free space, whereas the latter is the different state that participates in interactions. Which is the "fundamental" particle? For the neutrino, it is conventional to define the "flavour" (ν_e, ν_μ, or ν_τ) by the interaction eigenstate, whereas for the quarks we define the flavour (up, down, etc.) by the mass state. We can switch between these states using the CKM matrix for the quarks, or the PMNS matrix for the neutrinos (the charged leptons on the other hand are eigenstates of both mass and flavour).

As an aside, if a complex phase term exists within either of these matrices, it will give rise to direct CP violation, which could explain the dominance of matter over antimatter in our current universe. This has been proven for the CKM matrix, and is expected for the PMNS matrix.

Positive and negative energies

Finally, the quantum fields are sometimes decomposed into "positive" and "negative" energy parts: ψ = ψ⁺ + ψ⁻. This is not so common when a quantum field theory has been set up, but often features prominently in the process of quantizing a field theory.

Bosons

Due to the Higgs mechanism, the electroweak boson fields \( W_1, W_2, W_3 \) , and B "mix" to create the states which are physically observable. To retain gauge invariance, the underlying fields must be massless, but the observable states can gain masses in the process. These states are:

The massive neutral boson:

\( Z= \cos \theta_W W_3 - \sin \theta_W B \)

The massless neutral boson:

\( A = \sin \theta_W W_3 + \cos \theta_W B \)

The massive charged W bosons:

\( W^{\pm} = \frac1{\sqrt2}\left(W_1 \mp i W_2\right) \)

where \( \theta_W \) is the Weinberg angle.

The A field is the photon, which corresponds classically to the well-known electromagnetic four-potential – i.e. the electric and magnetic fields. The Z field actually contributes in every process the photon does, but due to its large mass, the contribution is usually negligible.

Perturbative QFT and the Interaction Picture

Much of the qualitative descriptions of the standard model in terms of "particles" and "forces" comes from the perturbative quantum field theory view of the model. In this, the Langrangian is decomposed as \( \mathcal{L} = \mathcal{L}_0 + \mathcal{L}_\mathrm{I} \) into separate free field and interaction Langrangians. The free fields care for particles in isolation, whereas processes involving several particles arise through interactions. The idea is that the state vector should only change when particles interact, meaning a free particle is one whose quantum state is constant. This corresponds to the interaction picture in quantum mechanics.

In the more common Schrödinger picture, even the states of free particles change over time: typically the phase changes at a rate which depends on their energy. In the alternative Heisenberg picture, state vectors are kept constant, at the price of having the operators (in particular the observables) be time-dependent. The interaction picture constitutes an intermediate between the two, where some time dependence is placed in the operators (the quantum fields) and some in the state vector. In QFT, the former is called the free field part of the model, and the latter is called the interaction part. The free field model can be solved exactly, and then the solutions to the full model can be expressed as perturbations of the free field solutions, for example using the Dyson series.

It should be observed that the decomposition into free fields and interactions is in principle arbitrary. For example renormalization in QED modifies the mass of the free field electron to match that of a physical electron (with an electromagnetic field), and will in doing so add a term to the free field Lagrangian which must be cancelled by a counterterm in the interaction Lagrangian, that then shows up as a two-line vertex in the Feynman diagrams. This is also how the Higgs field is thought to give particles mass: the part of the interaction term which corresponds to the (nonzero) vacuum expectation value of the Higgs field is moved from the interaction to the free field Lagrangian, where it looks just like a mass term having nothing to do with Higgs.

Free fields

Under the usual free/interaction decomposition, which is suitable for low energies, the free fields obey the following equations:

The fermion field ψ satisfies the Dirac equation; \( (i \hbar {\not}\partial - m_f c) \psi_f = 0 \)for each type f of fermion.
The photon field A satisfies the wave equation \( \partial_\mu \partial^\mu A^\nu = 0 \) .
The Higgs field φ satisfies the Klein–Gordon equation.
The weak interaction fields Z, W± also satisfy the Klein–Gordon equation.

These equations can be solved exactly. One usually does so by considering first solutions that are periodic with some period L along each spatial axis; later taking the limit: L → ∞ will lift this periodicity restriction.

In the periodic case, the solution for a field F (any of the above) can be expressed as a Fourier series of the form

\( F(x) = \beta \sum_{\mathbf{p}} \sum_r E_{\mathbf{p}}^{-\frac{1}{2}} \left( a_r(\mathbf{p}) u_r(\mathbf{p}) e^{-\frac{ipx}{\hbar}} + b^\dagger_r(\mathbf{p}) v_r(\mathbf{p}) e^{\frac{ipx}{\hbar}} \right) \)

where:

β is a normalization factor; for the fermion field \( \psi_f \) it is \( \sqrt{ m_f c^2 / V} \), where \( V = L^3 \) is the volume of the fundamental cell considered; for the photon field Aμ it is \( \hbar c / \sqrt{2V} \) .
The sum over p is over all momenta consistent with the period L, i.e., over all vectors \( \frac{2\pi\hbar}{L}(n_1,n_2,n_3) \) where \( n_1,n_2,n_3 \) are integers.
The sum over r covers other degrees of freedom specific for the field, such as polarization or spin; it usually comes out as a sum from 1 to 2 or from 1 to 3.
Ep is the relativistic energy for a momentum p quantum of the field, \( =\sqrt{m^2 c^4 + c^2 \mathbf{p}^2} \) when the rest mass is m.
ar(p) and \( b^\dagger_r(\mathbf{p} \)) are annihilation and creation respectively operators for "a-particles" and "b-particles" respectively of momentum p; "b-particles" are the antiparticles of "a-particles". Different fields have different "a-" and "b-particles". For some fields, a and b are the same.
ur(p) and vr(p) are non-operators which carry the vector or spinor aspects of the field (where relevant).
\( p = (E_{\mathbf{p}}/c, \mathbf{p}) \) is the four-momentum for a quanta with momentum \( p. px = p_\mu x^\mu \) denotes an inner product of four-vectors.

In the limit L → ∞, the sum would turn into an integral with help from the V hidden inside β. The numeric value of β also depends on the normalization chosen for \( u_r(\mathbf{p}) \) and \( v_r(\mathbf{p}) \).

Technically, \( a^\dagger_r(\mathbf{p}) \) is the Hermitian adjoint of the operator ar(p) in the inner product space of ket vectors. The identification of \( a^\dagger_r(\mathbf{p}) \) and ar(p) as creation and annihilation operators comes from comparing conserved quantities for a state before and after one of these have acted upon it. \(a^\dagger_r(\mathbf{p}) \) can for example be seen to add one particle, because it will add 1 to the eigenvalue of the a-particle number operator, and the momentum of that particle ought to be p since the eigenvalue of the vector-valued momentum operator increases by that much. For these derivations, one starts out with expressions for the operators in terms of the quantum fields. That the operators with \dagger are creation operators and the one without annihilation operators is a convention, imposed by the sign of the commutation relations postulated for them.

An important step in preparation for calculating in perturbative quantum field theory is to separate the "operator" factors a and b above from their corresponding vector or spinor factors u and v. The vertices of Feynman graphs come from the way that u and v from different factors in the interaction Lagrangian fit together, whereas the edges come from the way that the as and bs must be moved around in order to put terms in the Dyson series on normal form.

Interaction terms and the path integral approach

The Lagrangian can also be derived without using creation and annihilation operators (the "canonical" formalism), by using a "path integral" approach, pioneered by Feynman building on the earlier work of Dirac. See e.g. Path integral formulation on Wikipedia or A. Zee's QFT in a nutshell. This is one possible way that the Feynman diagrams, which are pictorial representations of interaction terms, can be derived relatively easily. A quick derivation is indeed presented at the article on Feynman diagrams.

Lagrangian Formalism
The above interactions show some basic interaction vertices – Feynman diagrams in the standard model are built from these vertices. Higgs boson interactions are however not shown, and neutrino oscillations are commonly added. The charge of the W bosons are dictated by the fermions they interact with.

We can now give some more detail about the aforementioned free and interaction terms appearing in the Standard Model Lagrangian density. Any such term must be both gauge and reference-frame invariant, otherwise the laws of physics would depend on an arbitrary choice or the frame of an observer. Therefore the global Poincaré symmetry, consisting of translational symmetry, rotational symmetry and the inertial reference frame invariance central to the theory of special relativity must apply. The local SU(3) × SU(2) × U(1) gauge symmetry is the internal symmetry. The three factors of the gauge symmetry together give rise to the three fundamental interactions, after some appropriate relations have been defined, as we shall see.

A complete formulation of the Standard Model Lagrangian with all the terms written together can be found e.g. here.
Kinetic terms

A free particle can be represented by a mass term, and a kinetic term which relates to the "motion" of the fields.
Fermion fields

The kinetic term for a Dirac fermion is

\( i\bar{\psi}\gamma^{\mu}\partial_{\mu}\psi \)

where the notations are carried from earlier in the article. ψ can represent any, or all, Dirac fermions in the standard model. Generally, as below, this term is included within the couplings (creating an overall "dynamical" term).
Gauge fields

For the spin-1 fields, first define the field strength tensor

\( F^a_{\mu\nu}=\partial_{\mu}A^{a}_{ \nu} - \partial_{\nu}A^{a}_{ \mu} + g f^{abc}A^{b}_{\mu}A^{c}_{\nu} \)

for a given gauge field (here we use A), with gauge coupling constant g. The quantity f abc is the structure constant of the particular gauge group, defined by the commutator

\( [t_a, t_b] = if^{abc} t_c, \)

where ti are the generators of the group. In an Abelian (commutative) group (such as the U(1) we use here), since the generators ta all commute with each other, the structure constants vanish. Of course, this is not the case in general – the standard model includes the non-Abelian SU(2) and SU(3) groups (such groups lead to what is called a Yang–Mills gauge theory).

We need to introduce three gauge fields corresponding to each of the subgroups SU(3) × SU(2) × U(1).

The gluon field tensor will be denoted by \(G^{a}_{\mu\nu} \), where the index a labels elements of the 8 representation of colour SU(3). The strong coupling constant is conventionally labelled gs (or simply g where there is no ambiguity). The observations leading to the discovery of this part of the Standard Model are discussed in the article in quantum chromodynamics.
The notation \( W^a_{\mu\nu} \) will be used for the gauge field tensor of SU(2) where a runs over the 3 generators of this group. The coupling can be denoted gw or again simply g. The gauge field will be denoted by \( W^a_{\mu}. \)
The gauge field tensor for the U(1) of weak hypercharge will be denoted by Bμν, the coupling by g′, and the gauge field by Bμ.

The kinetic term can now be written simply as

\( \mathcal{L}_{\rm{kin}} = - {1\over 4} B_{\mu\nu} B^{\mu\nu} - {1\over 2}\mathrm{tr} W_{\mu\nu}W^{\mu\nu} - {1\over 2} \mathrm{tr}G_{\mu\nu} G^{\mu\nu} \)

where the traces are over the SU(2) and SU(3) indices hidden in W and G respectively. The two-index objects are the field strengths derived from W and G the vector fields. There are also two extra hidden parameters: the theta angles for SU(2) and SU(3).

Coupling terms

The next step is to "couple" the gauge fields to the fermions, allowing for interactions.
Electroweak sector
Main article: Electroweak interaction

The electroweak sector interacts with the symmetry group U(1) × SU(2)L, where the subscript L indicates coupling only to left-handed fermions.

\( \mathcal{L}_\mathrm{EW} = \sum_\psi\bar\psi\gamma^\mu \left(i\partial_\mu-g^\prime{1\over2}Y_\mathrm{W}B_\mu-g{1\over2}\boldsymbol{\tau}\mathbf{W}_\mu\right)\psi \)

Where Bμ is the U(1) gauge field; YW is the weak hypercharge (the generator of the U(1) group); Wμ is the three-component SU(2) gauge field; and the components of τ are the Pauli matrices (infinitesimal generators of the SU(2) group) whose eigenvalues give the weak isospin. Note that we have to redefine a new U(1) symmetry of weak hypercharge, different from QED, in order to achieve the unification with the weak force. The electric charge Q, third component of weak isospin T3 (also called Tz, I3 or Iz) and weak hypercharge YW are related by

\( Q = T_3 + \tfrac{1}{2} Y_W, \)

or by the alternate convention Q = T3 + YW. The first convention (used in this article) is equivalent to the earlier Gell-Mann–Nishijima formula. We can then define the conserved current for weak isospin as

\( \mathbf{j}_\mu = {1\over 2}\bar{\psi}_L \gamma_\mu\boldsymbol{\tau}\psi_L \)

and for weak hypercharge as

\( j_{\mu}^{Y}=2(j_{\mu}^{em}-j_{\mu}^3) \)

where \( j_{\mu}^{em} \) is the electric current and \( j_{\mu}^3 \) the third weak isospin current. As explained above, these currents mix to create the physically observed bosons, which also leads to testable relations between the coupling constants.

To explain in a simpler way, we can see the effect of the electroweak interaction by picking out terms from the Lagrangian. We see that the SU(2) symmetry acts on each (left-handed) fermion doublet contained in ψ, for example

\( -{g\over 2}(\bar{\nu}_e \;\bar{e})\tau^+ \gamma_{\mu}(W^-)^{\mu} \begin{pmatrix} {\nu_e} \\ e \end{pmatrix} = -{g\over 2}\bar{\nu}_e\gamma_{\mu}(W^-)^{\mu}e \)

where the particles are understood to be left-handed, and where

\( \tau^{\pm}\equiv {1 \over 2}(\tau^1{\pm}i\tau^2)= \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} \)

This is an interaction corresponding to a "rotation in weak isospin space" or in other words, a transformation between eL and νeL via emission of a W− boson. The U(1) symmetry, on the other hand, is similar to electromagnetism, but acts on all "weak hypercharged" fermions (both left and right handed) via the neutral Z0, as well as the charged fermions via the photon.
Quantum chromodynamics sector

Main article: Quantum chromodynamics

The quantum chromodynamics (QCD) sector defines the interactions between quarks and gluons, with SU(3) symmetry, generated by Ta. Since leptons do not interact with gluons, they are not affected by this sector. The Dirac Lagrangian of the quarks coupled to the gluon fields is given by

\( \mathcal{L}_{\mathrm{QCD}} = i\overline U \left(\partial_\mu-ig_sG_\mu^a T^a \right )\gamma^\mu U + i\overline D \left(\partial_\mu-i g_s G_\mu^a T^a \right )\gamma^\mu D. \)

where D and U are the Dirac spinors associated with up- and down-type quarks, and other notations are continued from the previous section.

Mass terms and the Higgs mechanism
Mass terms

The mass term arising from the Dirac Lagrangian (for any fermion ψ) is \( -m\bar{\psi}\psi \) which is not invariant under the electroweak symmetry. This can be seen by writing ψ in terms of left and right handed components (skipping the actual calculation):

\( -m\bar{\psi}\psi=-m(\bar{\psi}_L\psi_R+\bar{\psi}_R\psi_L) \)

i.e. contribution from \( \bar{\psi}_L\psi_L \) and \( \bar{\psi}_R\psi_R \) terms do not appear. We see that the mass-generating interaction is achieved by constant flipping of particle chirality. The spin-half particles have no right/left helicity pair with the same SU(2) and SU(3) representation and the same weak hypercharge, so assuming these gauge charges are conserved in the vacuum, none of the spin-half particles could ever swap helicity, and must remain massless. Additionally, we know experimentally that the W and Z bosons are massive, but a boson mass term contains the combination e.g. AμAμ, which clearly depends on the choice of gauge. Therefore, none of the standard model fermions or bosons can "begin" with mass, but must acquire it by some other mechanism.

The Higgs mechanism
Main article: Higgs mechanism

The solution to both these problems comes from the Higgs mechanism, which involves scalar fields (the number of which depend on the exact form of Higgs mechanism) which (to give the briefest possible description) are "absorbed" by the massive bosons as degrees of freedom, and which couple to the fermions via Yukawa coupling to create what looks like mass terms.

In the Standard Model, the Higgs field is a complex scalar of the group SU(2)L:

\(\phi= \frac{1}{\sqrt{2}} \begin{pmatrix} \phi^+ \\ \phi^0 \end{pmatrix}, \)

where the superscripts + and 0 indicate the electric charge (Q) of the components. The weak isospin (YW) of both components is 1.

The Higgs part of the Lagrangian is

\( \mathcal{L}_H = \left [\left (\partial_\mu -ig W_\mu^a t^a -ig'Y_{\phi} B_\mu \right )\phi \right ]^2 + \mu^2 \phi^\dagger\phi-\lambda (\phi^\dagger\phi)^2,\(

where λ > 0 and μ² > 0, so that the mechanism of spontaneous symmetry breaking can be used. There is a parameter here, at first hidden within the shape of the potential, that is very important. In a unitarity gauge one can set φ+ = 0 and make φ0 real. Then \( \langle\phi^0\rangle=v \) is the non-vanishing vacuum expectation value of the Higgs field. v has units of mass, and it is the only parameter in the Standard Model which is not dimensionless. It is also much smaller than the Planck scale; it is approximately equal to the Higgs mass, and sets the scale for the mass of everything else. This is the only real fine-tuning to a small nonzero value in the Standard Model, and it is called the Hierarchy problem. Quadratic terms in Wμ and Bμ arise, which give masses to the W and Z bosons:

\( \begin{align} M_W &= \tfrac{1}{2}v|g| \\ M_Z &= \tfrac{1}{2} v\sqrt{g^2+{g'}^2} \end{align} \)

The Yukawa interaction terms are

\( \mathcal{L}_{YU} = \overline U_L G_u U_R \phi^0 - \overline D_L G_u U_R \phi^- + \overline U_L G_d D_R \phi^+ + \overline D_L G_d D_R \phi^0 + hc \)

where Gu,d are 3 × 3 matrices of Yukawa couplings, with the ij term giving the coupling of the generations i and j.

Neutrino masses

As previously mentioned, evidence shows neutrinos must have mass. But within the standard model, the right-handed neutrino does not exist, so even with a Yukawa coupling neutrinos remain massless. An obvious solution^[2] is to simply add a right-handed neutrino ν_R resulting in a Dirac mass term as usual. This field however must be a sterile neutrino, since being right-handed it experimentally belongs to an isospin singlet (T₃ = 0) and also has charge Q = 0, implying Y_W = 0 (see above) i.e. it does not even participate in the weak interaction. Current experimental status is that evidence for observation of sterile neutrinos is not convincing.^[3]

Another possibility to consider is that the neutrino satisfies the Majorana equation, which at first seems possible due to its zero electric charge. In this case the mass term is

\( -{m\over 2} \left ( \overline{\nu}^C\nu + \overline{\nu}\nu^C \right ) \)

where C denotes a charge conjugated (i.e. anti-) particle, and the terms are consistently all left (or all right) chirality (note that a left-chirality projection of an antiparticle is a right-handed field; care must be taken here due to different notations sometimes used). Here we are essentially flipping between LH neutrinos and RH anti-neutrinos (it is furthermore possible but not necessary that neutrinos are their own antiparticle, so these particles are the same). However for the left-chirality neutrinos, this term changes weak hypercharge by 2 units - not possible with the standard Higgs interation, requiring the Higgs field to be extended to include an extra triplet with weak hypercharge 2[4] - whereas for right-chirality neutrinos, no Higgs extensions are necessary. For both left and right chirality cases, Majorana terms violate lepton number, but possibly at a level beyond the current sensitivity of experiments to detect such violations.

It is possible to include both Dirac and Majorana mass terms in the same theory, which (in contrast to the Dirac-mass-only approach) can provide a "natural" explanation for the smallness of the observed neutrino masses, by linking the RH neutrinos to yet-unknown physics around the GUT scale[5] (see seesaw mechanism).

Since in any case new fields must be postulated to explain the experimental results, neutrinos are an obvious gateway to searching physics beyond the Standard Model.
Detailed Information

This section provides more detail on some aspects, and some reference material.
Field content in detail

The Standard Model has the following fields. These describe one generation of leptons and quarks, and there are three generations, so there are three copies of each field. By CPT symmetry, there is a set of right-handed fermions with the opposite quantum numbers. The column "representation" indicates under which representations of the gauge groups that each field transforms, in the order (SU(3), SU(2), U(1)). Symbols used are common but not universal; superscript C denotes an antiparticle; and for the U(1) group, the value of the weak hypercharge is listed. Note that there are twice as many left-handed lepton field components as left-handed antilepton field components in each generation, but an equal number of left-handed quark and antiquark fields.

Field content of the standard model
Fermion content

This table is based in part on data gathered by the Particle Data Group.[6]
Left-handed fermions in the Standard Model

These are not ordinary abelian charges, which can be added together, but are labels of group representations of Lie groups.
Mass is really a coupling between a left-handed fermion and a right-handed fermion. For example, the mass of an electron is really a coupling between a left-handed electron and a right-handed electron, which is the antiparticle of a left-handed positron. Also neutrinos show large mixings in their mass coupling, so it's not accurate to talk about neutrino masses in the flavor basis or to suggest a left-handed electron antineutrino.
The Standard Model assumes that neutrinos are massless. However, several contemporary experiments prove that neutrinos oscillate between their flavour states, which could not happen if all were massless. It is straightforward to extend the model to fit these data but there are many possibilities, so the mass eigenstates are still open. See neutrino mass.
W.-M. Yao et al. (Particle Data Group) (2006). "Review of Particle Physics: Neutrino mass, mixing, and flavor change" (PDF). Journal of Physics G 33: 1. arXiv:astro-ph/0601168. Bibcode:2006JPhG...33....1Y. doi:10.1088/0954-3899/33/1/001.

The masses of baryons and hadrons and various cross-sections are the experimentally measured quantities. Since quarks can't be isolated because of QCD confinement, the quantity here is supposed to be the mass of the quark at the renormalization scale of the QCD scale.

Free parameters

Upon writing the most general Lagrangian without neutrinos, one finds that the dynamics depend on 19 parameters, whose numerical values are established by experiment. With neutrinos 7 more parameters are needed, 3 masses and 4 PMNS matrix parameters, for a total of 26 parameters.[7] The neutrino parameter values are still uncertain. The 19 certain parameters are summarized here (note: with the Higgs mass is at 125 GeV, the Higgs self-coupling strength λ ~ 1/8).

Parameters of the Standard Model
Additional symmetries of the Standard Model

From the theoretical point of view, the Standard Model exhibits four additional global symmetries, not postulated at the outset of its construction, collectively denoted accidental symmetries, which are continuous U(1) global symmetries. The transformations leaving the Lagrangian invariant are:

\( \psi_\text{q}(x) \to e^{i\alpha/3}\psi_\text{q} \)
\( E_L \to e^{i\beta} E_L\text{ and }(e_R)^c \to e^{i\beta}(e_R)^c \)
\( M_L \to e^{i\beta} M_L\text{ and }(\mu_R)^c \to e^{i\beta}(\mu_R)^c \)
\( T_L \to e^{i\beta} T_L\text{ and }(\tau_R)^c \to e^{i\beta}(\tau_R)^c \)

The first transformation rule is shorthand meaning that all quark fields for all generations must be rotated by an identical phase simultaneously. The fields M_L, T_L and \( (\mu_R)^c, (\tau_R)^c \) are the 2nd (muon) and 3rd (tau) generation analogs of EL and \( (e_R)^c \)fields.

By Noether's theorem, each symmetry above has an associated conservation law: the conservation of baryon number, electron number, muon number, and tau number. Each quark is assigned a baryon number of \( {}_{\frac{1}{3}} \), while each antiquark is assigned a baryon number of \( {}_{-\frac{1}{3}} \). Conservation of baryon number implies that the number of quarks minus the number of antiquarks is a constant. Within experimental limits, no violation of this conservation law has been found.

Similarly, each electron and its associated neutrino is assigned an electron number of +1, while the anti-electron and the associated anti-neutrino carry a −1 electron number. Similarly, the muons and their neutrinos are assigned a muon number of +1 and the tau leptons are assigned a tau lepton number of +1. The Standard Model predicts that each of these three numbers should be conserved separately in a manner similar to the way baryon number is conserved. These numbers are collectively known as lepton family numbers (LF).

In addition to the accidental (but exact) symmetries described above, the Standard Model exhibits several approximate symmetries. These are the "SU(2) custodial symmetry" and the "SU(2) or SU(3) quark flavor symmetry."

Symmetries of the Standard Model and Associated Conservation Laws
The U(1) symmetry

For the leptons, the gauge group can be written SU(2)l × U(1)L × U(1)R. The two U(1) factors can be combined into U(1)Y × U(1)l where l is the lepton number. Gauging of the lepton number is ruled out by experiment, leaving only the possible gauge group SU(2)L × U(1)Y. A similar argument in the quark sector also gives the same result for the electroweak theory.
The charged and neutral current couplings and Fermi theory

The charged currents \( j^{\pm}=j^{1}\pm i j^{2} \) are

\( j^+_\mu = \overline U_{iL}\gamma_\mu D_{iL} +\overline \nu_{iL}\gamma_\mu l_{iL}. \)

These charged currents are precisely those that entered the Fermi theory of beta decay. The action contains the charge current piece

\( \mathcal{L}_{CC} = \frac g{\sqrt2}(j_\mu^+W^{-\mu}+j_\mu^-W^{+\mu}). \)

For energy much less than the mass of the W-boson, the effective theory becomes the current–current interaction of the Fermi theory.

However, gauge invariance now requires that the component W^{3} of the gauge field also be coupled to a current that lies in the triplet of SU(2). However, this mixes with the U(1), and another current in that sector is needed. These currents must be uncharged in order to conserve charge. So we require the neutral currents

\( j_\mu^3 = \frac12(\overline U_{iL}\gamma_\mu U_{iL} - \overline D_{iL}\gamma_\mu D_{iL} + \overline \nu_{iL}\gamma_\mu \nu_{iL} - \overline l_{iL}\gamma_\mu l_{iL}) \)
\( j_\mu^{em} = \frac23\overline U_i\gamma_\mu U_i -\frac13\overline D_i\gamma_\mu D_i - \overline l_i\gamma_\mu l_i. \)

The neutral current piece in the Lagrangian is then

\( \mathcal{L}_{NC} = e j_\mu^{em} A^\mu + \frac g{\cos\theta_W}(J_\mu^3-\sin^2\theta_WJ_\mu^{em})Z^\mu. \)

.

Standard Model (mathematical formulation)