Parallel Transport and Holonomy

A connection integrates along a path into a comparison of its endpoint fibers. For a piecewise smooth path $\gamma:y\to x$, that comparison is a linear isomorphism

$$\mathsf P_\gamma:E_y\longrightarrow E_x.$$

For an open path, this fiber map is intrinsic, but any matrix representing it changes at both endpoints when the local frames change. For a closed path it is an automorphism of one fiber; a frame change conjugates that automorphism, so its conjugacy class, spectrum, characters, and the holonomy group up to conjugacy are the global information that survives. Curvature controls the transport around infinitesimal contractible loops, but it does not exhaust that information: a flat connection can still have nontrivial transport around a noncontractible loop.

This page constructs parallel transport intrinsically and locally, fixes the path-ordering and endpoint conventions, relates small-loop holonomy to curvature, and gives a bounded Wilson-line construction. Quantum expectation values, renormalization of line operators, area or perimeter laws, confinement, and generalized-symmetry interpretations are left to the gauge-theory treatment.

Required background. Bundle Connections, Curvature, Gauge Transformations, and Bianchi Identities. It supplies the bundle connection, its local representatives, and the active transformation law used below.

Path transport data and gauge convention

Let $E\to M$ be a smooth real or complex vector bundle with connection $\nabla$, or let $P\to M$ be a principal right $G$-bundle with principal connection. Unless stated otherwise, paths are piecewise smooth and

$$\gamma:[0,1]\longrightarrow M, \qquad y=\gamma(0), \qquad x=\gamma(1).$$

The intrinsic construction allows a general finite-dimensional Lie group and does not require a metric. For the QFT crosswalk, specialize to a compact internal gauge group in a unitary representation $R$. The site uses Hermitian generators and

$$\begin{aligned} D_R &=\mathrm d+\mathcal A_R =\mathrm d-i g_{\mathrm{YM}}A_R, \qquad A_R=A^aT_R^a, \\ \mathcal A_R &=-i g_{\mathrm{YM}}A_R, \qquad \mathcal F_R=-i g_{\mathrm{YM}}F_R. \end{aligned}$$

Thus the anti-Hermitian mathematical connection is $\mathcal A_R$, while $A_R$ is the Hermitian gauge potential. The coupling is written $g_{\mathrm{YM}}$ to distinguish it from a transition function $g_{ij}$.

Parallel transport integrates the connection

A section $s(t)\in E_{\gamma(t)}$ along $\gamma$ is parallel when

$$\nabla_{\dot\gamma(t)}s(t)=0.$$

For every initial vector $v\in E_y$, this first-order linear equation has a unique solution with $s(0)=v$. Evaluation at the other endpoint defines

$$\mathsf P_\gamma(v)=s(1).$$

On a principal bundle, the equivalent construction is the unique horizontal lift $\widetilde\gamma$ through a chosen $p\in P_y$. Its endpoint is the principal parallel transport of $p$, and right equivariance gives

$$\mathsf P_\gamma(p\mathbin{\cdot}g) = \mathsf P_\gamma(p)\mathbin{\cdot}g.$$

The associated-bundle map follows from this equivariant principal map. Nakahara 2003, §§ 10.1.4–10.2.1, pp. 381–385, develops the horizontal-lift construction, its ordered local solution, and the passage from open transport to holonomy.

Parallel transport has four structural laws. Let $c_x$ be the constant path at $x$, let $\bar\gamma$ denote $\gamma$ with reversed orientation, and define $\gamma_2\star\gamma_1$ to mean first traverse $\gamma_1:y\to z$ and then $\gamma_2:z\to x$. Then

$$\begin{aligned} \mathsf P_{c_x}&=\mathbf 1_{E_x}, & \mathsf P_{\bar\gamma}&=\mathsf P_\gamma^{-1}, \\ \mathsf P_{\gamma_2\star\gamma_1} &=\mathsf P_{\gamma_2}\mathsf P_{\gamma_1}, & \mathsf P_{\gamma\circ r}&=\mathsf P_\gamma \end{aligned}$$

for every orientation-preserving reparametrization $r$ that fixes the endpoints. The order in the composition formula is forced by the fiber types: $\mathsf P_{\gamma_1}$ acts first. These laws say that a connection assigns isomorphisms to paths in a way compatible with identities, reversal, and composition.

Nothing in this definition requires $\gamma$ to be a geodesic. A connection can transport data along any admissible path; a geodesic is the special case in which the path’s own tangent is parallel for a connection on $TM$.

The local solution is a path-ordered exponential

Choose a local frame along the path and set

$$A_{R,t} = A_\mu^a(\gamma(t))T_R^a\dot\gamma^\mu(t), \qquad \mathcal A_{R,t}=-i g_{\mathrm{YM}}A_{R,t}.$$

Write the components of a transported vector as $\psi(t)=W_R(t,0)\psi(0)$. The parallel equation is

$$0=D_t\psi = \left( \frac{\mathrm d}{\mathrm dt} -i g_{\mathrm{YM}}A_{R,t} \right)\psi,$$

so the transport matrix satisfies

$$\frac{\mathrm dW_R(t,0)}{\mathrm dt} =i g_{\mathrm{YM}}A_{R,t}W_R(t,0), \qquad W_R(0,0)=\mathbf 1.$$

Therefore

$$\boxed{ W_R[\gamma] = \mathcal P\exp\!\left(-\int_\gamma\mathcal A_R\right) = \mathcal P\exp\!\left( i g_{\mathrm{YM}}\int_\gamma A^aT_R^a \right). }$$

The minus sign in the anti-Hermitian expression and the plus sign in the Hermitian expression describe the same connection. A useful endpoint check is

$$W_R(y+\delta y,y) = \mathbf 1 +i g_{\mathrm{YM}}A_\mu(y)\delta y^\mu +O(\delta y^2).$$

To define $\mathcal P$, put $K(t)=i g_{\mathrm{YM}}A_{R,t}$. The Dyson series is

$$\begin{aligned} W_R(1,0) ={}&\mathbf 1+\int_0^1\mathrm dt_1\,K(t_1) \\ &+\int_0^1\mathrm dt_1 \int_0^{t_1}\mathrm dt_2\, K(t_1)K(t_2)+\cdots. \end{aligned}$$

Thus later parameter values multiply on the left. Path ordering may be dropped only when $[A_{R,t},A_{R,t'}]=0$ for all parameter values that occur.

For example, suppose the contraction of the connection is the constant matrix $A_1$ on a first segment of duration $\Delta t_1$ and $A_2$ on a second segment of duration $\Delta t_2$. Then

$$W_{2\star1} = e^{i g_{\mathrm{YM}}A_2\Delta t_2} e^{i g_{\mathrm{YM}}A_1\Delta t_1}.$$

Swapping the two segments swaps the two exponential factors. The results generally differ when $[A_1,A_2]\ne0$; this is already visible in the term $g_{\mathrm{YM}}^2\Delta t_1\Delta t_2[A_1,A_2]$ in their difference. This finite calculation is the same ordering content as the concatenation law.

In a unitary representation, $A_{R,t}$ is Hermitian, so $i g_{\mathrm{YM}}A_{R,t}$ is anti-Hermitian. Differentiating $W_R^\dagger W_R$ then shows that $W_R$ is unitary. That conclusion uses the unitary-representation hypothesis; the intrinsic fiber isomorphism exists without it.

Open transport is endpoint-covariant

Use the active convention $\psi^U=U_R\psi$. If $W_R(x,y)$ transports from the fiber over $y$ to the fiber over $x$, covariance of the parallel equation gives

$$\boxed{ W_R^U(x,y) = U_R(x)W_R(x,y)U_R(y)^{-1}. }$$

One can verify this directly: the matrix $U_R(\gamma(t))W_R(t,0)U_R(y)^{-1}$ obeys the transformed transport equation and has the identity as its initial value. Uniqueness of the ODE then proves the endpoint law.

This is not a defect. Intrinsically, $\mathsf P_\gamma\in\operatorname{Hom}(E_y,E_x)$, so the two endpoint frame changes must act on different sides. A bare open matrix is not gauge invariant, and its trace is not intrinsically defined when $x\ne y$: the domain and codomain are different vector spaces.

The same statement controls bundle patches. On an overlap, retain the chapter convention

$$\psi_i=\rho_R(g_{ij})\psi_j.$$

The two matrices for a path contained in that overlap obey

$$W_i(x,y) = \rho_R(g_{ij}(x)) W_j(x,y) \rho_R(g_{ij}(y))^{-1}.$$

If a path starts in an $i$-frame, crosses to a $j$-frame at $z$, and ends in the $j$-frame, its component matrix is

$$W_{j\leftarrow i}(x,y) = W_j(x,z)\, \rho_R(g_{ij}(z))^{-1}\, W_i(z,y).$$

The middle factor is the coordinate conversion at the crossing. Omitting it would make the answer depend on the chosen cover.

Check on the two-patch sphere

Continue the $U(1)$ sphere connection from the prerequisite page. On the north–south overlap,

$$a_N=a_S+n\,\mathrm d\varphi, \qquad \psi_N=e^{iqn\varphi}\psi_S, \qquad D_i=\mathrm d-iq a_i,$$

where $n,q\in\mathbb Z$. For a path segment in the overlap,

$$\begin{aligned} W_N(x,y) &=\exp\!\left(iq\int_y^x a_N\right) \\ &=e^{iqn\varphi(x)} W_S(x,y) e^{-iqn\varphi(y)}. \end{aligned}$$

This is exactly the endpoint law. The real lift $n\varphi$ is only local on the cylindrical overlap, but $e^{iqn\varphi}$ and $n\,\mathrm d\varphi$ are single-valued. Consequently, transport computed patch by patch agrees after the transition factor is inserted; no globally defined potential is needed.

Holonomy is closed-path transport up to conjugation

Let $C$ be a loop based at $x$. Then

$$W_R[C]:E_x\longrightarrow E_x$$

is an automorphism of one fiber. The holonomy group at $x$ is

$$\operatorname{Hol}_x(\nabla) = \{\mathsf P_C:C\text{ is a loop based at }x\} \subseteq \operatorname{GL}(E_x).$$

The constant, composition, and reversal laws make this set a group. On a principal bundle, choosing $u\in P_x$ identifies the endpoint of a horizontal lift by

$$\mathsf P_C(u)=u\mathbin{\cdot}h_C(u), \qquad h_C(u)\in G.$$

Changing the chosen point to $u\mathbin{\cdot}a$ gives

$$h_C(u\mathbin{\cdot}a)=a^{-1}h_C(u)a, \qquad \operatorname{Hol}_{u\cdot a} =a^{-1}\operatorname{Hol}_u a.$$

Likewise, the active gauge law for a loop is

$$W_R[C]^U =U_R(x)W_R[C]U_R(x)^{-1}.$$

Changing the base point along an open path conjugates the holonomy group by that path’s transporter. Hence a displayed group element depends on a frame and a base point, whereas its conjugacy class, eigenvalues, and characters are intrinsic. The subgroup itself is intrinsic only up to conjugation.

The restricted holonomy group uses loops homotopic through based loops to the constant loop. It captures the identity-component information. Full holonomy can additionally contain disconnected or global information from noncontractible loops. One trace in one representation is a useful class function, but it does not generally reconstruct either the entire conjugacy class or the full holonomy group.

Curvature is infinitesimal, not all, holonomy

The relation to curvature can be derived on a small coordinate rectangle. Start at $p$, traverse $+\mu$, then $+\nu$, then $-\mu$, then $-\nu$, with side lengths $\epsilon$ and $\delta$. To the order needed for the mixed area term, the four edge transporters are

$$\begin{aligned} W_1&=\mathbf1+i g_{\mathrm{YM}}A_\mu\epsilon+\cdots, \\ W_2&=\mathbf1+i g_{\mathrm{YM}} (A_\nu+\epsilon\partial_\mu A_\nu)\delta+\cdots, \\ W_3&=\mathbf1-i g_{\mathrm{YM}} (A_\mu+\delta\partial_\nu A_\mu)\epsilon+\cdots, \\ W_4&=\mathbf1-i g_{\mathrm{YM}}A_\nu\delta+\cdots, \end{aligned}$$

where the unshifted fields and derivatives are evaluated at $p$. Since the first edge acts first, the loop matrix is $W_4W_3W_2W_1$. Keeping the $\epsilon\delta$ terms gives

$$\begin{aligned} W_R[\partial\square_{\mu\nu}] &=\mathbf1+i g_{\mathrm{YM}} \bigl( \partial_\mu A_\nu- \partial_\nu A_\mu- i g_{\mathrm{YM}}[A_\mu,A_\nu] \bigr)\epsilon\delta +O(\ell^3) \\ &=\mathbf1+i g_{\mathrm{YM}}F_{\mu\nu} \epsilon\delta+O(\ell^3) \\ &=\mathbf1-\mathcal F_{\mu\nu} \epsilon\delta+O(\ell^3), \end{aligned}$$

when $\epsilon$ and $\delta$ are both of order $\ell$. Reversing the loop orientation reverses the area sign. This is the precise local statement that curvature is infinitesimal holonomy. Schwartz 2014, § 25.5, pp. 504–505 obtains the same positive sign for this orientation in a coupling-absorbed plaquette calculation.

In the unit-charge representation of an Abelian theory on a contractible patch, if $C=\partial\Sigma$ and the potential is defined over $\Sigma$, Stokes’ theorem strengthens the result to

$$W[C] = \exp\!\left( i g_{\mathrm{YM}}\int_\Sigma F \right).$$

There is no equally naive finite non-Abelian formula $\exp(i g_{\mathrm{YM}}\int_\Sigma F)$. Curvature matrices at different points must first be compared and ordered; the small-loop expansion above must not be promoted to a surface-only expression without that extra structure.

The Ambrose–Singer theorem makes the local statement precise. On a connected base, the holonomy Lie algebra at $x$ is spanned by curvature endomorphisms transported back to $x$:

$$\mathfrak{hol}_x = \operatorname{span} \left\{ \mathsf P_\eta^{-1}R_y(X,Y)\mathsf P_\eta : \eta:x\to y, \ X,Y\in T_yM \right\}.$$

Here $R=\nabla^2$ and $\mathsf P_\eta:E_x\to E_y$. In principal-bundle language, the corresponding generators are curvature values at points horizontally reachable from a chosen point in the fiber. Nakahara 2003, § 10.3.3, pp. 387–388 states this theorem; Frankel 2012, §§ 9.6–9.7, pp. 259–267 independently develops the relation between curvature, horizontal distributions, and local path dependence for affine connections.

The qualifiers matter. The theorem determines the holonomy Lie algebra, hence restricted or identity-component information. Curvature at one point alone is insufficient, and the theorem does not erase disconnected global holonomy.

Flat does not imply globally trivial

Take the trivial $U(1)$ bundle over a circle with $\theta\sim\theta+2\pi$. Use a coupling-absorbed real connection

$$a=\lambda\,\mathrm d\theta, \qquad D=\mathrm d-i a.$$

Its curvature vanishes,

$$f=\mathrm da=0,$$

but its once-around holonomy is

$$\boxed{ W[S^1] =\exp\!\left(i\oint_{S^1}a\right) =e^{2\pi i\lambda}. }$$

For $U=e^{i\chi}$, the active convention gives $a^U=a+\mathrm d\chi$. The local choice $\chi=-\lambda\theta$ would remove $a$, but it defines a single-valued map $U:S^1\to U(1)$ only if

$$e^{-2\pi i\lambda}=1, \qquad\text{equivalently}\qquad \lambda\in\mathbb Z.$$

More generally, the single-valued transformation $e^{in\theta}$ shifts $\lambda\mapsto\lambda+n$, so $\lambda\sim\lambda+n$ while the phase $e^{2\pi i\lambda}$ is unchanged. For nonintegral $\lambda$, the bundle is still trivial, but the flat connection is not gauge-equivalent to the zero connection.

This example separates two statements:

• $F=0$ makes transport locally path-independent;
• $F=0$ does not make transport globally path-independent on a nonsimply-connected base.

For a flat connection, transport with fixed endpoints depends only on the endpoint-fixed homotopy class. Based-loop transport therefore defines a monodromy representation of $\pi_1(M,x)$, up to conjugation and with multiplication ordered by the declared path-composition convention. Frankel’s discussion of the Aharonov–Bohm exterior connection in Frankel 2012, § 16.4f, pp. 446–448 gives a physical instance of the same local-flatness/global-transport distinction.

The bounded Wilson-line construction

In representation $R$, the geometric transporter is the classical Wilson-line construction

$$W_R[\gamma] = \mathcal P\exp\!\left( i g_{\mathrm{YM}} \int_\gamma A^aT_R^a \right).$$

The path, its orientation and endpoints, and the representation label are part of the definition. For a closed loop $C$, a character is

$$\mathscr W_R(C)=\operatorname{tr}_R W_R[C].$$

Some authors divide this trace by $\dim R$; that is a normalization choice. The endpoint law and cyclicity of the trace give

$$\mathscr W_R(C)^U = \operatorname{tr}_R \bigl(U_R(x)W_R[C]U_R(x)^{-1}\bigr) =\mathscr W_R(C).$$

For an open path, endpoint data can complete the covariance. If $\phi^U=U_R\phi$ in a unitary representation, then

$$\phi^\dagger(x)W_R(x,y)\phi(y)$$

is invariant under the displayed active transformations. This does not make the bare open transporter invariant; the endpoint fields are essential.

Schwartz 2014, § 25.2, pp. 488–493 constructs Abelian and non-Abelian Wilson lines, gives their endpoint transformation law, and explains why path ordering enters. The result here is deliberately kinematic. Wilson Lines and Loops develops the quantum operator treatment, including expectation values, representation and endpoint choices, and renormalization issues; later pages develop area laws, confinement, and generalized-symmetry interpretations.

Internal and spacetime transport use different connections

The same ODE pattern can act on different bundles. For a spacetime vector, an affine connection gives

$$\frac{\mathrm dV^\rho}{\mathrm dt} +\Gamma^\rho_{\mu\sigma} \dot\gamma^\mu V^\sigma=0.$$

For an internal multiplet,

$$\frac{\mathrm d\psi}{\mathrm dt} -i g_{\mathrm{YM}}A_\mu \dot\gamma^\mu\psi=0.$$

A Levi–Civita connection is selected by a spacetime metric and acts on tangent indices. An internal gauge connection is independent data and acts on representation indices; its transport and holonomy need no base metric. A field carrying both kinds of index receives the tensor-product connection and the corresponding tensor-product transport. Similar-looking ordered exponentials therefore do not identify the underlying bundles or their physical meanings.

Common pitfalls

Dropping path ordering. An ordinary exponential is valid only when the connection matrices commute along the path. Noncommuting consecutive segments multiply in traversal order, with the later segment on the left.

Calling an open transporter gauge invariant. It is an intrinsic map between two fibers, but its matrix is endpoint-covariant. A trace is natural only after the endpoints coincide or an independent endpoint identification has been supplied.

Treating a loop matrix as frame-independent. A based loop matrix changes by conjugation. Conjugacy classes, spectra, and characters are invariant; an untraced non-Abelian matrix is not.

Inferring trivial holonomy from zero curvature. Zero curvature removes local path dependence. Noncontractible loops can still carry monodromy, as the circle example shows.

Making holonomy topological without a flatness hypothesis. When curvature is nonzero, smoothly deforming a path can change its transport. Homotopy-only dependence is a property of flat connections.

Replacing finite non-Abelian holonomy by an unordered surface integral. The infinitesimal rectangle identifies the curvature term, but finite non-Abelian transport requires ordering and comparison of curvature values at different points.

Confusing transport with geodesic motion. Parallel transport is defined along arbitrary paths. A geodesic is a special equation for the tangent of a path, not a prerequisite for transporting internal or spacetime data.

Exercises

Retrieval

Let $\gamma_1:y\to z$ and $\gamma_2:z\to x$. State the composition and reversal laws, and identify what is frame-independent for a closed loop.

Solution

With $\gamma_2\star\gamma_1$ meaning first $\gamma_1$ and then $\gamma_2$,

$$\mathsf P_{\gamma_2\star\gamma_1} =\mathsf P_{\gamma_2}\mathsf P_{\gamma_1}, \qquad \mathsf P_{\bar\gamma}=\mathsf P_\gamma^{-1}.$$

For a loop, the matrix itself changes by conjugation. Its conjugacy class, spectrum, and characters are frame-independent, and the holonomy group is defined up to conjugation.

Hypothesis and counterexample

For $a=\lambda\,\mathrm d\theta$ on $S^1$, compute the curvature and holonomy. Which missing hypothesis makes the inference “flat implies gauge-equivalent to zero” fail?

Solution

One has $f=\mathrm da=0$ and $W[S^1]=e^{2\pi i\lambda}$. The would-be removing transformation $e^{-i\lambda\theta}$ is single-valued only for $\lambda\in\mathbb Z$. The missing global hypothesis is simple connectivity of the base, or an equivalent condition excluding nontrivial monodromy. A flat connection is locally pure gauge but need not be globally gauge-equivalent to zero.

Calculation and derivation

Let $W(t,0)$ obey $\dot W=i g_{\mathrm{YM}}A_tW$. Show directly that

$$\widetilde W(t,0) =U(\gamma(t))W(t,0)U(y)^{-1}$$

is the transporter for the actively transformed connection.

Solution

Differentiate $\widetilde W$ and use

$$A_t^U =UA_tU^{-1} -\frac{i}{g_{\mathrm{YM}}} \dot U U^{-1}.$$

Then

$$\begin{aligned} \dot{\widetilde W} &=\dot U WU(y)^{-1} +U(i g_{\mathrm{YM}}A_tW)U(y)^{-1} \\ &=i g_{\mathrm{YM}}A_t^U\widetilde W. \end{aligned}$$

At $t=0$, $\widetilde W(0,0)=\mathbf1$. Uniqueness of the initial-value problem therefore gives $W^U(x,y)=U(x)W(x,y)U(y)^{-1}$.

QFT transfer

For $\phi^U=U_R\phi$, compare an open $W_R(x,y)$, the endpoint-completed quantity $\phi^\dagger(x)W_R(x,y)\phi(y)$, and the closed-loop trace $\operatorname{tr}_R W_R[C]$. Which are invariant, and which questions remain outside this construction?

Solution

The bare open transporter is endpoint-covariant, not invariant. In a unitary representation the endpoint factors cancel in $\phi^\dagger(x)W_R(x,y)\phi(y)$, so it is invariant. When $C$ is closed, both endpoint transformations act at the base point and cyclicity makes $\operatorname{tr}_R W_R[C]$ invariant. Quantum expectation values, line-operator renormalization, area or perimeter laws, confinement, and generalized-symmetry interpretations require the later gauge-theory treatment.

Synthesis and continuations

A connection assigns a path-dependent isomorphism between endpoint fibers. Locally this is a path-ordered exponential; its matrix transforms at both endpoints, and transition factors make patchwise computations agree. Closing the path turns transport into holonomy. The resulting element is defined up to conjugation, while its conjugacy-invariant data and the holonomy group up to conjugation are geometric. Curvature generates infinitesimal and restricted holonomy, but the flat circle demonstrates the remaining global monodromy.

Continue according to the next question:

• Wilson Lines and Loops develops the quantum line operator, its endpoint and representation data, and its renormalization and observable content;
• Links, Plaquettes, and Gauge Invariance uses finite transporters as lattice variables and plaquette products as discrete curvature data;
• after de Rham cohomology, Characteristic Classes and Chern–Weil Theory extracts global topological information from invariant curvature polynomials.

References

• Theodore Frankel, The Geometry of Physics: An Introduction, third edition, Cambridge University Press, 2012, §§ 9.6–9.7, pp. 259–267, § 16.4f, pp. 446–448, and §§ 20.6b–20.6c, pp. 554–557. These sections relate parallel displacement, horizontal distributions, curvature, and globally detectable transport in a locally flat region.
• Mikio Nakahara, Geometry, Topology and Physics, second edition, Institute of Physics Publishing, 2003, §§ 10.1.4–10.3.3, pp. 381–388. These sections provide horizontal lifts, path-ordered transport, composition laws, holonomy, and the Ambrose–Singer theorem.
• Matthew D. Schwartz, Quantum Field Theory and the Standard Model, Cambridge University Press, 2014, § 25.2, pp. 489–493, and § 25.5, pp. 504–505. This supplies the Hermitian-generator QFT convention check for Wilson lines, endpoint covariance, path ordering, and the oriented small-plaquette limit.