Euler characteristic
Named by 29 essays across 4 fields — each of them below, with the objects they name alongside it.
Why the list of perfect solids stops at five
There are infinitely many regular polygons and exactly five regular solids. The reason is not deep, but it is very sharp, and it can be checked on a single row of corners.
The surface with one side, and what happens when it is cut
A strip of paper, half a twist, and a join. The result has one side and one edge, and cutting it down the middle does not produce two of anything.
Four colours, and a proof nobody can read
Every map on a plane can be coloured with four colours so that no two neighbours match. The statement is understandable by a child, it resisted a century of attempts, and the proof that settled it cannot be checked by a human being.
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.
The plane, divided by whoever is nearest
Scatter some points and colour every other point of the plane by which one is closest. The result is a tiling nobody designed, and its dual triangulation has a property that no part of the construction mentions.
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.
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.
Area by counting dots
Draw a polygon with every corner on a grid of dots. Count the dots strictly inside, add half the dots on the edge, subtract one — and the answer is the area, exactly, with no measuring anywhere.
Two trees, and every edge in exactly one of them
Euler's formula is usually proved by deleting things until nothing is left. There is a better argument that deletes nothing — a tree through the corners and a tree through the faces, which between them use every edge once and can therefore be counted.
Seven hundred and twenty degrees of gap
Unfold the faces around any corner of a solid and they do not close up. The gap left over is different at every corner and on every solid, and the gaps always add to two full turns.
The solid where the answer is not two
A slab with a hole through it has flat faces, straight edges and sixteen corners, and its alternating sum is zero. It is not a trick and not a degenerate case — it is the object that shows the theorem had a hypothesis nobody had written down.
Seven regions on a doughnut
A map on a torus can need seven colours, and the proof is a picture — seven regions, each sharing a border with all six others. The plane needed a computer and eighty-six years; the harder surface was settled in 1890 by drawing something.
Thirteen more when one word is dropped
The list of regular solids stops at five because the definition asks for two things at once. Ask for only the second — every corner alike — and thirteen more appear, each of them cut off a Platonic solid at a depth found rather than chosen.
The four that are allowed to cross themselves
Drop convexity from the definition of a regular solid and four more appear. Their faces are pentagrams, they pass through one another, and the alternating sum that gives two for every ordinary solid gives minus six for two of them.
The bottle that needs a fourth dimension
Take the Möbius band's rectangle and glue the second pair of edges too. The result is closed, one-sided, and cannot be built in three dimensions without passing through itself — which is a fact about the room rather than about the surface.
A disc sewn to a Möbius band
The band has one boundary curve, and a disc has one boundary curve. Sew them together and the result is the smallest closed surface with one side — the one every other one-sided surface is built out of.
Two sheets over a one-sided surface
Above every one-sided surface sits a two-sided one, exactly twice as large, and the map between them forgets which of the two senses of turning a point was carrying. Building it turns a question about sides into a question about covers.
A table folded into a surface
Unfolding a square billiard gives a straight line on a torus. Unfolding any table whose angles are whole fractions of half a turn gives a straight line on some surface — and which surface it is decides how hard the dynamics will be.
Covering a surface multiplies its count
A covering of a closed surface is a permutation of the sheets for each edge of the surface's one face — with one condition that a covering of a graph never had to meet. When the condition holds, the cells of the cover can be counted directly, and the count is the base's count times the number of sheets. That multiplication decides which surfaces can cover which, before any cover is built.
What a branch point subtracts
Let the sheets of a covering meet at a few points and the count stops multiplying — but it fails by an amount that can be read off each point's permutation. Cut the sphere into a star, lift the cells, and the Riemann–Hurwitz formula falls out of a subtraction. The same count then turns out to be necessary and not sufficient.
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.
A count that can say zero
The branched count ends on a list of cycle shapes that passes every test and describes no covering. There is an exact formula for how many coverings a list has — a sum over the character table of a symmetric group — and it returns nought without giving any reason why.
The surface a knot bounds
Every knot is the edge of a surface with two sides, and Seifert found a way to build one from any diagram: smooth the crossings, fill the circles that result with discs, and join them with twisted bands. Counting the handles gives an upper bound on how complicated the knot is, the Alexander polynomial gives a lower one, and for the simplest knots the two meet.
Three ordinary lines from a count
Kelly's proof finds one line through exactly two of the points by minimising a distance. Melchior, seven years earlier, had found three — by turning every point into a line and counting the corners, edges and regions of the picture that results. Euler's formula for the projective plane does the rest, and it says exactly which configurations have no more than three.
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.
The surface a random gluing makes
Pair the edges of a large polygon at random and glue each pair head to tail. The surface almost always has nearly as many handles as the polygon allows: a thousand edges leave about seven and a half vertices, and the genus is within four of its ceiling of 250. The vertices behave like the cycles of a random permutation, and their average is a harmonic number.
Twelve pentagons, whatever the hexagons
A football has twelve pentagons and twenty hexagons. A molecule of sixty carbon atoms has the same pattern, a molecule of seventy has twelve pentagons and twenty-five hexagons, and a geodesic dome of any size has twelve places where the pattern of six breaks. None of this is a coincidence of design: Euler's formula, rearranged, says that faces meeting three at a corner must fall short of hexagons by exactly twelve in total, and the hexagons are free.
Zero in four dimensions
Corners minus edges plus faces is two for every solid. One dimension up, corners minus edges plus faces minus cells is zero for every one of the six regular four-dimensional solids, from the five-cell to the six-hundred-cell, and for every other convex solid in four dimensions. The alternating sum does not break when the dimension rises: it alternates, two in odd dimensions and zero in even ones, because it is measuring a sphere and not a solid.
Named alongside it
The objects these essays reach for when they reach for this one.
GenusGluing diagramPolyhedronOrientationDualityTopological invariantBoundaryPlatonic solidsCovering spaceKlein bottleNon-orientableOrientability