Gauss–Bonnet Spherical Excess

Relate spherical angle excess to area and orientation-sensitive parallel transport.

Gauss–Bonnet Spherical Excess

The Gauss–Bonnet theorem relates the intrinsic geometry of a surface, such as its Gaussian curvature, to its topological properties. For a geodesic triangle on a sphere, this implies that the sum of its interior angles is strictly greater than π. This difference, known as the spherical angle excess, is proportional to the triangle's area and corresponds to the holonomy angle obtained by parallel transporting a vector around the triangle's perimeter.

Worked example: calculating excess and holonomy

Consider a great-circle triangle on a unit sphere (R = 1) defined by the North Pole and two points on the equator separated by 90 degrees (θ = π/2 radians).

Gaussian curvature: The sphere has constant Gaussian curvature K = 1 / R² = 1.
Area: The area A of this triangle is 1/8 of the sphere's total surface area (4πR²), so A = π/2 ≈ 1.5708.
Interior angles: The triangle consists of two right angles at the equator (π/2 each) and one angle at the North Pole of θ = π/2. The angle sum is π/2 + π/2 + π/2 = 3π/2.
Angle excess: The angle excess is the sum of interior angles minus π, which is 3π/2 - π = π/2 ≈ 1.5708. Notice that the excess exactly equals the Area times Curvature (π/2 * 1 = π/2).
Holonomy: If we parallel transport a tangent vector along the perimeter (North Pole → Equator at lon 0 → Equator at lon 90 → North Pole), the vector will rotate relative to its starting orientation. This holonomy angle is equal to the angle excess, which is π/2 ≈ 1.5708 radians. If transported in the opposite direction (West), the signed area and holonomy angle reverse sign.

Experiment with spherical properties

Open Gauss–Bonnet Spherical Excess to visualize how these quantities scale with the sphere's radius and the triangle's longitudinal span.

Set Radius to 1, Longitude degrees to 90, and Orientation to East. Observe the Angle sum of 4.7124 (3π/2) and the Angle excess of 1.5708 (π/2).
Decrease the Longitude degrees to 60 (θ = π/3). Notice the Area and Angle excess decrease proportionally to 1.0472 (π/3). The Angle sum decreases to 4.1888.
Change the Orientation to West. The positive Area remains unchanged, but the Signed area and Holonomy angle become negative, reflecting the reversed path of parallel transport.
Increase the Radius to 2. The Area increases by a factor of 4 (since it scales with R²), but the Curvature drops to 0.25. As a result, their product remains constant, and the Angle excess and Holonomy angle are unchanged.

Boundary limits

The standard definition of a spherical triangle requires non-zero area and distinct vertices. If the longitude span θ is reduced to 0, the two equatorial vertices coincide, resulting in a degenerate case. In this limit, the area and holonomy angle shrink to 0. The interior angle sum and angle excess become mathematically undefined (or unavailable) because it no longer forms a valid two-dimensional polygon, though the perimeter limit approaches πR.

Primary reference

The Gauss-Bonnet Theorem (UCLA Math) explains the relationship between curvature, area, and holonomy, demonstrating why the angle excess for a spherical triangle is exactly its area divided by the square of the radius.

Gauss–Bonnet Spherical Excess