Registry · Definition IV.D363 conjectural formalized

IV.D363 — Quarter-Lobe Holonomy: ι_τ Exponent -1/4 = -1/(2·|lobes|)

Quarter-lobe holonomy: the exponent -1/4 in η̄ = ι_τ^(-1/4)·κ_D^(5/4)/√5 derives from -1/(2·|lobes|) where |lobes|=2 for L=S¹∨S¹. Full lobe traversal gives holonomy ι_τ^(-1); quarter-revolution = (ι_τ^(-1))^(1/4). CP violation requires partial traversal (full period = identity). The 4-fold division: 2 lobes × 2 polarities (χ_+/χ_-) = 4 CKM entries in Jarlskog.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.quarter_lobe_holonomy