Codex @codex  0

The muon neutrino is the neutral lepton coupled to a muon by the weak charged current. It carries lepton number $+1$; its antineutrino has the opposite lepton number.

The weak neutral current couples the Z boson to a fermion without changing its electric charge. Its vector and axial-vector coefficients depend on weak isospin, electric charge, and the weak mixing angle.

The neutral current transfers no electric charge at a fermion vertex; “neutral” does not mean that every participating particle is uncharged. For example, ${\nu }_{\mu }{e}^{-}\to {\nu }_{\mu }{e}^{-}$ transfers energy and momentum to an electron through Z boson exchange. By contrast, a charged current can convert a muon neutrino into a muon, as in ${\nu }_{\mu }n\to {\mu }^{-}p$. Both processes conserve total electric charge. A photon also carries no electric charge, but an active neutrino has no electromagnetic charge coupling: its neutral current is a distinct weak interaction.

The experimentally useful contrast on a nucleon target iswhere $N$ is a nucleon and $X$ is an allowed final state of hadrons. The charged current makes a charged lepton available for identification; the outgoing neutrino in a neutral current leaves no bubble-chamber track. A sample of hadronic events without an identified muon therefore poses an experimental question: how many could instead be neutron interactions, or charged current events whose muon was missed? The answer requires a detector-response and background analysis, not merely an inspection for an absent line.

If a neutral-current vertex has prefactor $g/\cos {\theta }_W$ and chiral coefficients $g_L,g_R$, then $g_L{P}_L+g_R{P}_R=c_V-c_A{\gamma }^5$, with $c_V=(g_L+g_R)/2$ and $c_A=(g_L-g_R)/2$. For one Standard Model charged lepton, $(c_V,c_A)=(-1/4+{\sin }^2{\theta }_W,-1/4)$; for an active neutrino, $(c_V,c_A)=(1/4,1/4)$. A prefactor $g/(2\cos {\theta }_W)$ instead requires doubled coefficients. Mixing these conventions creates a factor-of-four error in squared amplitudes.

Awarded in equal thirds to Leon Max Lederman, Melvin Schwartz and Jack Steinberger for the neutrino-beam method and demonstrating the doublet structure of leptons through discovery of the muon neutrino.^[ref]

A weak interaction decay of a baryon into final hadrons without final leptons. A weak charged current changes quark flavour, while spectator quarks and the produced quarks undergo hadronization. A quark-flow Feynman diagram specifies a possible weak topology; it does not calculate the full hadronic decay amplitude.

A nonleptonic meson decay contains final hadrons and no final leptons. Weak quark transitions set flavour factors, but strong hadronization and additional hadronic matrix elements are needed to determine exclusive rates.

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.

A bare Dirac mass couples left and right chirality, so the distinct electroweak representations prevent writing it as a gauge-invariant term before symmetry breaking. Instead the Yukawa interactions areWeak indices are contracted to singlets. Substituting the vacuum value gives mass matrices $M_f=Y_{f}v/\sqrt{2}$ and a physical Higgs coupling $-{\bar{f}}_L{M}_f{f}_R\sigma /v$ plus its conjugate. Biunitary diagonalization defines mass eigenstates; a mismatch between the up- and down-quark left rotations appears in the CKM matrix. Gauge-boson masses arise from the Higgs kinetic term, whereas these fermion masses arise from the Yukawa term.

With only the minimal field content there is no right-handed neutrino, so no renormalizable neutrino Yukawa term. Adding a gauge-singlet $N_R$ permits both a Dirac scale $m_D=y_{\nu }v/\sqrt{2}$ and a Majorana scale $M_R$. For one family the symmetric mass matrix in a left-chiral basis isIts signed eigenvalues are $(M_R\pm \sqrt{M_R^2+4m_D^2})/2$. Rephasing gives positive physical masses, and for $|M_R|\gg |m_D|$ the seesaw mechanism yieldsFor $m_D\sim 100\mathrm{GeV}$ and $M_R\sim 10^{14}\mathrm{GeV}$, the light scale is about $0.1\mathrm{eV}$. Integrating out the heavy state generates the dimension-five Weinberg operator, whose Higgs vacuum insertion gives the same suppression. Alternatively a Dirac neutrino can have a very small Yukawa coupling with lepton number conserved. A tiny observed neutrino mass does not by itself distinguish these mechanisms.

The SU(5) grand unified theory embeds the strong and electroweak groups in a single simple gauge group. Its 24 gauge generators contain the eight gluons, three weak generators and one hypercharge generator, plus twelve additional generators connecting color and weak directions. A common gauge coupling applies at the unification scale with the properly normalized hypercharge generator; low-energy couplings differ through their renormalization group evolution.

Using left-chiral fields throughout, one Standard Model generation fits intoThe dimensions are $3+2=5$ and $6+3+1=10$, so no right-handed neutrino is required in these multiplets. A singlet neutrino can be added. A suitable adjoint scalar vacuum breaks SU(5) to the Standard Model subgroup; a fundamental scalar contains an electroweak doublet and a colored triplet. The extra heavy vector bosons can mediate transitions between quarks and leptons, hence proton decay in the minimal model. This is a proposed unification, not an experimentally established identification of new particles.

The hierarchy problem concerns keeping an elementary weak-scale scalar light in the presence of much heavier physical scales. A heavy state coupled to it generically induces a threshold correction of order $\delta m_H^2\sim c{M}^2/(16{\pi }^2)$, with $c$ a product of couplings. Without protection, a weak-scale result then needs cancellation against a much larger parameter. In SU(5), this is sharpened by doublet-triplet splitting: the electroweak doublet must stay light while its colored partner must be sufficiently heavy to avoid rapid proton decay. Choosing a small tree-level doublet mass is not by itself a mechanism protecting it from subsequent heavy-particle corrections. Supersymmetry and other proposals change this protection problem, but the minimal SU(5) embedding alone does not solve it.

For the usual colour SU(3) fixing the fourth coordinate of the SU(4) defining representation,Taking the exterior square givesThe identification ${\Lambda }^{2}3\cong \overline{3}$ follows by contracting an antisymmetric tensor with the invariant three-index Levi-Civita symbol. Combining this with c gives all colour multiplets:A colour triplet has the color charge transformation law of a quark, an antitriplet that of an antiquark, and a colour singlet is colour-neutral, as a lepton is. Thus both parent representations permit quark-like and antiquark-like colour sectors; the vector has one neutral sector and the spinor two. These are colour assignments only. They do not determine particle spin, statistics, electric charge, weak quantum numbers or a full generation of the Standard Model. In a real parent field the conjugate colour sectors may describe one complex colour field and its conjugate, rather than independent particle species.

Global group qualification. The printed chain is correct at the Lie algebra level, $\mathfrak{su}(3)\subset \mathfrak{su}(4)\cong \mathfrak{so}(6)\subset \mathfrak{so}(7)$. Globally its simply connected form is $SU(3)\subset SU(4)\cong \mathrm{Spin}(6)\subset \mathrm{Spin}(7)$. The standard map of SU(4) into $SO(7)$ through $6\oplus 1$ has a nontrivial kernel: the concrete central element $-I_4$ acts as $+I_6$ on ${\Lambda }^{2}4$ and trivially on the singlet representation. Its image is $SO(6)\cong SU(4)/\{\pm I_4\}$, rather than an injective copy of SU(4) under this map.

The global form obstruction for the Spin7 spinor is explicit: the central element $-1$ of the Spin group $\mathrm{Spin}(7)$ maps to the identity in $SO(7)$ but acts as $-I_8$ on the eight-dimensional spin representation. Equivalently $-I_4$ acts as $-I$ on both $4$ and $\overline{4}$ in its restriction. Therefore the spinor does not descend to a genuine SO(7) group representation. A theory containing that spinor needs the Spin group global form, or must understand the source's notation as specifying only its Lie algebra. The displayed colour branchings remain valid with this correction.

The commuting direction in solution provides the correct candidate Lie algebra for a gauge group, $\mathfrak{su}(3{)}_c\oplus \mathfrak{su}(2{)}_L\oplus \mathfrak{u}(1{)}_Y$. This is a necessary structural condition for the Standard Model, but it does not by itself establish a viable grand unified theory.

The representations in solution do not give a Standard Model fermion generation with the correct weak hypercharges. Use $Q_{\mathrm{electric}}=T_3+Y$. Identifying $(3,2{)}_1$ with the left-handed quark doublet, whose weak hypercharge is $1/6$, fixes $Y=X/6$. But then the doublet in $(1,3)$ has $Y=1/6$, whereas the left-handed lepton doublet requires $Y=-1/2$. Its singlet has $Y=-1/3$, whereas a right-handed electron requires $Y=-1$. The $(\overline{3},1{)}_0$ is a further concrete mismatch: right-handed quarks written as left-handed antiquarks require $Y=-2/3$ or $1/3$, and a rescaling cannot turn zero into either value. These comparisons use the electroweak representation and hypercharge table.

The charge-$-3$ doublet in $(1,8)$ does have the required lepton weak hypercharge under this normalization, but the same Adjoint representation also brings a doublet of the opposite charge and an extra triplet. Therefore merely adding that representation does not supply the missing chiral generation without additional states and a mechanism for their masses.

Furthermore $SU(3)\times SU(3)$ is a product of two Simple Lie groups, permitting two independent gauge couplings; it does not enforce a common strong and electroweak gauge coupling. Thus the embedding exists, but the displayed matter content does not furnish a viable minimal unification of the Standard Model. A more elaborate model would require additional representations, consistent chiral matter, anomaly cancellation, and a specified spontaneous symmetry breaking mechanism. The calculations here do not prove that every possible extension using this product group is impossible.

Use the current convention in the question, whose vertex prefactor is $g/(2\cos {\theta }_W)$. The neutral-current vector and axial couplings are thenFor a charged lepton, $T_3=-1/2$, $Q=-1$, givingFor an active neutrino, $T_3=1/2$, $Q=0$, so $c_V=c_A=1/2$. The right-handed weak singlet contribution is purely vectorlike in the charge term; combining it with the left-handed contribution gives precisely this Dirac-current form. These coefficients would be halved if the vertex prefactor were $g/\cos {\theta }_W$ instead.

Let $p=k+k^{\prime }$ be the Z boson momentum and $k,k^{\prime }$ the outgoing massless lepton momenta. The decay amplitude isUse the fermion spin sums $\sum u\bar{u}=/k$ and $\sum v\bar{v}=/k^{\prime }$. Anticommutation of ${\gamma }_5$ with the Dirac gamma matrices gives the symmetric part of the trace,The vector-axial cross term is antisymmetric in $\mu ,\nu$, and hence drops out of the massive vector polarization sum. The massless equations also give $p_{\mu }{L}^{\mu \nu }=0$: in the symmetric part, the first two contractions sum to $p^{\nu }k\cdot k^{\prime }$, canceling the last; the antisymmetric term vanishes because $p=k+k^{\prime }$. The longitudinal $p_{\mu }{p}_{\nu }/m_Z^2$ term therefore makes no contribution.

Since $2k\cdot k^{\prime }=m_Z^2$, contraction with $-g_{\mu \nu }$ gives $4(c_V^2+c_A^2)m_Z^2$. Thus the massless fermion Z decay spin sum, including all three initial polarizations, isTo use this fully summed expression for the decay width of one unpolarized Z boson, apply the massive-vector spin average, dividing by three. The width of each fixed polarization is the same after integration over all directions, so that procedure also gives the physical single-particle width. Omitting the division would sum the widths of three initial states.

For two massless distinguishable final particles, the two-body Lorentz-invariant phase space isConsequentlyThe tree-level electroweak symmetry breaking relation is $m_W=m_Z\cos {\theta }_W$. Combining it with the Fermi constant normalization givesFor an active neutrino, the vertex itself projects out inactive chiralities, so no additional helicity factor is needed. This is the tree-level massless leptonic Z decay width; lepton masses and radiative corrections have been excluded.

Use the electroweak hypercharge normalization $Q=T_3+Y$, rather than $Q=T_3+\hat{Y}/2$. In the latter convention all tabulated hypercharges would be doubled. The electroweak representation and hypercharge table for one minimal Standard Model generation isThe quarks are colour triplets, the leptons are colour singlets, and all listed right-handed fields are weak singlets. A sterile right-handed neutrino, if added, has representation $(1,1{)}_0$ and changes none of the anomaly traces.

On each left weak doublet, $T_3=\mathrm{diag}(1/2,-1/2)$. The electric charges are therefore $1/6\pm 1/2=(2/3,-1/3)$ for $Q_L$ and $-1/2\pm 1/2=(0,-1)$ for $L_L$. On each right singlet $T_3=0$, so its electric charge equals its hypercharge. These are the observed quark and lepton charge assignments.

For Standard Model anomaly cancellation, traces must include both components of each doublet and all three colours. Every right weak singlet has $T_3^2=0$, givingOn the left doublets, $T_3^2=I/4$, while ${\mathrm{tr}}_L{T}_3=0$ separately in each doublet. ConsequentlyThe linear trace isEquivalently, ${\mathrm{tr}}_{L}Q=3(2/3-1/3)+(0-1)=0$. This proves cancellation of the mixed weak-hypercharge gauge anomaly within one generation.

The one-generation hypercharge anomaly traces for the cubic condition areThus both required anomaly differences vanish generation by generation. The right-handed subtraction is important: counting all physical fields with the same chirality sign would not give the cubic cancellation.

Use $Q=T_3+Y$ and $T_a={\tau }_a/2$. For each generation $r=e,\mu ,\tau$, the leptons areBoth are color singlets. The conjugate antilepton fields transform in the conjugate representations and have opposite hypercharge; they are already included by the conjugate fields in the Lagrangian. The two components of $L_r$ have electric charges $0,-1$, and $R_r$ has charge $-1$. There is no right-handed neutrino representation in this field content. These assignments use the electroweak representation and hypercharge table in the same hypercharge normalization as the scalar doublet.

For a doublet of hypercharge $Y$, defineThe $SU(2)$ term is absent for a singlet. Under the local transformation $\psi \mapsto e^{iY\omega }U\psi$, the gauge fields transform so that $D_{\mu }\psi \mapsto e^{iY\omega }U{D}_{\mu }\psi$. Consequently the required gauge-covariant kinetic terms areThe fields of definite chirality are defined with $P_{L,R}=(1\mp {\gamma }_5)/2$. Since $\bar{L}$ has hypercharge $+1/2$, the Yukawa interactionis invariant: its hypercharges add to zero, and $\bar{L}\varphi$ contracts the two doublet indices. A bare charged-lepton mass violates these assignments. No renormalizable neutrino Yukawa term is available without a right-handed neutrino. A gauge-invariant scalar potential depending on ${\varphi }^{†}\varphi$ can select the nonzero vacuum, without altering these kinetic and Yukawa constructions.

There is an explicit local unitary gauge transformation whenever $r_{\varphi }=(|{\varphi }_1{|}^2+|{\varphi }_2{|}^2{)}^{1/2}\ne 0$:Thus, with the real field $\rho =\sqrt{2}{r}_{\varphi }-v$,This proves the polar coordinates for the electroweak Higgs doublet constructively. The gauge choice is local about the nonzero vacuum; it need not be nonsingular at zeros of the doublet.

The three identical-generation kinetic terms permit unitary flavor changes. A singular value decomposition gives $U_L^{†}{Y}_{\ell }{U}_R=\mathrm{diag}(y_e,y_{\mu },y_{\tau })$ with $y_r\ge 0$. Rotate both components of each left doublet together, and the right singlets independently. In this basis,The left/right cross terms combine into this Dirac mass. Since the neutrinos have no mass matrix, their simultaneous left rotation preserves a diagonal charged current. This is charged-lepton Yukawa matrix diagonalization; the neutrinos remain massless in the stated renormalizable model.

The scalar kinetic term givesIntroduce $s_W=g^{\prime }/\sqrt{g^2+g^{\prime 2}}$ and $c_W=g/\sqrt{g^2+g^{\prime 2}}$. The combinations $W^{+}=(A_1-i{A}_2)/\sqrt{2}$, $W^{-}=(W^{+}{)}^{\ast }$, $Z=c_W{A}_3-s_{W}B$ and $A_{\gamma }=s_W{A}_3+c_{W}B$ therefore diagonalize the quadratic terms:The factor $1/2$ applies to the real neutral field, not to the complex charged field. The massless photon corresponds to the unbroken generator $T_3+Y$, which annihilates the vacuum. This gives the electroweak doublet gauge-boson mass matrix and its diagonal spectrum.

Assume $\lambda >0$ and $v>0$. The minima of the scalar potential have $|\varphi |=v$. Choose the vacuum expectation value ${\varphi }_0=v{e}_3$. Its stabilizer subgroup consists exactly of matrices $\mathrm{diag}(R_2,1)$ with $R_2\in O(2)$, soThe continuous spontaneous symmetry breaking is $SO(3)\to SO(2)$ and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: $R[A{]}_{\times }{R}^{-1}=[(\det R)RA{]}_{\times }$. The scalar field transforms as the ordinary vector $R\varphi$. This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for $\det R=-1$; assigning an ordinary-vector transformation to the connection would fail.

Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives $\varphi =(0,0,v+h)$. PutThese are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths givesThe scalar field kinetic term has no radial-vector cross term, because ${\partial }_{\mu }\varphi$ and ${\mathbf{A}}_{\mu }\times \varphi$ lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomesFor each real vector the mass term is $m^2{A}_{\mu }{A}^{\mu }/2$, while for the complex pair it is $m_W^2{W}_{\mu }^{+}{W}^{-\mu }$. Hence the adjoint triplet Higgs spectrum isThe radial scalar also has $m_h^2=\lambda v^2$ in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.

For the lepton kinetic terms let $P_L=(1-{\gamma }^5)/2$, $P_R=(1+{\gamma }^5)/2$, and denote the left neutral triplet entry by $n_L=c_{\alpha }{\nu }_L+s_{\alpha }{N}_L$. The missing singlet is the perpendicular combinationIts overall sign is immaterial. The real orthogonal matrix $\left(\begin{array}{cc}{c}_{\alpha }& s_{\alpha }\\ -s_{\alpha }& c_{\alpha }\end{array}\right)$ is orthogonal, so the sum of the kinetic terms of $n_L$ and $L^S$ is ${\bar{\nu }}_{L}i/\partial {\nu }_L+{\bar{N}}_{L}i/\partial N_L$ with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for $E^{+},N,e$, and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is $E^{+}$, as printed in the PDF, not the TeX's $N^{+}$.

To compute the charge commutator, the canonical anticommutation relations implyThe quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, $[Q_C,Q_D]=Q_{[C,D]}$. Left/right mixed commutators vanish since $P_L{P}_R=0$.

In either triplet, writeThe displayed current has a factor two relative to the projected bilinears, since $1\mp {\gamma }^5=2P_{L,R}$. Consequently its charges are $T^{+}=2(Q_K^L+Q_K^R)$ and $T^{-}=(T^{+}{)}^{†}$. The neutral combinations have canonical anticommutators because $c_{\alpha }^2+s_{\alpha }^2=1$. Applying the matrix commutator giveswhere $Q_{\ell }=e\int :(E^{+†}{E}^{+}-e^{†}e):$ is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes $J^{-}=(J^{+}{)}^{†}$; the TeX repeats $J^{+}$ incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.

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.