Skip to content

Connections and Curvature

A connection is a rule for differentiating and comparing data that live in different fibers over a manifold. Curvature measures the failure of that comparison rule to be path independent.

The slogan is:

A connection tells you how to move nearby; curvature tells you whether small loops come back unchanged.

This page gives the local formulas needed for Berry connections, gauge potentials, tangent-vector transport, and later topology pages. It uses the word “fiber” informally: a fiber is a vector space or phase line attached to each point of a base manifold. The full bundle language is introduced in Fiber Bundles, First Look.

Quantum mechanics often attaches extra data to each point of a parameter space:

  • an instantaneous eigenspace of a Hamiltonian H(R)H(R);
  • a normalized eigenvector chosen up to phase;
  • a local spin frame or polarization frame;
  • a vector in a tangent space over a curved configuration space;
  • a gauge-dependent phase convention for a family of states.

The base point may move along a curve R(t)R(t), but the attached vector spaces at different points are not automatically the same object. A connection supplies the additional rule needed to say whether a state, vector, or frame has been kept “parallel” as the base point changes.

This is why Berry phase is not only an integral trick. It is a holonomy of a connection: after transporting a phase convention around a closed loop, the state can return to the same ray with a nontrivial phase.

For a scalar function ff on a manifold, the ordinary differential dfdf is intrinsic. For a vector-like object ss whose components live in a fiber, differentiating the component functions is not enough, because a change of local frame changes the meaning of those components.

Let eae_a be a local frame for the fibers, and write a section as

s=saea.s=s^a e_a.

A connection specifies how the frame itself changes:

∇iea=Γbiaeb.\nabla_i e_a = \Gamma^b{}_{ia}e_b.

Here ∇i\nabla_i means covariant differentiation in the coordinate direction ∂i\partial_i, and the coefficients Γbia\Gamma^b{}_{ia} are the local connection coefficients.

The covariant derivative of ss is then

∇is=(∂isb+Γbiasa)eb.\nabla_i s = \left( \partial_i s^b+\Gamma^b{}_{ia}s^a \right)e_b.

The first term differentiates the component functions. The second term corrects for the change of frame.

It is often cleaner to package the coefficients into a matrix-valued one-form:

Γba=Γbia dxi.\Gamma^b{}_a = \Gamma^b{}_{ia}\,dx^i.

In matrix notation,

∇s=ds+Γs.\nabla s = ds+\Gamma s.

This compact expression should be read in a chosen local frame. Under a frame change, Γ\Gamma changes by a transformation law that includes an inhomogeneous derivative term. For that reason, connection coefficients are not tensor components.

The covariant derivative ∇s\nabla s, however, is geometric once the connection has been chosen.

For the tangent bundle of a manifold, a vector field is written

V=Vi∂i.V=V^i\partial_i.

A connection on the tangent bundle is locally described by coefficients Γkij\Gamma^k{}_{ij}:

∇i∂j=Γkij∂k.\nabla_i\partial_j = \Gamma^k{}_{ij}\partial_k.

Therefore

∇iVk=∂iVk+ΓkijVj.\nabla_i V^k = \partial_i V^k+\Gamma^k{}_{ij}V^j.

If the manifold has a Riemannian metric, the most common connection is the Levi-Civita connection, which is the unique torsion-free connection compatible with the metric. But a connection is not automatic from the smooth manifold alone. It is extra structure, unless a metric or gauge principle specifies it.

Let γ(t)\gamma(t) be a path with local coordinates xi(t)x^i(t). A section s(t)s(t) along the path is parallel transported if

∇γ˙s=0.\nabla_{\dot\gamma}s=0.

In components this is the ordinary differential equation

dsbdt+x˙i(t)Γbia(x(t))sa(t)=0.\frac{ds^b}{dt} + \dot x^i(t)\Gamma^b{}_{ia}(x(t))s^a(t) = 0.

Thus a connection turns a path into a transport rule. Parallel Transport focuses on the path-ordered solution and the geometric-phase intuition. For this page, the important point is that parallel transport is not defined before a connection is specified.

Curvature as Noncommuting Covariant Derivatives

Section titled “Curvature as Noncommuting Covariant Derivatives”

Curvature measures the failure of covariant derivatives to commute. In a vector bundle, the curvature acts on a section by

[∇i,∇j]s=Fijs,[\nabla_i,\nabla_j]s = F_{ij}s,

where FijF_{ij} is matrix-valued in the fiber indices.

Using connection one-forms, the curvature two-form is

F=dΓ+Γ∧Γ.F = d\Gamma+\Gamma\wedge\Gamma.

In components,

Fba=12Fbaij dxi∧dxj,F^b{}_a = \frac12 F^b{}_{aij}\,dx^i\wedge dx^j,

with

Fbaij=∂iΓbja−∂jΓbia+ΓbicΓcja−ΓbjcΓcia.\begin{aligned} F^b{}_{aij} &= \partial_i\Gamma^b{}_{ja} - \partial_j\Gamma^b{}_{ia}\\ &\quad+ \Gamma^b{}_{ic}\Gamma^c{}_{ja} - \Gamma^b{}_{jc}\Gamma^c{}_{ia}. \end{aligned}

The derivative terms say that the local connection changes from point to point. The quadratic terms say that different fiber rotations may fail to commute.

Sign and index conventions vary across geometry, gauge theory, and relativity. This page uses the convention in which F=dΓ+Γ∧ΓF=d\Gamma+\Gamma\wedge\Gamma and [∇i,∇j]s=Fijs[\nabla_i,\nabla_j]s=F_{ij}s.

For a complex line bundle or a U(1) phase convention, the fiber is one-dimensional. The connection is an ordinary one-form, usually written AA, and the matrix commutator part disappears:

F=dA.F=dA.

This is the case behind the simplest Berry connection. It is also the differential-form pattern behind electromagnetism, where a gauge potential one-form has a field-strength two-form.

Because d2=0d^2=0, a gauge shift of the form

A↦A−dχA\mapsto A-d\chi

leaves the curvature invariant:

d(A−dχ)=dA.d(A-d\chi) = dA.

The connection is gauge dependent. The curvature is gauge invariant in the abelian case.

Suppose a Hamiltonian H(R)H(R) has a smooth nondegenerate normalized eigenstate

H(R)∣n(R)⟩=En(R)∣n(R)⟩H(R)\lvert n(R)\rangle = E_n(R)\lvert n(R)\rangle

on a patch of parameter space. The eigenstate is not unique: it may be changed by a parameter-dependent phase,

∣n(R)⟩↦eiχ(R)∣n(R)⟩.\lvert n(R)\rangle \mapsto e^{i\chi(R)}\lvert n(R)\rangle.

The local Berry connection one-form is

An=i⟨n(R)∣dn(R)⟩.A_n = i\langle n(R)\rvert d n(R)\rangle.

In coordinates,

An=Ai(n)(R) dRi,Ai(n)=i⟨n(R)∣∂in(R)⟩.A_n = A_i^{(n)}(R)\,dR^i, \qquad A_i^{(n)} = i\langle n(R)\rvert\partial_i n(R)\rangle.

Under the phase change above,

An↦An−dχ.A_n\mapsto A_n-d\chi.

The Berry curvature is therefore

Fn=dAn.F_n=dA_n.

In coordinates,

Fn=12Fij(n) dRi∧dRj,F_n = \frac12 F_{ij}^{(n)}\,dR^i\wedge dR^j,

where

Fij(n)=∂iAj(n)−∂jAi(n).F_{ij}^{(n)} = \partial_iA_j^{(n)} - \partial_jA_i^{(n)}.

The physical adiabatic phase around a loop is discussed in Berry Phase. The page Berry Connection as a Mathematical Object owns the Berry-specific connection one-form, gauge law, and projector formulas. The present page owns the general connection-and-curvature language.

Curvature can be detected by transporting around an infinitesimal loop. In a local coordinate patch, take a tiny rectangle spanned by coordinate displacements δxi\delta x^i and δxj\delta x^j. Parallel transport around the rectangle returns a section approximately as

s↦s−Fijs δxiδxjs \mapsto s - F_{ij}s\,\delta x^i\delta x^j

up to convention-dependent orientation signs and higher-order terms.

The operational meaning is simple: if curvature vanishes on a simply connected patch, parallel transport is locally path independent after a suitable choice of frame. If curvature is nonzero, two nearby routes between the same endpoints generally give different fiber data.

Global topology can still matter when curvature vanishes locally. A flat connection on a space with noncontractible loops can have nontrivial holonomy, and winding is the simplest way to label such loop classes. Topological invariants are one reason topology and gauge structure cannot be replaced by local curvature alone.

Worked Example: Constant Abelian Curvature

Section titled “Worked Example: Constant Abelian Curvature”

On the xyxy-plane, define the one-form

A=B2(−y dx+x dy).A = \frac{B}{2} \left( -y\,dx+x\,dy \right).

Compute its curvature:

F=dA=B2(−dy∧dx+dx∧dy)=B dx∧dy.\begin{aligned} F &= dA\\ &= \frac{B}{2} \left( -dy\wedge dx+dx\wedge dy \right)\\ &= B\,dx\wedge dy. \end{aligned}

The connection one-form AA depends on a gauge choice. The curvature two-form FF is the invariant local flux density.

For a rectangle Σ=[0,Lx]×[0,Ly]\Sigma=[0,L_x]\times[0,L_y] with the standard orientation,

∫ΣF=BLxLy.\int_\Sigma F = BL_xL_y.

If AA is smooth on the rectangle, Stokes theorem gives

∮∂ΣA=∫ΣF=BLxLy.\oint_{\partial\Sigma}A = \int_\Sigma F = BL_xL_y.

This is the prototype for “phase equals curvature flux” formulas.

Sphere Example: Curvature Without a Global Frame

Section titled “Sphere Example: Curvature Without a Global Frame”

On a sphere, a tangent vector can be parallel transported along a curve using the Levi-Civita connection. Around a closed loop, the vector may return rotated relative to its initial direction. The rotation is determined by the curvature enclosed by the loop, with orientation and sign conventions fixed by the transport rule.

This example is useful for Berry phase intuition because it shows that local rules can produce global effects around loops. But the analogy should be handled carefully: the Levi-Civita connection transports tangent vectors on a curved surface, while the Berry connection transports phase choices in a complex line over parameter space.

This page defines the objects and the most useful local formulas. It does not yet give:

  • the full theory of fiber bundles and transition functions;
  • path-ordered exponentials for nonabelian parallel transport;
  • a complete account of holonomy classes;
  • Chern classes or quantized topological invariants;
  • detailed adiabatic-error estimates for Berry phase.

Those topics need their own pages so that the canonical homes stay clean. Here the job is to make the words “connection” and “curvature” precise enough to read geometric quantum mechanics without pretending that every gauge formula is merely vector calculus.

  • Comparing vectors, phases, or eigenspaces at different base points without specifying a connection.
  • Treating connection coefficients Γbia\Gamma^b{}_{ia} as tensor components.
  • Assuming a smooth manifold automatically comes with a preferred connection.
  • Confusing a connection one-form with its curvature two-form.
  • Thinking gauge dependence of AA makes curvature or closed-loop phase meaningless.
  • Assuming zero local curvature always implies trivial global holonomy.
  • Applying the sphere tangent-vector analogy to Berry phase without noting that the fibers are different.
  • Forgetting that nonabelian curvature includes the Γ∧Γ\Gamma\wedge\Gamma term.
  • B. Schutz, Geometrical Methods of Mathematical Physics, Cambridge University Press, 1980.
  • T. Frankel, The Geometry of Physics, 3rd ed., Cambridge University Press, 2011.
  • J. M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013.
  • M. Nakahara, Geometry, Topology and Physics, 2nd ed., CRC Press, 2003.
  • M. V. Berry, “Quantal phase factors accompanying adiabatic changes,” Proceedings of the Royal Society A 392, 45-57, 1984.
  • B. Simon, “Holonomy, the quantum adiabatic theorem, and Berry’s phase,” Physical Review Letters 51, 2167-2170, 1983.
  • A. Shapere and F. Wilczek, eds., Geometric Phases in Physics, World Scientific, 1989.
  1. In a local frame with Γ=0\Gamma=0, solve the parallel-transport equation along a curve.
Solution

The transport equation is

dsbdt+x˙iΓbiasa=0.\frac{ds^b}{dt} + \dot x^i\Gamma^b{}_{ia}s^a = 0.

If Γ=0\Gamma=0, this becomes

dsbdt=0.\frac{ds^b}{dt}=0.

Thus every component sbs^b is constant along the curve. In this frame, parallel transport keeps the component vector fixed.

  1. In one dimension, let a line-bundle connection be Γ(t) dt\Gamma(t)\,dt. Solve
dsdt+Γ(t)s=0.\frac{ds}{dt}+\Gamma(t)s=0.
Solution

For s(t)≠0s(t)\ne0,

1sdsdt=−Γ(t).\frac{1}{s}\frac{ds}{dt} = -\Gamma(t).

Integrating from 00 to tt gives

log⁡s(t)s(0)=−∫0tΓ(τ) dτ.\log\frac{s(t)}{s(0)} = - \int_0^t\Gamma(\tau)\,d\tau.

Therefore

s(t)=s(0)exp⁡(−∫0tΓ(τ) dτ).s(t) = s(0) \exp \left( - \int_0^t\Gamma(\tau)\,d\tau \right).
  1. Compute the curvature of
A=B2(−y dx+x dy).A = \frac{B}{2} \left( -y\,dx+x\,dy \right).
Solution

Use d(dx)=d(dy)=0d(dx)=d(dy)=0 and d2=0d^2=0:

dA=B2(−dy∧dx+dx∧dy)=B2(dx∧dy+dx∧dy)=B dx∧dy.\begin{aligned} dA &= \frac{B}{2} \left( -dy\wedge dx+dx\wedge dy \right)\\ &= \frac{B}{2} \left( dx\wedge dy+dx\wedge dy \right)\\ &= B\,dx\wedge dy. \end{aligned}
  1. If A↦A−dχA\mapsto A-d\chi in the abelian case, show that F=dAF=dA is invariant.
Solution

The transformed curvature is

F′=d(A−dχ)=dA−d2χ.F' = d(A-d\chi) = dA-d^2\chi.

Since d2=0d^2=0,

F′=dA=F.F'=dA=F.
  1. Explain why the connection coefficients can vanish at one point in a suitable frame while curvature may still be nonzero there.
Solution

Connection coefficients are not tensor components, so a frame can often be chosen to make them vanish at a chosen point. Curvature is tensorial. It depends on the first-order failure of the connection to be removable around infinitesimal loops, not merely on the value of the connection coefficients at one point. Thus Γ(p)=0\Gamma(p)=0 in a frame does not imply F(p)=0F(p)=0.

  1. Why does Berry phase need more than the instantaneous energy eigenvalues?
Solution

The dynamical phase depends on the energies through

−1ℏ∫En(t) dt.-\frac{1}{\hbar}\int E_n(t)\,dt.

The Berry phase depends on how the eigenvectors vary over parameter space, including their phase convention and connection. Two Hamiltonian paths can have the same instantaneous eigenvalues but different eigenvector geometry, and hence different Berry holonomy.