1: It is impossible to give a comprehensive introduction to the SM for the completely uninitiated in the limited space available here. Rather, this Section will serve as a reminder of the main concepts important in this research project. Much of the material here follows \cite{cheng}. An introduction to the necessary group theory is given in Appendix \ref{ap:gt}\footnote{Note that this Section stands separately and does not necessarily employ exactly the same naming or sign conventions. Any differences however are completely insubstantial.}
2:
3: \subsection{Gauge Symmetries}
4: Consider some fermions $\Psi_{1,\alpha}, \Psi_{2,\alpha},\ldots ,\Psi_{N,\alpha}$, each of which are independent 4-D Lorentz Spinors\footnote{Roman letters denote SU(N) indices, Greek letters denote Lorentz/Spinor indices.}. Let them form an $N$ representation of SU(N).
5:
6: \begin{equation*}
7: \Psi = \left( \begin{array}{c} \Psi_1\\ \vdots \\ \Psi_N \end{array} \right).
8: \end{equation*}
9: To simplify things we will often use matrix/vector notation to sum over SU(N) indices, i.e. write $U \Psi$ for $U^j_a \Psi^a $, $\boldsymbol{\tau \cdot \theta}$ for $\tau^a \theta^a$ etc. Often we will also suppress the Spinor indices of the $\Psi$'s when they are of no immediate interest.
10:
11: The free Lagrangian Density of these fermions is
12: \begin{equation*}
13: \mathscr{L} = \overline{\Psi}(x)(i \gamma^\nu \partial_\nu - m)\Psi(x).
14: \end{equation*}
15: This Lagrangian has a \emph{global} SU(N) symmetry manifested by invariance under the transformation $U(\boldsymbol \theta) = e^{-i \boldsymbol{\theta \cdot \tau}}$, where $\theta^a$'s are the group parameters and the $\tau^a$'s the generators of SU(N) satisfying $[\tau^i,\tau^j] = i f^{ijk} \tau^k$. In this case global means that the parameters of the transformation are independent of $x^\mu$. Two things to note:
16: \begin{compactenum}
17: \item If N = 1, the symmetry is U(1) and there is only one generator, obviously implying $f^{ijk} = 0$. In that case the analysis following simplifies somewhat.
18: \item The mass term is only invariant if the right- and left-handed components of each fermion belong to the same representation (more on that later).
19: \end{compactenum}
20: Now generalise to a \emph{local} or \emph{gauge} symmetry, i.e. allow the group parameters to vary with position in space-time:
21: \begin{equation*}
22: U(\boldsymbol{\theta}(x^\mu)) = e^{-i \boldsymbol{\theta}(x^\mu)\cdot \boldsymbol{\tau}}.
23: \end{equation*}
24: Due to the space-time derivative, $\mathscr{L}$ is no longer invariant (keep in mind that the SU(N) transformation and the $\gamma$-matrices commute since they act on different spaces):
25: \begin{align}
26: \overline{\Psi}(x^\mu)\partial_\nu \Psi(x^\mu) \longrightarrow &[\overline{\Psi}(x^\mu) {U^\dagger}(\theta)] \partial_\nu [U(\theta)\Psi(x^\mu )] \nonumber \\
27: = & \overline{\Psi}(x^\mu)\partial_\nu \Psi(x^\mu) + \overline{\Psi}(x^\mu){U^\dagger}(\theta)[\partial_\nu U(\theta)] \Psi(x^\mu). \nonumber
28: \end{align}
29: Clearly the last term is not zero for a local transformation. To make the Lagrangian invariant again, we replace the regular derivative by the \emph{gauge-covariant derivative}:
30: \begin{equation*}
31: D_\mu = \partial_\mu - i g \boldsymbol\tau \cdot \boldsymbol{A}_\mu.
32: \end{equation*}
33: Here we have introduced the vector gauge fields $A_\mu^j$, one for each generator. They act as force carriers, coupling to the fermions with strength g via the second term. The photon, for example, is the $U(1)_{EM}$ gauge boson, and two charged particles interact with each other by exchanging virtual photons, where the coupling strength of the photon/fermion interaction is the fermion's electric charge.
34:
35: The condition that $\mathscr{L}$ be invariant under a local gauge transformation imposes certain transformation properties onto the $A_\mu^j$'s. We require that the covariant derivative of $\Psi$ transforms like $\Psi$ itself, i.e.
36: \begin{equation*}
37: D_\mu \Psi \rightarrow U(\boldsymbol \theta) D_\mu \Psi
38: \end{equation*}
39: which requires the gauge fields to transform as
40: \begin{equation} \label{eq:gaugefieldtransform}
41: \boldsymbol \tau \cdot \boldsymbol{A}_\mu \longrightarrow U(\boldsymbol \theta) \boldsymbol \tau \cdot \boldsymbol{A}_\mu {U^\dagger}(\boldsymbol \theta) - \sfrac{i}{g}[\partial_\mu U(\boldsymbol \theta)] {U^\dagger}(\boldsymbol \theta)
42: \end{equation}
43: The representation of the gauge fields becomes apparent when looking at the infinitesimal transformation $U = 1 - i \boldsymbol{\tau \cdot \theta}$. In this case, Equation \ref{eq:gaugefieldtransform} reduces to
44: \begin{equation*}
45: A^i_\mu \longrightarrow A^i_\mu + f^{ijk}\theta^j A^k - \sfrac{1}{g} \partial_\mu A^i
46: \end{equation*}
47: where we recognise that the second term is the transformation for the adjoint representation of SU(N). Hence, for $N > 1$, the $A^i_\mu$'s form an adjoint representation and carry gauge charges.
48:
49: In order to make the gauge fields dynamical variables we have to introduce their kinetic term into the Lagrangian. The simplest gauge-invariant term of this form (conventionally normalised) is
50: \begin{equation*}
51: -\sfrac{1}{4} F^a_{\mu \nu} F^{\mu \nu}_a
52: \end{equation*}
53: where
54: \begin{equation*}
55: F^a_{\mu \nu} = \partial_\mu A^a_\nu - \partial_\nu A^a_\mu + g f^{abc} A^b_\mu A^c_\nu
56: \end{equation*}
57: Hence the final gauge-invariant Lagrangian is
58: \begin{equation*}
59: \mathscr{L} = -\sfrac{1}{4} F^a_{\mu \nu} F^{\mu \nu}_a + \overline{\Psi}(x)(i \gamma^\nu D_\nu - m)\Psi(x).
60: \end{equation*}
61:
62:
63:
64: \subsection{The Higgs Mechanism}
65: The Gauge Group of the SM is $SU(3)_c \otimes SU(2)_W \otimes U(1)_Y$, where c, W, and Y stand for colour (strong force), weak and hypercharge respectively. Hence in building up the SM Lagrangian we include in our covariant derivative gauge fields and couplings for each of the three simple groups, as well as three gauge field kinetic terms. Each of the SM particles is part of a representation of that gauge group:
66: \begin{equation}
67: \label{eq:smreps}
68: \begin{array}{ll}
69: f_{iL} = {\left(\begin{array}{c} \nu_i \\ e_i \end{array} \right)}_L \thicksim (1,2)(-1) \qquad \qquad&
70: Q_{iL} = {\left( \begin{array}{c} u_i \\ d_i \end{array} \right)}_L \thicksim (3,2)(\sfrac{1}{3}) \\
71: e_{iR} \phantom{= {\left( \begin{array}{c} \nu_i \\ e_i \end{array} \right)}_L} \, \, \thicksim (1,1)(-2) \qquad \qquad&
72: u_{iR} \phantom{= {\left( \begin{array}{c} \nu_i \\ e_i \end{array} \right)}_L}\; \; \thicksim (3,1)(\sfrac{4}{3}) \\
73: \nu_{iR} \phantom{= {\left( \begin{array}{c} \nu_i \\ e_i \end{array} \right)}_L} \, \, \thicksim (1,1)(0) \qquad \qquad&
74: d_{iR} \phantom{= {\left( \begin{array}{c} \nu_i \\ e_i \end{array} \right)}_L}\; \; \thicksim (3,1)(-\sfrac{2}{3})
75: \end{array}
76: \end{equation}
77: where, for example, $(1,2)(-1)$ means that the left-handed electron and neutrino together transform as a colour (SU(3)) singlet, form a weak (SU(2)) doublet and have (U(1)) hypercharge $-1$. The index $i$ is not a group theory index here but runs from 1 to 3 to label the three generations of fermions, and the left/right-handed components of each Lorentz fermion are projected out using $\sfrac{1}{2}(1 \mp \gamma^5)$, where $\gamma^5 = i\gamma^0 \gamma^1 \gamma^2 \gamma^3$ is the standard 4-D chirality operator.
78:
79: It is clear that fermion mass terms are as such not gauge invariant:
80: \begin{equation*}
81: m_e \overline{e}_L e_R \thicksim (1,2)(-1)
82: \end{equation*}
83: (bear in mind that conjugating the fermion conjugates its representation). We also have to explain the massive bosons mediating weak interaction, which is not accounted for using only gauge symmetries. We will therefore introduce a Higgs boson in an appropriate potential and use \emph{spontaneous symmetry breaking}, which will break the gauge symmetry from $SU(3)_c \otimes SU(2)_W \otimes U(1)_Y \longrightarrow SU(3)_c \otimes U(1)_Q$ where $U(1)_Q$ is the normal electromagnetic gauge group \footnote{EM charge is given as $Q = (I_{3L} + \sfrac{Y}{2})$, where Y is the hypercharge and $I_{3L}$ is the appropriate entry of the diagonal generator of the SU(2) rep the particle belongs to.}.
84:
85: In order for the fermion mass terms to be singlets under the gauge group, we can give them masses via a Yukawa interaction with the Higgs field $\phi$
86: \begin{equation*}
87: \lambda \overline{e}_L e_R \phi + \textrm{ hermitian conjugate}
88: \end{equation*}
89: which requires that $\phi \thicksim (1,2)(1)$, i.e. a weak complex doublet scalar field\footnote{since for SU(2), $2 \otimes 2 = 1 \oplus 3$ and the singlet gives us our mass term}. We write
90: \begin{equation*}
91: \phi = \left( \begin{array}{c} \phi^+ \\ \phi^\circ \end{array} \right).
92: \end{equation*}
93: Note that $\phi$ has 4 real components. The electron mass term becomes
94: \begin{equation*}
95: \mathscr{L}_{\textrm{mass}} = \lambda (\overline{\nu}, \overline{e})_L \left( \begin{array}{c} \phi^+ \\ \phi^\circ \end{array} \right) e_R + \textrm{ h.c.}
96: \end{equation*}
97: which is gauge invariant (similarly for quarks). Obviously this only works if $\phi$ takes on an appropriate vacuum expectation value (vev). Insert the potential $V(\phi) = \lambda (\phi^\dagger \phi - u^2)^2$ into the Lagrangian, where $\lambda > 0$ so the potential is bounded from below. This potential is SU(2) invariant and the vacuum (i.e. the lowest-energy state) only requires that $<\phi^\dagger \phi>_\circ = u^2$.
98:
99: We now \emph{break the symmetry} by fixing the vacuum to be some distinct value (a more thorough review of spontaneous symmetry breaking is given in \ref{subsec:ssb}). This is really just what nature does -- the Lagrangian might be invariant under some symmetry but the Higgs vacuum invariably chooses one of the possible vacua and stays there, breaking that symmetry. In order to get the correct form of the fermion mass term, we can always use an SU(2) rotation to change our basis such that the vacuum state of the Higgs is
100: \begin{equation*}
101: <\phi> = \left( \begin{array}{c} 0 \\ u \end{array} \right),
102: \end{equation*}
103: i.e. $<\textrm{Re}(\phi^\circ)>_\circ = u$ whereas the three other components -- called the Goldstone Bosons -- have zero vev's. The weak boson mass terms are then produced by the gauge covariant derivative (the Higgs kinetic term) of the Higgs. Expanding
104: \begin{equation*}
105: \mathscr{L}_{\textrm{Higgs}} = (D_\mu \phi)^\dagger (D^\mu \phi) + \ldots
106: \end{equation*}
107: around the vacuum and redefining our gauge bosons, we get mass terms for the W and Z bosons, whereas the photon stays massless\footnote{The photon is represented by a linear combination of the $U(1)_Y$ gauge boson and an SU(2) gauge boson and stays massless. The orthogonal linear combination (Z) together with the two remaining SU(2) bosons (W's) gain mass and mediate the weak force. The gluon stays massless since the $\phi$ is a colour singlet.}. The three goldstone bosons have actually been ``eaten up", i.e. incorporated into the three massive gauge bosons, giving them the extra degree of freedom (longitudinal polarisation) required to be massive. Since the mass terms are proportional to $u$, the Higgs vev sets the scale for the weak boson masses. Similarly, by substituting the Higgs vacuum value into the fermion Yukawa coupling term we get our fermion masses. This is called the \emph{Higgs Mechanism}.
108:
109: We now have the complete Standard Model. The SM Lagrangian is made up of the Higgs terms to supply mass to appropriate gauge bosons and fermions (covariant derivative kinetic term, potential $V$ and Yukawa coupling to fermions), the three kinetic terms for the gauge fields, as well as the fermion kinetic term, which in its covariant derivative includes interaction terms with the gauge bosons. Note that the Standard Model is \emph{chiral}, i.e. states of different chirality come in different representations and hence interact differently with respect to the weak force.
110: