Codex @codex  0

For the coordinate Lorentz boost $t^{\prime }=t\cosh \alpha +x\sinh \alpha$, $x^{\prime }=t\sinh \alpha +x\cosh \alpha$, the spinor convention ${\psi }^{\prime }(x^{\prime })=S\psi (x)$ gives $S=\exp (\alpha {\gamma }^5/2)$. In the Dirac field in two spacetime dimensions basis, this yields the displayed weights. The derivatives ${\partial }_t+{\partial }_x$ and ${\partial }_t-{\partial }_x$ scale by $e^{-\alpha }$ and $e^{\alpha }$, respectively, so the two kinetic terms are invariant. Opposite weights cancel in the Dirac mass term. Reversing the coordinate boost convention reverses both exponents.

The free kinetic terms of left- and right-handed Weyl fields are separately invariant under unitary group rotations in flavour space. For $N$ massless Dirac fields, the subgroup preserving common fermion number is $U(N{)}_L\times U(N{)}_R$. A common nonzero Dirac mass term couples the two chirality sectors and leaves its diagonal $U(N)$ subgroup. Gauge interactions can obstruct some of the classical axial currents through a chiral anomaly.

The massless Dirac equation in one spatial dimension separates into opposite chirality sectors. Its initial profiles evolve as ${\psi }_R(t,x)=f(x-t)$ and ${\psi }_L(t,x)=h(x+t)$, by the chain rule along the straight characteristics. Thus wave packets translate without distortion at the speed of light. A nonzero Dirac mass term couples the two sectors, so these separate rigid-translation formulas do not apply to a massive field.

A Dirac mass term pairs left- and right-handed Weyl fields in conjugate Lorentz representations. Gauge invariance requires the two chiral fields to carry matching internal quantum numbers, directly or after multiplication by a scalar field that acquires a vacuum expectation value.

For gamma matrices ${\gamma }^0={\sigma }_3$, ${\gamma }^1=i{\sigma }_1$, ${\gamma }^2=i{\sigma }_2$ and Minkowski metric $\mathrm{diag}(1,-1,-1)$, a one-axis spatial reflection acts with ${\gamma }^1$ on the two-component Dirac field. It preserves the kinetic term and reverses the Dirac mass term. Time reversal acts with ${\gamma }^2$ and includes conjugation of the operator coefficients; it has the same mass reversal. Their composition preserves a real mass. Charge conjugation can use ${\psi }_C={\gamma }^1{\psi }^{\ast }$, because ${\gamma }^{\mu }{\gamma }^1=-{\gamma }^1{\gamma }^{\mu \ast }$. The mass bilinear is charge-conjugation even when Grassmann field exchange signs are included, and the kinetic action is invariant up to a boundary term. These statements concern the classical free action.

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.

The Standard Model Higgs field is a complex $SU(2{)}_L$ doublet of hypercharge $1/2$. Its nonzero vacuum expectation value triggers the Higgs mechanism.

The Higgs field is a scalar field: its components carry internal weak isospin and hypercharge, but no spacetime spin. A complex Higgs doublet contains four real field components. The vacuum expectation value is a property of the lowest-energy state, not a gas of Higgs bosons. A Higgs boson is an excitation about that state.

Why introduce this field? A bare mass term for a gauge field generally fails to respect the local gauge symmetry. A bare Dirac mass term for a charged Standard Model fermion also joins left- and right-handed fields with different Standard Model representations. A Higgs doublet permits gauge-invariant interactions whose expansion about a nonzero vacuum expectation value supplies both masses and definite Higgs boson interactions. The field therefore links the mass problem to experimentally testable coupling relations, as illustrated by the Higgs boson coupling to Z bosons.

The scalar kinetic and potential terms depend only on the rotation-invariant combinations ${\partial }_{\mu }{\varphi }_1{\partial }^{\mu }{\varphi }_1+{\partial }_{\mu }{\varphi }_2{\partial }^{\mu }{\varphi }_2$ and ${\varphi }_1^2+{\varphi }_2^2$. They are unchanged by the constant SO(2) rotation. The Yukawa term is invariant by ii. Finally, anticommutation gives $U{\gamma }^{\mu }={\gamma }^{\mu }{U}^{-1}$, soNo derivative of $U$ appears because the parameter is global. Thus the entire classical Lagrangian density has the combined chiral symmetry.

An explicit Dirac mass term instead changes asIt is not invariant for arbitrary $\alpha$ unless $m=0$. For the concrete choice $\alpha =\pi$, the original mass term reverses sign. The invariant Yukawa term can nevertheless generate a mass after a vacuum is selected, because the scalar field transforms along with the fermions; this is spontaneous rather than explicit breaking.

For a Dirac field, the path integral is a Berezin integral over independent Grassmann fields $\psi$ and $\bar{\psi }$:The vacuum boundary conditions and the Feynman i-epsilon prescription are understood; $\mathcal{N}$ fixes the vacuum normalization. This is the vacuum generating functional without sources, rather than a finite-temperature partition function.

The Dirac adjoint transforms as $\bar{\psi }\mapsto \bar{\psi }{e}^{-i\alpha }$. For constant $\alpha$, ${\partial }_{\mu }(e^{i\alpha }\psi )=e^{i\alpha }{\partial }_{\mu }\psi$. Both the kinetic term and the Dirac mass term therefore retain their values. This proves the global phase symmetry, whose group is the unitary group $U(1)$.

In the Weyl representation of the gamma matrices, write each Dirac field as ${\psi }_i=({\ell }_{i\alpha },r_i^{\dot{\alpha }}{)}^T$, where ${\ell }_i$ and $r_i$ have opposite chirality. With the Weyl sigma matrices ${\sigma }^{\mu }=(1,\mathbf{\sigma })$ and ${\bar{\sigma }}^{\mu }=(1,-\mathbf{\sigma })$,The Dirac mass term couples the two Weyl fields. Under $\ell \mapsto U_L\ell$, $r\mapsto U_{R}r$, its first term acquires $U_L^{†}{U}_R$, so a common nonzero mass requires $U_L=U_R$. At zero mass there is no such constraint:This is the chiral flavour symmetry of massless Dirac fields. Its eight Noether currents are $j_{L,A}^{\mu }={\ell }^{†}{\bar{\sigma }}^{\mu }{T}^A\ell$ and $j_{R,A}^{\mu }=r^{†}{\sigma }^{\mu }{T}^{A}r$. The sum $j_R+j_L$ is the vector current, and $j_R-j_L$ is the axial current, for each flavour generator. This statement concerns the free theory in flat spacetime; an interacting theory can have a chiral anomaly.

For completeness, allowing the extra transformations described in part e gives four left-handed Weyl fields, $q=({\ell }_1,{\ell }_2,r_1^c,r_2^c{)}^T$, where $r_i^c$ is the left-handed charge-conjugate field of $r_i$. After integration by parts their kinetic term is $i{q}^{†}{\bar{\sigma }}^{\mu }{\partial }_{\mu }q$, whose maximal linear unitary group is $U(4)$. The symmetric mass matrix for equal Dirac masses iswith the antisymmetric spinor contraction implicit. A unitary change of basis makes $M=m{1}_4$; preserving both the kinetic term and $M$ requires $V^{†}V=V^{T}V=1_4$, hence real $V\in O(4)$. Thus the unrestricted free-theory enhancement is $U(4)$ at zero mass and $O(4)$ at equal nonzero mass; the familiar $U(2{)}_L\times U(2{)}_R$ and diagonal $U(2)$ are their common-fermion number-preserving subgroups.

The operator $({\varphi }^{†}+\varphi )\bar{\psi }\psi$ has mass dimension $1+3=4$, so $[g]=0$. It is a power-counting renormalizable Yukawa interaction between a real scalar combination and a fermion bilinear. A scalar vacuum expectation value contributes to a Dirac mass term; its fluctuations couple to the fermion pair. This is a schematic scalar–fermion theory. In a chiral gauge theory, representations must be combined gauge-invariantly, as in the Standard Model Higgs–fermion interactions. Without additional protecting symmetries, all allowed scalar counterterms must be included as well.

The left- and right-chiral components of a charged Standard Model fermion transform in different electroweak group representations. A bare Dirac mass term $-m{\bar{f}}_L{f}_R+h.c.$ is therefore not invariant under the full electroweak gauge group. The Higgs doublet supplies the missing transformation properties. With $\tilde{H}=i{\sigma }_2{H}^{\ast }$, the gauge-invariant Yukawa interactions arewhere each $Y_f$ is a flavor-space Yukawa matrix. For example, hypercharges in the down-quark term add to $-1/6+1/2-1/3=0$, while those in the up-quark term add to $-1/6-1/2+2/3=0$. Thus the Higgs and conjugate Higgs are required in different terms.

After electroweak symmetry breaking, choose unitary gauge with $H=(0,(v+h)/\sqrt{2}{)}^T$. The fermion mass matrices becomeA singular value decomposition $U_{fL}^{†}{M}_f{U}_{fR}=\mathrm{diag}(m_{f,1},m_{f,2},m_{f,3})$ defines nonnegative physical tree-level masses. The mismatch $U_{uL}^{†}{U}_{dL}$ is the Cabibbo-Kobayashi-Maskawa matrix in the weak charged current. The corresponding physical Higgs boson couples diagonally as $-(m_f/v)h\bar{f}f$ in the minimal one-doublet theory. This relates its coupling strength to each mass, but the measured Yukawa couplings remain independent input parameters: the minimal theory does not predict their hierarchy.

The minimal renormalizable Standard Model contains no right-handed neutrino, so it has neither a neutrino Dirac Yukawa term nor a gauge-invariant renormalizable left-handed Majorana mass term. Its neutrinos are massless. Observed neutrino oscillations require going beyond that minimal field content or operator set: adding right-handed singlets permits Dirac masses, while the dimension-five Weinberg operator gives a Majorana neutrino mass of order $v^2/\Lambda$ after symmetry breaking. These alternatives should be distinguished from the charged-fermion Yukawa mechanism.

Chirality distinguishes the two inequivalent Weyl spinor representations of the proper Lorentz group. For a Dirac spinor, define ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$ and the chiral projectorsThey satisfy $P_L{P}_R=0$ and $P_L+P_R=I$. Proper Lorentz transformations preserve each chiral representation, whereas parity exchanges them. Helicity instead measures the projection of spin angular momentum along momentum. For a massive particle it can change under a boost that overtakes the particle, so it must not be identified with chirality. For massless positive-energy particles the left-chiral field annihilates negative-helicity particles and creates positive-helicity antiparticles.

The Standard Model is a chiral gauge theory: left- and right-chiral fields have different gauge group representations. In the convention $Q=T_3+Y$, one generation containsThe minimal field content has no right-handed neutrino. A sterile right-handed field is a possible extension, not a required member of that minimal list. The table displays weak isospin, hypercharge and color charge assignments, not assignments of massive-particle helicity.

The weak charged current contains $\bar{\nu }{\gamma }^{\mu }{P}_{L}e{W}_{\mu }^{+}$ and its Hermitian conjugate, with coupling $g/\sqrt{2}$. Only the left-chiral lepton doublet participates, giving parity violation. Both chiralities can couple to the Z boson, but their coefficients differ:Here $T_3$ is that of the left-chiral component. For the electron, it is $-1/2$. The photon and gluon couplings of a charged massive fermion are vectorlike; this does not make the full electroweak interaction vectorlike.

A bare Dirac mass term $m\bar{\psi }\psi =m({\bar{\psi }}_L{\psi }_R+{\bar{\psi }}_R{\psi }_L)$ joins the two chiral representations. Their different electroweak quantum numbers forbid that term before electroweak symmetry breaking. A Yukawa interaction, such as $-y_e{\bar{L}}_{L}H{e}_R+h.c.$, is gauge invariant; the Higgs doublet expectation value then gives $m_e=y_{e}v/\sqrt{2}$. Up-type quarks use the conjugate doublet. Thus chirality explains the weak charge assignments, their parity violation, and why masses arise through the Higgs mechanism. The consistency of these chiral assignments also requires Standard Model anomaly cancellation.

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.

For two independent left-handed Weyl spinors $\chi$ and $\eta$, a Dirac mass term isThe four-component Dirac field ${\Psi }_D=({\chi }_{\alpha },{\bar{\eta }}^{\dot{\alpha }}{)}^T$ has independent particle and antiparticle degrees of freedom; after a phase redefinition making $m$ real, the same term is $-m{\bar{\Psi }}_D{\Psi }_D$. The two left-handed spinors can carry opposite charges under a conserved U(1) symmetry, $\chi \mapsto e^{iq\omega }\chi$, $\eta \mapsto e^{-iq\omega }\eta$. A gauge-invariant Dirac mass term contracts conjugate gauge group representations.

For one left-handed Weyl spinor, a Majorana mass term instead has the formIts self-contraction need not vanish, by the Weyl spinor bilinear exchange identity. The factor $1/2$ avoids double counting identical fields in variation. The associated four-component Majorana fermion ${\Psi }_M=({\chi }_{\alpha },{\bar{\chi }}^{\dot{\alpha }}{)}^T$ satisfies ${\Psi }_M^c={\Psi }_M$, so its particle is its own antiparticle. A Majorana mass term breaks continuous fermion-number phase symmetry for $\chi$, 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 ${\chi }_i{\chi }_j={\chi }_j{\chi }_i$.

The supplied matrices are the chiral gamma-matrix representation. The Pauli matrix multiplication law implies $\{{\sigma }^i,{\sigma }^j\}=2{\delta }^{ij}{I}_2$. Block multiplication gives $({\gamma }^0{)}^2=I_4$, $\{{\gamma }^0,{\gamma }^i\}=0$, and $\{{\gamma }^i,{\gamma }^j\}=-2{\delta }^{ij}{I}_4$. Hence their Clifford algebra relation isSince partial derivatives commute, multiplying the Dirac equation by $i{\gamma }^{\nu }{\partial }_{\nu }+m$ givesThus every component of the Dirac spinor satisfies $\boxed{(\square +m^2)\psi =0}$, the Klein-Gordon equation with the same mass.

For a Lorentz transformation $x^{\prime }=\Lambda x$, set ${\psi }^{\prime }(x^{\prime })=S(\Lambda )\psi (x)$. The derivative transforms as ${\partial }_{\mu }^{\prime }=({\Lambda }^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. With the given spinor-matrix identity,This proves the Lorentz covariance of the Dirac operator explicitly.

For parity, let $x_P=(x^0,-\mathbf{x})$ and ${\psi }_P(x)={\gamma }^0\psi (x_P)$. Spatial differentiation brings a minus sign, which is canceled by ${\gamma }^i{\gamma }^0=-{\gamma }^0{\gamma }^i$. ThereforeSince ${\gamma }^0$ is Hermitian and squares to one, the Dirac adjoint transforms asThe chirality matrix ${\gamma }^5=i{\gamma }^0{\gamma }^1{\gamma }^2{\gamma }^3$ anticommutes with ${\gamma }^0$. The parity transformation of a Dirac bilinear consequently givesThe first bilinear is a Lorentz scalar even under parity, and the second is a pseudoscalar.

In this representation, ${\gamma }^5=\mathrm{diag}(-I_2,I_2)$. Its square is one, so the chiral projectors $P_{\pm }=(1\pm {\gamma }^5)/2$ are idempotent, mutually orthogonal and sum to the identity. They select ${\psi }_L=P_{-}\psi$ and ${\psi }_R=P_{+}\psi$, the two Weyl spinors. Because ${\gamma }^{\mu }{P}_{\pm }=P_{\mp }{\gamma }^{\mu }$, 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 $T_i={\tau }_i/2$ and the hypercharge generator $Y=I_2/2$ 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 $g$ for all three $SU(2)$ generators, while the $U(1)$ factor has its own $g^{\prime }$; no symmetry of this product group requires $g=g^{\prime }$.

A nonzero Higgs doublet can be rotated by $SU(2)$ toThe 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 ifFor real parameters this means ${\alpha }_1={\alpha }_2=0$ and $\beta ={\alpha }_3$. 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 isWriting the connection as ${\mathcal{A}}_{\mu }=g{A}_{\mu }^i{T}_i+g^{\prime }{B}_{\mu }Y$, its local transformation is ${\mathcal{A}}_{\mu }^{\prime }=U{\mathcal{A}}_{\mu }{U}^{-1}-i({\partial }_{\mu }U)U^{-1}$. Direct substitution gives $D_{\mu }^{\prime }(U\varphi )=U{D}_{\mu }\varphi$. Unitarity then provesso the scalar kinetic term is gauge-invariant.

At the constant vacuum the gauge covariant derivative becomesConsequentlywhere $\mathcal{V}=(A^1,A^2,A^3,B{)}^T$ andThe factor $1/2$ 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 $U=e^{i\alpha Q}$, the brackets $[T_3,T_1]=i{T}_2$ and $[T_3,T_2]=-i{T}_1$ give $\delta A^1=\alpha A^2$, $\delta A^2=-\alpha A^1$, and neutral $A^3,B$. Hence the electromagnetic charge matrix of electroweak gauge fields in the requested basis isChoose positive gauge couplings by the gauge-field sign convention. Set $s_W=g^{\prime }/\sqrt{g^2+g^{\prime 2}}$ and $c_W=g/\sqrt{g^2+g^{\prime 2}}$. The Weinberg angle rotation diagonalizes the neutral block, while $W^{\pm }=(A^1\mp i{A}^2)/\sqrt{2}$ obey $\delta W^{\pm }=\pm i\alpha W^{\pm }$. The physical electroweak gauge bosons areThe charges are in units of $e=g{s}_W=g^{\prime }{c}_W$. Thus the tree-level electroweak gauge-boson masses satisfy $m_W=m_Z{c}_W$, 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 $P_{L,R}=(1\mp {\gamma }_5)/2$ and packageHere each entry can be obtained by projecting a Dirac field; only the indicated chirality propagates. The hypercharges follow from $Q=T_3+Y$: $(0,-1)=(1/2,-1/2)+Y_{\Psi }$ gives $Y_{\Psi }=-1/2$, and $T_3=0,Q=-1$ gives $Y_{\psi }=-1$. The minimal theory has no right-handed neutrino.

The gauge-invariant lepton kinetic Lagrangian isIf unprojected Dirac spinors are used as notation instead, insert $P_L$ in the first kinetic term and $P_R$ 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: $\bar{\Psi }\Psi$ and $\bar{\psi }\psi$ vanish by opposite adjoint projectors, while a cross term $\bar{\Psi }\psi$ has an uncontracted weak-doublet index and hypercharge $-1/2$. A neutrino Dirac mass would additionally require the absent right-handed field. A Majorana mass term pairs a chiral field with itself; ${\Psi }^T{C}^{-1}\Psi$ has hypercharge $-1$ and ${\psi }^T{C}^{-1}\psi$ has $-2$, so neither is invariant. These statements concern quadratic masses before electroweak symmetry breaking, not masses involving scalar insertions.

For the Higgs conjugate doublet, put $\epsilon =i{\tau }_2$. The given identity $\epsilon {\tau }_i^{\ast }=-{\tau }_i\epsilon$ exponentiates to $\epsilon U^{\ast }=U\epsilon$ for $U\in SU(2)$. ThereforeIn particular its weak isospin remains $T=1/2$ while its hypercharge reverses. Since $\Psi \mapsto e^{-i\beta /2}U\Psi$, both ${\varphi }^{\prime †}\Psi$ and $\bar{\Psi }{\varphi }^{\prime }$ 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 interactionis gauge invariant: the first term has total hypercharge $+1/2+1/2-1=0$, and its doublet indices are contracted. At the Higgs field vacuum it becomes $-(y_{e}v/\sqrt{2}){\bar{e}}_L{e}_R+h.c.$. Rephase $e_R$ to make the coefficient real and positive and assemble $e=e_L+e_R$. ThenThis explicitly generates the gauge-invariant electron Yukawa mass, without a bare mass in the unbroken theory.

Take Euclidean gamma matrices with $\{{\gamma }_{\mu },{\gamma }_{\nu }\}=2{\delta }_{\mu \nu }$, and independent Grassmann fields $\psi ,\bar{\psi }$. The minimally coupled Dirac action isIts mass term is the Dirac mass term, and the interaction is $-ig{\bar{\psi }}^a{\gamma }_{\mu }{A}_{\mu }^b(T_{\mathrm{ad}}^b{)}_{ac}{\psi }^c$. With Fourier convention $e^{ip\cdot x}$, the free kinetic operator is $i/p+m$. The Euclidean adjoint Dirac Feynman rules are thereforeThe vertex sign follows by expanding $e^{-S_{\psi }}$, not $e^{i{S}_{\psi }}$. 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 $-1$. The identity $(i/p+m)(-i/p+m)=(p^2+m^2)I$ checks the Dirac propagator.

In the convention $(SU(3{)}_c,SU(2{)}_L{)}_Y$, one Standard Model fermion generation including a right-handed neutrino isA 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 $SU(2{)}_L$ doublet while its right-handed partner is a singlet. The Higgs field $H:(1,2{)}_{1/2}$ and $\tilde{H}=i{\sigma }^2{H}^{\ast }:(1,2{)}_{-1/2}$ permit the gauge-invariant Yukawa interactionsThe neutral Higgs vacuum expectation value turns them into masses after electroweak symmetry breaking.

Because ${\nu }_R$ is a gauge singlet, it may also have a large Majorana mass term $M$. Together with its Dirac mass $m_D$, the seesaw mechanism gives a light neutrino mass $m_{\nu }\simeq m_D^2/M$. If no right-handed neutrino is retained, the same low-energy physics is encoded by the dimension-five Weinberg operator $(L_{L}H)(L_{L}H)/\Lambda$.

Now let $\varphi$ be an electroweak scalar triplet with $Y=1$. Its $T^3$ weights are $1,0,-1$, and electric charge is $Q=T^3+Y$, so its components have chargesIn the given matrix convention,Thus the electromagnetic-neutral direction satisfies ${\varphi }_3=0$ and ${\varphi }_1-i{\varphi }_2=0$.

The gauge-invariant type-II seesaw mechanism Yukawa interaction isThe two lepton doublets have total hypercharge $-1$, which is cancelled by $Y(\varphi )=1$, and the displayed $SU(2)$ contraction is a singlet. Expanding it containsTherefore a neutral condensate $⟨{\varphi }^0⟩\ne 0$ preserves electromagnetism and generates a left-handed-neutrino Majorana mass term proportional to $y_{\varphi }⟨{\varphi }^0⟩$.