Registry · Definition IV.D83 tau-effective formalized

IV.D83 — U(1) Holonomy on T^2

The U(1) holonomy of the B-sector connection A around a closed loop on T^2 is the complex phase exp(i oint A dot dl), depending only on the homotopy class of the loop.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.U1HolonomyOnT2