Restriction — the series · Crystallography & Symmetry

The five rotations a lattice will carry. One motif and every rotation a plane lattice permits: orders 1, 2, 3, 4, 6, and nothing else up to 12. Each panel turns the motif by its own operation as many times as the order allows, on the lattice that operation requires — oblique for the identity and the half turn, hexagonal for the third and the sixth of a turn, square for the quarter. The trace printed under each is the sum of the diagonal of the operation's matrix written in the lattice's own basis, and it is a whole number in every panel, which is the entire content of the crystallographic restriction. The list of orders is produced twice, once from that trace condition and once from the degree of a cyclotomic polynomial, and the figure refuses to draw if the two disagree.

The crystallographic restriction

A repeating pattern may have rotations of order two, three, four or six, and nothing else whatever. The proof is one line of arithmetic, and everything finite in the subject descends from it.

part 1 · restriction

Assuming a 5-fold rotation. The shortest lattice vector, its rotated copies, and the combination of them that is itself a lattice vector. Where that combination comes out shorter than the vector assumed shortest, the assumed rotation cannot exist.

Why five-fold is impossible

A second proof, geometric rather than algebraic: assume a five-fold centre, and out of it construct a lattice vector shorter than the shortest one there is.

part 2 · restriction

The 48 point symmetries of a cubic lattice. Every operation that maps a cubic lattice onto itself, built as the integer matrices preserving that system's metric: 48 of them, of which 24 are proper rotations and 24 reverse handedness. The orders occurring among the rotations are 1, 2, 3, 4 — the same list the plane gives, so the crystallographic restriction does not change in three dimensions, and there is no six anywhere. The 13 rotation axes are counted from the rotations they carry rather than drawn from memory, and every rotation but the identity is checked to belong to exactly one of them.

The restriction in three dimensions

Space is roomier than the plane in every other respect, so the natural expectation is that it permits more rotation orders. It permits exactly the same five, and seeing why is more interesting than the result.

part 3 · restriction

An integer matrix of order 5. The companion matrix of the 5th cyclotomic polynomial has whole-number entries and order exactly 5, so it is a genuine 5-fold symmetry of a 4-dimensional lattice. The plane it rotates sits at an irrational angle to that lattice, and the lattice's shadow on it is dense — which is why a projection needs a window before it becomes a pattern.

Where five-fold becomes legal

A five-fold rotation with whole-number entries exists — in four dimensions, as a four-by-four matrix that can be written down. The plane forbids it because the plane is too small, and knowing which dimension is large enough changes what a quasicrystal is.

part 4 · restriction

Thirteen ways to hold a lattice

The crystallographic restriction is about one matrix. A crystal has a whole group of them acting on one lattice at once, and asking how many such groups there are gives thirteen — not the ten of the plane point groups, and not the seventeen of the plane groups.

part 5 · restriction

Rotation orders 1, 2, 3, 4, 6 and no others. Every net in this collection, with the orders of the rotations its own symmetry group has, and the degrees of its vertices beside them. The orders are 1, 2, 3, 4, 6 — the crystallographic restriction, arrived at with no length anywhere in the argument: the translations of a net are ℤ² by construction, an automorphism carries translations to translations, so it acts on ℤ² by an integer matrix, and an integer trace in the interval from minus two to two is one of five numbers. The degree column is there because the two are constantly confused: a net may perfectly well have vertices of degree five, and one here does.

The restriction, with no lattice assumed

The proof that only two-, three-, four- and six-fold rotations are possible is usually stated about a lattice, and every step of it turns out to need no lengths at all. A periodic graph has the same theorem, proved the same way — and a graph may have a five-fold symmetry the plane cannot receive.

part 6 · restriction

The invariant degrees exist for every n; the lattice permits five of them. The reflection group with an n-fold rotation has an invariant ring generated in degrees 2 and n, for every n whatever — the dimensions on the right are counted by pairing monomials in complex coordinates, which needs no matrix and therefore no lattice. Five of these groups can be written in integer matrices, and those five are named in the middle column; the rest cannot, because a lattice has no five-fold or seven-fold rotation. The crystallographic restriction is usually a statement about traces of matrices. Here it is the statement that only five of these invariant rings belong to a crystal, and the two arguments have nothing in common but their answer.

The degrees that name the restriction

The reflection group with an n-fold rotation has invariants of degrees 2 and n — for every n, with no lattice anywhere in the argument. Which of those groups a crystal may have is then the only question left, and its answer is the crystallographic restriction arriving from a direction nobody points it from.

part 7 · restriction

Four angles, and the integer that picks them. Two roots at angle θ have Cartan integers whose product is 4cos²θ. Both are whole numbers and the product is below four, so it is nought, one, two or three — and each value fixes the angle between the two roots, and with it the angle between the mirrors perpendicular to them. The shaded wedge is the region the pair of mirrors folds the plane onto; the smaller it is, the larger the group they generate.

Four root systems, and the same four rotations

Two mirrors meeting at an angle generate a group. Ask that the group be finite and that a certain pairing between the mirrors come out a whole number, and the angle has only four possible values — from which the rotations that survive are of order two, three, four and six. The crystallographic restriction arrives with no lattice anywhere in the argument.

part 8 · restriction