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 13 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 every argument on a sphere takes to be the curvature of the thing being mapped.

Where the surface curves the other way

The impossibility of a perfect map is usually argued 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 Walking the crossing all the way to a cube's vertex. The corner a feature gets crossing the seam, at crossings that approach the vertex geometrically — the last is 3.5e-4 degrees from it. Every face map is singular at a vertex, so the expectation is that the corner runs away. It does not. The gnomonic settles at 53.1295° and the equal-area map at 12.9656°, and both are finite. The dashed line is the solid's angle deficit, 90.0°, which is what the surface loses at that point and is not what either map's corner reaches.

The corner that is the curvature

Every face map is singular at a vertex, so a corner that grows as the crossing walks towards one should run away. It does not: the gnomonic settles at 53.1295° on a cube and the equal-area map at 12.9656, both finite, both reached like the first power of the remaining gap. What does not settle is the deficit beside them — 90 degrees, fixed by Descartes before any projection is chosen.

families · Polyhedral 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 The geoid's curvature at a point has no limit; averaged over a triangle it settles. Dashed: the curvature a geoid model contains at a point, as a fraction of the sphere's own, rising in proportion to the degree the model stops at — from 0.36 per cent at degree 360 to 36 per cent at 36,000. Solid: the geoid's contribution to the mean curvature over equilateral triangles of 1, 10, 50 and 100 km, the rms of the anomaly in each one's spherical excess divided by that excess. Each rises while the model is coarser than the triangle and settles once it is finer: the 50 km triangle reads 0.64 per cent at EGM2008's degree 2190 and 0.68 per cent at 36,000; the 1 km triangle 2.19 per cent and 27 per cent.

A triangle reads the geoid's curvature, and that one converges

The geoid's Gaussian curvature at a point has no value: its spectrum carries two more powers of the degree than the height's, and the sum never settles. A surveyor's triangle does not measure it at a point. By Gauss–Bonnet its excess is the total curvature over its area, which on the geoid is the flux of the deflection of the vertical through its three sides — a first derivative averaged along lines, and that sum converges. A fifty-kilometre triangle reads 0.64 per cent of the sphere's curvature from the geoid at EGM2008's degree and 0.68 at degree 36,000, where the curvature at a point has grown sixteenfold. The quantity nothing could measure was the one nobody measures.

impossibility · Curvature Round a triangle the geoid's deflection has a flux and no circulation. A fifty-kilometre triangle on a stated patch of geoid whose undulations follow Kaula's spectrum between 10 and 400 km, with the deflection of the vertical drawn as strokes down the geoid's slope. Beside each side, the deflection's component across it and along it, each integrated along the side, in metres: across −0.689, −0.538, +0.499; along −0.235, +0.275, −0.040. The sum across is −0.727 m, which over the Earth's radius is −0.0235″ of the triangle's excess. The sum along is +0.000003 m — the geoid's height carried round the loop and returned to where it started.

A levelling loop reads the circulation, and the geoid has none

A triangle of angles reads the geoid as the flux of the deflection of the vertical through its sides. A levelling loop is the other integral round the same curve, the circulation, and at the geoid that one is identically zero, because the deflection is the slope of a height. What a levelling loop run on the ground misses by is the Jacobian of gravity and height over the loop: 31 mm round a fifty-kilometre loop in a stated mountain range, none of it from the free-air gradient that changes gravity by 1,333 mGal there, uncorrelated with what the triangle reads, and two and a half times the noise of the levelling where the triangle's reading is a fiftieth of its own.

impossibility · Curvature 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

Varying a body's shape never changes its topology, which is what every impossibility about maps 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.

Gaussian curvatureVerificationConformalityEuler characteristicTopologyClosed formPlanetary datumSpherical excessAngle deficitConvergenceDegeneracyDevelopable surface

All concepts