Registry · Definition IV.D127 tau-effective formalized

IV.D127 — τ-Hypercharge

τ-hypercharge Y := 2(Q - T_3), derived as an accounting device from EM holonomy eigenvalue Q and weak isospin T_3, not a new fundamental quantum number.

Book IV Part 4 Ch. 33

Dependency Graph

Depends on (2)

IV.D05 IV.D06

Depended on by (2)

IV.D128 IV.T53

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWMixing

Symbol: Tau.BookIV.Electroweak.Hypercharge