A right-handed neutrino is a singlet of the entire Standard Model gauge group. Its same-chirality bilinear with the field obtained by charge conjugation therefore admits the displayed renormalizable Majorana mass term, in addition to a Higgs-induced Dirac mass term. It violates lepton number by two units. Analogous terms for electrically charged Standard Model fermions carry nonzero electric charge; quarks also have nontrivial color charge. The presence of a right-handed field permits mass but does not force a nonzero mass parameter.
Let , so . Direct multiplication of the Pauli matrices gives , equivalently . For this implies
Therefore transforms as the same weak fundamental representation doublet as , while complex conjugation reverses its hypercharge to . This is the Higgs conjugate doublet. The Yukawa coupling product is an singlet, and its hypercharges add to
It is consequently gauge-invariant and can supply an up-quark mass.
In unitary gauge, . Writing for the full arbitrary coefficient of the Yukawa coupling term, its physical form is
A one-generation field rephasing makes the mass positive, and its Higgs boson coupling is . The printed Yukawa expression has an additional trailing after which is never defined. If it denotes a constant, absorb it into ; in the conventional dimensionless Yukawa notation without that factor, . It does not affect the gauge-transformation argument.
For three families, use a singular value decomposition of the two mass matrices: and , with positive diagonal entries. The original left-handed weak current then becomes a current between mass eigenstates with
A complex matrix has eighteen real parameters, and 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 , 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 . The supplied charge conjugation transformations, with the fermion-reordering sign, give
For , use and the given gamma matrix relation to obtain
Under parity, the current acquires the Lorentz parity matrix and becomes . 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. Consequently
With , the interaction is . Therefore
with the transformed density evaluated at . This is the CP transformation of a charged quark current.
Physical noninvariance requires a phase that cannot be removed by quark rephasings. The invariant quartet
is the Jarlskog invariant, where and in the standard three-angle parametrization. If , no allowed row/column phases can make the matrix real, and the charged-current interaction violates CP symmetry. For example all three angles with give .
The printed noninvariance claim is conditional on a nonzero physical phase. Arbitrary Yukawa matrices do not force it: , 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 . Its Lorentz-invariant same-chirality bilinear with the field obtained by charge conjugation is therefore a gauge singlet and permits a Majorana mass term, conventionally
The factor 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.
For two independent left-handed Weyl spinors and , a Dirac mass term is
The four-component Dirac field has independent particle and antiparticle degrees of freedom; after a phase redefinition making real, the same term is . The two left-handed spinors can carry opposite charges under a conserved U(1) symmetry, , . A gauge-invariant Dirac mass term contracts conjugate gauge group representations.
For one left-handed Weyl spinor, a Majorana mass term instead has the form
Its self-contraction need not vanish, by the Weyl spinor bilinear exchange identity. The factor avoids double counting identical fields in variation. The associated four-component Majorana fermion satisfies , so its particle is its own antiparticle. A Majorana mass term breaks continuous fermion-number phase symmetry for , and is allowed only if its gauge indices admit an invariant symmetric contraction, as for a neutral field or a real gauge group representation. An isolated field of nonzero U(1) charge cannot have it. More generally, the mass matrix of several left-handed Weyl spinors is symmetric, since .
The supplied matrices are the chiral gamma-matrix representation. The Pauli matrix multiplication law implies . Block multiplication gives , , and . Hence their Clifford algebra relation is
Since partial derivatives commute, multiplying the Dirac equation by gives
Thus every component of the Dirac spinor satisfies , the Klein-Gordon equation with the same mass.
For a Lorentz transformation , set . The derivative transforms as . With the given spinor-matrix identity,
This proves the Lorentz covariance of the Dirac operator explicitly.
For parity, let and . Spatial differentiation brings a minus sign, which is canceled by . Therefore
Since is Hermitian and squares to one, the Dirac adjoint transforms as
The chirality matrix anticommutes with . The parity transformation of a Dirac bilinear consequently gives
The first bilinear is a Lorentz scalar even under parity, and the second is a pseudoscalar.
In this representation, . Its square is one, so the chiral projectors are idempotent, mutually orthogonal and sum to the identity. They select and , the two Weyl spinors. Because , a solution of the massless Dirac equation has each chiral component solving that equation separately. In two-component form,
The two chirality sectors are thus independent under massless propagation and proper Lorentz transformations. A nonzero Dirac mass term couples them, while parity exchanges them. This explains why the projectors are particularly useful in the massless theory.
Take and the hypercharge generator on the scalar. The two commuting factors of the electroweak interaction have independent invariant gauge kinetic terms and therefore independent coupling constants. Non-Abelian gauge invariance requires the same for all three generators, while the factor has its own ; no symmetry of this product group requires .
A nonzero Higgs doublet can be rotated by to
The fundamental representation acts transitively on normalized complex doublets, so this fixes an internal direction without changing the vacuum norm. A general infinitesimal generator annihilates this vacuum only if
For real parameters this means and . Thus the connected stabilizer subgroup is one-dimensional:
This proves the claimed electroweak symmetry breaking and identifies the unbroken electric charge generator.
The gauge covariant derivative is
Writing the connection as , its local transformation is . Direct substitution gives . Unitarity then proves
so the scalar kinetic term is gauge-invariant.
At the constant vacuum the gauge covariant derivative becomes
Consequently
where and
The factor is the canonical real-vector mass-term normalization; the displayed electroweak doublet gauge-boson mass matrix contains squared masses when the gauge kinetic terms are canonical.
The electric charge generator acts on gauge fields through the Adjoint representation, not through the scalar's two-by-two matrix. With , the brackets and give , , and neutral . Hence the electromagnetic charge matrix of electroweak gauge fields in the requested basis is
Choose positive gauge couplings by the gauge-field sign convention. Set and . The Weinberg angle rotation diagonalizes the neutral block, while obey . The physical electroweak gauge bosons are
The charges are in units of . Thus the tree-level electroweak gauge-boson masses satisfy , and the unbroken photon is massless.
The electron and neutrino form the left-chiral lepton doublet, while the right-chiral electron is a weak singlet. In four-component notation use chiral projectors and package
Here each entry can be obtained by projecting a Dirac field; only the indicated chirality propagates. The hypercharges follow from : gives , and gives . The minimal theory has no right-handed neutrino.
The gauge-invariant lepton kinetic Lagrangian is
If unprojected Dirac spinors are used as notation instead, insert in the first kinetic term and in the second. The inactive components are not additional physical degrees of freedom. Each term is invariant because the gauge covariant derivative transforms in the same gauge group representation as its field.
No bare Dirac mass term is possible: and vanish by opposite adjoint projectors, while a cross term has an uncontracted weak-doublet index and hypercharge . A neutrino Dirac mass would additionally require the absent right-handed field. A Majorana mass term pairs a chiral field with itself; has hypercharge and has , so neither is invariant. These statements concern quadratic masses before electroweak symmetry breaking, not masses involving scalar insertions.
For the Higgs conjugate doublet, put . The given identity exponentiates to for . Therefore
In particular its weak isospin remains while its hypercharge reverses. Since , both and transform in the trivial representation of the full gauge group. They remain a Lorentz spinor and its adjoint; gauge singlet does not mean Lorentz scalar.
Finally the Yukawa interaction
is gauge invariant: the first term has total hypercharge , and its doublet indices are contracted. At the Higgs field vacuum it becomes . Rephase to make the coefficient real and positive and assemble . Then
This explicitly generates the gauge-invariant electron Yukawa mass, without a bare mass in the unbroken theory.
Take Euclidean gamma matrices with , and independent Grassmann fields . The minimally coupled Dirac action is
Its mass term is the Dirac mass term, and the interaction is . With Fourier convention , the free kinetic operator is . The Euclidean adjoint Dirac Feynman rules are therefore
The vertex sign follows by expanding , not . Momentum conservation supplies the usual Dirac delta function at each vertex. There is only a one-gluon fermion vertex, with no two-gluon seagull because the fermionic covariant derivative is first order. A closed fermion loop has the usual fermionic sign . The identity checks the Dirac propagator.
In the convention , one Standard Model fermion generation including a right-handed neutrino is
A bare Dirac mass term pairs left- and right-handed fields in the same gauge representation, but every charged left-handed Standard Model fermion is an doublet while its right-handed partner is a singlet. The Higgs field and permit the gauge-invariant Yukawa interactions
The neutral Higgs vacuum expectation value turns them into masses after electroweak symmetry breaking.
Because is a gauge singlet, it may also have a large Majorana mass term . Together with its Dirac mass , the seesaw mechanism gives a light neutrino mass . If no right-handed neutrino is retained, the same low-energy physics is encoded by the dimension-five Weinberg operator .
Now let be an electroweak scalar triplet with . Its weights are , and electric charge is , so its components have charges
In the given matrix convention,
Thus the electromagnetic-neutral direction satisfies and .
The gauge-invariant type-II seesaw mechanism Yukawa interaction is
The two lepton doublets have total hypercharge , which is cancelled by , and the displayed contraction is a singlet. Expanding it contains
Therefore a neutral condensate preserves electromagnetism and generates a left-handed-neutrino Majorana mass term proportional to .