A Notion To Ponder

Definition. The derivative a connection induces on sections of any Associated Bundle $E = P \times_\rho V$: $$\nabla_\mu \psi = \partial_\mu \psi + \rho_*(A_\mu)\,\psi$$ where $\rho_*$ is the induced Lie Algebra representation and $A$ the local potential. Defining property: $\nabla \psi$ transforms like $\psi$ under gauge transformations — whereas $\partial\psi$ does not.

Intuition. $\partial_\mu \psi$ illegitimately compares fiber elements at neighboring points using the trivialization's identification. $\nabla$ corrects the comparison using the connection's geometric identification (parallel transport). "Covariant" = the correction makes the result meaningful.

Physics anchor. For charge-$n$ matter under U(1) ($\rho_n$: $\rho_{n*}(iA_\mu) = inA_\mu$): $$\nabla_\mu = \partial_\mu - i\frac{ne}{\hbar c}A_\mu,$$ which is Landau's Minimal Coupling $p_i \to p_i - \tfrac{e}{c}A_i$ (§17) in operator form. Minimal coupling is not a prescription — it's the unique connection-induced derivative.

Curvature from $\nabla$. $[\nabla_\mu, \nabla_\nu]\psi = \rho_*(F_{\mu\nu})\psi$: the failure of covariant derivatives to commute is the field strength. For EM: $[\nabla_\mu, \nabla_\nu] = -i\frac{e}{\hbar c}F_{\mu\nu}$.

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

Sources: Woit (covariant derivative chapter); Landau §17.