Registry · Remark IV.R362 tau-effective formalized

IV.R362 — The AB effect as an observable

The Aharonov-Bohm effect proves a strict hierarchy: A_mu (not observable) -> F_{mu nu} (locally observable) -> W(gamma) Wilson loops (globally observable); configurations exist with F = 0 everywhere but W(gamma) != 1, so curvature alone does not determine the bundle.

Book IV Part 4 Ch. 27

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.TheAbEffectAsAnObservable