Crystallography & Symmetry
patterns derived from their groups
Series

Isohedral — the series

3 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. Y-pentomino: A B C D E F, with 6 arcs. The boundary of the Y-pentomino cut into six arcs. A runs from one corner to another and D is the same arc traversed backwards, so D is a translate of A and the translation is (3, 1) cells. Each of B, C, E and F is carried onto itself by the half turn about its own midpoint, and those midpoints are the four marked dots — That is Conway's criterion, and a shape meeting it tiles the plane by translations and half turns.

    A tiling of the whole plane, decided on one tile's edge

    Whether a shape tiles the plane is a question about an infinite object, and there is no procedure that answers it. There is a procedure that answers it *sometimes*, and it reads nothing but the shape's own boundary — a closed path of a few dozen steps, cut into six arcs. When the cut exists the tiling exists, and the cut names the group that makes it.

    part 1 · classification
  2. anisohedral: 2 orbits of congruent tiles. A tiling of the plane by 8 copies of one shape per cell of a lattice of index 64, drawn 1 cell across and 8 up, and coloured by which orbit of the tiling's own symmetry group each tile belongs to. The group has 4 operations per cell and 2 orbits: every tile is congruent to every other, and no motion of the whole pattern carries a tile of one colour to a tile of another. Congruence is a fact about the shapes; an orbit is a fact about the pattern, and they are different facts.

    One shape, two kinds of tile

    A tiling by copies of a single shape looks as though it must be homogeneous — every tile is congruent to every other, so what could distinguish them? The symmetry group can. There are shapes that tile the plane and admit no tiling whose group carries any tile to any other, and the smallest of them has eight cells.

    part 2 · classification
  3. One tile, two lattices. The smallest polyomino on exactly two lattices with no slide between them, of 5 cells. On the left its copies sit on one lattice and on the right on another, and neither tiling can be turned into the other by moving rows.

    One tile, two lattices, and a row that slides

    A crystal chooses its lattice, and it is natural to think a tile does too. Among all polyominoes to thirteen cells, more than five hundred that are not rectangles lie on more than one lattice, and some on seven. They fall into at most two families, and a family is a row of copies that can slide against the next row, which is exactly what makes polytypes possible in a real crystal. A tile with a prime number of cells has no such row unless it is a bar, and so it lies on at most two lattices.

    part 3 · classification

All series