Matpic
mathematics, in pictures
Concept

Deck transformation

A symmetry of a covering space that leaves the covering map unchanged, permuting the sheets over each point. The collection of them is a group whose size is the number of sheets, and it records what the covering remembers that the base has forgotten.

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

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 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 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

Named alongside it

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

Covering spaceFundamental groupAntipodal mapEuler characteristicFree actionFree groupGraphHomotopyIndexLiftingLoopNormal subgroup

All concepts