Topological invariant
Named by 20 essays across 4 fields — each of them below, with the objects they name alongside it.
Every corner pays for itself
Count the corners of any solid, subtract the edges, add the faces. The answer is two. It is two for a cube, for a pyramid, for a football, for anything squashed or stretched — and the number is measuring the shape it is wrapped around rather than the shape itself.
Three moves, and what they cannot undo
A knot is a closed loop of string, and two knots are the same if one can be wiggled into the other. Reidemeister reduced all possible wiggling to three local pictures — which is what makes it possible to prove that a knot is knotted.
Nothing on a sphere can be combed flat
Point an arrow along the surface at every place on a sphere, continuously, and somewhere an arrow has to vanish. On a doughnut it can be done. The difference between the two is a number that was already known from counting corners.
Which side of the line is inside
A closed curve with no self-crossings divides the plane into an inside and an outside. Nobody doubts it, almost nobody can prove it, and on a curve wound tightly enough nobody can see which side a given point is on either.
Every surface is a sphere with handles
Take a square and say which edges are to be glued to which, and which way round. Four such rules give four different surfaces — and two numbers computed from the rule, without ever building the surface, say which one.
A loop that cannot be pulled tight
A hole is a strange thing to point at, because it is precisely where the surface is not. What can be pointed at is a loop of string lying on the surface — and the hole announces itself by refusing to let that loop be pulled in to a point.
Colours that count more than three
Three colours prove the trefoil is knotted and say nothing at all about the figure-eight, which refuses them exactly as an unknotted loop does. The repair is to stop colouring and start counting — with five colours, or seven, and with the arithmetic done modulo the number of them.
Two graphs that will not lie flat
Five points, every pair joined: no matter how the points are placed or how the lines are drawn, two of the lines cross. The proof is not about drawing at all — it counts edges against faces and finds one edge too many.
Where the fixed point escapes
The theorem asks for a set that is closed, bounded and free of holes. Drop any one of the three and a map appears that moves every single point — and in each case the point that should have stayed still can be seen leaving.
Two loops and one number
Give each crossing between two closed curves a sign, add them up, halve — and the answer does not depend on how the curves were drawn, how they are pushed about, or which way the picture was projected.
The same map in different coordinates
The tent map and the logistic map at four look nothing alike and are the same map, carried onto each other by a change of variable. Everything either one does the other does, and the change of variable is a sine squared.
Every word driven to a normal form
The classification is usually met as a statement: two numbers name the surface. The proof is a procedure — a short list of cut-and-reglue moves that drive any gluing word to one of the standard forms, with a measure that never rises to say why the procedure stops.
The third number a surface needs
Leave an edge unpaired in a gluing word and the surface acquires an edge of its own. Two numbers no longer name it — a count of boundary circles is needed as well — and with that third number the list is complete again, every triple occurring exactly once.
Every way to pair a polygon's edges
A hexagon's six edges can be paired in fifteen ways. Glue each pair head to tail and five of the fifteen give a sphere and ten give a torus; an octagon's 105 pairings give 14 spheres, 70 tori and 21 surfaces with two handles. The spheres are exactly the pairings whose chords never cross, and the whole table obeys one recurrence found in 1986.
Counting targets by their holes
The Euler characteristic adds up like an area: glue two shapes together and it is the sum of theirs minus that of their overlap. So it can be used to measure, and measuring with it does something no area can. A field of sensors that each report only how many targets they detect — not which, not where — can have its readings added up, weighted by the Euler characteristics of the regions where the count is high, and the answer is exactly the number of targets.
Every surface is sewn from pants
A sphere with three holes — a pair of pants — is the smallest piece a surface with two or more handles can be cut into. Every such surface falls apart into them, and the Euler characteristic alone says how many pieces and how many cuts, however the cutting is done. What it does not say is the pattern, and the patterns are counted by drawing each one as a graph: two for two handles, five for three, seventeen for four.
The fewest corners a surface needs
Build a closed surface from triangles, any two meeting along a whole edge, at a single corner or not at all, and ask for the fewest corners. Two lines of counting give a floor for every surface, in terms of its Euler characteristic alone. The torus meets it with seven, the projective plane with six — and the Klein bottle, which the counting says could be built from seven, cannot, as a search of every possible arrangement shows.
A hole is a cycle that bounds nothing
A hollow triangle and a filled one have the same three edges and the same loop round them. In one the loop is the edge of something and in the other it is not, and that difference — a cycle that is not a boundary — is what a hole is. Counting holes is rank and nullity applied twice, and the Euler characteristic is what is left when the two applications cancel.
Counting targets when the sensors make mistakes
Add up the Euler characteristics of the regions where sensor counts are high and the answer is exactly the number of targets — until one sensor misreads. Each wrong reading is a new piece or a new hole, so the error grows with the number of sensors instead of averaging away. Smooth the readings and count each piece and hole by how long it survives as the threshold is lowered, and the count comes back exactly, with half the readings wrong, at the price of having to know how small a real feature can be.
A ring of clocks settles into a twist
Put identical oscillators round a ring, each pulled only by its neighbours, and start them at random. They always lock — every one ends at the same frequency — but most of the time not in step: the angles wind round the ring a whole number of times and stay wound. The winding number a random start chooses is spread like a bell whose width grows like the square root of the ring, and only coupling to about a third of the ring makes full synchrony certain.
Named alongside it
The objects these essays reach for when they reach for this one.
Euler characteristicGenusOrientationNon-orientableWinding numberBoundaryGluing diagramConnectednessContinuityCounting argumentCrossing numberGraph