The collection

Every essay — page 2

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

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

The 48 point symmetries of a cubic lattice. Every operation that maps a cubic lattice onto itself, built as the integer matrices preserving that system's metric: 48 of them, of which 24 are proper rotations and 24 reverse handedness. The orders occurring among the rotations are 1, 2, 3, 4 — the same list the plane gives, so the crystallographic restriction does not change in three dimensions, and there is no six anywhere. The 13 rotation axes are counted from the rotations they carry rather than drawn from memory, and every rotation but the identity is checked to belong to exactly one of them.

The restriction in three dimensions

Space is roomier than the plane in every other respect, so the natural expectation is that it permits more rotation orders. It permits exactly the same five, and seeing why is more interesting than the result.

5 figures

What symmetry decides

Thirty-two classes, enumerated rather than listed — and then the one thing they are for outside crystallography's own bookkeeping: which components of a physical property a crystal is permitted to have before anybody measures it.

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.

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

Doing one after another. Two symmetries of a pattern, and the one that doing both lands on. The third picture is not a new operation drawn to fit — it is the composition, and it was already in the group.

Why it is a group and not a list

The symmetries of a pattern cannot be chosen independently. Do two of them in succession and the result is forced to be a third, which is why there is no eighteenth wallpaper for anybody to invent.

7 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

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.

6 figures

Order without repetition

Penrose tilings and quasicrystals — patterns with long-range order, five-fold symmetry, and no repeating cell at all.

Matching rules, and what actually forces aperiodicity

The two Penrose rhombs are usually said to tile the plane only aperiodically. They tile it periodically without difficulty. What cannot be done periodically is tiling them according to the decoration, and the distinction is the whole result.

6 figures

What symmetry decides

Reading 4/mmm off its own directions. Each position of 4/m2/m2/m reports one symmetry direction of the tetragonal system: the highest-order axis lying along it, and whether a mirror is perpendicular to it. Nothing is looked up — every row is computed from the group's own matrices.

Reading a class off its own axes

A Hermann–Mauguin symbol is not a name that was assigned. It is a report on three directions, read in order, and the whole of it can be derived from the group's matrices — with one genuine convention and one exception, and the exception is orthorhombic.

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

Why p4 cannot be drawn with dots. The same group applied to a single dot and to a motif with no symmetry of its own. The dot's orbit turns out to have more symmetries than the group it was made with, so a figure drawn that way illustrates a different group from the one in its caption.

The motif must be a comma

A dot is too symmetric to illustrate most wallpaper groups. Its orbit acquires mirrors nobody asked for, and the resulting figure is quietly of a different group from the one in its caption.

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 orbit is the pattern

A wallpaper is not designed and then found to have symmetry. It is the set of places a group sends a single mark, and once that is taken literally the pattern can be grown, checked, and caught out.

7 figures

Symmetry at work

Crystal forms, twins, domain walls and grain boundaries. Mineralogy, metallurgy and ferroelectrics each worked these out separately, and every one of them turns out to be an orbit or a coset of a group already built here.

{100} offered to 5 classes: one form between them — the shape names none of the 5. The same face, {100}, handed to 5 crystal classes — m3̅m, m3̅, 432, 4̅3m, 23 — with the orbit each one returns drawn as a stereogram. Filled marks are poles in the upper hemisphere and open ones their partners below. The face counts are 6, 6, 6, 6, 6, taking 1 distinct value; the sets of faces take 1, which is the number that matters, since two classes can return the same count and different faces. Here every class returns the identical set, so a crystal bounded by this form alone has said nothing about which of them grew it.

Five classes grow the same cube

A crystal's shape is the most obvious thing about it and the least informative. Five of the thirty-two classes produce an identical cube, diffraction cannot see an inversion centre and so collapses the thirty-two to eleven, and the measurements that finally separate them are etch pits, optical rotation and a heated crystal attracting ash.

8 figures

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.

Sixteen candidates, ten groups

One point group, one lattice, and every consistent way of attaching translations to it — enumerated in full. The count comes out at sixteen, and then at ten, and the step between the two numbers is a decision about what "the same group" means rather than an arithmetic fact.

8 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.

What a powder pattern loses

Grind a crystal up and every orientation is present at once, so a two-dimensional pattern of spots collapses onto a single axis. Reflections that had their own places arrive together, and some of the coincidences are exact and have nothing to do with symmetry.

6 figures

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

An integer matrix of order 5. The companion matrix of the 5th cyclotomic polynomial has whole-number entries and order exactly 5, so it is a genuine 5-fold symmetry of a 4-dimensional lattice. The plane it rotates sits at an irrational angle to that lattice, and the lattice's shadow on it is dense — which is why a projection needs a window before it becomes a pattern.

Where five-fold becomes legal

A five-fold rotation with whole-number entries exists — in four dimensions, as a four-by-four matrix that can be written down. The plane forbids it because the plane is too small, and knowing which dimension is large enough changes what a quasicrystal is.

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.

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.

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

$What p3 scatters, and what the scattering shows. The structure on the left has point group 3, of order 3. The intensities it scatters, on the right, have point group 6, of order 6 — more symmetric than the thing that produced them. Reversing the sign of both indices conjugates every term in the sum and leaves the modulus alone, so a diffraction pattern always acquires a centre of symmetry, and in the plane a centre is a half turn. Both numbers are measured: the left from the operations, the right by testing each candidate against the computed intensities.$

The symmetry diffraction adds

A diffraction pattern is always more symmetric than the crystal that made it. The extra symmetry is not a mistake in the experiment and no care removes it — it is a property of what a detector records, and it collapses the seventeen groups onto six.

7 figures

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

Every solution of the axis equation. The integer solutions of 2 − 2/N = Σ(1 − 1/nᵢ), which is what counting the pairs (rotation, fixed pole) two ways gives. Two classes of axis force n₁ = n₂ = N and give the cyclic groups; three classes give the dihedral family and exactly three sporadic answers — (2, 3, 3), (2, 3, 4) and (2, 3, 5), of orders 12, 24 and 60, which are the rotation groups of the tetrahedron, the octahedron and the icosahedron. Four classes are impossible, because four terms of at least a half already exceed the left-hand side. Nothing about crystals has been used.

Before the lattice has a say

Every finite group of motions of the plane is a Cₙ or a Dₙ, and every finite group of rotations of space is one of five families. Both lists come out of counting rather than out of crystallography — and then the crystallographic restriction deletes almost all of them, leaving eleven.

7 figures

What symmetry decides

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

3m1 and 31m are one class

This site has an essay arguing that p3m1 and p31m are genuinely different groups. As point groups the same two objects are one class — and the two subgroups are each normal in the hexagonal holohedry, so nothing in the lattice relates them. What does is a rotation of thirty degrees.

7 figures

Symmetry at work

p3, twinned. p3 twinned by a rotation. To the left of the composition line the motif sits where p3 puts it; to the right every copy has been carried over by the twin law, which is one of the 3 operations the hexagonal lattice has and p3 does not. 24 images on the left, 24 on the right, and the lattice runs through the line unbroken — which is exactly why a twinned crystal looks like a single one.

A twin is a symmetry the lattice has and the crystal does not

Two orientations of one structure, grown together across a boundary the lattice runs straight through. The operation relating them cannot be a symmetry of the crystal, or there would be nothing to see, and it must be a symmetry of the lattice, or the boundary would be a crack — which leaves exactly a coset, and a short computable list.

6 figures

Order without repetition

Penrose tilings and quasicrystals — patterns with long-range order, five-fold symmetry, and no repeating cell at all.

Cut and project

Take a periodic lattice, cut a strip through it at an irrational angle, and keep the shadow of what falls inside. The result never repeats, has exactly two spacings, and is a quasicrystal — built from something perfectly periodic that is simply not where anybody was looking.

6 figures

Lattices

The repeating scaffold underneath every crystal. Five in the plane, fourteen in space, and no others — a classification with a short proof.

Reduction, and the shortest basis

Every lattice has infinitely many bases and no arithmetic picks a preferred one — until a rule is imposed. Reduction is that rule, it terminates in a handful of steps, and it is what lets a database decide whether two reported crystals are the same crystal.

6 figures

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.

2 screw axes. 2 of the eleven screw axes a lattice permits, each drawn as the helix it is: 3₁, 3₂. A turn of 2π/n followed by an advance of m/n of the repeat, so that n turns land exactly m cells along. 0 of those drawn are its own mirror image; the rest come in left- and right-handed pairs.

Eleven groups that are their own reflection's rival

There are two hundred and thirty space groups, and there are two hundred and nineteen. Both numbers are correct and they answer different questions, and the eleven that separate them are the reason a crystal can be built one way round and not the other.

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

A conjugacy class of p4m. One conjugacy class of p4m drawn in place: every copy of the same symmetry that the group can carry onto every other. Conjugation was applied to each of the 8 operations by each of them in turn, and the kind and order of the result was checked to match every time.

The same symmetry, somewhere else

Two mirrors in a pattern can be the same symmetry or two different ones, and looking will not settle it. Conjugation is the operation that decides, and it turns an intuition about sameness into arithmetic.

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.

p4m, displaced and then measured. Every atom of a p4m pattern moved by up to 1.2 per cent of a cell edge, and the resulting positions examined at 26 tolerances. At zero tolerance only the identity survives, so the structure has no exact symmetry whatever. Between 0.021 and 0.094 the count sits at 8, which is the group that was displaced. Above that it climbs to 15, accepting operations no version of this pattern has. The climb is not even steady: at 4 of the 25 steps the count falls as the tolerance is loosened, because operations accepted separately at one threshold merge into one at the next. The correct answer is a step on a staircase and nothing in the coordinates says which step.

Near-symmetry, and the tolerance that is not here

Every claim on this site is decided by integer arithmetic, so no threshold is ever chosen. Measured coordinates do not arrive that way, and the moment a tolerance is introduced the answer stops being a fact about the structure and becomes a fact about the threshold.

5 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 points a group treats differently

Almost every point of a cell has an orbit as long as the group. The exceptions are the points some operation leaves alone, and they are where atoms sit, where a structure's formula comes from, and where a careless motif destroys the group it was meant to illustrate.

6 figures

What a lattice forbids

Only two-, three-, four- and six-fold rotations are compatible with periodicity. The proof takes one line and the exception took a Nobel Prize.

A 5-fold cluster in a crystal that has no 5-fold axis. A cluster of 10 points with an exact 5-fold axis at the centre of each cell, repeated by the lattice. Two measurements, on the same points. The cluster is carried onto itself by a turn of 72° to within 2e-16 of a cell — exact, as far as the arithmetic goes. The pattern is not: applying the same turn about a lattice point sends some atoms 1.19 of a cell from the nearest atom, which is most of the way across it. Both are true at once. The axis is a symmetry of the contents of one cell and not of the crystal, which is what non-crystallographic symmetry means and why a virus with a sixty-fold capsid can crystallise in an ordinary space group.

A fivefold axis in an ordinary crystal

A virus with sixty-fold symmetry crystallises in a space group that has none of it. The restriction forbids a fivefold axis to the lattice and says nothing about what sits inside one cell — so the axis is exact, the crystal genuinely lacks it, and both statements are measurable on the same set of atoms.

7 figures

By idea · By group · By object · Search