Registry · Definition IV.D314 tau-effective formalized

IV.D314 — Triple Holonomy --- IV.D44

The triple holonomy H_3 = (oint_{T_pi} omega_pi)*(oint_{T_gamma} omega_gamma)*(oint_{T_eta} omega_eta) is the product of holonomy integrals around the three fundamental U(1) circles in tau^3, with pi on the base and gamma, eta on the fiber; it yields the pi^3 factor in the mass ratio correction.

Book IV Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookIV.MassDerivation.HolonomyDetail

Symbol: Tau.BookIV.MassDerivation.TripleHolonomyIvd44