Skip to content

Berry Connection as a Mathematical Object

The Berry connection is a locally defined U(1)U(1) connection on the complex line bundle formed by a smoothly varying nondegenerate eigenspace.

In a local normalized eigenvector gauge, it is the one-form

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

We will derive its gauge transformation and curvature, then calculate the spin-1/21/2 example. For the physical conditions under which this geometry produces an adiabatic phase, continue to Berry Phase.

Helpful background. U(1) Bundles and Quantum Phase explains local phase choices; Exterior Derivative supplies the operation F=dAF=dA.

An isolated eigenline over parameter space

Section titled “An isolated eigenline over parameter space”

Let MM be a parameter space and let H(R)H(R) be a family of Hamiltonians depending smoothly on R∈MR\in M. Suppose that on the region under discussion there is a nondegenerate eigenvalue En(R)E_n(R) separated from the rest of the spectrum:

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

At each RR, the physical eigenspace is the complex line

LR={λ∣n(R)⟩:λ∈C}.L_R = \{\lambda\lvert n(R)\rangle:\lambda\in\mathbb C\}.

The collection of lines LRL_R is the Berry line bundle over MM. A smooth choice of normalized eigenvector ∣n(R)⟩\lvert n(R)\rangle is a local frame or local gauge for that line bundle.

The assumption of a separated nondegenerate eigenvalue matters. If the eigenvalue crosses another level, the line bundle can fail to be smooth there. If the eigenspace is degenerate, the appropriate object is a higher-rank vector bundle with a nonabelian Berry connection, not the U(1)U(1) connection treated here.

In a chosen local normalized eigenvector gauge, define

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

Here dd is the exterior derivative on parameter space. In local coordinates RiR^i,

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

The normalization condition

⟨n∣n⟩=1\langle n\rvert n\rangle=1

implies

d⟨n∣n⟩=⟨dn∣n⟩+⟨n∣dn⟩=0.d\langle n\rvert n\rangle = \langle dn\rvert n\rangle+\langle n\rvert dn\rangle = 0.

Therefore ⟨n∣dn⟩\langle n\rvert dn\rangle is imaginary:

⟨dn∣n⟩=⟨n∣dn⟩∗=−⟨n∣dn⟩.\langle dn\rvert n\rangle = \langle n\rvert dn\rangle^* = -\langle n\rvert dn\rangle.

Multiplication by ii makes AnA_n a real one-form. This is why it can be integrated as a phase connection.

The local eigenvector is not unique. A different local gauge is

∣n′(R)⟩=eiχ(R)∣n(R)⟩.\lvert n'(R)\rangle = e^{i\chi(R)}\lvert n(R)\rangle.

Then

d∣n′⟩=eiχ(i dχ ∣n⟩+d∣n⟩),d\lvert n'\rangle = e^{i\chi} \left( i\,d\chi\,\lvert n\rangle+d\lvert n\rangle \right),

and hence

An′=i⟨n′∣dn′⟩=i(i dχ+⟨n∣dn⟩)=An−dχ.\begin{aligned} A_n' &= i\langle n'\rvert d n'\rangle\\ &= i \left( i\,d\chi+\langle n\rvert dn\rangle \right)\\ &= A_n-d\chi. \end{aligned}

This is exactly the abelian gauge transformation law for a U(1)U(1) connection in the convention used on U(1) Bundles and Quantum Phase.

The connection one-form is therefore not gauge invariant. It is local data. Its transformation law is what allows different local phase conventions to describe the same geometry.

Let R(t)R(t) be a path in MM. Pulling the Berry connection back to the path gives

At(t)=i⟨n(R(t))∣ddtn(R(t))⟩.A_t(t) = i\langle n(R(t))\rvert \frac{d}{dt}n(R(t))\rangle.

A local parallel-transport gauge along the path sets

At(t)=0.A_t(t)=0.

Under ∣n⟩↦eiχ(t)∣n⟩\lvert n\rangle\mapsto e^{i\chi(t)}\lvert n\rangle along the path,

At↦At−dχdt.A_t\mapsto A_t-\frac{d\chi}{dt}.

On an open interval, one can choose

χ(t)=∫0tAτ(τ) dτ\chi(t) = \int_0^t A_\tau(\tau)\,d\tau

to make At′=0A_t'=0. Around a closed loop, the same construction can return the vector representative with a different endpoint phase. That endpoint mismatch is holonomy; see Parallel Transport and Holonomy.

The Berry curvature is the curvature two-form of the Berry connection:

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_i A_j^{(n)} - \partial_j A_i^{(n)}.

Using Ai(n)=i⟨n∣∂in⟩A_i^{(n)}=i\langle n\rvert\partial_i n\rangle, one obtains

Fij(n)=i(⟨∂in∣∂jn⟩−⟨∂jn∣∂in⟩).F_{ij}^{(n)} = i \left( \langle \partial_i n\rvert \partial_j n\rangle - \langle \partial_j n\rvert \partial_i n\rangle \right).

Under An↦An−dχA_n\mapsto A_n-d\chi,

Fn↦d(An−dχ)=dAn,F_n\mapsto d(A_n-d\chi)=dA_n,

because d2=0d^2=0. Thus the curvature is gauge invariant in the abelian case.

The connection requires a local phase choice, but the curvature can be written directly from the eigenprojector

Pn(R)=∣n(R)⟩⟨n(R)∣.P_n(R) = \lvert n(R)\rangle\langle n(R)\rvert.

For a nondegenerate eigenline,

Fij(n)=i Tr⁡(Pn[∂iPn,∂jPn]).F_{ij}^{(n)} = i\,\operatorname{Tr} \left( P_n \left[ \partial_i P_n, \partial_j P_n \right] \right).

This formula is useful because PnP_n is phase independent:

∣n⟩↦eiχ∣n⟩⟹Pn↦Pn.\lvert n\rangle\mapsto e^{i\chi}\lvert n\rangle \quad \Longrightarrow \quad P_n\mapsto P_n.

The projector expression is also the form that generalizes most cleanly to band theory and Chern-number calculations, where globally smooth eigenvectors may not exist.

For a finite-dimensional smooth Hermitian matrix H(R)H(R) with nondegenerate EnE_n, differentiating the eigenvalue equation and projecting onto another eigenstate ∣m⟩\lvert m\rangle gives, for m≠nm\ne n,

⟨m∣∂in⟩=⟨m∣∂iH∣n⟩En−Em.\langle m\rvert \partial_i n\rangle = \frac{ \langle m\rvert \partial_i H\rvert n\rangle }{ E_n-E_m }.

Substituting into the curvature formula yields

Fij(n)=i∑m≠n⟨n∣∂iH∣m⟩⟨m∣∂jH∣n⟩−⟨n∣∂jH∣m⟩⟨m∣∂iH∣n⟩(En−Em)2.F_{ij}^{(n)} = i \sum_{m\ne n} \frac{ \langle n\rvert \partial_i H\rvert m\rangle \langle m\rvert \partial_j H\rvert n\rangle - \langle n\rvert \partial_j H\rvert m\rangle \langle m\rvert \partial_i H\rvert n\rangle }{ (E_n-E_m)^2 }.

For an infinite-dimensional Hamiltonian this sum requires an appropriate spectral resolution and domain and convergence assumptions; a continuous part of the spectrum contributes an integral. The finite-matrix formula above avoids those extra issues.

This expression shows why Berry curvature is sensitive to nearby levels. Small gaps can strongly enhance the curvature, and degeneracies are precisely where the nondegenerate line-bundle description breaks down.

In a normalized eigenvector frame that is smooth and periodic around a closed loop CC, the U(1)U(1) holonomy is

exp⁡(i∮CAn).\exp \left( i\oint_C A_n \right).

A smooth frame along the interval 0≤t≤T0\leq t\leq T need not return to the same vector even though the eigenline closes. In that case include the endpoint overlap:

eiγn[C]=⟨n(0)∣n(T)⟩exp⁡(i∫0TAt dt).e^{i\gamma_n[C]}=\langle n(0)|n(T)\rangle \exp\left(i\int_0^T A_t\,dt\right).

The overlap has unit modulus because the endpoints represent the same normalized eigenline. Under ∣n(t)⟩↦eiχ(t)∣n(t)⟩|n(t)\rangle\mapsto e^{i\chi(t)}|n(t)\rangle, it acquires ei[χ(T)−χ(0)]e^{i[\chi(T)-\chi(0)]}, while the exponential acquires the inverse factor. This explains how a parallel-transport frame with At=0A_t=0 can still have a nonzero geometric phase.

If C=∂ΣC=\partial\Sigma and a smooth gauge is available on the surface Σ\Sigma, then Stokes theorem gives

∮CAn=∫ΣFn.\oint_C A_n = \int_\Sigma F_n.

This is a mathematical statement about a connection and its curvature. In an adiabatic quantum evolution, the same holonomy becomes the Berry phase factor after the dynamical phase has been separated. The physical conditions for that statement are handled on Berry Phase.

For the normalized spinor

∣+;θ,ϕ⟩=(cos⁡(θ/2)eiϕsin⁡(θ/2)),\lvert +;\theta,\phi\rangle = \begin{pmatrix} \cos(\theta/2)\\ e^{i\phi}\sin(\theta/2) \end{pmatrix},

which is a +1+1 eigenvector of n^⋅σ\hat{\mathbf n}\cdot\boldsymbol\sigma and is smooth on the sphere except at the south pole, the Berry connection is

A+=i⟨+;θ,ϕ∣d∣+;θ,ϕ⟩=−sin⁡2(θ/2) dϕ=−1−cos⁡θ2 dϕ.\begin{aligned} A_+ &= i\langle +;\theta,\phi\rvert d \lvert +;\theta,\phi\rangle\\ &= -\sin^2(\theta/2)\,d\phi\\ &= -\frac{1-\cos\theta}{2}\,d\phi. \end{aligned}

Its curvature is

F+=dA+=−12sin⁡θ dθ∧dϕ.F_+ = dA_+ = -\frac12\sin\theta\,d\theta\wedge d\phi.

For a surface Σ\Sigma on the parameter sphere,

∫ΣF+=−Ω(Σ)2,\int_\Sigma F_+ = -\frac{\Omega(\Sigma)}{2},

where Ω(Σ)\Omega(\Sigma) is the oriented solid angle. This recovers the mathematical core of the spin-1/21/2 solid-angle result. The sign depends on eigenstate and Hamiltonian conventions, so physics pages must state the convention before quoting the phase.

The Berry connection is usually written in a local eigenvector gauge. If the Berry line bundle is topologically nontrivial, one may need multiple patches, with transition functions

∣nβ⟩=eiχβα∣nα⟩\lvert n_\beta\rangle = e^{i\chi_{\beta\alpha}}\lvert n_\alpha\rangle

on overlaps. The local connections obey

Aβ=Aα−dχβα.A_\beta = A_\alpha-d\chi_{\beta\alpha}.

The curvature pieces agree on overlaps and define a global two-form. Holonomy around loops can be computed by patching local connection integrals with transition-function contributions when one gauge does not cover the whole loop or spanning surface.

This is the practical reason the bundle language matters: a local formula can be correct while no single local formula covers the whole parameter space.

  • Treating AnA_n as gauge invariant instead of recognizing it as a local connection one-form.
  • Forgetting that Fn=dAnF_n=dA_n is gauge invariant only after using the abelian gauge law and d2=0d^2=0.
  • Writing a global eigenvector gauge across a degeneracy or coordinate singularity.
  • Applying Stokes theorem through a region where the eigenstate gauge is not defined.
  • Confusing the mathematical Berry connection with the full physical Berry phase, which also requires an adiabatic evolution and separation from the dynamical phase.
  • Dropping the nondegeneracy assumption when using the U(1)U(1) formula.
  • Missing sign changes caused by different conventions for the Hamiltonian, eigenstate label, or definition of AnA_n.
  1. Take a constant eigenline represented by ∣n(ϕ)⟩=eiϕ/2∣n0⟩|n(\phi)\rangle=e^{i\phi/2}|n_0\rangle, with 0≤ϕ≤2π0\leq\phi\leq2\pi. Compute the connection integral and endpoint overlap. Is the holonomy −1-1 or +1+1?
Solution

The connection is A=−dϕ/2A=-d\phi/2, so ∫A=−π\int A=-\pi. But ∣n(2π)⟩=−∣n(0)⟩|n(2\pi)\rangle=-|n(0)\rangle, giving endpoint overlap −1-1. Therefore the holonomy is (−1)e−iπ=+1(-1)e^{-i\pi}=+1, as expected for a constant line. Using only the integral would mistake a nonperiodic basis for physical transport.

  1. For the displayed +1+1 spinor, integrate F+=−sin⁡θ dθ∧dϕ/2F_+=-\sin\theta\,d\theta\wedge d\phi/2 over the north polar cap 0≤θ≤θ00\leq\theta\leq\theta_0. What phase is obtained when θ0=π/2\theta_0=\pi/2? What is the Chern number on the whole sphere?
Solution

The cap flux is −π(1−cos⁡θ0)=−Ω/2-\pi(1-\cos\theta_0)=-\Omega/2. At the equator this is −π-\pi, so the phase factor is −1-1. On the whole oriented sphere the flux is −2π-2\pi, hence C1=−1C_1=-1. The north-patch spinor cannot be used smoothly at the south pole, but its curvature extends there; the nonzero Chern number rules out a single global smooth eigenvector.

  1. Two levels cross inside a group of occupied bands, but a nonzero gap still separates the whole occupied subspace from unoccupied levels. Which object can remain smooth: each individual eigenline or the total occupied projector?
Solution

The individual eigenlines need not remain smooth or separately defined at the crossing. The projector onto the entire separated occupied subspace can remain smooth. Its connection is matrix valued; the trace of its curvature gives the first Chern number of the occupied bundle. The scalar nondegenerate formula with (En−Em)−2(E_n-E_m)^{-2} must not be applied to a crossing individual band.