Series

Linking number — the series

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

    part 1 · topology
  2. a loop that dips through and back, and the punctures of the disc. A link drawn with a shaded disc spanning the first loop, seen at an angle, with every place the second loop passes through the disc marked with the direction it was travelling in.

    Zero can mean two different things

    The linking number counts how often one loop pierces a surface the other one bounds. Two punctures of opposite sign add to nothing, and a loop that never goes through adds to nothing as well — so the answer zero is two pictures wearing one number.

    part 2 · topology
  3. the Borromean rings, with every crossing signed. A diagram of the Borromean rings 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.

    Linked, and no two of them are

    Three rings that cannot be pulled apart, in which every pair comes apart the moment the third is removed. Every pairwise linking number is zero, so the number cannot see it — and what does see it is a word in two letters that refuses to cancel.

    part 3 · topology
  4. A ribbon on a lifted figure eight: link 1, twist 0.47, writhe 0.53. A closed ribbon drawn as its core curve and one edge, joined by short ties. The edges have linking number 1; the twist 0.467 and writhe 0.533 add to it.

    A whole number split into two that are not

    Run a ribbon round a closed loop and its two edges link a whole number of times. That number is shared between two quantities that are nothing like whole numbers: how far the ribbon twists about its core, and how far the core coils about itself. Bend the loop and the twist and the coiling trade continuously, to three decimal places, while their sum stays fixed — the arithmetic behind a coiled telephone cord and a supercoiled loop of DNA.

    part 4 · topology
  5. Six points in space and the triangles that link, seed 48. A projection of K₆ with straight edges, the under-strands broken at crossings. 1 of the ten pairs of disjoint triangles are linked; the pair 126 and 345 is coloured.

    Six points in space and a pair that must link

    Put six points anywhere in space and join every pair with a straight segment. Split the six into two triangles — there are ten ways — and at least one of the ten pairs of triangles is linked like two rings of a chain. No placement avoids it. The reason is a parity: moving an edge through another changes exactly two of the ten linking numbers, so their sum stays odd whatever is done.

    part 5 · topology
  6. Seven points in space and a knotted path through all of them, seed 12. A projection of K₇ with straight edges, faint, and one Hamiltonian cycle drawn heavy with its crossings broken: a trefoil. 9 of the 360 Hamiltonian cycles are knotted.

    Seven points and a knot they cannot avoid

    Put seven points anywhere in space and join every pair with a straight segment. There are 360 closed paths that visit all seven points once each, and at least one of them is knotted — however the points are placed. The reason is a parity, as it was for six points and a linked pair: a number read off each path's knot adds up, over all 360, to something odd. Six points are not enough; seven always are.

    part 6 · topology
  7. The seven graphs of the Petersen family. Seven small graph drawings, K₆, G7, K₃,₃,₁, K₄,₄ minus an edge, G8, G9, Petersen graph, arranged by vertex count with 6 arrows for the triangle-to-star exchanges between them.

    Seven graphs that must link

    Six points joined in every way cannot be placed in space without two disjoint triangles hooking together. Trade any triangle for a three-pointed star, or a star back for a triangle, and the property survives; doing it in every possible way from K₆ reaches exactly seven graphs, the Petersen graph among them, and stops. Every placement of every one of them links, by the same parity count. Remove any edge from any of them, and placements that link nothing appear at once. The seven are the whole answer: a graph must link exactly when it contains one of them.

    part 7 · topology
  8. The Lorenz orbits LR and LLR, linked. Projection of the periodic orbits LR, LLR of the Lorenz system, linking number 1.

    Every loop of the butterfly links every other

    The Lorenz equations have infinitely many periodic orbits, each a closed loop winding round the two lobes in its own order. Name each loop by that order — LR, LLR, LLRLR — and the linking number of any two can be read off the names, without solving anything: it is half the number of times a left-going strand passes a right-going one. Every such crossing has the same sign, so every pair of loops links, positively. Computing forty-five pairs from the equations themselves, the Gauss integral lands on the predicted whole number every time.

    part 8 · topology
  9. The three-sphere filled with trefoils. Seven fibres of the (2,3) Seifert fibration of S³, stereographically projected: five trefoils and two exceptional circles; pairwise linking numbers 6, 3, 2 and 1 verified.

    Torus knots that fill the three-sphere

    Hopf filled the three-sphere with circles, every two linked once. Let the circles turn at two different speeds instead — p turns one way while they make q the other — and the three-sphere is filled with (p, q) torus knots, trefoils when p and q are 2 and 3, every two of them linked exactly pq times. Two exceptional fibres remain plain circles; every knot links them q and p times, and they link each other once. Computed from the drawn curves for ten fibrations, every pair comes out at pq to six decimal places.

    part 9 · topology

All series