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.

This page treats AnA_n as a mathematical object: a connection one-form, its gauge transformation law, and its curvature. The physical adiabatic phase, dynamical phase separation, and experimental interpretation belong to Berry Phase, while the physics-side local connection is developed in Berry Connection.

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.

When H(R)H(R) is differentiable and the eigenvalue EnE_n is nondegenerate, 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 }.

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.

For a closed loop CC in parameter space, the U(1)U(1) holonomy is

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

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},

defined away from the usual coordinate singularity, 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.
  • 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.
  • M. Nakahara, Geometry, Topology and Physics, 2nd ed., CRC Press, 2003.
  • T. Frankel, The Geometry of Physics, 3rd ed., Cambridge University Press, 2011.
  • D. J. Thouless, M. Kohmoto, M. P. Nightingale, and M. den Nijs, “Quantized Hall conductance in a two-dimensional periodic potential,” Physical Review Letters 49, 405-408, 1982.
  • B. C. Hall, Quantum Theory for Mathematicians, Springer, 2013.
  1. Show that An=i⟨n∣dn⟩A_n=i\langle n\rvert dn\rangle is real when ⟨n∣n⟩=1\langle n\rvert n\rangle=1.
Solution

Differentiate the normalization condition:

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.

Since

⟨dn∣n⟩=⟨n∣dn⟩∗,\langle dn\rvert n\rangle = \langle n\rvert dn\rangle^*,

one has

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

Thus ⟨n∣dn⟩\langle n\rvert dn\rangle is imaginary, and i⟨n∣dn⟩i\langle n\rvert dn\rangle is real.

  1. Derive the gauge transformation An↦An−dχA_n\mapsto A_n-d\chi under ∣n⟩↦eiχ∣n⟩\lvert n\rangle\mapsto e^{i\chi}\lvert n\rangle.
Solution

Use

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

Then

An′=i(e−iχ⟨n∣)d(eiχ∣n⟩)=i(i dχ+⟨n∣dn⟩)=−dχ+An.\begin{aligned} A_n' &= i \left( e^{-i\chi}\langle n\rvert \right) d \left( e^{i\chi}\lvert n\rangle \right)\\ &= i \left( i\,d\chi+\langle n\rvert dn\rangle \right)\\ &= -d\chi+A_n. \end{aligned}
  1. Show that the Berry curvature is gauge invariant in the abelian case.
Solution

Under the gauge transformation,

An′=An−dχ.A_n'=A_n-d\chi.

Therefore

Fn′=dAn′=dAn−d2χ.F_n' = dA_n' = dA_n-d^2\chi.

Since d2=0d^2=0,

Fn′=Fn.F_n'=F_n.
  1. Compute the curvature of A=−(1−cos⁡θ)dϕ/2A=-(1-\cos\theta)d\phi/2.
Solution

Only the coefficient depends on θ\theta:

F=dA=−12 d(1−cos⁡θ)∧dϕ=−12sin⁡θ dθ∧dϕ.\begin{aligned} F &= dA\\ &= -\frac12\,d(1-\cos\theta)\wedge d\phi\\ &= -\frac12\sin\theta\,d\theta\wedge d\phi. \end{aligned}
  1. Explain why the projector Pn=∣n⟩⟨n∣P_n=\lvert n\rangle\langle n\rvert is gauge independent.
Solution

Under ∣n⟩↦eiχ∣n⟩\lvert n\rangle\mapsto e^{i\chi}\lvert n\rangle,

⟨n∣↦e−iχ⟨n∣.\langle n\rvert \mapsto e^{-i\chi}\langle n\rvert.

Thus

Pn↦eiχ∣n⟩e−iχ⟨n∣=∣n⟩⟨n∣=Pn.P_n \mapsto e^{i\chi}\lvert n\rangle e^{-i\chi}\langle n\rvert = \lvert n\rangle\langle n\rvert = P_n.
  1. Why does the formula with denominators (En−Em)2(E_n-E_m)^2 warn against using the nondegenerate Berry curvature at a level crossing?
Solution

The formula assumes En≠EmE_n\ne E_m so that the derivative of the eigenvector can be expanded using ordinary nondegenerate perturbation theory. At a level crossing or degeneracy, at least one denominator can vanish. The isolated line bundle is then no longer a smooth nondegenerate eigenline on that region, and the correct description must exclude the degeneracy or use a degenerate, generally nonabelian, eigenspace bundle.