Registry · Theorem
IV.T140
tau-effective
formalized
IV.T140 — Window Universality — W₃(4)=5
The NLO modulus for all three EW observables is W_3(4)=5: it appears as numerator in sin2_W NLO (5/7), as numerator in M_W NLO (5/17), and as denominator in alpha_s NLO (-iota^2/5). Universal NLO modulus: W_3(4)=a4+a5+a6=3+1+1=5.
Book IV
Part 3
Ch. 27