Crystallography & Symmetry
patterns derived from their groups
The collection

Every essay — page 17

One idea per essay, ordered so that the earlier ones set up the later ones — but nothing here depends on being read in sequence.

Into space

Seventeen becomes two hundred and thirty. Screw axes, glide planes, and the translations that no choice of origin can remove — the operations a flat surface has no room for.

One lattice, two copies of pm. pm on a lattice doubled across its mirrors. The mirrors of the parent are every vertical line; a copy of pm on the doubled lattice has mirrors every other line, and there are two ways to choose which — the solid set or the dashed set. Both are copies of pm with the same lattice and the same point group, and no translation of the parent carries one onto the other, because the translation that would is exactly the one the doubling removed. So a count of invariant lattices is not a count of subgroups, and the gap is visible in the smallest case there is.

A lattice is not a subgroup

Every count of copies so far has counted lattices, and the International Tables count subgroups. One invariant lattice can carry several copies of a group that nothing in the parent carries onto one another — pm's doubled lattice carries two, with its mirrors on the even lines or the odd ones — and how many is a cohomology computation, a first where the classification of the seventeen used a second.

5 figures 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.

6 figures

Operations

Rotations, mirrors, glides and translations — what a symmetry is, how they compose, and why the composition is a group rather than a list.

The closure is a lattice exactly when the orders allow one. Twelve pairs of rotation orders, with a centre of each order placed one unit apart and the group they generate closed out to words of length 6. The linear parts reached are exactly the least common multiple of the two orders, every time — two rotations generate rotations, and the angles they generate are the multiples of the smaller of two fractions of a turn. A lattice admits rotations of order one, two, three, four and six and no others, so the closure can be a plane group exactly when that multiple is one of those five. The pairs where it is not are the pairs where the translations keep getting shorter.

Closing the plane from two centres

Put two rotation centres down and close under composition: the result is a plane group or is not discrete, and nothing in between. What decides it is the least common multiple of the two orders, because two rotations generate rotations and the angles add — so the crystallographic restriction arrives as a condition on a closure rather than as one on a lattice.

6 figures 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.

6 figures The turns that keep the join discrete. Two copies of p4 on one square lattice, one turned against the other, with the shortest translation their union generates. At a turn whose cosine and sine are both rational the translations are a lattice, and its shortest vector is one over the square root of Σ — where Σ is the odd part of p² + q² for the rational point (p, q) — which the measurement reproduces to six places at every one tried. At a whole number of degrees other than a multiple of ninety there is no such point, and the search finds shorter translations the further it runs.

Two patterns laid over one another

Compose two plane groups rather than two operations. The group generated by both is one of the seventeen or is not discrete at all, with nothing between — and it takes two conditions, one on the rotation orders and one on the turn between the lattices. The turns that work have rational cosines, which by a theorem of Niven's means none of them is a whole number of degrees.

6 figures

The classification

Exactly seventeen ways to fill the plane with a repeating pattern. Not a fact to memorise: a theorem, with a finite argument and no eighteenth case.

One group without an axis, and as many as the order with one. For a rotation of each order that an integer matrix can have in a small dimension, the number of space groups its arithmetic class admits — computed from the cohomology rather than enumerated. A rotation acting on the smallest lattice that will hold it fixes no direction and admits exactly one group: the symmorphic one, with no screw. Add a direction it leaves alone and the count becomes the order of the rotation, and the extra groups are its screws. The four-fold with an axis gives four, which are P4, P4₁, P4₂ and P4₃; the five-fold with an axis gives five, in five dimensions, where no published table exists to check it against.

The screw a dimension does not have

The extension count is a machine that runs in any dimension, and the seventeen were the case where every step could be checked against a list arrived at four other ways. Run on a cyclic point group it has a closed form two lines long — and it says a five-fold screw axis does not exist in four dimensions, which is a prediction rather than a check.

6 figures Tight where there is an axis and vacuous where there is not. The order of a point group annihilates its cohomology, so every intrinsic translation is a multiple of one over that order — the bound every account of the subject quotes. What occurs is one over the exponent of the cohomology, which divides the bound. For a rotation with a direction it fixes the two agree exactly: a four-fold screw does need quarters and a six-fold sixths. For a rotation acting with no fixed direction the exponent is one — the cohomology is trivial and no fraction occurs at all — so the bound is slack by the whole order. The same bound is sharp and useless in the same table.

The denominator a group actually needs

The order of a point group annihilates its cohomology, so every intrinsic translation is a multiple of one over that order — a bound every account of the subject quotes. What occurs is one over the exponent, which divides it. The same bound turns out to be attained exactly and to be slack by its whole size, in two rows of one table, and what decides which is whether the rotation fixes a direction.

6 figures

How it is known

A crystal's structure is read from the pattern it scatters. The reciprocal lattice, systematic absences, and what an experiment can and cannot see.

The sign turns when the cross terms go weak. Every quartet among the strong reflections of a small structure, sorted by the mean of its three cross terms, with the mean cosine of the phase sum in each bin. Where the cross terms are strong the quartet behaves like a triplet and the cosine is near one. Where they are weakest it is -0.698 — negative — and 93 per cent of those quartets have a cosine below nought. The four reflections of the quartet are equally strong in every bin; what changes is three reflections that are not in the sum at all.

The relation that can say no

Every phase relation before this one pushes a sum towards zero, so none of them can contradict another — a phase set satisfying all of them badly is still satisfying them in the same direction. A quartet can be estimated at π instead, and it is when its three cross terms are weak, so the information arrives from the reflections nobody would have thought worth measuring.

5 figures An equality, with a known factor in it. Sayre's identity says the structure factor is proportional to the convolution of the structure factors with themselves — an equality, not a probability — with a factor that depends on the atoms and the resolution and on nothing else. Computed for a structure of Gaussian atoms, the ratio of the two sides falls with resolution exactly as predicted: the logarithm of the ratio is a straight line in the squared index, its slope is minus half the width in the atomic factor, and the ratio is very nearly real and positive, so the identity relates the phases and not only the amplitudes.

The relation that is an equality

Every relation of this kind so far is a probability — right nine times in ten, useless applied once and decisive applied ten thousand times. One is not. For a structure of equal, resolved atoms the squared density has peaks in the same places, so every structure factor is exactly a convolution of all the others, with a factor that depends only on the atom. It is exact, and on its own it is useless.

5 figures

By idea · By group · By object · Search