The collection

Every essay — page 4

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

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 structure, and the vectors between its atoms. On the left, 4 atoms in a cell. On the right, every one of the 16 vectors between them, each drawn from a common origin: 13 distinct positions, with the 4-fold peak at the origin being each atom paired with itself. That right-hand picture is what a Patterson map shows, and it is the thing a diffraction experiment gives without phases. It has more peaks than the structure has atoms — n² against n — which is why interpreting one is hard, and why it is always symmetric about its centre.$

The map that needs no phases

A diffraction experiment measures intensities and loses phases, so the electron density cannot be computed from it. One map can be: the transform of the intensities, whose peaks are not atoms but the vectors between them — every ordered pair, brought to a common origin.

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.

Neumann's principle for elastic constants in 6/mmm. Each bar is one operation's contribution to the character of the representation the elastic constants live in — the stiffness of the crystal in every direction and shear. The identity contributes the unconstrained count of 21; every other operation of 6/mmm subtracts from it, and the average over all 24 is 5, which is how many independent components the property may have. The sum is exact in integers and is taken in the lattice basis, so no Cartesian frame is chosen anywhere in it.

A character does not know its basis

The number of independent elastic constants a hexagonal crystal has is computed here from integer matrices in a lattice basis, having never chosen a Cartesian frame. That looks wrong the first time: a physical tensor lives in an orthonormal frame and these matrices are not orthogonal.

Lattices

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

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.

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.

m3̅m → 4mm: 6 domain states. The transition from class m3̅m to class 4mm loses 40 of the parent's 48 operations, so the child has index 6 and the crystal comes apart into 6 domain states. Each colour is one state — one coset of 4mm in m3̅m — and each holds the same 8 poles. The lost operations are what carries one state onto another, and they survive in the crystal as the relation between its domains rather than as symmetries of any part of it. The descent changes the crystal system, so the states differ in shape as well as in orientation and the transition is ferroelastic.

How many domains a transition makes is an index

Cool a crystal through a symmetry-lowering transition and it has to choose one of several equally good low-symmetry arrangements. Different parts of it choose differently, and the number of available choices is the index of the new group in the old one — a number available before any crystal is grown, and one of the few predictions in this field that is a count rather than a bound.

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 each group extinguishes. The extinction conditions of 9 space groups, each derived by summing the structure factor over that group's own operations and reading the surviving rule off the result: P1 — nothing; P1̅ — nothing; P2 — nothing; Pm — nothing; P2/m — nothing; P222 — nothing; Pmm2 — nothing; P4 — nothing; P23 — nothing. 9 of the 9 extinguish nothing at all, and diffraction alone cannot distinguish those from each other.$

Where the experiment runs out

Absences narrow the space group down and often not to one. Two groups can extinguish exactly the same reflections and scatter with exactly the same symmetry, and telling them apart needs something the diffraction pattern does not contain.

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

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 seven — all 16 candidates. Every subset of the 4 extras available on a strip, closed under composition and named from the operations that come out. 16 candidates give 7 distinct groups: 9 of them generate operations they were not given and land on a group already listed.

Why sixteen become seven

Four extra operations give sixteen combinations and seven groups. The nine that vanish are not cases anybody forgot — each one comes back from the closure holding something it was never given, and one of them changes the lattice underneath it.

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.

P2₁2₁2₁: the sections its symmetry forces. The Patterson cell of P2₁2₁2₁ with the sections marked. Each operation (M, t) sends an atom at x to Mx + t, so the vector between them is (I − M)x − t; where I − M is singular that vector cannot leave a plane, and the plane's equation comes from the left null space in integers. This group has 3 such operations, giving the sections w = 0.5, u = 0.5, v = 0.5. A heavy atom's vector to its own image is somewhere on one of them, which is what made structure solution possible before computers: a plane can be searched by eye and a volume cannot.

Where symmetry stacks the vectors

A Patterson map of a real structure is a blur with thousands of overlapping peaks. A screw axis rescues it: the vectors between symmetry-related atoms cannot leave a plane, so the search for a heavy atom is a search of a section rather than of a volume — and which plane it is falls out of the operation's matrix in integers.

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 under every cell choice. One group, described in each of the 6 bases that keep its cell the shape its system requires, with the symbol derived from the operations each time. The distinct symbols are P2₁/c, P2₁/a, P2₁/n — 3 names for one group. Nothing about the crystal has changed: the basis changes all have determinant ±1, so the lattice is untouched, and the census of rotations, screws, mirrors and glides is identical in every row, since conjugation cannot turn one kind into another. What changes is which lattice vector a glide's translation is half of, and the glide letter names exactly that.

One group, three symbols

P2₁/c, P2₁/a and P2₁/n are the same space group written on three choices of axes, and the literature contains all three as though they were different. Deriving a symbol from a group's own operations shows why — and found an entry on this site that had been carried under another setting's name for two phases.

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.

Everything class m3̅m can descend to. The 25 crystal classes that are subgroups of m3̅m, arranged by order, with the 56 maximal steps between them drawn as edges. The order of each row is printed down the left, so the index of any step is the ratio of the two rows it joins. A symmetry-lowering transition can only be continuous when it goes down one of these edges, and the index on the edge is the number of domain states the transition produces. A descent of several steps is possible but has to happen discontinuously or through the intermediate classes.

The descent of symmetry is a lattice, not a tree

Which classes a crystal can fall to when it loses symmetry, drawn as a graph with the index on every edge. It is routinely called a tree and it is not one — a class can be reached from its parent by several different routes of the same total index, and which route a material takes is a physical question the diagram deliberately leaves open.

Order without repetition

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

The chain as a cut through a periodic pattern. A periodic pattern in two dimensions: one atomic surface through each lattice point, drawn as the curve x = n + A·sin(2πy). The physical chain is the cut along the line y = qx with q = 0.211, and the atoms are where that line meets the curves — plotted along the bottom. Every cut meets every curve exactly once, so every cut gives a chain with the same 9 atoms and the same lattice, differently displaced. That is the difference from cut-and-project, where the atomic surfaces are intervals with ends and moving the cut adds and removes points: here the extra coordinate is a phase, and shifting it is a symmetry of the material rather than a different material.

The extra dimension that makes it periodic

A structure with no cell in three dimensions can be a slice through one that has a cell in four. The construction is cut-and-project with continuous atomic surfaces instead of intervals — and that single difference is what separates an incommensurate crystal from a quasicrystal.

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 friezes inside the seventeen. Every plane group contains frieze groups: keep only the operations that map one lattice row onto itself and what is left is a group on a strip, which must be one of the seven. Across all seventeen plane groups and their principal directions, all seven frieze groups appear. The commonest is p2, in 9 of the 32 rows examined.

The friezes inside the seventeen

Take one lattice row of a wallpaper pattern and keep only the symmetries that leave that row where it is. What survives is a frieze group — and which of the seven it turns out to be is a fact about the plane group that its symbol does not state.

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.

Every property count, in every class. For each of these 32 classes, how many independent components a property may have: elastic constants from 21 down to 3, dielectric tensor from 6 down to 1. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Twenty-one, thirteen, nine, three

The number of independent elastic constants runs 21, 13, 9, 7, 6, 5, 3 down the crystal systems. Two of those systems carry two numbers rather than one, and which classes take which is not predicted by counting operations — a class with six of them can have more constants than a class with six of them.

Lattices

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

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.

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 subgroups of p4m of index 2. p4m has 7 subgroup(s) of index 2 with cyclic quotient. 3 of them keep every translation and lose operations — the lattice is untouched and the pattern loses a symmetry at every point. 4 keep every operation and lose translations, and each is named beside the basis of the sublattice it keeps, written in the parent's own axes. Each subgroup is the kernel of a homomorphism onto a cyclic group, found by enumeration; each name is found by searching changes of basis and origin until the operation sets match exactly.

Two ways down from a group

A pattern can lose a symmetry by giving up an operation or by giving up a translation, and the two are different in kind. Sorting the seventy-four subgroups of index two among the seventeen splits them twenty-nine to forty-five — and a containment test that compares operations modulo one shared lattice can only see the twenty-nine.

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.

$An antiphase boundary in p4. Where two antiphase states meet. Above the line the species alternate one way and below it the other, so at the boundary two cells of the same species sit next to one another and the ordering is out of step. This is a domain wall with no change of orientation across it: the crystal is not twinned, its lattice is undisturbed, and diffraction sees it only in the width of the superlattice reflections.$

The domains a lost translation makes, which nothing optical can see

An ordering transition can leave the crystal class untouched and take away translations instead. The domains that result have the same orientation, the same shape and the same optical properties as each other, and where two of them meet the ordering is simply out of step — a boundary with no change of direction across it and no way to find it except by looking at the ordering itself.

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 seventeen, arranged by what they can lose. Each group at the height of its own order, joined to every maximal subgroup that keeps all of its translations. Reading downwards is a crystal losing operations at a phase transition. The edges are the maximal ones only — every other containment is a path through these — and the whole graph is enumerated by closing every subset of each group's operations, so nothing is here because a table said so.

The descent with no shortcut

A subgroup can give up operations, or it can give up translations. Hermann's theorem says that a *maximal* subgroup does one or the other and never both at once — which is why a crystal losing symmetry can be followed one clean step at a time, and why every route from p6m down to p1 has exactly three steps.

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.

$Friedel's law, as an equality rather than a resemblance. Each pair of bars is a reflection and its opposite for a structure of three atoms in no particular arrangement. They are the same height, and not approximately: with real scattering factors, negating the indices conjugates the structure factor, and conjugation does not change a modulus. The test behind this figure requires the largest difference over 40 pairs to be below 10⁻⁹ and it comes back exactly zero. This is why a diffraction pattern is centrosymmetric whatever the crystal is, and why the thirty-two classes collapse to eleven before a structure is even proposed.$

The law that hides handedness

With real scattering factors, negating the indices conjugates the structure factor and leaves the intensity exactly alone — so every diffraction pattern is centrosymmetric whatever the crystal is. The escape is an imaginary component that the negation does not touch, and it is how the handedness of a molecule is measured.

Lattices

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

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.

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.

Two-colourings of the seventeen. How many ways each of these 17 plane groups can be two-coloured so that every symmetry either preserves the colours or exchanges them. 74 in all, each one a subgroup of index two enumerated by trying every assignment of colours to a generating set and keeping the assignments that turn out to be consistent. p3 admits none: a homomorphism onto a group of order two has nothing to send a three-fold rotation to but the identity, and once the rotation and its conjugates are killed nothing is left to reverse the colours. pmm admits the most, with 15. Every count is one less than a power of two because the homomorphisms of a group onto the two-element group are the non-zero elements of a vector space over that field.

Two colours, and a symmetry that swaps them

A chessboard and a grid of identical squares have the same group, which is plainly not what anybody sees. Admitting the colour swap as an operation gives a finer classification — and one of the seventeen turns out to admit no two-colouring at all.

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.

Fddd has two published origins. The two conventions, computed from the operations. The International Tables place the origin at the point of highest site symmetry, and also at a centre of inversion, and for this group those are different points — so the group is printed twice, with every coordinate in the second table shifted by (-0.125, 0.125, -0.125) from the first. A structure published on one and read on the other has every atom in the wrong place by that vector, the refinement fails in a way that looks like bad data, and nothing in the symbol says which was used.

Two origins for one group

The International Tables place the origin at the point of highest site symmetry, and also at a centre of inversion. For twenty-four of the two hundred and thirty those are different points, so the group is printed twice with every coordinate shifted — and nothing in the symbol says which table a structure was written against.

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.

Every property count, in every class. For each of these 32 classes, how many independent components a property may have: piezoelectric moduli from 18 down to 0, pyroelectric vector from 3 down to 0, gyration tensor from 6 down to 0. Every number is a character averaged over the class's own operations, computed in the lattice basis with integer arithmetic. A zero means the symmetry forbids the property outright; a positive number means it does not forbid it, which is a weaker statement than it is usually read as.

Permitted is not present

A symmetry argument says which components of a property may be non-zero. It is routinely read as saying they are — and the gap between the two is where every practical use of this table either works or quietly fails.

Order without repetition

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

Which inflation factors a tiling may have. Every distinct inflation factor produced by a two-letter substitution whose matrix has entries up to 4, plotted against its algebraic conjugate. The two grey lines are the unit circle, which in the quadratic case is the pair of values ±1. A factor whose conjugate lies strictly inside is a Pisot number and the chain it grows has sharp Bragg peaks; 39 of the 77 factors here lie outside and cannot. The golden ratio is the smallest of them all, which is the arithmetic reason it turns up in every quasicrystal anybody has drawn.

Which inflation factors exist

A tiling grown by substitution has an inflation factor, and it is an eigenvalue of an integer matrix — so it is an algebraic integer, and sharp diffraction demands that its conjugates be small. That condition is an inequality between two integers, and it explains why the golden ratio turns up in every quasicrystal anybody has drawn.

Lattices

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

How many ways there are to thin a lattice

A sublattice of index n keeps one lattice point in n, and there is never only one way to do it. In the plane the number of them is the sum of the divisors of n; in space it is a longer sum; and both are counted here by writing every one of them down.

By idea · By group · By object · Search