Registry · Definition IV.D89 tau-effective formalized

IV.D89 — Gauge Connection

A connection on P_EM is a U(1)-equivariant horizontal-vertical splitting of TP_EM, equivalently a u(1)-valued 1-form A satisfying equivariance conditions.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

IV.D85

Depended on by (6)

IV.D90 IV.D91 IV.D93 IV.D97 IV.T37 IV.T41

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance

Symbol: Tau.BookIV.Electroweak.GaugeConnection