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 , a latitude circle at colatitude (measured from the north pole) is the circle:
So is the north pole, is the equator, is the south pole.
Problem
Take a unit tangent vector at a point on the latitude circle at colatitude . 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 Transport on a Sphere — Answer
The vector rotates by .
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 is parallel transported along a curve if its covariant derivative along is zero:
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 on a surface bounding a region :
where:
- = geodesic curvature of (how much the curve bends within the surface)
- = Gaussian curvature of the surface
The holonomy angle (rotation of a parallel-transported vector around ) is:
Intuition: on a flat plane everywhere, so — a vector always comes back unchanged. On a sphere, , so enclosed curvature causes rotation.
Step 3: Gaussian curvature of the unit sphere
For the unit sphere , the Gaussian curvature is constant:
Step 4: Area of the spherical cap
The region enclosed by the latitude circle at colatitude is a spherical cap — the "polar cap" from the north pole down to angle .
Using the standard area element :
Step 5: Compute the holonomy
Sanity checks
| | Situation | | Makes sense? | |---------|-----------|----------|--------------| | | Tiny circle near north pole | | Small loop, small curvature enclosed → tiny rotation ✓ | | | Equator | | Equator is a geodesic → parallel transport has no holonomy ✓ | | | 60° from north pole | | Vector completely flips direction! | | | Full sphere (south pole) | | Closed surface, total curvature → 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 ). 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 per day.