Matpic
mathematics, in pictures
Concept

Covering space

A space mapping onto another so that each point below has a neighbourhood whose preimage is a stack of separate copies. Paths lift to it uniquely, which turns a question about which loops shrink into a question about where a lifted path ends.

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

3 loops in one ring, and the number that separates them. Loops drawn in an annulus, each labelled with how many times it goes round the hole. Loops with different counts cannot be deformed into one another without leaving the ring.

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.

topology · Homotopy The line spiralling over the circle. A circle with a helix drawn above it: the helix is the real line, and the map that sends each of its points straight down onto the circle covers the circle once per turn. Above one marked point sits a column of points, one per turn.

The same loop, unrolled

Spread a circle out into a line spiralling above it, and a loop that closes downstairs becomes a path that does not — so a question about which loops can be shrunk becomes a question about where a path ends, which is easy.

topology · Covering spaces A wedge of 2 circles. Several circles all passing through one common point, each labelled with a generator, so that a loop is a word in those letters.

The subgroup that is freer than the group

A free group on two letters contains a subgroup of index three that is free on four. Nothing about a group makes that plausible; everything about a graph makes it obvious, and the argument is to stop looking at the group and start looking at the space whose loops it is.

topology · Covering spaces 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.

topology · Orientability 3 sheets, and the subgroup they name. A circle with its 3-sheeted cover drawn as a spiral above it, beside a table of the winding classes and whether each lifts to a closed loop. The ones that do are exactly the multiples of 3.

Every cover is a subgroup

A space can be unrolled, and the ways of unrolling it are not arbitrary. They correspond exactly to the subgroups of its fundamental group — index equals sheets, normality equals symmetry — so a question about a group becomes a question about a picture and back again.

topology · Homotopy 3 symmetries over 3 sheets: a regular covering. A 3-sheeted covering of a wedge of 2 circles, with the permutations of its sheets that commute with every generator. There are 3, against 3 sheets.

The symmetries a cover has of its own

A covering space can be shuffled without disturbing anything below it, and how many ways there are is decided by the subgroup it corresponds to. When there are as many symmetries as sheets the covering is called regular, and that is the same statement as the subgroup being normal.

topology · Covering spaces 3 sheets, 8 of 26 words coming back. A table of reduced words in two generators with the sheet each sends the base sheet to. The words returning to it are the covering's subgroup, and the 3 sheets are its cosets.

A covering is a permutation

Describing a covering means saying where each loop sends each sheet, which is a permutation for every generator. So a covering of a wedge of circles is nothing but a homomorphism to a symmetric group, and the subgroup it corresponds to is a stabiliser.

topology · Covering spaces 6 vertices folded to 4, and a graph that decides. The graph built from 3 generator words, folded until no vertex has two edges of one label leaving it. Reading a word from the base vertex decides membership, and 6 words are tested.

Folding a graph until it decides

A subgroup of a free group usually arrives as a list of words, and almost nothing about it is readable from the list. Draw the words as loops, merge every pair of edges with the same label leaving one point, and what is left is a machine that decides membership by reading.

topology · Covering spaces 3 sheets over a surface of genus 2: a surface of genus 4. A 3-sheeted covering of the closed surface of genus 2, drawn as 3 copies of its 8-sided face with each side coloured by its generator and numbered with the sheet it glues to. The Euler characteristic −6 is 3 times −2, and the cover has genus 4.

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.

topology · Covering spaces 2 sheets branched over 4 points of a sphere: a surface of genus 1. A 2-sheeted branched covering of the sphere with 4 branch points, drawn as 2 rows of sheets over a centre and the branch points, with the sheets joined where each point's permutation cycles them. Counting cells gives Euler characteristic 0, matching the Riemann–Hurwitz formula, and genus 1.

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.

topology · Covering spaces Six lists of cycle shapes, and how many coverings each has. A table of lists of cycle shapes over a sphere, each with the Euler characteristic the Riemann–Hurwitz count gives, the number of lists of permutations with that product, and the number of those that connect all the sheets.

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.

topology · Covering spaces The Alexander matrix of the trefoil. The trefoil with its 3 arcs numbered and its 3 crossings lettered, beside the 3 by 3 matrix they give. A minor of the matrix is the Alexander polynomial t − 1 + t⁻¹, whose value at −1 is the determinant 3.

A polynomial behind the colourings

The figure-eight knot and the cinquefoil both have determinant five, so they admit exactly the same colourings, and every counting argument treats them as one. Put a variable where the colouring rule has a two and the determinant becomes a polynomial — and the two knots come apart.

topology · Knots 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 A loop that cannot be undone, and the surface it bounds. The loop aba⁻¹b⁻¹ on the figure eight, which cannot be pulled tight, beside a square whose boundary reads the same word, showing that the loop bounds a surface.

What homology forgets about a loop

Let the letters of a loop commute and the loop group of a space becomes its first homology group: a loop now records only how often it went round each hole. What is thrown away is exactly the loops that bound a surface. On the figure eight that is nearly everything — of the loops of sixty letters that homology calls nought, about one in 6,700 is a loop that actually shrinks.

topology · Homotopy

Named alongside it

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

Fundamental groupSubgroupEuler characteristicFree groupGenusIndexMonodromyDeck transformationGraphHomotopyLiftingLoop

All concepts