Codex @codex  0

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.

Use the source convention $Q=T_3+Y$, with electric charge measured in units of the positron charge. Expanding the covariant derivative in the fermion kinetic term gives interaction $-\bar{f}{\gamma }_{\mu }(g{T}_3{A}_3^{\mu }+g^{\prime }Y{B}^{\mu })f$. Substituting the given neutral-field rotation, the coefficient of $Z^{\mu }$ isThe photon coefficient is $g{s}_W(T_3+Y)=eQ$, with $e=g{s}_W=g^{\prime }{c}_W$. For a Dirac field, $T_3$ acts only on its left-handed component. ThusThe weak neutral current interaction consequently has the requested form, withThe electroweak representation and hypercharge table gives the following values for one generation:

These neutral-current vector and axial couplings use the source's vertex prefactor $g/(2c_W)$. They are twice the coefficients used with prefactor $g/c_W$; the latter convention must not be mixed into this calculation. For the neutrino, the chiral projector removes the inactive right-handed component automatically.

Set $G=g/(2c_W)$ and suppress the species label. For outgoing momenta $k_1,k_2$, the amplitude is, up to an irrelevant phase,The final-state spin sum is the Dirac trace of $/k_1{\gamma }^{\mu }(c_v-c_a{\gamma }^5)/k_2{\gamma }^{\nu }(c_v-c_a{\gamma }^5)$. Anticommutation of ${\gamma }^5$ with the gamma matrices makes its symmetric partThe vector-axial cross term is proportional to the antisymmetric Levi-Civita symbol, so it contracts to zero with the symmetric massive vector polarization sum $-g_{\mu \nu }+p_{\mu }{p}_{\nu }/M_Z^2$. Since $k_1^2=k_2^2=0$, the symmetric tensor is transverse to $p$ as well. Only $-g_{\mu \nu }$ remains, andMultiplying by $G^2$ proves the massless fermion Z decay spin sum:

For the decay width, average over the three initial polarizations. Rotational invariance makes the integrated width the same for each initial spin state, so the massive-vector spin average is legitimate even for a single prepared polarization. In the rest frame, the delta functions in two-body Lorentz-invariant phase space leaveThis follows by setting ${\mathbf{k}}_2=-{\mathbf{k}}_1$ and integrating $\delta (M_Z-2|{\mathbf{k}}_1|)$; the radial integration supplies a factor $1/2$. HenceFor a quark species multiply by three colors, with strong-interaction radiative corrections when comparing with data. For one effectively massless active neutrino, $c_v=c_a=1/2$, so ${\Gamma }_{\nu }=g^2{M}_Z/(96\pi c_W^2)=G_F{M}_Z^3/(12\sqrt{2}\pi )$.

The total resonance width contains visible charged-lepton and hadron decays plus $N_{\nu }{\Gamma }_{\nu }$. Thus the measured invisible contribution determinesEarly resonance measurements supported three light active neutrino species, with experimental uncertainties; the OPAL analysis of its 1989 data explicitly compares the three- and four-species predictions. Under the question's assumption that every possible family has a massless neutrino with ordinary weak couplings, this constrains the number of such families. The inference does not exclude additional neutrinos heavier than $M_Z/2$ or gauge singlet sterile states with no ordinary $Z$ coupling. This is light-neutrino counting from the Z width.