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 26 essays across 4 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

Cuts are usually counted and never measured. 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

Choosing a polyhedral map means choosing 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 measured earlier as having no corner at all — 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

An earlier measurement took 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 conformal seam's corner could only be bounded 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
50° S to 40° S, drawn conformally without a cut and with one. The band of latitude from 50° S to 40° S, drawn two ways that both keep every angle. On the left it is not cut: the only such map with least scale variation is the stereographic from the south pole, the ring closes up, and its scale varies by a factor of 1.0750 across the band. On the right it is cut along one meridian and opened into a conformal conic with cone constant 0.7080: the ring spans only 254.9° and leaves a gap of 105.1°, and its scale varies by 1.0038. Not cutting costs a factor of 1.071 in scale variation.

A ring can be drawn whole, and only one way

A band of latitude has a hole in it, and a region with a hole has a number no angle-keeping map can change. Draw the band without cutting it and that number forces the map: the stereographic from one pole is the least-varying picture there is. One cut along a meridian frees the cone constant, and the scale variation the cut buys back runs from nothing on a polar cap to a factor of 2.13 between the tropics.

impossibility · Topology
One map made of two, and the latitude where they meet. Goode's homolosine drawn without its interruptions: sinusoidal between 40°44′11.98″ north and south and Mollweide beyond, joined at the latitude where a parallel has the same length in both. Dashed: the join. Heavy: four meridians, drawn from 60° south to 60° north, which cross it. The central meridian crosses smoothly; the others turn a corner there, reaching 13.30° at 110° of longitude, marked. The map is equal-area everywhere, and every parallel keeps its length across the join.

Joined where the parallels agree, and the meridians turn a corner

Goode's homolosine is two projections joined at 40°44′11.98″, and three quantities match there: the length of the parallel, the areal factor, and the spacing of the parallels on the central meridian. The fourth does not. Every meridian but the central one turns a corner at the join, up to 13.30° at 110° of longitude, and the angular deformation drops 26° across a line of no width. Moving the join decides where that corner is paid, not whether.

families · Families
The curve that does the whole job has no kink and does not turn over. The parallel spacing along the central meridian, as a share of the equator's, for the best single smooth curve found and for three maps it is being compared with. Goode's composite is flat to its join at 40.7° and then follows the Mollweide's, and the kink where the two meet is the join every essay before this one has been about. The fitted curve has no kink, and it is not the shape the question expected either: it is flat only through the first fifteen degrees (97.2 per cent at 15°), then closes monotonically and faster than the Mollweide — 54.3 against 77.3 at 60° — and it never turns over.

One curve beats the three maps it would replace

Goode's composite is a sinusoidal, a Mollweide and now a splice strip between them, and the question left open was whether one smooth spacing curve could do the whole job or whether the joins are doing work no single curve can. One term does it: a curve with a single coefficient carries 6.8 degrees less angular deformation than the composite, two beat every named equal-area pseudocylindrical in the library, and the composite turns out to be worse than the Mollweide it is half made of.

families · Families
A sea with two islands in it, and the three circles it already is. A stated sea 60° across with two islands 12° across, their centres 12° from its own, drawn on the globe and drawn again under the stereographic projection centred on the sea. Stereographic projection carries every circle on the sphere to a circle in the plane, so the flat picture is bounded by three exact circles with no fitting and no iteration: the sea's edge at radius 0.5359, and the two islands at radius 0.1060 with their centres 0.2108 from the origin. Normalised, the region's three conformal invariants are 0.2361, 0.6848, 0.1221 — three numbers, which is what a region with two holes carries and no angle-keeping map can change.

Two islands are three numbers, and the proof does not survive them

A sea with one island at its centre has one conformal invariant and a forced best map. Put two islands in it and there are three invariants, readable in closed form because stereographic projection carries circles to circles — and the forcing is gone. The theorem that picked the map needed the region to be unchanged by rotation, not to have one hole, and a single harmonic term two hundredths in size beats the stereographic by 0.19 per cent the moment an island moves off centre.

impossibility · Topology
The seam corner falls faster than the paper and crosses it at 720 faces. For an icosahedron globe of 100 mm radius with every face divided ν ways, the gnomonic face map's worst seam corner against what a hand-folded paper net is accurate to. On twenty faces the corner is 9.19°, 12.8 times the whole budget of 0.716°. The corner falls as ν to the power -1.97 and the fold's error as ν to the -0.97, so the two lines converge; the budget stops falling once the crease, a fixed quarter-millimetre radius of paper, is larger than the fold. The corner passes under it at ν = 6, 720 faces, where it is 0.315° against 0.321°.

The seam falls faster than the paper

Divide each face of an icosahedron ν ways and two things shrink at different rates. The fold's error falls as 1/ν, because it is the face's own radius times a degree. The gnomonic seam corner falls as 1/ν², because it needs both a tilt between faces and a distance along their edge. So the gnomonic, 12.8 times the whole assembly budget on twenty faces, goes under it at 720 faces on a 100 mm globe. No globe of any size needs more than 5,120, and what it costs is paper folded out of sight: 5.8 per cent of the sheet at that crossing.

families · Polyhedral
The same copied stretch, dropped in rigidly and eased into place. One coast drawn twice. In the first ink the copied stretch is moved as a rigid, scaled piece and meets the rest of the coast at two corners — the dots. In the second it is pinned at the same two points and then eased along 30 per cent of the outline either side of each of them, which is what a compiler fitting a sheet by eye does. The dashed line is the coast the graticule predicts. The eased version departs from it by 6.1 thousandths of the map's width against the rigid one's 9.4: easing moves the departure about, and removes very little of it.

A copy eased into place loses its seams before its source

A stretch of coast lifted from another sheet and dropped in rigidly leaves two sharp corners where it joins, and both of them are findable. A compiler does not work that way: they pin the ends and ease the middle until it looks continuous. Easing halves the corner within five per cent of the outline and the seams survive it — until forty per cent, where the located seam jumps from four per cent of the coast out to twenty. The source projection survives twice as far, to seventy-five. The piece goes on naming where it came from after the method has lost track of which piece it is.

wrong · Identify
The same two islands, and the cut that buys most is the central one's. A sea 60° across with a large island A, 12° across, and a small one B, 6° across, on opposite sides of its centre, drawn in the plane the stereographic makes of it. Each dashed line is one way of spending a single cut — from A to the open sea, from B to the open sea, or from A to B — and the solid line is the one that buys most, as a share of what two cuts buy. Left, A 18° from the centre and B 6°: A 9% · B 78% · between 21%. Right, A 6° and B 18°: A 81% · B 12% · between 11%. The better cut is the central island's in both, whichever island is large, and a cut joining the islands buys 21% and 11%.

One cut belongs to the island that would cost most alone

A sea with two islands pays a few per cent for being drawn whole by an angle-keeping map, and one cut buys back part of it. Which island to cut is a design choice that leaves the ground exactly where it was, and it is not decided by size: across twenty arrangements of a large island and a small one, the cut worth most goes to the island that would cost the sea most if it were alone in it — in eighteen of twenty, the other two near-ties — which is usually the more central one. A cut joining the two islands buys almost nothing, and the better cut is nearly always the longer.

impossibility · Topology

A residual cannot count the pieces of a map

A compiled map does not say how many sheets went into it, and trying every count and keeping the best fit cannot tell. Seven pieces always fit better than two, because they contain them. A criterion that charges ln N for each number a piece spends recovers the true count in every trial, for one copied stretch and for two, until the digitising error reaches a thousandth of the map. AIC charges two and takes every piece it is offered. And an eased copy defeats the right criterion the other way: it is not a projection, so BIC buys pieces to explain it, three seams, then four, then six.

wrong · Identify

The land would move Goode's lobes before his join

Goode chose his lobes by eye: where the cuts run and where each lobe's meridian sits. Scored on the land outside Antarctica and found exactly on a five-degree grid, the land's own layout at his count of two lobes north and four south deforms it by 14.48° against his 16.51° — two degrees, more than his meridians were worth in the first place — while its cuts cross less land than his: 2,057 kilometres against 2,391, the worst of them 1,056 against the 1,946 his northern cut spends on Greenland. The land wants the map's edge in the Atlantic and its northern cut in the Pacific. His fourth southern lobe is worth four hundredths of a degree, and once the lobes are the land's the best join climbs again, to sixty degrees.

families · Families

The second cut goes across the sea

With two islands and one cut, the island that would cost the sea most alone names the cut. With three islands and two cuts, the obvious rule — cut the two dearest — names the best pair in only 23 of 40 seas, and loses up to 23 points of what three cuts would buy. It fails when the two dearest sit on the same side of the sea, where their cuts do each other's work. The best pair keeps the dearest island in 37 of 40; its partner is the island across the centre from it, which is right in 32 of 40 and never costs more than 12 points. A cut joining two islands is never worth a second cut to the sea.

impossibility · Topology

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

A second tracing tells a drifting hand from a copied stretch

A hand tracing a coast drifts rather than jitters, and a drifting error is a smooth departure no projection explains — so the criterion that counted copied stretches correctly under independent noise counts four or five seams where two were made, and three or four on a coast with no copy at all. Undo the drift before fitting and every count comes back, for no copy, one and two, in every tracing. That needs the drift's correlation length from outside the coast, known to within a factor of three on the short side and much less on the long, and a second tracing of the same coast supplies it: the difference between two tracings holds nothing but the two errors, and read that way the count is right in 22 tracings of 24, and never too high.

wrong · Identify

A sea with five islands is seldom worth five cuts

With three islands in a sea, the second cut went across the sea from the first, and the number of cuts worth spending looked like the number of directions the islands point. With four and five islands that survives in part and breaks in part. Choosing the dearest island and then, each time, the island farthest in bearing from every island already cut names the best pair of cuts in 28 seas of 40, where the two dearest name it in 16 — and it fails at three cuts of five, because the best three cuts often do not contain the best two. The dearest island is no longer reliably among the best pair. And 39 seas of 40 are worth fewer cuts than they have islands: the count follows the widest gap in the islands' bearings more closely than it follows how many islands there are.

impossibility · Topology

An easing is a seam with a width, and a drifting hand hides the width

A copy eased into a compiled coast is not a projection, so a count that explains the coast in rigid pieces buys four, five or six seams for one copy. Give each seam a width — the copy blended into the host over that width, the same linear fit at every width, the width charged as one more number — and the count is two seams at every easing up to 17.5 per cent of the coast, and the width it reports is the one drawn, wherever the copy departs from the host by many times the digitising error. Where it departs by seven, the width is a guess. On a tracing made by a drifting hand the easing disappears: whitened for the drift, the rigid count already calls two seams in every tracing, because an easing as long as the drift is a stretch of drift, and its width can no longer be read until it is twice the drift's length.

wrong · Identify

Averaging tracings reads the easing, until the hand repeats itself

One tracing by a drifting hand cannot show how far a copy was eased, because an easing as long as the drift is a stretch of drift. Average several tracings and the easing stays while the drift shrinks: two tracings read the easing's width at the seam where the copy departs strongly, sixteen read it at the seam where it barely departs, and as the drift falls the rigid count starts buying pieces for the easing again while the eased count stays at two. All of that assumes each tracing drifts afresh. A hand that repeats part of its drift in every tracing leaves that part in the mean, where it sets a floor no number of tracings goes below; and a digitiser who learns the hand from the spread between tracings measures only the part that averages away, and charges the mean too little, so that both counts buy every piece they are offered.

wrong · Identify

The spread between hands charges the mean, and an office's habit hides in the sheet

One hand's tracings cannot see the part of its drift it repeats, so a mean of sixteen by one hand is charged for a third of the error it carries. Sixteen tracings by four hands carry half the error of sixteen by one, and the spread between the hands' means, divided by the number of hands, charges that mean correctly to within a fifth on every sheet from three hands on — without ever estimating how much of a hand is habit. The same spread reads a hand's share of habit from two hands of two. What it cannot read is a habit every hand in the office shares: tracings of a sheet with one are tracings of a different sheet without it, and the charge they give falls further short the more hands and tracings are added.

wrong · Identify

A known coast charges an office's habit, and a bending one takes it out

An office whose hands all share a habit leaves it in every tracing of every sheet, where the spread between hands cannot see it. One control sheet — a coast known independently, traced the office's usual way — reads the habit's size and restores the charge, if the habit is a drift. If the habit answers to the coast's own curvature, a size read on a rounder coast charges a thinner one at little more than half, but the same control read differently does better than charge the habit: its departures, set against its curvature, give a slope that is the office's own on every coast, and subtracting it leaves about one per cent of the habit in the mean. The slope also tells the two kinds of office apart. A coast that hardly bends teaches neither, and corrects worse than nothing.

wrong · Identify

Named alongside it

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

VerificationEstimatorTopologyConformalityCompilationDegrees of freedomResidualEqual-areaLeast-squaresPolyhedral projectionProjection identificationPurpose

All concepts