Codex @codex  0

The bino is the spin-one-half gaugino of the hypercharge $U(1{)}_Y$ gauge group. Its adjoint representation is the singlet $(1,1,0)$, so it has no hypercharge of its own. After electroweak symmetry breaking, it can mix with the neutral wino and higgsinos into neutralinos.

A singular value decomposition of the charged-lepton Yukawa matrix uses independent unitary rotations of left- and right-handed leptons. Their gauge-covariant kinetic terms are unchanged because each rotation mixes identical Standard Model representations. After electroweak symmetry breaking, the nonnegative singular values give Dirac masses $m_i=y_{i}v/\sqrt{2}$ and diagonal Higgs boson couplings $m_i/v$. When the neutrinos are massless, rotating their left-handed fields with the charged partners preserves the diagonal weak charged current.

The electroweak scale is the characteristic energy associated with electroweak symmetry breaking. With the Standard Model Higgs doublet normalized by $⟨H⟩=(0,v/\sqrt{2}{)}^T$, its vacuum expectation value satisfies $v=(\sqrt{2}{G}_F{)}^{-1/2}\simeq 246\mathrm{GeV}$ and $m_W=gv/2$. Its smallness compared with possible ultraviolet scales motivates the hierarchy problem.

In the MSSM, electroweak symmetry breaking mixes the neutral bino, wino and two neutral higgsinos into four neutral Majorana spinor mass eigenstates, the neutralinos. A neutralino can be the lightest supersymmetric particle; with conserved R-parity it then provides a stable possible dark matter candidate.

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.

Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets $Q_L^{\prime }$ transform as $(3,2,1/6)$ under $SU(3{)}_c\times SU(2{)}_L\times U(1{)}_Y$, whereas $u_R^{\prime }$ and $d_R^{\prime }$ transform as $(3,1,2/3)$ and $(3,1,-1/3)$. With a Higgs doublet $H$ and its conjugate $\tilde{H}=i{\sigma }^2{H}^{\ast }$, the gauge-invariant Yukawa interaction isThe generation indices are matrix-multiplied. Electroweak symmetry breaking, $⟨H⟩=(0,v_H/\sqrt{2}{)}^T$, produces $M_u=v_H{Y}_u/\sqrt{2}$ and $M_d=v_H{Y}_d/\sqrt{2}$.

Each complex fermion mass matrix admits a biunitary diagonalization,where the diagonal entries are real nonnegative quark masses. Define $u_L^{\prime }=U_{uL}{u}_L$ and $d_L^{\prime }=U_{dL}{d}_L$, and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomesThis unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.

Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and $U^{†}IU=I$. The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an $s\to d$ amplitude contains ${\sum }_i{V}_{is}^{\ast }{V}_{id}f(m_i^2)$. Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.

For $N$ generations a unitary matrix has $N^2$ real parameters: $N(N-1)/2$ mixing angles and $N(N+1)/2$ phases. Rephasing the $N$ up-type and $N$ down-type quark fields removes $2N-1$ phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers areTwo generations therefore give a real Cabibbo rotation,with strangeness-changing charged-current transitions suppressed by $\sin {\theta }_C$. Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.

Writing $s_{ij}=\sin {\theta }_{ij}$ and $c_{ij}=\cos {\theta }_{ij}$, a standard exact parametrization isComplex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes $V$ real. A useful invariant test is the Jarlskog invariant,A nonzero $J$ requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.

The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put ${\lambda }_W=s_{12}$, $s_{23}=A{\lambda }_W^2$, and $s_{13}{e}^{i\delta }=A{\lambda }_W^3(\rho +i\eta )$. Expanding the exact matrix givesThe observed pattern is predominantly diagonal, with $1$-$2$ mixing largest and $2$-$3$, $1$-$3$ mixing successively suppressed. The expansion implies $J\simeq A^2{\lambda }_W^6\eta$. The truncated matrix must not be treated as an exactly unitary matrix.

Column orthogonality givesThe three complex numbers form a CKM unitarity triangle, with area $|J|/2$. Dividing by $-V_{cd}{V}_{cb}^{\ast }$ puts its vertices at $0$, $1$ and $\bar{\rho }+i\bar{\eta }$, where $\bar{\rho }+i\bar{\eta }=-V_{ud}{V}_{ub}^{\ast }/(V_{cd}{V}_{cb}^{\ast })$. The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.

Semileptonic decay rates determine magnitudes of CKM entries through factors $|V_{ij}{|}^2$ once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.

There are two distinct parts of the hierarchy problem. The first asks why the scale of electroweak symmetry breaking is so much smaller than a fundamental scale such as the Planck mass. The second, the technical hierarchy problem, asks why that separation survives quantum corrections once it is chosen. With a fundamental Higgs boson, a mass term $m_H^2{H}^{†}H$ is allowed by the ordinary gauge symmetry, so heavy thresholds can contribute additive terms of order a heavy mass squared. This is different from the chiral protection of a fermion mass and the gauge protection of a vector mass.

For example, a cutoff description of the Standard Model gives the schematic one-loop sensitivityThe regulator-dependent quadratic term is not itself an observable, but a physical heavy particle of mass $M$ coupled to the Higgs likewise produces a matching correction of order coupling squared times $M^2/(16{\pi }^2)$. Maintaining $|m_H^2|\ll M^2$ then generically requires cancellation between large unrelated terms. This is the naturalness concern; changing the regulator does not eliminate the heavy-threshold issue.

Exact supersymmetry relates bosonic and fermionic couplings and masses. Their loop contributions have opposite signs, and the relations enforce supersymmetric cancellation of quadratic divergences. Boson-fermion degeneracy in a supermultiplet also transfers fermionic mass protection to its scalar partners. It is not sufficient merely to add arbitrary scalars: the supersymmetric coupling relations are what make the cancellation persist. Perturbative superpotential non-renormalization further protects holomorphic mass parameters, although wave-function renormalization still makes canonically normalized couplings run.

For a realistic separation between ordinary particles and their partners, supersymmetry must be broken. Soft supersymmetry breaking introduces masses and selected positive-mass-dimension interactions without reinstating the original ultraviolet quadratic divergence. A paired propagator difference behaves at high Euclidean momentum asso a residual scalar correction is of the orderThis soft scalar-mass sensitivity controls the technical problem if the relevant soft masses and thresholds are not too far above the weak scale. Very heavy partners can still require tuning through finite and logarithmic terms. Supersymmetric cancellations alone therefore do not guarantee a naturally small weak scale for an arbitrary broken spectrum.

The origin of the hierarchy needs further dynamics. In dynamical supersymmetry breaking, an asymptotically free hidden supersymmetry-breaking sector can generate an exponentially smaller scale by dimensional transmutation,If that sector actually has no supersymmetric vacuum, its breaking can be communicated to the visible sector to produce small soft terms. The exponential creates a hierarchy without specifying a tiny dimensionless coupling at the high scale, but the existence of breaking and its mediation are additional model-building requirements. In the MSSM, running Higgs soft masses can trigger electroweak symmetry breaking. The supersymmetric mu problem remains: the allowed superpotential mass $\mu H_u{H}_d$ must also be near the soft scale, and non-renormalization protects a chosen small $\mu$ without explaining its origin.

Extra-dimensional proposals use geometry to explain why observable gravitational and weak scales differ. In large extra dimensions, assume gravity propagates in $4+n$ dimensions with fundamental scale $M_{\ast }$, while ordinary fields are localized on a brane. Integrating the Einstein-Hilbert action over compact volume $V_n$ gives the Planck mass from compactification volume relationHere $M_{\mathrm{Pl}}$ denotes the four-dimensional reduced Planck mass. A sufficiently large internal volume lets $M_{\ast }$ be near the weak scale even though $M_{\mathrm{Pl}}$ is enormous. The Higgs need then be stable only up to the lower fundamental cutoff. This explains the weakness of long-distance gravity geometrically but trades the scale question for the origin and stabilization of a large compact volume. Ordinary matter is localized to avoid an unwanted low-mass tower of its own Kaluza-Klein modes; gravitational modes, departures from four-dimensional gravity and bulk energy loss impose phenomenological requirements.

The Randall–Sundrum model instead uses a warped five-dimensional interval, conventionally the doubled $S^1/{\mathbb{Z}}_2$ orbifold with fixed branes at $0$ and $L$:For a scalar confined to the distant brane, the kinetic and mass terms carry factors $e^{-2kL}$ and $e^{-4kL}$. Canonical rescaling therefore producesA moderately large $kL$ yields an exponentially small observable mass without a comparably large compact-volume factor. The inter-brane size is the radion, so one still needs a mechanism fixing its expectation value. Consistent curvature, brane tensions and ultraviolet physics are also part of the model. Warping is a redshift mechanism; it does not provide the same cancellation of arbitrary scalar loops as supersymmetry.

Finally, protecting a Higgs mass is not the same as solving the vacuum-energy hierarchy. Exact global supersymmetry has zero-energy supersymmetric vacua, but broken supersymmetry generically leaves vacuum energy set by its breaking dynamics. In supergravity, positive auxiliary-field contributions coexist with a negative superpotential term, and obtaining a very small cosmological constant requires further structure or cancellation. Neither soft supersymmetry nor the two geometric mechanisms automatically resolves that problem. The mechanisms can also coexist in one higher-dimensional supersymmetric theory.

Use metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$ and the hypercharge convention $Q=T^3+Y$. Then the Higgs doublet has $Y=1/2$ and transforms under electroweak gauge invariance asThe covariant derivative sign consistent with the requested expression isA convention that instead calls the doublet hypercharge one puts $Y/2$ in the charge generator and derivative; the physical coupling is the same. Here $B_{\mu }\mapsto B_{\mu }-{\partial }_{\mu }\beta /g^{\prime }$ and the matrix-valued $SU(2)$ connection transforms as $A_{\mu }\mapsto U{A}_{\mu }{U}^{-1}+(i/g)({\partial }_{\mu }U)U^{-1}$, making $D_{\mu }\varphi$ transform like $\varphi$.

In unitary gauge, the upper component of the derivative comes from the off-diagonal Pauli matrices:The lower component isWriting $c_W=\cos {\theta }_W$, $s_W=\sin {\theta }_W$, inversion of the neutral rotation gives $A^3=c_{W}Z+s_{W}A$ and $B=-s_{W}Z+c_{W}A$. Since $g^{\prime }=g\tan {\theta }_W$, the coefficient of the photon vanishes, whereas $-g{c}_W-g^{\prime }{s}_W=-g/c_W$. ThusThe zero photon coupling expresses the neutrality of the surviving radial Higgs boson.

The scalar Lagrangian density is ${\mathcal{L}}_{\varphi }=(D_{\mu }\varphi {)}^{†}{D}^{\mu }\varphi -V$. Adding $-F_{\mu \nu }^a{F}^{a\mu \nu }/4-B_{\mu \nu }{B}^{\mu \nu }/4$ gives the complete bosonic electroweak Lagrangian density. Its scalar and vector mass terms, after electroweak symmetry breaking, are obtained directly asIndeed, the shifted quartic Higgs potential normalization gives ${\varphi }^{†}\varphi -v^2/2=vH+H^2/2$. Comparing with a canonically normalized real scalar mass term, a complex vector mass term and a real vector mass term yieldsThe extra factor one half in this paper's Higgs potential is why $M_H^2$ is $\lambda v^2$, rather than $2\lambda v^2$ in another common convention. The tree-level electroweak gauge-boson masses give $\cos {\theta }_W=M_W/M_Z$: measure the two vector masses and take their ratio. Beyond tree level this extraction requires a specified renormalization convention and radiative corrections.

Expanding the vector terms gives the cubic and quartic Higgs couplings to electroweak gauge bosons:The four elementary Feynman diagrams and their all-incoming Feynman rules are shown below. Differentiating with respect to two identical $Z$ fields supplies a factor two; differentiating with respect to two identical Higgs fields supplies another factor two in the quartic rules.

There are no elementary $H\gamma \gamma$, $HZ\gamma$, $HH\gamma \gamma$ or $HHZ\gamma$ vertices in this tree-level Lagrangian density. Loop-induced photon interactions are a different order. The scalar self-interactions, if included, have rules $HHH:-3i{M}_H^2/v$ and $HHHH:-3i{M}_H^2/v^2$.

The prime LEP2 search used the Higgs boson coupling to Z bosons through Higgsstrahlung, $e^{+}{e}^{-}\to Z^{\ast }\to ZH$, shown in the first panel of the process figure in Question 3. This identifies an associated-production interaction, rather than an on-shell decay of a single $Z$ into a heavier Higgs. The channel's historical role is documented in the LEP2 Higgs-search account.

For the free charged W boson, take $W_{\mu }(x)=\int d^{4}p{e}^{-ipx}{W}_{\mu }(p)/(2\pi {)}^4$, with the conjugate field carrying $e^{ipx}$. In the action, multiplying the two field strengths gives $2[p^2{W}_{\mu }^{†}{W}^{\mu }-(p\cdot W^{†})(p\cdot W)]$. ThereforeTo invert it, separate the transverse and longitudinal projectors $P_T=g-pp/p^2$, $P_L=pp/p^2$. The operator is $(p^2-M_W^2)P_T-M_W^2{P}_L$, soSince the quadratic action kernel is $-O$, its Proca propagator isFor all momentum components small relative to $M_W$, the low-momentum limit is $D_{\mu \nu }\simeq i{g}_{\mu \nu }/M_W^2$, with corrections of relative order $p^2/M_W^2$ or $p_{\mu }{p}_{\nu }/M_W^2$. This local limit leads to the Fermi interaction, with $G_F/\sqrt{2}=g^2/(8M_W^2)$ for the charged-current normalization used here.

Use hypercharge normalized by $Q_{\mathrm{em}}=T_3+Y$, and express all matter fermions as left-handed Weyl spinors. Thus $u^c,d^c,e^c$ denote the charge conjugates of the right-handed Standard Model fermions; the superscript $c$ is unrelated to the antiparticle marker $(A)$. Each chiral superfield contains a complex scalar field and a Weyl spinor, while each vector superfield contains a gauge boson and a gaugino. The complete propagating content of the Minimal supersymmetric Standard Model before electroweak symmetry breaking is:

The marker $(A)$ means that conjugate antiparticle states must also be counted: a charged Weyl spinor has a particle helicity and a distinct antiparticle helicity, and a complex scalar field has particle and antiparticle excitations. The real adjoint gauge bosons and adjoint Majorana fermions already contain their conjugate states, so no extra marker is attached to them. For example, the charged combinations $W^{\pm }$ are both contained in the one real weak triplet. There are no right-handed-neutrino chiral superfields, no gravitino, and no propagating auxiliary fields in this field table. The matter sector has $3(6+3+3+2+1)=45$ gauge components; the two Higgs chiral doublets add four. Thus the count is $2(49)+2(12)=\boxed{122\text{ bosonic and }122\text{ fermionic on-shell states}}$, before mass effects are considered.

R-parity is the multiplicative discrete quantum number $\boxed{R_p=(-1{)}^{3(B-L)+2s}}$, with baryon number $B$, lepton number $L$ and spin $s$. Ordinary quarks, leptons, Higgs scalars and gauge bosons have $R_p=+1$; their sparticles have $R_p=-1$. For superfields the equivalent rule is matter parity $P_M=(-1{)}^{3(B-L)}$: $Q,U^c,D^c,L,E^c$ are odd, and $H_u,H_d$ and the gauge superfields are even. With $A\cdot B={ϵ}_{ab}{A}^a{B}^b$ contracting weak indices and implicit color contractions, the renormalizable R-parity-conserving MSSM superpotential isSigns of the three Yukawa couplings can be absorbed into their matrices. Every term has even matter parity and zero hypercharge; holomorphy requires the two independent Higgs chiral doublets, rather than using $H_u^{†}$ in a superpotential.

Conserved R-parity forces an even number of odd particles in a process whose incoming particles are all ordinary particles, so colliders produce sparticles in pairs or another even multiplicity. Their decay chains end in the stable lightest supersymmetric particle. A neutral, weakly interacting lightest supersymmetric particle, commonly a neutralino after electroweak symmetry breaking, escapes the detector and gives missing transverse momentum; it is also a possible dark matter constituent. Stability alone does not establish its relic abundance, and a charged or colored stable lightest supersymmetric particle is not the usual viable dark matter candidate. Conserved R-parity forbids the renormalizable interactions responsible for the decay below. It does not by itself forbid higher-dimensional proton-decay operators: the superpotential operators $QQQL/\Lambda$ and $U^c{U}^c{D}^c{E}^c/\Lambda$ have even matter parity. Thus the renormalizable R-parity-conserving MSSM protects the proton, while ultraviolet physics can still induce its decay.

The gauge-invariant renormalizable R-parity-violating superpotential isHere ${\lambda }_{ijk}=-{\lambda }_{jik}$ and ${\lambda }_{ijk}^{\prime \prime }=-{\lambda }_{ikj}^{\prime \prime }$ because of the weak and color antisymmetric contractions. The first two trilinear terms and the bilinear term violate lepton number, whereas the $U^c{D}^c{D}^c$ term violates baryon number. The $\lambda ,{\lambda }^{\prime },{\lambda }^{\prime \prime }$ are dimensionless and ${\kappa }_i$ has mass dimension one.

For a concrete squark-mediated proton decay channel, take ${\lambda }_{112}^{\prime \prime }$ and ${\lambda }_{112}^{\prime }$ nonzero. Antisymmetry allows these indices: the exchanged scalar is a strange squark, not a repeated down flavor in ${\lambda }^{\prime \prime }$. Two quarks in the proton undergo $u_R{d}_R\to {\tilde{s}}_R^{\ast }\to e^{+}\bar{u}$; the spectator $u$ combines with $\bar{u}$ into the $u\bar{u}$ component of ${\pi }^0$. The baryon-violating Feynman vertex and lepton-violating Feynman vertex give $p\to e^{+}{\pi }^0$.

At momenta small compared with the squark mass $m$, its scalar propagator is of order $m^{-2}$. Eliminating it generates a dimension-six four-fermion proton-decay operator, schematically $(u^c{d}^c{)}^{†}(eu)$, with coefficient $C\sim {\lambda }_{112}^{\prime \prime }{}^{\ast }{\lambda }_{112}^{\prime }/m^2$. Consequently the dimensionless decay amplitude is of order $C{m}_p^2$, and phase space supplies one more power of $m_p$ to the width:This is a dimensional estimate; phase-space constants and hadronic matrix elements change its coefficient, not its fourth-power dependence on $m$. For order-one couplings and $m_p\sim 1\mathrm{GeV}$, the stated lifetime limit is ${\tau }_p\gtrsim 10^{40}\times 10^{24}{\mathrm{GeV}}^{-1}=10^{64}{\mathrm{GeV}}^{-1}$. Therefore $m^4\gtrsim 10^{64}{\mathrm{GeV}}^4$, giving $\boxed{m\gtrsim 10^{16}\mathrm{GeV}}$.

Such a mass is incompatible with the intended weak-scale MSSM explanation of the hierarchy problem: squarks that cancel the Higgs-sector sensitivity to high scales must not introduce a new enormous splitting from their light quark partners. For example, $m\sim 10^3\mathrm{GeV}$ with order-one couplings would give only ${\tau }_p\sim 10^{12}{\mathrm{GeV}}^{-1}\sim 10^{-12}\mathrm{s}$. The field content alone does not mathematically prohibit extremely heavy superpartners, but that choice sacrifices the weak-scale naturalness motivation. The usual resolution is conserved R-parity, or sufficiently suppressed simultaneous baryon number and lepton number violation, rather than making the exchanged squark this heavy.

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.