Registry · Definition IV.D98 tau-effective formalized

IV.D98 — EM Gauge Bundle

The EM gauge bundle P_EM -> tau^3 is the U(1) principal bundle obtained by restricting the boundary holonomy algebra to the B-sector.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

IV.D02 IV.D85

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.EmGaugeBundle