Crystallography & Symmetry
patterns derived from their groups
Concept

Symmetry operation — where it appears

A motion of the plane or of space that leaves a pattern looking exactly as it did. Symmetry is a verb rather than an adjective here: not a property a shape has, but a motion that leaves it alone, and everything else in the subject follows from taking that literally.

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

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

What a symmetry actually is

Not a property of a shape but a motion that leaves it alone. Once symmetry is a verb rather than an adjective, everything else in the subject follows — including why there can only ever be seventeen wallpapers.

operations · What symmetry is The crystal classes 4, 4̅, 3̅, 6̅. 4, 4̅, 3̅, 6̅: the orbit of a general direction under each group, giving 4, 4, 6, 6 poles, with general positions and symmetry elements. Filled marks are poles above the plane of the page and open ones below it.

What a trace decides

Ten kinds of operation, and two integers tell them apart. The determinant and the trace name a symmetry operation completely — which is why the classification can be run on integer matrices in a lattice basis and never once ask what angle anything turns through.

point-groups · Crystal classes 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 P4_1: a screw of 90°. One operation of P4_1, reduced to Chasles' three numbers: an axis, an angle of 90°, and a pitch of 1.25 along it. The points are the orbit of one position under repeated application, which climbs because the pitch is not zero — and it is not zero for any choice of origin, which is what makes this a screw rather than a rotation. It needs 4 mirrors, and their product was checked against the operation before this was drawn.

Every motion of space is a screw

A rigid motion of space that preserves handedness turns about some axis and slides along that same axis, and there is nothing else it can do. Rotations and translations are the two ends of that one description, the axis and the pitch are computed rather than recognised, and the operations a space group is made of stop being a list of kinds.

operations · What symmetry is One local configuration, and a number of structures that doubles. How many kinds of adjacent pair a close-packed stack has, how many kinds of triple, and how many stackings of each period there are. The first column never moves: every pair of layers is congruent to every other, at every period, which is what an order-disorder family is. The last two agree with 2ⁿ + 2(−1)ⁿ, which is the chromatic polynomial of a ring of n layers at three colours, because a stacking of period n is exactly a proper three-colouring of that ring. The gap between the first column and the last is the whole subject.

A stack with no space group

Every pair of layers in a close-packed stack is congruent to every other pair, and the number of stacks doubles with every layer added. A family whose local configuration is completely determined and whose global structure is not determined at all has no single symmetry group — what it has is a set of operations that compose only when their ends match, which is a groupoid.

applied · Packing Four of the seventeen have a centre, and they are the four with no rotation. For each plane group: the order of its point group, how many of its operations are rotations, the lattice vectors every operation of the point group fixes, and the centre those vectors make. A central element must commute with every translation, which forces its linear part to be the identity — so the centre is a group of translations, and a translation is central exactly when the point group leaves it alone. A rotation leaves nothing alone but zero.

The four groups with a centre

An element that commutes with everything has to commute with every translation, and that forces its linear part to be the identity. So the centre of a plane group is a group of translations — the ones its point group leaves alone — and a rotation leaves nothing alone but zero. Four of the seventeen have a centre and thirteen have nothing at all.

operations · Composition A screw out of two rotations that have none. Four pairs of located rotations of space, composed, with the result read back as a screw: its angle, and its pitch, which is the part of its translation lying along its own axis. Axes that meet give a rotation and no translation at all, because the point where they meet is fixed by both. Parallel half-turns give a translation. Skew axes give a screw — a motion with a translation in it, out of two motions with none — and the translation is twice the distance between the two axes. Nothing in either factor moves anything along the product's axis, and the product does.

The axis a product lies on

Two rotations of space about axes that do not meet compose to a screw — a motion with a translation in it, out of two that have none. The translation is twice the distance between the axes and the angle twice the angle between them, and the screw's own axis is not somewhere arbitrary: it lies on the two axes' common perpendicular, at a place the arithmetic gives.

operations · Composition

Named alongside it

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

Fixed pointCompositionGroupCartan dieudonneOrientationPoint groupRotoinversionScrew axisSpace groupTranslation groupAbelianisationClose packing

All concepts