Registry · Definition IV.D96 tau-effective formalized

IV.D96 — Wilson Loop

The Wilson loop W(gamma) = tr Hol(gamma) is the trace of the holonomy in a given representation; for U(1) it equals the AB phase.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

IV.D93

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.WilsonLoop