Matpic
mathematics, in pictures
Concept

Reidemeister moves

The three local changes to a knot diagram that generate every deformation of the knot itself. Any two diagrams of the same knot are joined by a sequence of them, which is what makes checking an invariant a finite task.

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

the trefoil. the trefoil, drawn as a closed curve with 3 crossings. At each crossing the strand passing underneath is broken, which is the only information the flat picture carries that the curve alone does not.

Three moves, and what they cannot undo

A knot is a closed loop of string, and two knots are the same if one can be wiggled into the other. Reidemeister reduced all possible wiggling to three local pictures — which is what makes it possible to prove that a knot is knotted.

topology · Knots How many colourings each knot allows. Three knots, and the number of ways their arcs can be coloured with three, five and seven colours under the crossing rule, beside the determinant computed separately from the same crossings.

Colours that count more than three

Three colours prove the trefoil is knotted and say nothing at all about the figure-eight, which refuses them exactly as an unknotted loop does. The repair is to stop colouring and start counting — with five colours, or seven, and with the arithmetic done modulo the number of them.

topology · Knots the Hopf link, with every crossing signed. A diagram of the Hopf link with the under-strand broken at each crossing and each crossing between two components marked with its sign, which add to twice the linking number.

Two loops and one number

Give each crossing between two closed curves a sign, add them up, halve — and the answer does not depend on how the curves were drawn, how they are pushed about, or which way the picture was projected.

topology · Linking number 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 Seifert circles of the trefoil. The trefoil with an orientation, cut at each of its 3 crossings and reconnected the way the orientation allows. The 6 segments form 2 circles, and the surface built from them has genus 1.

The surface a knot bounds

Every knot is the edge of a surface with two sides, and Seifert found a way to build one from any diagram: smooth the crossings, fill the circles that result with discs, and join them with twisted bands. Counting the handles gives an upper bound on how complicated the knot is, the Alexander polynomial gives a lower one, and for the simplest knots the two meet.

topology · Knots The trefoil and its mirror image. The trefoil beside its reflection, with writhe 3 and −3. The Jones polynomials are t + t³ − t⁴ and −t⁻⁴ + t⁻³ + t⁻¹; the Alexander polynomial of both is t − 1 + t⁻¹.

A polynomial that tells left from right

The trefoil and its mirror image have the same colourings, the same determinant and the same Alexander polynomial, and the first proof that they differ was a hard argument about groups. Smooth every crossing both ways, count the circles in each of the resulting pictures, and add up the counts with the right weights: the total changes when the knot is reflected.

topology · Knots

Named alongside it

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

KnotInvariantOrientationTopological invariantCrossing numberKnot determinantLinear systemPolynomialTricolourabilityBoundaryChiralityCounting argument

All concepts