Matpic
mathematics, in pictures
Concept

Monodromy

The permutation of a covering's sheets obtained by following a loop in the base and noting which sheet each lift ends on. It records the whole covering as an action of the loops, and a branch point is a point round which it is not the identity.

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

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

Named alongside it

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

Covering spaceEuler characteristicFundamental groupGenusSubgroupFree groupGroup actionIndexLiftingPermutation

All concepts