Registry · Remark IV.R359 tau-effective formalized

IV.R359 — Physical content lives in the curvature

The gauge potential A_mu is not physical (it changes under gauge transformations) while the field strength F_{mu nu} is gauge-invariant and directly measurable; its six independent components in 3+1 dimensions decompose into E and B fields via F_{0i} = E_i, F_{ij} = -epsilon_{ijk} B_k.

Book IV Part 4 Ch. 27

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.PhysicalContentLivesInTheCurvature