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

Seam — where it appears

The ground curve a cut projection draws twice, once on each edge of the page. Its ground length is what the map duplicated and its page length is what that cost, and every map of the whole sphere that is defined and single-valued everywhere has one.

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

How each projection escapes being one to one. Eighteen projections, and the theorem allows no fourth column. A map of the whole sphere either leaves ground undrawn, or draws one place as a curve, or is cut so that one ground curve appears twice — and 11 of the eighteen do more than one of those. The three columns are a solid angle, a count of places and a page length, which is why they are three columns rather than one score: there is no rate at which a hemisphere converts into a pole.

No map of the whole sphere is one to one

Eleven essays establish that no map preserves distance, and every step of that argument needs a distance. There is a second impossibility underneath it that needs nothing at all: a sphere is compact and has no boundary, so a continuous map of it into the page cannot also be one to one. Eighteen library projections, eighteen escapes, and not one of them free.

impossibility · Topology The cut makes 20 faces out of 14 regions and needs no more colours. The same partition on a sheet cut at the antimeridian. six of the 14 regions are drawn in two pieces, one against each edge, and they are shown darker. The sheet has 20 faces where the globe had 14 regions, and it needs exactly the same four colours — because the two pieces of a split region between them touch exactly what the region touched, so identifying them gives back the sphere's own graph, edge for edge.

Four colours, and what a cut cannot do to them

Every projection removes a set, and a map cut at the antimeridian draws six of its fourteen countries in two pieces — twenty faces where the globe had fourteen regions. The obvious guess is that a map with split countries is the exclave problem and needs a fifth colour. It needs exactly four, and the reason is that the cut adds faces and adds no edges.

impossibility · Topology What a cut buys. The mean angular deformation of the interrupted sinusoidal against the total length of cut the interruption spends, for lobe counts from one to twenty-four. Goode's interruption — the one actually printed — is the marked point: it spends 100 thousand kilometres and returns 18.0°, where the even-lobed curve returns 9.2° for the same length. It is not on the frontier and it was never trying to be: its cuts are placed to keep continents whole.

What a cut buys

Six rungs count cuts and none measures one. A cut is a curve on the sphere with a length in kilometres, the shape distortion it removes is a falling function of that length, and the interruption everybody prints spends a hundred thousand kilometres to reach a figure the even-lobed curve reaches with sixty.

impossibility · Topology The corner an equal-area face map puts in a feature, and the one the gnomonic does not. A great circle crossing the seam between two faces, drawn on each face's own map and unfolded flat, with the angle between the incoming and outgoing tangents plotted against how obliquely it crosses. Under the equal-area face map every solid gives a corner: zero for a perpendicular crossing, where the two faces are symmetric about the edge, peaking near thirty degrees of obliquity and falling again as the crossing lies down along the edge. Under the gnomonic it is zero at every angle on every solid, which is the flat line on the axis.

The gnomonic crosses a seam without a corner

Eight rungs choose a solid, a face map and where to cut. This one is about a seam the net does not cut, where two faces stay joined and carry two different maps — and the expectation was a corner in every feature crossing one. At the midpoint of the edge — which is where every crossing here is taken, and which turns out to be the one place on it a face's own mirror forces the corner to vanish — the gnomonic gives none at any obliquity on any Platonic solid, and the equal-area face map gives one of up to 0.39 degrees.

families · Polyhedral The corner against where along the seam the feature crosses. A feature crossing the seam of a cube at right angles, drawn on each face's own map and unfolded, with the crossing moved along the edge. Every curve starts at zero, because the face's mirror through the edge's own midpoint reverses the along-edge direction and forces the shear term in the Jacobian to be odd. Away from it the gnomonic — the map with no corner at all in the rung below — reaches 44.4°, three times the equal-area map's and far past the conformal one's. The edge's half-length is 35.3°, so the right-hand end is still well inside it.

The corner is not at the midpoint

The rung below measured the corner a feature gets crossing a polyhedral seam, and found none at all under the gnomonic face map. It crossed at the edge's own midpoint every time — the one point on the edge where a face's own mirror symmetry forces the corner to vanish. Two fifths of the way to the vertex the gnomonic gives 20.15°, the equal-area map 7.28° and the conformal map under a degree, which reverses the ordering entirely.

families · Polyhedral One of these is a corner. The corner reported at the exact conformal seam, and the corner reported at a cube's gnomonic seam fifteen degrees along its edge, each measured over a shrinking arc. The gnomonic's is 21.4572° at every span from twenty-four degrees down to three — the same number to four decimals — because it is a corner. The conformal one halves whenever the span does, fitted exponent 0.990, because a tangent read from a finite chord of a curved image departs from the true tangent in proportion to the chord. It is not a corner; it is the instrument.

The exact map says the seam is smooth

The previous rung could only bound the conformal seam's corner at about two degrees, because the series it was fitted with holds its boundary condition to three parts in a thousand. An exact map exists — the stereographic projection composed with ∫dt/√(1 − t⁴) — and it settles it: the corner falls in exact proportion to the arc the tangent is read over, fitted exponent 0.99, while the gnomonic's 21.4572° is the same to four decimals at every span.

families · Polyhedral One unit of a vector tile, in metres of ground. A vector tile's coordinates are integers on a lattice 4096 units across the tile, and the tile halves at every level, so one unit is a distance that halves too: 5.48 m at z10 and 0.086 m at z16, at 55°. It is also a different distance at every latitude, by cos φ, because the tile is in Web Mercator — the same factor that makes a grid metre a different quantity of ground at every latitude, arriving in the file format rather than in the projection.

A vector tile has an integer grid

Six essays on this ladder treat a vector tile as the thing a raster tile is not: geometry, resolution-free, styled at draw time. Its coordinates are integers on a lattice 4,096 units across a tile, the tile halves at every level, and at 55° north one unit is 88 metres at zoom 6 and 21 millimetres at zoom 18.

applied · Screen Three face maps on a cube, over a shrinking span. The corner a feature gets crossing the seam of a cube, measured by reading the tangent over an arc and then shrinking the arc by a factor of sixteen. A chord differs from a tangent in proportion to the arc, so a perfectly smooth join reports a corner that HALVES when the span halves — a slope of one on these axes. None of the three lines has a slope of one. The fitted slopes are 0.000, 0.000, -0.018, which is a flat line in each case, and a flat line is a real corner. The three differ in size and not in kind: 20.1513°, 7.2772°, 0.7687°.

The span ladder, run on all five

A recorded shortfall said the exact map's span ladder was one loop away from settling the seam on the five Platonic solids. The loop was run and the answer is the other one: the series conformal face map has a corner that does not shrink with the measurement span on any of them — 4.10° on the tetrahedron, 0.77 on the cube, 0.004 on the icosahedron — and it belongs to the truncation rather than to conformality.

families · Polyhedral 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 The same labels, placed once and placed per tile. 140 stated label boxes on a 1024-pixel page cut into 256-pixel tiles. The pale boxes are placed the same way by both rules. The dark ones are placed by the tiled renderer and suppressed by the global one — labels that should have lost a collision with something in the next tile and did not, because the tile that drew them could not see it. nine of them, against 104 labels the global rule keeps.

A label belongs to no tile

Nine rungs price the tile as a piece of geometry. A label is not geometry — it is a page object placed by collision against other page objects, and collision is a global relation while a tile is rendered alone. Cut a page into tiles and 10.3 per cent of the labels are placed differently; the buffer that closes the gap is half a tile at moderate density and a whole one when it is crowded.

applied · Screen

Named alongside it

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

VerificationPolyhedral projectionDiscontinuityTopologyConformalityContinuityConvergence rateEqual-areaSeries truncationAntimeridianClosed formEstimator

All concepts