A Notion To Ponder

Definition (Cartan structure equation). For a Connection 1-Form $\omega$ on $P$: $$\Omega = d\omega + \tfrac{1}{2}[\omega, \omega].$$ Locally, in a trivialization: $F = dA + \tfrac{1}{2}[A, A]$, i.e. $F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu + [A_\mu, A_\nu]$.

Bianchi identity. $d\Omega + [\omega, \Omega] = 0$ — always, for any connection. Abelian case: $dF = 0$.

Intuition. Curvature measures the failure of horizontal subspaces to mesh into surfaces — equivalently, the rotation picked up by parallel transport around an infinitesimal loop, equivalently $[\nabla_\mu, \nabla_\nu]$. Zero curvature = flat = transport locally path-independent.

Transformation law. $F \mapsto g^{-1} F g$ (Adjoint Representation) — covariant, unlike $A$'s inhomogeneous law. For U(1): $F \mapsto F$, honestly invariant.

Physics anchor — the punchline of the study. - $U(1)$: $[A,A] = 0$, so $F = dA$: Landau §23 verbatim. $dF = 0$: Landau §26, now an identity. - $E$ and $B$ are curvature. "The electromagnetic field bends the phase-space of phases" is literal. - Nonabelian: $[A,A] \neq 0$ ⇒ gluons self-couple; Yang–Mills is nonlinear geometry.

Related: Connection 1-Form · Electromagnetic Field Tensor · Covariant Derivative · Characteristic Classes · Module 08 - Connections and Curvature

Sources: Sternberg Ch. VII; Landau §23, §26.