Registry · Definition IV.D197 tau-effective formalized

IV.D197 — Quark winding classes

The six quarks are assigned to three winding classes on T^2 with shape ratio iota_tau: Class (1,0) for Generation 1 (u, d) with eigenvalue beta = 1, Class (0,1) for Generation 2 (c, s) with eigenvalue beta = iota_tau^(-1), and Class (1,1) for Generation 3 (t, b) with eigenvalue beta = iota_tau^(-2).

Book IV Part 6 Ch. 46

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.QuarkWindingClasses