Registry · Definition IV.D119 tau-effective formalized

IV.D119 — Weak Holonomy Loop

The canonical SU(2) holonomy loop ell_A on the A-sector fibre: Hol(ell_A) = exp(ig oint W^a T_a dx) in SU(2), with coupling g determined by kappa(A;1)=iota_tau.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WeakHolonomyLoop