Crystallography & Symmetry
patterns derived from their groups
Concept

Centring — where it appears

The convention of describing a lattice on a cell larger than it needs, with further lattice points at face or body centres. The price is a set of reflections that vanish for reasons having nothing to do with the crystal.

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

The five plane lattices. Every periodic pattern in the plane repeats on one of five lattices. The classification is by which point symmetries the lattice itself admits, and the five are exhaustive — a sixth would need a rotation order no lattice can carry.

Five lattices, and no others

A repeating grid can be oblique, rectangular, centred, square or hexagonal. That is the complete list for the plane, and the argument that closes it is a page long.

lattices · Lattice The wallpaper group p4m. A pattern with the symmetry of p4m, generated by applying the group's 8 operations to an asymmetric motif and repeating across the lattice. The symmetries of the result were then found independently and match the group exactly.

Reading Hermann–Mauguin

p4g looks like a licence plate and is in fact a set of instructions. Half an hour with the rules turns the seventeen from a list to be memorised into a notation that can be read.

classification · Seventeen Two cells of equal area on one rhombic lattice. One lattice — the rhombic lattice that cm sits on — with two parallelograms drawn on it: the conventional cell, and a sheared cell whose edges are the integer combinations (1, 0) and (1, 1) of it. The points are identical in both outlines; only the description changes. Each cell's contents were counted by writing every lattice point in that cell's own coordinates and sharing each one out between the cells that meet at it — a quarter at a corner, a half on an edge, one inside — and the totals come to 1 and 1, which are the determinants of the two matrices. The alternative has determinant one, so its inverse is integral and it generates exactly the same lattice; that is the whole condition, and it is why a lattice has infinitely many bases and no arithmetic can prefer one.

The cell is a choice, the lattice is not

Every lattice has infinitely many unit cells and infinitely many bases, and crystallography picks one by convention. Knowing which convention is in force is the difference between a symbol that means something and a symbol that means nothing.

lattices · Lattice One lattice, two cells, and the absences the choice creates. The same set of points described on a centred rectangular cell and on its primitive rhombic cell, with what the centred description scatters. Half the reflections vanish, and they vanish because of how the cell was drawn rather than because of anything the crystal does.

Centring, and why cm is not pm

A centred cell has a lattice point in the middle and twice the area it needs, and crystallography prefers it anyway. The preference has a price, and the price is paid in reflections that vanish for reasons that have nothing to do with the crystal.

lattices · Centring Centring the five lattices. Each of the five plane lattices with the midpoint of every cell added, and the type of lattice that results — read off the reduced basis of the new point set rather than looked up. Every centring halves the cell area, so the original lattice is a sublattice of index two in the centred one, and every centred lattice is again one of the five. Two of the five come back as themselves and are therefore no richer for being centred. The rectangular and rhombic lattices exchange, which is what makes them one family under two descriptions. And the hexagonal lattice centred is rectangular — its holohedry falls from 12 to 4, so centring destroys the symmetry it was meant to display.

Centring, counted as a sublattice

Adding the centre of every cell to a lattice produces another lattice, containing the first with index two. Doing it to each of the five in turn shows why the list is five rather than ten, and why only one of the five has a centred description worth keeping.

lattices · Centring One lattice, two cells, and the absences the choice creates. The same set of points described on a centred rectangular cell and on its primitive rhombic cell, with what the centred description scatters. Half the reflections vanish, and they vanish because of how the cell was drawn rather than because of anything the crystal does.

Why the bigger cell wins

A centred cell has twice the area it needs and crystallography prefers it anyway. The preference is not conservatism — it buys operations that read as whole numbers along the axes, and the price is a set of reflections that vanish for reasons having nothing to do with the crystal.

lattices · Centring The h0l layer of P2₁/c. The h0l reflections of P2₁/c out to 4 in each index, with each spot decided by summing the structure factor over the group's operations: 44 survive and 36 vanish identically, whatever the atoms are. The pattern of holes is the condition h0l: l even, read back off the spots rather than imposed on them.

The reflections that are not there

A screw axis and a glide plane leave no mark on the intensity of any reflection. What they do is delete some, exactly, for every possible arrangement of atoms — and the pattern of deletions is computed here from the sum a crystallographer writes down, rather than read from a table.

diffraction · Diffraction The five kinds of glide plane. All five glide letters: a, sliding by a/2; b, sliding by b/2; c, sliding by c/2; n, sliding by (a+b)/2, (b+c)/2 or (a+c)/2; d, sliding by (a+b)/4, (b+c)/4 or (a+c)/4. 3 of those drawn are axial — the slide is half of a single cell vector lying in the plane. A glide's square is a pure translation, so its slide can only be half of a lattice vector, and the quarter-cell d glide exists only where centring has already made the half-diagonal a lattice vector.

Reflect, then slide by half of something

A glide's slide must double to a lattice vector, which leaves three candidates in any plane and a fourth that exists only where centring has already made a half-diagonal into a lattice vector. Five letters, and the fifth is the one the enumeration explains.

space-groups · Screws and glides The fourteen Bravais lattices. All fourteen lattices: triclinic P, with 2 symmetries; monoclinic P, with 4 symmetries; monoclinic C, with 4 symmetries; orthorhombic P, with 8 symmetries; orthorhombic C, with 8 symmetries; orthorhombic I, with 8 symmetries; orthorhombic F, with 8 symmetries; tetragonal P, with 16 symmetries; tetragonal I, with 16 symmetries; rhombohedral P, with 12 symmetries; hexagonal P, with 24 symmetries; cubic P, with 48 symmetries; cubic I, with 48 symmetries; cubic F, with 48 symmetries. The corner points are the conventional cell; the points in the second colour are the centring translations, drawn at every position inside the cell rather than one per face. The cell shapes are the picture's, chosen so no two systems look alike; only the angles a system is defined by mean anything.

Twenty-five cells, and fourteen lattices

The usual picture of the fourteen Bravais lattices is a plate of fourteen boxes, which is the answer with the argument removed. The argument is one question asked of twenty-five candidates, and the question has a computable answer.

lattices · The fourteen Bravais lattices The symmetry elements of Ccmm. Space group Ccmm, number 63, projected down c on a C-centred orthorhombic cell. The symmetry elements drawn: 4 2-fold rotation axes, 6 glide planes, 12 2₁ screw axes, 2 mirror planes, 8 inversion centres. 2 kind(s) of element in this group have no line or mark in a projection down c — an axis at an angle to the page, or a plane lying parallel to it — and are not in the picture.

The operations nobody put in

A group is not a list of generators. Compose two of them and something arrives that neither contained — a screw where there were only mirrors, a glide where there was only a mirror and a centring vector — and in three dimensions most of a group's operations get there this way.

space-groups · Screws and glides 4 lattices. 4 lattices: cubic P, with 48 symmetries; cubic C, with 16 symmetries; cubic I, with 48 symmetries; cubic F, with 48 symmetries. The corner points are the conventional cell; the points in the second colour are the centring translations, drawn at every position inside the cell rather than one per face. The cell shapes are the picture's, chosen so no two systems look alike; only the angles a system is defined by mean anything.

Forty-eight becomes sixteen

Centre one face of a cube and the four threefold axes along its body diagonals are gone. That sentence is usually offered as a fact to accept; it is a computation whose answer is a number, and the number says which lattice you got instead.

lattices · The fourteen Bravais lattices 3 lattices. 3 lattices: hexagonal P, with 24 symmetries; rhombohedral P, with 12 symmetries; hexagonal R, with 12 symmetries. The corner points are the conventional cell; the points in the second colour are the centring translations, drawn at every position inside the cell rather than one per face. The cell shapes are the picture's, chosen so no two systems look alike; only the angles a system is defined by mean anything.

A lattice described on somebody else's axes

R-centring a hexagonal cell does lower its symmetry, from twenty-four to twelve — and the lattice that results is the fourteenth, the rhombohedral one, which already appears on the list under its own axes. It is the only row in the enumeration where losing symmetry and being a duplicate are the same verdict.

lattices · The fourteen Bravais lattices The symmetry of a cut through Pnma. Every height in one cell, and the number of operations of Pnma that map the plane at that height to itself. The answer is 2 almost everywhere and rises to 4 at the special heights, where the plane group named above the spike is what a reader looking down at that surface would see. The rule is two conditions and no more: the operation must not tilt the plane, and the plane must come back to its own height — so a twofold axis lying in the plane survives at two heights per cell and a screw axis along the normal survives nowhere.

What a cleave leaves

A surface is a crystal that has been cut, and the symmetry it presents is what the space group leaves of itself on that plane. Two conditions decide it — the plane must not tilt, and it must come back to its own height — and the answer changes with where the cut was made.

classification · Subperiodic Aem2: one plane, two glides. The plane of Aem2 that carries two operations, drawn edge-on with each slide beside it. The two differ by the A-centring translation, which lies inside this plane — that is the whole condition for a plane to carry two, and it is why no primitive group has one. Both slides are axial, b and c, so neither letter has a claim on the symbol, and before 1992 the Tables simply chose. The letter e is the choice being refused.

The plane that carries two glides

A plane can hold two glide operations at once, with slides that have no claim on each other. Every symbol printed before 1992 chose one of them, so the name recorded a convention rather than a group — and the International Tables invented a letter to stop it.

space-groups · Screws and glides Three lattices at 2 forms each: 6, 14, 12 faces. The shape each cubic lattice predicts, built as the solid bounded by its top 2 forms, with each face's distance from the centre inversely proportional to its interplanar spacing. The three lattices have the same metric and the same list of indices; every difference between these solids comes from which reflections are systematically absent. Pm-3m leads on {100} and comes out with 6 faces; Fm-3m leads on {111} and comes out with 14 faces; Im-3m leads on {110} and comes out with 12 faces. Taking more than the leading form matters only where the extinction correction has moved something: in a cubic metric a form's planes are placed at a distance proportional to the root of the sum of the squares of its indices, which is exactly where the corresponding corner of the cube already is, so an uncorrected second form arrives tangent and cuts nothing off.

Which faces a crystal shows

Rock salt grows as cubes, fluorite as octahedra, garnet as dodecahedra. All three have cubic lattices and the same list of possible faces, and what separates them is which reflections are systematically absent — a rule about diffraction predicting a shape a mineralogist can hold.

applied · Growth P2₁/c from 27 marks. The marks of P2₁/c's plan, counted by kind, and what they rebuild to. Each mark is reduced to what a reader can see and handed to a closure with the matrices withheld: an axis gives its direction, its position and how far one turn advances along it; a plane gives its normal, its position and its slide. The lattice supplies the candidate matrices, the closure supplies the rest, and what comes back is the group — 4 operations against 4, with nothing missing and nothing extra.

The plan contains the group

A space-group diagram has always been treated here as a picture of the group. It is more than that: hand back the marks alone — no matrices, no operations, not even the centring — and the group comes out exactly, forty-five times out of forty-five.

space-groups · Space groups -2 0 -3 is forbidden and is reached 64 ways. A layer of the reciprocal lattice of Cc: pale spots are reflections the group extinguishes, solid ones are allowed. The path shows a detour — the beam diffracts once at -3 -3 -3 and again at 1 3 0, and the two together send it in exactly the direction a single reflection at -2 0 -3 would. That reflection is forbidden, so intensity arrives where the symmetry said none could. There are 64 such routes to this one spot inside this window alone.

The absence that fills itself in

A systematic absence is the strongest evidence this subject has: a whole zone of reflections cancelling exactly, for reasons of symmetry rather than of arithmetic accident. The exactness belongs to a model — that the beam scatters once. A beam that has already been diffracted can be diffracted again, and the two events together land where the group said nothing could.

diffraction · Diffraction Sublattices of index n, in space. How many sublattices a three-dimensional lattice has at each index, beside the plane's answer, with the Hermite enumeration and the coefficient of ζ(s)ζ(s−1)ζ(s−2) in separate columns. The two are computed by routines sharing no code, and a row where they disagreed would be a failure rather than a result. The last column counts the ones that survive every operation of the cubic group, and it is almost always empty.

The three that stay cubic

A lattice in space has far more sublattices than one in the plane — 651 of index sixteen against 31 — and almost none of them keeps the symmetry it came from. The ones that do exist at indices m³, twice m³ and four times m³, there is exactly one at each, and they are the primitive, face-centred and body-centred cubic lattices, arrived at by asking which sublattices keep a symmetry rather than by enumerating centrings.

lattices · Sublattices 342 unlabelled spots, cell volume 52. A bag of 342 reflection positions with no indices on them, collected out to a bound of 3 on each index. Their pairwise differences generate the reciprocal lattice; a basis of that is taken by integer elimination and then reduced, and the reduced basis is printed. Its determinant is 52, which is the volume of the cell the reflections were computed from — so the cell has been recovered from positions alone, with no intensity used anywhere.

A cell from a bag of spots

A single-crystal experiment returns a list of directions with no labels on them. Recovering the cell is recovering the lattice those directions generate, and the whole of it is take differences, reduce, read the answer. What no quantity of data settles is whether the lattice found is the true one or a sublattice of it.

applied · Indexing Two dimensions to be ambiguous in, and one. Why a plane can carry two operations and a line cannot, side by side. Two reflections sharing a plane differ by a translation lying in that plane, and their slides are vectors in the plane — a two-dimensional space, in which a centring vector need not be a multiple of the slide. So the two slides can be genuinely different glides, b against c, and in 1992 the International Tables invented the letter e for the case where neither has a claim. Two rotations sharing an axis differ by a translation along that axis, because anything across it would move the line; their intrinsic parts are vectors along the line, a one-dimensional space in which every lattice vector is a whole multiple of the shortest. So the two differ by a whole number of repeats and are the same screw. The plane has one dimension of freedom left over and the line has none.

A line carries one screw

A plane can hold two glide operations at once, and in 1992 the International Tables invented a letter for the case where neither has a claim. The same question put to an axis has the opposite answer: across 3,388 axes, not one line carries two — and the reason is that a slide has two dimensions to be ambiguous in and an intrinsic translation has one.

space-groups · Screws and glides Seven indices in 40, and one lattice at each. For every index to 40, how many sublattices of a cubic lattice there are and how many of them the full cubic point group carries to itself. The first number runs into the hundreds; the second is nought at almost every index and one at 1, 2, 4, 8, 16, 27, 32. A cubic point group is forty-eight conditions on a sublattice, and forty-eight conditions leave very little. The richest point group in three dimensions has the poorest arithmetic of copies, and the two are the same fact.

The richest group has the poorest arithmetic

A plane group with no symmetry has seven hundred and sixty-two sublattices to grow by; one with a six-fold axis and mirrors has eight. Take the trend to its end in space and a cubic group has six to index forty — one at every cube, one at twice a cube, one at four times a cube, and nothing anywhere else. Every operation of a point group is a condition, and forty-eight conditions leave almost nothing.

space-groups · Isomorphic subgroups

Named alongside it

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

Glide planeHolohedrySystematic absenceScrew axisBravais latticePrimitive cellSublatticeHermann–Mauguin notationInternational tablesReciprocal latticeSettingSymmetry element

All concepts