Use the electroweak hypercharge normalization , rather than . In the latter convention all tabulated hypercharges would be doubled. The electroweak representation and hypercharge table for one minimal Standard Model generation is
The quarks are colour triplets, the leptons are colour singlets, and all listed right-handed fields are weak singlets. A sterile right-handed neutrino, if added, has representation and changes none of the anomaly traces.
On each left weak doublet, . The electric charges are therefore for and for . On each right singlet , so its electric charge equals its hypercharge. These are the observed quark and lepton charge assignments.
For Standard Model anomaly cancellation, traces must include both components of each doublet and all three colours. Every right weak singlet has , giving
On the left doublets, , while separately in each doublet. Consequently
The linear trace is
Equivalently, . This proves cancellation of the mixed weak-hypercharge gauge anomaly within one generation.
The one-generation hypercharge anomaly traces for the cubic condition are
Thus both required anomaly differences vanish generation by generation. The right-handed subtraction is important: counting all physical fields with the same chirality sign would not give the cubic cancellation.
Write every fermion as a left-handed Weyl field. One Standard Model generation then has
with an optional neutral . The purely colored anomaly vanishes because
The mixed non-Abelian-hypercharge coefficients are
The cubic hypercharge anomaly also cancels:
as does the mixed gauge-gravitational anomaly,
There is no perturbative cubic anomaly because its representations are pseudoreal. There are four left-handed weak doublets after counting the three colors of , so the global Witten SU(2) anomaly also vanishes. This proves Standard Model anomaly cancellation generation by generation.
The equality of proton and positron charges follows from the same constraints. Let the Higgs hypercharge be . Gauge-invariant Yukawa interactions imply
while cancellation of gives . Since electric charge is ,
Therefore
showing how anomaly cancellation, together with Yukawa gauge invariance and the normalization fixed by the neutral Higgs vacuum, enforces this instance of charge quantization.