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

Winding number — where it appears

How many times a direction turns, with sign, as a small circle is walked round a point. It is a first-derivative quantity, it gives a monkey saddle the −2 that a Hessian determinant cannot, and it is what makes an index count correctly where a classification does not.

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

Ground north, on a map that has the pole on it. Every arrow points along its own meridian, towards the pole, and the pole is at the centre. Walking once anticlockwise round any loop enclosing it turns the arrow once anticlockwise as well: the index is 1, counted as a winding number with no distance anywhere in the calculation. A field like this cannot be combed flat. There is no way to choose a page direction for north at every point of the neighbourhood without the choice tearing somewhere, and the somewhere is the point in the middle.

North cannot be up everywhere

Ground north is a field of arrows on the sphere, and a field of arrows on a sphere must vanish somewhere. The failure is not measured, it is counted: the indices of the zeros sum to two, obtained here as a winding number in seven different charts with no distance anywhere in the calculation, and it is the same two that Gauss–Bonnet gets by integrating curvature.

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

Named alongside it

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

Critical pointEuler characteristicInvariantChartClassificationContinuityConvergence angleDegeneracyFlexionGauss–Bonnet theoremGradientIndex of a zero

All concepts