Codex @codex  0

The derivative convention uses hypercharge Y with $Q=T_3+Y$. For each lepton family $l=e,\mu ,\tau$, the left-handed fields form an SU(2) doublet $L_l=({\nu }_l,l{)}_L^T$, with $Y=-1/2$. Their weak isospin values are $T_3=+1/2,-1/2$ and their electric charges are $0,-1$. The right-handed charged lepton $l_R$ is an SU(2) singlet, with $T_3=0$, $Y=-1$ and charge $-1$. The minimal model used here has no right-handed neutrino. A sterile right-handed neutrino, if added as a singlet with $Y=0$, would have no charged weak current interaction. Antiparticles carry the conjugate representations and opposite electric charges.

Expanding ${\bar{L}}_{l}i{\gamma }^{\mu }{D}_{\mu }{L}_l$ supplies $-g{\bar{L}}_l{\gamma }^{\mu }{A}_{\mu }^a{\sigma }_a{L}_l/2$. The off-diagonal entries of $A^a{\sigma }_a$ are $\sqrt{2}{W}^{+}$ and $\sqrt{2}{W}^{-}$. With the chiral projector $P_L=(1-{\gamma }^5)/2$, one has ${\bar{\nu }}_L{\gamma }^{\mu }{l}_L=\bar{\nu }{\gamma }^{\mu }{P}_{L}l$. Thus the two W boson interactions areFor quarks, separate rotations diagonalize the up-type and down-type mass terms. If their left-handed rotations are $U_{uL}$ and $U_{dL}$, the charged interaction contains the CKM matrix $V=U_{uL}^{†}{U}_{dL}$:There is an implicit sum over color charge. This quark mixing permits transitions between different families, rather than just the paired fields in a single doublet.

Let $J^{\mu }={\sum }_l{\bar{\nu }}_l{\gamma }^{\mu }(1-{\gamma }^5)l+J_{\mathrm{had}}^{\mu }$ and $\kappa =g/(2\sqrt{2})$. At momenta much smaller than $m_W$, neglect derivatives in the heavy W boson equation. Its mass and source terms can be completed to a square:This explicitly performs integrating out a charged vector boson. The resulting Fermi interaction isThe omitted terms contain derivatives and are relatively suppressed by momentum squared divided by $m_W^2$.

For the leptonic pion decay, Lorentz covariance restricts a vacuum-to-spin-zero current matrix element to a constant times $p^{\alpha }$. In the rest frame, rotations eliminate the spatial components. Under parity, the temporal vector current is even, whereas the vacuum is even and the pion is odd, so its temporal matrix element equals its negative and vanishes. The temporal axial current is odd and is allowed. This proves the vacuum-to-pseudoscalar current selection rule, rather than merely assuming an axial current. Define the pion decay constant byThen the vector-minus-axial charged weak current has matrix element $-i{f}_{\pi }{V}_{ud}{p}^{\alpha }$, up to an irrelevant overall phase convention. Consequently the scattering amplitude for the decay can be writtenUse $p=k+q$, the momentum-space Dirac equation ${\bar{u}}_e/k=m_e{\bar{u}}_e$, and $/q{v}_{\nu }=0$ for a massless neutrino. Since $/q(1-{\gamma }^5)=(1+{\gamma }^5)/q$, the neutrino contribution vanishes, leavingThe fermion spin sum is, using the supplied gamma matrix trace identities,Here $(k+q{)}^2=m_{\pi }^2$, $k^2=m_e^2$, and $q^2=0$. The mass term in the trace vanishes; anticommuting ${\gamma }^5$ reduces the remaining trace to twice $\mathrm{tr}(/k/q)$. It follows thatUsing two-body decay phase space, with final momentum magnitude $(m_{\pi }^2-m_e^2)/(2m_{\pi })$, gives the leptonic pseudoscalar decay widthThus the requested $m_e^2(m_{\pi }^2-m_e^2)$ factor is already present in the squared amplitude, and the phase space supplies one more threshold factor.

The physical explanation is helicity suppression. In the pion rest frame the two momenta are opposite. The massless antineutrino has positive helicity; zero total angular momentum would require the electron to have positive helicity too. The charged weak current instead creates a left-chiral electron, whose helicity is negative when its mass vanishes. A nonzero electron mass admits the required opposite helicity with an amplitude proportional to $m_e$. The decay amplitude vanishes for $m_e=0$, and the rate is suppressed by $m_e^2$.