The families
Cylinders, cones and planes
The standard taxonomy sorts projections by the shape of paper they were notionally rolled from. It is memorable, it is how everyone is taught, and it says almost nothing about the properties anyone actually chooses on.
What a standard parallel buys
A standard parallel is a line where the projection is exact. Choosing one does not reduce the distortion — it decides where the distortion is zero and lets everything grow away from it.
The aspect is a free choice
A projection's distortion pattern is fixed relative to its own axis, and where that axis points is entirely up to the cartographer. Rotating it is the cheapest available improvement and it is the one most often left unmade.
Transverse Mercator and the series that computes it
The projection most of the world's survey data lives in has no closed form. What every national grid actually computes is a truncated power series in the flattening, and how far it can be trusted is an engineering parameter rather than a property of the projection.
UTM and the zone system
Sixty separate maps of the world, each six degrees wide, each with a scale factor of 0.9996 chosen so the projection is wrong everywhere and less wrong at the edges. Every constant in the definition is a measured trade rather than a convention.
The projections that gave up being one thing
The polyconic is built from a different cone for every parallel, which means it is built from no cone at all. It preserves nothing the usual tests look for, it has an exact property neither of them measures, and its sheets do not fit together — a defect discovered in the field rather than at the drawing board.
The conic is the whole family
Cylindrical and azimuthal are usually presented as two of three families beside the conic. They are the two ends of it. One parameter runs from the cylinder to the plane, and both limits are exact rather than suggestive — which is measurable, and measured here.
Where a pseudocylindrical puts its error
Every projection in this family has to decide what to do at the pole, which on the globe is a point where every meridian meets. Drawing it as a point and drawing it as a line are the two answers, and the trade between them is measurable in both directions.
Grid north is not north
A grid has one north, parallel everywhere on the sheet by construction. The Earth has a different one at every point. The angle between them reaches two degrees at the edge of a UTM zone, and a straight line on the grid is not a straight line on the ground either.
The azimuthal family is one function
Five azimuthal projections are taught as five viewpoints — from the centre, from the far pole, from infinity. They are one projection with five choices of how far out to draw a point at angular distance ρ, and each named property is a differential equation in that one function: f′ = f/sin ρ integrates to the stereographic projection and f f′ = sin ρ to Lambert's, from nothing but true scale at the centre.
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.
The cut has to go somewhere
A solid lies flat only if it is cut open, and which edges to cut is a spanning tree of the face graph — so the icosahedron has exactly 5,184,000 distinct nets, a determinant rather than an estimate. All 384 of the cube's were laid flat and tested: not one overlaps, while an irregular tetrahedron overlaps in four of its sixteen.
What a face can preserve
The obvious map onto a polyhedron's face is the gnomonic, and it draws every great circle straight while stretching the corners by a factor of 1.50. Replace it with a construction that holds the areal factor at one to a part in a million and the shape error rises from 8.0° to 11.9° — the same trade the whole sphere forces, arriving on a piece of it a twentieth the size.
A conformal map onto a face
The polyhedral ladder ended owing a conformal face map, on the grounds that it needs elliptic functions. It does not: a conformal map of the sphere is an analytic function of one conformal coordinate, so the map is a power series, choosing it is a least-squares fit — and its scale factor is infinite at the corners, which is the angle deficit arriving as a singularity.
More faces, less distortion, more cutting
The five regular solids are where polyhedral mapping stops, and they stop because there are only five rather than for any reason about maps. Subdivide instead, and the family runs to any number of faces with two fitted exponents: distortion falls as the reciprocal of the count and cutting rises as its square root.
Where the series stops being the map
The transverse Mercator has no closed form on an ellipsoid, so every national grid computes a truncated series. Asking how many terms it needs has an answer everywhere; asking whether more terms always help has an answer only within 83.81° of the central meridian, and the boundary is computed rather than assumed.
The condition does not always decide the map
Write a family as a shape with an unknown function in it and every classical property becomes a differential equation. In three families the equation has one solution and the named projection is what comes back. In the fourth it has a whole function of solutions, which is why that family has forty members and the others have three.
The net that loses the fewest neighbours
Every one of the cube's 384 nets cuts exactly seven edges of exactly the same length, so the quantity this collection has been pricing cutting by is a constant that cannot choose between them. Measured on the reader's side — how far apart a net puts two places that touch on the globe — the best net scores 11.30 and the worst 17.97, for identical cutting.
The inverse of the series is not the series of the inverse
Transverse Mercator on an ellipsoid has no closed form, so every national grid computes it as a truncated series. There are two of them — one out and one back — and they are separate approximations. Composing them does not give the identity: at the order every grid formula in ordinary use is written to, a point three degrees from the central meridian comes back 0.39 mm north of where it started.
The developable surface was never necessary
Eight essays on this ladder start from cylinders, cones and planes, and none of them has asked which named projection is actually a projection onto one. Fitting a one-parameter perspective construction to eleven of them: six come back exact, and the three landmarks are the gnomonic at h = 0, the stereographic at h = 1 and the orthographic at h = ∞.
A net can land on top of itself
Every one of the cube's 384 unfoldings is a net, and every one of the icosahedron's five million is too. Past the regular solids that stops being true: at 180 faces, 99 of every 100 randomly chosen unfoldings have faces sitting on top of each other, so choosing a net stops being a choice and becomes a search — except that the net anybody would actually draw works every time.
What the net heuristic cannot find
Choosing a net by unfolding outwards from a face beats guessing, and the earlier measurement of that left its own limit unknown. Enumerated in full, the heuristic turns out to be exactly optimal on every solid small enough to check — rank one of 384 — and above that ceiling no sample can tell whether it still is, because eight hundred random nets never reach it.
The family is a symmetry, not a shape
Rung seven dissolves the taxonomy: eleven named maps fitted to one perspective formula, six reproduced exactly and five refused, so the developable surface describes how the projections were discovered rather than what they are. What is left is the question it does not ask. If the shapes are not the classification, what is?
A projection defined by a table has an interpolation in it
One member of this library has no formula: Robinson set nineteen pairs of numbers by eye and the table is the definition. Three published interpolations of it draw graticules that differ by four parts in a thousand of the map's span and report angular deformations that differ by 8.4 degrees.
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.
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.
A family is not closed under averaging
A family is a set of maps with a parameter running through it, and the compromise projections here are averages of members. An average of two members is not a member: two conics far apart average to something 31 per cent of their own separation outside the family — and averaging within a family makes the map worse every time, while averaging across two makes it 16 per cent better.
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.
Four radii of the Earth
The ellipsoid is usually handled with an auxiliary latitude. Every such construction also needs a radius, and the radius that makes each property exact is a different number: the published 6371 km is right for an area to half a part per million and wrong for a meridian distance by 559 — while the radius a conformal map needs is not a constant at all, and spans 6,739.
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.
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.
A family is a function, not a list
The equal-area pseudocylindricals are the solutions of one equation in two unknown functions, so one function is free and the named members are points in a space of them. Writing that function as six numbers and searching over them finds a map at 25.03° of mean angular deformation against Eckert IV's 28.08 — and two numbers are already enough to beat every map the family has a name for.
The maps with no family are simply better
Seven projections have no continuous symmetry, and they are almost exactly the set anybody would choose for a world map. That coincidence came with a conjecture and a test attached: their advantage should collapse under a criterion that does not care where anything is. Run, it does the opposite — 1.343 times under a uniform weighting and 1.204 under a concentration. The conjecture is refuted.
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.
An equal-area strip removes the corner and charges nothing for it
Goode's seam matches three quantities and breaks the fourth: every meridian but the central one turns a corner there. A third map spliced between the two removes it — four conditions on one function, satisfied uniquely by a cubic — and the expected price does not arrive. The spliced composite carries less angular deformation across the seam than the plain join, not more: 34.7° against 37.7° at sixty degrees of longitude. What it does leave is the same defect one derivative up, a jump in curvature falling as the reciprocal of the strip's width.
The map is finer than the paper it is folded from
Thirteen measurements price a polyhedral map in angles, areas and lengths, and none of them is about paper. A hand-folded net is accurate to about a degree of dihedral angle, which displaces the far edge of a cube's face by 0.955° of arc — 106 km at Earth scale — and that floor does not shrink when the globe is made larger, because a degree is a degree. Against it the conformal face map's seam corner is 0.769° on a cube and 0.0040° on an icosahedron, where it is 165 times finer than the sheet can be folded to.
Only Eckert II's family can be the strip, and its meridians are straight
The cubic that smooths Goode's seam is four conditions on the length of a parallel, and equal area turns them into four conditions on how the parallels are spaced. The sinusoidal's spacing is flat, so a strip can leave it only where its own spacing is momentarily flat — and of eleven named equal-area maps, only Eckert II's spacing ever turns over. One member of its family meets all four conditions exactly, over seventeen degrees centred four hundredths of a degree from Goode's join, with every meridian straight. The cubic over the same span is the same map to four parts in a hundred thousand.
37 essays in this field, the first 16 of them shown with their opening figure.