Concept

Gluing diagram

A polygon with its edges paired and arrowed, describing the surface those identifications produce. Every closed surface has one, and reading the edge word off it computes the surface's characteristic and orientability.

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

A Möbius band. A strip joined end to end after a half twist, so it has one side and one edge.

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.

topology · Orientability
The four ways to glue a square's edges in pairs. Squares with their edges arrowed to show which is glued to which and which way round, each with the vertices, edges and faces the gluing leaves, and the surface those numbers name.

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.

topology · Surface classification
The Klein bottle, drawn where it does not fit. A closed one-sided surface in three dimensions, drawn as a tube with a figure-eight cross-section that turns over once on the way round, with the circle where the drawing passes through itself marked.

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.

topology · Orientability
The gluing abab makes a projective plane. A polygon whose edges carry the word abab, with arrows for the direction each edge is glued and the corners coloured by which vertex they become.

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.

topology · Orientability
Reducing abcabc to a standard form. The gluing word abcabc rewritten step by step into one of the classification's standard forms, with the move used and the two invariants recomputed at each step.

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.

topology · Surface classification
4 surfaces with an edge, and the three numbers they need. Polygons whose gluing words leave some edges unpaired, each with its Euler characteristic, its sidedness and the number of boundary circles the unpaired edges form.

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.

topology · Surface classification
Every way to pair the edges of a hexagon. Chord diagrams of all 15 pairings of a 6-gon's edges, shaded by the surface each gluing makes: 5 spheres, 10 tori.

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.

topology · Surface classification
A random pairing of 24 edges. Chord diagram of one uniformly random pairing of a 24-gon's edges, corners coloured by the vertex they become. a 24-gon with its edges paired at random and glued head to tail: the 24 corners fall into 3 vertices, so the surface has genus 5, against a most possible of 6.

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.

topology · Surface classification
Every way to cut a genus-2 surface into pairs of pants. 2 thickened graphs, one for each type of pants decomposition of the closed surface of genus 2, each with 2 coloured junctions and 3 cutting circles.

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.

topology · Surface classification
The two-sided cover of a sphere with 3 cross-caps, built from aabbcc. Two copies of the polygon aabbcc with opposite senses of turning, glued within or across copies; 2 vertices, 6 edges, 2 faces, characteristic −2: a surface with 2 handles.

Two copies of the polygon, cross-matched

The two-sided surface that lies over a one-sided one can be built from the gluing word alone: take two copies of the polygon, one read each way round, glue a letter within the copies when it is used once each way, and across them when it is used twice the same way. The recipe works for every surface at once, doubles every count, and shows that a sphere with k cross-caps is covered by the surface with k − 1 handles — and that among all its connected double covers, exactly one is two-sided.

topology · Orientability

Named alongside it

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

Euler characteristicGenusNon-orientableOrientationTopological invariantBoundaryKlein bottleMöbius bandOrientabilityCatalan numbersClassificationClosed surface

All concepts