Registry · Definition IV.D357 tau-effective formalized

IV.D357 — Wolfenstein CP Parameters from omega-Sector Holonomy Period

Definition: The Wolfenstein CP parameters (A, rho_bar, eta_bar) have structural origins in the omega-sector holonomy of tau^1. The omega-generator (Higgs mode) has holonomy period 2*pi in its U(1) phase coordinate. rho_bar encodes the fractional winding: rho_bar = 1/(2*pi) (tau-effective, +974 ppm). A encodes the coupling strength: A = 1-(3/2)*iota_tau^2 (tau-effective, -887 ppm). eta_bar encodes the CP phase: best candidate sqrt(5)/(2*pi) (+22647 ppm, conjectural). The product A^2 * rho_bar gives the CP-violation measure J_CKM (Jarlskog invariant).

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.wolfenstein_omega_derivation