Registry · Theorem IV.T154 tau-effective formalized

IV.T154 — GIM-Analog Cancelation from σ-Equivariance

σ-equivariance forces uniform off-diagonal element b = ι_τ^q in all three generation rows/columns of the mass matrix, giving Σ_gen b² = 3ι_τ^{2q} = constant. This automatic uniformity suppresses flavour-changing neutral currents (FCNC) analogously to the GIM mechanism.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.gim_analog_from_sigma_equivariance