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$.

At momentum transfers small compared with $M_W$, the two weak charged current vertices each carry $g/(2\sqrt{2})$ when written with $(1-{\gamma }_5)$, and the W boson propagator reduces to a local factor proportional to $1/M_W^2$. Matching their product to the Fermi interaction gives, at tree level,The Fermi constant is thus determined by the electroweak coupling and symmetry-breaking scale; the four-fermion description is a low-energy effective interaction.

Only the cross term $J_L^{†}{J}_H$ can annihilate the pion and create the stated charged-lepton/antineutrino pair. Its leptonic matrix element is ${\bar{u}}_e(k){\gamma }^{\mu }(1-{\gamma }_5)v_{\nu }(q)$. Lorentz covariance permits a vacuum-to-spin-zero current matrix element only proportional to $p^{\mu }$. At rest this has only a temporal component. The vacuum is parity-even and the pion is parity-odd, while $V_H^0$ is parity-even, so $⟨0|V_H^0|\pi ⟩$ equals its own negative and vanishes. Lorentz covariance then makes the full vector matrix element vanish. The temporal axial current is parity-odd and is allowed: this is the vacuum-to-pseudoscalar current selection rule.

The minus sign in $J_H=V_H-A_H$ cancels the interaction's minus sign, up to an irrelevant common S-matrix phase. ThereforeThe pion decay constant convention here includes the given $\sqrt{2}$ in its current matrix element. Momentum conservation and the external Dirac equations give $p=k+q$, ${\bar{u}}_e/k=m_e{\bar{u}}_e$, $/q{v}_{\nu }=0$. Since $/q(1-{\gamma }_5)=(1+{\gamma }_5)/q$, the neutrino term vanishes andThis is helicity suppression: the amplitude vanishes in the zero charged-lepton-mass limit despite the larger available phase space.

For the spin sum, the Dirac adjoint of $1-{\gamma }_5$ is $1+{\gamma }_5$, and the completeness relations giveThe chiral projectors automatically eliminate the unused neutrino helicity when the full massless completeness relation is inserted. There is no initial spin average for a spin-zero pion.

In the pion rest frame, let $r=|\mathbf{k}|=|\mathbf{q}|$, $E=\sqrt{r^2+m_e^2}$. After integrating the spatial delta function and angles, the two-body Lorentz-invariant phase space becomesThe root is $r_{\ast }=(m_{\pi }^2-m_e^2)/(2m_{\pi })$ and $E_{\ast }=(m_{\pi }^2+m_e^2)/(2m_{\pi })$. The absolute derivative of the delta-function argument is $r_{\ast }/E_{\ast }+1=m_{\pi }/E_{\ast }$. Thus ${\Phi }_2=r_{\ast }/(4\pi m_{\pi })$. Multiplying by the spin sum and the initial factor $1/(2m_{\pi })$ yields the leptonic pseudoscalar decay widthIf the decay constant were instead defined by a matrix element $i{f}_{\pi }{p}^{\mu }$ without $\sqrt{2}$, then $f_{\pi }=\sqrt{2}{F}_{\pi }$ and the width coefficient would be $f_{\pi }^2/(8\pi )$; mixing these conventions would introduce a factor-of-two error.

The same derivation for a muon cancels the common hadronic and weak factors in the pion electron-to-muon decay ratio:The numerical value uses approximate masses $0.511,105.66,139.57$ MeV. Agreement with the corresponding Standard Model prediction tests lepton universality and the chiral, helicity-suppressing structure of the weak charged current, rather than the poorly calculable hadronic decay constant. A difference in the electron and muon weak couplings would multiply the ratio by their squared coupling ratio. Precision agreement must be assessed after radiative corrections, with matching photon-inclusive experimental definitions; the displayed tree-level ratio is not itself the radiatively corrected precision prediction.

The product of leptonic weak charged currents in the Fermi interaction contains four-fermion cross terms such asThis produces ${\mu }^{-}\to e^{-}+{\bar{\nu }}_e+{\nu }_{\mu }$, and the same interaction permits neutrino-electron scattering and inverse muon decay. Pure electromagnetic interactions have no neutrino coupling and preserve the separate charged-lepton species, so cannot produce these processes by themselves. The factor $1-{\gamma }_5=2P_L$ fixes the chiral structure of the weak charged current.

The pion is a pseudoscalar with negative parity, while the strong-interaction vacuum is parity even. Lorentz covariance restricts a vacuum-to-pion vector-current matrix element to $a{p}^{\alpha }$. In the pion rest frame only its temporal component could be nonzero, but a vector current's temporal component is parity even, whereas the pion is parity odd. The matrix element therefore equals its negative and vanishes. The temporal component of an axial current is parity odd, so its matrix element is allowed and Lorentz covariance fixes it to a constant times $p^{\alpha }$. Defining the pion decay constant in the printed normalization givesThis proves both the vector-current exclusion and the axial-current form; $F_{\pi }$ itself is a strong-interaction parameter, not fixed by symmetry.

The cross term $J_{\mathrm{leptons}}^{\alpha †}{J}_{\alpha }^{\mathrm{hadrons}}$ gives, up to an irrelevant overall phase, the decay amplitudeTake the antineutrino mass to be zero. Since $p=k+q$, ${\bar{u}}_e/k=m_e{\bar{u}}_e$, and $/q{v}_{\nu }=0$, anticommutation with ${\gamma }_5$ givesThe amplitude has helicity suppression by one power of the charged-lepton mass.

Using the external spin sums, with no initial spin average for a spin-zero pion,The middle equality follows from $(1-{\gamma }_5)/q=/q(1+{\gamma }_5)$, $(1+{\gamma }_5{)}^2=2(1+{\gamma }_5)$, and the gamma matrix trace identities. Summing a full massless neutrino spin basis introduces no factor of two: the current projector annihilates the inactive helicity.

For completeness, evaluate the two-body Lorentz-invariant phase space in the pion rest frame. Its three-momentum delta function sets $\mathbf{q}=-\mathbf{k}$, and the energy delta function is $\delta (M_{\pi }-\sqrt{|\mathbf{k}{|}^2+m_e^2}-|\mathbf{k}|)$. The radial root isCombining its derivative with $1/(4E_k|\mathbf{k}|)$ and integrating solid angle givesThe invariant squared amplitude is independent of direction, so the supplied decay formula yields the leptonic pseudoscalar decay widthThe denominator is $4\pi$ because the matrix element contains $\sqrt{2}{F}_{\pi }$. With the alternative definition $f_{\pi }=\sqrt{2}{F}_{\pi }$, the same width is $G_F^2{f}_{\pi }^2{M}_{\pi }{m}_e^2(1-m_e^2/M_{\pi }^2{)}^2/(8\pi )$. In either convention it vanishes as $m_e\to 0$.

Replacing the electron by a muon gives the same hadronic factor and weak coupling. Hence the pion electron-to-muon decay ratio isThis is a tree-level result with massless neutrinos. The cancellation of $F_{\pi }$ and $G_F$ makes the ratio a clean test of the predicted helicity suppression and electron–muon universality in the chiral weak charged current. For example, scalar or pseudoscalar four-fermion interactions could remove the charged-lepton mass factor and substantially enhance the electron mode. Radiative corrections are required for a precision experimental comparison.

With two quark generations, the charged hadronic current containsA $K^{-}$ contains $s\bar{u}$, so its annihilation into the lepton pair selects the term proportional to $\sin {\theta }_C$. Strong strangeness conservation excludes the $d$ term from its vacuum matrix element. Its amplitude is thus multiplied by $\sin {\theta }_C$ and its width by ${\sin }^2{\theta }_C$:Here $F_K$ is the pure strong-interaction decay constant in the same square-root-of-two convention. If the pion current's quark mixing coefficient is also shown explicitly, its width carries ${\cos }^2{\theta }_C$; it is already absorbed if the stated pion matrix element uses the full weak current. Thus the isolated weak-factor ratio is ${\tan }^2{\theta }_C$, while the kaon suppression relative to unit weak coupling is the requested Cabibbo suppression factor ${\sin }^2{\theta }_C$.

At tree level with universal weak charged current coupling and massless neutrinos, the leptonic pseudoscalar decay width gives the displayed ratio. The pion decay constant, Fermi constant and common quark mixing coefficient cancel. The charged-lepton mass factor is helicity suppression: a spin-zero parent cannot emit the two massless helicities selected by the chiral weak interaction. The ratio tests this suppression and lepton universality; scalar or pseudoscalar four-fermion interactions can modify it. Radiative corrections must be included for a precision comparison.