Crystallography & Symmetry
patterns derived from their groups
Concept

Glide reflection — where it appears

A reflection combined with a slide along its own line, which is a symmetry although neither half of it is. It fixes no point at all, which is why it is one of the two operations a pattern can have and still fold into a plain surface.

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

A glide. The motif in the first colour, its images under a single glide in the second, and the symmetry element marked where the operation itself says it lies.

The four motions of the plane

Slide, turn, flip, and the odd fourth thing that is a flip and a slide together but neither on its own. Every symmetry of every flat pattern that has ever been made is one of these.

operations · What symmetry is The seven frieze groups. Every way of repeating a motif along a strip. Seven, and no more: the only ingredients are a translation, a mirror across the strip, a mirror along it, a half-turn and a glide, and most combinations of those turn out to generate one another.

Seven friezes

The same classification argument on a strip instead of a plane, where it is short enough to check by hand. Seven ways to repeat a motif along a line, with names like hop, step and sidle.

classification · Friezes Every group decided by a window of radius 1. For each of the seventeen, the radius at which a round window on the pattern admits exactly the group's own operations and no others — with the numbers it admits at each smaller radius beside it. Two opposite failures are visible. Most groups under-report at small radii, because an operation carrying points out of the window cannot be tested at all; cm over-reports, admitting operations the pattern does not have. The groups that take longest to settle are the ones distinguished by a glide, which moves a point half a cell before anything can be compared.

How much pattern is enough

Every claim here about a pattern's group is a claim about an infinite pattern. A reader sees a patch. Measuring what a finite window can decide gives a number — about one cell's radius — and two opposite ways of being wrong on the way there.

classification · Seventeen glide: 3 mirrors. A glide of the plane, drawn together with the mirrors it is a product of. The first shape is the motif; the pale ones are what each mirror in turn produces; the last is the image the motion itself gives. There are 3 mirrors, which is the smallest number that can produce this kind of motion, and their product was formed and compared with the motion before the figure was drawn.

Three reflections, and never four

Every motion of the plane is a product of mirrors, and the number needed is never more than three. That count is not a curiosity about mirrors — it is the classification of the four motions written as an integer, with the parity of the number deciding handedness and the geometry of the last two mirrors deciding everything else.

operations · Composition p1 folds into a torus. The cell of p1 with its edges marked as the group joins them: both pairs by a plain translation, both arrows the same way round. Gluing top to bottom gives a tube and gluing its ends gives a torus. Nothing in p1 holds a point still, so the surface has no marked points and its first homology is two copies of the integers.

The two that fold into a surface

Fold a wallpaper pattern along its own symmetries and what is left is usually a shape with corners and edges nobody drew. For two of the seventeen it is a plain surface with no marks on it at all — a torus and a Klein bottle — and which two is decided by a single question asked of every operation.

classification · Flat space pg scatters as pmm. The orbit of a motif under pg, and the set of all ordered differences between its points brought to a common origin. The vector set was handed to the detector with no indication of where it came from, and came back as pmm: 31 peaks from 6 atoms, on the same lattice.

Seventeen groups, seven vector sets

A map of interatomic vectors is more symmetric than the structure it came from, twice over: it always acquires a centre, and it loses every translation part. So a glide becomes a mirror, seventeen plane groups collapse onto seven — and the collapse is verified by handing the vectors to a detector that has never heard of Patterson.

diffraction · The Patterson function Four ways to lay a second row on the first. The same shape four times, with the upper row related to the lower one by a translation, a half turn, a glide and a mirror. In each case the upper row is pushed down until it touches, and the number is the density that results. The three that keep the shape the same way round come out within two per cent of one another; the mirror packs at 78 per cent of the best of them — 22 per cent less dense — because it presents a protrusion to a protrusion. Stated the other way round, the best of the four is 28 per cent denser than the mirror; the two percentages are the same measurement against two different bases, and neither is the other.

The four plane groups a molecule packs in

A molecule is not a disc: it has bumps and hollows, and packing it tightly means getting one molecule's bump into another's hollow. A mirror puts a bump against a bump. Filter the seventeen by that one observation and four survive — and the space groups the structural literature is mostly made of are the three-dimensional version of the same four.

applied · Packing The seven friezes rolled into cylinders are the seven axial families. Each of the seven frieze groups drawn on a strip 3 cells long, beside the same strip rolled into a cylinder so that its ends meet. A translation by one cell becomes a rotation by a 3th of a turn about the axis, a mirror across the strip a mirror containing the axis, the centre line a mirror perpendicular to it, a half-turn in the strip a half-turn about a horizontal axis, and a glide a rotation by half a cell's angle combined with that perpendicular mirror. Each cylinder's symmetry group was built from the rolled strip and again from the family's own generators, and the two agree. At n = 3 the orders are 3, 6, 6, 6, 6, 12, 12, and the last column names the crystal class each member is, coloured by whether it is proper, contains the centre, or is neither.

Seven friezes round a cylinder

A point group with one principal axis belongs to one of seven infinite families, and there are seven frieze groups. They are the same seven. Draw a frieze on a strip, roll the strip into a cylinder, and every translation becomes a turn about the axis and every glide a rotoreflection.

restriction · Finite groups p2's symmetries, sorted into classes by the group itself. A pattern with the symmetry of p2 over 2 by 2 cells, with its rotation centres and mirror lines marked in the International Tables' shapes and coloured by conjugacy class in the infinite group: two marks share a colour exactly when some operation of the group carries one element onto the other. Where rotations of several orders share a centre, the mark is the highest order's and so is its colour. Glides are not drawn. Classes counted: half-turns: 1 in the quotient, 4 in the group.

Two mirrors a coset cannot tell apart

Taken modulo its lattice a wallpaper group is finite, and its conjugacy classes are easy to list. But a coset holds every mirror of one direction at once, and the group itself keeps apart mirrors the list merges: pm has two classes of mirror, p2 four classes of half-turn, p3 six classes of rotation. Deciding which is which is Dehn's conjugacy problem, and for these groups it comes down to whether one vector lies in one lattice.

operations · What symmetry is All thirteen families of line groups, reached by rolling. Each of the seventeen plane groups, on its generic lattice, rolled into a tube along every lattice vector that gives a repeat, with a mark under each of the thirteen families of line groups some rolling lands in. The band above each column is the family's translational part: a general screw for families 1 and 5, a half-step screw for 4, 8 and 13, pure translations or glide planes for the rest. Every family is reached, six of them by a single plane group, and the two oblique groups reach nothing because an oblique lattice rolled in any direction never repeats.

The centring that turns into a screw

Rolled with no limit on the order, the seventeen plane patterns reach every one of the thirteen families of line groups — six of them through a single pattern each. And the families' translations are decided by one integer: a tube that keeps any reflection holds one or two cells of its sheet in a repeat, never more, and it holds two exactly when the sheet is centred along the rolling direction. The centring vector of the flat lattice is the half-step screw of the tube.

restriction · Finite groups Six matrices and eight: a monoclinic normaliser modulo two. For P2/m and C2/m, every 3 × 3 matrix over the field of two elements that preserves the reductions of the two eigen-sublattices of the class's two-fold or mirror — six on the primitive lattice and eight on the centred one — each drawn as a tile of nine squares filled where the entry is one. The whole infinite normaliser reduces into this set, and a dot under each tile marks that some normaliser element with entries −1, 0 and 1 reduces to it. Every tile is realised, and the same holds in all six monoclinic classes.

The normaliser only acts modulo two

The space groups were counted as orbits of a small, finite set of changes of basis — only those with entries −1, 0 and 1 — out of normalisers that are infinite in the monoclinic classes. That the counts came out right was evidence, not proof. It becomes proof in two steps. A missing change of basis can only leave the count too high, never too low, so the published totals already force every class. And in the monoclinic classes the infinite normaliser acts on the cohomology only through its reduction modulo two, where the small set already reaches everything.

restriction · Finiteness Three mirrors of a 30–30–120 triangle, closed. A triangle with angles of thirty, thirty and a hundred and twenty degrees, shaded, and every image of it under the group its three side-mirrors generate, within a window. The images alternate between the triangle and its mirror image, and they tile the plane — so the closure is discrete. But the group it produces has a mirror along the triangle's own altitude, drawn dashed, that is none of the three given: the triangle is two copies of the thirty–sixty–ninety triangle, and the group is that triangle's, p6m. The closure found a mirror the generators did not name.

Four groups are made of mirrors

Close the plane from located mirrors instead of rotation centres and the closure is discrete only for four triangles of mirrors — and one of those four manufactures a mirror along its own altitude. Of the ten plane groups that contain a reflection, exactly four are generated by their mirrors; three hold a kaleidoscope at index two, three and four, which are the numbers in front of the star in their orbifold symbols; and three have mirrors in one direction only, which generate nothing along themselves.

operations · Composition How many reflection operations a plane of each lattice can carry. Every mirror of each of the fourteen Bravais lattices' holohedries, sorted by how many classes of lattice vector lie in it modulo the conventional cell's own translations — which is how many reflection operations any plane of that orientation can carry in any space group on that lattice. Primitive lattices carry one on every plane. Centred ones carry two on the planes their centring vectors lie in: one plane of the C-centred orthorhombic lattice, the diagonal planes of the body-centred tetragonal and cubic ones, and every mirror plane of the face-centred lattices. The rhombohedral lattice, on the hexagonal axes the Tables use, carries three on each of its three mirror planes. None carries four.

Three on a plane, and never four

A reflection plane in a space group carries one operation for each class of lattice vector lying in it, and a face-centred lattice has planes holding two independent centring vectors — enough for four. None of those planes is ever a mirror. The fourteen lattices decide the question without the two hundred and thirty: one, two or three operations on a plane, and never four — with the three on every mirror plane of the rhombohedral lattice, where the Tables' own hexagonal axes put them and the letters have no name for them.

space-groups · Screws and glides Six groups are made of glides, four of mirrors, eleven of both. For each of the twelve plane groups that contain a reflection, what its mirrors generate on their own, what its glides generate, and what both together generate, counting lattice translations as something the generators must produce. Four groups are generated by their mirrors alone, six by their glides alone — pg, pgg, p4g, p3m1, p31m and p6m — and eleven by the two kinds together; pm is the one they cannot make, because its mirrors are parallel and nothing produces the translation along them. Where a set falls short the cell says how: every coset reached but only part of the lattice, translations in one direction only, or a proper subgroup.

Six groups are made of glides

Four plane groups are generated by their mirrors. Six are generated by their glides, and they are mostly different ones, because a glide done twice is a translation where a mirror done twice is nothing. Closing the plane from located glide lines with their slides reaches six of the seventeen; mirrors and glides together reach eleven, every group with a reflection except pm. The classification does not fall out of the closure, and where it stops says what each kind of reflection can and cannot make.

operations · Composition Where a gradient term is allowed at a special point. For each of the seventeen plane groups and each special point of its zone — the centre, the edge midpoints, the corner of a rectangular or square zone and the corner K of a hexagonal one — every physically irreducible order parameter, by its real dimension, marked where it admits a Lifshitz invariant. They occur at 10 points in 7 groups: the edges of the glide groups pg, pmg, pgg and p4g, and the corner K of p31m, p6 and p6m. Nowhere else.

Where a gradient term survives at the edge of the zone

A transition that freezes a mode at the edge of the zone doubles the cell, but only if the energy has no term linear in the mode's gradient. That condition was stated here for the zone boundary and never computed. Computed for every order parameter at every special point of the seventeen zones, it fails in exactly ten places: the edge points of the four glide groups where one glide acts and no second glide crosses it, and the zone corner of three hexagonal groups that have no glide at all.

space-groups · Landau Eight of the thirty-two classes allow a gradient term at the zone centre. The thirty-two crystal classes, marked by whether any order parameter at the centre of the zone has a term linear in its gradient. In the plane none does. In space eight do: 3, 4, 6, 32, 422, 622, 23 and 432. All eight are among the eleven classes with no operation that reverses hand, and the other three, 1, 2 and 222, have only one-dimensional order parameters.

A screw keeps a line and a glide keeps a plane

The census of the seventeen zones left two predictions for space. A transition at the zone boundary should meet a gradient term where one screw or glide is active, along that operation's direction, and a second should remove it. Across all 219 types, the first half holds without exception in the monoclinic groups and the direction is wrong: a glide's term fills its plane. The second half fails from the orthorhombic groups on. And the zone centre, empty in the plane, is not empty in space.

space-groups · Landau

Named alongside it

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

Plane groupCentred latticeCompositionFrieze groupOrbifoldReflectionScrew axisChiralityCrystallographic restrictionDecidabilityDetectionDiscreteness

All concepts