Registry · Definition IV.D362 tau-effective formalized

IV.D362 — Solenoidal Generator–Force Map

Map from H₁(τ³) generators to force-carrying generators: g₁ (meridional) ↔ γ (EM), g₂ (longitudinal) ↔ η (strong), g₃ (base/crossing) ↔ π (weak). Remaining generators α (gravity) and ω (Higgs) are non-compact/scalar, not winding classes. Hence |compact winding classes| = 3 = |generations|.

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.solenoidal_generator_force_map