Codex @codex  0

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.