Registry · Definition IV.D93 tau-effective formalized

IV.D93 — Aharonov-Bohm Phase

The Aharonov-Bohm phase for a closed loop gamma is the U(1) holonomy Phi_AB(gamma) = exp(ie oint_gamma A_mu dx^mu).

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (2)

IV.D89 IV.P52

Depended on by (3)

IV.D96 IV.T39 IV.T40

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance

Symbol: Tau.BookIV.Electroweak.AharonovbohmPhase