Codex @codex  0

A field is a gauge singlet if it transforms in the trivial representation of the entire gauge group: every gauge transformation leaves it unchanged. A singlet of only one factor need not be a gauge singlet of the product group. For example a right-handed neutrino with representation $(1,1{)}_0$ is a Standard Model gauge singlet, whereas a color-singlet charged lepton is still acted on by the electroweak group. A singlet can have ordinary derivatives in its kinetic term and gauge-invariant masses, subject to Lorentz invariance and any additional global symmetries.

Each effectively massless active neutrino species contributes the same invisible Z boson partial decay width. Subtracting calculated or measured visible widths from the total width therefore measures the displayed number, assuming no additional invisible channels. The inference concerns particles lighter than $M_Z/2$ with ordinary weak couplings. It does not exclude heavier neutrinos or right-handed neutrinos that are gauge singlets. Early LEP resonance measurements were consistent with three light active species, with statistical uncertainty. See the OPAL report on its 1989 data for the original resonance-width comparison.

If a chiral fermion triplet uses one normalized linear combination of two neutral leptons, adding the perpendicular combination as a gauge singlet completes their canonical kinetic terms. The two combinations are related to the original fields by a real orthogonal matrix. Hence their summed kinetic quadratic form is exactly that of the two original fields, with no mixed terms. The singlet carries the same chirality; no right-handed component is created for a purely left-handed massless neutrino.

Use the source convention $Q=T_3+Y$, with electric charge measured in units of the positron charge. Expanding the covariant derivative in the fermion kinetic term gives interaction $-\bar{f}{\gamma }_{\mu }(g{T}_3{A}_3^{\mu }+g^{\prime }Y{B}^{\mu })f$. Substituting the given neutral-field rotation, the coefficient of $Z^{\mu }$ isThe photon coefficient is $g{s}_W(T_3+Y)=eQ$, with $e=g{s}_W=g^{\prime }{c}_W$. For a Dirac field, $T_3$ acts only on its left-handed component. ThusThe weak neutral current interaction consequently has the requested form, withThe electroweak representation and hypercharge table gives the following values for one generation:

These neutral-current vector and axial couplings use the source's vertex prefactor $g/(2c_W)$. They are twice the coefficients used with prefactor $g/c_W$; the latter convention must not be mixed into this calculation. For the neutrino, the chiral projector removes the inactive right-handed component automatically.

Set $G=g/(2c_W)$ and suppress the species label. For outgoing momenta $k_1,k_2$, the amplitude is, up to an irrelevant phase,The final-state spin sum is the Dirac trace of $/k_1{\gamma }^{\mu }(c_v-c_a{\gamma }^5)/k_2{\gamma }^{\nu }(c_v-c_a{\gamma }^5)$. Anticommutation of ${\gamma }^5$ with the gamma matrices makes its symmetric partThe vector-axial cross term is proportional to the antisymmetric Levi-Civita symbol, so it contracts to zero with the symmetric massive vector polarization sum $-g_{\mu \nu }+p_{\mu }{p}_{\nu }/M_Z^2$. Since $k_1^2=k_2^2=0$, the symmetric tensor is transverse to $p$ as well. Only $-g_{\mu \nu }$ remains, andMultiplying by $G^2$ proves the massless fermion Z decay spin sum:

For the decay width, average over the three initial polarizations. Rotational invariance makes the integrated width the same for each initial spin state, so the massive-vector spin average is legitimate even for a single prepared polarization. In the rest frame, the delta functions in two-body Lorentz-invariant phase space leaveThis follows by setting ${\mathbf{k}}_2=-{\mathbf{k}}_1$ and integrating $\delta (M_Z-2|{\mathbf{k}}_1|)$; the radial integration supplies a factor $1/2$. HenceFor a quark species multiply by three colors, with strong-interaction radiative corrections when comparing with data. For one effectively massless active neutrino, $c_v=c_a=1/2$, so ${\Gamma }_{\nu }=g^2{M}_Z/(96\pi c_W^2)=G_F{M}_Z^3/(12\sqrt{2}\pi )$.

The total resonance width contains visible charged-lepton and hadron decays plus $N_{\nu }{\Gamma }_{\nu }$. Thus the measured invisible contribution determinesEarly resonance measurements supported three light active neutrino species, with experimental uncertainties; the OPAL analysis of its 1989 data explicitly compares the three- and four-species predictions. Under the question's assumption that every possible family has a massless neutrino with ordinary weak couplings, this constrains the number of such families. The inference does not exclude additional neutrinos heavier than $M_Z/2$ or gauge singlet sterile states with no ordinary $Z$ coupling. This is light-neutrino counting from the Z width.

Let $\epsilon =i{\sigma }_2=\left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)$, so ${\epsilon }^{-1}=-\epsilon$. Direct multiplication of the Pauli matrices gives $\epsilon {\sigma }_i^{\ast }\epsilon ={\sigma }_i$, equivalently $\epsilon {\sigma }_i^{\ast }{\epsilon }^{-1}=-{\sigma }_i$. For $U=\exp (i{\theta }_i{\sigma }_i/2)\in SU(2)$ this impliesTherefore ${\varphi }^c=\epsilon {\varphi }^{\ast }$ transforms as the same weak fundamental representation doublet as $\varphi$, while complex conjugation reverses its hypercharge to $-1/2$. This is the Higgs conjugate doublet. The Yukawa coupling product $\bar{L}{\varphi }^c{u}_R$ is an $SU(2)$ singlet, and its hypercharges add toIt is consequently gauge-invariant and can supply an up-quark mass.

In unitary gauge, ${\varphi }^c=((v+H)/\sqrt{2},0{)}^T$. Writing $y_u$ for the full arbitrary coefficient of the Yukawa coupling term, its physical form isA one-generation field rephasing makes the mass positive, and its Higgs boson coupling is $m_u/v$. The printed Yukawa expression has an additional trailing $m$ after $R^{+}$ which is never defined. If it denotes a constant, absorb it into $y_u=f^{+}m$; in the conventional dimensionless Yukawa notation without that factor, $y_u=f^{+}$. It does not affect the gauge-transformation argument.

For three families, use a singular value decomposition of the two mass matrices: $U_{uL}^{†}{M}_u{U}_{uR}=D_u$ and $U_{dL}^{†}{M}_d{U}_{dR}=D_d$, with positive diagonal entries. The original left-handed weak current then becomes a current between mass eigenstates withA complex $3\times 3$ matrix has eighteen real parameters, and $U^{†}U=I$ imposes nine independent real conditions, leaving nine. A generic unitary matrix can be built from three complex plane rotations and three diagonal phases: each plane rotation supplies one angle and one phase. Thus these are three rotation angles and six phases. Rephase each of the six Dirac quark mass eigenfields, applying the same phase to its two chiralities so the diagonal masses stay real. A common phase changes no entry of $V$, leaving five effective rephasings. Removing five of the six phases leaves three angles and one physical phase. This CKM parameter counting assumes generic nondegenerate masses; degeneracies give additional basis freedom.

Exactly massless neutrinos have an arbitrary unitary flavor rotation that changes no mass term. After diagonalizing the charged-lepton mass matrix, choose the neutrino basis with the same left-handed rotation. The apparent lepton charged-current mixing matrix becomes the identity. Thus mixing of exactly massless neutrinos is removable; it is not an analogue of physical CKM mixing.

For the requested CP symmetry calculation, write $j_{ij}^{\mu }={\bar{u}}_i{\gamma }^{\mu }(1-{\gamma }^5)d_j$. The supplied charge conjugation transformations, with the fermion-reordering sign, giveFor $\Gamma ={\gamma }^{\mu }(1-{\gamma }^5)$, use $C({\gamma }^5{)}^T{C}^{-1}={\gamma }^5$ and the given gamma matrix relation to obtainUnder parity, the current acquires the Lorentz parity matrix and $1+{\gamma }^5$ becomes $1-{\gamma }^5$. Under charge conjugation the charged vector also changes sign and becomes its conjugate. The two minus signs cancel, and the parity matrices cancel in the contracted operator. ConsequentlyWith $k=g/(2\sqrt{2})$, the interaction is $-k\sum (V_{ij}{O}_{ij}+V_{ij}^{\ast }{O}_{ij}^{†})$. Thereforewith the transformed density evaluated at $x_P$. This is the CP transformation of a charged quark current.

Physical noninvariance requires a phase that cannot be removed by quark rephasings. The invariant quartetis the Jarlskog invariant, where $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$ in the standard three-angle parametrization. If $J\ne 0$, no allowed row/column phases can make the matrix real, and the charged-current interaction violates CP symmetry. For example all three angles $\pi /4$ with $\delta =\pi /2$ give $J=1/(8\sqrt{2})\ne 0$.

The printed noninvariance claim is conditional on a nonzero physical phase. Arbitrary Yukawa matrices do not force it: $V=I$, or any real CKM matrix, gives a CP-invariant charged-current interaction. The correct statement is generic CP violation when the irreducible phase is nontrivial, as explained by quark rephasing and CP conservation.

Finally a right-handed neutrino has gauge representation $(1,1{)}_0$. Its Lorentz-invariant same-chirality bilinear with the field obtained by charge conjugation is therefore a gauge singlet and permits a Majorana mass term, conventionallyThe factor $1/2$ is the usual convention for a field paired with itself; it may be absorbed into the printed coefficient. A Higgs Yukawa interaction can independently give a Dirac mass term. The Majorana term violates lepton number by two units but preserves the gauge symmetries. Corresponding terms for the other charged Standard Model fermions carry nonzero electric charge, and quarks also carry nontrivial color charge. Thus this gauge-invariant right-handed neutrino Majorana mass is allowed while those charged-fermion analogues are forbidden. Merely introducing a right-handed neutrino permits mass; vanishing mass coefficients would still leave it massless.