Crystallography & Symmetry
patterns derived from their groups
Concept

Magic theorem — where it appears

Conway's accounting: every feature of an orbifold costs something, and a flat one costs exactly two. The classification falls out of an identity that never mentions a lattice, and the cheapest thing past two costs two and one eighty-fourth.

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

The seventeen signatures, and the seventeen groups. Every combination of features costing exactly two, beside the plane group each one names. The left column is produced by an accounting identity that has never heard of a lattice; the right by reading seventeen groups' own operations — their rotation centres and orders, which of those lie on mirrors, and how many closed curves the mirror lines make once equivalent lines are identified. The map between the two lists is a bijection, and the figure does not appear unless it is one — in both directions. A signature with no group and a group whose signature is not on the list are both refused, and so is the failure that actually happens: two groups deriving one signature, which costs exactly two and passes every check but injectivity.

Seventeen dollars

Conway's magic theorem prices the features a folded-up pattern can have — a handle costs two, a mirror boundary one, a cone point of order n almost one — and requires the total to come to exactly two. There are seventeen ways to pay, and the classification falls out of an accounting identity that never mentions a lattice.

classification · Seventeen The (2, 3, 7) group, in the Poincaré disk. A triangle with angles π/2, π/3 and π/7, reflected in its own three sides until depth 12: 380 triangles, alternating in handedness because every generator is a reflection. The sum 1/2 + 1/3 + 1/7 is less than one, so the triangle does not fit in the flat plane and the drawing is of the hyperbolic one, with the whole plane squeezed inside a disk. Every triangle has the same hyperbolic area; the ones near the edge look small because the model shrinks distances there, and the tiling stops at the edge of the drawing rather than at the edge of anything.

Past two, the list does not stop

Conway's accounting says a wallpaper group costs exactly two dollars, and there are seventeen ways to spend it. Spend less and the answer is a finite group. Spend more and the list is infinite — but the cheapest thing past two costs two and one eighty-fourth, and nothing at all lies in between.

classification · Seventeen

Named alongside it

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

The Euler characteristicOrbifoldBad orbifoldCone pointCross-capGenusHurwitz boundHyperbolic planeMirror boundaryOrbifold costPoincare diskSignature

All concepts