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

Net — where it appears

A polyhedron's surface cut along some edges and unfolded flat. It keeps one fewer edge than it has faces, so it is a spanning tree of the face graph, and the edges it keeps are seams where two different face maps meet.

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

Every one of the cube's 384 nets, scored. All 384 spanning trees of the cube's face graph, unfolded and scored on the total separation their cuts leave: how far apart, in edge lengths, the two copies of each cut edge end up on the page. Every one of them is a valid net — no Platonic unfolding overlaps — and they range from 11.30 to 17.97, a factor of 1.59. The heuristic of unfolding outwards from a chosen face lands on the first of them, exactly.

What the net heuristic cannot find

Rung seven chose a net by unfolding outwards from a face and showed the choice beats guessing, and recorded that its own limit was 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.

families · Polyhedral 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 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

Named alongside it

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

Polyhedral projectionPlatonic solidSeamVerificationAngle deficitCertificateClosed formCombinatoricsContinuityConvergence rateCut locusDihedral

All concepts