A Notion To Ponder

The problem it solves. Fibers over different points are isomorphic but not canonically identified (Tangent Space note). A connection supplies the identification infinitesimally: a $G$-equivariant choice of "horizontal" directions in $P$.

Three equivalent definitions. 1. Horizontal distribution: a smooth splitting $T_pP = V_p \oplus H_p$ at every $p$, where $V_p = \ker d\pi$ (vertical), with $H_{pg} = (R_g)_* H_p$ (equivariance). 2. Connection 1-Form: $\omega \in \Omega^1(P; \mathfrak{g})$ with $\omega(X^\#) = X$ on fundamental vertical fields and $R_g^*\omega = \mathrm{Ad}_{g^{-1}}\omega$. ($H = \ker \omega$.) 3. Local potentials: a family $A_\alpha \in \Omega^1(U_\alpha; \mathfrak{g})$, one per trivialization, gluing by $A_\beta = t_{\alpha\beta}^{-1} A_\alpha t_{\alpha\beta} + t_{\alpha\beta}^{-1} d t_{\alpha\beta}$.

Definition 3 is the physicist's gauge field; 1 is the picture; 2 is what you compute with.

Intuition. "Which path in the bundle counts as not changing." Given a curve in $M$ and a start point in the fiber, horizontality lifts it uniquely — Parallel Transport and Holonomy.

Physics anchor. For $G = U(1)$, definition 3's gluing law reduces to $A_\beta = A_\alpha + i\,d\theta_{\alpha\beta}$: Landau's four-potential with its gauge ambiguity (§16, §18). The potential is not a 1-form on $M$ — it's a connection, i.e., a patchwise family of 1-forms with specified mismatches.

Related: Connection 1-Form · Curvature 2-Form · Covariant Derivative · Parallel Transport and Holonomy · Module 08 - Connections and Curvature

Sources: Sternberg Ch. VII; Woit (gauge field chapters).