Series

Orientability — the series

9 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. 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.

    part 1 · topology
  2. 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.

    part 2 · topology
  3. 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.

    part 3 · topology
  4. A sphere over a projective plane, cell by cell. An icosahedron with opposite faces drawn in matching colours, beside the count of cells it has and the count the quotient by the antipodal map has — every number halved, including the Euler characteristic.

    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.

    part 4 · topology
  5. A frame carried round a Möbius band. A flat rectangle whose ends are about to be joined, with a pair of arrows carried along it — one along the band and one across it — and the sign of the frame at each station.

    Orientation is a sign

    Carry a pair of arrows once round a loop and compare them with the pair they started as. The comparison is a determinant, its sign is the whole of the answer, and no room, no side and no normal vector appears anywhere in the statement.

    part 5 · topology
  6. 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.

    part 6 · topology
  7. Every section of the Möbius band crosses the zero section. The Möbius band drawn flat, with 3 continuous sections; zeros per section: 1, 3, 1.

    Every section of the band must vanish

    Read the Möbius band as a line standing over each point of a circle, and choose a point on each line continuously: a section. On a cylinder a section can stay away from zero all the way round. On the band it cannot — every section crosses zero an odd number of times — and that single fact is what orientability means for a bundle. There are exactly two line bundles over a circle, told apart by one sign, and two Möbius bands added together make the plain cylinder's twin.

    part 7 · topology
  8. Pascal's triangle mod 2, and the room for the 2-dimensional projective space. Pascal's triangle with odd entries filled, rows 0 to 15, with row 3 marked as the tangent ledger 1 + a + a² and row 1 as the normal ledger 1 + a.

    The room a projective space needs, read off Pascal's triangle

    The projective plane cannot sit in three-dimensional space without crossing itself, and the reason can be written as arithmetic: a polynomial that records how a shape twists, which a room must cancel. For the n-dimensional projective space that polynomial is a row of Pascal's triangle read mod 2, its inverse is another row, and the inverse's last term says how many extra dimensions the room must have — exactly enough, at every power of two.

    part 8 · topology
  9. A Möbius band from a strip of length √3. length 1.732050807569; closure error 5.55e-16; folded triangle 1.154701 by 1.000000.

    How short a paper Möbius band can be

    A strip of paper ten times as long as it is wide makes a Möbius band easily. A square does not: paper bends but does not stretch, and a half-twist has to be paid for in length. Fold a strip of length √3 three times at sixty degrees and its ends meet turned over — a Möbius band, flat, in the shape of a triangle. Five folds manage it with 1.6246, and more folds approach π/2, but only by letting the paper pass through itself. Richard Schwartz proved in 2023 that √3 is the true limit for a band that does not.

    part 9 · topology

All series