🧮 Brain Teaser
Differential Geometry
Parallel Transport on a Sphere
2026-03-12
✏︎

Parallel Transport on a Sphere

Why it's beautiful: This problem makes curvature visible. On a flat plane, if you carry a vector around any closed loop keeping it "straight" the whole time, it comes back unchanged. On a sphere, it doesn't — and the angle it rotates by is a direct measurement of the curvature enclosed. The answer connects to the Gauss-Bonnet theorem and explains a real-world phenomenon: the Foucault pendulum.


Setup

On the unit sphere S2S^2, a latitude circle at colatitude θ\theta (measured from the north pole) is the circle:

{(sinθcosϕ, sinθsinϕ, cosθ):ϕ[0,2π)}\{ (\sin\theta \cos\phi,\ \sin\theta \sin\phi,\ \cos\theta) : \phi \in [0, 2\pi) \}

So θ=0\theta = 0 is the north pole, θ=π/2\theta = \pi/2 is the equator, θ=π\theta = \pi is the south pole.

Problem

Take a unit tangent vector at a point on the latitude circle at colatitude θ\theta. Parallel transport it all the way around the circle (keeping it as "straight" as possible along the surface). When the vector returns to its starting point, by what angle has it rotated?


Hint: Use the Gauss-Bonnet theorem. The holonomy around a closed curve equals the integral of Gaussian curvature over the enclosed region.

Parallel transportHolonomyGauss-BonnetCurvature

Parallel Transport on a Sphere — Answer

The vector rotates by 2π(1cosθ)2\pi(1 - \cos\theta).


Step 1: What does "parallel transport" mean?

On a flat plane, moving a vector along a path while keeping it pointing the same direction is obvious. On a curved surface, there is no global "same direction." Instead, parallel transport means: move the vector along the curve, and at each moment, only allow changes in the direction along the surface that are forced by the curve turning — never rotate the vector within the tangent plane.

Concretely: a vector VV is parallel transported along a curve γ\gamma if its covariant derivative along γ\gamma is zero:

γ˙V=0\nabla_{\dot\gamma} V = 0

This is the "straightest possible" way to carry a vector along a curve on a curved surface.


Step 2: The key tool — Gauss-Bonnet Theorem

For a smooth closed curve γ\gamma on a surface bounding a region Ω\Omega:

γκgds+ΩKdA=2π\int_\gamma \kappa_g \, ds + \iint_\Omega K \, dA = 2\pi

where:

  • κg\kappa_g = geodesic curvature of γ\gamma (how much the curve bends within the surface)
  • KK = Gaussian curvature of the surface

The holonomy angle (rotation of a parallel-transported vector around γ\gamma) is:

α=ΩKdA\alpha = \iint_\Omega K \, dA

Intuition: on a flat plane K=0K = 0 everywhere, so α=0\alpha = 0 — a vector always comes back unchanged. On a sphere, K>0K > 0, so enclosed curvature causes rotation.


Step 3: Gaussian curvature of the unit sphere

For the unit sphere S2S^2, the Gaussian curvature is constant:

K=1everywhereK = 1 \quad \text{everywhere}


Step 4: Area of the spherical cap

The region enclosed by the latitude circle at colatitude θ\theta is a spherical cap — the "polar cap" from the north pole down to angle θ\theta.

Using the standard area element dA=sinθdθdϕdA = \sin\theta' \, d\theta' \, d\phi:

Area=02π0θsinθdθdϕ=2π[cosθ]0θ=2π(1cosθ)\text{Area} = \int_0^{2\pi} \int_0^\theta \sin\theta' \, d\theta' \, d\phi = 2\pi \Big[-\cos\theta'\Big]_0^\theta = 2\pi(1 - \cos\theta)


Step 5: Compute the holonomy

α=ΩKdA=12π(1cosθ)=2π(1cosθ)\alpha = \iint_\Omega K \, dA = 1 \cdot 2\pi(1 - \cos\theta) = \boxed{2\pi(1 - \cos\theta)}


Sanity checks

| θ\theta | Situation | α\alpha | Makes sense? | |---------|-----------|----------|--------------| | θ0\theta \to 0 | Tiny circle near north pole | πθ20\approx \pi\theta^2 \to 0 | Small loop, small curvature enclosed → tiny rotation ✓ | | θ=π/2\theta = \pi/2 | Equator | 2π(10)=2π02\pi(1-0) = 2\pi \equiv 0 | Equator is a geodesic → parallel transport has no holonomy ✓ | | θ=π/3\theta = \pi/3 | 60° from north pole | 2π(112)=π2\pi(1 - \tfrac{1}{2}) = \pi | Vector completely flips direction! | | θ=π\theta = \pi | Full sphere (south pole) | 2π(1(1))=4π02\pi(1-(-1)) = 4\pi \equiv 0 | Closed surface, total curvature 4π4\pi → back to start ✓ |


Why is this beautiful?

On a flat surface, carrying a vector around any loop always returns it unchanged. On a sphere, the curvature leaves a fingerprint: the vector rotates by exactly the area of the spherical cap (since K=1K=1). The rotation is a direct geometric measurement of the enclosed curvature.

This is the concept of holonomy — the failure of parallel transport to return a vector to its original orientation. It is the geometric heart of gauge theory in physics, and explains why a Foucault pendulum rotates: the Earth's surface is curved, and as the Earth rotates, the pendulum parallel transports itself around a latitude circle, accumulating a holonomy angle of 2π(1cosθ)2\pi(1-\cos\theta) per day.

Type: Differential GeometryEdit on GitHub ↗