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 . The theory is commonly viewed as describing the fundamental set of particles – the leptons, quarks, gauge bosons and the Higgs boson.
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.[2] 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.
The standard model is a quantum field theory, meaning its fundamental objects are quantum fields, which are defined at all points in spacetime. QFT treats particles as excited states (also called quanta) of their underlying quantum fields, which are more fundamental than the particles. These fields are
W1
W2
W3
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 a quantum state (ket vector).
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 that, in particular contexts, may be more appropriate than those that are given above.
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 (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 | |
\nue |
,
\psi | |
\nu\mu |
\psi | |
\nu\tau |
An important definition is the barred fermion field
\bar{\psi}
\psi\dagger\gamma0
\dagger
\bar{\psi}
An independent decomposition of is that into chirality components:where
\gamma5
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 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), 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, acts differently on
\rmL | |
\psi | |
e |
\rmR | |
\psi | |
e |
A distinction can thus be made between, for example, the mass and interaction eigenstates of the neutrino. The former is the state that 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 "flavor" (or) by the interaction eigenstate, whereas for the quarks we define the flavor (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 flavor).
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.
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.
Due to the Higgs mechanism, the electroweak boson fields
W1
W2
W3
B
The massive neutral (Z) boson:The massless neutral boson:The massive charged W bosons:where is the Weinberg angle.
The field is the photon, which corresponds classically to the well-known electromagnetic four-potential – i.e. the electric and magnetic fields. The field actually contributes in every process the photon does, but due to its large mass, the contribution is usually negligible.
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 Lagrangian is decomposed as
l{L}=l{L}0+l{L}I
In the more common Schrödinger picture, even the states of free particles change over time: typically the phase changes at a rate that 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 that 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 the Higgs field.
See also: Feynman diagram.
Under the usual free/interaction decomposition, which is suitable for low energies, the free fields obey the following equations:
(i\hbar\gamma\mu\partial\mu-m\rmc)\psi\rm=0
f
\partial\mu\partial\muA\nu=0
These equations can be solved exactly. One usually does so by considering first solutions that are periodic with some period along each spatial axis; later taking the limit: will lift this periodicity restriction.
In the periodic case, the solution for a field (any of the above) can be expressed as a Fourier series of the formwhere:
\psi\rm
V=L3
\hbarc/\sqrt{2V}
2\pi\hbar | |
L |
(n1,n2,n3)
n1,n2,n3
\dagger | |
b | |
r(p) |
p=(Ep/c,p)
px=p\mux\mu
ur(p)
vr(p)
Technically,
\dagger | |
a | |
r(p) |
\dagger | |
a | |
r(p) |
\dagger | |
a | |
r(p) |
\dagger
An important step in preparation for calculating in perturbative quantum field theory is to separate the "operator" factors and above from their corresponding vector or spinor factors and . The vertices of Feynman graphs come from the way that and from different factors in the interaction Lagrangian fit together, whereas the edges come from the way that the s and s must be moved around in order to put terms in the Dyson series on normal form.
The Lagrangian can also be derived without using creation and annihilation operators (the "canonical" formalism) by using a path integral formulation, pioneered by Feynman building on the earlier work of Dirac. Feynman diagrams are pictorial representations of interaction terms. A quick derivation is indeed presented at the article on Feynman diagrams.
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 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 free particle can be represented by a mass term, and a kinetic term that relates to the "motion" of the fields.
The kinetic term for a Dirac fermion iswhere 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).
For the spin-1 fields, first define the field strength tensorfor a given gauge field (here we use), with gauge coupling constant . The quantity is the structure constant of the particular gauge group, defined by the commutatorwhere are the generators of the group. In an abelian (commutative) group (such as the we use here) the structure constants vanish, since the generators all commute with each other. Of course, this is not the case in general – the standard model includes the non-Abelian and 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 .
a | |
G | |
\mu\nu |
a | |
W | |
\mu\nu |
a | |
W | |
\mu |
The kinetic term can now be written aswhere the traces are over the and indices hidden in and respectively. The two-index objects are the field strengths derived from and the vector fields. There are also two extra hidden parameters: the theta angles for and .
The next step is to "couple" the gauge fields to the fermions, allowing for interactions.
See main article: Electroweak interaction. The electroweak sector interacts with the symmetry group, where the subscript L indicates coupling only to left-handed fermions.where is the gauge field; is the weak hypercharge (the generator of the group); is the three-component gauge field; and the components of are the Pauli matrices (infinitesimal generators of the group) whose eigenvalues give the weak isospin. Note that we have to redefine a new symmetry of weak hypercharge, different from QED, in order to achieve the unification with the weak force. The electric charge, third component of weak isospin (also called or) and weak hypercharge are related by(or by the alternative convention). The first convention, used in this article, is equivalent to the earlier Gell-Mann–Nishijima formula. It makes the hypercharge be twice the average charge of a given isomultiplet.
One may then define the conserved current for weak isospin asand for weak hypercharge aswhere
\rmem | |
j | |
\mu |
3 | |
j | |
\mu |
To explain this 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 examplewhere the particles are understood to be left-handed, and where
This is an interaction corresponding to a "rotation in weak isospin space" or in other words, a transformation between and via emission of a boson. The symmetry, on the other hand, is similar to electromagnetism, but acts on all "weak hypercharged" fermions (both left- and right-handed) via the neutral, as well as the charged fermions via the photon.
See main article: Quantum chromodynamics. The quantum chromodynamics (QCD) sector defines the interactions between quarks and gluons, with symmetry, generated by . 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 bywhere and are the Dirac spinors associated with up and down-type quarks, and other notations are continued from the previous section.
The mass term arising from the Dirac Lagrangian (for any fermion) is
-m\bar{\psi}\psi
\bar{\psi}\rm\psi\rm
\bar{\psi}\rm\psi\rm
See 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 field of the group :where the superscripts and indicate the electric charge of the components. The weak hypercharge of both components is .
The Higgs part of the Lagrangian iswhere and, 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
\phi+=0
\phi0
\langle\phi0\rangle=v
v
The mass of the Higgs boson itself is given by
The Yukawa interaction terms arewhere
Yu
Yd
Ye
qL
LL
uR
dR
eR
\varphi
\tilde{\varphi}=
* | |
i\tau | |
2\varphi |
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[3] is to simply add a right-handed neutrino, which requires the addition of a new Dirac mass term in the Yukawa sector:
This field however must be a sterile neutrino, since being right-handed it experimentally belongs to an isospin singlet and also has charge, implying (see above) i.e. it does not even participate in the weak interaction. The experimental evidence for sterile neutrinos is currently inconclusive.[4]
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 a new Majorana mass term is added to the Yukawa sector:where denotes a charge conjugated (i.e. anti-) particle, and the
\nu
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 right-handed 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.
This section provides more detail on some aspects, and some reference material. Explicit Lagrangian terms are also provided here.
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 fermionic field. By CPT symmetry, there is a set of fermions and antifermions with opposite parity and charges. If a left-handed fermion spans some representation its antiparticle (right-handed antifermion) spans the dual representation[6] (note that
\bar{2
Field content of the standard model | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Spin 1 – the gauge fields | ||||||||||||
Symbol | Associated charge | Group | Coupling | Representation[7] | ||||||||
B | g' g1 | (1,1,0) | ||||||||||
W | gw g2 | (1,3,0) | ||||||||||
G | gs g3 | (8,1,0) | ||||||||||
Spin – the fermions | ||||||||||||
Symbol | Name | Baryon number | Lepton number | Representation | ||||||||
q\rm |
| 0 |
| |||||||||
u\rm | Right-handed quark (up) |
| 0 | ({3 | ||||||||
d\rm | Right-handed quark (down) |
| 0 | ({3 | ||||||||
\ell\rm | 0 | 1 | (1,2,-1) | |||||||||
\ell\rm | Right-handed lepton | 0 | 1 | (1,1,-2) | ||||||||
Spin 0 – the scalar boson | ||||||||||||
Symbol | Name | Representation | ||||||||||
H | (1,2,1) |
This table is based in part on data gathered by the Particle Data Group.[8]
Left-handed fermions in the Standard Model | ||||||||
---|---|---|---|---|---|---|---|---|
Generation 1 | ||||||||
Fermion (left-handed) | Symbol | Electric charge | Weak isospin | Weak hypercharge | Color charge [9] | Mass[10] | ||
Electron | -1 | -\tfrac{1}{2} | -1 | 1 | 511 keV | |||
Positron | +1 | ~ 0 | +2 | 1 | 511 keV | |||
Electron neutrino | ~ 0 | +\tfrac{1}{2} | -1 | 1 | < 0.28 eV[11] [12] | |||
Electron antineutrino | ~ 0 | ~ 0 | ~ 0 | 1 | < 0.28 eV | |||
Up quark | +\tfrac{2}{3} | +\tfrac{1}{2} | +\tfrac{1}{3} | 3 | ~ 3 MeV[13] | |||
Up antiquark | -\tfrac{2}{3} | ~ 0 | -\tfrac{4}{3} | \bar{3 | ~ 3 MeV | |||
Down quark | -\tfrac{1}{3} | -\tfrac{1}{2} | +\tfrac{1}{3} | 3 | ~ 6 MeV | |||
Down antiquark | +\tfrac{1}{3} | ~ 0 | +\tfrac{2}{3} | \bar{3 | ~ 6 MeV | |||
Generation 2 | ||||||||
Fermion (left-handed) | Symbol | Electric charge | Weak isospin | Weak hypercharge | Color charge | Mass | ||
Muon | -1 | -\tfrac{1}{2} | -1 | 1 | 106 MeV | |||
Antimuon | +1 | ~ 0 | +2 | 1 | 106 MeV | |||
Muon neutrino | ~0 | +\tfrac{1}{2} | -1 | 1 | < 0.28 eV | |||
Muon antineutrino | ~ 0 | ~ 0 | ~ 0 | 1 | < 0.28 eV | |||
Charm quark | +\tfrac{2}{3} | +\tfrac{1}{2} | +\tfrac{1}{3} | 3 | ~ 1.3 GeV | |||
Charm antiquark | -\tfrac{2}{3} | ~ 0 | -\tfrac{4}{3} | \bar{3 | ~ 1.3 GeV | |||
Strange quark | -\tfrac{1}{3} | -\tfrac{1}{2} | +\tfrac{1}{3} | 3 | ~ 100 MeV | |||
Strange antiquark | +\tfrac{1}{3} | ~ 0 | +\tfrac{2}{3} | \bar{3 | ~ 100 MeV | |||
Generation 3 | ||||||||
Fermion (left-handed) | Symbol | Electric charge | Weak isospin | Weak hypercharge | Color charge | Mass | ||
Tau | -1 | -\tfrac{1}{2} | -1 | 1 | 1.78 GeV | |||
Antitau | +1 | ~ 0 | +2 | 1 | 1.78 GeV | |||
Tau neutrino | ~ 0 | +\tfrac{1}{2} | -1 | 1 | < 0.28 eV | |||
Tau antineutrino | ~ 0 | ~ 0 | ~ 0 | 1 | < 0.28 eV | |||
Top quark | +\tfrac{2}{3} | +\tfrac{1}{2} | +\tfrac{1}{3} | 3 | 171 GeV | |||
Top antiquark | -\tfrac{2}{3} | ~ 0 | -\tfrac{4}{3} | \bar{3 | 171 GeV | |||
Bottom quark | -\tfrac{1}{3} | -\tfrac{1}{2} | +\tfrac{1}{3} | 3 | ~ 4.2 GeV | |||
Bottom antiquark | +\tfrac{1}{3} | ~ 0 | +\tfrac{2}{3} | \bar{3 | ~ 4.2 GeV | |||
Upon writing the most general Lagrangian with massless neutrinos, one finds that the dynamics depend on 19 parameters, whose numerical values are established by experiment. Straightforward extensions of the Standard Model with massive neutrinos need 7 more parameters (3 masses and 4 PMNS matrix parameters) for a total of 26 parameters.[14] The neutrino parameter values are still uncertain. The 19 certain parameters are summarized here.
Parameters of the Standard Model | ||||
---|---|---|---|---|
Symbol | Description | Renormalization scheme (point) | Value | |
me | electron mass | /c2 | ||
mμ | muon mass | /c2 | ||
mτ | tau mass | /c2 | ||
mu | up quark mass | μ = 2 GeV | ||
md | down quark mass | μ = 2 GeV | ||
ms | strange quark mass | μ = 2 GeV | ||
mc | charm quark mass | μ = mc | ||
mb | bottom quark mass | μ = mb | ||
mt | top quark mass | on-shell scheme | ||
θ12 | CKM 12-mixing angle | 13.1° | ||
θ23 | CKM 23-mixing angle | 2.4° | ||
θ13 | CKM 13-mixing angle | 0.2° | ||
δ | CKM CP-violating Phase | 0.995 | ||
g1 or g′ | U(1) gauge coupling | μ = mZ | 0.357 | |
g2 or g | SU(2) gauge coupling | μ = mZ | 0.652 | |
g3 or gs | SU(3) gauge coupling | μ = mZ | 1.221 | |
θQCD | QCD vacuum angle | ~ 0 | ||
v | Higgs vacuum expectation value | |||
mH | Higgs mass |
The choice of free parameters is somewhat arbitrary. In the table above, gauge couplings are listed as free parameters, therefore with this choice the Weinberg angle is not a free parameter – it is defined as
\tan\theta\rm={g1}/{g2}
\alpha=
1 | |
4\pi |
| |||||||||||||||
|
m\rm=y\rmv/{\sqrt{2}}
λ=
| |||||||
2v2 |
\mu2
\mu2\phi\dagger\phi-λ(\phi\dagger\phi)2
\mu2=λv2=
2}/2 | |
{m | |
\rmH |
\mu
The value of the vacuum energy (or more precisely, the renormalization scale used to calculate this energy) may also be treated as an additional free parameter. The renormalization scale may be identified with the Planck scale or fine-tuned to match the observed cosmological constant. However, both options are problematic.[15]
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:
The first transformation rule is shorthand meaning that all quark fields for all generations must be rotated by an identical phase simultaneously. The fields and
(\mu\rm)c,(\tau\rm)c
(e\rm)c
By Noether's theorem, each symmetry above has an associated conservation law: the conservation of baryon number,[16] electron number, muon number, and tau number. Each quark is assigned a baryon number of , while each antiquark is assigned a baryon number of . 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). (This result depends on the assumption made in Standard Model that neutrinos are massless. Experimentally, neutrino oscillations demonstrate that individual electron, muon and tau numbers are not conserved.)[17] [18]
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 | ||||
---|---|---|---|---|
Symmetry | Lie group | Symmetry Type | Conservation law | |
Poincaré | Translations⋊SO(3,1) | Global symmetry | Energy, Momentum, Angular momentum | |
Gauge | SU(3)×SU(2)×U(1) | Local symmetry | Color charge, Weak isospin, Electric charge, Weak hypercharge | |
Baryon phase | U(1) | Accidental Global symmetry | Baryon number | |
Electron phase | U(1) | Accidental Global symmetry | Electron number | |
Muon phase | U(1) | Accidental Global symmetry | Muon number | |
Tau phase | U(1) | Accidental Global symmetry | Tau number |
For the leptons, the gauge group can be written . The two U(1) factors can be combined into where l is the lepton number. Gauging of the lepton number is ruled out by experiment, leaving only the possible gauge group . A similar argument in the quark sector also gives the same result for the electroweak theory.
The charged currents
j\mp=j1\pmij2
2\sqrt{2}G\rm~~
+ | |
J | |
\mu |
J\mu~~-
However, gauge invariance now requires that the component
W3