Cartographic Projection
every map is wrong, and by exactly how much
Concept

Gauss–Bonnet theorem — where it appears

The theorem relating the total curvature of a surface to its topology and its boundary. On the sphere it forces the total angle deficit of any convex polyhedron to be exactly 4π steradians, so a polyhedral map can spread its failure and never remove it.

Named by 10 essays across 5 fields — each of them below, with the objects they name alongside it.

The angles of a triangle, and the curvature inside it. A triangle on the sphere with sides that are great-circle arcs. Its three angles sum to 212.26°, overshooting the flat 180° by 32.26°. Integrating the curvature over the interior gives 0.56306 against an excess of 0.56306 — the same number by two routes that share no arithmetic. That is Gauss–Bonnet, and it is how a flatlander measures the curvature of a world it cannot step outside.

Measuring curvature from inside

A flatlander with a ruler can find out that its world is round, by drawing a triangle and adding the angles. Gauss–Bonnet turns that into an exact statement, and the total curvature of a closed surface turns out to be a number obtained by counting.

impossibility · Curvature A direction carried once round the sphere. A vector transported round a closed loop on the sphere, kept as parallel to itself as the surface allows at every step — the component that leaves the tangent plane is removed and nothing else is done to it. The heavy arrows are its direction at the start and at the finish, drawn from the same point; the light ones are its direction along the way. It comes back turned through 282.0 degrees, which is 0.783 of a revolution, and nothing in the transport turned it. Drawn in an orthographic projection of the embedding, which is itself a map and has its own distortion.

A direction carried round a loop

Carry a bearing round a circuit, keeping it as parallel to itself as the surface allows, and it comes back turned. Round a parallel at 45° the turn is 4.443 radians and the cap enclosed is 1.840, and they sum to exactly one revolution — so the turning is not the curvature, and on a cone it is all of one and none of the other.

impossibility · Curvature A triangle of 25.0° excess, drawn on Mercator. The three geodesic sides as curves and the three straight sides a ruler draws, with each vertex labelled by how far the ruler's angle is from the true one. The straight-sided triangle's angles sum to exactly 180° because it lies in a plane, and the real one's sum to 205.02°, so the three errors have to account for the whole 25.02° of spherical excess between them — and they do so on this conformal projection exactly as they do on any other.

Conformal does not mean the angles are right

A conformal projection preserves angles between curves at a point. Draw a triangle on one with a ruler and its angles are wrong by degrees — and the total error is fixed before the projection is chosen, because a plane triangle sums to 180° and the real one does not.

wrong · Audit The icosahedron's faces, drawn on the sphere. The edges of the icosahedron projected radially onto the sphere, which is the partition of the world a polyhedral map uses: everything inside one spherical polygon is drawn on one flat face. Each face spans 25.8° from its centre to its own boundary, and the gnomonic map onto it reaches 6.6° of angular deformation at the corners. Drawn in an orthographic projection of the embedding, which is a map with its own distortion.

The globe on a solid

Cylinder, cone and plane are not the only surfaces a sphere can be laid on. Project it onto a polyhedron and the curvature goes entirely to the corners — π at each of the tetrahedron's four, π/5 at each of the dodecahedron's twenty, and always 4π in total, which is exactly the curvature of the sphere it replaced.

families · Polyhedral The world after a map of degree 2. The graticule of the sphere, sent through the square of the stereographic coordinate and then drawn in Mollweide. Every parallel is still a closed curve and every meridian still runs pole to pole, and the whole world has been wrapped round the sphere 2 times: the 2 meridians that used to be 180° apart now lie on top of one another. Nothing has been torn. The degree measured by integrating the area the map sweeps is 2.0004.

How many times, not whether

Three rungs of this ladder answer yes or no and have no other kind of answer. The degree is the first quantity here that counts: a continuous map of the sphere to itself covers it a whole number of times, injectivity forces that number to ±1, and the number is recoverable three ways — by counting preimages, by integrating swept area, and from the rate at which the preimages coalesce.

impossibility · Topology Where a ridge, a valley and the pass between them curves the other way. The Gaussian curvature of a stated terrain over a 80-kilometre window, with the sign shown by the colour and the size by the ink. Positive on the summits and in the hollows, negative everywhere between — which is most of it: 79 per cent of the curved area. The extremes are 2.2e+4 times the Earth's own curvature, which is the quantity twelve rungs of this ladder have taken to be the curvature of the thing being mapped.

Where the surface curves the other way

Twelve rungs argue the impossibility on surfaces whose curvature is positive everywhere. The surface a map of the ground actually depicts is not one of them: a stated terrain is saddle-shaped over 79 per cent of its curved area, its curvature runs to twenty-two thousand times the Earth's own, and even a single smooth hill is concave over 89 per cent of itself.

impossibility · Curvature A conformal map of Vesta, in the coordinates that make one possible. The body's own isothermal coordinate, used as the map — which is Mercator's construction carried out on a body that has no axis to be Mercator about. The lines are Jacobi's ellipsoidal coordinates, which are the surface's lines of curvature, at 30° and 20° spacing; the two quadratures that turn them into an isothermal pair are one-dimensional. The measured angular deformation away from the marked points is 1.1e-6°, which is this site's noise floor, and the areal factor spans a factor of 162 — conformal, and emphatically not equal-area. The four marks are the umbilics, where the coordinate collapses and the map has nothing to say.

A conformal map of a body with three axes

This site built an equal-area map of a triaxial body and wrote down what it could not do: the conformal one, which needs an isothermal coordinate that a surface with no axis of revolution was said not to have. It has one, Jacobi found it in 1839 for a different reason, and it takes two one-dimensional integrals.

datums · Bodies Seven cuts of the same size, in different places on one body. The body's own colatitude and longitude, with the seven windows drawn on it. Each covers the same surface area to 0.24 per cent — the longitude extent is divided by sin θ and a scale is then solved per window — so their sizes are held and only their positions differ. Each is shaded by the areal spread of the conformal map solved on it, listed beside the grid and running from 1.03 to 1.36. The darker windows are the worse ones, and they are the ones over the body's lobes.

Cuts of the same size in different places

Where a body is cut decides how well it can be mapped, by a factor of ten — established with five windows of five different sizes, so *where* and *how much* were confounded and the factor could have been entirely about extent. Held to the same surface area to a quarter of a per cent, the answer survives at a factor of 1.32, and what predicts it is the curvature the window encloses.

datums · Bodies One degenerate zero, nudged, becomes two ordinary ones. The direction of steepest ascent within twelve degrees of the north pole, for the sectoral harmonic alone and with two amounts of the tesseral added. On the left is one zero of index −2, a monkey saddle: three ways up and three ways down, and a Hessian that vanishes. On the right are two ordinary saddles of index −1 each, both of which the second-derivative test names correctly. Nothing has been added to the field but a term whose size can be made as small as anyone likes, and the classification changes at every nonzero value of it while the total does not change at all.

The second derivative cannot classify

Seven essays have used a second derivative to measure a size. The one thing a second derivative is classically used to do is say what KIND of thing is at a point, and on a sphere that use fails: the determinant test totals six where the truth is two, its failure is confined to exactly the field it is asked about, and the count that gets it right never differentiates twice.

distortion · Flexion A surface whose curvature changes sign, and integrates to nothing. a wide ring of major radius 3 and minor radius 1, shaded by its Gaussian curvature. The outer half is positively curved like a sphere, at up to 0.250; the inner half is saddle-shaped and negative, down to -0.500; and the two circles between them, drawn as lines, are exactly flat. The integral of the curvature over the whole surface is zero, which is 2π times the Euler characteristic — and every impossibility in this collection rests on that number being 2 rather than 0.

On a body with a hole, north can be up everywhere

Twelve rungs vary the body's shape and none varies its topology, which is what every impossibility here actually rests on. A torus has a nowhere-zero tangent field, a total curvature of zero rather than 4π, and a conformal world map with no cut and no singular point — and it still cannot be flattened, for the one reason that survives.

datums · Bodies

Named alongside it

The objects these essays reach for when they reach for this one.

ConformalityGaussian curvatureEuler characteristicTopologyVerificationPlanetary datumClosed formDegeneracyDevelopable surfaceGeodesicInterruptionIntrinsic geometry

All concepts