The collection

Every essay

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.

P2₁/c, in the two diagrams the Tables print. Space group P2₁/c, number 14, projected down c on a primitive monoclinic cell. The symmetry elements drawn: 2 2₁ screw axes, 2 glide planes, 4 inversion centres. 4 general positions, the orbit of one point, each labelled with its height along c and marked with a comma where the operation that produced it reversed handedness.

The step a flat surface has no room for

Seventeen becomes two hundred and thirty, and the factor of thirteen is not a matter of having more directions to work in. It comes from an operation the plane cannot hold — a translation that no choice of origin will remove.

7 figures

Order without repetition

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

A Penrose tiling, 4 inflations. Two rhombs, subdivided into smaller copies of themselves over and over. The result covers the plane, has five-fold symmetry about its centre, and never repeats — there is no translation that maps it to itself.

Penrose tilings

Two rhombi, a rule about how their edges may meet, and a tiling that covers the plane completely and never repeats. The five-fold symmetry a lattice forbids, obtained by giving up the lattice.

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.

The five rotations a lattice will carry. One motif and every rotation a plane lattice permits: orders 1, 2, 3, 4, 6, and nothing else up to 12. Each panel turns the motif by its own operation as many times as the order allows, on the lattice that operation requires — oblique for the identity and the half turn, hexagonal for the third and the sixth of a turn, square for the quarter. The trace printed under each is the sum of the diagonal of the operation's matrix written in the lattice's own basis, and it is a whole number in every panel, which is the entire content of the crystallographic restriction. The list of orders is produced twice, once from that trace condition and once from the degree of a cyclotomic polynomial, and the figure refuses to draw if the two disagree.

The crystallographic restriction

A repeating pattern may have rotations of order two, three, four or six, and nothing else whatever. The proof is one line of arithmetic, and everything finite in the subject descends from it.

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.

The lattice underneath

Strip a pattern of everything but its repeats and a grid of points is left. That grid is not decoration — it is the object that decides which symmetries the pattern is permitted to have.

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.

The angles between the faces of {102̅}. The form {102̅} of class 3̅m in section, with each face labelled by its indices. Its 6 faces make 15 pairs and only 3 distinct angles, the smallest being 76.43°. Every value is computed from the cell's metric — the one calculation in this family that is not integer arithmetic, because an angle is a real number and a lattice does not constrain it.

Why a crystal face carries small whole numbers

A crystal face is flat because it lies on a plane of lattice points, and its orientation is therefore named by three integers rather than by two angles. That the integers exist is a theorem about lattices; that they are usually smaller than four is a separate claim about growth, and the two are routinely run together.

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.

$A lattice and its reciprocal. The reciprocal lattice is where a crystal scatters. A long axis in the crystal gives closely spaced spots and a short one gives widely spaced spots, so the diffraction pattern is the structure turned inside out.$

The reciprocal lattice

Nobody has seen a space group. Crystals are read from where they scatter, and where they scatter is a second lattice in which long has become short and short has become long.

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 seventeen

Every way of repeating a pattern across a flat surface, exhibited rather than tabulated. The number is a theorem with a finite proof, and the proof is walkable in an afternoon.

8 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 thirty-two crystal classes. Every crystallographic point group, as a stereogram. Each was found by enumerating the subgroups of m3̅m and of 6/mmm, and each diagram is the orbit of one general direction under the group, filled where the pole is in the upper hemisphere and open where it is in the lower — which is the only thing in the picture that tells a rotation from a rotoinversion.

Thirty-two, and no others

There are exactly thirty-two ways a crystal can be symmetric about a point. Not thirty-two that anybody has catalogued — thirty-two that a finite search produces, from two starting groups, with every step of the reduction counted separately so that no two of them can quietly compensate.

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

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.

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.

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 pg scatters. The diffraction pattern computed from the atom positions alone. Where a glide plane is present, alternate reflections along a row cancel exactly — and those missing spots are how the glide is identified in an experiment, since the glide itself is never seen.$

Systematic absences

The most informative part of a diffraction pattern is the part that is not there. A glide plane cancels alternate reflections along a row, exactly, and those missing spots are how a symmetry nobody can see is identified.

6 figures

What symmetry decides

The merge, and what witnesses it. The two holohedries are enumerated separately and their class lists merged where the element signatures agree. That returns the right total, which is not the same as being right: 33 merges are made and every one of them is checked by constructing an explicit change of basis carrying one group onto the other.

A fingerprint that gave the right answer

The thirty-two classes were merged on a fingerprint — the census of operation types — and the fingerprint returned thirty-two, which is correct. Returning the correct answer is not the same as being entitled to it, and the difference took three wrong constructions to close.

7 figures

Order without repetition

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

One tile becomes 130 in 3 inflations. One tile subdivided into smaller copies of the same two shapes, repeatedly. The rule is local and deterministic, and the pattern it builds has long-range order without any repeating cell. The panel counts are 10, 20, 50, 130, and each is the one before it multiplied by the substitution matrix — an identity in whole numbers, checked every time the figure is drawn rather than quoted.

Inflation, and where the golden ratio comes from

A Penrose tiling is not laid out tile by tile. It is grown by cutting every tile into smaller ones and rescaling, and the growth matrix's dominant eigenvalue is the golden ratio squared.

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.

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.

7 figures

Symmetry at work

Two habits of {101̅}, one set of angles. The same 12 faces of class 6/mmm, grown to different distances from the centre. The outline changes completely and not one interfacial angle moves, because a face's orientation is set by the lattice and its extent by how fast it grew. That is Steno's law, and it is the reason a goniometer measures something about the substance rather than about the specimen.

The angles belong to the substance, the shape to the specimen

Two crystals of the same mineral can look nothing like each other and still have exactly the same angles between corresponding faces. That is the oldest quantitative law in the subject, and what it measures turns out to be the shape of the unit cell — which means a brass instrument from 1809 was reading lattice parameters a century before anyone knew there were any.

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.

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.

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.

The round trip, on Pnma. 8 operations were generated from the standard generators of Pnma; the orbit of three points in general position was formed, the group was discarded, and 8 operations were rediscovered from the 24 points alone. The two sets are identical, which is what the figure asserts.

Forgetting a group in three dimensions

For three phases this site said its machinery was two-dimensional and decided nothing about a space group. That was true, and it was a limit rather than a principle — nothing in the decidability argument mentions the number two.

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.

Assuming a 5-fold rotation. The shortest lattice vector, its rotated copies, and the combination of them that is itself a lattice vector. Where that combination comes out shorter than the vector assumed shortest, the assumed rotation cannot exist.

Why five-fold is impossible

A second proof, geometric rather than algebraic: assume a five-fold centre, and out of it construct a lattice vector shorter than the shortest one there is.

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.

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

p3m1 and p31m

Two groups with the same lattice, the same point group and the same number of operations, differing only in where the mirrors sit. The pair is the clearest evidence that position is as much a part of a symmetry as presence.

7 figures

Symmetry at work

{111} in class m3̅m. The form {111} of crystal class m3̅m: 8 faces, being the orbit of one face under the 48 operations of the class, with a stabiliser of order 6. 4 poles lie in the upper hemisphere or in the plane of the page and are drawn filled; the other 4 lie below and are drawn open at the same positions, which is the stereographic convention and the reason only the upper ones carry their indices. The form is closed: the faces enclose a volume, so a crystal can be bounded by this form alone.

A form is an orbit, and whether it closes is an integer question

Name one face of a crystal and its class names the rest. That set is a form, it is an orbit in exactly the sense this site has used since its first essay, and whether it encloses a volume — whether a crystal could be bounded by it alone — is decided without any lengths or angles entering the calculation anywhere.

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

The translation of every operation, split in two. Every operation of P2, P2₁, Pm and Pc other than the identity, with its translation split into the intrinsic part — one n-th of the sum of the operation applied to itself n times, which no choice of origin can remove — and the location part, which is only a statement about where the origin was put. 2 of the 4 operations shown have a non-zero intrinsic part, and those are exactly the screws and the glides.

The half of a translation that is not a choice

Every operation's translation splits in two — a part that belongs to the operation and a part that only records where somebody put the origin. Almost everything peculiar about space groups is a consequence of that split, including why there are two hundred and thirty rather than seventy-three.

7 figures

Order without repetition

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

$A diffraction pattern with tenfold symmetry. Sharp spots, arranged with a symmetry that no periodic crystal can have. When the ten-fold case was measured in 1982 the immediate reaction was that the sample must be a twinned crystal, because the alternative was that a theorem with a one-line proof had a case nobody had considered. The star of reciprocal vectors is a parameter here, so the eight- and twelve-fold patterns that were found afterwards come out of the same call.$

Order is not periodicity

For most of a century the two words were used interchangeably, because every known ordered structure repeated. A diffraction pattern measured in 1982 forced them apart, and the definition of a crystal was rewritten.

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.

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.

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 phase problem. The same structure rebuilt from its diffraction three ways: with the true amplitudes and phases, with the phases scrambled, and with the amplitudes discarded but the phases kept. The atoms survive the loss of the amplitudes and do not survive the loss of the phases, which is what an experiment throws away.$

The phase problem

A detector records how much light arrives and not when it arrives, so half of every diffraction measurement is thrown away before it is written down. The half that is lost turns out to be the half that carries the structure.

6 figures

By idea · By group · By object · Search